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/fa3d0fb2-db9e-11df-a0ec-00163e3d3b7c.cudf.dudf-real.log.runsolver ./p2cudf-user-1.13 /home/misc2010/data/2011/dudf-real//fa3d0fb2-db9e-11df-a0ec-00163e3d3b7c.cudf /home/misc2010/tmp/201108291842/p2cudf-user-1.13/fa3d0fb2-db9e-11df-a0ec-00163e3d3b7c.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.22 1.18 1.14 5/37 32039
/proc/meminfo: memFree=533524/1048576 swapFree=0/0
[pid=32036] ppid=32035 vsize=2572 CPUtime=0
/proc/32036/stat : 32036 (p2cudf-user-1.1) S 32035 32036 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46679980 2633728 271 1283457024 134512640 135304128 4289266768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32036/statm: 643 271 230 194 0 30 0
[pid=32037] ppid=32036 vsize=2572 CPUtime=0
/proc/32037/stat : 32037 (p2cudf) S 32036 32036 17511 34816 17511 4202496 355 0 0 0 0 0 0 0 18 0 1 0 46679980 2633728 272 1283457024 134512640 135304128 4292314992 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/32037/statm: 643 272 231 194 0 30 0
[pid=32038] ppid=32037 vsize=2572 CPUtime=0
/proc/32038/stat : 32038 (p2cudf) R 32037 32036 17511 34816 17511 4202560 94 0 0 0 0 0 0 0 25 0 1 0 46679980 2633728 119 1283457024 134512640 135304128 4292314992 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/32038/statm: 643 119 77 194 0 30 0
[pid=32039] ppid=32038 vsize=2572 CPUtime=0
/proc/32039/stat : 32039 (p2cudf) R 32038 32036 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46679980 2633728 42 1283457024 134512640 135304128 4292314992 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/32039/statm: 643 42 0 194 0 30 0

