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/201108291842/p2cudf-user-1.13/cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.dudf-real.log.runsolver ./p2cudf-user-1.13 /home/misc2010/data/2011/dudf-real//cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf /home/misc2010/tmp/201108291842/p2cudf-user-1.13/cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.dudf-real.result -notuptodate,-removed,-changed 

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.55 1.22 1.13 5/35 29420
/proc/meminfo: memFree=815816/1048576 swapFree=0/0
[pid=29419] ppid=29418 vsize=2564 CPUtime=0
/proc/29419/stat : 29419 (p2cudf-user-1.1) R 29418 29419 17511 34816 17511 4202496 357 0 0 0 0 0 0 0 25 0 1 0 46596575 2625536 270 1283457024 134512640 135304128 4287691472 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/29419/statm: 641 270 230 194 0 28 0
[pid=29420] ppid=29419 vsize=2564 CPUtime=0
/proc/29420/stat : 29420 (p2cudf-user-1.1) R 29419 29419 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46596575 2625536 40 1283457024 134512640 135304128 4287691472 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/29420/statm: 641 40 0 194 0 28 0

[startup+0.17576 s]
/proc/loadavg: 1.55 1.22 1.13 5/35 29420
/proc/meminfo: memFree=815816/1048576 swapFree=0/0
[pid=29419] ppid=29418 vsize=2564 CPUtime=0
/proc/29419/stat : 29419 (p2cudf-user-1.1) S 29418 29419 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 25 0 1 0 46596575 2625536 270 1283457024 134512640 135304128 4287691472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29419/statm: 641 270 230 194 0 28 0
[pid=29420] ppid=29419 vsize=2568 CPUtime=0.02
/proc/29420/stat : 29420 (p2cudf) S 29419 29419 17511 34816 17511 4202496 390 3016 0 1 0 0 1 1 25 0 1 0 46596575 2629632 280 1283457024 134512640 135304128 4287970112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29420/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5132

[startup+0.205754 s]
/proc/loadavg: 1.55 1.22 1.13 5/35 29420
/proc/meminfo: memFree=815816/1048576 swapFree=0/0
[pid=29419] ppid=29418 vsize=2564 CPUtime=0
/proc/29419/stat : 29419 (p2cudf-user-1.1) S 29418 29419 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 25 0 1 0 46596575 2625536 270 1283457024 134512640 135304128 4287691472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29419/statm: 641 270 230 194 0 28 0
[pid=29420] ppid=29419 vsize=2568 CPUtime=0.02
/proc/29420/stat : 29420 (p2cudf) S 29419 29419 17511 34816 17511 4202496 390 3016 0 1 0 0 1 1 25 0 1 0 46596575 2629632 280 1283457024 134512640 135304128 4287970112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29420/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5132

[startup+0.305765 s]
/proc/loadavg: 1.55 1.22 1.13 5/35 29420
/proc/meminfo: memFree=815816/1048576 swapFree=0/0
[pid=29419] ppid=29418 vsize=2564 CPUtime=0
/proc/29419/stat : 29419 (p2cudf-user-1.1) S 29418 29419 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 25 0 1 0 46596575 2625536 270 1283457024 134512640 135304128 4287691472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29419/statm: 641 270 230 194 0 28 0
[pid=29420] ppid=29419 vsize=2568 CPUtime=0.02
/proc/29420/stat : 29420 (p2cudf) S 29419 29419 17511 34816 17511 4202496 390 3016 0 1 0 0 1 1 25 0 1 0 46596575 2629632 280 1283457024 134512640 135304128 4287970112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29420/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5132

[startup+0.705826 s]
/proc/loadavg: 1.55 1.22 1.13 5/35 29420
/proc/meminfo: memFree=815816/1048576 swapFree=0/0
[pid=29419] ppid=29418 vsize=2564 CPUtime=0
/proc/29419/stat : 29419 (p2cudf-user-1.1) S 29418 29419 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 25 0 1 0 46596575 2625536 270 1283457024 134512640 135304128 4287691472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29419/statm: 641 270 230 194 0 28 0
[pid=29420] ppid=29419 vsize=2568 CPUtime=0.02
/proc/29420/stat : 29420 (p2cudf) S 29419 29419 17511 34816 17511 4202496 390 3016 0 1 0 0 1 1 25 0 1 0 46596575 2629632 280 1283457024 134512640 135304128 4287970112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29420/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5132

