runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/3999.cudf.caixa.log.runsolver ./p2cudf-trendy-1.12 /home/misc2010/data/misc4/caixa//3999.cudf /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/3999.cudf.caixa.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.81 1.71 1.64 5/34 19833
/proc/meminfo: memFree=299848/1048576 swapFree=0/0
[pid=19832] ppid=19831 vsize=2568 CPUtime=0
/proc/19832/stat : 19832 (p2cudf-trendy-1) R 19831 19832 29493 34817 29493 4202496 356 0 0 0 0 0 0 0 25 0 1 0 76042134 2629632 270 1283457024 134512640 135304128 4293828896 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/19832/statm: 642 270 230 194 0 29 0
[pid=19833] ppid=19832 vsize=2568 CPUtime=0
/proc/19833/stat : 19833 (p2cudf-trendy-1) R 19832 19832 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 76042135 2629632 40 1283457024 134512640 135304128 4293828896 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/19833/statm: 642 40 0 194 0 29 0

[startup+0.175796 s]
/proc/loadavg: 1.81 1.71 1.64 5/34 19833
/proc/meminfo: memFree=299848/1048576 swapFree=0/0
[pid=19832] ppid=19831 vsize=2568 CPUtime=0
/proc/19832/stat : 19832 (p2cudf-trendy-1) S 19831 19832 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76042134 2629632 270 1283457024 134512640 135304128 4293828896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19832/statm: 642 270 230 194 0 29 0
[pid=19833] ppid=19832 vsize=2568 CPUtime=0.04
/proc/19833/stat : 19833 (p2cudf) S 19832 19832 29493 34817 29493 4202496 391 3016 0 1 0 0 2 2 25 0 1 0 76042135 2629632 280 1283457024 134512640 135304128 4294887952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19833/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5136

[startup+0.205797 s]
/proc/loadavg: 1.81 1.71 1.64 5/34 19833
/proc/meminfo: memFree=299848/1048576 swapFree=0/0
[pid=19832] ppid=19831 vsize=2568 CPUtime=0
/proc/19832/stat : 19832 (p2cudf-trendy-1) S 19831 19832 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76042134 2629632 270 1283457024 134512640 135304128 4293828896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19832/statm: 642 270 230 194 0 29 0
[pid=19833] ppid=19832 vsize=2568 CPUtime=0.04
/proc/19833/stat : 19833 (p2cudf) S 19832 19832 29493 34817 29493 4202496 391 3016 0 1 0 0 2 2 25 0 1 0 76042135 2629632 280 1283457024 134512640 135304128 4294887952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19833/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5136

[startup+0.305834 s]
/proc/loadavg: 1.81 1.71 1.64 5/34 19833
/proc/meminfo: memFree=299848/1048576 swapFree=0/0
[pid=19832] ppid=19831 vsize=2568 CPUtime=0
/proc/19832/stat : 19832 (p2cudf-trendy-1) S 19831 19832 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76042134 2629632 270 1283457024 134512640 135304128 4293828896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19832/statm: 642 270 230 194 0 29 0
[pid=19833] ppid=19832 vsize=2568 CPUtime=0.04
/proc/19833/stat : 19833 (p2cudf) S 19832 19832 29493 34817 29493 4202496 391 3016 0 1 0 0 2 2 25 0 1 0 76042135 2629632 280 1283457024 134512640 135304128 4294887952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19833/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5136

[startup+0.705934 s]
/proc/loadavg: 1.81 1.71 1.64 5/34 19833
/proc/meminfo: memFree=299848/1048576 swapFree=0/0
[pid=19832] ppid=19831 vsize=2568 CPUtime=0
/proc/19832/stat : 19832 (p2cudf-trendy-1) S 19831 19832 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76042134 2629632 270 1283457024 134512640 135304128 4293828896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19832/statm: 642 270 230 194 0 29 0
[pid=19833] ppid=19832 vsize=2568 CPUtime=0.04
/proc/19833/stat : 19833 (p2cudf) S 19832 19832 29493 34817 29493 4202496 391 3016 0 1 0 0 2 2 25 0 1 0 76042135 2629632 280 1283457024 134512640 135304128 4294887952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19833/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5136

