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-3687670-1337873061/watcher-3687670-1337873061 -o /tmp/evaluation-result-3687670-1337873061/solver-3687670-1337873061 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687670-1337873061.opb
running on 4 cores: 0,2,4,6
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: 3.50 3.48 2.50 3/197 25477
/proc/meminfo: memFree=27997724/32873648 swapFree=6856/6856
[pid=25477] ppid=25475 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/25477/stat : 25477 (runsolver) D 25475 25477 24583 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 253431561 12095488 50 33554432000 4194304 5436572 140733675655216 140733675651512 4883175 0 0 4096 24578 18446744071579943789 0 0 17 6 0 0 0 0 0
/proc/25477/statm: 2953 50 31 304 0 2645 0
[startup+0.010027 s]
/proc/loadavg: 3.50 3.48 2.50 3/197 25477
/proc/meminfo: memFree=27997724/32873648 swapFree=6856/6856
[pid=25477] ppid=25475 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/25477/stat : 25477 (java) D 25475 25477 24583 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 253431561 278528 33 33554432000 1073741824 1073778376 140735913957472 140735913954648 270698376487 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/25477/statm: 68 33 25 9 0 25 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 272
[startup+0.100248 s]
/proc/loadavg: 3.50 3.48 2.50 3/197 25477
/proc/meminfo: memFree=27997724/32873648 swapFree=6856/6856
[pid=25477] ppid=25475 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/25477/stat : 25477 (java) S 25475 25477 24583 0 -1 4202496 3653 0 1 0 6 0 0 0 20 0 18 0 253431561 9787813888 4862 33554432000 1073741824 1073778376 140736547438496 140736547429632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25477/statm: 2389603 4866 1932 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412
[startup+0.300205 s]
/proc/loadavg: 3.50 3.48 2.50 3/197 25477
/proc/meminfo: memFree=27997724/32873648 swapFree=6856/6856
[pid=25477] ppid=25475 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/25477/stat : 25477 (java) S 25475 25477 24583 0 -1 4202496 4559 0 1 0 13 1 0 0 20 0 19 0 253431561 10060460032 6699 33554432000 1073741824 1073778376 140736547438496 140736547429632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25477/statm: 2456167 6699 2157 9 0 2446860 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 9824668
[startup+0.700168 s]
/proc/loadavg: 3.50 3.48 2.50 3/197 25477
/proc/meminfo: memFree=27997724/32873648 swapFree=6856/6856
[pid=25477] ppid=25475 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/25477/stat : 25477 (java) S 25475 25477 24583 0 -1 4202496 4626 0 1 0 14 1 0 0 20 0 19 0 253431561 10060460032 7760 33554432000 1073741824 1073778376 140736547438496 140736547429632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25477/statm: 2456167 7760 2157 9 0 2446860 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 9824668
[startup+1.50057 s]
/proc/loadavg: 3.50 3.48 2.50 3/216 25502
/proc/meminfo: memFree=27975360/32873648 swapFree=6856/6856
[pid=25477] ppid=25475 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/25477/stat : 25477 (java) S 25475 25477 24583 0 -1 4202496 4634 0 1 0 14 1 0 0 20 0 20 0 253431561 10060460032 8786 33554432000 1073741824 1073778376 140736547438496 140736547429632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25477/statm: 2456167 8786 2157 9 0 2446860 0
[pid=25477/tid=25479] ppid=25475 vsize=9824668 CPUtime=0.11 cores=0,2,4,6
/proc/25477/task/25479/stat : 25479 (java) S 25475 25477 24583 0 -1 4202560 2439 0 1 0 11 0 0 0 20 0 20 0 253431563 10060460032 8786 33554432000 1073741824 1073778376 140736547438496 140002567848952 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25477/tid=25480] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25480/stat : 25480 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253431564 10060460032 8786 33554432000 1073741824 1073778376 140736547438496 140002529339816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25477/tid=25481] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25481/stat : 25481 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253431564 10060460032 8786 33554432000 1073741824 1073778376 140736547438496 140002528287272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25477/tid=25482] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25482/stat : 25482 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253431564 10060460032 8786 33554432000 1073741824 1073778376 140736547438496 140002527234216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25477/tid=25483] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25483/stat : 25483 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253431564 10060460032 8786 33554432000 1073741824 1073778376 140736547438496 140002526181672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25477/tid=25484] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25484/stat : 25484 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253431564 10060460032 8786 33554432000 1073741824 1073778376 140736547438496 140002525129640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25477/tid=25485] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25485/stat : 25485 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253431564 10060460032 8786 33554432000 1073741824 1073778376 140736547438496 140002524077096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25477/tid=25486] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25486/stat : 25486 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253431564 10060460032 8786 33554432000 1073741824 1073778376 140736547438496 140002523024040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25477/tid=25487] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25487/stat : 25487 (java) S 25475 25477 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 253431564 10060460032 8786 33554432000 1073741824 1073778376 140736547438496 140002521971496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25477/tid=25488] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25488/stat : 25488 (java) S 25475 25477 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 253431565 10060460032 8786 33554432000 1073741824 1073778376 140736547438496 140002391472488 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25477/tid=25489] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25489/stat : 25489 (java) S 25475 25477 24583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 253431566 10060460032 8786 33554432000 1073741824 1073778376 140736547438496 140002390418808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25477/tid=25490] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25490/stat : 25490 (java) S 25475 25477 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253431566 10060460032 8786 33554432000 1073741824 1073778376 140736547438496 140002389365640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25477/tid=25491] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25491/stat : 25491 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253431568 10060460032 8786 33554432000 1073741824 1073778376 140736547438496 140002388314384 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25477/tid=25492] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25492/stat : 25492 (java) S 25475 25477 24583 0 -1 4202560 351 0 0 0 0 0 0 0 20 0 20 0 253431568 10060460032 8786 33554432000 1073741824 1073778376 140736547438496 140002387262264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25477/tid=25493] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25493/stat : 25493 (java) S 25475 25477 24583 0 -1 4202560 529 0 0 0 0 0 0 0 20 0 20 0 253431568 10060460032 8786 33554432000 1073741824 1073778376 140736547438496 140002386209720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25477/tid=25494] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25494/stat : 25494 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253431568 10060460032 8786 33554432000 1073741824 1073778376 140736547438496 140002385156856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25477/tid=25495] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25495/stat : 25495 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253431568 10060460032 8786 33554432000 1073741824 1073778376 140736547438496 140002384104520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25477/tid=25502] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25502/stat : 25502 (java) S 25475 25477 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 253431626 10060460032 8786 33554432000 1073741824 1073778376 140736547438496 140002379892008 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+1.90061 s]
/proc/loadavg: 3.50 3.48 2.50 3/216 25502
/proc/meminfo: memFree=27975360/32873648 swapFree=6856/6856
[pid=25477] ppid=25475 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/25477/stat : 25477 (java) S 25475 25477 24583 0 -1 4202496 4642 0 1 0 14 1 0 0 20 0 19 0 253431561 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140736547429632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25477/statm: 2456167 9808 2157 9 0 2446860 0
[pid=25477/tid=25479] ppid=25475 vsize=9824668 CPUtime=0.11 cores=0,2,4,6
/proc/25477/task/25479/stat : 25479 (java) S 25475 25477 24583 0 -1 4202560 2439 0 1 0 11 0 0 0 20 0 19 0 253431563 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002567848952 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25477/tid=25480] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25480/stat : 25480 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431564 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002529339816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25477/tid=25481] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25481/stat : 25481 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431564 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002528287272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25477/tid=25482] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25482/stat : 25482 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431564 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002527234216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25477/tid=25483] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25483/stat : 25483 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431564 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002526181672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25477/tid=25484] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25484/stat : 25484 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431564 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002525129640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25477/tid=25485] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25485/stat : 25485 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431564 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002524077096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25477/tid=25486] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25486/stat : 25486 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431564 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002523024040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25477/tid=25487] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25487/stat : 25487 (java) S 25475 25477 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253431564 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002521971496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25477/tid=25488] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25488/stat : 25488 (java) S 25475 25477 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253431565 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002391472488 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25477/tid=25489] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25489/stat : 25489 (java) S 25475 25477 24583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253431566 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002390418808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25477/tid=25490] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25490/stat : 25490 (java) S 25475 25477 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253431566 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002389365640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25477/tid=25491] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25491/stat : 25491 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431568 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002388314384 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25477/tid=25492] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25492/stat : 25492 (java) S 25475 25477 24583 0 -1 4202560 351 0 0 0 0 0 0 0 20 0 19 0 253431568 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002387262264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25477/tid=25493] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25493/stat : 25493 (java) S 25475 25477 24583 0 -1 4202560 529 0 0 0 0 0 0 0 20 0 19 0 253431568 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002386209720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25477/tid=25494] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25494/stat : 25494 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431568 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002385156856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25477/tid=25495] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25495/stat : 25495 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431568 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002384104520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25477/tid=25502] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25502/stat : 25502 (java) S 25475 25477 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253431626 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002379892008 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 9824668
[startup+2.10062 s]
/proc/loadavg: 3.38 3.45 2.49 3/216 25507
/proc/meminfo: memFree=27966400/32873648 swapFree=6856/6856
[pid=25477] ppid=25475 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/25477/stat : 25477 (java) S 25475 25477 24583 0 -1 4202496 4642 0 1 0 14 1 0 0 20 0 19 0 253431561 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140736547429632 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25477/statm: 2456167 9808 2157 9 0 2446860 0
[pid=25477/tid=25479] ppid=25475 vsize=9824668 CPUtime=0.11 cores=0,2,4,6
/proc/25477/task/25479/stat : 25479 (java) S 25475 25477 24583 0 -1 4202560 2439 0 1 0 11 0 0 0 20 0 19 0 253431563 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002567848952 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25477/tid=25480] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25480/stat : 25480 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431564 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002529339816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25477/tid=25481] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25481/stat : 25481 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431564 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002528287272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25477/tid=25482] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25482/stat : 25482 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431564 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002527234216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25477/tid=25483] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25483/stat : 25483 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431564 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002526181672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25477/tid=25484] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25484/stat : 25484 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431564 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002525129640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25477/tid=25485] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25485/stat : 25485 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431564 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002524077096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25477/tid=25486] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25486/stat : 25486 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431564 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002523024040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25477/tid=25487] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25487/stat : 25487 (java) S 25475 25477 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253431564 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002521971496 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25477/tid=25488] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25488/stat : 25488 (java) S 25475 25477 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253431565 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002391472488 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25477/tid=25489] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25489/stat : 25489 (java) S 25475 25477 24583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253431566 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002390418808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25477/tid=25490] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25490/stat : 25490 (java) S 25475 25477 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253431566 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002389365640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25477/tid=25491] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25491/stat : 25491 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431568 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002388314384 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25477/tid=25492] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25492/stat : 25492 (java) S 25475 25477 24583 0 -1 4202560 351 0 0 0 0 0 0 0 20 0 19 0 253431568 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002387262264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25477/tid=25493] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25493/stat : 25493 (java) S 25475 25477 24583 0 -1 4202560 529 0 0 0 0 0 0 0 20 0 19 0 253431568 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002386209720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25477/tid=25494] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25494/stat : 25494 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431568 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002385156856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25477/tid=25495] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25495/stat : 25495 (java) S 25475 25477 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431568 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002384104520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25477/tid=25502] ppid=25475 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25477/task/25502/stat : 25502 (java) S 25475 25477 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253431626 10060460032 9808 33554432000 1073741824 1073778376 140736547438496 140002379892008 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 9824668
Child status: 30
Real time (s): 2.16119
CPU time (s): 0.173973
CPU user time (s): 0.141978
CPU system time (s): 0.031995
CPU usage (%): 8.04989
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.141978
system time used= 0.031995
maximum resident set size= 41316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4654
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 296
involuntary context switches= 11
runsolver used 0.011998 second user time and 0.018997 second system time
The end