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/201012091434/p2cudf-user-1.10/2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/debian-dudf//2f690324-4939-11df-9e6e-00163e7a6f5e.cudf /home/misc2010/tmp/201012091434/p2cudf-user-1.10/2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.result -changed,-removed,-unmet_recommends,-new 

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.06 1.11 0.90 5/38 27433
/proc/meminfo: memFree=528088/1048576 swapFree=2095372/2097144
[pid=27432] ppid=27431 vsize=2572 CPUtime=0
/proc/27432/stat : 27432 (p2cudf-user-1.1) R 27431 27432 25521 34816 25544 4202496 360 0 0 0 0 0 0 0 25 0 1 0 899995776 2633728 273 1283457024 134512640 135304128 4293955776 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/27432/statm: 643 273 233 194 0 29 0
[pid=27433] ppid=27432 vsize=2572 CPUtime=0
/proc/27433/stat : 27433 (p2cudf-user-1.1) R 27432 27432 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 1 0 899995776 2633728 40 1283457024 134512640 135304128 4293955776 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/27433/statm: 643 40 0 194 0 29 0

[startup+0.151554 s]
/proc/loadavg: 1.06 1.11 0.90 5/38 27433
/proc/meminfo: memFree=528088/1048576 swapFree=2095372/2097144
[pid=27432] ppid=27431 vsize=2572 CPUtime=0
/proc/27432/stat : 27432 (p2cudf-user-1.1) S 27431 27432 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 899995776 2633728 273 1283457024 134512640 135304128 4293955776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27432/statm: 643 273 233 194 0 29 0
[pid=27433] ppid=27432 vsize=2580 CPUtime=0.03
/proc/27433/stat : 27433 (p2cudf) S 27432 27432 25521 34816 25544 4202496 393 2991 0 1 0 0 3 0 25 0 1 0 899995776 2641920 282 1283457024 134512640 135304128 4286956096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27433/statm: 645 282 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5152

[startup+0.211585 s]
/proc/loadavg: 1.06 1.11 0.90 5/38 27433
/proc/meminfo: memFree=528088/1048576 swapFree=2095372/2097144
[pid=27432] ppid=27431 vsize=2572 CPUtime=0
/proc/27432/stat : 27432 (p2cudf-user-1.1) S 27431 27432 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 899995776 2633728 273 1283457024 134512640 135304128 4293955776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27432/statm: 643 273 233 194 0 29 0
[pid=27433] ppid=27432 vsize=2580 CPUtime=0.03
/proc/27433/stat : 27433 (p2cudf) S 27432 27432 25521 34816 25544 4202496 393 2991 0 1 0 0 3 0 25 0 1 0 899995776 2641920 282 1283457024 134512640 135304128 4286956096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27433/statm: 645 282 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5152

[startup+0.311617 s]
/proc/loadavg: 1.06 1.11 0.90 5/38 27433
/proc/meminfo: memFree=528088/1048576 swapFree=2095372/2097144
[pid=27432] ppid=27431 vsize=2572 CPUtime=0
/proc/27432/stat : 27432 (p2cudf-user-1.1) S 27431 27432 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 899995776 2633728 273 1283457024 134512640 135304128 4293955776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27432/statm: 643 273 233 194 0 29 0
[pid=27433] ppid=27432 vsize=2580 CPUtime=0.03
/proc/27433/stat : 27433 (p2cudf) S 27432 27432 25521 34816 25544 4202496 393 2991 0 1 0 0 3 0 25 0 1 0 899995776 2641920 282 1283457024 134512640 135304128 4286956096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27433/statm: 645 282 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5152

[startup+0.710653 s]
/proc/loadavg: 1.06 1.11 0.90 5/38 27433
/proc/meminfo: memFree=528088/1048576 swapFree=2095372/2097144
[pid=27432] ppid=27431 vsize=2572 CPUtime=0
/proc/27432/stat : 27432 (p2cudf-user-1.1) S 27431 27432 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 899995776 2633728 273 1283457024 134512640 135304128 4293955776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27432/statm: 643 273 233 194 0 29 0
[pid=27433] ppid=27432 vsize=2580 CPUtime=0.03
/proc/27433/stat : 27433 (p2cudf) S 27432 27432 25521 34816 25544 4202496 393 2991 0 1 0 0 3 0 25 0 1 0 899995776 2641920 282 1283457024 134512640 135304128 4286956096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27433/statm: 645 282 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5152

