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/80e3fda2-9501-11e0-8001-00163e1e087d.cudf.dudf-real.log.runsolver ./p2cudf-user-1.13 /home/misc2010/data/2011/dudf-real//80e3fda2-9501-11e0-8001-00163e1e087d.cudf /home/misc2010/tmp/201108291842/p2cudf-user-1.13/80e3fda2-9501-11e0-8001-00163e1e087d.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.73 1.38 1.22 5/36 27365
/proc/meminfo: memFree=656152/1048576 swapFree=0/0
[pid=27362] ppid=27361 vsize=2568 CPUtime=0
/proc/27362/stat : 27362 (p2cudf-user-1.1) S 27361 27362 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46464486 2629632 270 1283457024 134512640 135304128 4287242864 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27362/statm: 642 270 230 194 0 29 0
[pid=27363] ppid=27362 vsize=2568 CPUtime=0
/proc/27363/stat : 27363 (p2cudf) S 27362 27362 17511 34816 17511 4202496 354 0 0 0 0 0 0 0 18 0 1 0 46464486 2629632 272 1283457024 134512640 135304128 4290942496 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/27363/statm: 642 272 231 194 0 29 0
[pid=27364] ppid=27363 vsize=2568 CPUtime=0
/proc/27364/stat : 27364 (p2cudf) R 27363 27362 17511 34816 17511 4202560 94 0 0 0 0 0 0 0 25 0 1 0 46464486 2629632 119 1283457024 134512640 135304128 4290942496 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/27364/statm: 642 119 77 194 0 29 0
[pid=27365] ppid=27364 vsize=2568 CPUtime=0
/proc/27365/stat : 27365 (p2cudf) R 27364 27362 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46464486 2629632 42 1283457024 134512640 135304128 4290942496 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/27365/statm: 642 42 0 194 0 29 0

