runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4109464-1466343644/watcher-4109464-1466343644 -o /tmp/evaluation-result-4109464-1466343644/solver-4109464-1466343644 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466341824-18889 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4109464-1466343644.wbo
pid=19433
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: 2.15 2.09 1.76 3/195 19436
/proc/meminfo: memFree=30878332/32872528 swapFree=526336/559040
[pid=19436] ppid=19433 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/19436/stat : 19436 (java) S 19433 19436 18872 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 36414522 98570240 977 33554432000 1073741824 1073778376 140734627670672 140734627661808 270121599037 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19436/statm: 24065 977 743 9 0 16771 0
[pid=19436/tid=19437] ppid=19433 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19437/stat : 19437 (java) R 19433 19436 18872 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 36414522 98570240 978 33554432000 1073741824 1073778376 140734627670672 139793022803496 270118241664 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100162 s]
/proc/loadavg: 2.15 2.09 1.76 3/195 19436
/proc/meminfo: memFree=30878332/32872528 swapFree=526336/559040
[pid=19436] ppid=19433 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/19436/stat : 19436 (java) S 19433 19436 18872 0 -1 4202496 4498 0 1 0 10 1 0 0 20 0 18 0 36414522 9787879424 6131 33554432000 1073741824 1073778376 140734627670672 140734627661808 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19436/statm: 2389619 6131 2157 9 0 2380296 0
[pid=19436/tid=19437] ppid=19433 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/19436/task/19437/stat : 19437 (java) R 19433 19436 18872 0 -1 4202560 2380 0 1 0 6 1 0 0 20 0 18 0 36414522 9787879424 6131 33554432000 1073741824 1073778376 140734627670672 139793022806944 139793030236612 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200385 s]
/proc/loadavg: 2.15 2.09 1.76 3/195 19436
/proc/meminfo: memFree=30878332/32872528 swapFree=526336/559040
[pid=19436] ppid=19433 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/19436/stat : 19436 (java) S 19433 19436 18872 0 -1 4202496 6651 0 1 0 26 2 0 0 20 0 19 0 36414522 9856040960 8752 33554432000 1073741824 1073778376 140734627670672 140734627661808 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19436/statm: 2406260 8752 2234 9 0 2396937 0
[pid=19436/tid=19437] ppid=19433 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/19436/task/19437/stat : 19437 (java) R 19433 19436 18872 0 -1 4202560 2412 0 1 0 16 1 0 0 20 0 19 0 36414522 9856040960 8752 33554432000 1073741824 1073778376 140734627670672 139793022808704 139792880861665 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9625040
[startup+0.30033 s]
/proc/loadavg: 2.15 2.09 1.76 3/195 19436
/proc/meminfo: memFree=30878332/32872528 swapFree=526336/559040
[pid=19436] ppid=19433 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/19436/stat : 19436 (java) S 19433 19436 18872 0 -1 4202496 7565 0 1 0 54 2 0 0 20 0 19 0 36414522 9856040960 8927 33554432000 1073741824 1073778376 140734627670672 140734627661808 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19436/statm: 2406260 8927 2244 9 0 2396937 0
[pid=19436/tid=19437] ppid=19433 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/19436/task/19437/stat : 19437 (java) R 19433 19436 18872 0 -1 4202560 2412 0 1 0 26 1 0 0 20 0 19 0 36414522 9856040960 8927 33554432000 1073741824 1073778376 140734627670672 139793022808136 139792881200248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9625040
[startup+0.700326 s]
/proc/loadavg: 2.15 2.09 1.76 3/195 19436
/proc/meminfo: memFree=30878332/32872528 swapFree=526336/559040
[pid=19436] ppid=19433 vsize=9625040 CPUtime=1.18 cores=1,3,5,7
/proc/19436/stat : 19436 (java) S 19433 19436 18872 0 -1 4202496 10143 0 1 0 116 2 0 0 20 0 19 0 36414522 9856040960 9935 33554432000 1073741824 1073778376 140734627670672 140734627661808 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19436/statm: 2406260 9935 2258 9 0 2396937 0
[pid=19436/tid=19437] ppid=19433 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/19436/task/19437/stat : 19437 (java) R 19433 19436 18872 0 -1 4202560 2413 0 1 0 66 1 0 0 20 0 19 0 36414522 9856040960 9935 33554432000 1073741824 1073778376 140734627670672 139793022808648 139792881022397 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 9625040
[startup+1.50077 s]
/proc/loadavg: 2.15 2.09 1.76 3/214 19455
/proc/meminfo: memFree=30842496/32872528 swapFree=526336/559040
[pid=19436] ppid=19433 vsize=9625040 CPUtime=2.05 cores=1,3,5,7
/proc/19436/stat : 19436 (java) S 19433 19436 18872 0 -1 4202496 10620 0 1 0 203 2 0 0 20 0 19 0 36414522 9856040960 11501 33554432000 1073741824 1073778376 140734627670672 140734627661808 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19436/statm: 2406260 11501 2260 9 0 2396937 0
[pid=19436/tid=19437] ppid=19433 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/19436/task/19437/stat : 19437 (java) R 19433 19436 18872 0 -1 4202560 2417 0 1 0 146 1 0 0 20 0 19 0 36414522 9856040960 11501 33554432000 1073741824 1073778376 140734627670672 139793022799536 139792881243058 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19436/tid=19439] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19439/stat : 19439 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 11501 33554432000 1073741824 1073778376 140734627670672 139793000909352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19440] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19440/stat : 19440 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 11501 33554432000 1073741824 1073778376 140734627670672 139792999856552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19436/tid=19441] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19441/stat : 19441 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 11501 33554432000 1073741824 1073778376 140734627670672 139792796870952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19436/tid=19442] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19442/stat : 19442 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 11501 33554432000 1073741824 1073778376 140734627670672 139792795818152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19436/tid=19443] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19443/stat : 19443 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 11501 33554432000 1073741824 1073778376 140734627670672 139792794766376 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19444] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19444/stat : 19444 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 11501 33554432000 1073741824 1073778376 140734627670672 139792793713576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19436/tid=19445] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19445/stat : 19445 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 11501 33554432000 1073741824 1073778376 140734627670672 139792792660776 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19446] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19446/stat : 19446 (java) S 19433 19436 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 11501 33554432000 1073741824 1073778376 140734627670672 139792791607976 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19447] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19447/stat : 19447 (java) S 19433 19436 18872 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36414524 9856040960 11501 33554432000 1073741824 1073778376 140734627670672 139792779409896 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19448] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19448/stat : 19448 (java) S 19433 19436 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36414524 9856040960 11501 33554432000 1073741824 1073778376 140734627670672 139792778355960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19449] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19449/stat : 19449 (java) S 19433 19436 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414524 9856040960 11501 33554432000 1073741824 1073778376 140734627670672 139792777303048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19450] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19450/stat : 19450 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414527 9856040960 11501 33554432000 1073741824 1073778376 140734627670672 139792776251536 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19451] ppid=19433 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/19436/task/19451/stat : 19451 (java) S 19433 19436 18872 0 -1 4202560 4219 0 0 0 29 0 0 0 20 0 19 0 36414527 9856040960 11501 33554432000 1073741824 1073778376 140734627670672 139792775199672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19452] ppid=19433 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/19436/task/19452/stat : 19452 (java) S 19433 19436 18872 0 -1 4202560 2713 0 0 0 25 0 0 0 20 0 19 0 36414527 9856040960 11501 33554432000 1073741824 1073778376 140734627670672 139792774146872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19436/tid=19453] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19453/stat : 19453 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414527 9856040960 11501 33554432000 1073741824 1073778376 140734627670672 139792773094264 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19436/tid=19454] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19454/stat : 19454 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414527 9856040960 11501 33554432000 1073741824 1073778376 140734627670672 139792772041672 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19455] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19455/stat : 19455 (java) S 19433 19436 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414538 9856040960 11501 33554432000 1073741824 1073778376 140734627670672 139792770987176 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 9625040
[startup+3.1008 s]
/proc/loadavg: 2.15 2.09 1.76 3/214 19455
/proc/meminfo: memFree=30819484/32872528 swapFree=526336/559040
[pid=19436] ppid=19433 vsize=9625040 CPUtime=4.36 cores=1,3,5,7
/proc/19436/stat : 19436 (java) S 19433 19436 18872 0 -1 4202496 17987 0 1 0 432 4 0 0 20 0 19 0 36414522 9856040960 17437 33554432000 1073741824 1073778376 140734627670672 140734627661808 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19436/statm: 2406260 17437 2260 9 0 2396937 0
[pid=19436/tid=19437] ppid=19433 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/19436/task/19437/stat : 19437 (java) R 19433 19436 18872 0 -1 4202560 2422 0 1 0 306 1 0 0 20 0 19 0 36414522 9856040960 17437 33554432000 1073741824 1073778376 140734627670672 139793022808600 139792881242912 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19436/tid=19439] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19439/stat : 19439 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 17437 33554432000 1073741824 1073778376 140734627670672 139793000909352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19440] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19440/stat : 19440 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 17437 33554432000 1073741824 1073778376 140734627670672 139792999856552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19436/tid=19441] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19441/stat : 19441 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 17437 33554432000 1073741824 1073778376 140734627670672 139792796870952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19436/tid=19442] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19442/stat : 19442 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 17437 33554432000 1073741824 1073778376 140734627670672 139792795818152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19436/tid=19443] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19443/stat : 19443 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 17437 33554432000 1073741824 1073778376 140734627670672 139792794766376 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19444] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19444/stat : 19444 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 17437 33554432000 1073741824 1073778376 140734627670672 139792793713576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19436/tid=19445] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19445/stat : 19445 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 17437 33554432000 1073741824 1073778376 140734627670672 139792792660776 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19446] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19446/stat : 19446 (java) S 19433 19436 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 17437 33554432000 1073741824 1073778376 140734627670672 139792791607976 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19447] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19447/stat : 19447 (java) S 19433 19436 18872 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36414524 9856040960 17437 33554432000 1073741824 1073778376 140734627670672 139792779409896 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19448] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19448/stat : 19448 (java) S 19433 19436 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36414524 9856040960 17437 33554432000 1073741824 1073778376 140734627670672 139792778355960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19449] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19449/stat : 19449 (java) S 19433 19436 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414524 9856040960 17437 33554432000 1073741824 1073778376 140734627670672 139792777303048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19450] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19450/stat : 19450 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414527 9856040960 17437 33554432000 1073741824 1073778376 140734627670672 139792776251536 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19451] ppid=19433 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/19436/task/19451/stat : 19451 (java) S 19433 19436 18872 0 -1 4202560 4249 0 0 0 32 0 0 0 20 0 19 0 36414527 9856040960 17437 33554432000 1073741824 1073778376 140734627670672 139792775199672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19452] ppid=19433 vsize=9625040 CPUtime=0.92 cores=1,3,5,7
/proc/19436/task/19452/stat : 19452 (java) S 19433 19436 18872 0 -1 4202560 10045 0 0 0 90 2 0 0 20 0 19 0 36414527 9856040960 17437 33554432000 1073741824 1073778376 140734627670672 139792774146872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19436/tid=19453] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19453/stat : 19453 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414527 9856040960 17437 33554432000 1073741824 1073778376 140734627670672 139792773094264 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19436/tid=19454] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19454/stat : 19454 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414527 9856040960 17437 33554432000 1073741824 1073778376 140734627670672 139792772041672 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19455] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19455/stat : 19455 (java) S 19433 19436 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414538 9856040960 17437 33554432000 1073741824 1073778376 140734627670672 139792770987176 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 9625040
[startup+6.3008 s]
/proc/loadavg: 2.13 2.09 1.76 4/214 19455
/proc/meminfo: memFree=30797816/32872528 swapFree=526336/559040
[pid=19436] ppid=19433 vsize=9625040 CPUtime=7.6 cores=1,3,5,7
/proc/19436/stat : 19436 (java) S 19433 19436 18872 0 -1 4202496 18000 0 1 0 756 4 0 0 20 0 19 0 36414522 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 140734627661808 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19436/statm: 2406260 20623 2263 9 0 2396937 0
[pid=19436/tid=19437] ppid=19433 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/19436/task/19437/stat : 19437 (java) R 19433 19436 18872 0 -1 4202560 2432 0 1 0 625 1 0 0 20 0 19 0 36414522 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139793022808056 139792881244688 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19436/tid=19439] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19439/stat : 19439 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139793000909352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19440] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19440/stat : 19440 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792999856552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19436/tid=19441] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19441/stat : 19441 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792796870952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19436/tid=19442] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19442/stat : 19442 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792795818152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19436/tid=19443] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19443/stat : 19443 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792794766376 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19444] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19444/stat : 19444 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792793713576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19436/tid=19445] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19445/stat : 19445 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792792660776 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19446] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19446/stat : 19446 (java) S 19433 19436 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792791607976 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19447] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19447/stat : 19447 (java) S 19433 19436 18872 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36414524 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792779409896 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19448] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19448/stat : 19448 (java) S 19433 19436 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36414524 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792778355960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19449] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19449/stat : 19449 (java) S 19433 19436 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414524 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792777303048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19450] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19450/stat : 19450 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414527 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792776251536 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19451] ppid=19433 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/19436/task/19451/stat : 19451 (java) S 19433 19436 18872 0 -1 4202560 4249 0 0 0 33 0 0 0 20 0 19 0 36414527 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792775199672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19452] ppid=19433 vsize=9625040 CPUtime=0.95 cores=1,3,5,7
/proc/19436/task/19452/stat : 19452 (java) S 19433 19436 18872 0 -1 4202560 10047 0 0 0 93 2 0 0 20 0 19 0 36414527 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792774146872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19436/tid=19453] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19453/stat : 19453 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414527 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792773094264 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19436/tid=19454] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19454/stat : 19454 (java) S 19433 19436 18872 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36414527 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792772041672 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19455] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19455/stat : 19455 (java) S 19433 19436 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414538 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792770987176 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.6
Current children cumulated vsize (KiB) 9625040
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19436 sig 9
??? kill -19436 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40097 s]
/proc/loadavg: 2.13 2.09 1.76 4/214 19455
/proc/meminfo: memFree=30797816/32872528 swapFree=526336/559040
[pid=19436] ppid=19433 vsize=9625040 CPUtime=7.7 cores=1,3,5,7
/proc/19436/stat : 19436 (java) S 19433 19436 18872 0 -1 4202496 18000 0 1 0 766 4 0 0 20 0 19 0 36414522 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 140734627661808 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19436/statm: 2406260 20623 2263 9 0 2396937 0
[pid=19436/tid=19437] ppid=19433 vsize=9625040 CPUtime=6.36 cores=1,3,5,7
/proc/19436/task/19437/stat : 19437 (java) R 19433 19436 18872 0 -1 4202560 2432 0 1 0 635 1 0 0 20 0 19 0 36414522 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139793022808056 139792881288191 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19436/tid=19439] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19439/stat : 19439 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139793000909352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19440] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19440/stat : 19440 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792999856552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19436/tid=19441] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19441/stat : 19441 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792796870952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19436/tid=19442] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19442/stat : 19442 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792795818152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19436/tid=19443] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19443/stat : 19443 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792794766376 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19444] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19444/stat : 19444 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792793713576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19436/tid=19445] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19445/stat : 19445 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792792660776 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19446] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19446/stat : 19446 (java) S 19433 19436 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792791607976 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19447] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19447/stat : 19447 (java) S 19433 19436 18872 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36414524 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792779409896 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19448] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19448/stat : 19448 (java) S 19433 19436 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36414524 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792778355960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19449] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19449/stat : 19449 (java) S 19433 19436 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414524 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792777303048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19450] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19450/stat : 19450 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414527 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792776251536 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19451] ppid=19433 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/19436/task/19451/stat : 19451 (java) S 19433 19436 18872 0 -1 4202560 4249 0 0 0 33 0 0 0 20 0 19 0 36414527 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792775199672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19452] ppid=19433 vsize=9625040 CPUtime=0.95 cores=1,3,5,7
/proc/19436/task/19452/stat : 19452 (java) S 19433 19436 18872 0 -1 4202560 10047 0 0 0 93 2 0 0 20 0 19 0 36414527 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792774146872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19436/tid=19453] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19453/stat : 19453 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414527 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792773094264 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19436/tid=19454] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19454/stat : 19454 (java) S 19433 19436 18872 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36414527 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792772041672 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19455] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19455/stat : 19455 (java) S 19433 19436 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414538 9856040960 20623 33554432000 1073741824 1073778376 140734627670672 139792770987176 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.7
Current children cumulated vsize (KiB) 9625040
[startup+6.60079 s]
/proc/loadavg: 2.13 2.09 1.76 3/214 19455
/proc/meminfo: memFree=30791704/32872528 swapFree=526336/559040
[pid=19436] ppid=19433 vsize=9625040 CPUtime=7.91 cores=1,3,5,7
/proc/19436/stat : 19436 (java) S 19433 19436 18872 0 -1 4202496 18001 0 1 0 787 4 0 0 20 0 19 0 36414522 9856040960 21135 33554432000 1073741824 1073778376 140734627670672 140734627661808 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19436/statm: 2406260 21135 2263 9 0 2396937 0
[pid=19436/tid=19437] ppid=19433 vsize=9625040 CPUtime=6.56 cores=1,3,5,7
/proc/19436/task/19437/stat : 19437 (java) R 19433 19436 18872 0 -1 4202560 2433 0 1 0 655 1 0 0 20 0 19 0 36414522 9856040960 21135 33554432000 1073741824 1073778376 140734627670672 139793022800176 139792881243231 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19436/tid=19439] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19439/stat : 19439 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 21135 33554432000 1073741824 1073778376 140734627670672 139793000909352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19440] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19440/stat : 19440 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 21135 33554432000 1073741824 1073778376 140734627670672 139792999856552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19436/tid=19441] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19441/stat : 19441 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 21135 33554432000 1073741824 1073778376 140734627670672 139792796870952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19436/tid=19442] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19442/stat : 19442 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 21135 33554432000 1073741824 1073778376 140734627670672 139792795818152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19436/tid=19443] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19443/stat : 19443 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 21135 33554432000 1073741824 1073778376 140734627670672 139792794766376 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19444] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19444/stat : 19444 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 21135 33554432000 1073741824 1073778376 140734627670672 139792793713576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19436/tid=19445] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19445/stat : 19445 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 21135 33554432000 1073741824 1073778376 140734627670672 139792792660776 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19446] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19446/stat : 19446 (java) S 19433 19436 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36414523 9856040960 21135 33554432000 1073741824 1073778376 140734627670672 139792791607976 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19447] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19447/stat : 19447 (java) S 19433 19436 18872 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36414524 9856040960 21135 33554432000 1073741824 1073778376 140734627670672 139792779409896 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19448] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19448/stat : 19448 (java) S 19433 19436 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36414524 9856040960 21135 33554432000 1073741824 1073778376 140734627670672 139792778355960 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19449] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19449/stat : 19449 (java) S 19433 19436 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414524 9856040960 21135 33554432000 1073741824 1073778376 140734627670672 139792777303048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19450] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19450/stat : 19450 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414527 9856040960 21135 33554432000 1073741824 1073778376 140734627670672 139792776251536 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19451] ppid=19433 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/19436/task/19451/stat : 19451 (java) S 19433 19436 18872 0 -1 4202560 4249 0 0 0 33 0 0 0 20 0 19 0 36414527 9856040960 21135 33554432000 1073741824 1073778376 140734627670672 139792775199672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19452] ppid=19433 vsize=9625040 CPUtime=0.97 cores=1,3,5,7
/proc/19436/task/19452/stat : 19452 (java) S 19433 19436 18872 0 -1 4202560 10047 0 0 0 95 2 0 0 20 0 19 0 36414527 9856040960 21135 33554432000 1073741824 1073778376 140734627670672 139792774146872 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19436/tid=19453] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19453/stat : 19453 (java) S 19433 19436 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36414527 9856040960 21135 33554432000 1073741824 1073778376 140734627670672 139792773094264 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19436/tid=19454] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19454/stat : 19454 (java) S 19433 19436 18872 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36414527 9856040960 21135 33554432000 1073741824 1073778376 140734627670672 139792772041672 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19436/tid=19455] ppid=19433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/19436/task/19455/stat : 19455 (java) S 19433 19436 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36414538 9856040960 21135 33554432000 1073741824 1073778376 140734627670672 139792770987176 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.91
Current children cumulated vsize (KiB) 9625040
Child status: 30
Real time (s): 6.67902
CPU time (s): 7.99178
CPU user time (s): 7.93079
CPU system time (s): 0.06099
CPU usage (%): 119.655
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.93079
system time used= 0.06099
maximum resident set size= 84604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18023
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= 419
involuntary context switches= 34
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040993 second user time and 0.05999 second system time
The end