[startup+0.175647 s]
/proc/loadavg: 1.22 1.18 1.14 5/37 32039
/proc/meminfo: memFree=533524/1048576 swapFree=0/0
[pid=32036] ppid=32035 vsize=2572 CPUtime=0
/proc/32036/stat : 32036 (p2cudf-user-1.1) S 32035 32036 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46679980 2633728 271 1283457024 134512640 135304128 4289266768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32036/statm: 643 271 230 194 0 30 0
[pid=32037] ppid=32036 vsize=2576 CPUtime=0.03
/proc/32037/stat : 32037 (p2cudf) S 32036 32036 17511 34816 17511 4202496 392 3013 0 1 0 1 2 0 25 0 1 0 46679980 2637824 281 1283457024 134512640 135304128 4292314992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32037/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.20561 s]
/proc/loadavg: 1.22 1.18 1.14 5/37 32039
/proc/meminfo: memFree=533524/1048576 swapFree=0/0
[pid=32036] ppid=32035 vsize=2572 CPUtime=0
/proc/32036/stat : 32036 (p2cudf-user-1.1) S 32035 32036 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46679980 2633728 271 1283457024 134512640 135304128 4289266768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32036/statm: 643 271 230 194 0 30 0
[pid=32037] ppid=32036 vsize=2576 CPUtime=0.03
/proc/32037/stat : 32037 (p2cudf) S 32036 32036 17511 34816 17511 4202496 392 3013 0 1 0 1 2 0 25 0 1 0 46679980 2637824 281 1283457024 134512640 135304128 4292314992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32037/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.305633 s]
/proc/loadavg: 1.22 1.18 1.14 5/37 32039
/proc/meminfo: memFree=533524/1048576 swapFree=0/0
[pid=32036] ppid=32035 vsize=2572 CPUtime=0
/proc/32036/stat : 32036 (p2cudf-user-1.1) S 32035 32036 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46679980 2633728 271 1283457024 134512640 135304128 4289266768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32036/statm: 643 271 230 194 0 30 0
[pid=32037] ppid=32036 vsize=2576 CPUtime=0.03
/proc/32037/stat : 32037 (p2cudf) S 32036 32036 17511 34816 17511 4202496 392 3013 0 1 0 1 2 0 25 0 1 0 46679980 2637824 281 1283457024 134512640 135304128 4292314992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32037/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.705719 s]
/proc/loadavg: 1.22 1.18 1.14 5/37 32039
/proc/meminfo: memFree=533524/1048576 swapFree=0/0
[pid=32036] ppid=32035 vsize=2572 CPUtime=0
/proc/32036/stat : 32036 (p2cudf-user-1.1) S 32035 32036 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46679980 2633728 271 1283457024 134512640 135304128 4289266768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32036/statm: 643 271 230 194 0 30 0
[pid=32037] ppid=32036 vsize=2576 CPUtime=0.03
/proc/32037/stat : 32037 (p2cudf) S 32036 32036 17511 34816 17511 4202496 392 3013 0 1 0 1 2 0 25 0 1 0 46679980 2637824 281 1283457024 134512640 135304128 4292314992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32037/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+1.50589 s]
/proc/loadavg: 1.22 1.18 1.14 5/46 32059
/proc/meminfo: memFree=490484/1048576 swapFree=0/0
[pid=32036] ppid=32035 vsize=2572 CPUtime=0
/proc/32036/stat : 32036 (p2cudf-user-1.1) S 32035 32036 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46679980 2633728 271 1283457024 134512640 135304128 4289266768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32036/statm: 643 271 230 194 0 30 0
[pid=32037] ppid=32036 vsize=2576 CPUtime=0.03
/proc/32037/stat : 32037 (p2cudf) S 32036 32036 17511 34816 17511 4202496 392 3013 0 1 0 1 2 0 25 0 1 0 46679980 2637824 281 1283457024 134512640 135304128 4292314992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32037/statm: 644 281 239 194 0 31 0
[pid=32050] ppid=32037 vsize=882232 CPUtime=1.46
/proc/32050/stat : 32050 (java) S 32037 32036 17511 34816 17511 4202496 21852 0 1 0 138 8 0 0 25 0 10 0 46679983 903405568 18755 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32050/statm: 220558 18755 1723 10 0 217649 0
[pid=32050/tid=32051] ppid=32037 vsize=882232 CPUtime=0.76
/proc/32050/task/32051/stat : 32051 (java) R 32037 32036 17511 34816 17511 4202560 10875 0 1 0 72 4 0 0 25 0 10 0 46679984 903405568 18755 1283457024 134512640 134550932 4287099152 18446744073709551615 4148712741 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32050/tid=32052] ppid=32037 vsize=882232 CPUtime=0
/proc/32050/task/32052/stat : 32052 (java) S 32037 32036 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 16 0 10 0 46679986 903405568 18755 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32053] ppid=32037 vsize=882232 CPUtime=0
/proc/32050/task/32053/stat : 32053 (java) S 32037 32036 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46679986 903405568 18755 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32054] ppid=32037 vsize=882232 CPUtime=0
/proc/32050/task/32054/stat : 32054 (java) S 32037 32036 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46679986 903405568 18755 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32055] ppid=32037 vsize=882232 CPUtime=0
/proc/32050/task/32055/stat : 32055 (java) S 32037 32036 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46679989 903405568 18755 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32056] ppid=32037 vsize=882232 CPUtime=0.55
/proc/32050/task/32056/stat : 32056 (java) R 32037 32036 17511 34816 17511 4202560 8596 0 0 0 52 3 0 0 22 0 10 0 46679989 903405568 18755 1283457024 134512640 134550932 4287099152 18446744073709551615 4149499536 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32050/tid=32057] ppid=32037 vsize=882232 CPUtime=0.14
/proc/32050/task/32057/stat : 32057 (java) S 32037 32036 17511 34816 17511 4202560 1300 0 0 0 14 0 0 0 23 0 10 0 46679989 903405568 18755 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32058] ppid=32037 vsize=882232 CPUtime=0
/proc/32050/task/32058/stat : 32058 (java) S 32037 32036 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46679989 903405568 18755 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32059] ppid=32037 vsize=882232 CPUtime=0
/proc/32050/task/32059/stat : 32059 (java) S 32037 32036 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46679989 903405568 18755 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 887380

