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-3742442-1338789838/watcher-3742442-1338789838 -o /tmp/evaluation-result-3742442-1338789838/solver-3742442-1338789838 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3742442-1338789838.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.91 1.99 1.98 5/193 15117
/proc/meminfo: memFree=27016260/32873648 swapFree=7120/7120
[pid=15117] ppid=15115 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/15117/stat : 15117 (runsolver) D 15115 15117 14611 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 345111165 12095488 50 33554432000 4194304 5436572 140735131073552 140735131069848 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/15117/statm: 2953 50 31 304 0 2645 0
[startup+0.059288 s]
/proc/loadavg: 1.91 1.99 1.98 5/193 15117
/proc/meminfo: memFree=27016260/32873648 swapFree=7120/7120
[pid=15117] ppid=15115 vsize=2648548 CPUtime=0.04 cores=0,2,4,6
/proc/15117/stat : 15117 (java) S 15115 15117 14611 0 -1 4202496 3850 0 1 0 3 1 0 0 20 0 18 0 345111165 2712113152 5058 33554432000 1073741824 1073778376 140734048099024 140734048090160 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15117/statm: 662137 5058 1753 9 0 652835 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2648548
[startup+0.10021 s]
/proc/loadavg: 1.91 1.99 1.98 5/193 15117
/proc/meminfo: memFree=27016260/32873648 swapFree=7120/7120
[pid=15117] ppid=15115 vsize=2648568 CPUtime=0.09 cores=0,2,4,6
/proc/15117/stat : 15117 (java) S 15115 15117 14611 0 -1 4202496 4753 0 1 0 8 1 0 0 20 0 18 0 345111165 2712133632 6471 33554432000 1073741824 1073778376 140734048099024 140734048090160 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15117/statm: 662142 6471 2124 9 0 652835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568
[startup+0.30026 s]
/proc/loadavg: 1.91 1.99 1.98 5/193 15117
/proc/meminfo: memFree=27016260/32873648 swapFree=7120/7120
[pid=15117] ppid=15115 vsize=2648568 CPUtime=0.54 cores=0,2,4,6
/proc/15117/stat : 15117 (java) S 15115 15117 14611 0 -1 4202496 7569 0 1 0 52 2 0 0 20 0 18 0 345111165 2712133632 12888 33554432000 1073741824 1073778376 140734048099024 140734048090160 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15117/statm: 662142 12888 2217 9 0 652835 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2648568
[startup+0.700163 s]
/proc/loadavg: 1.91 1.99 1.98 5/193 15117
/proc/meminfo: memFree=27016260/32873648 swapFree=7120/7120
[pid=15117] ppid=15115 vsize=2715132 CPUtime=1.51 cores=0,2,4,6
/proc/15117/stat : 15117 (java) S 15115 15117 14611 0 -1 4202496 10422 0 1 0 146 5 0 0 20 0 19 0 345111165 2780295168 38630 33554432000 1073741824 1073778376 140734048099024 140734048090160 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15117/statm: 678783 38630 2252 9 0 669476 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 2715132
[startup+1.50073 s]
/proc/loadavg: 1.91 1.99 1.98 3/213 15137
/proc/meminfo: memFree=26749788/32873648 swapFree=7120/7120
[pid=15117] ppid=15115 vsize=2715132 CPUtime=2.47 cores=0,2,4,6
/proc/15117/stat : 15117 (java) S 15115 15117 14611 0 -1 4202496 10451 0 1 0 242 5 0 0 20 0 19 0 345111165 2780295168 38659 33554432000 1073741824 1073778376 140734048099024 140734048090160 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15117/statm: 678783 38659 2256 9 0 669476 0
[pid=15117/tid=15119] ppid=15115 vsize=2715132 CPUtime=1.47 cores=0,2,4,6
/proc/15117/task/15119/stat : 15119 (java) R 15115 15117 14611 0 -1 4202560 2876 0 1 0 143 4 0 0 20 0 19 0 345111166 2780295168 38659 33554432000 1073741824 1073778376 140734048099024 139757236298456 139757109200084 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15120] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15120/stat : 15120 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 38659 33554432000 1073741824 1073778376 140734048099024 139757103061416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15121] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15121/stat : 15121 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 38659 33554432000 1073741824 1073778376 140734048099024 139757102008872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15122] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15122/stat : 15122 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 38659 33554432000 1073741824 1073778376 140734048099024 139757100955816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15123] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15123/stat : 15123 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 38659 33554432000 1073741824 1073778376 140734048099024 139757099903272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15124] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15124/stat : 15124 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 38659 33554432000 1073741824 1073778376 140734048099024 139757098851240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15125] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15125/stat : 15125 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 38659 33554432000 1073741824 1073778376 140734048099024 139757097798696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15126] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15126/stat : 15126 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 38659 33554432000 1073741824 1073778376 140734048099024 139757096745640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15127] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15127/stat : 15127 (java) S 15115 15117 14611 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 38659 33554432000 1073741824 1073778376 140734048099024 139756625193768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15128] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15128/stat : 15128 (java) S 15115 15117 14611 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 345111168 2780295168 38659 33554432000 1073741824 1073778376 140734048099024 139756612995432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15129] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15129/stat : 15129 (java) S 15115 15117 14611 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345111168 2780295168 38659 33554432000 1073741824 1073778376 140734048099024 139756611941752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15130] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15130/stat : 15130 (java) S 15115 15117 14611 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345111168 2780295168 38659 33554432000 1073741824 1073778376 140734048099024 139756610888584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15131] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15131/stat : 15131 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111170 2780295168 38659 33554432000 1073741824 1073778376 140734048099024 139756609837328 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15132] ppid=15115 vsize=2715132 CPUtime=0.49 cores=0,2,4,6
/proc/15117/task/15132/stat : 15132 (java) S 15115 15117 14611 0 -1 4202560 2757 0 0 0 49 0 0 0 20 0 19 0 345111170 2780295168 38659 33554432000 1073741824 1073778376 140734048099024 139756608785208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15133] ppid=15115 vsize=2715132 CPUtime=0.47 cores=0,2,4,6
/proc/15117/task/15133/stat : 15133 (java) S 15115 15117 14611 0 -1 4202560 3618 0 0 0 47 0 0 0 20 0 19 0 345111170 2780295168 38659 33554432000 1073741824 1073778376 140734048099024 139756607732664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15134] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15134/stat : 15134 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111170 2780295168 38659 33554432000 1073741824 1073778376 140734048099024 139756606679800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15135] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15135/stat : 15135 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111170 2780295168 38659 33554432000 1073741824 1073778376 140734048099024 139756605627464 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15137] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15137/stat : 15137 (java) S 15115 15117 14611 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 345111225 2780295168 38659 33554432000 1073741824 1073778376 140734048099024 139756604539944 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 2715132
[startup+3.10069 s]
/proc/loadavg: 1.91 1.99 1.98 3/213 15137
/proc/meminfo: memFree=26748788/32873648 swapFree=7120/7120
[pid=15117] ppid=15115 vsize=2715132 CPUtime=4.08 cores=0,2,4,6
/proc/15117/stat : 15117 (java) S 15115 15117 14611 0 -1 4202496 10455 0 1 0 403 5 0 0 20 0 19 0 345111165 2780295168 39172 33554432000 1073741824 1073778376 140734048099024 140734048090160 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15117/statm: 678783 39172 2256 9 0 669476 0
[pid=15117/tid=15119] ppid=15115 vsize=2715132 CPUtime=3.07 cores=0,2,4,6
/proc/15117/task/15119/stat : 15119 (java) R 15115 15117 14611 0 -1 4202560 2879 0 1 0 303 4 0 0 20 0 19 0 345111166 2780295168 39172 33554432000 1073741824 1073778376 140734048099024 139757236295888 139757109010464 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15120] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15120/stat : 15120 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 39172 33554432000 1073741824 1073778376 140734048099024 139757103061416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15121] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15121/stat : 15121 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 39172 33554432000 1073741824 1073778376 140734048099024 139757102008872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15122] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15122/stat : 15122 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 39172 33554432000 1073741824 1073778376 140734048099024 139757100955816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15123] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15123/stat : 15123 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 39172 33554432000 1073741824 1073778376 140734048099024 139757099903272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15124] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15124/stat : 15124 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 39172 33554432000 1073741824 1073778376 140734048099024 139757098851240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15125] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15125/stat : 15125 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 39172 33554432000 1073741824 1073778376 140734048099024 139757097798696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15126] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15126/stat : 15126 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 39172 33554432000 1073741824 1073778376 140734048099024 139757096745640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15127] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15127/stat : 15127 (java) S 15115 15117 14611 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 39172 33554432000 1073741824 1073778376 140734048099024 139756625193768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15128] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15128/stat : 15128 (java) S 15115 15117 14611 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 345111168 2780295168 39172 33554432000 1073741824 1073778376 140734048099024 139756612995432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15129] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15129/stat : 15129 (java) S 15115 15117 14611 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345111168 2780295168 39172 33554432000 1073741824 1073778376 140734048099024 139756611941752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15130] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15130/stat : 15130 (java) S 15115 15117 14611 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345111168 2780295168 39172 33554432000 1073741824 1073778376 140734048099024 139756610888584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15131] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15131/stat : 15131 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111170 2780295168 39172 33554432000 1073741824 1073778376 140734048099024 139756609837328 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15132] ppid=15115 vsize=2715132 CPUtime=0.49 cores=0,2,4,6
/proc/15117/task/15132/stat : 15132 (java) S 15115 15117 14611 0 -1 4202560 2757 0 0 0 49 0 0 0 20 0 19 0 345111170 2780295168 39172 33554432000 1073741824 1073778376 140734048099024 139756608785208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15133] ppid=15115 vsize=2715132 CPUtime=0.47 cores=0,2,4,6
/proc/15117/task/15133/stat : 15133 (java) S 15115 15117 14611 0 -1 4202560 3618 0 0 0 47 0 0 0 20 0 19 0 345111170 2780295168 39172 33554432000 1073741824 1073778376 140734048099024 139756607732664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15134] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15134/stat : 15134 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111170 2780295168 39172 33554432000 1073741824 1073778376 140734048099024 139756606679800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15135] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15135/stat : 15135 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111170 2780295168 39172 33554432000 1073741824 1073778376 140734048099024 139756605627464 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15137] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15137/stat : 15137 (java) S 15115 15117 14611 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 345111225 2780295168 39172 33554432000 1073741824 1073778376 140734048099024 139756604539944 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 2715132
[startup+6.30074 s]
/proc/loadavg: 1.92 1.99 1.98 3/213 15137
/proc/meminfo: memFree=26744172/32873648 swapFree=7120/7120
[pid=15117] ppid=15115 vsize=2715132 CPUtime=7.29 cores=0,2,4,6
/proc/15117/stat : 15117 (java) S 15115 15117 14611 0 -1 4202496 10459 0 1 0 724 5 0 0 20 0 19 0 345111165 2780295168 39568 33554432000 1073741824 1073778376 140734048099024 140734048090160 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15117/statm: 678783 39568 2256 9 0 669476 0
[pid=15117/tid=15119] ppid=15115 vsize=2715132 CPUtime=6.27 cores=0,2,4,6
/proc/15117/task/15119/stat : 15119 (java) R 15115 15117 14611 0 -1 4202560 2881 0 1 0 623 4 0 0 20 0 19 0 345111166 2780295168 39568 33554432000 1073741824 1073778376 140734048099024 139757236298248 139757109200043 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15120] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15120/stat : 15120 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 39568 33554432000 1073741824 1073778376 140734048099024 139757103061416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15121] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15121/stat : 15121 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 39568 33554432000 1073741824 1073778376 140734048099024 139757102008872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15122] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15122/stat : 15122 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 39568 33554432000 1073741824 1073778376 140734048099024 139757100955816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15123] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15123/stat : 15123 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 39568 33554432000 1073741824 1073778376 140734048099024 139757099903272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15124] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15124/stat : 15124 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 39568 33554432000 1073741824 1073778376 140734048099024 139757098851240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15125] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15125/stat : 15125 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 39568 33554432000 1073741824 1073778376 140734048099024 139757097798696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15126] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15126/stat : 15126 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 39568 33554432000 1073741824 1073778376 140734048099024 139757096745640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15127] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15127/stat : 15127 (java) S 15115 15117 14611 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345111167 2780295168 39568 33554432000 1073741824 1073778376 140734048099024 139756625193768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15128] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15128/stat : 15128 (java) S 15115 15117 14611 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 345111168 2780295168 39568 33554432000 1073741824 1073778376 140734048099024 139756612995432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15129] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15129/stat : 15129 (java) S 15115 15117 14611 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345111168 2780295168 39568 33554432000 1073741824 1073778376 140734048099024 139756611941752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15130] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15130/stat : 15130 (java) S 15115 15117 14611 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345111168 2780295168 39568 33554432000 1073741824 1073778376 140734048099024 139756610888584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15131] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15131/stat : 15131 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111170 2780295168 39568 33554432000 1073741824 1073778376 140734048099024 139756609837328 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15132] ppid=15115 vsize=2715132 CPUtime=0.51 cores=0,2,4,6
/proc/15117/task/15132/stat : 15132 (java) S 15115 15117 14611 0 -1 4202560 2759 0 0 0 51 0 0 0 20 0 19 0 345111170 2780295168 39568 33554432000 1073741824 1073778376 140734048099024 139756608785208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15133] ppid=15115 vsize=2715132 CPUtime=0.47 cores=0,2,4,6
/proc/15117/task/15133/stat : 15133 (java) S 15115 15117 14611 0 -1 4202560 3618 0 0 0 47 0 0 0 20 0 19 0 345111170 2780295168 39568 33554432000 1073741824 1073778376 140734048099024 139756607732664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15134] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15134/stat : 15134 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111170 2780295168 39568 33554432000 1073741824 1073778376 140734048099024 139756606679800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15135] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15135/stat : 15135 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111170 2780295168 39568 33554432000 1073741824 1073778376 140734048099024 139756605627464 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15137] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15137/stat : 15137 (java) S 15115 15117 14611 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 345111225 2780295168 39568 33554432000 1073741824 1073778376 140734048099024 139756604539944 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.29
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
################
# More data... #
################
[pid=15117/tid=15125] ppid=15115 vsize=2715132 CPUtime=0.36 cores=0,2,4,6
/proc/15117/task/15125/stat : 15125 (java) S 15115 15117 14611 0 -1 4202560 265 0 0 0 20 16 0 0 20 0 19 0 345111167 2780295168 329464 33554432000 1073741824 1073778376 140734048099024 139757097798696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15126] ppid=15115 vsize=2715132 CPUtime=0.26 cores=0,2,4,6
/proc/15117/task/15126/stat : 15126 (java) S 15115 15117 14611 0 -1 4202560 198 0 0 0 15 11 0 0 20 0 19 0 345111167 2780295168 329464 33554432000 1073741824 1073778376 140734048099024 139757096745640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15127] ppid=15115 vsize=2715132 CPUtime=0.3 cores=0,2,4,6
/proc/15117/task/15127/stat : 15127 (java) S 15115 15117 14611 0 -1 4202560 235 0 0 0 17 13 0 0 20 0 19 0 345111167 2780295168 329464 33554432000 1073741824 1073778376 140734048099024 139756625193768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15128] ppid=15115 vsize=2715132 CPUtime=0.9 cores=0,2,4,6
/proc/15117/task/15128/stat : 15128 (java) S 15115 15117 14611 0 -1 4202560 54 0 0 0 88 2 0 0 20 0 19 0 345111168 2780295168 329464 33554432000 1073741824 1073778376 140734048099024 139756612995432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15129] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15129/stat : 15129 (java) S 15115 15117 14611 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345111168 2780295168 329464 33554432000 1073741824 1073778376 140734048099024 139756611941752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15130] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15130/stat : 15130 (java) S 15115 15117 14611 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345111168 2780295168 329464 33554432000 1073741824 1073778376 140734048099024 139756610888584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15131] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15131/stat : 15131 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111170 2780295168 329464 33554432000 1073741824 1073778376 140734048099024 139756609837328 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15132] ppid=15115 vsize=2715132 CPUtime=0.54 cores=0,2,4,6
/proc/15117/task/15132/stat : 15132 (java) S 15115 15117 14611 0 -1 4202560 2768 0 0 0 54 0 0 0 20 0 19 0 345111170 2780295168 329464 33554432000 1073741824 1073778376 140734048099024 139756608785208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15133] ppid=15115 vsize=2715132 CPUtime=0.49 cores=0,2,4,6
/proc/15117/task/15133/stat : 15133 (java) S 15115 15117 14611 0 -1 4202560 3620 0 0 0 49 0 0 0 20 0 19 0 345111170 2780295168 329464 33554432000 1073741824 1073778376 140734048099024 139756607732664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15134] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15134/stat : 15134 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111170 2780295168 329464 33554432000 1073741824 1073778376 140734048099024 139756606679800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15135] ppid=15115 vsize=2715132 CPUtime=0.68 cores=0,2,4,6
/proc/15117/task/15135/stat : 15135 (java) S 15115 15117 14611 0 -1 4202560 95 0 0 0 39 29 0 0 20 0 19 0 345111170 2780295168 329464 33554432000 1073741824 1073778376 140734048099024 139756605627464 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15137] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15137/stat : 15137 (java) S 15115 15117 14611 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 345111225 2780295168 329464 33554432000 1073741824 1073778376 140734048099024 139756604539944 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1665.49
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 15153
/proc/meminfo: memFree=24391620/32873648 swapFree=7120/7120
[pid=15117] ppid=15115 vsize=2715132 CPUtime=1725.5 cores=0,2,4,6
/proc/15117/stat : 15117 (java) S 15115 15117 14611 0 -1 4202496 12583 0 1 0 172412 138 0 0 20 0 19 0 345111165 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 140734048090160 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15117/statm: 678783 330663 2277 9 0 669476 0
[pid=15117/tid=15119] ppid=15115 vsize=2715132 CPUtime=1720.73 cores=0,2,4,6
/proc/15117/task/15119/stat : 15119 (java) R 15115 15117 14611 0 -1 4202560 2990 0 1 0 172038 35 0 0 20 0 19 0 345111166 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757236297208 139757108531123 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15120] ppid=15115 vsize=2715132 CPUtime=0.29 cores=0,2,4,6
/proc/15117/task/15120/stat : 15120 (java) S 15115 15117 14611 0 -1 4202560 221 0 0 0 16 13 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757103061416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15121] ppid=15115 vsize=2715132 CPUtime=0.27 cores=0,2,4,6
/proc/15117/task/15121/stat : 15121 (java) S 15115 15117 14611 0 -1 4202560 202 0 0 0 16 11 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757102008872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15122] ppid=15115 vsize=2715132 CPUtime=0.4 cores=0,2,4,6
/proc/15117/task/15122/stat : 15122 (java) S 15115 15117 14611 0 -1 4202560 293 0 0 0 23 17 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757100955816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15123] ppid=15115 vsize=2715132 CPUtime=0.24 cores=0,2,4,6
/proc/15117/task/15123/stat : 15123 (java) S 15115 15117 14611 0 -1 4202560 182 0 0 0 12 12 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757099903272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15124] ppid=15115 vsize=2715132 CPUtime=0.36 cores=0,2,4,6
/proc/15117/task/15124/stat : 15124 (java) S 15115 15117 14611 0 -1 4202560 269 0 0 0 19 17 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757098851240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15125] ppid=15115 vsize=2715132 CPUtime=0.36 cores=0,2,4,6
/proc/15117/task/15125/stat : 15125 (java) S 15115 15117 14611 0 -1 4202560 265 0 0 0 20 16 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757097798696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15126] ppid=15115 vsize=2715132 CPUtime=0.26 cores=0,2,4,6
/proc/15117/task/15126/stat : 15126 (java) S 15115 15117 14611 0 -1 4202560 198 0 0 0 15 11 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757096745640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15127] ppid=15115 vsize=2715132 CPUtime=0.3 cores=0,2,4,6
/proc/15117/task/15127/stat : 15127 (java) S 15115 15117 14611 0 -1 4202560 235 0 0 0 17 13 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756625193768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15128] ppid=15115 vsize=2715132 CPUtime=0.91 cores=0,2,4,6
/proc/15117/task/15128/stat : 15128 (java) S 15115 15117 14611 0 -1 4202560 54 0 0 0 89 2 0 0 20 0 19 0 345111168 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756612995432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15129] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15129/stat : 15129 (java) S 15115 15117 14611 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345111168 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756611941752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15130] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15130/stat : 15130 (java) S 15115 15117 14611 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345111168 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756610888584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15131] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15131/stat : 15131 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111170 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756609837328 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15132] ppid=15115 vsize=2715132 CPUtime=0.54 cores=0,2,4,6
/proc/15117/task/15132/stat : 15132 (java) S 15115 15117 14611 0 -1 4202560 2768 0 0 0 54 0 0 0 20 0 19 0 345111170 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756608785208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15133] ppid=15115 vsize=2715132 CPUtime=0.49 cores=0,2,4,6
/proc/15117/task/15133/stat : 15133 (java) S 15115 15117 14611 0 -1 4202560 3620 0 0 0 49 0 0 0 20 0 19 0 345111170 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756607732664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15134] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15134/stat : 15134 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111170 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756606679800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15135] ppid=15115 vsize=2715132 CPUtime=0.71 cores=0,2,4,6
/proc/15117/task/15135/stat : 15135 (java) S 15115 15117 14611 0 -1 4202560 99 0 0 0 41 30 0 0 20 0 19 0 345111170 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756605627464 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15137] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15137/stat : 15137 (java) S 15115 15117 14611 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 345111225 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756604539944 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1725.5
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 15153
/proc/meminfo: memFree=24391508/32873648 swapFree=7120/7120
[pid=15117] ppid=15115 vsize=2715132 CPUtime=1785.51 cores=0,2,4,6
/proc/15117/stat : 15117 (java) S 15115 15117 14611 0 -1 4202496 12587 0 1 0 178412 139 0 0 20 0 19 0 345111165 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 140734048090160 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15117/statm: 678783 330663 2277 9 0 669476 0
[pid=15117/tid=15119] ppid=15115 vsize=2715132 CPUtime=1780.73 cores=0,2,4,6
/proc/15117/task/15119/stat : 15119 (java) R 15115 15117 14611 0 -1 4202560 2990 0 1 0 178037 36 0 0 20 0 19 0 345111166 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757236297208 139757109226242 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15120] ppid=15115 vsize=2715132 CPUtime=0.29 cores=0,2,4,6
/proc/15117/task/15120/stat : 15120 (java) S 15115 15117 14611 0 -1 4202560 221 0 0 0 16 13 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757103061416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15121] ppid=15115 vsize=2715132 CPUtime=0.27 cores=0,2,4,6
/proc/15117/task/15121/stat : 15121 (java) S 15115 15117 14611 0 -1 4202560 202 0 0 0 16 11 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757102008872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15122] ppid=15115 vsize=2715132 CPUtime=0.4 cores=0,2,4,6
/proc/15117/task/15122/stat : 15122 (java) S 15115 15117 14611 0 -1 4202560 293 0 0 0 23 17 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757100955816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15123] ppid=15115 vsize=2715132 CPUtime=0.24 cores=0,2,4,6
/proc/15117/task/15123/stat : 15123 (java) S 15115 15117 14611 0 -1 4202560 182 0 0 0 12 12 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757099903272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15124] ppid=15115 vsize=2715132 CPUtime=0.36 cores=0,2,4,6
/proc/15117/task/15124/stat : 15124 (java) S 15115 15117 14611 0 -1 4202560 269 0 0 0 19 17 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757098851240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15125] ppid=15115 vsize=2715132 CPUtime=0.36 cores=0,2,4,6
/proc/15117/task/15125/stat : 15125 (java) S 15115 15117 14611 0 -1 4202560 265 0 0 0 20 16 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757097798696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15126] ppid=15115 vsize=2715132 CPUtime=0.26 cores=0,2,4,6
/proc/15117/task/15126/stat : 15126 (java) S 15115 15117 14611 0 -1 4202560 198 0 0 0 15 11 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757096745640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15127] ppid=15115 vsize=2715132 CPUtime=0.3 cores=0,2,4,6
/proc/15117/task/15127/stat : 15127 (java) S 15115 15117 14611 0 -1 4202560 235 0 0 0 17 13 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756625193768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15128] ppid=15115 vsize=2715132 CPUtime=0.91 cores=0,2,4,6
/proc/15117/task/15128/stat : 15128 (java) S 15115 15117 14611 0 -1 4202560 54 0 0 0 89 2 0 0 20 0 19 0 345111168 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756612995432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15129] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15129/stat : 15129 (java) S 15115 15117 14611 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345111168 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756611941752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15130] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15130/stat : 15130 (java) S 15115 15117 14611 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345111168 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756610888584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15131] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15131/stat : 15131 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111170 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756609837328 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15132] ppid=15115 vsize=2715132 CPUtime=0.54 cores=0,2,4,6
/proc/15117/task/15132/stat : 15132 (java) S 15115 15117 14611 0 -1 4202560 2768 0 0 0 54 0 0 0 20 0 19 0 345111170 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756608785208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15133] ppid=15115 vsize=2715132 CPUtime=0.49 cores=0,2,4,6
/proc/15117/task/15133/stat : 15133 (java) S 15115 15117 14611 0 -1 4202560 3620 0 0 0 49 0 0 0 20 0 19 0 345111170 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756607732664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15134] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15134/stat : 15134 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111170 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756606679800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15135] ppid=15115 vsize=2715132 CPUtime=0.74 cores=0,2,4,6
/proc/15117/task/15135/stat : 15135 (java) S 15115 15117 14611 0 -1 4202560 103 0 0 0 43 31 0 0 20 0 19 0 345111170 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756605627464 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15137] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15137/stat : 15137 (java) S 15115 15117 14611 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 345111225 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756604539944 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 4/216 15156
/proc/meminfo: memFree=24391388/32873648 swapFree=7120/7120
[pid=15117] ppid=15115 vsize=2715132 CPUtime=1800.02 cores=0,2,4,6
/proc/15117/stat : 15117 (java) S 15115 15117 14611 0 -1 4202496 12587 0 1 0 179863 139 0 0 20 0 19 0 345111165 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 140734048090160 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15117/statm: 678783 330663 2277 9 0 669476 0
[pid=15117/tid=15119] ppid=15115 vsize=2715132 CPUtime=1795.24 cores=0,2,4,6
/proc/15117/task/15119/stat : 15119 (java) R 15115 15117 14611 0 -1 4202560 2990 0 1 0 179488 36 0 0 20 0 19 0 345111166 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757236297208 139757109226096 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15120] ppid=15115 vsize=2715132 CPUtime=0.29 cores=0,2,4,6
/proc/15117/task/15120/stat : 15120 (java) S 15115 15117 14611 0 -1 4202560 221 0 0 0 16 13 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757103061416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15121] ppid=15115 vsize=2715132 CPUtime=0.27 cores=0,2,4,6
/proc/15117/task/15121/stat : 15121 (java) S 15115 15117 14611 0 -1 4202560 202 0 0 0 16 11 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757102008872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15122] ppid=15115 vsize=2715132 CPUtime=0.4 cores=0,2,4,6
/proc/15117/task/15122/stat : 15122 (java) S 15115 15117 14611 0 -1 4202560 293 0 0 0 23 17 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757100955816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15123] ppid=15115 vsize=2715132 CPUtime=0.24 cores=0,2,4,6
/proc/15117/task/15123/stat : 15123 (java) S 15115 15117 14611 0 -1 4202560 182 0 0 0 12 12 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757099903272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15124] ppid=15115 vsize=2715132 CPUtime=0.36 cores=0,2,4,6
/proc/15117/task/15124/stat : 15124 (java) S 15115 15117 14611 0 -1 4202560 269 0 0 0 19 17 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757098851240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15125] ppid=15115 vsize=2715132 CPUtime=0.36 cores=0,2,4,6
/proc/15117/task/15125/stat : 15125 (java) S 15115 15117 14611 0 -1 4202560 265 0 0 0 20 16 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757097798696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15126] ppid=15115 vsize=2715132 CPUtime=0.26 cores=0,2,4,6
/proc/15117/task/15126/stat : 15126 (java) S 15115 15117 14611 0 -1 4202560 198 0 0 0 15 11 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139757096745640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15127] ppid=15115 vsize=2715132 CPUtime=0.3 cores=0,2,4,6
/proc/15117/task/15127/stat : 15127 (java) S 15115 15117 14611 0 -1 4202560 235 0 0 0 17 13 0 0 20 0 19 0 345111167 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756625193768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15117/tid=15128] ppid=15115 vsize=2715132 CPUtime=0.91 cores=0,2,4,6
/proc/15117/task/15128/stat : 15128 (java) S 15115 15117 14611 0 -1 4202560 54 0 0 0 89 2 0 0 20 0 19 0 345111168 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756612995432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15129] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15129/stat : 15129 (java) S 15115 15117 14611 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345111168 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756611941752 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15130] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15130/stat : 15130 (java) S 15115 15117 14611 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345111168 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756610888584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15131] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15131/stat : 15131 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111170 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756609837328 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15132] ppid=15115 vsize=2715132 CPUtime=0.54 cores=0,2,4,6
/proc/15117/task/15132/stat : 15132 (java) S 15115 15117 14611 0 -1 4202560 2768 0 0 0 54 0 0 0 20 0 19 0 345111170 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756608785208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15117/tid=15133] ppid=15115 vsize=2715132 CPUtime=0.49 cores=0,2,4,6
/proc/15117/task/15133/stat : 15133 (java) S 15115 15117 14611 0 -1 4202560 3620 0 0 0 49 0 0 0 20 0 19 0 345111170 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756607732664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15134] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15134/stat : 15134 (java) S 15115 15117 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345111170 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756606679800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15117/tid=15135] ppid=15115 vsize=2715132 CPUtime=0.74 cores=0,2,4,6
/proc/15117/task/15135/stat : 15135 (java) S 15115 15117 14611 0 -1 4202560 103 0 0 0 43 31 0 0 20 0 19 0 345111170 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756605627464 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15117/tid=15137] ppid=15115 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15117/task/15137/stat : 15137 (java) S 15115 15117 14611 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 345111225 2780295168 330663 33554432000 1073741824 1073778376 140734048099024 139756604539944 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 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
Child status: 143
Real time (s): 1796.91
CPU time (s): 1800.87
CPU user time (s): 1798.94
CPU system time (s): 1.93071
CPU usage (%): 100.22
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.94
system time used= 1.93071
maximum resident set size= 1322840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12638
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= 38019
involuntary context switches= 2757
runsolver used 5.71013 second user time and 15.6736 second system time
The end