[startup+1.51093 s]
/proc/loadavg: 1.06 1.11 0.90 4/49 27455
/proc/meminfo: memFree=484260/1048576 swapFree=2095372/2097144
[pid=27432] ppid=27431 vsize=2572 CPUtime=0
/proc/27432/stat : 27432 (p2cudf-user-1.1) S 27431 27432 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 899995776 2633728 273 1283457024 134512640 135304128 4293955776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27432/statm: 643 273 233 194 0 29 0
[pid=27433] ppid=27432 vsize=2580 CPUtime=0.03
/proc/27433/stat : 27433 (p2cudf) S 27432 27432 25521 34816 25544 4202496 393 2991 0 1 0 0 3 0 25 0 1 0 899995776 2641920 282 1283457024 134512640 135304128 4286956096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27433/statm: 645 282 241 194 0 31 0
[pid=27446] ppid=27433 vsize=904728 CPUtime=1.42
/proc/27446/stat : 27446 (java) S 27433 27432 25521 34816 25544 4202496 22288 0 1 0 135 7 0 0 25 0 10 0 899995780 926441472 17797 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27446/statm: 226182 17797 1738 10 0 223272 0
[pid=27446/tid=27447] ppid=27433 vsize=904728 CPUtime=0.38
/proc/27446/task/27447/stat : 27447 (java) R 27433 27432 25521 34816 25544 4202560 5042 0 1 0 36 2 0 0 25 0 10 0 899995780 926441472 17797 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27446/tid=27448] ppid=27433 vsize=904728 CPUtime=0
/proc/27446/task/27448/stat : 27448 (java) S 27433 27432 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 15 0 10 0 899995782 926441472 17797 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27449] ppid=27433 vsize=904728 CPUtime=0
/proc/27446/task/27449/stat : 27449 (java) S 27433 27432 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 899995782 926441472 17797 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27450] ppid=27433 vsize=904728 CPUtime=0
/proc/27446/task/27450/stat : 27450 (java) S 27433 27432 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 899995782 926441472 17797 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27451] ppid=27433 vsize=904728 CPUtime=0
/proc/27446/task/27451/stat : 27451 (java) S 27433 27432 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 899995785 926441472 17797 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27452] ppid=27433 vsize=904728 CPUtime=0.27
/proc/27446/task/27452/stat : 27452 (java) R 27433 27432 25521 34816 25544 4202560 2716 0 0 0 26 1 0 0 20 0 10 0 899995785 926441472 17797 1283457024 134512640 134550932 4291163360 18446744073709551615 4152085397 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27446/tid=27453] ppid=27433 vsize=904728 CPUtime=0.75
/proc/27446/task/27453/stat : 27453 (java) R 27433 27432 25521 34816 25544 4202560 13417 0 0 0 72 3 0 0 25 0 10 0 899995785 926441472 17797 1283457024 134512640 134550932 4291163360 18446744073709551615 4150574965 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27446/tid=27454] ppid=27433 vsize=904728 CPUtime=0
/proc/27446/task/27454/stat : 27454 (java) S 27433 27432 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 10 0 899995785 926441472 17797 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27455] ppid=27433 vsize=904728 CPUtime=0
/proc/27446/task/27455/stat : 27455 (java) S 27433 27432 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 899995785 926441472 17797 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 909880