[startup+3.10622 s]
/proc/loadavg: 1.22 1.18 1.14 2/46 32059
/proc/meminfo: memFree=366236/1048576 swapFree=0/0
[pid=32036] ppid=32035 vsize=2572 CPUtime=0
/proc/32036/stat : 32036 (p2cudf-user-1.1) S 32035 32036 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46679980 2633728 271 1283457024 134512640 135304128 4289266768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32036/statm: 643 271 230 194 0 30 0
[pid=32037] ppid=32036 vsize=2576 CPUtime=0.03
/proc/32037/stat : 32037 (p2cudf) S 32036 32036 17511 34816 17511 4202496 392 3013 0 1 0 1 2 0 25 0 1 0 46679980 2637824 281 1283457024 134512640 135304128 4292314992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32037/statm: 644 281 239 194 0 31 0
[pid=32050] ppid=32037 vsize=882232 CPUtime=3.06
/proc/32050/stat : 32050 (java) S 32037 32036 17511 34816 17511 4202496 55924 0 1 0 284 22 0 0 25 0 10 0 46679983 903405568 52827 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32050/statm: 220558 52827 1744 10 0 217649 0
[pid=32050/tid=32051] ppid=32037 vsize=882232 CPUtime=1.53
/proc/32050/task/32051/stat : 32051 (java) R 32037 32036 17511 34816 17511 4202560 44839 0 1 0 135 18 0 0 25 0 10 0 46679984 903405568 52827 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32050/tid=32052] ppid=32037 vsize=882232 CPUtime=0
/proc/32050/task/32052/stat : 32052 (java) S 32037 32036 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 15 0 10 0 46679986 903405568 52827 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32053] ppid=32037 vsize=882232 CPUtime=0
/proc/32050/task/32053/stat : 32053 (java) S 32037 32036 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46679986 903405568 52827 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32054] ppid=32037 vsize=882232 CPUtime=0
/proc/32050/task/32054/stat : 32054 (java) S 32037 32036 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46679986 903405568 52827 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32055] ppid=32037 vsize=882232 CPUtime=0
/proc/32050/task/32055/stat : 32055 (java) S 32037 32036 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46679989 903405568 52827 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32056] ppid=32037 vsize=882232 CPUtime=1.38
/proc/32050/task/32056/stat : 32056 (java) R 32037 32036 17511 34816 17511 4202560 8704 0 0 0 135 3 0 0 16 0 10 0 46679989 903405568 52827 1283457024 134512640 134550932 4287099152 18446744073709551615 4152691438 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32050/tid=32057] ppid=32037 vsize=882232 CPUtime=0.14
/proc/32050/task/32057/stat : 32057 (java) S 32037 32036 17511 34816 17511 4202560 1300 0 0 0 14 0 0 0 23 0 10 0 46679989 903405568 52827 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32058] ppid=32037 vsize=882232 CPUtime=0
/proc/32050/task/32058/stat : 32058 (java) S 32037 32036 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46679989 903405568 52827 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32059] ppid=32037 vsize=882232 CPUtime=0
/proc/32050/task/32059/stat : 32059 (java) S 32037 32036 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46679989 903405568 52827 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 887380