[startup+1.50611 s]
/proc/loadavg: 1.81 1.71 1.64 4/45 19855
/proc/meminfo: memFree=237804/1048576 swapFree=0/0
[pid=19832] ppid=19831 vsize=2568 CPUtime=0
/proc/19832/stat : 19832 (p2cudf-trendy-1) S 19831 19832 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76042134 2629632 270 1283457024 134512640 135304128 4293828896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19832/statm: 642 270 230 194 0 29 0
[pid=19833] ppid=19832 vsize=2568 CPUtime=0.04
/proc/19833/stat : 19833 (p2cudf) S 19832 19832 29493 34817 29493 4202496 391 3016 0 1 0 0 2 2 25 0 1 0 76042135 2629632 280 1283457024 134512640 135304128 4294887952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19833/statm: 642 280 239 194 0 29 0
[pid=19846] ppid=19833 vsize=893480 CPUtime=1.46
/proc/19846/stat : 19846 (java) S 19833 19832 29493 34817 29493 4202496 27771 0 1 0 134 12 0 0 25 0 10 0 76042138 914923520 24360 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19846/statm: 223370 24360 1719 10 0 220461 0
[pid=19846/tid=19847] ppid=19833 vsize=893480 CPUtime=0.65
/proc/19846/task/19847/stat : 19847 (java) R 19833 19832 29493 34817 29493 4202560 14545 0 1 0 58 7 0 0 25 0 10 0 76042139 914923520 24360 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19846/tid=19848] ppid=19833 vsize=893480 CPUtime=0
/proc/19846/task/19848/stat : 19848 (java) S 19833 19832 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 15 0 10 0 76042140 914923520 24360 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 0 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19849] ppid=19833 vsize=893480 CPUtime=0
/proc/19846/task/19849/stat : 19849 (java) S 19833 19832 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76042141 914923520 24360 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19850] ppid=19833 vsize=893480 CPUtime=0
/proc/19846/task/19850/stat : 19850 (java) S 19833 19832 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76042141 914923520 24360 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19851] ppid=19833 vsize=893480 CPUtime=0
/proc/19846/task/19851/stat : 19851 (java) S 19833 19832 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76042143 914923520 24360 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19852] ppid=19833 vsize=893480 CPUtime=0.5
/proc/19846/task/19852/stat : 19852 (java) S 19833 19832 29493 34817 29493 4202560 5033 0 0 0 48 2 0 0 25 0 10 0 76042143 914923520 24360 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19853] ppid=19833 vsize=893480 CPUtime=0.3
/proc/19846/task/19853/stat : 19853 (java) R 19833 19832 29493 34817 29493 4202560 7114 0 0 0 28 2 0 0 22 0 10 0 76042143 914923520 24360 1283457024 134512640 134550932 4288316016 18446744073709551615 4150373836 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19846/tid=19854] ppid=19833 vsize=893480 CPUtime=0
/proc/19846/task/19854/stat : 19854 (java) S 19833 19832 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76042143 914923520 24360 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19855] ppid=19833 vsize=893480 CPUtime=0
/proc/19846/task/19855/stat : 19855 (java) S 19833 19832 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76042143 914923520 24360 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 898616

