runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3454441-1307191019/watcher-3454441-1307191019 -o /tmp/evaluation-result-3454441-1307191019/solver-3454441-1307191019 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454441-1307191019.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: 3.86 3.99 3.77 4/519 20192
/proc/meminfo: memFree=25339628/32951132 swapFree=57925096/67111528
[pid=20192] ppid=20190 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/20192/stat : 20192 (java) S 20190 20192 16811 0 -1 4202496 1179 0 0 0 0 0 0 0 25 0 2 0 830701489 27824128 906 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658949093 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/20192/statm: 6793 906 688 9 0 381 0
[pid=20192/tid=20193] ppid=20190 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20193/stat : 20193 (java) R 20190 20192 16811 0 -1 4202560 552 0 1 0 0 0 0 0 25 0 2 0 830701490 10681323520 1368 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210646840379 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.112032 s]
/proc/loadavg: 3.86 3.99 3.77 4/519 20192
/proc/meminfo: memFree=25339628/32951132 swapFree=57925096/67111528
[pid=20192] ppid=20190 vsize=10539504 CPUtime=0.1 cores=1,3,5,7
/proc/20192/stat : 20192 (java) S 20190 20192 16811 0 -1 4202496 13146 0 1 0 8 2 0 0 25 0 18 0 830701489 10792452096 12815 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20192/statm: 2634876 12816 2093 9 0 2625610 0
[pid=20192/tid=20193] ppid=20190 vsize=10539504 CPUtime=0.09 cores=1,3,5,7
/proc/20192/task/20193/stat : 20193 (java) R 20190 20192 16811 0 -1 4202560 11173 0 1 0 7 2 0 0 18 0 18 0 830701490 10792452096 12816 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 46995937590099 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539504
[startup+0.218867 s]
/proc/loadavg: 3.86 3.99 3.77 4/519 20192
/proc/meminfo: memFree=25339628/32951132 swapFree=57925096/67111528
[pid=20192] ppid=20190 vsize=10606552 CPUtime=0.32 cores=1,3,5,7
/proc/20192/stat : 20192 (java) S 20190 20192 16811 0 -1 4202496 14941 0 1 0 30 2 0 0 25 0 18 0 830701489 10861109248 14531 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20192/statm: 2651638 14532 2189 9 0 2642372 0
[pid=20192/tid=20193] ppid=20190 vsize=10606552 CPUtime=0.19 cores=1,3,5,7
/proc/20192/task/20193/stat : 20193 (java) R 20190 20192 16811 0 -1 4202560 12298 0 1 0 17 2 0 0 18 0 18 0 830701490 10861109248 14532 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 46912505506624 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 10606552
[startup+0.325603 s]
/proc/loadavg: 3.86 3.99 3.77 4/519 20192
/proc/meminfo: memFree=25339628/32951132 swapFree=57925096/67111528
[pid=20192] ppid=20190 vsize=10613828 CPUtime=1.14 cores=1,3,5,7
/proc/20192/stat : 20192 (java) S 20190 20192 16811 0 -1 4202496 33494 0 1 0 109 5 0 0 25 0 18 0 830701489 10868559872 29483 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20192/statm: 2653457 29483 2211 9 0 2644191 0
[pid=20192/tid=20193] ppid=20190 vsize=10613828 CPUtime=0.47 cores=1,3,5,7
/proc/20192/task/20193/stat : 20193 (java) R 20190 20192 16811 0 -1 4202560 22652 0 1 0 43 4 0 0 18 0 18 0 830701490 10868559872 29483 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 46912505599148 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 10613828
[startup+0.74565 s]
/proc/loadavg: 3.86 3.99 3.77 4/519 20192
/proc/meminfo: memFree=25339628/32951132 swapFree=57925096/67111528
[pid=20192] ppid=20190 vsize=10617940 CPUtime=2.13 cores=1,3,5,7
/proc/20192/stat : 20192 (java) S 20190 20192 16811 0 -1 4202496 47203 0 1 0 207 6 0 0 25 0 22 0 830701489 10872770560 42304 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20192/statm: 2654485 42305 2231 9 0 2645219 0
[pid=20192/tid=20193] ppid=20190 vsize=10617940 CPUtime=0.52 cores=1,3,5,7
/proc/20192/task/20193/stat : 20193 (java) S 20190 20192 16811 0 -1 4202560 26520 0 1 0 48 4 0 0 19 0 22 0 830701490 10872770560 42305 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 10617940
[startup+1.51978 s]
/proc/loadavg: 3.86 3.99 3.77 5/541 20214
/proc/meminfo: memFree=24922944/32951132 swapFree=57925096/67111528
[pid=20192] ppid=20190 vsize=10620292 CPUtime=4.1 cores=1,3,5,7
/proc/20192/stat : 20192 (java) S 20190 20192 16811 0 -1 4202496 120735 0 1 0 394 16 0 0 25 0 22 0 830701489 10875179008 115835 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20192/statm: 2655073 115841 2238 9 0 2645807 0
[pid=20192/tid=20193] ppid=20190 vsize=10620292 CPUtime=0.52 cores=1,3,5,7
/proc/20192/task/20193/stat : 20193 (java) S 20190 20192 16811 0 -1 4202560 26520 0 1 0 48 4 0 0 15 0 22 0 830701490 10875179008 115844 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=20192/tid=20195] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20195/stat : 20195 (java) S 20190 20192 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830701492 10875179008 115848 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=20192/tid=20196] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20196/stat : 20196 (java) S 20190 20192 16811 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830701492 10875179008 115851 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=20192/tid=20197] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20197/stat : 20197 (java) S 20190 20192 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830701492 10875179008 115855 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=20192/tid=20198] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20198/stat : 20198 (java) S 20190 20192 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830701492 10875179008 115857 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=20192/tid=20199] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20199/stat : 20199 (java) S 20190 20192 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830701492 10875179008 115861 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=20192/tid=20200] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20200/stat : 20200 (java) S 20190 20192 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830701492 10875179008 115864 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=20192/tid=20201] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20201/stat : 20201 (java) S 20190 20192 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830701492 10875179008 115868 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=20192/tid=20202] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20202/stat : 20202 (java) S 20190 20192 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830701492 10875179008 115871 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=20192/tid=20203] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20203/stat : 20203 (java) S 20190 20192 16811 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830701493 10875179008 115874 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 0 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20204] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20204/stat : 20204 (java) S 20190 20192 16811 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830701494 10875179008 115877 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20205] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20205/stat : 20205 (java) S 20190 20192 16811 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830701494 10875179008 115880 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20206] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20206/stat : 20206 (java) S 20190 20192 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830701496 10875179008 115883 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658970033 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20207] ppid=20190 vsize=10620292 CPUtime=0.79 cores=1,3,5,7
/proc/20192/task/20207/stat : 20207 (java) S 20190 20192 16811 0 -1 4202560 7482 0 0 0 79 0 0 0 15 0 22 0 830701496 10875179008 115886 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20208] ppid=20190 vsize=10620292 CPUtime=0.82 cores=1,3,5,7
/proc/20192/task/20208/stat : 20208 (java) S 20190 20192 16811 0 -1 4202560 3809 0 0 0 82 0 0 0 23 0 22 0 830701496 10875179008 115889 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=20192/tid=20209] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20209/stat : 20209 (java) S 20190 20192 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830701496 10875179008 115893 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20210] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20210/stat : 20210 (java) S 20190 20192 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830701496 10875179008 115895 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=20192/tid=20211] ppid=20190 vsize=10620292 CPUtime=0.97 cores=1,3,5,7
/proc/20192/task/20211/stat : 20211 (java) R 20190 20192 16811 0 -1 4202560 604 0 0 0 97 0 0 0 19 0 22 0 830701544 10875179008 115899 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 46912505841548 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20192/tid=20212] ppid=20190 vsize=10620292 CPUtime=0.96 cores=1,3,5,7
/proc/20192/task/20212/stat : 20212 (java) R 20190 20192 16811 0 -1 4202560 81218 0 0 0 86 10 0 0 18 0 22 0 830701544 10875179008 115901 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 46912505583388 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20192/tid=20213] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20213/stat : 20213 (java) S 20190 20192 16811 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830701545 10875179008 115905 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20214] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20214/stat : 20214 (java) S 20190 20192 16811 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830701546 10875179008 115908 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 10620292
[startup+3.10152 s]
/proc/loadavg: 3.86 3.99 3.77 5/541 20214
/proc/meminfo: memFree=24589632/32951132 swapFree=57925096/67111528
[pid=20192] ppid=20190 vsize=10620292 CPUtime=7.35 cores=1,3,5,7
/proc/20192/stat : 20192 (java) S 20190 20192 16811 0 -1 4202496 194928 0 1 0 711 24 0 0 25 0 22 0 830701489 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20192/statm: 2655073 190014 2264 9 0 2645807 0
[pid=20192/tid=20193] ppid=20190 vsize=10620292 CPUtime=0.52 cores=1,3,5,7
/proc/20192/task/20193/stat : 20193 (java) S 20190 20192 16811 0 -1 4202560 26520 0 1 0 48 4 0 0 15 0 22 0 830701490 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=20192/tid=20195] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20195/stat : 20195 (java) S 20190 20192 16811 0 -1 4202560 344 0 0 0 0 0 0 0 15 0 22 0 830701492 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=20192/tid=20196] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20196/stat : 20196 (java) S 20190 20192 16811 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830701492 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=20192/tid=20197] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20197/stat : 20197 (java) S 20190 20192 16811 0 -1 4202560 338 0 0 0 0 0 0 0 16 0 22 0 830701492 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=20192/tid=20198] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20198/stat : 20198 (java) S 20190 20192 16811 0 -1 4202560 794 0 0 0 0 0 0 0 15 0 22 0 830701492 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20199] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20199/stat : 20199 (java) S 20190 20192 16811 0 -1 4202560 1229 0 0 0 0 0 0 0 15 0 22 0 830701492 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20200] ppid=20190 vsize=10620292 CPUtime=0.01 cores=1,3,5,7
/proc/20192/task/20200/stat : 20200 (java) S 20190 20192 16811 0 -1 4202560 1238 0 0 0 1 0 0 0 15 0 22 0 830701492 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=20192/tid=20201] ppid=20190 vsize=10620292 CPUtime=0.01 cores=1,3,5,7
/proc/20192/task/20201/stat : 20201 (java) S 20190 20192 16811 0 -1 4202560 1303 0 0 0 1 0 0 0 15 0 22 0 830701492 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=20192/tid=20202] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20202/stat : 20202 (java) S 20190 20192 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830701492 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=20192/tid=20203] ppid=20190 vsize=10620292 CPUtime=0.08 cores=1,3,5,7
/proc/20192/task/20203/stat : 20203 (java) S 20190 20192 16811 0 -1 4202560 4805 0 0 0 8 0 0 0 15 0 22 0 830701493 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 0 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20204] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20204/stat : 20204 (java) S 20190 20192 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830701494 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20205] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20205/stat : 20205 (java) S 20190 20192 16811 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830701494 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20206] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20206/stat : 20206 (java) S 20190 20192 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830701496 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658970033 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20207] ppid=20190 vsize=10620292 CPUtime=0.83 cores=1,3,5,7
/proc/20192/task/20207/stat : 20207 (java) S 20190 20192 16811 0 -1 4202560 7492 0 0 0 83 0 0 0 15 0 22 0 830701496 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=20192/tid=20208] ppid=20190 vsize=10620292 CPUtime=0.93 cores=1,3,5,7
/proc/20192/task/20208/stat : 20208 (java) S 20190 20192 16811 0 -1 4202560 3827 0 0 0 93 0 0 0 15 0 22 0 830701496 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20209] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20209/stat : 20209 (java) S 20190 20192 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830701496 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20210] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20210/stat : 20210 (java) S 20190 20192 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830701496 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=20192/tid=20211] ppid=20190 vsize=10620292 CPUtime=2.44 cores=1,3,5,7
/proc/20192/task/20211/stat : 20211 (java) R 20190 20192 16811 0 -1 4202560 980 0 0 0 244 0 0 0 20 0 22 0 830701544 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 46912505840992 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20192/tid=20212] ppid=20190 vsize=10620292 CPUtime=2.44 cores=1,3,5,7
/proc/20192/task/20212/stat : 20212 (java) R 20190 20192 16811 0 -1 4202560 144897 0 0 0 227 17 0 0 19 0 22 0 830701544 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 46912505583148 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20192/tid=20213] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20213/stat : 20213 (java) S 20190 20192 16811 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830701545 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20214] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20214/stat : 20214 (java) S 20190 20192 16811 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830701546 10875179008 190014 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.35
Current children cumulated vsize (KiB) 10620292
[startup+6.30099 s]
/proc/loadavg: 3.87 3.99 3.77 4/517 20217
/proc/meminfo: memFree=28248900/32951132 swapFree=57925096/67111528
[pid=20192] ppid=20190 vsize=10620292 CPUtime=13.62 cores=1,3,5,7
/proc/20192/stat : 20192 (java) S 20190 20192 16811 0 -1 4202496 208168 0 1 0 1337 25 0 0 25 0 22 0 830701489 10875179008 203172 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20192/statm: 2655073 203172 2264 9 0 2645807 0
[pid=20192/tid=20193] ppid=20190 vsize=10620292 CPUtime=0.52 cores=1,3,5,7
/proc/20192/task/20193/stat : 20193 (java) S 20190 20192 16811 0 -1 4202560 26520 0 1 0 48 4 0 0 15 0 22 0 830701490 10875179008 203172 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=20192/tid=20195] ppid=20190 vsize=10620292 CPUtime=0.01 cores=1,3,5,7
/proc/20192/task/20195/stat : 20195 (java) S 20190 20192 16811 0 -1 4202560 465 0 0 0 1 0 0 0 16 0 22 0 830701492 10875179008 203172 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=20192/tid=20196] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20196/stat : 20196 (java) S 20190 20192 16811 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 830701492 10875179008 203172 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=20192/tid=20197] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20197/stat : 20197 (java) S 20190 20192 16811 0 -1 4202560 340 0 0 0 0 0 0 0 15 0 22 0 830701492 10875179008 203172 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=20192/tid=20198] ppid=20190 vsize=10620292 CPUtime=0.01 cores=1,3,5,7
/proc/20192/task/20198/stat : 20198 (java) S 20190 20192 16811 0 -1 4202560 958 0 0 0 1 0 0 0 16 0 22 0 830701492 10875179008 203172 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20199] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20199/stat : 20199 (java) S 20190 20192 16811 0 -1 4202560 1229 0 0 0 0 0 0 0 15 0 22 0 830701492 10875179008 203172 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=20192/tid=20200] ppid=20190 vsize=10620292 CPUtime=0.01 cores=1,3,5,7
/proc/20192/task/20200/stat : 20200 (java) S 20190 20192 16811 0 -1 4202560 1238 0 0 0 1 0 0 0 15 0 22 0 830701492 10875179008 203172 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=20192/tid=20201] ppid=20190 vsize=10620292 CPUtime=0.01 cores=1,3,5,7
/proc/20192/task/20201/stat : 20201 (java) S 20190 20192 16811 0 -1 4202560 1643 0 0 0 1 0 0 0 15 0 22 0 830701492 10875179008 203172 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=20192/tid=20202] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20202/stat : 20202 (java) S 20190 20192 16811 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 830701492 10875179008 203172 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/20192/task/20214/stat : 20214 (java) S 20190 20192 16811 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830701546 10875179008 850722 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10620292
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+955.401 s]
/proc/loadavg: 3.11 3.65 3.75 4/514 20405
/proc/meminfo: memFree=25650800/32951132 swapFree=57925096/67111528
[pid=20192] ppid=20190 vsize=10620292 CPUtime=1800.31 cores=1,3,5,7
/proc/20192/stat : 20192 (java) S 20190 20192 16811 0 -1 4202496 860418 0 1 0 179932 99 0 0 18 0 22 0 830701489 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20192/statm: 2655073 850724 2265 9 0 2645807 0
[pid=20192/tid=20193] ppid=20190 vsize=10620292 CPUtime=0.52 cores=1,3,5,7
/proc/20192/task/20193/stat : 20193 (java) S 20190 20192 16811 0 -1 4202560 26683 0 1 0 48 4 0 0 15 0 22 0 830701490 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20195] ppid=20190 vsize=10620292 CPUtime=1.23 cores=1,3,5,7
/proc/20192/task/20195/stat : 20195 (java) S 20190 20192 16811 0 -1 4202560 5414 0 0 0 122 1 0 0 16 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=20192/tid=20196] ppid=20190 vsize=10620292 CPUtime=1.19 cores=1,3,5,7
/proc/20192/task/20196/stat : 20196 (java) S 20190 20192 16811 0 -1 4202560 5774 0 0 0 119 0 0 0 15 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20197] ppid=20190 vsize=10620292 CPUtime=1.09 cores=1,3,5,7
/proc/20192/task/20197/stat : 20197 (java) S 20190 20192 16811 0 -1 4202560 5447 0 0 0 109 0 0 0 15 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20198] ppid=20190 vsize=10620292 CPUtime=1.18 cores=1,3,5,7
/proc/20192/task/20198/stat : 20198 (java) S 20190 20192 16811 0 -1 4202560 5242 0 0 0 117 1 0 0 16 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20199] ppid=20190 vsize=10620292 CPUtime=1.24 cores=1,3,5,7
/proc/20192/task/20199/stat : 20199 (java) S 20190 20192 16811 0 -1 4202560 3449 0 0 0 123 1 0 0 15 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20200] ppid=20190 vsize=10620292 CPUtime=1.25 cores=1,3,5,7
/proc/20192/task/20200/stat : 20200 (java) S 20190 20192 16811 0 -1 4202560 7694 0 0 0 124 1 0 0 16 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20201] ppid=20190 vsize=10620292 CPUtime=1.2 cores=1,3,5,7
/proc/20192/task/20201/stat : 20201 (java) S 20190 20192 16811 0 -1 4202560 7088 0 0 0 119 1 0 0 15 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20202] ppid=20190 vsize=10620292 CPUtime=1.11 cores=1,3,5,7
/proc/20192/task/20202/stat : 20202 (java) S 20190 20192 16811 0 -1 4202560 3557 0 0 0 111 0 0 0 15 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20203] ppid=20190 vsize=10620292 CPUtime=115.93 cores=1,3,5,7
/proc/20192/task/20203/stat : 20203 (java) R 20190 20192 16811 0 -1 4202560 120343 0 0 0 11580 13 0 0 16 0 22 0 830701493 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 46995935952015 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=20192/tid=20204] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20204/stat : 20204 (java) S 20190 20192 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830701494 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20205] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20205/stat : 20205 (java) S 20190 20192 16811 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830701494 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20206] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20206/stat : 20206 (java) S 20190 20192 16811 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830701496 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20207] ppid=20190 vsize=10620292 CPUtime=1.57 cores=1,3,5,7
/proc/20192/task/20207/stat : 20207 (java) S 20190 20192 16811 0 -1 4202560 11858 0 0 0 156 1 0 0 15 0 22 0 830701496 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=20192/tid=20208] ppid=20190 vsize=10620292 CPUtime=1.02 cores=1,3,5,7
/proc/20192/task/20208/stat : 20208 (java) S 20190 20192 16811 0 -1 4202560 3832 0 0 0 102 0 0 0 15 0 22 0 830701496 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20209] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20209/stat : 20209 (java) S 20190 20192 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830701496 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20210] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20210/stat : 20210 (java) S 20190 20192 16811 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830701496 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20211] ppid=20190 vsize=10620292 CPUtime=835.83 cores=1,3,5,7
/proc/20192/task/20211/stat : 20211 (java) S 20190 20192 16811 0 -1 4202560 1110 0 0 0 83583 0 0 0 25 0 22 0 830701544 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20212] ppid=20190 vsize=10620292 CPUtime=835.82 cores=1,3,5,7
/proc/20192/task/20212/stat : 20212 (java) S 20190 20192 16811 0 -1 4202560 651714 0 0 0 83512 70 0 0 25 0 22 0 830701544 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20213] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20213/stat : 20213 (java) S 20190 20192 16811 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830701545 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20214] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20214/stat : 20214 (java) S 20190 20192 16811 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830701546 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 10620292
[startup+955.801 s]
/proc/loadavg: 3.11 3.65 3.75 4/514 20405
/proc/meminfo: memFree=25650800/32951132 swapFree=57925096/67111528
[pid=20192] ppid=20190 vsize=10620292 CPUtime=1800.71 cores=1,3,5,7
/proc/20192/stat : 20192 (java) S 20190 20192 16811 0 -1 4202496 860418 0 1 0 179972 99 0 0 18 0 22 0 830701489 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20192/statm: 2655073 850724 2265 9 0 2645807 0
[pid=20192/tid=20193] ppid=20190 vsize=10620292 CPUtime=0.52 cores=1,3,5,7
/proc/20192/task/20193/stat : 20193 (java) S 20190 20192 16811 0 -1 4202560 26683 0 1 0 48 4 0 0 15 0 22 0 830701490 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20195] ppid=20190 vsize=10620292 CPUtime=1.23 cores=1,3,5,7
/proc/20192/task/20195/stat : 20195 (java) S 20190 20192 16811 0 -1 4202560 5414 0 0 0 122 1 0 0 16 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=20192/tid=20196] ppid=20190 vsize=10620292 CPUtime=1.19 cores=1,3,5,7
/proc/20192/task/20196/stat : 20196 (java) S 20190 20192 16811 0 -1 4202560 5774 0 0 0 119 0 0 0 15 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20197] ppid=20190 vsize=10620292 CPUtime=1.09 cores=1,3,5,7
/proc/20192/task/20197/stat : 20197 (java) S 20190 20192 16811 0 -1 4202560 5447 0 0 0 109 0 0 0 15 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20198] ppid=20190 vsize=10620292 CPUtime=1.18 cores=1,3,5,7
/proc/20192/task/20198/stat : 20198 (java) S 20190 20192 16811 0 -1 4202560 5242 0 0 0 117 1 0 0 16 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20199] ppid=20190 vsize=10620292 CPUtime=1.24 cores=1,3,5,7
/proc/20192/task/20199/stat : 20199 (java) S 20190 20192 16811 0 -1 4202560 3449 0 0 0 123 1 0 0 15 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20200] ppid=20190 vsize=10620292 CPUtime=1.25 cores=1,3,5,7
/proc/20192/task/20200/stat : 20200 (java) S 20190 20192 16811 0 -1 4202560 7694 0 0 0 124 1 0 0 16 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20201] ppid=20190 vsize=10620292 CPUtime=1.2 cores=1,3,5,7
/proc/20192/task/20201/stat : 20201 (java) S 20190 20192 16811 0 -1 4202560 7088 0 0 0 119 1 0 0 15 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20202] ppid=20190 vsize=10620292 CPUtime=1.11 cores=1,3,5,7
/proc/20192/task/20202/stat : 20202 (java) S 20190 20192 16811 0 -1 4202560 3557 0 0 0 111 0 0 0 15 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20203] ppid=20190 vsize=10620292 CPUtime=116.33 cores=1,3,5,7
/proc/20192/task/20203/stat : 20203 (java) R 20190 20192 16811 0 -1 4202560 120343 0 0 0 11620 13 0 0 16 0 22 0 830701493 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 46995936333890 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=20192/tid=20204] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20204/stat : 20204 (java) S 20190 20192 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830701494 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20205] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20205/stat : 20205 (java) S 20190 20192 16811 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830701494 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20206] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20206/stat : 20206 (java) S 20190 20192 16811 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830701496 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20207] ppid=20190 vsize=10620292 CPUtime=1.57 cores=1,3,5,7
/proc/20192/task/20207/stat : 20207 (java) S 20190 20192 16811 0 -1 4202560 11858 0 0 0 156 1 0 0 15 0 22 0 830701496 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=20192/tid=20208] ppid=20190 vsize=10620292 CPUtime=1.02 cores=1,3,5,7
/proc/20192/task/20208/stat : 20208 (java) S 20190 20192 16811 0 -1 4202560 3832 0 0 0 102 0 0 0 15 0 22 0 830701496 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20209] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20209/stat : 20209 (java) S 20190 20192 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830701496 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20210] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20210/stat : 20210 (java) S 20190 20192 16811 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830701496 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20211] ppid=20190 vsize=10620292 CPUtime=835.83 cores=1,3,5,7
/proc/20192/task/20211/stat : 20211 (java) S 20190 20192 16811 0 -1 4202560 1110 0 0 0 83583 0 0 0 25 0 22 0 830701544 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20212] ppid=20190 vsize=10620292 CPUtime=835.82 cores=1,3,5,7
/proc/20192/task/20212/stat : 20212 (java) S 20190 20192 16811 0 -1 4202560 651714 0 0 0 83512 70 0 0 25 0 22 0 830701544 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20213] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20213/stat : 20213 (java) S 20190 20192 16811 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830701545 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20214] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20214/stat : 20214 (java) S 20190 20192 16811 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830701546 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (KiB) 10620292
[startup+956.001 s]
/proc/loadavg: 3.11 3.65 3.75 4/514 20405
/proc/meminfo: memFree=25650800/32951132 swapFree=57925096/67111528
[pid=20192] ppid=20190 vsize=10620292 CPUtime=1800.91 cores=1,3,5,7
/proc/20192/stat : 20192 (java) S 20190 20192 16811 0 -1 4202496 860420 0 1 0 179992 99 0 0 18 0 22 0 830701489 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20192/statm: 2655073 850724 2265 9 0 2645807 0
[pid=20192/tid=20193] ppid=20190 vsize=10620292 CPUtime=0.52 cores=1,3,5,7
/proc/20192/task/20193/stat : 20193 (java) S 20190 20192 16811 0 -1 4202560 26683 0 1 0 48 4 0 0 15 0 22 0 830701490 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20195] ppid=20190 vsize=10620292 CPUtime=1.23 cores=1,3,5,7
/proc/20192/task/20195/stat : 20195 (java) S 20190 20192 16811 0 -1 4202560 5414 0 0 0 122 1 0 0 16 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=20192/tid=20196] ppid=20190 vsize=10620292 CPUtime=1.19 cores=1,3,5,7
/proc/20192/task/20196/stat : 20196 (java) S 20190 20192 16811 0 -1 4202560 5774 0 0 0 119 0 0 0 15 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20197] ppid=20190 vsize=10620292 CPUtime=1.09 cores=1,3,5,7
/proc/20192/task/20197/stat : 20197 (java) S 20190 20192 16811 0 -1 4202560 5447 0 0 0 109 0 0 0 15 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20198] ppid=20190 vsize=10620292 CPUtime=1.18 cores=1,3,5,7
/proc/20192/task/20198/stat : 20198 (java) S 20190 20192 16811 0 -1 4202560 5242 0 0 0 117 1 0 0 16 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20199] ppid=20190 vsize=10620292 CPUtime=1.24 cores=1,3,5,7
/proc/20192/task/20199/stat : 20199 (java) S 20190 20192 16811 0 -1 4202560 3449 0 0 0 123 1 0 0 15 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20200] ppid=20190 vsize=10620292 CPUtime=1.25 cores=1,3,5,7
/proc/20192/task/20200/stat : 20200 (java) S 20190 20192 16811 0 -1 4202560 7694 0 0 0 124 1 0 0 16 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20201] ppid=20190 vsize=10620292 CPUtime=1.2 cores=1,3,5,7
/proc/20192/task/20201/stat : 20201 (java) S 20190 20192 16811 0 -1 4202560 7088 0 0 0 119 1 0 0 15 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20202] ppid=20190 vsize=10620292 CPUtime=1.11 cores=1,3,5,7
/proc/20192/task/20202/stat : 20202 (java) S 20190 20192 16811 0 -1 4202560 3557 0 0 0 111 0 0 0 15 0 22 0 830701492 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20203] ppid=20190 vsize=10620292 CPUtime=116.53 cores=1,3,5,7
/proc/20192/task/20203/stat : 20203 (java) R 20190 20192 16811 0 -1 4202560 120343 0 0 0 11640 13 0 0 16 0 22 0 830701493 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210646837330 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=20192/tid=20204] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20204/stat : 20204 (java) S 20190 20192 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830701494 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20205] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20205/stat : 20205 (java) S 20190 20192 16811 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830701494 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20206] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20206/stat : 20206 (java) S 20190 20192 16811 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830701496 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20207] ppid=20190 vsize=10620292 CPUtime=1.57 cores=1,3,5,7
/proc/20192/task/20207/stat : 20207 (java) S 20190 20192 16811 0 -1 4202560 11858 0 0 0 156 1 0 0 15 0 22 0 830701496 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=20192/tid=20208] ppid=20190 vsize=10620292 CPUtime=1.02 cores=1,3,5,7
/proc/20192/task/20208/stat : 20208 (java) S 20190 20192 16811 0 -1 4202560 3832 0 0 0 102 0 0 0 15 0 22 0 830701496 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20209] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20209/stat : 20209 (java) S 20190 20192 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830701496 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20210] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20210/stat : 20210 (java) S 20190 20192 16811 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 830701496 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20211] ppid=20190 vsize=10620292 CPUtime=835.83 cores=1,3,5,7
/proc/20192/task/20211/stat : 20211 (java) S 20190 20192 16811 0 -1 4202560 1110 0 0 0 83583 0 0 0 25 0 22 0 830701544 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=20192/tid=20212] ppid=20190 vsize=10620292 CPUtime=835.82 cores=1,3,5,7
/proc/20192/task/20212/stat : 20212 (java) S 20190 20192 16811 0 -1 4202560 651714 0 0 0 83512 70 0 0 25 0 22 0 830701544 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20213] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20213/stat : 20213 (java) S 20190 20192 16811 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830701545 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=20192/tid=20214] ppid=20190 vsize=10620292 CPUtime=0 cores=1,3,5,7
/proc/20192/task/20214/stat : 20214 (java) S 20190 20192 16811 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830701546 10875179008 850724 33554432000 1073741824 1073778376 140734208389552 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 10620292
[startup+956.101 s]
/proc/loadavg: 3.11 3.65 3.75 4/514 20405
/proc/meminfo: memFree=25650800/32951132 swapFree=57925096/67111528
[pid=20192] ppid=20190 vsize=0 CPUtime=1801.03 cores=1,3,5,7
/proc/20192/stat : 20192 (java) Z 20190 20192 16811 0 -1 4203548 860456 0 1 0 180001 102 0 0 18 0 2 0 830701489 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20192/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 956.199
CPU time (s): 1801.14
CPU user time (s): 1800.02
CPU system time (s): 1.12283
CPU usage (%): 188.365
Max. virtual memory (cumulated for all children) (KiB): 10620292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 1.12283
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 860456
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29538
involuntary context switches= 18276
runsolver used 5.12122 second user time and 11.4543 second system time
The end