[startup+6.30594 s]
/proc/loadavg: 1.21 1.18 1.14 2/47 32060
/proc/meminfo: memFree=265044/1048576 swapFree=0/0
[pid=32036] ppid=32035 vsize=2572 CPUtime=0
/proc/32036/stat : 32036 (p2cudf-user-1.1) S 32035 32036 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46679980 2633728 271 1283457024 134512640 135304128 4289266768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32036/statm: 643 271 230 194 0 30 0
[pid=32037] ppid=32036 vsize=2576 CPUtime=0.03
/proc/32037/stat : 32037 (p2cudf) S 32036 32036 17511 34816 17511 4202496 392 3013 0 1 0 1 2 0 25 0 1 0 46679980 2637824 281 1283457024 134512640 135304128 4292314992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32037/statm: 644 281 239 194 0 31 0
[pid=32050] ppid=32037 vsize=882880 CPUtime=5.85
/proc/32050/stat : 32050 (java) S 32037 32036 17511 34816 17511 4202496 71795 0 1 0 557 28 0 0 25 0 11 0 46679983 904069120 68698 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32050/statm: 220720 68698 1785 10 0 217811 0
[pid=32050/tid=32051] ppid=32037 vsize=882880 CPUtime=3.06
/proc/32050/task/32051/stat : 32051 (java) S 32037 32036 17511 34816 17511 4202560 50292 0 1 0 285 21 0 0 25 0 11 0 46679984 904069120 68698 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32052] ppid=32037 vsize=882880 CPUtime=0.24
/proc/32050/task/32052/stat : 32052 (java) S 32037 32036 17511 34816 17511 4202560 10271 0 0 0 21 3 0 0 15 0 11 0 46679986 904069120 68698 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32053] ppid=32037 vsize=882880 CPUtime=0
/proc/32050/task/32053/stat : 32053 (java) S 32037 32036 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46679986 904069120 68698 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32054] ppid=32037 vsize=882880 CPUtime=0
/proc/32050/task/32054/stat : 32054 (java) S 32037 32036 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46679986 904069120 68698 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32055] ppid=32037 vsize=882880 CPUtime=0
/proc/32050/task/32055/stat : 32055 (java) S 32037 32036 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46679989 904069120 68698 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32056] ppid=32037 vsize=882880 CPUtime=2.39
/proc/32050/task/32056/stat : 32056 (java) S 32037 32036 17511 34816 17511 4202560 8845 0 0 0 236 3 0 0 16 0 11 0 46679989 904069120 68698 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32057] ppid=32037 vsize=882880 CPUtime=0.14
/proc/32050/task/32057/stat : 32057 (java) S 32037 32036 17511 34816 17511 4202560 1300 0 0 0 14 0 0 0 23 0 11 0 46679989 904069120 68698 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32058] ppid=32037 vsize=882880 CPUtime=0
/proc/32050/task/32058/stat : 32058 (java) S 32037 32036 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46679989 904069120 68698 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32059] ppid=32037 vsize=882880 CPUtime=0
/proc/32050/task/32059/stat : 32059 (java) S 32037 32036 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46679989 904069120 68698 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 888028

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

[startup+6.40596 s]
/proc/loadavg: 1.21 1.18 1.14 2/47 32060
/proc/meminfo: memFree=265044/1048576 swapFree=0/0
[pid=32036] ppid=32035 vsize=2572 CPUtime=0
/proc/32036/stat : 32036 (p2cudf-user-1.1) S 32035 32036 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46679980 2633728 271 1283457024 134512640 135304128 4289266768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32036/statm: 643 271 230 194 0 30 0
[pid=32037] ppid=32036 vsize=2576 CPUtime=0.03
/proc/32037/stat : 32037 (p2cudf) S 32036 32036 17511 34816 17511 4202496 392 3013 0 1 0 1 2 0 25 0 1 0 46679980 2637824 281 1283457024 134512640 135304128 4292314992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32037/statm: 644 281 239 194 0 31 0
[pid=32050] ppid=32037 vsize=882880 CPUtime=5.85
/proc/32050/stat : 32050 (java) S 32037 32036 17511 34816 17511 4202496 71795 0 1 0 557 28 0 0 25 0 11 0 46679983 904069120 68698 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32050/statm: 220720 68698 1785 10 0 217811 0
[pid=32050/tid=32051] ppid=32037 vsize=882880 CPUtime=3.06
/proc/32050/task/32051/stat : 32051 (java) S 32037 32036 17511 34816 17511 4202560 50292 0 1 0 285 21 0 0 25 0 11 0 46679984 904069120 68698 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32052] ppid=32037 vsize=882880 CPUtime=0.24
/proc/32050/task/32052/stat : 32052 (java) S 32037 32036 17511 34816 17511 4202560 10271 0 0 0 21 3 0 0 15 0 11 0 46679986 904069120 68698 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32053] ppid=32037 vsize=882880 CPUtime=0
/proc/32050/task/32053/stat : 32053 (java) S 32037 32036 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46679986 904069120 68698 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32054] ppid=32037 vsize=882880 CPUtime=0
/proc/32050/task/32054/stat : 32054 (java) S 32037 32036 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46679986 904069120 68698 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32055] ppid=32037 vsize=882880 CPUtime=0
/proc/32050/task/32055/stat : 32055 (java) S 32037 32036 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46679989 904069120 68698 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32056] ppid=32037 vsize=882880 CPUtime=2.39
/proc/32050/task/32056/stat : 32056 (java) S 32037 32036 17511 34816 17511 4202560 8845 0 0 0 236 3 0 0 16 0 11 0 46679989 904069120 68698 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32057] ppid=32037 vsize=882880 CPUtime=0.14
/proc/32050/task/32057/stat : 32057 (java) S 32037 32036 17511 34816 17511 4202560 1300 0 0 0 14 0 0 0 23 0 11 0 46679989 904069120 68698 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32058] ppid=32037 vsize=882880 CPUtime=0
/proc/32050/task/32058/stat : 32058 (java) S 32037 32036 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46679989 904069120 68698 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32059] ppid=32037 vsize=882880 CPUtime=0
/proc/32050/task/32059/stat : 32059 (java) S 32037 32036 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46679989 904069120 68698 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 888028