[startup+3.10661 s]
/proc/loadavg: 1.91 1.74 1.65 4/45 19855
/proc/meminfo: memFree=143688/1048576 swapFree=0/0
[pid=19832] ppid=19831 vsize=2568 CPUtime=0
/proc/19832/stat : 19832 (p2cudf-trendy-1) S 19831 19832 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76042134 2629632 270 1283457024 134512640 135304128 4293828896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19832/statm: 642 270 230 194 0 29 0
[pid=19833] ppid=19832 vsize=2568 CPUtime=0.04
/proc/19833/stat : 19833 (p2cudf) S 19832 19832 29493 34817 29493 4202496 391 3016 0 1 0 0 2 2 25 0 1 0 76042135 2629632 280 1283457024 134512640 135304128 4294887952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19833/statm: 642 280 239 194 0 29 0
[pid=19846] ppid=19833 vsize=891516 CPUtime=3.06
/proc/19846/stat : 19846 (java) S 19833 19832 29493 34817 29493 4202496 57959 0 1 0 283 23 0 0 25 0 10 0 76042138 912912384 50542 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19846/statm: 222879 50542 1746 10 0 219970 0
[pid=19846/tid=19847] ppid=19833 vsize=891516 CPUtime=1.36
/proc/19846/task/19847/stat : 19847 (java) R 19833 19832 29493 34817 29493 4202560 40539 0 1 0 120 16 0 0 25 0 10 0 76042139 912912384 50542 1283457024 134512640 134550932 4288316016 18446744073709551615 4096180761 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19846/tid=19848] ppid=19833 vsize=891516 CPUtime=0
/proc/19846/task/19848/stat : 19848 (java) S 19833 19832 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 15 0 10 0 76042140 912912384 50542 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 0 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19849] ppid=19833 vsize=891516 CPUtime=0
/proc/19846/task/19849/stat : 19849 (java) S 19833 19832 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76042141 912912384 50542 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19850] ppid=19833 vsize=891516 CPUtime=0
/proc/19846/task/19850/stat : 19850 (java) S 19833 19832 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76042141 912912384 50542 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19851] ppid=19833 vsize=891516 CPUtime=0
/proc/19846/task/19851/stat : 19851 (java) S 19833 19832 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76042143 912912384 50542 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19852] ppid=19833 vsize=891516 CPUtime=0.83
/proc/19846/task/19852/stat : 19852 (java) S 19833 19832 29493 34817 29493 4202560 6442 0 0 0 80 3 0 0 23 0 10 0 76042143 912912384 50542 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19853] ppid=19833 vsize=891516 CPUtime=0.85
/proc/19846/task/19853/stat : 19853 (java) S 19833 19832 29493 34817 29493 4202560 9898 0 0 0 82 3 0 0 16 0 10 0 76042143 912912384 50542 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19854] ppid=19833 vsize=891516 CPUtime=0
/proc/19846/task/19854/stat : 19854 (java) S 19833 19832 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76042143 912912384 50542 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19855] ppid=19833 vsize=891516 CPUtime=0
/proc/19846/task/19855/stat : 19855 (java) S 19833 19832 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76042143 912912384 50542 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 896652

Solver just ended. Dumping a history of the last processes samples

[startup+3.20664 s]
/proc/loadavg: 1.91 1.74 1.65 4/45 19855
/proc/meminfo: memFree=143688/1048576 swapFree=0/0
[pid=19832] ppid=19831 vsize=2568 CPUtime=0
/proc/19832/stat : 19832 (p2cudf-trendy-1) S 19831 19832 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76042134 2629632 270 1283457024 134512640 135304128 4293828896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19832/statm: 642 270 230 194 0 29 0
[pid=19833] ppid=19832 vsize=2568 CPUtime=0.04
/proc/19833/stat : 19833 (p2cudf) S 19832 19832 29493 34817 29493 4202496 391 3016 0 1 0 0 2 2 25 0 1 0 76042135 2629632 280 1283457024 134512640 135304128 4294887952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19833/statm: 642 280 239 194 0 29 0
[pid=19846] ppid=19833 vsize=891516 CPUtime=3.16
/proc/19846/stat : 19846 (java) S 19833 19832 29493 34817 29493 4202496 58480 0 1 0 293 23 0 0 25 0 10 0 76042138 912912384 51063 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19846/statm: 222879 51063 1753 10 0 219970 0
[pid=19846/tid=19847] ppid=19833 vsize=891516 CPUtime=1.38
/proc/19846/task/19847/stat : 19847 (java) R 19833 19832 29493 34817 29493 4202560 41047 0 1 0 122 16 0 0 25 0 10 0 76042139 912912384 51063 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19846/tid=19848] ppid=19833 vsize=891516 CPUtime=0
/proc/19846/task/19848/stat : 19848 (java) S 19833 19832 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 15 0 10 0 76042140 912912384 51063 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 0 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19849] ppid=19833 vsize=891516 CPUtime=0
/proc/19846/task/19849/stat : 19849 (java) S 19833 19832 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76042141 912912384 51063 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19850] ppid=19833 vsize=891516 CPUtime=0
/proc/19846/task/19850/stat : 19850 (java) S 19833 19832 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76042141 912912384 51063 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19851] ppid=19833 vsize=891516 CPUtime=0
/proc/19846/task/19851/stat : 19851 (java) S 19833 19832 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76042143 912912384 51063 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19852] ppid=19833 vsize=891516 CPUtime=0.91
/proc/19846/task/19852/stat : 19852 (java) R 19833 19832 29493 34817 29493 4202560 6455 0 0 0 88 3 0 0 23 0 10 0 76042143 912912384 51063 1283457024 134512640 134550932 4288316016 18446744073709551615 4147671484 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19846/tid=19853] ppid=19833 vsize=891516 CPUtime=0.85
/proc/19846/task/19853/stat : 19853 (java) S 19833 19832 29493 34817 29493 4202560 9898 0 0 0 82 3 0 0 16 0 10 0 76042143 912912384 51063 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19854] ppid=19833 vsize=891516 CPUtime=0
/proc/19846/task/19854/stat : 19854 (java) S 19833 19832 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76042143 912912384 51063 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19855] ppid=19833 vsize=891516 CPUtime=0
/proc/19846/task/19855/stat : 19855 (java) S 19833 19832 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76042143 912912384 51063 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 896652