[startup+0.125523 s]
/proc/loadavg: 1.73 1.38 1.22 5/36 27365
/proc/meminfo: memFree=656152/1048576 swapFree=0/0
[pid=27362] ppid=27361 vsize=2568 CPUtime=0
/proc/27362/stat : 27362 (p2cudf-user-1.1) S 27361 27362 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46464486 2629632 270 1283457024 134512640 135304128 4287242864 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27362/statm: 642 270 230 194 0 29 0
[pid=27363] ppid=27362 vsize=2572 CPUtime=0.03
/proc/27363/stat : 27363 (p2cudf) S 27362 27362 17511 34816 17511 4202496 391 3013 0 1 1 0 2 0 25 0 1 0 46464486 2633728 281 1283457024 134512640 135304128 4290942496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27363/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.205521 s]
/proc/loadavg: 1.73 1.38 1.22 5/36 27365
/proc/meminfo: memFree=656152/1048576 swapFree=0/0
[pid=27362] ppid=27361 vsize=2568 CPUtime=0
/proc/27362/stat : 27362 (p2cudf-user-1.1) S 27361 27362 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46464486 2629632 270 1283457024 134512640 135304128 4287242864 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27362/statm: 642 270 230 194 0 29 0
[pid=27363] ppid=27362 vsize=2572 CPUtime=0.03
/proc/27363/stat : 27363 (p2cudf) S 27362 27362 17511 34816 17511 4202496 391 3013 0 1 1 0 2 0 25 0 1 0 46464486 2633728 281 1283457024 134512640 135304128 4290942496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27363/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.305532 s]
/proc/loadavg: 1.73 1.38 1.22 5/36 27365
/proc/meminfo: memFree=656152/1048576 swapFree=0/0
[pid=27362] ppid=27361 vsize=2568 CPUtime=0
/proc/27362/stat : 27362 (p2cudf-user-1.1) S 27361 27362 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46464486 2629632 270 1283457024 134512640 135304128 4287242864 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27362/statm: 642 270 230 194 0 29 0
[pid=27363] ppid=27362 vsize=2572 CPUtime=0.03
/proc/27363/stat : 27363 (p2cudf) S 27362 27362 17511 34816 17511 4202496 391 3013 0 1 1 0 2 0 25 0 1 0 46464486 2633728 281 1283457024 134512640 135304128 4290942496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27363/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.705608 s]
/proc/loadavg: 1.73 1.38 1.22 5/36 27365
/proc/meminfo: memFree=656152/1048576 swapFree=0/0
[pid=27362] ppid=27361 vsize=2568 CPUtime=0
/proc/27362/stat : 27362 (p2cudf-user-1.1) S 27361 27362 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46464486 2629632 270 1283457024 134512640 135304128 4287242864 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27362/statm: 642 270 230 194 0 29 0
[pid=27363] ppid=27362 vsize=2572 CPUtime=0.03
/proc/27363/stat : 27363 (p2cudf) S 27362 27362 17511 34816 17511 4202496 391 3013 0 1 1 0 2 0 25 0 1 0 46464486 2633728 281 1283457024 134512640 135304128 4290942496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27363/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+1.50571 s]
/proc/loadavg: 1.73 1.38 1.22 3/45 27385
/proc/meminfo: memFree=603192/1048576 swapFree=0/0
[pid=27362] ppid=27361 vsize=2568 CPUtime=0
/proc/27362/stat : 27362 (p2cudf-user-1.1) S 27361 27362 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46464486 2629632 270 1283457024 134512640 135304128 4287242864 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27362/statm: 642 270 230 194 0 29 0
[pid=27363] ppid=27362 vsize=2572 CPUtime=0.03
/proc/27363/stat : 27363 (p2cudf) S 27362 27362 17511 34816 17511 4202496 391 3013 0 1 1 0 2 0 25 0 1 0 46464486 2633728 281 1283457024 134512640 135304128 4290942496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27363/statm: 643 281 239 194 0 30 0
[pid=27376] ppid=27363 vsize=885172 CPUtime=1.46
/proc/27376/stat : 27376 (java) S 27363 27362 17511 34816 17511 4202496 22354 0 1 0 141 5 0 0 25 0 10 0 46464489 906416128 18847 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27376/statm: 221293 18847 1721 10 0 218384 0
[pid=27376/tid=27377] ppid=27363 vsize=885172 CPUtime=0.79
/proc/27376/task/27377/stat : 27377 (java) R 27363 27362 17511 34816 17511 4202560 10719 0 1 0 77 2 0 0 25 0 10 0 46464490 906416128 18847 1283457024 134512640 134550932 4286793920 18446744073709551615 4094948625 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27376/tid=27378] ppid=27363 vsize=885172 CPUtime=0
/proc/27376/task/27378/stat : 27378 (java) S 27363 27362 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 16 0 10 0 46464491 906416128 18847 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27379] ppid=27363 vsize=885172 CPUtime=0
/proc/27376/task/27379/stat : 27379 (java) S 27363 27362 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46464492 906416128 18847 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27380] ppid=27363 vsize=885172 CPUtime=0
/proc/27376/task/27380/stat : 27380 (java) S 27363 27362 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46464492 906416128 18847 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27381] ppid=27363 vsize=885172 CPUtime=0
/proc/27376/task/27381/stat : 27381 (java) S 27363 27362 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46464494 906416128 18847 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27382] ppid=27363 vsize=885172 CPUtime=0.44
/proc/27376/task/27382/stat : 27382 (java) R 27363 27362 17511 34816 17511 4202560 8427 0 0 0 43 1 0 0 25 0 10 0 46464494 906416128 18847 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27376/tid=27383] ppid=27363 vsize=885172 CPUtime=0.21
/proc/27376/task/27383/stat : 27383 (java) R 27363 27362 17511 34816 17511 4202560 2129 0 0 0 20 1 0 0 18 0 10 0 46464494 906416128 18847 1283457024 134512640 134550932 4286793920 18446744073709551615 4151642141 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27376/tid=27384] ppid=27363 vsize=885172 CPUtime=0
/proc/27376/task/27384/stat : 27384 (java) S 27363 27362 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46464494 906416128 18847 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27385] ppid=27363 vsize=885172 CPUtime=0
/proc/27376/task/27385/stat : 27385 (java) S 27363 27362 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46464494 906416128 18847 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 890312

