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-3479175-1307443854/watcher-3479175-1307443854 -o /tmp/evaluation-result-3479175-1307443854/solver-3479175-1307443854 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3479175-1307443854.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.69 3.56 3.56 3/482 16429
/proc/meminfo: memFree=24032812/32951124 swapFree=41830676/67111528
[pid=16429] ppid=16427 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/16429/stat : 16429 (java) S 16427 16429 15115 0 -1 4202496 3275 0 1 0 0 0 0 0 25 0 2 0 855983356 10694979584 2979 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/16429/statm: 2611079 2993 917 9 0 2602235 0
[pid=16429/tid=16430] ppid=16427 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16430/stat : 16430 (java) R 16427 16429 15115 0 -1 4202560 6222 0 1 0 0 0 0 0 25 0 2 0 855983357 10694979584 7038 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0789189 s]
/proc/loadavg: 3.69 3.56 3.56 3/482 16429
/proc/meminfo: memFree=24032812/32951124 swapFree=41830676/67111528
[pid=16429] ppid=16427 vsize=10539200 CPUtime=0.07 cores=0,2,4,6
/proc/16429/stat : 16429 (java) S 16427 16429 15115 0 -1 4202496 12458 0 1 0 6 1 0 0 25 0 18 0 855983356 10792140800 12140 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16429/statm: 2634800 12148 1982 9 0 2625534 0
[pid=16429/tid=16430] ppid=16427 vsize=10539200 CPUtime=0.07 cores=0,2,4,6
/proc/16429/task/16430/stat : 16430 (java) S 16427 16429 15115 0 -1 4202560 10927 0 1 0 6 1 0 0 18 0 18 0 855983357 10792140800 12153 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134543327 0 2147483391 0 16800975 18446744071699207358 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10539200
[startup+0.114731 s]
/proc/loadavg: 3.69 3.56 3.56 3/482 16429
/proc/meminfo: memFree=24032812/32951124 swapFree=41830676/67111528
[pid=16429] ppid=16427 vsize=10539868 CPUtime=0.13 cores=0,2,4,6
/proc/16429/stat : 16429 (java) S 16427 16429 15115 0 -1 4202496 13321 0 1 0 11 2 0 0 25 0 18 0 855983356 10792824832 12961 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16429/statm: 2634967 12962 2133 9 0 2625701 0
[pid=16429/tid=16430] ppid=16427 vsize=10539868 CPUtime=0.1 cores=0,2,4,6
/proc/16429/task/16430/stat : 16430 (java) R 16427 16429 15115 0 -1 4202560 11286 0 1 0 9 1 0 0 18 0 18 0 855983357 10792824832 12962 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228122709940 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10539868
[startup+0.300642 s]
/proc/loadavg: 3.69 3.56 3.56 3/482 16429
/proc/meminfo: memFree=24032812/32951124 swapFree=41830676/67111528
[pid=16429] ppid=16427 vsize=10539868 CPUtime=0.48 cores=0,2,4,6
/proc/16429/stat : 16429 (java) S 16427 16429 15115 0 -1 4202496 16151 0 1 0 46 2 0 0 25 0 18 0 855983356 10792824832 15265 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16429/statm: 2634967 15253 2198 9 0 2625701 0
[pid=16429/tid=16430] ppid=16427 vsize=10539868 CPUtime=0.28 cores=0,2,4,6
/proc/16429/task/16430/stat : 16430 (java) R 16427 16429 15115 0 -1 4202560 12889 0 1 0 27 1 0 0 18 0 18 0 855983357 10792824832 15253 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 46912505530869 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10539868
[startup+0.701889 s]
/proc/loadavg: 3.69 3.56 3.56 3/482 16429
/proc/meminfo: memFree=24032812/32951124 swapFree=41830676/67111528
[pid=16429] ppid=16427 vsize=10547832 CPUtime=1.69 cores=0,2,4,6
/proc/16429/stat : 16429 (java) S 16427 16429 15115 0 -1 4202496 30228 0 1 0 165 4 0 0 25 0 22 0 855983356 10800979968 26398 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16429/statm: 2636958 26405 2239 9 0 2627692 0
[pid=16429/tid=16430] ppid=16427 vsize=10547832 CPUtime=0.48 cores=0,2,4,6
/proc/16429/task/16430/stat : 16430 (java) S 16427 16429 15115 0 -1 4202560 21058 0 1 0 46 2 0 0 19 0 22 0 855983357 10800979968 26405 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 10547832
[startup+1.50146 s]
/proc/loadavg: 3.69 3.56 3.56 5/504 16451
/proc/meminfo: memFree=23865184/32951124 swapFree=41830676/67111528
[pid=16429] ppid=16427 vsize=10547832 CPUtime=3.65 cores=0,2,4,6
/proc/16429/stat : 16429 (java) S 16427 16429 15115 0 -1 4202496 62754 0 1 0 357 8 0 0 25 0 22 0 855983356 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16429/statm: 2636958 58260 2267 9 0 2627692 0
[pid=16429/tid=16430] ppid=16427 vsize=10547832 CPUtime=0.48 cores=0,2,4,6
/proc/16429/task/16430/stat : 16430 (java) S 16427 16429 15115 0 -1 4202560 21058 0 1 0 46 2 0 0 15 0 22 0 855983357 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
[pid=16429/tid=16432] ppid=16427 vsize=10547832 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16432/stat : 16432 (java) S 16427 16429 15115 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 855983359 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16433] ppid=16427 vsize=10547832 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16433/stat : 16433 (java) S 16427 16429 15115 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 855983359 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16434] ppid=16427 vsize=10547832 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16434/stat : 16434 (java) S 16427 16429 15115 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 855983359 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16435] ppid=16427 vsize=10547832 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16435/stat : 16435 (java) S 16427 16429 15115 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 855983359 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16436] ppid=16427 vsize=10547832 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16436/stat : 16436 (java) S 16427 16429 15115 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 855983359 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16437] ppid=16427 vsize=10547832 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16437/stat : 16437 (java) S 16427 16429 15115 0 -1 4202560 369 0 0 0 0 0 0 0 18 0 22 0 855983359 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 4 0 0 0
[pid=16429/tid=16438] ppid=16427 vsize=10547832 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16438/stat : 16438 (java) S 16427 16429 15115 0 -1 4202560 459 0 0 0 0 0 0 0 18 0 22 0 855983359 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 4 0 0 0
[pid=16429/tid=16439] ppid=16427 vsize=10547832 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16439/stat : 16439 (java) S 16427 16429 15115 0 -1 4202560 465 0 0 0 0 0 0 0 18 0 22 0 855983359 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16440] ppid=16427 vsize=10547832 CPUtime=0.02 cores=0,2,4,6
/proc/16429/task/16440/stat : 16440 (java) S 16427 16429 15115 0 -1 4202560 1288 0 0 0 2 0 0 0 16 0 22 0 855983360 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 0 0 16800975 18446604442688037248 0 0 -1 0 0 0 0
[pid=16429/tid=16441] ppid=16427 vsize=10547832 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16441/stat : 16441 (java) S 16427 16429 15115 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 855983360 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
[pid=16429/tid=16442] ppid=16427 vsize=10547832 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16442/stat : 16442 (java) S 16427 16429 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855983360 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
[pid=16429/tid=16443] ppid=16427 vsize=10547832 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16443/stat : 16443 (java) S 16427 16429 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855983362 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134537649 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16444] ppid=16427 vsize=10547832 CPUtime=0.6 cores=0,2,4,6
/proc/16429/task/16444/stat : 16444 (java) S 16427 16429 15115 0 -1 4202560 2706 0 0 0 60 0 0 0 16 0 22 0 855983362 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
[pid=16429/tid=16445] ppid=16427 vsize=10547832 CPUtime=0.63 cores=0,2,4,6
/proc/16429/task/16445/stat : 16445 (java) S 16427 16429 15115 0 -1 4202560 4861 0 0 0 63 0 0 0 15 0 22 0 855983362 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16446] ppid=16427 vsize=10547832 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16446/stat : 16446 (java) S 16427 16429 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855983362 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16447] ppid=16427 vsize=10547832 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16447/stat : 16447 (java) S 16427 16429 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 855983362 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16448] ppid=16427 vsize=10547832 CPUtime=0.96 cores=0,2,4,6
/proc/16429/task/16448/stat : 16448 (java) R 16427 16429 15115 0 -1 4202560 353 0 0 0 96 0 0 0 23 0 22 0 855983406 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 46912505953906 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16429/tid=16449] ppid=16427 vsize=10547832 CPUtime=0.89 cores=0,2,4,6
/proc/16429/task/16449/stat : 16449 (java) R 16427 16429 15115 0 -1 4202560 30033 0 0 0 86 3 0 0 17 0 22 0 855983406 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 46912506037547 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16429/tid=16450] ppid=16427 vsize=10547832 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16450/stat : 16450 (java) S 16427 16429 15115 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 855983409 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 4 0 16800975 18446604442688037248 0 0 -1 0 0 0 0
[pid=16429/tid=16451] ppid=16427 vsize=10547832 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16451/stat : 16451 (java) S 16427 16429 15115 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 855983410 10800979968 58260 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 10547832
[startup+3.10418 s]
/proc/loadavg: 3.71 3.57 3.56 5/504 16451
/proc/meminfo: memFree=23735232/32951124 swapFree=41830676/67111528
[pid=16429] ppid=16427 vsize=10558516 CPUtime=7.09 cores=0,2,4,6
/proc/16429/stat : 16429 (java) S 16427 16429 15115 0 -1 4202496 95201 0 1 0 698 11 0 0 25 0 22 0 855983356 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16429/statm: 2639629 88921 2267 9 0 2630363 0
[pid=16429/tid=16430] ppid=16427 vsize=10558516 CPUtime=0.48 cores=0,2,4,6
/proc/16429/task/16430/stat : 16430 (java) S 16427 16429 15115 0 -1 4202560 21058 0 1 0 46 2 0 0 15 0 22 0 855983357 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
[pid=16429/tid=16432] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16432/stat : 16432 (java) S 16427 16429 15115 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 22 0 855983359 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 4 0 0 0
[pid=16429/tid=16433] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16433/stat : 16433 (java) S 16427 16429 15115 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 855983359 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16434] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16434/stat : 16434 (java) S 16427 16429 15115 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 22 0 855983359 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16435] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16435/stat : 16435 (java) S 16427 16429 15115 0 -1 4202560 145 0 0 0 0 0 0 0 15 0 22 0 855983359 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 4 0 0 0
[pid=16429/tid=16436] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16436/stat : 16436 (java) S 16427 16429 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 855983359 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16437] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16437/stat : 16437 (java) S 16427 16429 15115 0 -1 4202560 369 0 0 0 0 0 0 0 15 0 22 0 855983359 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 4 0 0 0
[pid=16429/tid=16438] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16438/stat : 16438 (java) S 16427 16429 15115 0 -1 4202560 459 0 0 0 0 0 0 0 15 0 22 0 855983359 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16439] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16439/stat : 16439 (java) S 16427 16429 15115 0 -1 4202560 466 0 0 0 0 0 0 0 15 0 22 0 855983359 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16440] ppid=16427 vsize=10558516 CPUtime=0.1 cores=0,2,4,6
/proc/16429/task/16440/stat : 16440 (java) R 16427 16429 15115 0 -1 4202560 1820 0 0 0 10 0 0 0 16 0 22 0 855983360 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 47667603066005 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=16429/tid=16441] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16441/stat : 16441 (java) S 16427 16429 15115 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 855983360 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
[pid=16429/tid=16442] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16442/stat : 16442 (java) S 16427 16429 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855983360 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
[pid=16429/tid=16443] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16443/stat : 16443 (java) S 16427 16429 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855983362 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134537649 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16444] ppid=16427 vsize=10558516 CPUtime=0.68 cores=0,2,4,6
/proc/16429/task/16444/stat : 16444 (java) S 16427 16429 15115 0 -1 4202560 3534 0 0 0 68 0 0 0 15 0 22 0 855983362 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
[pid=16429/tid=16445] ppid=16427 vsize=10558516 CPUtime=0.87 cores=0,2,4,6
/proc/16429/task/16445/stat : 16445 (java) S 16427 16429 15115 0 -1 4202560 8849 0 0 0 86 1 0 0 15 0 22 0 855983362 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16446] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16446/stat : 16446 (java) S 16427 16429 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855983362 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16447] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16447/stat : 16447 (java) S 16427 16429 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 855983362 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
[pid=16429/tid=16448] ppid=16427 vsize=10558516 CPUtime=2.48 cores=0,2,4,6
/proc/16429/task/16448/stat : 16448 (java) S 16427 16429 15115 0 -1 4202560 355 0 0 0 248 0 0 0 25 0 22 0 855983406 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 0 0 0 0
[pid=16429/tid=16449] ppid=16427 vsize=10558516 CPUtime=2.39 cores=0,2,4,6
/proc/16429/task/16449/stat : 16449 (java) S 16427 16429 15115 0 -1 4202560 56668 0 0 0 234 5 0 0 18 0 22 0 855983406 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 4 0 0 0
[pid=16429/tid=16450] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16450/stat : 16450 (java) S 16427 16429 15115 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 855983409 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 4 0 16800975 18446604442688037248 0 0 -1 0 0 0 0
[pid=16429/tid=16451] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16451/stat : 16451 (java) S 16427 16429 15115 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 855983410 10811920384 88921 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 10558516
Solver just ended. Dumping a history of the last processes samples
[startup+4.70085 s]
/proc/loadavg: 3.71 3.57 3.56 5/504 16451
/proc/meminfo: memFree=23678644/32951124 swapFree=41830676/67111528
[pid=16429] ppid=16427 vsize=10558516 CPUtime=10.05 cores=0,2,4,6
/proc/16429/stat : 16429 (java) S 16427 16429 15115 0 -1 4202496 96279 0 1 0 994 11 0 0 25 0 22 0 855983356 10811920384 89985 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16429/statm: 2639629 89985 2268 9 0 2630363 0
[pid=16429/tid=16430] ppid=16427 vsize=10558516 CPUtime=0.5 cores=0,2,4,6
/proc/16429/task/16430/stat : 16430 (java) S 16427 16429 15115 0 -1 4202560 21074 0 1 0 48 2 0 0 17 0 22 0 855983357 10811920384 89985 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 4 0 16800975 18446604442688037248 0 0 -1 4 0 0 0
[pid=16429/tid=16432] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16432/stat : 16432 (java) S 16427 16429 15115 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 22 0 855983359 10811920384 89985 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 4 0 0 0
[pid=16429/tid=16433] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16433/stat : 16433 (java) S 16427 16429 15115 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 855983359 10811920384 89985 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16434] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16434/stat : 16434 (java) S 16427 16429 15115 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 22 0 855983359 10811920384 89985 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
[pid=16429/tid=16435] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16435/stat : 16435 (java) S 16427 16429 15115 0 -1 4202560 148 0 0 0 0 0 0 0 15 0 22 0 855983359 10811920384 89985 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 4 0 0 0
[pid=16429/tid=16436] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16436/stat : 16436 (java) S 16427 16429 15115 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 855983359 10811920384 89985 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16437] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16437/stat : 16437 (java) S 16427 16429 15115 0 -1 4202560 369 0 0 0 0 0 0 0 15 0 22 0 855983359 10811920384 89985 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 4 0 0 0
[pid=16429/tid=16438] ppid=16427 vsize=10558516 CPUtime=0.01 cores=0,2,4,6
/proc/16429/task/16438/stat : 16438 (java) S 16427 16429 15115 0 -1 4202560 460 0 0 0 1 0 0 0 15 0 22 0 855983359 10811920384 89985 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16439] ppid=16427 vsize=10558516 CPUtime=0.01 cores=0,2,4,6
/proc/16429/task/16439/stat : 16439 (java) S 16427 16429 15115 0 -1 4202560 470 0 0 0 1 0 0 0 15 0 22 0 855983359 10811920384 89985 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16440] ppid=16427 vsize=10558516 CPUtime=0.19 cores=0,2,4,6
/proc/16429/task/16440/stat : 16440 (java) R 16427 16429 15115 0 -1 4202560 2825 0 0 0 19 0 0 0 15 0 22 0 855983360 10811920384 89985 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 47667606260879 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=16429/tid=16441] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16441/stat : 16441 (java) S 16427 16429 15115 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 855983360 10811920384 89985 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
[pid=16429/tid=16442] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16442/stat : 16442 (java) S 16427 16429 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855983360 10811920384 89985 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
[pid=16429/tid=16443] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16443/stat : 16443 (java) S 16427 16429 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855983362 10811920384 89985 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134537649 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16444] ppid=16427 vsize=10558516 CPUtime=0.73 cores=0,2,4,6
/proc/16429/task/16444/stat : 16444 (java) S 16427 16429 15115 0 -1 4202560 3573 0 0 0 73 0 0 0 15 0 22 0 855983362 10811920384 89985 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16445] ppid=16427 vsize=10558516 CPUtime=0.93 cores=0,2,4,6
/proc/16429/task/16445/stat : 16445 (java) S 16427 16429 15115 0 -1 4202560 8852 0 0 0 92 1 0 0 15 0 22 0 855983362 10811920384 89985 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 0 0 0 0
[pid=16429/tid=16446] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16446/stat : 16446 (java) S 16427 16429 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855983362 10811920384 89985 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16447] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16447/stat : 16447 (java) S 16427 16429 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 855983362 10811920384 89985 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
[pid=16429/tid=16450] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16450/stat : 16450 (java) S 16427 16429 15115 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 855983409 10811920384 89985 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 4 0 16800975 18446604442688037248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.05
Current children cumulated vsize (KiB) 10558516
[startup+5.51775 s]
/proc/loadavg: 3.71 3.57 3.56 6/504 16454
/proc/meminfo: memFree=23678148/32951124 swapFree=41830676/67111528
[pid=16429] ppid=16427 vsize=10558516 CPUtime=11.69 cores=0,2,4,6
/proc/16429/stat : 16429 (java) S 16427 16429 15115 0 -1 4202496 96805 0 1 0 1158 11 0 0 25 0 22 0 855983356 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16429/statm: 2639629 89737 2268 9 0 2630363 0
[pid=16429/tid=16430] ppid=16427 vsize=10558516 CPUtime=0.5 cores=0,2,4,6
/proc/16429/task/16430/stat : 16430 (java) S 16427 16429 15115 0 -1 4202560 21074 0 1 0 48 2 0 0 15 0 22 0 855983357 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 4 0 16800975 18446604442688037248 0 0 -1 4 0 0 0
[pid=16429/tid=16432] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16432/stat : 16432 (java) S 16427 16429 15115 0 -1 4202560 172 0 0 0 0 0 0 0 16 0 22 0 855983359 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 4 0 0 0
[pid=16429/tid=16433] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16433/stat : 16433 (java) S 16427 16429 15115 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 855983359 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16434] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16434/stat : 16434 (java) S 16427 16429 15115 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 22 0 855983359 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
[pid=16429/tid=16435] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16435/stat : 16435 (java) S 16427 16429 15115 0 -1 4202560 148 0 0 0 0 0 0 0 16 0 22 0 855983359 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
[pid=16429/tid=16436] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16436/stat : 16436 (java) S 16427 16429 15115 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 22 0 855983359 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16437] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16437/stat : 16437 (java) S 16427 16429 15115 0 -1 4202560 369 0 0 0 0 0 0 0 15 0 22 0 855983359 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 4 0 0 0
[pid=16429/tid=16438] ppid=16427 vsize=10558516 CPUtime=0.01 cores=0,2,4,6
/proc/16429/task/16438/stat : 16438 (java) S 16427 16429 15115 0 -1 4202560 460 0 0 0 1 0 0 0 15 0 22 0 855983359 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16439] ppid=16427 vsize=10558516 CPUtime=0.01 cores=0,2,4,6
/proc/16429/task/16439/stat : 16439 (java) S 16427 16429 15115 0 -1 4202560 470 0 0 0 1 0 0 0 15 0 22 0 855983359 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16440] ppid=16427 vsize=10558516 CPUtime=0.25 cores=0,2,4,6
/proc/16429/task/16440/stat : 16440 (java) S 16427 16429 15115 0 -1 4202560 3030 0 0 0 25 0 0 0 15 0 22 0 855983360 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 0 0 16800975 18446604442688037248 0 0 -1 0 0 0 0
[pid=16429/tid=16441] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16441/stat : 16441 (java) S 16427 16429 15115 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 855983360 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 0 0 0 0
[pid=16429/tid=16442] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16442/stat : 16442 (java) S 16427 16429 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855983360 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 0 0 0 0
[pid=16429/tid=16443] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16443/stat : 16443 (java) S 16427 16429 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855983362 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134537649 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16444] ppid=16427 vsize=10558516 CPUtime=0.75 cores=0,2,4,6
/proc/16429/task/16444/stat : 16444 (java) S 16427 16429 15115 0 -1 4202560 3889 0 0 0 75 0 0 0 15 0 22 0 855983362 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16445] ppid=16427 vsize=10558516 CPUtime=0.97 cores=0,2,4,6
/proc/16429/task/16445/stat : 16445 (java) S 16427 16429 15115 0 -1 4202560 8855 0 0 0 96 1 0 0 15 0 22 0 855983362 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 0 0 0 0
[pid=16429/tid=16446] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16446/stat : 16446 (java) S 16427 16429 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855983362 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16447] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16447/stat : 16447 (java) S 16427 16429 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 855983362 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
[pid=16429/tid=16450] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16450/stat : 16450 (java) S 16427 16429 15115 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 855983409 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 4 0 16800975 18446604442688037248 0 0 -1 0 0 0 0
[pid=16429/tid=16452] ppid=16427 vsize=10558516 CPUtime=0.9 cores=0,2,4,6
/proc/16429/task/16452/stat : 16452 (java) R 16427 16429 15115 0 -1 4202560 2 0 0 0 90 0 0 0 18 0 22 0 855983810 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 46912505870759 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16429/tid=16453] ppid=16427 vsize=10558516 CPUtime=0.9 cores=0,2,4,6
/proc/16429/task/16453/stat : 16453 (java) R 16427 16429 15115 0 -1 4202560 4 0 0 0 90 0 0 0 19 0 22 0 855983810 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 46912505974465 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16429/tid=16454] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16454/stat : 16454 (java) S 16427 16429 15115 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 855983811 10811920384 89737 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 4 0 16800975 18446604442688037248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.69
Current children cumulated vsize (KiB) 10558516
[startup+5.9007 s]
/proc/loadavg: 3.71 3.57 3.56 6/504 16454
/proc/meminfo: memFree=23678148/32951124 swapFree=41830676/67111528
[pid=16429] ppid=16427 vsize=10558516 CPUtime=12.17 cores=0,2,4,6
/proc/16429/stat : 16429 (java) S 16427 16429 15115 0 -1 4202496 96860 0 1 0 1205 12 0 0 25 0 19 0 855983356 10811920384 89791 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16429/statm: 2639629 89791 2268 9 0 2630363 0
[pid=16429/tid=16430] ppid=16427 vsize=10558516 CPUtime=0.5 cores=0,2,4,6
/proc/16429/task/16430/stat : 16430 (java) S 16427 16429 15115 0 -1 4202560 21074 0 1 0 48 2 0 0 15 0 19 0 855983357 10811920384 89791 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 4 0 16800975 18446604442688037248 0 0 -1 4 0 0 0
[pid=16429/tid=16432] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16432/stat : 16432 (java) S 16427 16429 15115 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 855983359 10811920384 89791 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 4 0 0 0
[pid=16429/tid=16433] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16433/stat : 16433 (java) S 16427 16429 15115 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 855983359 10811920384 89791 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16434] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16434/stat : 16434 (java) S 16427 16429 15115 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 855983359 10811920384 89791 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 4 0 0 0
[pid=16429/tid=16435] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16435/stat : 16435 (java) S 16427 16429 15115 0 -1 4202560 148 0 0 0 0 0 0 0 15 0 19 0 855983359 10811920384 89791 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
[pid=16429/tid=16436] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16436/stat : 16436 (java) S 16427 16429 15115 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 855983359 10811920384 89791 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16437] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16437/stat : 16437 (java) S 16427 16429 15115 0 -1 4202560 369 0 0 0 0 0 0 0 15 0 19 0 855983359 10811920384 89791 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 4 0 0 0
[pid=16429/tid=16438] ppid=16427 vsize=10558516 CPUtime=0.01 cores=0,2,4,6
/proc/16429/task/16438/stat : 16438 (java) S 16427 16429 15115 0 -1 4202560 460 0 0 0 1 0 0 0 16 0 19 0 855983359 10811920384 89791 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16439] ppid=16427 vsize=10558516 CPUtime=0.01 cores=0,2,4,6
/proc/16429/task/16439/stat : 16439 (java) S 16427 16429 15115 0 -1 4202560 470 0 0 0 1 0 0 0 16 0 19 0 855983359 10811920384 89791 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
[pid=16429/tid=16440] ppid=16427 vsize=10558516 CPUtime=0.29 cores=0,2,4,6
/proc/16429/task/16440/stat : 16440 (java) S 16427 16429 15115 0 -1 4202560 3084 0 0 0 29 0 0 0 15 0 19 0 855983360 10811920384 89791 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 0 0 16800975 18446604442688037248 0 0 -1 0 0 0 0
[pid=16429/tid=16441] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16441/stat : 16441 (java) S 16427 16429 15115 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 855983360 10811920384 89791 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 0 0 0 0
[pid=16429/tid=16442] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16442/stat : 16442 (java) S 16427 16429 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 855983360 10811920384 89791 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 0 0 0 0
[pid=16429/tid=16443] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16443/stat : 16443 (java) S 16427 16429 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855983362 10811920384 89791 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134537649 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16444] ppid=16427 vsize=10558516 CPUtime=0.75 cores=0,2,4,6
/proc/16429/task/16444/stat : 16444 (java) S 16427 16429 15115 0 -1 4202560 3889 0 0 0 75 0 0 0 15 0 19 0 855983362 10811920384 89791 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16445] ppid=16427 vsize=10558516 CPUtime=0.97 cores=0,2,4,6
/proc/16429/task/16445/stat : 16445 (java) S 16427 16429 15115 0 -1 4202560 8855 0 0 0 96 1 0 0 15 0 19 0 855983362 10811920384 89791 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 0 0 0 0
[pid=16429/tid=16446] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16446/stat : 16446 (java) S 16427 16429 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855983362 10811920384 89791 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134529945 0 4 0 16800975 18446604442688037248 0 0 -1 6 0 0 0
[pid=16429/tid=16447] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16447/stat : 16447 (java) S 16427 16429 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 855983362 10811920384 89791 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 4 0 16800975 18446604442688037248 0 0 -1 2 0 0 0
[pid=16429/tid=16450] ppid=16427 vsize=10558516 CPUtime=0 cores=0,2,4,6
/proc/16429/task/16450/stat : 16450 (java) S 16427 16429 15115 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 855983409 10811920384 89791 33554432000 1073741824 1073778376 140736027418464 18446744073709551615 228134530560 0 4 0 16800975 18446604442688037248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.17
Current children cumulated vsize (KiB) 10558516
[startup+6.10066 s]
/proc/loadavg: 3.71 3.57 3.56 6/504 16454
/proc/meminfo: memFree=23678148/32951124 swapFree=41830676/67111528
[pid=16429] ppid=16427 vsize=0 CPUtime=12.24 cores=0,2,4,6
/proc/16429/stat : 16429 (java) Z 16427 16429 15115 0 -1 4203548 96874 0 1 0 1211 13 0 0 18 0 2 0 855983356 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16429/statm: 0 0 0 0 0 0 0
[pid=16429/tid=16430] ppid=16427 vsize=0 CPUtime=0.53 cores=0,2,4,6
/proc/16429/task/16430/stat : 16430 (java) R 16427 16429 15115 0 -1 4203588 21077 0 1 0 49 4 0 0 16 0 2 0 855983357 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 6.10536
CPU time (s): 12.2541
CPU user time (s): 12.1172
CPU system time (s): 0.136979
CPU usage (%): 200.711
Max. virtual memory (cumulated for all children) (KiB): 10558516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.1172
system time used= 0.136979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96874
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= 767
involuntary context switches= 280
runsolver used 0.039993 second user time and 0.06399 second system time
The end