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-3731398-1338738371/watcher-3731398-1338738371 -o /tmp/evaluation-result-3731398-1338738371/solver-3731398-1338738371 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3731398-1338738371.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: 2.09 2.06 1.81 3/196 28671
/proc/meminfo: memFree=26180856/32873844 swapFree=7112/7112
[pid=28671] ppid=28669 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/28671/stat : 28671 (java6) D 28669 28671 28535 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 339962452 9515008 183 33554432000 1073741824 1073778376 140734442882208 140734442873240 273589026485 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/28671/statm: 2323 183 140 9 0 71 0
[startup+0.0754829 s]
/proc/loadavg: 2.09 2.06 1.81 3/196 28671
/proc/meminfo: memFree=26180856/32873844 swapFree=7112/7112
[pid=28671] ppid=28669 vsize=2648548 CPUtime=0.04 cores=1,3,5,7
/proc/28671/stat : 28671 (java) S 28669 28671 28535 0 -1 4202496 3799 0 1 0 3 1 0 0 20 0 18 0 339962452 2712113152 5517 33554432000 1073741824 1073778376 140733465025904 140733465017040 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28671/statm: 662137 5517 1753 9 0 652835 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2648548
[startup+0.100314 s]
/proc/loadavg: 2.09 2.06 1.81 3/196 28671
/proc/meminfo: memFree=26180856/32873844 swapFree=7112/7112
[pid=28671] ppid=28669 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/28671/stat : 28671 (java) S 28669 28671 28535 0 -1 4202496 4348 0 1 0 6 1 0 0 20 0 18 0 339962452 2712133632 6065 33554432000 1073741824 1073778376 140733465025904 140733465017040 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28671/statm: 662142 6083 2064 9 0 652835 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2648568
[startup+0.300258 s]
/proc/loadavg: 2.09 2.06 1.81 3/196 28671
/proc/meminfo: memFree=26180856/32873844 swapFree=7112/7112
[pid=28671] ppid=28669 vsize=2715132 CPUtime=0.48 cores=1,3,5,7
/proc/28671/stat : 28671 (java) S 28669 28671 28535 0 -1 4202496 6850 0 1 0 46 2 0 0 20 0 19 0 339962452 2780295168 9245 33554432000 1073741824 1073778376 140733465025904 140733465017040 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28671/statm: 678783 9245 2223 9 0 669476 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2715132
[startup+0.700278 s]
/proc/loadavg: 2.09 2.06 1.81 3/196 28671
/proc/meminfo: memFree=26180856/32873844 swapFree=7112/7112
[pid=28671] ppid=28669 vsize=2715132 CPUtime=1.26 cores=1,3,5,7
/proc/28671/stat : 28671 (java) S 28669 28671 28535 0 -1 4202496 10059 0 1 0 122 4 0 0 20 0 19 0 339962452 2780295168 27897 33554432000 1073741824 1073778376 140733465025904 140733465017040 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28671/statm: 678783 27897 2240 9 0 669476 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 2715132
[startup+1.5008 s]
/proc/loadavg: 2.24 2.09 1.82 3/215 28690
/proc/meminfo: memFree=25991856/32873844 swapFree=7112/7112
[pid=28671] ppid=28669 vsize=2715132 CPUtime=2.09 cores=1,3,5,7
/proc/28671/stat : 28671 (java) S 28669 28671 28535 0 -1 4202496 10261 0 1 0 202 7 0 0 20 0 19 0 339962452 2780295168 83712 33554432000 1073741824 1073778376 140733465025904 140733465017040 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28671/statm: 678783 83712 2246 9 0 669476 0
[pid=28671/tid=28673] ppid=28669 vsize=2715132 CPUtime=1.46 cores=1,3,5,7
/proc/28671/task/28673/stat : 28673 (java) R 28669 28671 28535 0 -1 4202560 2903 0 1 0 140 6 0 0 20 0 19 0 339962453 2780295168 83712 33554432000 1073741824 1073778376 140733465025904 139861416495568 139861265103044 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28674/stat : 28674 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962455 2780295168 83712 33554432000 1073741824 1073778376 140733465025904 139861400946856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28675] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28675/stat : 28675 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962455 2780295168 83712 33554432000 1073741824 1073778376 140733465025904 139861399894312 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28676/stat : 28676 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962455 2780295168 83712 33554432000 1073741824 1073778376 140733465025904 139861398841768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28671/tid=28677] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28677/stat : 28677 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962455 2780295168 83712 33554432000 1073741824 1073778376 140733465025904 139861397789224 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28671/tid=28678] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28678/stat : 28678 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962455 2780295168 83712 33554432000 1073741824 1073778376 140733465025904 139861396736680 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28679] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28679/stat : 28679 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962455 2780295168 83712 33554432000 1073741824 1073778376 140733465025904 139861395684136 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28671/tid=28680] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28680/stat : 28680 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962455 2780295168 83712 33554432000 1073741824 1073778376 140733465025904 139861394631592 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28681] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28681/stat : 28681 (java) S 28669 28671 28535 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339962455 2780295168 83712 33554432000 1073741824 1073778376 140733465025904 139861393579048 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28682] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28682/stat : 28682 (java) S 28669 28671 28535 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339962456 2780295168 83712 33554432000 1073741824 1073778376 140733465025904 139861263636584 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28683] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28683/stat : 28683 (java) S 28669 28671 28535 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339962457 2780295168 83712 33554432000 1073741824 1073778376 140733465025904 139861262582904 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28684] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28684/stat : 28684 (java) S 28669 28671 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339962457 2780295168 83712 33554432000 1073741824 1073778376 140733465025904 139861261530248 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28685] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28685/stat : 28685 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962459 2780295168 83712 33554432000 1073741824 1073778376 140733465025904 139861260478992 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28686] ppid=28669 vsize=2715132 CPUtime=0.33 cores=1,3,5,7
/proc/28671/task/28686/stat : 28686 (java) S 28669 28671 28535 0 -1 4202560 2530 0 0 0 33 0 0 0 20 0 19 0 339962459 2780295168 83712 33554432000 1073741824 1073778376 140733465025904 139861259426360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28687] ppid=28669 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/28671/task/28687/stat : 28687 (java) S 28669 28671 28535 0 -1 4202560 3631 0 0 0 25 1 0 0 20 0 19 0 339962459 2780295168 83712 33554432000 1073741824 1073778376 140733465025904 139861258373816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28688] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28688/stat : 28688 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962459 2780295168 83712 33554432000 1073741824 1073778376 140733465025904 139861257321464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28689] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28689/stat : 28689 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962459 2780295168 83712 33554432000 1073741824 1073778376 140733465025904 139861256269128 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28690] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28690/stat : 28690 (java) S 28669 28671 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339962477 2780295168 83712 33554432000 1073741824 1073778376 140733465025904 139861255213864 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 2715132
[startup+3.10081 s]
/proc/loadavg: 2.24 2.09 1.82 3/215 28690
/proc/meminfo: memFree=25808592/32873844 swapFree=7112/7112
[pid=28671] ppid=28669 vsize=2715132 CPUtime=3.83 cores=1,3,5,7
/proc/28671/stat : 28671 (java) S 28669 28671 28535 0 -1 4202496 10369 0 1 0 370 13 0 0 20 0 19 0 339962452 2780295168 101140 33554432000 1073741824 1073778376 140733465025904 140733465017040 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28671/statm: 678783 101140 2260 9 0 669476 0
[pid=28671/tid=28673] ppid=28669 vsize=2715132 CPUtime=3.02 cores=1,3,5,7
/proc/28671/task/28673/stat : 28673 (java) R 28669 28671 28535 0 -1 4202560 2925 0 1 0 296 6 0 0 20 0 19 0 339962453 2780295168 101140 33554432000 1073741824 1073778376 140733465025904 139861416496616 139861265131403 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28674/stat : 28674 (java) S 28669 28671 28535 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 339962455 2780295168 101140 33554432000 1073741824 1073778376 140733465025904 139861400946856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28675] ppid=28669 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/28671/task/28675/stat : 28675 (java) S 28669 28671 28535 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 339962455 2780295168 101140 33554432000 1073741824 1073778376 140733465025904 139861399894312 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28676/stat : 28676 (java) S 28669 28671 28535 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339962455 2780295168 101140 33554432000 1073741824 1073778376 140733465025904 139861398841768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28671/tid=28677] ppid=28669 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/28671/task/28677/stat : 28677 (java) S 28669 28671 28535 0 -1 4202560 25 0 0 0 0 2 0 0 20 0 19 0 339962455 2780295168 101140 33554432000 1073741824 1073778376 140733465025904 139861397789224 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28678] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28678/stat : 28678 (java) S 28669 28671 28535 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 339962455 2780295168 101140 33554432000 1073741824 1073778376 140733465025904 139861396736680 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28679] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28679/stat : 28679 (java) S 28669 28671 28535 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339962455 2780295168 101140 33554432000 1073741824 1073778376 140733465025904 139861395684136 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28671/tid=28680] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28680/stat : 28680 (java) S 28669 28671 28535 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339962455 2780295168 101140 33554432000 1073741824 1073778376 140733465025904 139861394631592 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28681] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28681/stat : 28681 (java) S 28669 28671 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339962455 2780295168 101140 33554432000 1073741824 1073778376 140733465025904 139861393579048 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28682] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28682/stat : 28682 (java) S 28669 28671 28535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339962456 2780295168 101140 33554432000 1073741824 1073778376 140733465025904 139861263636584 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28683] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28683/stat : 28683 (java) S 28669 28671 28535 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339962457 2780295168 101140 33554432000 1073741824 1073778376 140733465025904 139861262582904 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28684] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28684/stat : 28684 (java) S 28669 28671 28535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339962457 2780295168 101140 33554432000 1073741824 1073778376 140733465025904 139861261530248 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28685] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28685/stat : 28685 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962459 2780295168 101140 33554432000 1073741824 1073778376 140733465025904 139861260478992 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28686] ppid=28669 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/28671/task/28686/stat : 28686 (java) S 28669 28671 28535 0 -1 4202560 2530 0 0 0 35 0 0 0 20 0 19 0 339962459 2780295168 101140 33554432000 1073741824 1073778376 140733465025904 139861259426360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28687] ppid=28669 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/28671/task/28687/stat : 28687 (java) S 28669 28671 28535 0 -1 4202560 3631 0 0 0 27 1 0 0 20 0 19 0 339962459 2780295168 101140 33554432000 1073741824 1073778376 140733465025904 139861258373816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28688] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28688/stat : 28688 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962459 2780295168 101140 33554432000 1073741824 1073778376 140733465025904 139861257321464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28689] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28689/stat : 28689 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962459 2780295168 101140 33554432000 1073741824 1073778376 140733465025904 139861256269128 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28690] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28690/stat : 28690 (java) S 28669 28671 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339962477 2780295168 101140 33554432000 1073741824 1073778376 140733465025904 139861255213864 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 2715132
[startup+6.30081 s]
/proc/loadavg: 2.22 2.09 1.82 3/215 28690
/proc/meminfo: memFree=25738836/32873844 swapFree=7112/7112
[pid=28671] ppid=28669 vsize=2715132 CPUtime=7.34 cores=1,3,5,7
/proc/28671/stat : 28671 (java) S 28669 28671 28535 0 -1 4202496 10504 0 1 0 710 24 0 0 20 0 19 0 339962452 2780295168 117426 33554432000 1073741824 1073778376 140733465025904 140733465017040 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28671/statm: 678783 117426 2261 9 0 669476 0
[pid=28671/tid=28673] ppid=28669 vsize=2715132 CPUtime=6.1 cores=1,3,5,7
/proc/28671/task/28673/stat : 28673 (java) R 28669 28671 28535 0 -1 4202560 2929 0 1 0 604 6 0 0 20 0 19 0 339962453 2780295168 117426 33554432000 1073741824 1073778376 140733465025904 139861416496544 139861265320418 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=2715132 CPUtime=0.06 cores=1,3,5,7
/proc/28671/task/28674/stat : 28674 (java) S 28669 28671 28535 0 -1 4202560 36 0 0 0 4 2 0 0 20 0 19 0 339962455 2780295168 117426 33554432000 1073741824 1073778376 140733465025904 139861400946856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28675] ppid=28669 vsize=2715132 CPUtime=0.07 cores=1,3,5,7
/proc/28671/task/28675/stat : 28675 (java) S 28669 28671 28535 0 -1 4202560 37 0 0 0 4 3 0 0 20 0 19 0 339962455 2780295168 117426 33554432000 1073741824 1073778376 140733465025904 139861399894312 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=2715132 CPUtime=0.04 cores=1,3,5,7
/proc/28671/task/28676/stat : 28676 (java) S 28669 28671 28535 0 -1 4202560 17 0 0 0 2 2 0 0 20 0 19 0 339962455 2780295168 117426 33554432000 1073741824 1073778376 140733465025904 139861398841768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28677] ppid=28669 vsize=2715132 CPUtime=0.07 cores=1,3,5,7
/proc/28671/task/28677/stat : 28677 (java) S 28669 28671 28535 0 -1 4202560 42 0 0 0 4 3 0 0 20 0 19 0 339962455 2780295168 117426 33554432000 1073741824 1073778376 140733465025904 139861397789224 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28678] ppid=28669 vsize=2715132 CPUtime=0.05 cores=1,3,5,7
/proc/28671/task/28678/stat : 28678 (java) S 28669 28671 28535 0 -1 4202560 27 0 0 0 3 2 0 0 20 0 19 0 339962455 2780295168 117426 33554432000 1073741824 1073778376 140733465025904 139861396736680 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28679] ppid=28669 vsize=2715132 CPUtime=0.04 cores=1,3,5,7
/proc/28671/task/28679/stat : 28679 (java) S 28669 28671 28535 0 -1 4202560 20 0 0 0 2 2 0 0 20 0 19 0 339962455 2780295168 117426 33554432000 1073741824 1073778376 140733465025904 139861395684136 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28680] ppid=28669 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/28671/task/28680/stat : 28680 (java) S 28669 28671 28535 0 -1 4202560 18 0 0 0 2 1 0 0 20 0 19 0 339962455 2780295168 117426 33554432000 1073741824 1073778376 140733465025904 139861394631592 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28681] ppid=28669 vsize=2715132 CPUtime=0.06 cores=1,3,5,7
/proc/28671/task/28681/stat : 28681 (java) S 28669 28671 28535 0 -1 4202560 23 0 0 0 4 2 0 0 20 0 19 0 339962455 2780295168 117426 33554432000 1073741824 1073778376 140733465025904 139861393579048 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28682] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28682/stat : 28682 (java) S 28669 28671 28535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339962456 2780295168 117426 33554432000 1073741824 1073778376 140733465025904 139861263636584 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28683] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28683/stat : 28683 (java) S 28669 28671 28535 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339962457 2780295168 117426 33554432000 1073741824 1073778376 140733465025904 139861262582904 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28684] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28684/stat : 28684 (java) S 28669 28671 28535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339962457 2780295168 117426 33554432000 1073741824 1073778376 140733465025904 139861261530248 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28685] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28685/stat : 28685 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962459 2780295168 117426 33554432000 1073741824 1073778376 140733465025904 139861260478992 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28686] ppid=28669 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/28671/task/28686/stat : 28686 (java) S 28669 28671 28535 0 -1 4202560 2530 0 0 0 35 0 0 0 20 0 19 0 339962459 2780295168 117426 33554432000 1073741824 1073778376 140733465025904 139861259426360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28687] ppid=28669 vsize=2715132 CPUtime=0.29 cores=1,3,5,7
/proc/28671/task/28687/stat : 28687 (java) S 28669 28671 28535 0 -1 4202560 3632 0 0 0 28 1 0 0 20 0 19 0 339962459 2780295168 117426 33554432000 1073741824 1073778376 140733465025904 139861258373816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28688] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28688/stat : 28688 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962459 2780295168 117426 33554432000 1073741824 1073778376 140733465025904 139861257321464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28689] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28689/stat : 28689 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962459 2780295168 117426 33554432000 1073741824 1073778376 140733465025904 139861256269128 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28690] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28690/stat : 28690 (java) S 28669 28671 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339962477 2780295168 117426 33554432000 1073741824 1073778376 140733465025904 139861255213864 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.34
Current children cumulated vsize (KiB) 2715132
[startup+12.7008 s]
################
# More data... #
################
[pid=28671/tid=28686] ppid=28669 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/28671/task/28686/stat : 28686 (java) S 28669 28671 28535 0 -1 4202560 2537 0 0 0 42 0 0 0 20 0 19 0 339962459 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861259426360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28687] ppid=28669 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/28671/task/28687/stat : 28687 (java) S 28669 28671 28535 0 -1 4202560 3642 0 0 0 40 2 0 0 20 0 19 0 339962459 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861258373816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28671/tid=28688] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28688/stat : 28688 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962459 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861257321464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28689] ppid=28669 vsize=2715132 CPUtime=0.73 cores=1,3,5,7
/proc/28671/task/28689/stat : 28689 (java) S 28669 28671 28535 0 -1 4202560 93 0 0 0 41 32 0 0 20 0 19 0 339962459 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861256269128 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28671/tid=28690] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28690/stat : 28690 (java) S 28669 28671 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339962477 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861255213864 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1637.42
Current children cumulated vsize (KiB) 2715132
[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 1.99 3/215 28788
/proc/meminfo: memFree=24989264/32873844 swapFree=7112/7112
[pid=28671] ppid=28669 vsize=2715132 CPUtime=1698.78 cores=1,3,5,7
/proc/28671/stat : 28671 (java) S 28669 28671 28535 0 -1 4202496 14575 0 1 0 169699 179 0 0 20 0 19 0 339962452 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 140733465017040 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28671/statm: 678783 321846 2274 9 0 669476 0
[pid=28671/tid=28673] ppid=28669 vsize=2715132 CPUtime=1637.04 cores=1,3,5,7
/proc/28671/task/28673/stat : 28673 (java) R 28669 28671 28535 0 -1 4202560 3478 0 1 0 163669 35 0 0 20 0 19 0 339962453 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861416496496 139861265224090 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=2715132 CPUtime=5.95 cores=1,3,5,7
/proc/28671/task/28674/stat : 28674 (java) S 28669 28671 28535 0 -1 4202560 470 0 0 0 579 16 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861400946856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28675] ppid=28669 vsize=2715132 CPUtime=6.08 cores=1,3,5,7
/proc/28671/task/28675/stat : 28675 (java) S 28669 28671 28535 0 -1 4202560 465 0 0 0 591 17 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861399894312 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=2715132 CPUtime=5.93 cores=1,3,5,7
/proc/28671/task/28676/stat : 28676 (java) S 28669 28671 28535 0 -1 4202560 441 0 0 0 577 16 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861398841768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28677] ppid=28669 vsize=2715132 CPUtime=6.1 cores=1,3,5,7
/proc/28671/task/28677/stat : 28677 (java) S 28669 28671 28535 0 -1 4202560 438 0 0 0 594 16 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861397789224 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28671/tid=28678] ppid=28669 vsize=2715132 CPUtime=6.02 cores=1,3,5,7
/proc/28671/task/28678/stat : 28678 (java) S 28669 28671 28535 0 -1 4202560 446 0 0 0 585 17 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861396736680 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28679] ppid=28669 vsize=2715132 CPUtime=6.14 cores=1,3,5,7
/proc/28671/task/28679/stat : 28679 (java) S 28669 28671 28535 0 -1 4202560 413 0 0 0 599 15 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861395684136 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28680] ppid=28669 vsize=2715132 CPUtime=6.13 cores=1,3,5,7
/proc/28671/task/28680/stat : 28680 (java) S 28669 28671 28535 0 -1 4202560 432 0 0 0 599 14 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861394631592 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28681] ppid=28669 vsize=2715132 CPUtime=6.14 cores=1,3,5,7
/proc/28671/task/28681/stat : 28681 (java) S 28669 28671 28535 0 -1 4202560 410 0 0 0 599 15 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861393579048 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28682] ppid=28669 vsize=2715132 CPUtime=7.34 cores=1,3,5,7
/proc/28671/task/28682/stat : 28682 (java) S 28669 28671 28535 0 -1 4202560 123 0 0 0 730 4 0 0 20 0 19 0 339962456 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861263636584 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28671/tid=28683] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28683/stat : 28683 (java) S 28669 28671 28535 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339962457 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861262582904 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28684] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28684/stat : 28684 (java) S 28669 28671 28535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339962457 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861261530248 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28685] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28685/stat : 28685 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962459 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861260478992 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28686] ppid=28669 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/28671/task/28686/stat : 28686 (java) S 28669 28671 28535 0 -1 4202560 2537 0 0 0 42 0 0 0 20 0 19 0 339962459 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861259426360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28687] ppid=28669 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/28671/task/28687/stat : 28687 (java) S 28669 28671 28535 0 -1 4202560 3642 0 0 0 40 2 0 0 20 0 19 0 339962459 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861258373816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28671/tid=28688] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28688/stat : 28688 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962459 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861257321464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28689] ppid=28669 vsize=2715132 CPUtime=0.76 cores=1,3,5,7
/proc/28671/task/28689/stat : 28689 (java) S 28669 28671 28535 0 -1 4202560 97 0 0 0 43 33 0 0 20 0 19 0 339962459 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861256269128 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28690] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28690/stat : 28690 (java) S 28669 28671 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339962477 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861255213864 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1698.78
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 1.99 3/215 28788
/proc/meminfo: memFree=24976524/32873844 swapFree=7112/7112
[pid=28671] ppid=28669 vsize=2715132 CPUtime=1759.71 cores=1,3,5,7
/proc/28671/stat : 28671 (java) S 28669 28671 28535 0 -1 4202496 14596 0 1 0 175790 181 0 0 20 0 19 0 339962452 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 140733465017040 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28671/statm: 678783 321846 2274 9 0 669476 0
[pid=28671/tid=28673] ppid=28669 vsize=2715132 CPUtime=1696.51 cores=1,3,5,7
/proc/28671/task/28673/stat : 28673 (java) R 28669 28671 28535 0 -1 4202560 3493 0 1 0 169615 36 0 0 20 0 19 0 339962453 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861416496544 139861265224090 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=2715132 CPUtime=6.11 cores=1,3,5,7
/proc/28671/task/28674/stat : 28674 (java) S 28669 28671 28535 0 -1 4202560 470 0 0 0 594 17 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861400946856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28675] ppid=28669 vsize=2715132 CPUtime=6.29 cores=1,3,5,7
/proc/28671/task/28675/stat : 28675 (java) S 28669 28671 28535 0 -1 4202560 465 0 0 0 612 17 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861399894312 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=2715132 CPUtime=6.05 cores=1,3,5,7
/proc/28671/task/28676/stat : 28676 (java) S 28669 28671 28535 0 -1 4202560 441 0 0 0 589 16 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861398841768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28671/tid=28677] ppid=28669 vsize=2715132 CPUtime=6.27 cores=1,3,5,7
/proc/28671/task/28677/stat : 28677 (java) S 28669 28671 28535 0 -1 4202560 438 0 0 0 611 16 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861397789224 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28671/tid=28678] ppid=28669 vsize=2715132 CPUtime=6.18 cores=1,3,5,7
/proc/28671/task/28678/stat : 28678 (java) S 28669 28671 28535 0 -1 4202560 446 0 0 0 601 17 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861396736680 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28671/tid=28679] ppid=28669 vsize=2715132 CPUtime=6.28 cores=1,3,5,7
/proc/28671/task/28679/stat : 28679 (java) S 28669 28671 28535 0 -1 4202560 413 0 0 0 613 15 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861395684136 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28671/tid=28680] ppid=28669 vsize=2715132 CPUtime=6.3 cores=1,3,5,7
/proc/28671/task/28680/stat : 28680 (java) S 28669 28671 28535 0 -1 4202560 432 0 0 0 616 14 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861394631592 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28671/tid=28681] ppid=28669 vsize=2715132 CPUtime=6.29 cores=1,3,5,7
/proc/28671/task/28681/stat : 28681 (java) S 28669 28671 28535 0 -1 4202560 410 0 0 0 614 15 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861393579048 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28682] ppid=28669 vsize=2715132 CPUtime=7.34 cores=1,3,5,7
/proc/28671/task/28682/stat : 28682 (java) S 28669 28671 28535 0 -1 4202560 127 0 0 0 730 4 0 0 20 0 19 0 339962456 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861263636584 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28683] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28683/stat : 28683 (java) S 28669 28671 28535 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339962457 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861262582904 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28684] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28684/stat : 28684 (java) S 28669 28671 28535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339962457 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861261530248 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28685] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28685/stat : 28685 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962459 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861260478992 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28686] ppid=28669 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/28671/task/28686/stat : 28686 (java) S 28669 28671 28535 0 -1 4202560 2537 0 0 0 42 0 0 0 20 0 19 0 339962459 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861259426360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28687] ppid=28669 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/28671/task/28687/stat : 28687 (java) S 28669 28671 28535 0 -1 4202560 3642 0 0 0 40 2 0 0 20 0 19 0 339962459 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861258373816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28671/tid=28688] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28688/stat : 28688 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962459 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861257321464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28689] ppid=28669 vsize=2715132 CPUtime=0.79 cores=1,3,5,7
/proc/28671/task/28689/stat : 28689 (java) S 28669 28671 28535 0 -1 4202560 99 0 0 0 45 34 0 0 20 0 19 0 339962459 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861256269128 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28671/tid=28690] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28690/stat : 28690 (java) S 28669 28671 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339962477 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861255213864 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1759.71
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1762.4 s]
/proc/loadavg: 2.00 2.03 1.99 3/215 28788
/proc/meminfo: memFree=24976400/32873844 swapFree=7112/7112
[pid=28671] ppid=28669 vsize=2715132 CPUtime=1800.03 cores=1,3,5,7
/proc/28671/stat : 28671 (java) S 28669 28671 28535 0 -1 4202496 14603 0 1 0 179820 183 0 0 20 0 19 0 339962452 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 140733465017040 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28671/statm: 678783 321846 2274 9 0 669476 0
[pid=28671/tid=28673] ppid=28669 vsize=2715132 CPUtime=1736.44 cores=1,3,5,7
/proc/28671/task/28673/stat : 28673 (java) R 28669 28671 28535 0 -1 4202560 3496 0 1 0 173607 37 0 0 20 0 19 0 339962453 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861416496544 139861265296939 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=2715132 CPUtime=6.12 cores=1,3,5,7
/proc/28671/task/28674/stat : 28674 (java) S 28669 28671 28535 0 -1 4202560 470 0 0 0 595 17 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861400946856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28671/tid=28675] ppid=28669 vsize=2715132 CPUtime=6.33 cores=1,3,5,7
/proc/28671/task/28675/stat : 28675 (java) S 28669 28671 28535 0 -1 4202560 465 0 0 0 616 17 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861399894312 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=2715132 CPUtime=6.09 cores=1,3,5,7
/proc/28671/task/28676/stat : 28676 (java) S 28669 28671 28535 0 -1 4202560 441 0 0 0 593 16 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861398841768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28677] ppid=28669 vsize=2715132 CPUtime=6.31 cores=1,3,5,7
/proc/28671/task/28677/stat : 28677 (java) S 28669 28671 28535 0 -1 4202560 438 0 0 0 615 16 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861397789224 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28678] ppid=28669 vsize=2715132 CPUtime=6.22 cores=1,3,5,7
/proc/28671/task/28678/stat : 28678 (java) S 28669 28671 28535 0 -1 4202560 446 0 0 0 605 17 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861396736680 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28679] ppid=28669 vsize=2715132 CPUtime=6.31 cores=1,3,5,7
/proc/28671/task/28679/stat : 28679 (java) S 28669 28671 28535 0 -1 4202560 413 0 0 0 616 15 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861395684136 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28671/tid=28680] ppid=28669 vsize=2715132 CPUtime=6.32 cores=1,3,5,7
/proc/28671/task/28680/stat : 28680 (java) S 28669 28671 28535 0 -1 4202560 432 0 0 0 618 14 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861394631592 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28671/tid=28681] ppid=28669 vsize=2715132 CPUtime=6.31 cores=1,3,5,7
/proc/28671/task/28681/stat : 28681 (java) S 28669 28671 28535 0 -1 4202560 410 0 0 0 616 15 0 0 20 0 19 0 339962455 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861393579048 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28671/tid=28682] ppid=28669 vsize=2715132 CPUtime=7.34 cores=1,3,5,7
/proc/28671/task/28682/stat : 28682 (java) S 28669 28671 28535 0 -1 4202560 129 0 0 0 730 4 0 0 20 0 19 0 339962456 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861263636584 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28683] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28683/stat : 28683 (java) S 28669 28671 28535 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339962457 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861262582904 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28684] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28684/stat : 28684 (java) S 28669 28671 28535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339962457 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861261530248 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28685] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28685/stat : 28685 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962459 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861260478992 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28686] ppid=28669 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/28671/task/28686/stat : 28686 (java) S 28669 28671 28535 0 -1 4202560 2537 0 0 0 42 0 0 0 20 0 19 0 339962459 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861259426360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28671/tid=28687] ppid=28669 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/28671/task/28687/stat : 28687 (java) S 28669 28671 28535 0 -1 4202560 3642 0 0 0 40 2 0 0 20 0 19 0 339962459 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861258373816 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28671/tid=28688] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28688/stat : 28688 (java) S 28669 28671 28535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339962459 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861257321464 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28671/tid=28689] ppid=28669 vsize=2715132 CPUtime=0.81 cores=1,3,5,7
/proc/28671/task/28689/stat : 28689 (java) S 28669 28671 28535 0 -1 4202560 101 0 0 0 46 35 0 0 20 0 19 0 339962459 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861256269128 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28671/tid=28690] ppid=28669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28671/task/28690/stat : 28690 (java) S 28669 28671 28535 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339962477 2780295168 321846 33554432000 1073741824 1073778376 140733465025904 139861255213864 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28671 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=639325
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=202665
# CPU time returned by wait4() is 1795.84
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1762.47
CPU time (s): 1800.03
CPU user time (s): 1798.2
CPU system time (s): 1.83
CPU usage (%): 102.131
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.64
system time used= 2.20267
maximum resident set size= 1287616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14664
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55622
involuntary context switches= 96393
runsolver used 7.09892 second user time and 15.2947 second system time
The end