[startup+1.50593 s]
/proc/loadavg: 1.55 1.22 1.13 3/46 29442
/proc/meminfo: memFree=763072/1048576 swapFree=0/0
[pid=29419] ppid=29418 vsize=2564 CPUtime=0
/proc/29419/stat : 29419 (p2cudf-user-1.1) S 29418 29419 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 25 0 1 0 46596575 2625536 270 1283457024 134512640 135304128 4287691472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29419/statm: 641 270 230 194 0 28 0
[pid=29420] ppid=29419 vsize=2568 CPUtime=0.02
/proc/29420/stat : 29420 (p2cudf) S 29419 29419 17511 34816 17511 4202496 390 3016 0 1 0 0 1 1 25 0 1 0 46596575 2629632 280 1283457024 134512640 135304128 4287970112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29420/statm: 642 280 239 194 0 29 0
[pid=29433] ppid=29420 vsize=885532 CPUtime=1.47
/proc/29433/stat : 29433 (java) S 29420 29419 17511 34816 17511 4202496 22027 0 1 0 135 12 0 0 25 0 10 0 46596579 906784768 18519 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29433/statm: 221383 18519 1724 10 0 218474 0
[pid=29433/tid=29434] ppid=29420 vsize=885532 CPUtime=0.81
/proc/29433/task/29434/stat : 29434 (java) R 29420 29419 17511 34816 17511 4202560 10317 0 1 0 75 6 0 0 25 0 10 0 46596579 906784768 18519 1283457024 134512640 134550932 4288895680 18446744073709551615 4148786400 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29433/tid=29435] ppid=29420 vsize=885532 CPUtime=0
/proc/29433/task/29435/stat : 29435 (java) S 29420 29419 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46596581 906784768 18519 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29436] ppid=29420 vsize=885532 CPUtime=0
/proc/29433/task/29436/stat : 29436 (java) S 29420 29419 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46596581 906784768 18519 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29437] ppid=29420 vsize=885532 CPUtime=0
/proc/29433/task/29437/stat : 29437 (java) S 29420 29419 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46596581 906784768 18519 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29438] ppid=29420 vsize=885532 CPUtime=0
/proc/29433/task/29438/stat : 29438 (java) S 29420 29419 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46596584 906784768 18519 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29439] ppid=29420 vsize=885532 CPUtime=0.42
/proc/29433/task/29439/stat : 29439 (java) R 29420 29419 17511 34816 17511 4202560 8413 0 0 0 40 2 0 0 25 0 10 0 46596584 906784768 18519 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29433/tid=29440] ppid=29420 vsize=885532 CPUtime=0.22
/proc/29433/task/29440/stat : 29440 (java) R 29420 29419 17511 34816 17511 4202560 2217 0 0 0 19 3 0 0 18 0 10 0 46596584 906784768 18519 1283457024 134512640 134550932 4288895680 18446744073709551615 4152761763 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29433/tid=29441] ppid=29420 vsize=885532 CPUtime=0
/proc/29433/task/29441/stat : 29441 (java) S 29420 29419 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46596584 906784768 18519 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29442] ppid=29420 vsize=885532 CPUtime=0
/proc/29433/task/29442/stat : 29442 (java) S 29420 29419 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46596584 906784768 18519 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 890664

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