[startup+3.11353 s]
/proc/loadavg: 1.73 1.38 1.22 2/45 27385
/proc/meminfo: memFree=512176/1048576 swapFree=0/0
[pid=27362] ppid=27361 vsize=2568 CPUtime=0
/proc/27362/stat : 27362 (p2cudf-user-1.1) S 27361 27362 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46464486 2629632 270 1283457024 134512640 135304128 4287242864 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27362/statm: 642 270 230 194 0 29 0
[pid=27363] ppid=27362 vsize=2572 CPUtime=0.03
/proc/27363/stat : 27363 (p2cudf) S 27362 27362 17511 34816 17511 4202496 391 3013 0 1 1 0 2 0 25 0 1 0 46464486 2633728 281 1283457024 134512640 135304128 4290942496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27363/statm: 643 281 239 194 0 30 0
[pid=27376] ppid=27363 vsize=881848 CPUtime=3.06
/proc/27376/stat : 27376 (java) S 27363 27362 17511 34816 17511 4202496 75481 0 1 0 278 28 0 0 25 0 10 0 46464489 903012352 71369 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27376/statm: 220462 71369 1743 10 0 217553 0
[pid=27376/tid=27377] ppid=27363 vsize=881848 CPUtime=1.67
/proc/27376/task/27377/stat : 27377 (java) R 27363 27362 17511 34816 17511 4202560 50087 0 1 0 145 22 0 0 25 0 10 0 46464490 903012352 71369 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27376/tid=27378] ppid=27363 vsize=881848 CPUtime=0.3
/proc/27376/task/27378/stat : 27378 (java) S 27363 27362 17511 34816 17511 4202560 13486 0 0 0 28 2 0 0 16 0 10 0 46464491 903012352 71369 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27379] ppid=27363 vsize=881848 CPUtime=0
/proc/27376/task/27379/stat : 27379 (java) S 27363 27362 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 46464492 903012352 71369 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27380] ppid=27363 vsize=881848 CPUtime=0
/proc/27376/task/27380/stat : 27380 (java) S 27363 27362 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46464492 903012352 71369 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27381] ppid=27363 vsize=881848 CPUtime=0
/proc/27376/task/27381/stat : 27381 (java) S 27363 27362 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46464494 903012352 71369 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27382] ppid=27363 vsize=881848 CPUtime=0.55
/proc/27376/task/27382/stat : 27382 (java) R 27363 27362 17511 34816 17511 4202560 8478 0 0 0 54 1 0 0 20 0 10 0 46464494 903012352 71369 1283457024 134512640 134550932 4286793920 18446744073709551615 4148457913 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27376/tid=27383] ppid=27363 vsize=881848 CPUtime=0.51
/proc/27376/task/27383/stat : 27383 (java) S 27363 27362 17511 34816 17511 4202560 2353 0 0 0 50 1 0 0 15 0 10 0 46464494 903012352 71369 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27384] ppid=27363 vsize=881848 CPUtime=0
/proc/27376/task/27384/stat : 27384 (java) S 27363 27362 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46464494 903012352 71369 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27385] ppid=27363 vsize=881848 CPUtime=0
/proc/27376/task/27385/stat : 27385 (java) S 27363 27362 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46464494 903012352 71369 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 886988

[startup+6.3099 s]
/proc/loadavg: 1.67 1.37 1.22 2/46 27386
/proc/meminfo: memFree=375272/1048576 swapFree=0/0
[pid=27362] ppid=27361 vsize=2568 CPUtime=0
/proc/27362/stat : 27362 (p2cudf-user-1.1) S 27361 27362 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46464486 2629632 270 1283457024 134512640 135304128 4287242864 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27362/statm: 642 270 230 194 0 29 0
[pid=27363] ppid=27362 vsize=2572 CPUtime=0.03
/proc/27363/stat : 27363 (p2cudf) S 27362 27362 17511 34816 17511 4202496 391 3013 0 1 1 0 2 0 25 0 1 0 46464486 2633728 281 1283457024 134512640 135304128 4290942496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27363/statm: 643 281 239 194 0 30 0
[pid=27376] ppid=27363 vsize=882388 CPUtime=5.74
/proc/27376/stat : 27376 (java) S 27363 27362 17511 34816 17511 4202496 77529 0 1 0 543 31 0 0 25 0 11 0 46464489 903565312 71805 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27376/statm: 220597 71805 1777 10 0 217688 0
[pid=27376/tid=27377] ppid=27363 vsize=882388 CPUtime=2.8
/proc/27376/task/27377/stat : 27377 (java) S 27363 27362 17511 34816 17511 4202560 50285 0 1 0 256 24 0 0 25 0 11 0 46464490 903565312 71805 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27378] ppid=27363 vsize=882388 CPUtime=0.3
/proc/27376/task/27378/stat : 27378 (java) S 27363 27362 17511 34816 17511 4202560 13486 0 0 0 28 2 0 0 16 0 11 0 46464491 903565312 71805 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27379] ppid=27363 vsize=882388 CPUtime=0
/proc/27376/task/27379/stat : 27379 (java) S 27363 27362 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46464492 903565312 71805 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27380] ppid=27363 vsize=882388 CPUtime=0
/proc/27376/task/27380/stat : 27380 (java) S 27363 27362 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46464492 903565312 71805 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27381] ppid=27363 vsize=882388 CPUtime=0
/proc/27376/task/27381/stat : 27381 (java) S 27363 27362 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46464494 903565312 71805 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27382] ppid=27363 vsize=882388 CPUtime=1.59
/proc/27376/task/27382/stat : 27382 (java) S 27363 27362 17511 34816 17511 4202560 8612 0 0 0 158 1 0 0 15 0 11 0 46464494 903565312 71805 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27383] ppid=27363 vsize=882388 CPUtime=0.99
/proc/27376/task/27383/stat : 27383 (java) S 27363 27362 17511 34816 17511 4202560 4058 0 0 0 98 1 0 0 16 0 11 0 46464494 903565312 71805 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27384] ppid=27363 vsize=882388 CPUtime=0
/proc/27376/task/27384/stat : 27384 (java) S 27363 27362 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46464494 903565312 71805 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27385] ppid=27363 vsize=882388 CPUtime=0
/proc/27376/task/27385/stat : 27385 (java) S 27363 27362 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46464494 903565312 71805 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 887528

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