[startup+4.00596 s]
/proc/loadavg: 1.91 1.74 1.65 2/45 19855
/proc/meminfo: memFree=98180/1048576 swapFree=0/0
[pid=19832] ppid=19831 vsize=2568 CPUtime=0
/proc/19832/stat : 19832 (p2cudf-trendy-1) S 19831 19832 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76042134 2629632 270 1283457024 134512640 135304128 4293828896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19832/statm: 642 270 230 194 0 29 0
[pid=19833] ppid=19832 vsize=2568 CPUtime=0.04
/proc/19833/stat : 19833 (p2cudf) S 19832 19832 29493 34817 29493 4202496 391 3016 0 1 0 0 2 2 25 0 1 0 76042135 2629632 280 1283457024 134512640 135304128 4294887952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19833/statm: 642 280 239 194 0 29 0
[pid=19846] ppid=19833 vsize=891840 CPUtime=3.69
/proc/19846/stat : 19846 (java) S 19833 19832 29493 34817 29493 4202496 66894 0 1 0 345 24 0 0 25 0 11 0 76042138 913244160 59477 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19846/statm: 222960 59477 1753 10 0 220051 0
[pid=19846/tid=19847] ppid=19833 vsize=891840 CPUtime=1.55
/proc/19846/task/19847/stat : 19847 (java) S 19833 19832 29493 34817 29493 4202560 49419 0 1 0 138 17 0 0 25 0 11 0 76042139 913244160 59477 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19848] ppid=19833 vsize=891840 CPUtime=0
/proc/19846/task/19848/stat : 19848 (java) S 19833 19832 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 15 0 11 0 76042140 913244160 59477 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 0 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19849] ppid=19833 vsize=891840 CPUtime=0
/proc/19846/task/19849/stat : 19849 (java) S 19833 19832 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 11 0 76042141 913244160 59477 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19850] ppid=19833 vsize=891840 CPUtime=0
/proc/19846/task/19850/stat : 19850 (java) S 19833 19832 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 76042141 913244160 59477 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19851] ppid=19833 vsize=891840 CPUtime=0
/proc/19846/task/19851/stat : 19851 (java) S 19833 19832 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76042143 913244160 59477 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19852] ppid=19833 vsize=891840 CPUtime=1.21
/proc/19846/task/19852/stat : 19852 (java) S 19833 19832 29493 34817 29493 4202560 6486 0 0 0 118 3 0 0 25 0 11 0 76042143 913244160 59477 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19853] ppid=19833 vsize=891840 CPUtime=0.92
/proc/19846/task/19853/stat : 19853 (java) S 19833 19832 29493 34817 29493 4202560 9904 0 0 0 89 3 0 0 15 0 11 0 76042143 913244160 59477 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19854] ppid=19833 vsize=891840 CPUtime=0
/proc/19846/task/19854/stat : 19854 (java) S 19833 19832 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 11 0 76042143 913244160 59477 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19855] ppid=19833 vsize=891840 CPUtime=0
/proc/19846/task/19855/stat : 19855 (java) S 19833 19832 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76042143 913244160 59477 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 896976