[startup+1.60594 s]
/proc/loadavg: 1.55 1.22 1.13 3/46 29442
/proc/meminfo: memFree=763072/1048576 swapFree=0/0
[pid=29419] ppid=29418 vsize=2564 CPUtime=0
/proc/29419/stat : 29419 (p2cudf-user-1.1) S 29418 29419 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 25 0 1 0 46596575 2625536 270 1283457024 134512640 135304128 4287691472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29419/statm: 641 270 230 194 0 28 0
[pid=29420] ppid=29419 vsize=2568 CPUtime=0.02
/proc/29420/stat : 29420 (p2cudf) S 29419 29419 17511 34816 17511 4202496 390 3016 0 1 0 0 1 1 25 0 1 0 46596575 2629632 280 1283457024 134512640 135304128 4287970112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29420/statm: 642 280 239 194 0 29 0
[pid=29433] ppid=29420 vsize=884708 CPUtime=1.57
/proc/29433/stat : 29433 (java) S 29420 29419 17511 34816 17511 4202496 22108 0 1 0 145 12 0 0 25 0 10 0 46596579 905940992 18364 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29433/statm: 221177 18364 1724 10 0 218268 0
[pid=29433/tid=29434] ppid=29420 vsize=884708 CPUtime=0.81
/proc/29433/task/29434/stat : 29434 (java) R 29420 29419 17511 34816 17511 4202560 10317 0 1 0 75 6 0 0 25 0 10 0 46596579 905940992 18364 1283457024 134512640 134550932 4288895680 18446744073709551615 4148786400 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29433/tid=29435] ppid=29420 vsize=884708 CPUtime=0
/proc/29433/task/29435/stat : 29435 (java) S 29420 29419 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46596581 905940992 18364 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29436] ppid=29420 vsize=884708 CPUtime=0
/proc/29433/task/29436/stat : 29436 (java) S 29420 29419 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46596581 905940992 18364 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29437] ppid=29420 vsize=884708 CPUtime=0
/proc/29433/task/29437/stat : 29437 (java) S 29420 29419 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46596581 905940992 18364 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29438] ppid=29420 vsize=884708 CPUtime=0
/proc/29433/task/29438/stat : 29438 (java) S 29420 29419 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46596584 905940992 18364 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29439] ppid=29420 vsize=884708 CPUtime=0.42
/proc/29433/task/29439/stat : 29439 (java) R 29420 29419 17511 34816 17511 4202560 8413 0 0 0 40 2 0 0 25 0 10 0 46596584 905940992 18364 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29433/tid=29440] ppid=29420 vsize=884708 CPUtime=0.32
/proc/29433/task/29440/stat : 29440 (java) R 29420 29419 17511 34816 17511 4202560 2298 0 0 0 29 3 0 0 18 0 10 0 46596584 905940992 18364 1283457024 134512640 134550932 4288895680 18446744073709551615 4151132243 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29433/tid=29441] ppid=29420 vsize=884708 CPUtime=0
/proc/29433/task/29441/stat : 29441 (java) S 29420 29419 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46596584 905940992 18364 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29442] ppid=29420 vsize=884708 CPUtime=0
/proc/29433/task/29442/stat : 29442 (java) S 29420 29419 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46596584 905940992 18364 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 889840