[startup+3.11151 s]
/proc/loadavg: 1.06 1.11 0.90 5/49 27455
/proc/meminfo: memFree=439600/1048576 swapFree=2095372/2097144
[pid=27432] ppid=27431 vsize=2572 CPUtime=0
/proc/27432/stat : 27432 (p2cudf-user-1.1) S 27431 27432 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 899995776 2633728 273 1283457024 134512640 135304128 4293955776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27432/statm: 643 273 233 194 0 29 0
[pid=27433] ppid=27432 vsize=2580 CPUtime=0.03
/proc/27433/stat : 27433 (p2cudf) S 27432 27432 25521 34816 25544 4202496 393 2991 0 1 0 0 3 0 25 0 1 0 899995776 2641920 282 1283457024 134512640 135304128 4286956096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27433/statm: 645 282 241 194 0 31 0
[pid=27446] ppid=27433 vsize=907928 CPUtime=3.03
/proc/27446/stat : 27446 (java) S 27433 27432 25521 34816 25544 4202496 38586 0 1 0 286 17 0 0 25 0 10 0 899995780 929718272 30256 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27446/statm: 226982 30256 1741 10 0 224072 0
[pid=27446/tid=27447] ppid=27433 vsize=907928 CPUtime=0.9
/proc/27446/task/27447/stat : 27447 (java) R 27433 27432 25521 34816 25544 4202560 15870 0 1 0 80 10 0 0 25 0 10 0 899995780 929718272 30256 1283457024 134512640 134550932 4291163360 18446744073709551615 4096117255 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27446/tid=27448] ppid=27433 vsize=907928 CPUtime=0
/proc/27446/task/27448/stat : 27448 (java) S 27433 27432 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 15 0 10 0 899995782 929718272 30256 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27449] ppid=27433 vsize=907928 CPUtime=0
/proc/27446/task/27449/stat : 27449 (java) S 27433 27432 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 899995782 929718272 30256 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27450] ppid=27433 vsize=907928 CPUtime=0
/proc/27446/task/27450/stat : 27450 (java) S 27433 27432 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 899995782 929718272 30256 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27451] ppid=27433 vsize=907928 CPUtime=0
/proc/27446/task/27451/stat : 27451 (java) S 27433 27432 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 899995785 929718272 30256 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27452] ppid=27433 vsize=907928 CPUtime=1.02
/proc/27446/task/27452/stat : 27452 (java) S 27433 27432 25521 34816 25544 4202560 6596 0 0 0 100 2 0 0 21 0 10 0 899995785 929718272 30256 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27453] ppid=27433 vsize=907928 CPUtime=1.07
/proc/27446/task/27453/stat : 27453 (java) S 27433 27432 25521 34816 25544 4202560 15007 0 0 0 104 3 0 0 25 0 10 0 899995785 929718272 30256 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27454] ppid=27433 vsize=907928 CPUtime=0
/proc/27446/task/27454/stat : 27454 (java) S 27433 27432 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 10 0 899995785 929718272 30256 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27455] ppid=27433 vsize=907928 CPUtime=0
/proc/27446/task/27455/stat : 27455 (java) R 27433 27432 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 899995785 929718272 30256 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 913080

[startup+6.31268 s]
/proc/loadavg: 1.13 1.12 0.91 2/49 27455
/proc/meminfo: memFree=201164/1048576 swapFree=2095372/2097144
[pid=27432] ppid=27431 vsize=2572 CPUtime=0
/proc/27432/stat : 27432 (p2cudf-user-1.1) S 27431 27432 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 899995776 2633728 273 1283457024 134512640 135304128 4293955776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27432/statm: 643 273 233 194 0 29 0
[pid=27433] ppid=27432 vsize=2580 CPUtime=0.03
/proc/27433/stat : 27433 (p2cudf) S 27432 27432 25521 34816 25544 4202496 393 2991 0 1 0 0 3 0 25 0 1 0 899995776 2641920 282 1283457024 134512640 135304128 4286956096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27433/statm: 645 282 241 194 0 31 0
[pid=27446] ppid=27433 vsize=907928 CPUtime=6.09
/proc/27446/stat : 27446 (java) S 27433 27432 25521 34816 25544 4202496 95647 0 1 0 573 36 0 0 25 0 10 0 899995780 929718272 87317 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27446/statm: 226982 87317 1764 10 0 224072 0
[pid=27446/tid=27447] ppid=27433 vsize=907928 CPUtime=2.25
/proc/27446/task/27447/stat : 27447 (java) R 27433 27432 25521 34816 25544 4202560 50387 0 1 0 199 26 0 0 25 0 10 0 899995780 929718272 87317 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27446/tid=27448] ppid=27433 vsize=907928 CPUtime=0.52
/proc/27446/task/27448/stat : 27448 (java) R 27433 27432 25521 34816 25544 4202560 22429 0 0 0 48 4 0 0 16 0 10 0 899995782 929718272 87317 1283457024 134512640 134550932 4291163360 18446744073709551615 4149831864 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=27446/tid=27449] ppid=27433 vsize=907928 CPUtime=0
/proc/27446/task/27449/stat : 27449 (java) S 27433 27432 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 10 0 899995782 929718272 87317 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27450] ppid=27433 vsize=907928 CPUtime=0
/proc/27446/task/27450/stat : 27450 (java) S 27433 27432 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 10 0 899995782 929718272 87317 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27451] ppid=27433 vsize=907928 CPUtime=0
/proc/27446/task/27451/stat : 27451 (java) S 27433 27432 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 899995785 929718272 87317 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27452] ppid=27433 vsize=907928 CPUtime=2.21
/proc/27446/task/27452/stat : 27452 (java) S 27433 27432 25521 34816 25544 4202560 6713 0 0 0 219 2 0 0 16 0 10 0 899995785 929718272 87317 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27453] ppid=27433 vsize=907928 CPUtime=1.07
/proc/27446/task/27453/stat : 27453 (java) S 27433 27432 25521 34816 25544 4202560 15007 0 0 0 104 3 0 0 25 0 10 0 899995785 929718272 87317 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27454] ppid=27433 vsize=907928 CPUtime=0
/proc/27446/task/27454/stat : 27454 (java) S 27433 27432 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 10 0 899995785 929718272 87317 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27455] ppid=27433 vsize=907928 CPUtime=0
/proc/27446/task/27455/stat : 27455 (java) S 27433 27432 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 899995785 929718272 87317 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 913080

