runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687204-1337871882/watcher-3687204-1337871882 -o /tmp/evaluation-result-3687204-1337871882/solver-3687204-1337871882 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687204-1337871882.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 4/175 20546
/proc/meminfo: memFree=29030120/32873844 swapFree=6856/6856
[pid=20546] ppid=20542 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/20546/stat : 20546 (runsolver) D 20542 20546 20503 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 253316716 12095488 51 33554432000 4194304 5436572 140734597329840 140734597326136 4883175 0 0 4096 24578 18446744071579943789 0 0 17 3 0 0 0 0 0
/proc/20546/statm: 2953 51 31 304 0 2645 0
[startup+0.0650049 s]
/proc/loadavg: 0.00 0.00 0.00 4/175 20546
/proc/meminfo: memFree=29030120/32873844 swapFree=6856/6856
[pid=20546] ppid=20542 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/20546/stat : 20546 (java) R 20542 20546 20503 0 -1 4202496 79 0 0 0 0 0 0 0 20 0 1 0 253316716 278528 33 33554432000 1073741824 1073778376 140733246682384 140733246679560 270109076775 0 0 4096 0 0 0 0 17 5 0 0 1 0 0
/proc/20546/statm: 68 33 25 9 0 25 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 272
[startup+0.100299 s]
/proc/loadavg: 0.00 0.00 0.00 4/175 20546
/proc/meminfo: memFree=29030120/32873844 swapFree=6856/6856
[pid=20546] ppid=20542 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/20546/stat : 20546 (java) R 20542 20546 20503 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 253316716 9515008 185 33554432000 1073741824 1073778376 140733246682384 140733246673608 270118055351 0 0 4096 0 0 0 0 17 5 0 0 1 0 0
/proc/20546/statm: 2323 185 142 9 0 71 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9292
[startup+0.300259 s]
/proc/loadavg: 0.00 0.00 0.00 4/175 20546
/proc/meminfo: memFree=29030120/32873844 swapFree=6856/6856
[pid=20546] ppid=20542 vsize=23236 CPUtime=0.01 cores=1,3,5,7
/proc/20546/stat : 20546 (java) D 20542 20546 20503 0 -1 4202496 1019 0 4 0 0 1 0 0 20 0 1 0 253316716 23793664 751 33554432000 1073741824 1073778376 140733508454256 140733508444248 139690406483952 0 0 4096 0 18446744071579943789 0 0 17 1 0 0 15 0 0
/proc/20546/statm: 5809 751 551 9 0 128 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 23236
[startup+0.700242 s]
/proc/loadavg: 0.00 0.00 0.00 4/175 20546
/proc/meminfo: memFree=29030120/32873844 swapFree=6856/6856
[pid=20546] ppid=20542 vsize=9225560 CPUtime=0.04 cores=1,3,5,7
/proc/20546/stat : 20546 (java) S 20542 20546 20503 0 -1 4202496 2991 0 21 0 2 2 0 0 20 0 13 0 253316716 9446973440 3709 33554432000 1073741824 1073778376 140733508454256 140733508445392 270121599037 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 26 0 0
/proc/20546/statm: 2306390 3709 1690 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560
Solver just ended. Dumping a history of the last processes samples
[startup+1.10734 s]
/proc/loadavg: 0.00 0.00 0.00 6/215 20586
/proc/meminfo: memFree=28976656/32873844 swapFree=6856/6856
[pid=20546] ppid=20542 vsize=9824668 CPUtime=0.64 cores=1,3,5,7
/proc/20546/stat : 20546 (java) S 20542 20546 20503 0 -1 4202496 6904 0 21 0 60 4 0 0 20 0 22 0 253316716 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 140733508445392 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 26 0 0
/proc/20546/statm: 2456167 8601 2231 9 0 2446860 0
[pid=20546/tid=20549] ppid=20542 vsize=9824668 CPUtime=0.17 cores=1,3,5,7
/proc/20546/task/20549/stat : 20549 (java) S 20542 20546 20503 0 -1 4202560 2448 0 5 0 15 2 0 0 20 0 22 0 253316756 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 139690399441912 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 27 0 0
[pid=20546/tid=20554] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20554/stat : 20554 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316770 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 139690242947880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20556] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20556/stat : 20556 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316770 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 139690241895080 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20546/tid=20558] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20558/stat : 20558 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316770 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 139690240842792 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20546/tid=20560] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20560/stat : 20560 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316770 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 139690239789992 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20546/tid=20562] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20562/stat : 20562 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316770 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 139690238736680 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20564] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20564/stat : 20564 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316770 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 139690237683880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20546/tid=20565] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20565/stat : 20565 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316770 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 139690236631592 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20566] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20566/stat : 20566 (java) S 20542 20546 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253316770 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 139690235578792 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20567] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20567/stat : 20567 (java) S 20542 20546 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253316777 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 139690223381224 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20569] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20569/stat : 20569 (java) S 20542 20546 20503 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253316783 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 139690222327288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20571] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20571/stat : 20571 (java) S 20542 20546 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253316783 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 139690221274888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20574] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20574/stat : 20574 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316794 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 139690220223376 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20576] ppid=20542 vsize=9824668 CPUtime=0.11 cores=1,3,5,7
/proc/20546/task/20576/stat : 20576 (java) R 20542 20546 20503 0 -1 4202560 1687 0 0 0 11 0 0 0 20 0 22 0 253316794 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 139690219169816 139690406427524 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20579] ppid=20542 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/20546/task/20579/stat : 20579 (java) R 20542 20546 20503 0 -1 4202560 1490 0 0 0 10 0 0 0 20 0 22 0 253316794 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 139690218116592 139690403558840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20546/tid=20581] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20581/stat : 20581 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316794 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 139690217065080 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20546/tid=20582] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20582/stat : 20582 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316794 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 139690216012488 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20546/tid=20583] ppid=20542 vsize=9824668 CPUtime=0.09 cores=1,3,5,7
/proc/20546/task/20583/stat : 20583 (java) R 20542 20546 20503 0 -1 4202560 27 0 0 0 9 0 0 0 20 0 22 0 253316814 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 139690214957672 139690402726807 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=20546/tid=20584] ppid=20542 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/20546/task/20584/stat : 20584 (java) R 20542 20546 20503 0 -1 4202560 70 0 0 0 8 0 0 0 20 0 22 0 253316814 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 139690213902656 139690271413703 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20546/tid=20585] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20585/stat : 20585 (java) S 20542 20546 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253316815 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 139690212853416 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20546/tid=20586] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20586/stat : 20586 (java) S 20542 20546 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253316815 10060460032 8601 33554432000 1073741824 1073778376 140733508454256 139690211800616 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 9824668
[startup+1.30076 s]
/proc/loadavg: 0.00 0.00 0.00 6/215 20586
/proc/meminfo: memFree=28976656/32873844 swapFree=6856/6856
[pid=20546] ppid=20542 vsize=9824668 CPUtime=1.41 cores=1,3,5,7
/proc/20546/stat : 20546 (java) S 20542 20546 20503 0 -1 4202496 13633 0 21 0 135 6 0 0 20 0 22 0 253316716 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 140733508445392 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 26 0 0
/proc/20546/statm: 2456167 16011 2237 9 0 2446860 0
[pid=20546/tid=20549] ppid=20542 vsize=9824668 CPUtime=0.17 cores=1,3,5,7
/proc/20546/task/20549/stat : 20549 (java) S 20542 20546 20503 0 -1 4202560 2448 0 5 0 15 2 0 0 20 0 22 0 253316756 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 139690399441912 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 27 0 0
[pid=20546/tid=20554] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20554/stat : 20554 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316770 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 139690242947880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20556] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20556/stat : 20556 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316770 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 139690241895080 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20546/tid=20558] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20558/stat : 20558 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316770 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 139690240842792 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20546/tid=20560] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20560/stat : 20560 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316770 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 139690239789992 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20546/tid=20562] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20562/stat : 20562 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316770 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 139690238736680 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20564] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20564/stat : 20564 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316770 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 139690237683880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20546/tid=20565] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20565/stat : 20565 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316770 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 139690236631592 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20566] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20566/stat : 20566 (java) S 20542 20546 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253316770 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 139690235578792 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20567] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20567/stat : 20567 (java) S 20542 20546 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253316777 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 139690223381224 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20569] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20569/stat : 20569 (java) S 20542 20546 20503 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253316783 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 139690222327288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20571] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20571/stat : 20571 (java) S 20542 20546 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253316783 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 139690221274888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20574] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20574/stat : 20574 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316794 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 139690220223376 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20576] ppid=20542 vsize=9824668 CPUtime=0.3 cores=1,3,5,7
/proc/20546/task/20576/stat : 20576 (java) R 20542 20546 20503 0 -1 4202560 6279 0 0 0 29 1 0 0 20 0 22 0 253316794 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 139690219147496 139690406428089 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20579] ppid=20542 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/20546/task/20579/stat : 20579 (java) R 20542 20546 20503 0 -1 4202560 3620 0 0 0 29 0 0 0 20 0 22 0 253316794 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 139690218116744 139690403020225 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20546/tid=20581] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20581/stat : 20581 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316794 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 139690217065080 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20546/tid=20582] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20582/stat : 20582 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316794 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 139690216012488 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20546/tid=20583] ppid=20542 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/20546/task/20583/stat : 20583 (java) R 20542 20546 20503 0 -1 4202560 30 0 0 0 29 0 0 0 20 0 22 0 253316814 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 139690214957672 139690402726778 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=20546/tid=20584] ppid=20542 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/20546/task/20584/stat : 20584 (java) R 20542 20546 20503 0 -1 4202560 74 0 0 0 27 0 0 0 20 0 22 0 253316814 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 139690213902656 139690271402458 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20546/tid=20585] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20585/stat : 20585 (java) S 20542 20546 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253316815 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 139690212853416 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20546/tid=20586] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20586/stat : 20586 (java) S 20542 20546 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253316815 10060460032 16011 33554432000 1073741824 1073778376 140733508454256 139690211800616 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 9824668
[startup+1.40081 s]
/proc/loadavg: 0.00 0.00 0.00 6/215 20586
/proc/meminfo: memFree=28976656/32873844 swapFree=6856/6856
[pid=20546] ppid=20542 vsize=9824668 CPUtime=1.67 cores=1,3,5,7
/proc/20546/stat : 20546 (java) S 20542 20546 20503 0 -1 4202496 16180 0 21 0 159 8 0 0 20 0 19 0 253316716 10060460032 17391 33554432000 1073741824 1073778376 140733508454256 140733508445392 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 26 0 0
/proc/20546/statm: 2456167 17391 2242 9 0 2446860 0
[pid=20546/tid=20549] ppid=20542 vsize=9824668 CPUtime=0.17 cores=1,3,5,7
/proc/20546/task/20549/stat : 20549 (java) S 20542 20546 20503 0 -1 4202560 2448 0 5 0 15 2 0 0 20 0 19 0 253316756 10060460032 17391 33554432000 1073741824 1073778376 140733508454256 139690399441912 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 27 0 0
[pid=20546/tid=20554] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20554/stat : 20554 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316770 10060460032 17391 33554432000 1073741824 1073778376 140733508454256 139690242947880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20556] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20556/stat : 20556 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316770 10060460032 17391 33554432000 1073741824 1073778376 140733508454256 139690241895080 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20546/tid=20558] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20558/stat : 20558 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316770 10060460032 17391 33554432000 1073741824 1073778376 140733508454256 139690240842792 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20546/tid=20560] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20560/stat : 20560 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316770 10060460032 17391 33554432000 1073741824 1073778376 140733508454256 139690239789992 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20546/tid=20562] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20562/stat : 20562 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316770 10060460032 17391 33554432000 1073741824 1073778376 140733508454256 139690238736680 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20564] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20564/stat : 20564 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316770 10060460032 17391 33554432000 1073741824 1073778376 140733508454256 139690237683880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20546/tid=20565] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20565/stat : 20565 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316770 10060460032 17391 33554432000 1073741824 1073778376 140733508454256 139690236631592 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20566] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20566/stat : 20566 (java) S 20542 20546 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253316770 10060460032 17391 33554432000 1073741824 1073778376 140733508454256 139690235578792 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20567] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20567/stat : 20567 (java) S 20542 20546 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253316777 10060460032 17391 33554432000 1073741824 1073778376 140733508454256 139690223381224 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20569] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20569/stat : 20569 (java) S 20542 20546 20503 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253316783 10060460032 17391 33554432000 1073741824 1073778376 140733508454256 139690222327288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20571] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20571/stat : 20571 (java) S 20542 20546 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253316783 10060460032 17391 33554432000 1073741824 1073778376 140733508454256 139690221274888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20574] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20574/stat : 20574 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316794 10060460032 17391 33554432000 1073741824 1073778376 140733508454256 139690220223376 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20576] ppid=20542 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/20546/task/20576/stat : 20576 (java) R 20542 20546 20503 0 -1 4202560 6952 0 0 0 39 1 0 0 20 0 19 0 253316794 10060460032 17391 33554432000 1073741824 1073778376 140733508454256 139690219147496 139690402141640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20546/tid=20579] ppid=20542 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/20546/task/20579/stat : 20579 (java) R 20542 20546 20503 0 -1 4202560 5490 0 0 0 39 0 0 0 20 0 19 0 253316794 10060460032 17391 33554432000 1073741824 1073778376 140733508454256 139690218104576 139690405468321 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20546/tid=20581] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20581/stat : 20581 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316794 10060460032 17391 33554432000 1073741824 1073778376 140733508454256 139690217065080 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20546/tid=20582] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20582/stat : 20582 (java) S 20542 20546 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316794 10060460032 17391 33554432000 1073741824 1073778376 140733508454256 139690216012488 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20546/tid=20586] ppid=20542 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20546/task/20586/stat : 20586 (java) S 20542 20546 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253316815 10060460032 17391 33554432000 1073741824 1073778376 140733508454256 139690211800616 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 9824668
Child status: 10
Real time (s): 1.49594
CPU time (s): 1.80572
CPU user time (s): 1.69974
CPU system time (s): 0.105983
CPU usage (%): 120.709
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.69974
system time used= 0.105983
maximum resident set size= 70216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16866
page faults= 21
swaps= 0
block input operations= 9624
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 603
involuntary context switches= 48
runsolver used 0.000999 second user time and 0.016997 second system time
The end