[startup+4.20601 s]
/proc/loadavg: 1.91 1.74 1.65 2/45 19855
/proc/meminfo: memFree=98180/1048576 swapFree=0/0
[pid=19832] ppid=19831 vsize=2568 CPUtime=0
/proc/19832/stat : 19832 (p2cudf-trendy-1) S 19831 19832 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76042134 2629632 270 1283457024 134512640 135304128 4293828896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19832/statm: 642 270 230 194 0 29 0
[pid=19833] ppid=19832 vsize=2568 CPUtime=0.04
/proc/19833/stat : 19833 (p2cudf) S 19832 19832 29493 34817 29493 4202496 391 3016 0 1 0 0 2 2 25 0 1 0 76042135 2629632 280 1283457024 134512640 135304128 4294887952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19833/statm: 642 280 239 194 0 29 0
[pid=19846] ppid=19833 vsize=891840 CPUtime=3.69
/proc/19846/stat : 19846 (java) S 19833 19832 29493 34817 29493 4202496 66894 0 1 0 345 24 0 0 25 0 11 0 76042138 913244160 59477 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19846/statm: 222960 59477 1753 10 0 220051 0
[pid=19846/tid=19847] ppid=19833 vsize=891840 CPUtime=1.55
/proc/19846/task/19847/stat : 19847 (java) S 19833 19832 29493 34817 29493 4202560 49419 0 1 0 138 17 0 0 25 0 11 0 76042139 913244160 59477 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19848] ppid=19833 vsize=891840 CPUtime=0
/proc/19846/task/19848/stat : 19848 (java) S 19833 19832 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 15 0 11 0 76042140 913244160 59477 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 0 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19849] ppid=19833 vsize=891840 CPUtime=0
/proc/19846/task/19849/stat : 19849 (java) S 19833 19832 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 11 0 76042141 913244160 59477 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19850] ppid=19833 vsize=891840 CPUtime=0
/proc/19846/task/19850/stat : 19850 (java) S 19833 19832 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 76042141 913244160 59477 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19851] ppid=19833 vsize=891840 CPUtime=0
/proc/19846/task/19851/stat : 19851 (java) S 19833 19832 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76042143 913244160 59477 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19852] ppid=19833 vsize=891840 CPUtime=1.21
/proc/19846/task/19852/stat : 19852 (java) S 19833 19832 29493 34817 29493 4202560 6486 0 0 0 118 3 0 0 25 0 11 0 76042143 913244160 59477 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19853] ppid=19833 vsize=891840 CPUtime=0.92
/proc/19846/task/19853/stat : 19853 (java) S 19833 19832 29493 34817 29493 4202560 9904 0 0 0 89 3 0 0 15 0 11 0 76042143 913244160 59477 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19854] ppid=19833 vsize=891840 CPUtime=0
/proc/19846/task/19854/stat : 19854 (java) S 19833 19832 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 11 0 76042143 913244160 59477 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=19846/tid=19855] ppid=19833 vsize=891840 CPUtime=0
/proc/19846/task/19855/stat : 19855 (java) S 19833 19832 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76042143 913244160 59477 1283457024 134512640 134550932 4288316016 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 896976

Child status: 0
Real time (s): 4.27972
CPU time (s): 3.74823
CPU user time (s): 3.47222
CPU system time (s): 0.276017
CPU usage (%): 87.5814
Max. virtual memory (cumulated for all children) (KiB): 899268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.47222
system time used= 0.276017
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70704
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 382
involuntary context switches= 360

runsolver used 0 second user time and 0 second system time

The end