[startup+12.7145 s]
/proc/loadavg: 1.12 1.12 0.91 2/50 27456
/proc/meminfo: memFree=125764/1048576 swapFree=2095372/2097144
[pid=27432] ppid=27431 vsize=2572 CPUtime=0
/proc/27432/stat : 27432 (p2cudf-user-1.1) S 27431 27432 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 899995776 2633728 273 1283457024 134512640 135304128 4293955776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27432/statm: 643 273 233 194 0 29 0
[pid=27433] ppid=27432 vsize=2580 CPUtime=0.03
/proc/27433/stat : 27433 (p2cudf) S 27432 27432 25521 34816 25544 4202496 393 2991 0 1 0 0 3 0 25 0 1 0 899995776 2641920 282 1283457024 134512640 135304128 4286956096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27433/statm: 645 282 241 194 0 31 0
[pid=27446] ppid=27433 vsize=907372 CPUtime=12.49
/proc/27446/stat : 27446 (java) S 27433 27432 25521 34816 25544 4202496 105219 0 1 0 1205 44 0 0 25 0 11 0 899995780 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27446/statm: 226843 96676 1792 10 0 223933 0
[pid=27446/tid=27447] ppid=27433 vsize=907372 CPUtime=6.9
/proc/27446/task/27447/stat : 27447 (java) R 27433 27432 25521 34816 25544 4202560 50453 0 1 0 664 26 0 0 25 0 11 0 899995780 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4097268391 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27446/tid=27448] ppid=27433 vsize=907372 CPUtime=0.82
/proc/27446/task/27448/stat : 27448 (java) S 27433 27432 25521 34816 25544 4202560 31753 0 0 0 72 10 0 0 15 0 11 0 899995782 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27449] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27449/stat : 27449 (java) S 27433 27432 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 899995782 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27450] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27450/stat : 27450 (java) S 27433 27432 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 899995782 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27451] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27451/stat : 27451 (java) S 27433 27432 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 899995785 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27452] ppid=27433 vsize=907372 CPUtime=3.67
/proc/27446/task/27452/stat : 27452 (java) S 27433 27432 25521 34816 25544 4202560 6891 0 0 0 363 4 0 0 15 0 11 0 899995785 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27453] ppid=27433 vsize=907372 CPUtime=1.07
/proc/27446/task/27453/stat : 27453 (java) S 27433 27432 25521 34816 25544 4202560 15007 0 0 0 104 3 0 0 25 0 11 0 899995785 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27454] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27454/stat : 27454 (java) S 27433 27432 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 11 0 899995785 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27455] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27455/stat : 27455 (java) S 27433 27432 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 899995785 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27456] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27456/stat : 27456 (java) S 27433 27432 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 899996625 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 912524

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