[startup+6.4059 s]
/proc/loadavg: 1.67 1.37 1.22 2/46 27386
/proc/meminfo: memFree=375272/1048576 swapFree=0/0
[pid=27362] ppid=27361 vsize=2568 CPUtime=0
/proc/27362/stat : 27362 (p2cudf-user-1.1) S 27361 27362 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 46464486 2629632 270 1283457024 134512640 135304128 4287242864 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27362/statm: 642 270 230 194 0 29 0
[pid=27363] ppid=27362 vsize=2572 CPUtime=0.03
/proc/27363/stat : 27363 (p2cudf) S 27362 27362 17511 34816 17511 4202496 391 3013 0 1 1 0 2 0 25 0 1 0 46464486 2633728 281 1283457024 134512640 135304128 4290942496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27363/statm: 643 281 239 194 0 30 0
[pid=27376] ppid=27363 vsize=882388 CPUtime=5.79
/proc/27376/stat : 27376 (java) S 27363 27362 17511 34816 17511 4202496 77532 0 1 0 548 31 0 0 25 0 10 0 46464489 903565312 71808 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27376/statm: 220597 71808 1778 10 0 217688 0
[pid=27376/tid=27377] ppid=27363 vsize=882388 CPUtime=2.8
/proc/27376/task/27377/stat : 27377 (java) S 27363 27362 17511 34816 17511 4202560 50285 0 1 0 256 24 0 0 20 0 10 0 46464490 903565312 71808 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27378] ppid=27363 vsize=882388 CPUtime=0.3
/proc/27376/task/27378/stat : 27378 (java) S 27363 27362 17511 34816 17511 4202560 13486 0 0 0 28 2 0 0 16 0 10 0 46464491 903565312 71808 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27379] ppid=27363 vsize=882388 CPUtime=0
/proc/27376/task/27379/stat : 27379 (java) S 27363 27362 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 46464492 903565312 71808 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27380] ppid=27363 vsize=882388 CPUtime=0
/proc/27376/task/27380/stat : 27380 (java) S 27363 27362 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46464492 903565312 71808 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27381] ppid=27363 vsize=882388 CPUtime=0
/proc/27376/task/27381/stat : 27381 (java) S 27363 27362 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46464494 903565312 71808 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27382] ppid=27363 vsize=882388 CPUtime=1.61
/proc/27376/task/27382/stat : 27382 (java) S 27363 27362 17511 34816 17511 4202560 8615 0 0 0 160 1 0 0 16 0 10 0 46464494 903565312 71808 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27383] ppid=27363 vsize=882388 CPUtime=0.99
/proc/27376/task/27383/stat : 27383 (java) S 27363 27362 17511 34816 17511 4202560 4058 0 0 0 98 1 0 0 16 0 10 0 46464494 903565312 71808 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27384] ppid=27363 vsize=882388 CPUtime=0
/proc/27376/task/27384/stat : 27384 (java) S 27363 27362 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46464494 903565312 71808 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=27376/tid=27385] ppid=27363 vsize=882388 CPUtime=0
/proc/27376/task/27385/stat : 27385 (java) S 27363 27362 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46464494 903565312 71808 1283457024 134512640 134550932 4286793920 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 887528

Child status: 0
Real time (s): 6.4316
CPU time (s): 5.85237
CPU user time (s): 5.52035
CPU system time (s): 0.33202
CPU usage (%): 90.9939
Max. virtual memory (cumulated for all children) (KiB): 891164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.52034
system time used= 0.33202
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81336
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= 787
involuntary context switches= 779

runsolver used 0 second user time and 0 second system time

The end