[startup+2.4059 s]
/proc/loadavg: 1.55 1.22 1.13 1/47 29444
/proc/meminfo: memFree=675272/1048576 swapFree=0/0
[pid=29419] ppid=29418 vsize=2564 CPUtime=0
/proc/29419/stat : 29419 (p2cudf-user-1.1) S 29418 29419 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 25 0 1 0 46596575 2625536 270 1283457024 134512640 135304128 4287691472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29419/statm: 641 270 230 194 0 28 0
[pid=29420] ppid=29419 vsize=2568 CPUtime=0.02
/proc/29420/stat : 29420 (p2cudf) S 29419 29419 17511 34816 17511 4202496 390 3016 0 1 0 0 1 1 25 0 1 0 46596575 2629632 280 1283457024 134512640 135304128 4287970112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29420/statm: 642 280 239 194 0 29 0
[pid=29433] ppid=29420 vsize=882500 CPUtime=2.16
/proc/29433/stat : 29433 (java) S 29420 29419 17511 34816 17511 4202496 40850 0 1 0 196 20 0 0 25 0 11 0 46596579 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29433/statm: 220625 36736 1741 10 0 217716 0
[pid=29433/tid=29434] ppid=29420 vsize=882500 CPUtime=1.23
/proc/29433/task/29434/stat : 29434 (java) S 29420 29419 17511 34816 17511 4202560 28953 0 1 0 110 13 0 0 25 0 11 0 46596579 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29435] ppid=29420 vsize=882500 CPUtime=0
/proc/29433/task/29435/stat : 29435 (java) S 29420 29419 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 16 0 11 0 46596581 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29436] ppid=29420 vsize=882500 CPUtime=0
/proc/29433/task/29436/stat : 29436 (java) S 29420 29419 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 11 0 46596581 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29437] ppid=29420 vsize=882500 CPUtime=0
/proc/29433/task/29437/stat : 29437 (java) S 29420 29419 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46596581 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29438] ppid=29420 vsize=882500 CPUtime=0
/proc/29433/task/29438/stat : 29438 (java) S 29420 29419 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46596584 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29439] ppid=29420 vsize=882500 CPUtime=0.51
/proc/29433/task/29439/stat : 29439 (java) S 29420 29419 17511 34816 17511 4202560 8455 0 0 0 49 2 0 0 23 0 11 0 46596584 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29440] ppid=29420 vsize=882500 CPUtime=0.39
/proc/29433/task/29440/stat : 29440 (java) S 29420 29419 17511 34816 17511 4202560 2352 0 0 0 36 3 0 0 16 0 11 0 46596584 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29441] ppid=29420 vsize=882500 CPUtime=0
/proc/29433/task/29441/stat : 29441 (java) S 29420 29419 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46596584 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29442] ppid=29420 vsize=882500 CPUtime=0
/proc/29433/task/29442/stat : 29442 (java) S 29420 29419 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46596584 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29444] ppid=29420 vsize=882500 CPUtime=0
/proc/29433/task/29444/stat : 29444 (java) S 29420 29419 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 46596795 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 887632

[startup+2.60589 s]
/proc/loadavg: 1.55 1.22 1.13 1/47 29444
/proc/meminfo: memFree=675272/1048576 swapFree=0/0
[pid=29419] ppid=29418 vsize=2564 CPUtime=0
/proc/29419/stat : 29419 (p2cudf-user-1.1) S 29418 29419 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 25 0 1 0 46596575 2625536 270 1283457024 134512640 135304128 4287691472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29419/statm: 641 270 230 194 0 28 0
[pid=29420] ppid=29419 vsize=2568 CPUtime=0.02
/proc/29420/stat : 29420 (p2cudf) S 29419 29419 17511 34816 17511 4202496 390 3016 0 1 0 0 1 1 25 0 1 0 46596575 2629632 280 1283457024 134512640 135304128 4287970112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29420/statm: 642 280 239 194 0 29 0
[pid=29433] ppid=29420 vsize=882500 CPUtime=2.16
/proc/29433/stat : 29433 (java) S 29420 29419 17511 34816 17511 4202496 40850 0 1 0 196 20 0 0 25 0 11 0 46596579 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29433/statm: 220625 36736 1741 10 0 217716 0
[pid=29433/tid=29434] ppid=29420 vsize=882500 CPUtime=1.23
/proc/29433/task/29434/stat : 29434 (java) S 29420 29419 17511 34816 17511 4202560 28953 0 1 0 110 13 0 0 25 0 11 0 46596579 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29435] ppid=29420 vsize=882500 CPUtime=0
/proc/29433/task/29435/stat : 29435 (java) S 29420 29419 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 16 0 11 0 46596581 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29436] ppid=29420 vsize=882500 CPUtime=0
/proc/29433/task/29436/stat : 29436 (java) S 29420 29419 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 11 0 46596581 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29437] ppid=29420 vsize=882500 CPUtime=0
/proc/29433/task/29437/stat : 29437 (java) S 29420 29419 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46596581 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29438] ppid=29420 vsize=882500 CPUtime=0
/proc/29433/task/29438/stat : 29438 (java) S 29420 29419 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46596584 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29439] ppid=29420 vsize=882500 CPUtime=0.51
/proc/29433/task/29439/stat : 29439 (java) S 29420 29419 17511 34816 17511 4202560 8455 0 0 0 49 2 0 0 23 0 11 0 46596584 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29440] ppid=29420 vsize=882500 CPUtime=0.39
/proc/29433/task/29440/stat : 29440 (java) S 29420 29419 17511 34816 17511 4202560 2352 0 0 0 36 3 0 0 16 0 11 0 46596584 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29441] ppid=29420 vsize=882500 CPUtime=0
/proc/29433/task/29441/stat : 29441 (java) S 29420 29419 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46596584 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29442] ppid=29420 vsize=882500 CPUtime=0
/proc/29433/task/29442/stat : 29442 (java) S 29420 29419 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46596584 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29444] ppid=29420 vsize=882500 CPUtime=0
/proc/29433/task/29444/stat : 29444 (java) S 29420 29419 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 46596795 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 887632