[startup+12.8145 s]
/proc/loadavg: 1.12 1.12 0.91 2/50 27456
/proc/meminfo: memFree=125764/1048576 swapFree=2095372/2097144
[pid=27432] ppid=27431 vsize=2572 CPUtime=0
/proc/27432/stat : 27432 (p2cudf-user-1.1) S 27431 27432 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 899995776 2633728 273 1283457024 134512640 135304128 4293955776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27432/statm: 643 273 233 194 0 29 0
[pid=27433] ppid=27432 vsize=2580 CPUtime=0.03
/proc/27433/stat : 27433 (p2cudf) S 27432 27432 25521 34816 25544 4202496 393 2991 0 1 0 0 3 0 25 0 1 0 899995776 2641920 282 1283457024 134512640 135304128 4286956096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27433/statm: 645 282 241 194 0 31 0
[pid=27446] ppid=27433 vsize=907372 CPUtime=12.59
/proc/27446/stat : 27446 (java) S 27433 27432 25521 34816 25544 4202496 105219 0 1 0 1215 44 0 0 25 0 11 0 899995780 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27446/statm: 226843 96676 1792 10 0 223933 0
[pid=27446/tid=27447] ppid=27433 vsize=907372 CPUtime=7
/proc/27446/task/27447/stat : 27447 (java) R 27433 27432 25521 34816 25544 4202560 50453 0 1 0 674 26 0 0 25 0 11 0 899995780 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4097236304 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27446/tid=27448] ppid=27433 vsize=907372 CPUtime=0.82
/proc/27446/task/27448/stat : 27448 (java) S 27433 27432 25521 34816 25544 4202560 31753 0 0 0 72 10 0 0 15 0 11 0 899995782 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27449] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27449/stat : 27449 (java) S 27433 27432 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 899995782 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27450] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27450/stat : 27450 (java) S 27433 27432 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 899995782 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27451] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27451/stat : 27451 (java) S 27433 27432 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 899995785 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27452] ppid=27433 vsize=907372 CPUtime=3.67
/proc/27446/task/27452/stat : 27452 (java) S 27433 27432 25521 34816 25544 4202560 6891 0 0 0 363 4 0 0 15 0 11 0 899995785 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27453] ppid=27433 vsize=907372 CPUtime=1.07
/proc/27446/task/27453/stat : 27453 (java) S 27433 27432 25521 34816 25544 4202560 15007 0 0 0 104 3 0 0 25 0 11 0 899995785 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27454] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27454/stat : 27454 (java) S 27433 27432 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 11 0 899995785 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27455] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27455/stat : 27455 (java) S 27433 27432 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 899995785 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27456] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27456/stat : 27456 (java) S 27433 27432 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 899996625 929148928 96676 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 912524

[startup+16.0053 s]
/proc/loadavg: 1.11 1.12 0.91 2/50 27456
/proc/meminfo: memFree=125764/1048576 swapFree=2095372/2097144
[pid=27432] ppid=27431 vsize=2572 CPUtime=0
/proc/27432/stat : 27432 (p2cudf-user-1.1) S 27431 27432 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 899995776 2633728 273 1283457024 134512640 135304128 4293955776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27432/statm: 643 273 233 194 0 29 0
[pid=27433] ppid=27432 vsize=2580 CPUtime=0.03
/proc/27433/stat : 27433 (p2cudf) S 27432 27432 25521 34816 25544 4202496 393 2991 0 1 0 0 3 0 25 0 1 0 899995776 2641920 282 1283457024 134512640 135304128 4286956096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27433/statm: 645 282 241 194 0 31 0
[pid=27446] ppid=27433 vsize=907372 CPUtime=15.78
/proc/27446/stat : 27446 (java) S 27433 27432 25521 34816 25544 4202496 105226 0 1 0 1534 44 0 0 25 0 11 0 899995780 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27446/statm: 226843 96683 1792 10 0 223933 0
[pid=27446/tid=27447] ppid=27433 vsize=907372 CPUtime=10.12
/proc/27446/task/27447/stat : 27447 (java) R 27433 27432 25521 34816 25544 4202560 50453 0 1 0 986 26 0 0 25 0 11 0 899995780 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4097334805 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27446/tid=27448] ppid=27433 vsize=907372 CPUtime=0.82
/proc/27446/task/27448/stat : 27448 (java) S 27433 27432 25521 34816 25544 4202560 31753 0 0 0 72 10 0 0 15 0 11 0 899995782 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27449] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27449/stat : 27449 (java) S 27433 27432 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 899995782 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27450] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27450/stat : 27450 (java) S 27433 27432 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 899995782 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27451] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27451/stat : 27451 (java) S 27433 27432 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 899995785 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27452] ppid=27433 vsize=907372 CPUtime=3.74
/proc/27446/task/27452/stat : 27452 (java) S 27433 27432 25521 34816 25544 4202560 6898 0 0 0 370 4 0 0 15 0 11 0 899995785 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27453] ppid=27433 vsize=907372 CPUtime=1.07
/proc/27446/task/27453/stat : 27453 (java) S 27433 27432 25521 34816 25544 4202560 15007 0 0 0 104 3 0 0 25 0 11 0 899995785 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27454] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27454/stat : 27454 (java) S 27433 27432 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 11 0 899995785 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27455] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27455/stat : 27455 (java) S 27433 27432 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 899995785 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27456] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27456/stat : 27456 (java) S 27433 27432 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 899996625 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.81
Current children cumulated vsize (KiB) 912524