[startup+6.50995 s]
/proc/loadavg: 1.21 1.18 1.14 2/47 32060
/proc/meminfo: memFree=265044/1048576 swapFree=0/0
[pid=32036] ppid=32035 vsize=2572 CPUtime=0
/proc/32036/stat : 32036 (p2cudf-user-1.1) S 32035 32036 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46679980 2633728 271 1283457024 134512640 135304128 4289266768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32036/statm: 643 271 230 194 0 30 0
[pid=32037] ppid=32036 vsize=2576 CPUtime=0.03
/proc/32037/stat : 32037 (p2cudf) S 32036 32036 17511 34816 17511 4202496 392 3013 0 1 0 1 2 0 25 0 1 0 46679980 2637824 281 1283457024 134512640 135304128 4292314992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32037/statm: 644 281 239 194 0 31 0
[pid=32050] ppid=32037 vsize=882880 CPUtime=5.95
/proc/32050/stat : 32050 (java) S 32037 32036 17511 34816 17511 4202496 71798 0 1 0 563 32 0 0 25 0 11 0 46679983 904069120 68701 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32050/statm: 220720 68701 1785 10 0 217811 0
[pid=32050/tid=32051] ppid=32037 vsize=882880 CPUtime=3.06
/proc/32050/task/32051/stat : 32051 (java) S 32037 32036 17511 34816 17511 4202560 50292 0 1 0 285 21 0 0 25 0 11 0 46679984 904069120 68701 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32052] ppid=32037 vsize=882880 CPUtime=0.24
/proc/32050/task/32052/stat : 32052 (java) S 32037 32036 17511 34816 17511 4202560 10271 0 0 0 21 3 0 0 16 0 11 0 46679986 904069120 68701 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32053] ppid=32037 vsize=882880 CPUtime=0
/proc/32050/task/32053/stat : 32053 (java) S 32037 32036 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46679986 904069120 68701 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32054] ppid=32037 vsize=882880 CPUtime=0
/proc/32050/task/32054/stat : 32054 (java) S 32037 32036 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46679986 904069120 68701 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32055] ppid=32037 vsize=882880 CPUtime=0
/proc/32050/task/32055/stat : 32055 (java) S 32037 32036 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46679989 904069120 68701 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32056] ppid=32037 vsize=882880 CPUtime=2.42
/proc/32050/task/32056/stat : 32056 (java) S 32037 32036 17511 34816 17511 4202560 8847 0 0 0 238 4 0 0 15 0 11 0 46679989 904069120 68701 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32057] ppid=32037 vsize=882880 CPUtime=0.14
/proc/32050/task/32057/stat : 32057 (java) S 32037 32036 17511 34816 17511 4202560 1300 0 0 0 14 0 0 0 23 0 11 0 46679989 904069120 68701 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32058] ppid=32037 vsize=882880 CPUtime=0
/proc/32050/task/32058/stat : 32058 (java) S 32037 32036 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46679989 904069120 68701 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=32050/tid=32059] ppid=32037 vsize=882880 CPUtime=0
/proc/32050/task/32059/stat : 32059 (java) S 32037 32036 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46679989 904069120 68701 1283457024 134512640 134550932 4287099152 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 888028

Child status: 0
Real time (s): 6.61041
CPU time (s): 6.06038
CPU user time (s): 5.70036
CPU system time (s): 0.360022
CPU usage (%): 91.6792
Max. virtual memory (cumulated for all children) (KiB): 888028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.70036
system time used= 0.360022
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75611
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= 839
involuntary context switches= 826

runsolver used 0 second user time and 0 second system time

The end