[startup+2.70594 s]
/proc/loadavg: 1.55 1.22 1.13 1/47 29444
/proc/meminfo: memFree=675272/1048576 swapFree=0/0
[pid=29419] ppid=29418 vsize=2564 CPUtime=0
/proc/29419/stat : 29419 (p2cudf-user-1.1) S 29418 29419 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 25 0 1 0 46596575 2625536 270 1283457024 134512640 135304128 4287691472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29419/statm: 641 270 230 194 0 28 0
[pid=29420] ppid=29419 vsize=2568 CPUtime=0.02
/proc/29420/stat : 29420 (p2cudf) S 29419 29419 17511 34816 17511 4202496 390 3016 0 1 0 0 1 1 25 0 1 0 46596575 2629632 280 1283457024 134512640 135304128 4287970112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29420/statm: 642 280 239 194 0 29 0
[pid=29433] ppid=29420 vsize=882500 CPUtime=2.16
/proc/29433/stat : 29433 (java) S 29420 29419 17511 34816 17511 4202496 40850 0 1 0 196 20 0 0 25 0 11 0 46596579 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29433/statm: 220625 36736 1741 10 0 217716 0
[pid=29433/tid=29434] ppid=29420 vsize=882500 CPUtime=1.23
/proc/29433/task/29434/stat : 29434 (java) S 29420 29419 17511 34816 17511 4202560 28953 0 1 0 110 13 0 0 25 0 11 0 46596579 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29435] ppid=29420 vsize=882500 CPUtime=0
/proc/29433/task/29435/stat : 29435 (java) S 29420 29419 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 16 0 11 0 46596581 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29436] ppid=29420 vsize=882500 CPUtime=0
/proc/29433/task/29436/stat : 29436 (java) S 29420 29419 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 11 0 46596581 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29437] ppid=29420 vsize=882500 CPUtime=0
/proc/29433/task/29437/stat : 29437 (java) S 29420 29419 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46596581 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29438] ppid=29420 vsize=882500 CPUtime=0
/proc/29433/task/29438/stat : 29438 (java) S 29420 29419 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46596584 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29439] ppid=29420 vsize=882500 CPUtime=0.51
/proc/29433/task/29439/stat : 29439 (java) S 29420 29419 17511 34816 17511 4202560 8455 0 0 0 49 2 0 0 23 0 11 0 46596584 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29440] ppid=29420 vsize=882500 CPUtime=0.39
/proc/29433/task/29440/stat : 29440 (java) S 29420 29419 17511 34816 17511 4202560 2352 0 0 0 36 3 0 0 16 0 11 0 46596584 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29441] ppid=29420 vsize=882500 CPUtime=0
/proc/29433/task/29441/stat : 29441 (java) S 29420 29419 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46596584 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29442] ppid=29420 vsize=882500 CPUtime=0
/proc/29433/task/29442/stat : 29442 (java) S 29420 29419 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46596584 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=29433/tid=29444] ppid=29420 vsize=882500 CPUtime=0
/proc/29433/task/29444/stat : 29444 (java) S 29420 29419 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 21 0 11 0 46596795 903680000 36736 1283457024 134512640 134550932 4288895680 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 887632

Child status: 0
Real time (s): 2.76357
CPU time (s): 2.20014
CPU user time (s): 1.98012
CPU system time (s): 0.220013
CPU usage (%): 79.6121
Max. virtual memory (cumulated for all children) (KiB): 891160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.98012
system time used= 0.220013
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44658
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= 234
involuntary context switches= 192

runsolver used 0 second user time and 0 second system time

The end