[startup+16.8056 s]
/proc/loadavg: 1.11 1.12 0.91 2/50 27456
/proc/meminfo: memFree=125764/1048576 swapFree=2095372/2097144
[pid=27432] ppid=27431 vsize=2572 CPUtime=0
/proc/27432/stat : 27432 (p2cudf-user-1.1) S 27431 27432 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 899995776 2633728 273 1283457024 134512640 135304128 4293955776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27432/statm: 643 273 233 194 0 29 0
[pid=27433] ppid=27432 vsize=2580 CPUtime=0.03
/proc/27433/stat : 27433 (p2cudf) S 27432 27432 25521 34816 25544 4202496 393 2991 0 1 0 0 3 0 25 0 1 0 899995776 2641920 282 1283457024 134512640 135304128 4286956096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27433/statm: 645 282 241 194 0 31 0
[pid=27446] ppid=27433 vsize=907372 CPUtime=16.58
/proc/27446/stat : 27446 (java) S 27433 27432 25521 34816 25544 4202496 105226 0 1 0 1614 44 0 0 25 0 11 0 899995780 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27446/statm: 226843 96683 1792 10 0 223933 0
[pid=27446/tid=27447] ppid=27433 vsize=907372 CPUtime=10.92
/proc/27446/task/27447/stat : 27447 (java) R 27433 27432 25521 34816 25544 4202560 50453 0 1 0 1066 26 0 0 25 0 11 0 899995780 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4097334534 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27446/tid=27448] ppid=27433 vsize=907372 CPUtime=0.82
/proc/27446/task/27448/stat : 27448 (java) S 27433 27432 25521 34816 25544 4202560 31753 0 0 0 72 10 0 0 15 0 11 0 899995782 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27449] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27449/stat : 27449 (java) S 27433 27432 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 899995782 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27450] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27450/stat : 27450 (java) S 27433 27432 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 899995782 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27451] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27451/stat : 27451 (java) S 27433 27432 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 899995785 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27452] ppid=27433 vsize=907372 CPUtime=3.74
/proc/27446/task/27452/stat : 27452 (java) S 27433 27432 25521 34816 25544 4202560 6898 0 0 0 370 4 0 0 15 0 11 0 899995785 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27453] ppid=27433 vsize=907372 CPUtime=1.07
/proc/27446/task/27453/stat : 27453 (java) S 27433 27432 25521 34816 25544 4202560 15007 0 0 0 104 3 0 0 25 0 11 0 899995785 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27454] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27454/stat : 27454 (java) S 27433 27432 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 11 0 899995785 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27455] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27455/stat : 27455 (java) S 27433 27432 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 899995785 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27456] ppid=27433 vsize=907372 CPUtime=0
/proc/27446/task/27456/stat : 27456 (java) S 27433 27432 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 899996625 929148928 96683 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.61
Current children cumulated vsize (KiB) 912524

[startup+17.6053 s]
/proc/loadavg: 1.11 1.12 0.91 1/51 27457
/proc/meminfo: memFree=125756/1048576 swapFree=2095372/2097144
[pid=27432] ppid=27431 vsize=2572 CPUtime=0
/proc/27432/stat : 27432 (p2cudf-user-1.1) S 27431 27432 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 899995776 2633728 273 1283457024 134512640 135304128 4293955776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27432/statm: 643 273 233 194 0 29 0
[pid=27433] ppid=27432 vsize=2580 CPUtime=0.03
/proc/27433/stat : 27433 (p2cudf) S 27432 27432 25521 34816 25544 4202496 393 2991 0 1 0 0 3 0 25 0 1 0 899995776 2641920 282 1283457024 134512640 135304128 4286956096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27433/statm: 645 282 241 194 0 31 0
[pid=27446] ppid=27433 vsize=907696 CPUtime=16.98
/proc/27446/stat : 27446 (java) S 27433 27432 25521 34816 25544 4202496 105238 0 1 0 1654 44 0 0 25 0 12 0 899995780 929480704 96695 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27446/statm: 226924 96695 1792 10 0 224014 0
[pid=27446/tid=27447] ppid=27433 vsize=907696 CPUtime=11.31
/proc/27446/task/27447/stat : 27447 (java) S 27433 27432 25521 34816 25544 4202560 50460 0 1 0 1105 26 0 0 25 0 12 0 899995780 929480704 96695 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27448] ppid=27433 vsize=907696 CPUtime=0.82
/proc/27446/task/27448/stat : 27448 (java) S 27433 27432 25521 34816 25544 4202560 31753 0 0 0 72 10 0 0 15 0 12 0 899995782 929480704 96695 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27449] ppid=27433 vsize=907696 CPUtime=0
/proc/27446/task/27449/stat : 27449 (java) S 27433 27432 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 12 0 899995782 929480704 96695 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27450] ppid=27433 vsize=907696 CPUtime=0
/proc/27446/task/27450/stat : 27450 (java) S 27433 27432 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 12 0 899995782 929480704 96695 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27451] ppid=27433 vsize=907696 CPUtime=0
/proc/27446/task/27451/stat : 27451 (java) S 27433 27432 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 899995785 929480704 96695 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27452] ppid=27433 vsize=907696 CPUtime=3.75
/proc/27446/task/27452/stat : 27452 (java) S 27433 27432 25521 34816 25544 4202560 6899 0 0 0 371 4 0 0 16 0 12 0 899995785 929480704 96695 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27453] ppid=27433 vsize=907696 CPUtime=1.07
/proc/27446/task/27453/stat : 27453 (java) S 27433 27432 25521 34816 25544 4202560 15007 0 0 0 104 3 0 0 25 0 12 0 899995785 929480704 96695 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27454] ppid=27433 vsize=907696 CPUtime=0
/proc/27446/task/27454/stat : 27454 (java) S 27433 27432 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 12 0 899995785 929480704 96695 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27455] ppid=27433 vsize=907696 CPUtime=0
/proc/27446/task/27455/stat : 27455 (java) S 27433 27432 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 899995785 929480704 96695 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27456] ppid=27433 vsize=907696 CPUtime=0
/proc/27446/task/27456/stat : 27456 (java) S 27433 27432 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 899996625 929480704 96695 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27457] ppid=27433 vsize=907696 CPUtime=0
/proc/27446/task/27457/stat : 27457 (java) S 27433 27432 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 899997496 929480704 96695 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.01
Current children cumulated vsize (KiB) 912848

