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-3478847-1307438734/watcher-3478847-1307438734 -o /tmp/evaluation-result-3478847-1307438734/solver-3478847-1307438734 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3478847-1307438734.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.93 3.93 3.40 3/482 15442
/proc/meminfo: memFree=24966448/32951124 swapFree=41830676/67111528
[pid=15442] ppid=15440 vsize=35820 CPUtime=0 cores=1,3,5,7
/proc/15442/stat : 15442 (java) S 15440 15442 15115 0 -1 4202496 1363 0 1 0 0 0 0 0 23 0 2 0 855471444 36679680 1066 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/15442/statm: 8955 1066 828 9 0 386 0
[pid=15442/tid=15443] ppid=15440 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15443/stat : 15443 (java) R 15440 15442 15115 0 -1 4202560 3660 0 1 0 0 0 0 0 24 0 2 0 855471444 10694979584 4476 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.046952 s]
/proc/loadavg: 3.93 3.93 3.40 3/482 15442
/proc/meminfo: memFree=24966448/32951124 swapFree=41830676/67111528
[pid=15442] ppid=15440 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/15442/stat : 15442 (java) S 15440 15442 15115 0 -1 4202496 11274 0 1 0 2 1 0 0 23 0 13 0 855471444 10718699520 10971 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/15442/statm: 2616870 10971 1673 9 0 2607618 0
[pid=15442/tid=15443] ppid=15440 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/15442/task/15443/stat : 15443 (java) R 15440 15442 15115 0 -1 4202560 10126 0 1 0 2 0 0 0 25 0 13 0 855471444 10718699520 10971 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 47084836510694 0 4 0 16784584 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100943 s]
/proc/loadavg: 3.93 3.93 3.40 3/482 15442
/proc/meminfo: memFree=24966448/32951124 swapFree=41830676/67111528
[pid=15442] ppid=15440 vsize=10605360 CPUtime=0.1 cores=1,3,5,7
/proc/15442/stat : 15442 (java) S 15440 15442 15115 0 -1 4202496 13061 0 1 0 9 1 0 0 23 0 18 0 855471444 10859888640 12734 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15442/statm: 2651340 12734 2092 9 0 2642074 0
[pid=15442/tid=15443] ppid=15440 vsize=10605360 CPUtime=0.08 cores=1,3,5,7
/proc/15442/task/15443/stat : 15443 (java) R 15440 15442 15115 0 -1 4202560 11109 0 1 0 7 1 0 0 25 0 18 0 855471444 10859888640 12734 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 46912496202573 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605360
[startup+0.300907 s]
/proc/loadavg: 3.93 3.93 3.40 3/482 15442
/proc/meminfo: memFree=24966448/32951124 swapFree=41830676/67111528
[pid=15442] ppid=15440 vsize=10606236 CPUtime=0.47 cores=1,3,5,7
/proc/15442/stat : 15442 (java) S 15440 15442 15115 0 -1 4202496 17181 0 1 0 45 2 0 0 23 0 18 0 855471444 10860785664 16492 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15442/statm: 2651559 16492 2198 9 0 2642293 0
[pid=15442/tid=15443] ppid=15440 vsize=10606236 CPUtime=0.28 cores=1,3,5,7
/proc/15442/task/15443/stat : 15443 (java) R 15440 15442 15115 0 -1 4202560 14199 0 1 0 26 2 0 0 25 0 18 0 855471444 10860785664 16492 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 46912505182419 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10606236
[startup+0.70087 s]
/proc/loadavg: 3.93 3.93 3.40 3/482 15442
/proc/meminfo: memFree=24966448/32951124 swapFree=41830676/67111528
[pid=15442] ppid=15440 vsize=10610768 CPUtime=1.22 cores=1,3,5,7
/proc/15442/stat : 15442 (java) S 15440 15442 15115 0 -1 4202496 59922 0 1 0 114 8 0 0 23 0 18 0 855471444 10865426432 57669 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15442/statm: 2652692 57674 2214 9 0 2643426 0
[pid=15442/tid=15443] ppid=15440 vsize=10610768 CPUtime=0.68 cores=1,3,5,7
/proc/15442/task/15443/stat : 15443 (java) R 15440 15442 15115 0 -1 4202560 53582 0 1 0 61 7 0 0 18 0 18 0 855471444 10865426432 57677 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 46912505617438 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 10610768
[startup+1.50073 s]
/proc/loadavg: 3.93 3.93 3.40 4/500 15460
/proc/meminfo: memFree=24573120/32951124 swapFree=41830676/67111528
[pid=15442] ppid=15440 vsize=10610768 CPUtime=2.09 cores=1,3,5,7
/proc/15442/stat : 15442 (java) S 15440 15442 15115 0 -1 4202496 174139 0 1 0 190 19 0 0 23 0 18 0 855471444 10865426432 171885 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15442/statm: 2652692 171889 2214 9 0 2643426 0
[pid=15442/tid=15443] ppid=15440 vsize=10610768 CPUtime=1.48 cores=1,3,5,7
/proc/15442/task/15443/stat : 15443 (java) R 15440 15442 15115 0 -1 4202560 167750 0 1 0 130 18 0 0 19 0 18 0 855471444 10865426432 171889 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134540747 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15442/tid=15445] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15445/stat : 15445 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855471446 10865426432 171891 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15446] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15446/stat : 15446 (java) S 15440 15442 15115 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 855471446 10865426432 171894 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15447] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15447/stat : 15447 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855471446 10865426432 171896 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15448] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15448/stat : 15448 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855471446 10865426432 171899 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15449] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15449/stat : 15449 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855471446 10865426432 171902 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15450] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15450/stat : 15450 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855471446 10865426432 171905 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15451] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15451/stat : 15451 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855471446 10865426432 171908 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15452] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15452/stat : 15452 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855471446 10865426432 171911 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15453] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15453/stat : 15453 (java) S 15440 15442 15115 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855471447 10865426432 171914 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134530560 0 0 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15454] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15454/stat : 15454 (java) S 15440 15442 15115 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855471448 10865426432 171917 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15455] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15455/stat : 15455 (java) S 15440 15442 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855471448 10865426432 171920 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15456] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15456/stat : 15456 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855471450 10865426432 171923 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134537649 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15457] ppid=15440 vsize=10610768 CPUtime=0.3 cores=1,3,5,7
/proc/15442/task/15457/stat : 15457 (java) S 15440 15442 15115 0 -1 4202560 2028 0 0 0 30 0 0 0 19 0 18 0 855471450 10865426432 171926 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15458] ppid=15440 vsize=10610768 CPUtime=0.29 cores=1,3,5,7
/proc/15442/task/15458/stat : 15458 (java) S 15440 15442 15115 0 -1 4202560 3214 0 0 0 29 0 0 0 19 0 18 0 855471450 10865426432 171929 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15459] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15459/stat : 15459 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855471450 10865426432 171932 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15460] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15460/stat : 15460 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855471450 10865426432 171934 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134530560 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 10610768
[startup+3.10143 s]
/proc/loadavg: 3.85 3.92 3.39 3/500 15460
/proc/meminfo: memFree=23931916/32951124 swapFree=41830676/67111528
[pid=15442] ppid=15440 vsize=10610768 CPUtime=3.75 cores=1,3,5,7
/proc/15442/stat : 15442 (java) S 15440 15442 15115 0 -1 4202496 403539 0 1 0 329 46 0 0 23 0 18 0 855471444 10865426432 401286 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15442/statm: 2652692 401291 2214 9 0 2643426 0
[pid=15442/tid=15443] ppid=15440 vsize=10610768 CPUtime=3.08 cores=1,3,5,7
/proc/15442/task/15443/stat : 15443 (java) R 15440 15442 15115 0 -1 4202560 397149 0 1 0 264 44 0 0 23 0 18 0 855471444 10865426432 401293 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 46912505608719 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15442/tid=15445] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15445/stat : 15445 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855471446 10865426432 401296 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15446] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15446/stat : 15446 (java) S 15440 15442 15115 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 855471446 10865426432 401299 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15447] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15447/stat : 15447 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855471446 10865426432 401300 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15448] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15448/stat : 15448 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855471446 10865426432 401301 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15449] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15449/stat : 15449 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855471446 10865426432 401303 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15450] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15450/stat : 15450 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855471446 10865426432 401306 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15451] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15451/stat : 15451 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855471446 10865426432 401309 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15452] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15452/stat : 15452 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855471446 10865426432 401312 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15453] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15453/stat : 15453 (java) S 15440 15442 15115 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855471447 10865426432 401315 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134530560 0 0 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15454] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15454/stat : 15454 (java) S 15440 15442 15115 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855471448 10865426432 401317 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15455] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15455/stat : 15455 (java) S 15440 15442 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855471448 10865426432 401320 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15456] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15456/stat : 15456 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855471450 10865426432 401323 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134537649 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15457] ppid=15440 vsize=10610768 CPUtime=0.32 cores=1,3,5,7
/proc/15442/task/15457/stat : 15457 (java) S 15440 15442 15115 0 -1 4202560 2030 0 0 0 32 0 0 0 15 0 18 0 855471450 10865426432 401326 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15458] ppid=15440 vsize=10610768 CPUtime=0.32 cores=1,3,5,7
/proc/15442/task/15458/stat : 15458 (java) S 15440 15442 15115 0 -1 4202560 3217 0 0 0 32 0 0 0 15 0 18 0 855471450 10865426432 401329 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15459] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15459/stat : 15459 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855471450 10865426432 401332 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15460] ppid=15440 vsize=10610768 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15460/stat : 15460 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855471450 10865426432 401335 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134530560 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 10610768
[startup+6.30085 s]
/proc/loadavg: 3.85 3.92 3.39 4/500 15460
/proc/meminfo: memFree=22216556/32951124 swapFree=41830676/67111528
[pid=15442] ppid=15440 vsize=10609332 CPUtime=7.35 cores=1,3,5,7
/proc/15442/stat : 15442 (java) S 15440 15442 15115 0 -1 4202496 690531 0 1 0 653 82 0 0 23 0 18 0 855471444 10863955968 687885 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15442/statm: 2652333 687885 2230 9 0 2643067 0
[pid=15442/tid=15443] ppid=15440 vsize=10609332 CPUtime=6.13 cores=1,3,5,7
/proc/15442/task/15443/stat : 15443 (java) R 15440 15442 15115 0 -1 4202560 650826 0 1 0 536 77 0 0 18 0 18 0 855471444 10863955968 687885 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 46912505507332 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15442/tid=15445] ppid=15440 vsize=10609332 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15445/stat : 15445 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855471446 10863955968 687885 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15446] ppid=15440 vsize=10609332 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15446/stat : 15446 (java) S 15440 15442 15115 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855471446 10863955968 687885 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15447] ppid=15440 vsize=10609332 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15447/stat : 15447 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855471446 10863955968 687885 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15448] ppid=15440 vsize=10609332 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15448/stat : 15448 (java) S 15440 15442 15115 0 -1 4202560 128 0 0 0 0 0 0 0 18 0 18 0 855471446 10863955968 687885 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15449] ppid=15440 vsize=10609332 CPUtime=0.08 cores=1,3,5,7
/proc/15442/task/15449/stat : 15449 (java) S 15440 15442 15115 0 -1 4202560 4956 0 0 0 8 0 0 0 18 0 18 0 855471446 10863955968 687885 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 1 0 0 0
[pid=15442/tid=15450] ppid=15440 vsize=10609332 CPUtime=0.14 cores=1,3,5,7
/proc/15442/task/15450/stat : 15450 (java) S 15440 15442 15115 0 -1 4202560 8885 0 0 0 14 0 0 0 18 0 18 0 855471446 10863955968 687885 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15451] ppid=15440 vsize=10609332 CPUtime=0.14 cores=1,3,5,7
/proc/15442/task/15451/stat : 15451 (java) S 15440 15442 15115 0 -1 4202560 9932 0 0 0 13 1 0 0 18 0 18 0 855471446 10863955968 687885 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15452] ppid=15440 vsize=10609332 CPUtime=0.13 cores=1,3,5,7
/proc/15442/task/15452/stat : 15452 (java) S 15440 15442 15115 0 -1 4202560 9400 0 0 0 13 0 0 0 18 0 18 0 855471446 10863955968 687885 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15453] ppid=15440 vsize=10609332 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15453/stat : 15453 (java) S 15440 15442 15115 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 855471447 10863955968 687885 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134530560 0 0 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15454] ppid=15440 vsize=10609332 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15454/stat : 15454 (java) S 15440 15442 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 855471448 10863955968 687885 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15455] ppid=15440 vsize=10609332 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15455/stat : 15455 (java) S 15440 15442 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 855471448 10863955968 687885 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15456] ppid=15440 vsize=10609332 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15456/stat : 15456 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855471450 10863955968 687885 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134537649 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15457] ppid=15440 vsize=10609332 CPUtime=0.32 cores=1,3,5,7
/proc/15442/task/15457/stat : 15457 (java) S 15440 15442 15115 0 -1 4202560 2030 0 0 0 32 0 0 0 15 0 18 0 855471450 10863955968 687885 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15458] ppid=15440 vsize=10609332 CPUtime=0.32 cores=1,3,5,7
/proc/15442/task/15458/stat : 15458 (java) S 15440 15442 15115 0 -1 4202560 3217 0 0 0 32 0 0 0 15 0 18 0 855471450 10863955968 687885 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15459] ppid=15440 vsize=10609332 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15459/stat : 15459 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855471450 10863955968 687885 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15460] ppid=15440 vsize=10609332 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15460/stat : 15460 (java) S 15440 15442 15115 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 855471450 10863955968 687885 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134530560 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 3.98 4.00 3.73 5/504 15537
/proc/meminfo: memFree=21523004/32951124 swapFree=41830676/67111528
[pid=15442] ppid=15440 vsize=10621172 CPUtime=1605.94 cores=1,3,5,7
/proc/15442/stat : 15442 (java) S 15440 15442 15115 0 -1 4202496 1004613 0 1 0 160472 122 0 0 23 0 22 0 855471444 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15442/statm: 2655293 994167 2266 9 0 2646027 0
[pid=15442/tid=15443] ppid=15440 vsize=10621172 CPUtime=6.82 cores=1,3,5,7
/proc/15442/task/15443/stat : 15443 (java) S 15440 15442 15115 0 -1 4202560 650945 0 1 0 605 77 0 0 15 0 22 0 855471444 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134530560 0 4 0 16800975 18446604462593154048 0 0 -1 1 0 0 0
[pid=15442/tid=15445] ppid=15440 vsize=10621172 CPUtime=0.69 cores=1,3,5,7
/proc/15442/task/15445/stat : 15445 (java) S 15440 15442 15115 0 -1 4202560 26068 0 0 0 67 2 0 0 16 0 22 0 855471446 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 3 0 0 0
[pid=15442/tid=15446] ppid=15440 vsize=10621172 CPUtime=0.4 cores=1,3,5,7
/proc/15442/task/15446/stat : 15446 (java) S 15440 15442 15115 0 -1 4202560 8673 0 0 0 40 0 0 0 15 0 22 0 855471446 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15447] ppid=15440 vsize=10621172 CPUtime=0.48 cores=1,3,5,7
/proc/15442/task/15447/stat : 15447 (java) S 15440 15442 15115 0 -1 4202560 21203 0 0 0 45 3 0 0 15 0 22 0 855471446 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 1 0 0 0
[pid=15442/tid=15448] ppid=15440 vsize=10621172 CPUtime=0.3 cores=1,3,5,7
/proc/15442/task/15448/stat : 15448 (java) S 15440 15442 15115 0 -1 4202560 5068 0 0 0 30 0 0 0 15 0 22 0 855471446 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 3 0 0 0
[pid=15442/tid=15449] ppid=15440 vsize=10621172 CPUtime=0.58 cores=1,3,5,7
/proc/15442/task/15449/stat : 15449 (java) S 15440 15442 15115 0 -1 4202560 14686 0 0 0 57 1 0 0 16 0 22 0 855471446 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 1 0 0 0
[pid=15442/tid=15450] ppid=15440 vsize=10621172 CPUtime=0.81 cores=1,3,5,7
/proc/15442/task/15450/stat : 15450 (java) S 15440 15442 15115 0 -1 4202560 37090 0 0 0 76 5 0 0 16 0 22 0 855471446 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15451] ppid=15440 vsize=10621172 CPUtime=0.62 cores=1,3,5,7
/proc/15442/task/15451/stat : 15451 (java) S 15440 15442 15115 0 -1 4202560 17730 0 0 0 60 2 0 0 15 0 22 0 855471446 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 3 0 0 0
[pid=15442/tid=15452] ppid=15440 vsize=10621172 CPUtime=0.63 cores=1,3,5,7
/proc/15442/task/15452/stat : 15452 (java) S 15440 15442 15115 0 -1 4202560 28170 0 0 0 60 3 0 0 15 0 22 0 855471446 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 3 0 0 0
[pid=15442/tid=15453] ppid=15440 vsize=10621172 CPUtime=35.62 cores=1,3,5,7
/proc/15442/task/15453/stat : 15453 (java) S 15440 15442 15115 0 -1 4202560 139648 0 0 0 3546 16 0 0 15 0 22 0 855471447 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134530560 0 0 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15454] ppid=15440 vsize=10621172 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15454/stat : 15454 (java) S 15440 15442 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855471448 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15455] ppid=15440 vsize=10621172 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15455/stat : 15455 (java) S 15440 15442 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855471448 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15456] ppid=15440 vsize=10621172 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15456/stat : 15456 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855471450 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134537649 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15457] ppid=15440 vsize=10621172 CPUtime=1.12 cores=1,3,5,7
/proc/15442/task/15457/stat : 15457 (java) S 15440 15442 15115 0 -1 4202560 7476 0 0 0 112 0 0 0 15 0 22 0 855471450 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15458] ppid=15440 vsize=10621172 CPUtime=1.29 cores=1,3,5,7
/proc/15442/task/15458/stat : 15458 (java) S 15440 15442 15115 0 -1 4202560 6768 0 0 0 128 1 0 0 15 0 22 0 855471450 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 3 0 0 0
[pid=15442/tid=15459] ppid=15440 vsize=10621172 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15459/stat : 15459 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855471450 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15460] ppid=15440 vsize=10621172 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15460/stat : 15460 (java) S 15440 15442 15115 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 855471450 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134530560 0 4 0 16800975 18446604462593154048 0 0 -1 3 0 0 0
[pid=15442/tid=15461] ppid=15440 vsize=10621172 CPUtime=778.13 cores=1,3,5,7
/proc/15442/task/15461/stat : 15461 (java) R 15440 15442 15115 0 -1 4202560 37 0 0 0 77813 0 0 0 25 0 22 0 855472143 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 46912506043341 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15442/tid=15462] ppid=15440 vsize=10621172 CPUtime=778.3 cores=1,3,5,7
/proc/15442/task/15462/stat : 15462 (java) R 15440 15442 15115 0 -1 4202560 39841 0 0 0 77827 3 0 0 25 0 22 0 855472143 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 46912505951788 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15442/tid=15463] ppid=15440 vsize=10621172 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15463/stat : 15463 (java) S 15440 15442 15115 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 855472146 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134530560 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15464] ppid=15440 vsize=10621172 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15464/stat : 15464 (java) S 15440 15442 15115 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 22 0 855472148 10876080128 994167 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134530560 0 4 0 16800975 18446604462593154048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1605.94
Current children cumulated vsize (KiB) 10621172
[startup+882.301 s]
/proc/loadavg: 4.04 4.02 3.75 5/504 15539
/proc/meminfo: memFree=21335244/32951124 swapFree=41830676/67111528
[pid=15442] ppid=15440 vsize=10621172 CPUtime=1724.72 cores=1,3,5,7
/proc/15442/stat : 15442 (java) S 15440 15442 15115 0 -1 4202496 1008165 0 1 0 172350 122 0 0 23 0 22 0 855471444 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15442/statm: 2655293 997560 2266 9 0 2646027 0
[pid=15442/tid=15443] ppid=15440 vsize=10621172 CPUtime=6.82 cores=1,3,5,7
/proc/15442/task/15443/stat : 15443 (java) S 15440 15442 15115 0 -1 4202560 650947 0 1 0 605 77 0 0 15 0 22 0 855471444 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134530560 0 4 0 16800975 18446604462593154048 0 0 -1 1 0 0 0
[pid=15442/tid=15445] ppid=15440 vsize=10621172 CPUtime=0.73 cores=1,3,5,7
/proc/15442/task/15445/stat : 15445 (java) S 15440 15442 15115 0 -1 4202560 26464 0 0 0 71 2 0 0 16 0 22 0 855471446 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15446] ppid=15440 vsize=10621172 CPUtime=0.44 cores=1,3,5,7
/proc/15442/task/15446/stat : 15446 (java) S 15440 15442 15115 0 -1 4202560 8689 0 0 0 44 0 0 0 16 0 22 0 855471446 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 3 0 0 0
[pid=15442/tid=15447] ppid=15440 vsize=10621172 CPUtime=0.52 cores=1,3,5,7
/proc/15442/task/15447/stat : 15447 (java) S 15440 15442 15115 0 -1 4202560 21812 0 0 0 49 3 0 0 15 0 22 0 855471446 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 1 0 0 0
[pid=15442/tid=15448] ppid=15440 vsize=10621172 CPUtime=0.32 cores=1,3,5,7
/proc/15442/task/15448/stat : 15448 (java) S 15440 15442 15115 0 -1 4202560 5883 0 0 0 32 0 0 0 16 0 22 0 855471446 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 3 0 0 0
[pid=15442/tid=15449] ppid=15440 vsize=10621172 CPUtime=0.6 cores=1,3,5,7
/proc/15442/task/15449/stat : 15449 (java) S 15440 15442 15115 0 -1 4202560 15749 0 0 0 59 1 0 0 16 0 22 0 855471446 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 1 0 0 0
[pid=15442/tid=15450] ppid=15440 vsize=10621172 CPUtime=0.86 cores=1,3,5,7
/proc/15442/task/15450/stat : 15450 (java) S 15440 15442 15115 0 -1 4202560 37191 0 0 0 81 5 0 0 15 0 22 0 855471446 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 1 0 0 0
[pid=15442/tid=15451] ppid=15440 vsize=10621172 CPUtime=0.63 cores=1,3,5,7
/proc/15442/task/15451/stat : 15451 (java) S 15440 15442 15115 0 -1 4202560 17733 0 0 0 61 2 0 0 15 0 22 0 855471446 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15452] ppid=15440 vsize=10621172 CPUtime=0.65 cores=1,3,5,7
/proc/15442/task/15452/stat : 15452 (java) S 15440 15442 15115 0 -1 4202560 28170 0 0 0 62 3 0 0 15 0 22 0 855471446 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 3 0 0 0
[pid=15442/tid=15453] ppid=15440 vsize=10621172 CPUtime=36.92 cores=1,3,5,7
/proc/15442/task/15453/stat : 15453 (java) S 15440 15442 15115 0 -1 4202560 140189 0 0 0 3676 16 0 0 15 0 22 0 855471447 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134530560 0 0 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15454] ppid=15440 vsize=10621172 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15454/stat : 15454 (java) S 15440 15442 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855471448 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15455] ppid=15440 vsize=10621172 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15455/stat : 15455 (java) S 15440 15442 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855471448 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15456] ppid=15440 vsize=10621172 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15456/stat : 15456 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855471450 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134537649 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15457] ppid=15440 vsize=10621172 CPUtime=1.12 cores=1,3,5,7
/proc/15442/task/15457/stat : 15457 (java) S 15440 15442 15115 0 -1 4202560 7476 0 0 0 112 0 0 0 15 0 22 0 855471450 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15458] ppid=15440 vsize=10621172 CPUtime=1.29 cores=1,3,5,7
/proc/15442/task/15458/stat : 15458 (java) S 15440 15442 15115 0 -1 4202560 6768 0 0 0 128 1 0 0 15 0 22 0 855471450 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 3 0 0 0
[pid=15442/tid=15459] ppid=15440 vsize=10621172 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15459/stat : 15459 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855471450 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15460] ppid=15440 vsize=10621172 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15460/stat : 15460 (java) S 15440 15442 15115 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 855471450 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134530560 0 4 0 16800975 18446604462593154048 0 0 -1 3 0 0 0
[pid=15442/tid=15461] ppid=15440 vsize=10621172 CPUtime=836.74 cores=1,3,5,7
/proc/15442/task/15461/stat : 15461 (java) R 15440 15442 15115 0 -1 4202560 38 0 0 0 83674 0 0 0 23 0 22 0 855472143 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 46912506047583 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15442/tid=15462] ppid=15440 vsize=10621172 CPUtime=836.92 cores=1,3,5,7
/proc/15442/task/15462/stat : 15462 (java) R 15440 15442 15115 0 -1 4202560 39842 0 0 0 83689 3 0 0 23 0 22 0 855472143 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 46912506008448 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15442/tid=15463] ppid=15440 vsize=10621172 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15463/stat : 15463 (java) S 15440 15442 15115 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 855472146 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134530560 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15464] ppid=15440 vsize=10621172 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15464/stat : 15464 (java) S 15440 15442 15115 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 22 0 855472148 10876080128 997560 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134530560 0 4 0 16800975 18446604462593154048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1724.72
Current children cumulated vsize (KiB) 10621172
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+920.301 s]
/proc/loadavg: 4.02 4.01 3.75 5/504 15540
/proc/meminfo: memFree=21314160/32951124 swapFree=41830676/67111528
[pid=15442] ppid=15440 vsize=10621172 CPUtime=1800.1 cores=1,3,5,7
/proc/15442/stat : 15442 (java) S 15440 15442 15115 0 -1 4202496 1009580 0 1 0 179887 123 0 0 23 0 22 0 855471444 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15442/statm: 2655293 998972 2266 9 0 2646027 0
[pid=15442/tid=15443] ppid=15440 vsize=10621172 CPUtime=6.82 cores=1,3,5,7
/proc/15442/task/15443/stat : 15443 (java) S 15440 15442 15115 0 -1 4202560 650948 0 1 0 605 77 0 0 15 0 22 0 855471444 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134530560 0 4 0 16800975 18446604462593154048 0 0 -1 1 0 0 0
[pid=15442/tid=15445] ppid=15440 vsize=10621172 CPUtime=0.73 cores=1,3,5,7
/proc/15442/task/15445/stat : 15445 (java) S 15440 15442 15115 0 -1 4202560 26464 0 0 0 71 2 0 0 15 0 22 0 855471446 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15446] ppid=15440 vsize=10621172 CPUtime=0.45 cores=1,3,5,7
/proc/15442/task/15446/stat : 15446 (java) S 15440 15442 15115 0 -1 4202560 8689 0 0 0 45 0 0 0 16 0 22 0 855471446 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 3 0 0 0
[pid=15442/tid=15447] ppid=15440 vsize=10621172 CPUtime=0.52 cores=1,3,5,7
/proc/15442/task/15447/stat : 15447 (java) S 15440 15442 15115 0 -1 4202560 21812 0 0 0 49 3 0 0 15 0 22 0 855471446 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 1 0 0 0
[pid=15442/tid=15448] ppid=15440 vsize=10621172 CPUtime=0.33 cores=1,3,5,7
/proc/15442/task/15448/stat : 15448 (java) S 15440 15442 15115 0 -1 4202560 5883 0 0 0 33 0 0 0 16 0 22 0 855471446 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 1 0 0 0
[pid=15442/tid=15449] ppid=15440 vsize=10621172 CPUtime=0.6 cores=1,3,5,7
/proc/15442/task/15449/stat : 15449 (java) S 15440 15442 15115 0 -1 4202560 15749 0 0 0 59 1 0 0 15 0 22 0 855471446 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 1 0 0 0
[pid=15442/tid=15450] ppid=15440 vsize=10621172 CPUtime=0.86 cores=1,3,5,7
/proc/15442/task/15450/stat : 15450 (java) S 15440 15442 15115 0 -1 4202560 37191 0 0 0 81 5 0 0 15 0 22 0 855471446 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 1 0 0 0
[pid=15442/tid=15451] ppid=15440 vsize=10621172 CPUtime=0.65 cores=1,3,5,7
/proc/15442/task/15451/stat : 15451 (java) S 15440 15442 15115 0 -1 4202560 17733 0 0 0 63 2 0 0 16 0 22 0 855471446 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15452] ppid=15440 vsize=10621172 CPUtime=0.65 cores=1,3,5,7
/proc/15442/task/15452/stat : 15452 (java) S 15440 15442 15115 0 -1 4202560 28170 0 0 0 62 3 0 0 15 0 22 0 855471446 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 3 0 0 0
[pid=15442/tid=15453] ppid=15440 vsize=10621172 CPUtime=37.58 cores=1,3,5,7
/proc/15442/task/15453/stat : 15453 (java) S 15440 15442 15115 0 -1 4202560 141601 0 0 0 3741 17 0 0 15 0 22 0 855471447 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134530560 0 0 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15454] ppid=15440 vsize=10621172 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15454/stat : 15454 (java) S 15440 15442 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855471448 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15455] ppid=15440 vsize=10621172 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15455/stat : 15455 (java) S 15440 15442 15115 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 855471448 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15456] ppid=15440 vsize=10621172 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15456/stat : 15456 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855471450 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134537649 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15457] ppid=15440 vsize=10621172 CPUtime=1.12 cores=1,3,5,7
/proc/15442/task/15457/stat : 15457 (java) S 15440 15442 15115 0 -1 4202560 7476 0 0 0 112 0 0 0 15 0 22 0 855471450 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 5 0 0 0
[pid=15442/tid=15458] ppid=15440 vsize=10621172 CPUtime=1.29 cores=1,3,5,7
/proc/15442/task/15458/stat : 15458 (java) S 15440 15442 15115 0 -1 4202560 6768 0 0 0 128 1 0 0 15 0 22 0 855471450 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 3 0 0 0
[pid=15442/tid=15459] ppid=15440 vsize=10621172 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15459/stat : 15459 (java) S 15440 15442 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855471450 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134529945 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15460] ppid=15440 vsize=10621172 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15460/stat : 15460 (java) S 15440 15442 15115 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 855471450 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134530560 0 4 0 16800975 18446604462593154048 0 0 -1 3 0 0 0
[pid=15442/tid=15461] ppid=15440 vsize=10621172 CPUtime=874.09 cores=1,3,5,7
/proc/15442/task/15461/stat : 15461 (java) R 15440 15442 15115 0 -1 4202560 38 0 0 0 87409 0 0 0 25 0 22 0 855472143 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 46912505951788 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15442/tid=15462] ppid=15440 vsize=10621172 CPUtime=874.27 cores=1,3,5,7
/proc/15442/task/15462/stat : 15462 (java) R 15440 15442 15115 0 -1 4202560 39842 0 0 0 87424 3 0 0 25 0 22 0 855472143 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 46912505951788 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15442/tid=15463] ppid=15440 vsize=10621172 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15463/stat : 15463 (java) S 15440 15442 15115 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 855472146 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134530560 0 4 0 16800975 18446604462593154048 0 0 -1 7 0 0 0
[pid=15442/tid=15464] ppid=15440 vsize=10621172 CPUtime=0 cores=1,3,5,7
/proc/15442/task/15464/stat : 15464 (java) S 15440 15442 15115 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 22 0 855472148 10876080128 998972 33554432000 1073741824 1073778376 140734943812272 18446744073709551615 228134530560 0 4 0 16800975 18446604462593154048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10621172
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+920.424 s]
/proc/loadavg: 4.02 4.01 3.75 5/504 15540
/proc/meminfo: memFree=21314160/32951124 swapFree=41830676/67111528
[pid=15442] ppid=15440 vsize=0 CPUtime=1800.29 cores=1,3,5,7
/proc/15442/stat : 15442 (java) Z 15440 15442 15115 0 -1 4203548 1009613 0 1 0 179899 130 0 0 17 0 2 0 855471444 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15442/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 920.498
CPU time (s): 1800.37
CPU user time (s): 1798.99
CPU system time (s): 1.37679
CPU usage (%): 195.586
Max. virtual memory (cumulated for all children) (KiB): 10628312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.37679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1009613
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= 23182
involuntary context switches= 20150
runsolver used 4.22436 second user time and 10.0305 second system time
The end