runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736308-1338759856/watcher-3736308-1338759856 -o /tmp/evaluation-result-3736308-1338759856/solver-3736308-1338759856 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3736308-1338759856.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: 1.92 1.98 1.99 3/192 15669
/proc/meminfo: memFree=27270624/32873844 swapFree=6088/6088
[pid=15669] ppid=15667 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/15669/stat : 15669 (java6) D 15667 15669 14627 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 342114007 9515008 182 33554432000 1073741824 1073778376 140735768927744 140735768918776 226329706165 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/15669/statm: 2323 182 140 9 0 71 0
[startup+0.084528 s]
/proc/loadavg: 1.92 1.98 1.99 3/192 15669
/proc/meminfo: memFree=27270624/32873844 swapFree=6088/6088
[pid=15669] ppid=15667 vsize=2648568 CPUtime=0.05 cores=1,3,5,7
/proc/15669/stat : 15669 (java) S 15667 15669 14627 0 -1 4202496 3862 0 1 0 4 1 0 0 20 0 18 0 342114007 2712133632 5580 33554432000 1073741824 1073778376 140737213024432 140737213015568 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15669/statm: 662142 5580 1772 9 0 652835 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2648568
[startup+0.100344 s]
/proc/loadavg: 1.92 1.98 1.99 3/192 15669
/proc/meminfo: memFree=27270624/32873844 swapFree=6088/6088
[pid=15669] ppid=15667 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/15669/stat : 15669 (java) S 15667 15669 14627 0 -1 4202496 4487 0 1 0 7 1 0 0 20 0 18 0 342114007 2712133632 6204 33554432000 1073741824 1073778376 140737213024432 140737213015568 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15669/statm: 662142 6210 2065 9 0 652835 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2648568
[startup+0.300292 s]
/proc/loadavg: 1.92 1.98 1.99 3/192 15669
/proc/meminfo: memFree=27270624/32873844 swapFree=6088/6088
[pid=15669] ppid=15667 vsize=2648568 CPUtime=0.47 cores=1,3,5,7
/proc/15669/stat : 15669 (java) S 15667 15669 14627 0 -1 4202496 5944 0 1 0 45 2 0 0 20 0 18 0 342114007 2712133632 8677 33554432000 1073741824 1073778376 140737213024432 140737213015568 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15669/statm: 662142 8677 2225 9 0 652835 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2648568
[startup+0.700253 s]
/proc/loadavg: 1.92 1.98 1.99 3/192 15669
/proc/meminfo: memFree=27270624/32873844 swapFree=6088/6088
[pid=15669] ppid=15667 vsize=2715132 CPUtime=1.16 cores=1,3,5,7
/proc/15669/stat : 15669 (java) S 15667 15669 14627 0 -1 4202496 9111 0 1 0 113 3 0 0 20 0 19 0 342114007 2780295168 11102 33554432000 1073741824 1073778376 140737213024432 140737213015568 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15669/statm: 678783 11102 2237 9 0 669476 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 2715132
[startup+1.50065 s]
/proc/loadavg: 1.92 1.98 1.99 3/211 15688
/proc/meminfo: memFree=27234400/32873844 swapFree=6088/6088
[pid=15669] ppid=15667 vsize=2715132 CPUtime=2.01 cores=1,3,5,7
/proc/15669/stat : 15669 (java) S 15667 15669 14627 0 -1 4202496 9129 0 1 0 198 3 0 0 20 0 19 0 342114007 2780295168 11119 33554432000 1073741824 1073778376 140737213024432 140737213015568 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15669/statm: 678783 11119 2242 9 0 669476 0
[pid=15669/tid=15671] ppid=15667 vsize=2715132 CPUtime=1.46 cores=1,3,5,7
/proc/15669/task/15671/stat : 15671 (java) R 15667 15669 14627 0 -1 4202560 2759 0 1 0 144 2 0 0 20 0 19 0 342114008 2780295168 11119 33554432000 1073741824 1073778376 140737213024432 140271507495512 140271367529524 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15669/tid=15672] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15672/stat : 15672 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 11119 33554432000 1073741824 1073778376 140737213024432 140271491946920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15673] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15673/stat : 15673 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 11119 33554432000 1073741824 1073778376 140737213024432 140271490894376 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15669/tid=15674] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15674/stat : 15674 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 11119 33554432000 1073741824 1073778376 140737213024432 140271489841320 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15669/tid=15675] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15675/stat : 15675 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 11119 33554432000 1073741824 1073778376 140737213024432 140271488788776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15669/tid=15676] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15676/stat : 15676 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 11119 33554432000 1073741824 1073778376 140737213024432 140271487736744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15677] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15677/stat : 15677 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 11119 33554432000 1073741824 1073778376 140737213024432 140271486684200 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15669/tid=15678] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15678/stat : 15678 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 11119 33554432000 1073741824 1073778376 140737213024432 140271485631144 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15679] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15679/stat : 15679 (java) S 15667 15669 14627 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 11119 33554432000 1073741824 1073778376 140737213024432 140271366957864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15680] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15680/stat : 15680 (java) S 15667 15669 14627 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342114010 2780295168 11119 33554432000 1073741824 1073778376 140737213024432 140271354546536 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15681] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15681/stat : 15681 (java) S 15667 15669 14627 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342114011 2780295168 11119 33554432000 1073741824 1073778376 140737213024432 140271353492856 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15682] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15682/stat : 15682 (java) S 15667 15669 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342114011 2780295168 11119 33554432000 1073741824 1073778376 140737213024432 140271352439688 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15683] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15683/stat : 15683 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114013 2780295168 11119 33554432000 1073741824 1073778376 140737213024432 140271351388432 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15684] ppid=15667 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/15669/task/15684/stat : 15684 (java) S 15667 15669 14627 0 -1 4202560 2262 0 0 0 23 0 0 0 20 0 19 0 342114013 2780295168 11119 33554432000 1073741824 1073778376 140737213024432 140270611983160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15685] ppid=15667 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/15669/task/15685/stat : 15685 (java) S 15667 15669 14627 0 -1 4202560 2912 0 0 0 28 0 0 0 20 0 19 0 342114013 2780295168 11119 33554432000 1073741824 1073778376 140737213024432 140270610930616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15669/tid=15686] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15686/stat : 15686 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114014 2780295168 11119 33554432000 1073741824 1073778376 140737213024432 140270609877752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15669/tid=15687] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15687/stat : 15687 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114014 2780295168 11119 33554432000 1073741824 1073778376 140737213024432 140270608825416 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15688] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15688/stat : 15688 (java) S 15667 15669 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342114037 2780295168 11119 33554432000 1073741824 1073778376 140737213024432 140270607770664 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 2715132
[startup+3.10065 s]
/proc/loadavg: 1.92 1.98 1.99 3/211 15688
/proc/meminfo: memFree=27232104/32873844 swapFree=6088/6088
[pid=15669] ppid=15667 vsize=2715132 CPUtime=3.64 cores=1,3,5,7
/proc/15669/stat : 15669 (java) S 15667 15669 14627 0 -1 4202496 9147 0 1 0 361 3 0 0 20 0 19 0 342114007 2780295168 11631 33554432000 1073741824 1073778376 140737213024432 140737213015568 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15669/statm: 678783 11631 2242 9 0 669476 0
[pid=15669/tid=15671] ppid=15667 vsize=2715132 CPUtime=3.06 cores=1,3,5,7
/proc/15669/task/15671/stat : 15671 (java) R 15667 15669 14627 0 -1 4202560 2762 0 1 0 304 2 0 0 20 0 19 0 342114008 2780295168 11631 33554432000 1073741824 1073778376 140737213024432 140271507495608 140271367498103 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15669/tid=15672] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15672/stat : 15672 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 11631 33554432000 1073741824 1073778376 140737213024432 140271491946920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15673] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15673/stat : 15673 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 11631 33554432000 1073741824 1073778376 140737213024432 140271490894376 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15669/tid=15674] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15674/stat : 15674 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 11631 33554432000 1073741824 1073778376 140737213024432 140271489841320 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15669/tid=15675] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15675/stat : 15675 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 11631 33554432000 1073741824 1073778376 140737213024432 140271488788776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15669/tid=15676] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15676/stat : 15676 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 11631 33554432000 1073741824 1073778376 140737213024432 140271487736744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15677] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15677/stat : 15677 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 11631 33554432000 1073741824 1073778376 140737213024432 140271486684200 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15669/tid=15678] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15678/stat : 15678 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 11631 33554432000 1073741824 1073778376 140737213024432 140271485631144 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15679] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15679/stat : 15679 (java) S 15667 15669 14627 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 11631 33554432000 1073741824 1073778376 140737213024432 140271366957864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15680] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15680/stat : 15680 (java) S 15667 15669 14627 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342114010 2780295168 11631 33554432000 1073741824 1073778376 140737213024432 140271354546536 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15681] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15681/stat : 15681 (java) S 15667 15669 14627 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342114011 2780295168 11631 33554432000 1073741824 1073778376 140737213024432 140271353492856 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15682] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15682/stat : 15682 (java) S 15667 15669 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342114011 2780295168 11631 33554432000 1073741824 1073778376 140737213024432 140271352439688 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15683] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15683/stat : 15683 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114013 2780295168 11631 33554432000 1073741824 1073778376 140737213024432 140271351388432 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15684] ppid=15667 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/15669/task/15684/stat : 15684 (java) S 15667 15669 14627 0 -1 4202560 2277 0 0 0 24 0 0 0 20 0 19 0 342114013 2780295168 11631 33554432000 1073741824 1073778376 140737213024432 140270611983160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15685] ppid=15667 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/15669/task/15685/stat : 15685 (java) S 15667 15669 14627 0 -1 4202560 2912 0 0 0 30 0 0 0 20 0 19 0 342114013 2780295168 11631 33554432000 1073741824 1073778376 140737213024432 140270610930616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15669/tid=15686] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15686/stat : 15686 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114014 2780295168 11631 33554432000 1073741824 1073778376 140737213024432 140270609877752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15669/tid=15687] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15687/stat : 15687 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114014 2780295168 11631 33554432000 1073741824 1073778376 140737213024432 140270608825416 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15688] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15688/stat : 15688 (java) S 15667 15669 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342114037 2780295168 11631 33554432000 1073741824 1073778376 140737213024432 140270607770664 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 2715132
[startup+6.30066 s]
/proc/loadavg: 1.93 1.98 1.99 3/211 15688
/proc/meminfo: memFree=27227512/32873844 swapFree=6088/6088
[pid=15669] ppid=15667 vsize=2715132 CPUtime=6.84 cores=1,3,5,7
/proc/15669/stat : 15669 (java) S 15667 15669 14627 0 -1 4202496 9152 0 1 0 681 3 0 0 20 0 19 0 342114007 2780295168 13114 33554432000 1073741824 1073778376 140737213024432 140737213015568 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15669/statm: 678783 13114 2243 9 0 669476 0
[pid=15669/tid=15671] ppid=15667 vsize=2715132 CPUtime=6.26 cores=1,3,5,7
/proc/15669/task/15671/stat : 15671 (java) R 15667 15669 14627 0 -1 4202560 2766 0 1 0 624 2 0 0 20 0 19 0 342114008 2780295168 13114 33554432000 1073741824 1073778376 140737213024432 140271507497416 140271367514680 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15669/tid=15672] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15672/stat : 15672 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 13114 33554432000 1073741824 1073778376 140737213024432 140271491946920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15673] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15673/stat : 15673 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 13114 33554432000 1073741824 1073778376 140737213024432 140271490894376 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15669/tid=15674] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15674/stat : 15674 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 13114 33554432000 1073741824 1073778376 140737213024432 140271489841320 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15669/tid=15675] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15675/stat : 15675 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 13114 33554432000 1073741824 1073778376 140737213024432 140271488788776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15669/tid=15676] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15676/stat : 15676 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 13114 33554432000 1073741824 1073778376 140737213024432 140271487736744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15677] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15677/stat : 15677 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 13114 33554432000 1073741824 1073778376 140737213024432 140271486684200 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15669/tid=15678] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15678/stat : 15678 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 13114 33554432000 1073741824 1073778376 140737213024432 140271485631144 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15679] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15679/stat : 15679 (java) S 15667 15669 14627 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342114009 2780295168 13114 33554432000 1073741824 1073778376 140737213024432 140271366957864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15680] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15680/stat : 15680 (java) S 15667 15669 14627 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342114010 2780295168 13114 33554432000 1073741824 1073778376 140737213024432 140271354546536 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15681] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15681/stat : 15681 (java) S 15667 15669 14627 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342114011 2780295168 13114 33554432000 1073741824 1073778376 140737213024432 140271353492856 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15682] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15682/stat : 15682 (java) S 15667 15669 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342114011 2780295168 13114 33554432000 1073741824 1073778376 140737213024432 140271352439688 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15683] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15683/stat : 15683 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114013 2780295168 13114 33554432000 1073741824 1073778376 140737213024432 140271351388432 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15684] ppid=15667 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/15669/task/15684/stat : 15684 (java) S 15667 15669 14627 0 -1 4202560 2277 0 0 0 24 0 0 0 20 0 19 0 342114013 2780295168 13114 33554432000 1073741824 1073778376 140737213024432 140270611983160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15685] ppid=15667 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/15669/task/15685/stat : 15685 (java) S 15667 15669 14627 0 -1 4202560 2912 0 0 0 30 0 0 0 20 0 19 0 342114013 2780295168 13114 33554432000 1073741824 1073778376 140737213024432 140270610930616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15669/tid=15686] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15686/stat : 15686 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114014 2780295168 13114 33554432000 1073741824 1073778376 140737213024432 140270609877752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15669/tid=15687] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15687/stat : 15687 (java) S 15667 15669 14627 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342114014 2780295168 13114 33554432000 1073741824 1073778376 140737213024432 140270608825416 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15688] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15688/stat : 15688 (java) S 15667 15669 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342114037 2780295168 13114 33554432000 1073741824 1073778376 140737213024432 140270607770664 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.84
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
################
# More data... #
################
[pid=15669/tid=15684] ppid=15667 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/15669/task/15684/stat : 15684 (java) S 15667 15669 14627 0 -1 4202560 2282 0 0 0 25 0 0 0 20 0 19 0 342114013 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140270611983160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15685] ppid=15667 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/15669/task/15685/stat : 15685 (java) S 15667 15669 14627 0 -1 4202560 2919 0 0 0 37 0 0 0 20 0 19 0 342114013 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140270610930616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15669/tid=15686] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15686/stat : 15686 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114014 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140270609877752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15669/tid=15687] ppid=15667 vsize=2715132 CPUtime=0.78 cores=1,3,5,7
/proc/15669/task/15687/stat : 15687 (java) S 15667 15669 14627 0 -1 4202560 100 0 0 0 48 30 0 0 20 0 19 0 342114014 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140270608825416 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15688] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15688/stat : 15688 (java) S 15667 15669 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342114037 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140270607770664 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1727.49
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 15795
/proc/meminfo: memFree=25904592/32873844 swapFree=6088/6088
[pid=15669] ppid=15667 vsize=2715132 CPUtime=1787.5 cores=1,3,5,7
/proc/15669/stat : 15669 (java) S 15667 15669 14627 0 -1 4202496 11625 0 1 0 178553 197 0 0 20 0 19 0 342114007 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140737213015568 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15669/statm: 678783 343278 2269 9 0 669476 0
[pid=15669/tid=15671] ppid=15667 vsize=2715132 CPUtime=1774.31 cores=1,3,5,7
/proc/15669/task/15671/stat : 15671 (java) R 15667 15669 14627 0 -1 4202560 2924 0 1 0 177398 33 0 0 20 0 19 0 342114008 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271507497480 140271367724831 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15669/tid=15672] ppid=15667 vsize=2715132 CPUtime=0.6 cores=1,3,5,7
/proc/15669/task/15672/stat : 15672 (java) S 15667 15669 14627 0 -1 4202560 327 0 0 0 44 16 0 0 20 0 19 0 342114009 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271491946920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15673] ppid=15667 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/15669/task/15673/stat : 15673 (java) S 15667 15669 14627 0 -1 4202560 290 0 0 0 56 18 0 0 20 0 19 0 342114009 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271490894376 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15674] ppid=15667 vsize=2715132 CPUtime=0.49 cores=1,3,5,7
/proc/15669/task/15674/stat : 15674 (java) S 15667 15669 14627 0 -1 4202560 190 0 0 0 35 14 0 0 20 0 19 0 342114009 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271489841320 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15669/tid=15675] ppid=15667 vsize=2715132 CPUtime=0.73 cores=1,3,5,7
/proc/15669/task/15675/stat : 15675 (java) S 15667 15669 14627 0 -1 4202560 275 0 0 0 52 21 0 0 20 0 19 0 342114009 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271488788776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15676] ppid=15667 vsize=2715132 CPUtime=0.65 cores=1,3,5,7
/proc/15669/task/15676/stat : 15676 (java) S 15667 15669 14627 0 -1 4202560 296 0 0 0 48 17 0 0 20 0 19 0 342114009 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271487736744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15677] ppid=15667 vsize=2715132 CPUtime=0.51 cores=1,3,5,7
/proc/15669/task/15677/stat : 15677 (java) S 15667 15669 14627 0 -1 4202560 198 0 0 0 37 14 0 0 20 0 19 0 342114009 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271486684200 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15669/tid=15678] ppid=15667 vsize=2715132 CPUtime=0.59 cores=1,3,5,7
/proc/15669/task/15678/stat : 15678 (java) S 15667 15669 14627 0 -1 4202560 321 0 0 0 44 15 0 0 20 0 19 0 342114009 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271485631144 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15669/tid=15679] ppid=15667 vsize=2715132 CPUtime=0.55 cores=1,3,5,7
/proc/15669/task/15679/stat : 15679 (java) S 15667 15669 14627 0 -1 4202560 261 0 0 0 41 14 0 0 20 0 19 0 342114009 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271366957864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15680] ppid=15667 vsize=2715132 CPUtime=1.91 cores=1,3,5,7
/proc/15669/task/15680/stat : 15680 (java) S 15667 15669 14627 0 -1 4202560 53 0 0 0 189 2 0 0 20 0 19 0 342114010 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271354546536 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15669/tid=15681] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15681/stat : 15681 (java) S 15667 15669 14627 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342114011 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271353492856 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15669/tid=15682] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15682/stat : 15682 (java) S 15667 15669 14627 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342114011 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271352439688 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15669/tid=15683] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15683/stat : 15683 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114013 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271351388432 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15684] ppid=15667 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/15669/task/15684/stat : 15684 (java) S 15667 15669 14627 0 -1 4202560 2284 0 0 0 26 0 0 0 20 0 19 0 342114013 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140270611983160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15685] ppid=15667 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/15669/task/15685/stat : 15685 (java) S 15667 15669 14627 0 -1 4202560 2919 0 0 0 37 0 0 0 20 0 19 0 342114013 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140270610930616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15669/tid=15686] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15686/stat : 15686 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114014 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140270609877752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15669/tid=15687] ppid=15667 vsize=2715132 CPUtime=0.81 cores=1,3,5,7
/proc/15669/task/15687/stat : 15687 (java) S 15667 15669 14627 0 -1 4202560 104 0 0 0 50 31 0 0 20 0 19 0 342114014 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140270608825416 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15688] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15688/stat : 15688 (java) S 15667 15669 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342114037 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140270607770664 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1787.5
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 15795
/proc/meminfo: memFree=25904592/32873844 swapFree=6088/6088
[pid=15669] ppid=15667 vsize=2715132 CPUtime=1800.02 cores=1,3,5,7
/proc/15669/stat : 15669 (java) S 15667 15669 14627 0 -1 4202496 11625 0 1 0 179804 198 0 0 20 0 19 0 342114007 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140737213015568 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15669/statm: 678783 343278 2269 9 0 669476 0
[pid=15669/tid=15671] ppid=15667 vsize=2715132 CPUtime=1786.79 cores=1,3,5,7
/proc/15669/task/15671/stat : 15671 (java) R 15667 15669 14627 0 -1 4202560 2924 0 1 0 178645 34 0 0 20 0 19 0 342114008 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271507497480 140271367231382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15669/tid=15672] ppid=15667 vsize=2715132 CPUtime=0.6 cores=1,3,5,7
/proc/15669/task/15672/stat : 15672 (java) S 15667 15669 14627 0 -1 4202560 327 0 0 0 44 16 0 0 20 0 19 0 342114009 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271491946920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15673] ppid=15667 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/15669/task/15673/stat : 15673 (java) S 15667 15669 14627 0 -1 4202560 290 0 0 0 56 18 0 0 20 0 19 0 342114009 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271490894376 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15674] ppid=15667 vsize=2715132 CPUtime=0.49 cores=1,3,5,7
/proc/15669/task/15674/stat : 15674 (java) S 15667 15669 14627 0 -1 4202560 190 0 0 0 35 14 0 0 20 0 19 0 342114009 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271489841320 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15669/tid=15675] ppid=15667 vsize=2715132 CPUtime=0.73 cores=1,3,5,7
/proc/15669/task/15675/stat : 15675 (java) S 15667 15669 14627 0 -1 4202560 275 0 0 0 52 21 0 0 20 0 19 0 342114009 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271488788776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15676] ppid=15667 vsize=2715132 CPUtime=0.65 cores=1,3,5,7
/proc/15669/task/15676/stat : 15676 (java) S 15667 15669 14627 0 -1 4202560 296 0 0 0 48 17 0 0 20 0 19 0 342114009 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271487736744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15677] ppid=15667 vsize=2715132 CPUtime=0.51 cores=1,3,5,7
/proc/15669/task/15677/stat : 15677 (java) S 15667 15669 14627 0 -1 4202560 198 0 0 0 37 14 0 0 20 0 19 0 342114009 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271486684200 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15669/tid=15678] ppid=15667 vsize=2715132 CPUtime=0.59 cores=1,3,5,7
/proc/15669/task/15678/stat : 15678 (java) S 15667 15669 14627 0 -1 4202560 321 0 0 0 44 15 0 0 20 0 19 0 342114009 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271485631144 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15669/tid=15679] ppid=15667 vsize=2715132 CPUtime=0.55 cores=1,3,5,7
/proc/15669/task/15679/stat : 15679 (java) S 15667 15669 14627 0 -1 4202560 261 0 0 0 41 14 0 0 20 0 19 0 342114009 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271366957864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15680] ppid=15667 vsize=2715132 CPUtime=1.91 cores=1,3,5,7
/proc/15669/task/15680/stat : 15680 (java) S 15667 15669 14627 0 -1 4202560 53 0 0 0 189 2 0 0 20 0 19 0 342114010 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271354546536 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15669/tid=15681] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15681/stat : 15681 (java) S 15667 15669 14627 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342114011 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271353492856 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15669/tid=15682] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15682/stat : 15682 (java) S 15667 15669 14627 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342114011 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271352439688 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15669/tid=15683] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15683/stat : 15683 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114013 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140271351388432 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15684] ppid=15667 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/15669/task/15684/stat : 15684 (java) S 15667 15669 14627 0 -1 4202560 2284 0 0 0 26 0 0 0 20 0 19 0 342114013 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140270611983160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15685] ppid=15667 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/15669/task/15685/stat : 15685 (java) S 15667 15669 14627 0 -1 4202560 2919 0 0 0 37 0 0 0 20 0 19 0 342114013 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140270610930616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15669/tid=15686] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15686/stat : 15686 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342114014 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140270609877752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15669/tid=15687] ppid=15667 vsize=2715132 CPUtime=0.82 cores=1,3,5,7
/proc/15669/task/15687/stat : 15687 (java) S 15667 15669 14627 0 -1 4202560 104 0 0 0 51 31 0 0 20 0 19 0 342114014 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140270608825416 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15688] ppid=15667 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15688/stat : 15688 (java) S 15667 15669 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342114037 2780295168 343278 33554432000 1073741824 1073778376 140737213024432 140270607770664 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 15795
/proc/meminfo: memFree=25904592/32873844 swapFree=6088/6088
[pid=15669] ppid=15667 vsize=2848260 CPUtime=1800.41 cores=1,3,5,7
/proc/15669/stat : 15669 (java) S 15667 15669 14627 0 -1 4202496 11676 0 1 0 179843 198 0 0 20 0 21 0 342114007 2916618240 343328 33554432000 1073741824 1073778376 140737213024432 140737213015568 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15669/statm: 712065 343328 2279 9 0 702758 0
[pid=15669/tid=15671] ppid=15667 vsize=2848260 CPUtime=1786.98 cores=1,3,5,7
/proc/15669/task/15671/stat : 15671 (java) R 15667 15669 14627 0 -1 4202560 2924 0 1 0 178664 34 0 0 20 0 21 0 342114008 2916618240 343328 33554432000 1073741824 1073778376 140737213024432 140271507497480 140271367724850 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15669/tid=15672] ppid=15667 vsize=2848260 CPUtime=0.6 cores=1,3,5,7
/proc/15669/task/15672/stat : 15672 (java) S 15667 15669 14627 0 -1 4202560 327 0 0 0 44 16 0 0 20 0 21 0 342114009 2916618240 343328 33554432000 1073741824 1073778376 140737213024432 140271491946920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15673] ppid=15667 vsize=2848260 CPUtime=0.74 cores=1,3,5,7
/proc/15669/task/15673/stat : 15673 (java) S 15667 15669 14627 0 -1 4202560 290 0 0 0 56 18 0 0 20 0 21 0 342114009 2916618240 343328 33554432000 1073741824 1073778376 140737213024432 140271490894376 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15674] ppid=15667 vsize=2848260 CPUtime=0.49 cores=1,3,5,7
/proc/15669/task/15674/stat : 15674 (java) S 15667 15669 14627 0 -1 4202560 190 0 0 0 35 14 0 0 20 0 21 0 342114009 2916618240 343328 33554432000 1073741824 1073778376 140737213024432 140271489841320 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15669/tid=15675] ppid=15667 vsize=2848260 CPUtime=0.73 cores=1,3,5,7
/proc/15669/task/15675/stat : 15675 (java) S 15667 15669 14627 0 -1 4202560 275 0 0 0 52 21 0 0 20 0 21 0 342114009 2916618240 343328 33554432000 1073741824 1073778376 140737213024432 140271488788776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15676] ppid=15667 vsize=2848260 CPUtime=0.65 cores=1,3,5,7
/proc/15669/task/15676/stat : 15676 (java) S 15667 15669 14627 0 -1 4202560 296 0 0 0 48 17 0 0 20 0 21 0 342114009 2916618240 343328 33554432000 1073741824 1073778376 140737213024432 140271487736744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15677] ppid=15667 vsize=2848260 CPUtime=0.51 cores=1,3,5,7
/proc/15669/task/15677/stat : 15677 (java) S 15667 15669 14627 0 -1 4202560 198 0 0 0 37 14 0 0 20 0 21 0 342114009 2916618240 343328 33554432000 1073741824 1073778376 140737213024432 140271486684200 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15669/tid=15678] ppid=15667 vsize=2848260 CPUtime=0.59 cores=1,3,5,7
/proc/15669/task/15678/stat : 15678 (java) S 15667 15669 14627 0 -1 4202560 321 0 0 0 44 15 0 0 20 0 21 0 342114009 2916618240 343328 33554432000 1073741824 1073778376 140737213024432 140271485631144 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15669/tid=15679] ppid=15667 vsize=2848260 CPUtime=0.55 cores=1,3,5,7
/proc/15669/task/15679/stat : 15679 (java) S 15667 15669 14627 0 -1 4202560 261 0 0 0 41 14 0 0 20 0 21 0 342114009 2916618240 343328 33554432000 1073741824 1073778376 140737213024432 140271366957864 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15680] ppid=15667 vsize=2848260 CPUtime=1.91 cores=1,3,5,7
/proc/15669/task/15680/stat : 15680 (java) S 15667 15669 14627 0 -1 4202560 53 0 0 0 189 2 0 0 20 0 21 0 342114010 2916618240 343328 33554432000 1073741824 1073778376 140737213024432 140271354546536 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15669/tid=15681] ppid=15667 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15681/stat : 15681 (java) S 15667 15669 14627 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 342114011 2916618240 343328 33554432000 1073741824 1073778376 140737213024432 140271353492856 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15669/tid=15682] ppid=15667 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15682/stat : 15682 (java) S 15667 15669 14627 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 342114011 2916618240 343328 33554432000 1073741824 1073778376 140737213024432 140271352439688 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15669/tid=15683] ppid=15667 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15683/stat : 15683 (java) S 15667 15669 14627 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 342114013 2916618240 343328 33554432000 1073741824 1073778376 140737213024432 140271351388432 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15684] ppid=15667 vsize=2848260 CPUtime=0.26 cores=1,3,5,7
/proc/15669/task/15684/stat : 15684 (java) S 15667 15669 14627 0 -1 4202560 2284 0 0 0 26 0 0 0 20 0 21 0 342114013 2916618240 343328 33554432000 1073741824 1073778376 140737213024432 140270611983160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15685] ppid=15667 vsize=2848260 CPUtime=0.39 cores=1,3,5,7
/proc/15669/task/15685/stat : 15685 (java) S 15667 15669 14627 0 -1 4202560 2929 0 0 0 39 0 0 0 20 0 21 0 342114013 2916618240 343328 33554432000 1073741824 1073778376 140737213024432 140270610930616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15669/tid=15686] ppid=15667 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15686/stat : 15686 (java) S 15667 15669 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 342114014 2916618240 343328 33554432000 1073741824 1073778376 140737213024432 140270609877752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15669/tid=15687] ppid=15667 vsize=2848260 CPUtime=0.82 cores=1,3,5,7
/proc/15669/task/15687/stat : 15687 (java) S 15667 15669 14627 0 -1 4202560 104 0 0 0 51 31 0 0 20 0 21 0 342114014 2916618240 343328 33554432000 1073741824 1073778376 140737213024432 140270608825416 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15669/tid=15688] ppid=15667 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/15669/task/15688/stat : 15688 (java) S 15667 15669 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 342114037 2916618240 343328 33554432000 1073741824 1073778376 140737213024432 140270607770664 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (KiB) 2848260
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15669 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=648324
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=101680
# CPU time returned by wait4() is 1795.75
# while last known CPU time is 1800.41
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1795.05
CPU time (s): 1800.41
CPU user time (s): 1798.43
CPU system time (s): 1.98
CPU usage (%): 100.299
Max. virtual memory (cumulated for all children) (KiB): 2848260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.65
system time used= 2.10168
maximum resident set size= 1373316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11680
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38007
involuntary context switches= 13872
runsolver used 6.22005 second user time and 15.8246 second system time
The end