[startup+17.8074 s]
/proc/loadavg: 1.11 1.12 0.91 1/51 27457
/proc/meminfo: memFree=125756/1048576 swapFree=2095372/2097144
[pid=27432] ppid=27431 vsize=2572 CPUtime=0
/proc/27432/stat : 27432 (p2cudf-user-1.1) S 27431 27432 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 899995776 2633728 273 1283457024 134512640 135304128 4293955776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27432/statm: 643 273 233 194 0 29 0
[pid=27433] ppid=27432 vsize=2580 CPUtime=0.03
/proc/27433/stat : 27433 (p2cudf) S 27432 27432 25521 34816 25544 4202496 393 2991 0 1 0 0 3 0 25 0 1 0 899995776 2641920 282 1283457024 134512640 135304128 4286956096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27433/statm: 645 282 241 194 0 31 0
[pid=27446] ppid=27433 vsize=907696 CPUtime=17.07
/proc/27446/stat : 27446 (java) S 27433 27432 25521 34816 25544 4202496 105242 0 1 0 1660 47 0 0 25 0 12 0 899995780 929480704 96699 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27446/statm: 226924 96699 1792 10 0 224014 0
[pid=27446/tid=27447] ppid=27433 vsize=907696 CPUtime=11.31
/proc/27446/task/27447/stat : 27447 (java) S 27433 27432 25521 34816 25544 4202560 50460 0 1 0 1105 26 0 0 25 0 12 0 899995780 929480704 96699 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27448] ppid=27433 vsize=907696 CPUtime=0.82
/proc/27446/task/27448/stat : 27448 (java) S 27433 27432 25521 34816 25544 4202560 31753 0 0 0 72 10 0 0 15 0 12 0 899995782 929480704 96699 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27449] ppid=27433 vsize=907696 CPUtime=0
/proc/27446/task/27449/stat : 27449 (java) S 27433 27432 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 12 0 899995782 929480704 96699 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27450] ppid=27433 vsize=907696 CPUtime=0
/proc/27446/task/27450/stat : 27450 (java) S 27433 27432 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 12 0 899995782 929480704 96699 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27451] ppid=27433 vsize=907696 CPUtime=0
/proc/27446/task/27451/stat : 27451 (java) S 27433 27432 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 899995785 929480704 96699 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27452] ppid=27433 vsize=907696 CPUtime=3.78
/proc/27446/task/27452/stat : 27452 (java) S 27433 27432 25521 34816 25544 4202560 6902 0 0 0 374 4 0 0 15 0 12 0 899995785 929480704 96699 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27453] ppid=27433 vsize=907696 CPUtime=1.07
/proc/27446/task/27453/stat : 27453 (java) S 27433 27432 25521 34816 25544 4202560 15007 0 0 0 104 3 0 0 25 0 12 0 899995785 929480704 96699 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27454] ppid=27433 vsize=907696 CPUtime=0
/proc/27446/task/27454/stat : 27454 (java) S 27433 27432 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 12 0 899995785 929480704 96699 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27455] ppid=27433 vsize=907696 CPUtime=0
/proc/27446/task/27455/stat : 27455 (java) S 27433 27432 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 899995785 929480704 96699 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27456] ppid=27433 vsize=907696 CPUtime=0
/proc/27446/task/27456/stat : 27456 (java) S 27433 27432 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 899996625 929480704 96699 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27457] ppid=27433 vsize=907696 CPUtime=0.07
/proc/27446/task/27457/stat : 27457 (java) R 27433 27432 25521 34816 25544 4202560 5 0 0 0 4 3 0 0 20 0 12 0 899997496 929480704 96699 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.1
Current children cumulated vsize (KiB) 912848

[startup+17.9054 s]
/proc/loadavg: 1.11 1.12 0.91 1/51 27457
/proc/meminfo: memFree=125756/1048576 swapFree=2095372/2097144
[pid=27432] ppid=27431 vsize=2572 CPUtime=0
/proc/27432/stat : 27432 (p2cudf-user-1.1) S 27431 27432 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 899995776 2633728 273 1283457024 134512640 135304128 4293955776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27432/statm: 643 273 233 194 0 29 0
[pid=27433] ppid=27432 vsize=2580 CPUtime=0.03
/proc/27433/stat : 27433 (p2cudf) S 27432 27432 25521 34816 25544 4202496 393 2991 0 1 0 0 3 0 25 0 1 0 899995776 2641920 282 1283457024 134512640 135304128 4286956096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27433/statm: 645 282 241 194 0 31 0
[pid=27446] ppid=27433 vsize=907696 CPUtime=17.16
/proc/27446/stat : 27446 (java) S 27433 27432 25521 34816 25544 4202496 105249 0 1 0 1666 50 0 0 25 0 11 0 899995780 929480704 96706 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27446/statm: 226924 96706 1792 10 0 224014 0
[pid=27446/tid=27447] ppid=27433 vsize=907696 CPUtime=11.31
/proc/27446/task/27447/stat : 27447 (java) S 27433 27432 25521 34816 25544 4202560 50460 0 1 0 1105 26 0 0 19 0 11 0 899995780 929480704 96706 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27448] ppid=27433 vsize=907696 CPUtime=0.82
/proc/27446/task/27448/stat : 27448 (java) S 27433 27432 25521 34816 25544 4202560 31753 0 0 0 72 10 0 0 15 0 11 0 899995782 929480704 96706 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27449] ppid=27433 vsize=907696 CPUtime=0
/proc/27446/task/27449/stat : 27449 (java) S 27433 27432 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 899995782 929480704 96706 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27450] ppid=27433 vsize=907696 CPUtime=0
/proc/27446/task/27450/stat : 27450 (java) S 27433 27432 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 899995782 929480704 96706 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27451] ppid=27433 vsize=907696 CPUtime=0
/proc/27446/task/27451/stat : 27451 (java) S 27433 27432 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 899995785 929480704 96706 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27452] ppid=27433 vsize=907696 CPUtime=3.82
/proc/27446/task/27452/stat : 27452 (java) S 27433 27432 25521 34816 25544 4202560 6908 0 0 0 378 4 0 0 15 0 11 0 899995785 929480704 96706 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27453] ppid=27433 vsize=907696 CPUtime=1.07
/proc/27446/task/27453/stat : 27453 (java) S 27433 27432 25521 34816 25544 4202560 15007 0 0 0 104 3 0 0 25 0 11 0 899995785 929480704 96706 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27454] ppid=27433 vsize=907696 CPUtime=0
/proc/27446/task/27454/stat : 27454 (java) S 27433 27432 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 11 0 899995785 929480704 96706 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27455] ppid=27433 vsize=907696 CPUtime=0
/proc/27446/task/27455/stat : 27455 (java) S 27433 27432 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 899995785 929480704 96706 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27446/tid=27456] ppid=27433 vsize=907696 CPUtime=0
/proc/27446/task/27456/stat : 27456 (java) S 27433 27432 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 899996625 929480704 96706 1283457024 134512640 134550932 4291163360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.19
Current children cumulated vsize (KiB) 912848

Child status: 0
Real time (s): 17.9836
CPU time (s): 17.2451
CPU user time (s): 16.701
CPU system time (s): 0.544034
CPU usage (%): 95.8933
Max. virtual memory (cumulated for all children) (KiB): 918624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.701
system time used= 0.544034
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109031
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= 1242
involuntary context switches= 1401

runsolver used 0 second user time and 0.008 second system time

The end