runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4103660-1466247212/watcher-4103660-1466247212 -o /tmp/evaluation-result-4103660-1466247212/solver-4103660-1466247212 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466241833-6933 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103660-1466247212.opb
pid=7784
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.21 2.29 2.22 3/194 7787
/proc/meminfo: memFree=29507724/32872528 swapFree=1497824/1644992
[pid=7787] ppid=7784 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/7787/stat : 7787 (java) D 7784 7787 6916 0 -1 4202496 158 0 0 0 0 0 0 0 20 0 1 0 26768056 278528 33 33554432000 1073741824 1073778376 140734989933456 140734989930632 259103223079 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/7787/statm: 68 33 25 9 0 25 0
[startup+0.100144 s]
/proc/loadavg: 2.21 2.29 2.22 3/194 7787
/proc/meminfo: memFree=29507724/32872528 swapFree=1497824/1644992
[pid=7787] ppid=7784 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/7787/stat : 7787 (java) S 7784 7787 6916 0 -1 4202496 4404 0 1 0 8 1 0 0 20 0 18 0 26768056 9787879424 6044 33554432000 1073741824 1073778376 140734811277072 140734811268208 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7787/statm: 2389619 6044 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200343 s]
/proc/loadavg: 2.21 2.29 2.22 3/194 7787
/proc/meminfo: memFree=29507724/32872528 swapFree=1497824/1644992
[pid=7787] ppid=7784 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/7787/stat : 7787 (java) S 7784 7787 6916 0 -1 4202496 5015 0 1 0 28 1 0 0 20 0 18 0 26768056 9787879424 6895 33554432000 1073741824 1073778376 140734811277072 140734811268208 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7787/statm: 2389619 6895 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476
[startup+0.300351 s]
/proc/loadavg: 2.21 2.29 2.22 3/194 7787
/proc/meminfo: memFree=29507724/32872528 swapFree=1497824/1644992
[pid=7787] ppid=7784 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/7787/stat : 7787 (java) S 7784 7787 6916 0 -1 4202496 9419 0 1 0 52 2 0 0 20 0 18 0 26768056 9787879424 11364 33554432000 1073741824 1073778376 140734811277072 140734811268208 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7787/statm: 2389619 11364 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476
[startup+0.700323 s]
/proc/loadavg: 2.21 2.29 2.22 3/194 7787
/proc/meminfo: memFree=29507724/32872528 swapFree=1497824/1644992
[pid=7787] ppid=7784 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/7787/stat : 7787 (java) S 7784 7787 6916 0 -1 4202496 11695 0 1 0 138 3 0 0 20 0 19 0 26768056 9856040960 29353 33554432000 1073741824 1073778376 140734811277072 140734811268208 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7787/statm: 2406260 29353 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 9625040
[startup+1.50085 s]
/proc/loadavg: 2.21 2.29 2.22 4/213 7806
/proc/meminfo: memFree=29369856/32872528 swapFree=1497824/1644992
[pid=7787] ppid=7784 vsize=9625040 CPUtime=2.81 cores=1,3,5,7
/proc/7787/stat : 7787 (java) S 7784 7787 6916 0 -1 4202496 18680 0 1 0 276 5 0 0 20 0 19 0 26768056 9856040960 40532 33554432000 1073741824 1073778376 140734811277072 140734811268208 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7787/statm: 2406260 40532 2265 9 0 2396937 0
[pid=7787/tid=7789] ppid=7784 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/7787/task/7789/stat : 7789 (java) R 7784 7787 6916 0 -1 4202560 2464 0 1 0 144 2 0 0 20 0 19 0 26768057 9856040960 40532 33554432000 1073741824 1073778376 140734811277072 140494182793512 140494034854511 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7787/tid=7790] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7790/stat : 7790 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 40532 33554432000 1073741824 1073778376 140734811277072 140494155246248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7791] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7791/stat : 7791 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 40532 33554432000 1073741824 1073778376 140734811277072 140494154193704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7792] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7792/stat : 7792 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 40532 33554432000 1073741824 1073778376 140734811277072 140494153141160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7787/tid=7793] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7793/stat : 7793 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 40532 33554432000 1073741824 1073778376 140734811277072 140494023207976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7787/tid=7794] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7794/stat : 7794 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 40532 33554432000 1073741824 1073778376 140734811277072 140494022154408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7795] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7795/stat : 7795 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 40532 33554432000 1073741824 1073778376 140734811277072 140494021101864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7787/tid=7796] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7796/stat : 7796 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 40532 33554432000 1073741824 1073778376 140734811277072 140494020049320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7797] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7797/stat : 7797 (java) S 7784 7787 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 40532 33554432000 1073741824 1073778376 140734811277072 140494018996776 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7798] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7798/stat : 7798 (java) S 7784 7787 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 26768060 9856040960 40532 33554432000 1073741824 1073778376 140734811277072 140493536483944 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7799] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7799/stat : 7799 (java) S 7784 7787 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 26768060 9856040960 40532 33554432000 1073741824 1073778376 140734811277072 140493535430264 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7800] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7800/stat : 7800 (java) S 7784 7787 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26768060 9856040960 40532 33554432000 1073741824 1073778376 140734811277072 140493534377608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7801] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7801/stat : 7801 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768062 9856040960 40532 33554432000 1073741824 1073778376 140734811277072 140493533326352 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7802] ppid=7784 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/7787/task/7802/stat : 7802 (java) S 7784 7787 6916 0 -1 4202560 10407 0 0 0 78 2 0 0 20 0 19 0 26768062 9856040960 40532 33554432000 1073741824 1073778376 140734811277072 140493532272696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7803] ppid=7784 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/7787/task/7803/stat : 7803 (java) S 7784 7787 6916 0 -1 4202560 4537 0 0 0 50 0 0 0 20 0 19 0 26768062 9856040960 40532 33554432000 1073741824 1073778376 140734811277072 140493531220152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7804] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7804/stat : 7804 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768062 9856040960 40532 33554432000 1073741824 1073778376 140734811277072 140493530167800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7805] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7805/stat : 7805 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768062 9856040960 40532 33554432000 1073741824 1073778376 140734811277072 140493529115464 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7806] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7806/stat : 7806 (java) S 7784 7787 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26768111 9856040960 40532 33554432000 1073741824 1073778376 140734811277072 140493528061224 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 9625040
[startup+3.10076 s]
/proc/loadavg: 2.21 2.29 2.22 4/213 7806
/proc/meminfo: memFree=29346404/32872528 swapFree=1497824/1644992
[pid=7787] ppid=7784 vsize=9625040 CPUtime=4.45 cores=1,3,5,7
/proc/7787/stat : 7787 (java) S 7784 7787 6916 0 -1 4202496 18700 0 1 0 440 5 0 0 20 0 19 0 26768056 9856040960 43618 33554432000 1073741824 1073778376 140734811277072 140734811268208 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7787/statm: 2406260 43618 2265 9 0 2396937 0
[pid=7787/tid=7789] ppid=7784 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/7787/task/7789/stat : 7789 (java) R 7784 7787 6916 0 -1 4202560 2470 0 1 0 303 2 0 0 20 0 19 0 26768057 9856040960 43618 33554432000 1073741824 1073778376 140734811277072 140494182793480 140494034854471 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7787/tid=7790] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7790/stat : 7790 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 43618 33554432000 1073741824 1073778376 140734811277072 140494155246248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7791] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7791/stat : 7791 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 43618 33554432000 1073741824 1073778376 140734811277072 140494154193704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7792] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7792/stat : 7792 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 43618 33554432000 1073741824 1073778376 140734811277072 140494153141160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7787/tid=7793] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7793/stat : 7793 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 43618 33554432000 1073741824 1073778376 140734811277072 140494023207976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7787/tid=7794] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7794/stat : 7794 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 43618 33554432000 1073741824 1073778376 140734811277072 140494022154408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7795] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7795/stat : 7795 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 43618 33554432000 1073741824 1073778376 140734811277072 140494021101864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7787/tid=7796] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7796/stat : 7796 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 43618 33554432000 1073741824 1073778376 140734811277072 140494020049320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7797] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7797/stat : 7797 (java) S 7784 7787 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 43618 33554432000 1073741824 1073778376 140734811277072 140494018996776 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7798] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7798/stat : 7798 (java) S 7784 7787 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 26768060 9856040960 43618 33554432000 1073741824 1073778376 140734811277072 140493536483944 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7799] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7799/stat : 7799 (java) S 7784 7787 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 26768060 9856040960 43618 33554432000 1073741824 1073778376 140734811277072 140493535430264 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7800] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7800/stat : 7800 (java) S 7784 7787 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26768060 9856040960 43618 33554432000 1073741824 1073778376 140734811277072 140493534377608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7801] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7801/stat : 7801 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768062 9856040960 43618 33554432000 1073741824 1073778376 140734811277072 140493533326352 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7802] ppid=7784 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/7787/task/7802/stat : 7802 (java) S 7784 7787 6916 0 -1 4202560 10407 0 0 0 79 2 0 0 20 0 19 0 26768062 9856040960 43618 33554432000 1073741824 1073778376 140734811277072 140493532272696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7803] ppid=7784 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/7787/task/7803/stat : 7803 (java) S 7784 7787 6916 0 -1 4202560 4551 0 0 0 54 0 0 0 20 0 19 0 26768062 9856040960 43618 33554432000 1073741824 1073778376 140734811277072 140493531220152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7804] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7804/stat : 7804 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768062 9856040960 43618 33554432000 1073741824 1073778376 140734811277072 140493530167800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7805] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7805/stat : 7805 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768062 9856040960 43618 33554432000 1073741824 1073778376 140734811277072 140493529115464 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7806] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7806/stat : 7806 (java) S 7784 7787 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26768111 9856040960 43618 33554432000 1073741824 1073778376 140734811277072 140493528061224 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 9625040
[startup+6.3008 s]
/proc/loadavg: 2.19 2.28 2.22 3/213 7806
/proc/meminfo: memFree=29316360/32872528 swapFree=1497824/1644992
[pid=7787] ppid=7784 vsize=9625040 CPUtime=7.69 cores=1,3,5,7
/proc/7787/stat : 7787 (java) S 7784 7787 6916 0 -1 4202496 18752 0 1 0 762 7 0 0 20 0 19 0 26768056 9856040960 48003 33554432000 1073741824 1073778376 140734811277072 140734811268208 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7787/statm: 2406260 48003 2279 9 0 2396937 0
[pid=7787/tid=7789] ppid=7784 vsize=9625040 CPUtime=6.23 cores=1,3,5,7
/proc/7787/task/7789/stat : 7789 (java) R 7784 7787 6916 0 -1 4202560 2478 0 1 0 621 2 0 0 20 0 19 0 26768057 9856040960 48003 33554432000 1073741824 1073778376 140734811277072 140494182784688 140494034992728 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7787/tid=7790] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7790/stat : 7790 (java) S 7784 7787 6916 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 48003 33554432000 1073741824 1073778376 140734811277072 140494155246248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7791] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7791/stat : 7791 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 48003 33554432000 1073741824 1073778376 140734811277072 140494154193704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7792] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7792/stat : 7792 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 48003 33554432000 1073741824 1073778376 140734811277072 140494153141160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7787/tid=7793] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7793/stat : 7793 (java) S 7784 7787 6916 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 48003 33554432000 1073741824 1073778376 140734811277072 140494023207976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7794] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7794/stat : 7794 (java) S 7784 7787 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 48003 33554432000 1073741824 1073778376 140734811277072 140494022154408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7795] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7795/stat : 7795 (java) S 7784 7787 6916 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 48003 33554432000 1073741824 1073778376 140734811277072 140494021101864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7787/tid=7796] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7796/stat : 7796 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 48003 33554432000 1073741824 1073778376 140734811277072 140494020049320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7787/tid=7797] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7797/stat : 7797 (java) S 7784 7787 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26768058 9856040960 48003 33554432000 1073741824 1073778376 140734811277072 140494018996776 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7798] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7798/stat : 7798 (java) S 7784 7787 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 26768060 9856040960 48003 33554432000 1073741824 1073778376 140734811277072 140493536483944 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7799] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7799/stat : 7799 (java) S 7784 7787 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 26768060 9856040960 48003 33554432000 1073741824 1073778376 140734811277072 140493535430264 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7800] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7800/stat : 7800 (java) S 7784 7787 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 26768060 9856040960 48003 33554432000 1073741824 1073778376 140734811277072 140493534377608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7801] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7801/stat : 7801 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768062 9856040960 48003 33554432000 1073741824 1073778376 140734811277072 140493533326352 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7802] ppid=7784 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/7787/task/7802/stat : 7802 (java) S 7784 7787 6916 0 -1 4202560 10407 0 0 0 79 2 0 0 20 0 19 0 26768062 9856040960 48003 33554432000 1073741824 1073778376 140734811277072 140493532272696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7803] ppid=7784 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/7787/task/7803/stat : 7803 (java) S 7784 7787 6916 0 -1 4202560 4551 0 0 0 54 0 0 0 20 0 19 0 26768062 9856040960 48003 33554432000 1073741824 1073778376 140734811277072 140493531220152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7804] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7804/stat : 7804 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768062 9856040960 48003 33554432000 1073741824 1073778376 140734811277072 140493530167800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7805] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7805/stat : 7805 (java) S 7784 7787 6916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 26768062 9856040960 48003 33554432000 1073741824 1073778376 140734811277072 140493529115464 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7806] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7806/stat : 7806 (java) S 7784 7787 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26768111 9856040960 48003 33554432000 1073741824 1073778376 140734811277072 140493528061224 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=7787/tid=7806] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7806/stat : 7806 (java) S 7784 7787 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26768111 9856040960 115730 33554432000 1073741824 1073778376 140734811277072 140493528061224 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1665.02
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.16 2.20 2.18 3/213 8002
/proc/meminfo: memFree=29129036/32872528 swapFree=1497824/1644992
[pid=7787] ppid=7784 vsize=9625040 CPUtime=1725.04 cores=1,3,5,7
/proc/7787/stat : 7787 (java) S 7784 7787 6916 0 -1 4202496 20523 0 1 0 172428 76 0 0 20 0 19 0 26768056 9856040960 115730 33554432000 1073741824 1073778376 140734811277072 140734811268208 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7787/statm: 2406260 115730 2280 9 0 2396937 0
[pid=7787/tid=7789] ppid=7784 vsize=9625040 CPUtime=1716.87 cores=1,3,5,7
/proc/7787/task/7789/stat : 7789 (java) R 7784 7787 6916 0 -1 4202560 2494 0 1 0 171655 32 0 0 20 0 19 0 26768057 9856040960 115730 33554432000 1073741824 1073778376 140734811277072 140494182784784 140494034985067 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7790] ppid=7784 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/7787/task/7790/stat : 7790 (java) S 7784 7787 6916 0 -1 4202560 140 0 0 0 28 6 0 0 20 0 19 0 26768058 9856040960 115730 33554432000 1073741824 1073778376 140734811277072 140494155246248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7791] ppid=7784 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/7787/task/7791/stat : 7791 (java) S 7784 7787 6916 0 -1 4202560 249 0 0 0 19 4 0 0 20 0 19 0 26768058 9856040960 115730 33554432000 1073741824 1073778376 140734811277072 140494154193704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7792] ppid=7784 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/7787/task/7792/stat : 7792 (java) S 7784 7787 6916 0 -1 4202560 400 0 0 0 20 4 0 0 20 0 19 0 26768058 9856040960 115730 33554432000 1073741824 1073778376 140734811277072 140494153141160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7793] ppid=7784 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/7787/task/7793/stat : 7793 (java) S 7784 7787 6916 0 -1 4202560 183 0 0 0 20 4 0 0 20 0 19 0 26768058 9856040960 115730 33554432000 1073741824 1073778376 140734811277072 140494023207976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7787/tid=7794] ppid=7784 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/7787/task/7794/stat : 7794 (java) S 7784 7787 6916 0 -1 4202560 97 0 0 0 15 4 0 0 20 0 19 0 26768058 9856040960 115730 33554432000 1073741824 1073778376 140734811277072 140494022154408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7787/tid=7795] ppid=7784 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/7787/task/7795/stat : 7795 (java) S 7784 7787 6916 0 -1 4202560 119 0 0 0 16 4 0 0 20 0 19 0 26768058 9856040960 115730 33554432000 1073741824 1073778376 140734811277072 140494021101864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7796] ppid=7784 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/7787/task/7796/stat : 7796 (java) S 7784 7787 6916 0 -1 4202560 260 0 0 0 16 3 0 0 20 0 19 0 26768058 9856040960 115730 33554432000 1073741824 1073778376 140734811277072 140494020049320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7787/tid=7797] ppid=7784 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/7787/task/7797/stat : 7797 (java) S 7784 7787 6916 0 -1 4202560 181 0 0 0 15 3 0 0 20 0 19 0 26768058 9856040960 115730 33554432000 1073741824 1073778376 140734811277072 140494018996776 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7798] ppid=7784 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/7787/task/7798/stat : 7798 (java) S 7784 7787 6916 0 -1 4202560 80 0 0 0 0 2 0 0 20 0 19 0 26768060 9856040960 115730 33554432000 1073741824 1073778376 140734811277072 140493536483944 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7787/tid=7799] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7799/stat : 7799 (java) S 7784 7787 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 26768060 9856040960 115730 33554432000 1073741824 1073778376 140734811277072 140493535430264 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7800] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7800/stat : 7800 (java) S 7784 7787 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 26768060 9856040960 115730 33554432000 1073741824 1073778376 140734811277072 140493534377608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7801] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7801/stat : 7801 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768062 9856040960 115730 33554432000 1073741824 1073778376 140734811277072 140493533326352 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7802] ppid=7784 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/7787/task/7802/stat : 7802 (java) S 7784 7787 6916 0 -1 4202560 10407 0 0 0 79 2 0 0 20 0 19 0 26768062 9856040960 115730 33554432000 1073741824 1073778376 140734811277072 140493532272696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7803] ppid=7784 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/7787/task/7803/stat : 7803 (java) S 7784 7787 6916 0 -1 4202560 4555 0 0 0 56 0 0 0 20 0 19 0 26768062 9856040960 115730 33554432000 1073741824 1073778376 140734811277072 140493531220152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7804] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7804/stat : 7804 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768062 9856040960 115730 33554432000 1073741824 1073778376 140734811277072 140493530167800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7805] ppid=7784 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/7787/task/7805/stat : 7805 (java) S 7784 7787 6916 0 -1 4202560 100 0 0 0 24 36 0 0 20 0 19 0 26768062 9856040960 115730 33554432000 1073741824 1073778376 140734811277072 140493529115464 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7787/tid=7806] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7806/stat : 7806 (java) S 7784 7787 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26768111 9856040960 115730 33554432000 1073741824 1073778376 140734811277072 140493528061224 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1725.04
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/213 8003
/proc/meminfo: memFree=29120660/32872528 swapFree=1497824/1644992
[pid=7787] ppid=7784 vsize=9625040 CPUtime=1785.13 cores=1,3,5,7
/proc/7787/stat : 7787 (java) S 7784 7787 6916 0 -1 4202496 20568 0 1 0 178435 78 0 0 20 0 19 0 26768056 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140734811268208 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7787/statm: 2406260 117823 2280 9 0 2396937 0
[pid=7787/tid=7789] ppid=7784 vsize=9625040 CPUtime=1776.68 cores=1,3,5,7
/proc/7787/task/7789/stat : 7789 (java) R 7784 7787 6916 0 -1 4202560 2495 0 1 0 177635 33 0 0 20 0 19 0 26768057 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140494182792528 140494034984976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7790] ppid=7784 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/7787/task/7790/stat : 7790 (java) S 7784 7787 6916 0 -1 4202560 144 0 0 0 29 6 0 0 20 0 19 0 26768058 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140494155246248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7787/tid=7791] ppid=7784 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/7787/task/7791/stat : 7791 (java) S 7784 7787 6916 0 -1 4202560 249 0 0 0 21 4 0 0 20 0 19 0 26768058 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140494154193704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7792] ppid=7784 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/7787/task/7792/stat : 7792 (java) S 7784 7787 6916 0 -1 4202560 400 0 0 0 21 4 0 0 20 0 19 0 26768058 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140494153141160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7793] ppid=7784 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/7787/task/7793/stat : 7793 (java) S 7784 7787 6916 0 -1 4202560 183 0 0 0 22 4 0 0 20 0 19 0 26768058 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140494023207976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7787/tid=7794] ppid=7784 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/7787/task/7794/stat : 7794 (java) S 7784 7787 6916 0 -1 4202560 103 0 0 0 17 4 0 0 20 0 19 0 26768058 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140494022154408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7787/tid=7795] ppid=7784 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/7787/task/7795/stat : 7795 (java) S 7784 7787 6916 0 -1 4202560 125 0 0 0 17 5 0 0 20 0 19 0 26768058 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140494021101864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7796] ppid=7784 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/7787/task/7796/stat : 7796 (java) S 7784 7787 6916 0 -1 4202560 280 0 0 0 18 3 0 0 20 0 19 0 26768058 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140494020049320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7787/tid=7797] ppid=7784 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/7787/task/7797/stat : 7797 (java) S 7784 7787 6916 0 -1 4202560 183 0 0 0 15 4 0 0 20 0 19 0 26768058 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140494018996776 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7798] ppid=7784 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/7787/task/7798/stat : 7798 (java) S 7784 7787 6916 0 -1 4202560 82 0 0 0 0 2 0 0 20 0 19 0 26768060 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140493536483944 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7787/tid=7799] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7799/stat : 7799 (java) S 7784 7787 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 26768060 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140493535430264 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7800] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7800/stat : 7800 (java) S 7784 7787 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 26768060 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140493534377608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7801] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7801/stat : 7801 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768062 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140493533326352 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7802] ppid=7784 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/7787/task/7802/stat : 7802 (java) S 7784 7787 6916 0 -1 4202560 10407 0 0 0 79 2 0 0 20 0 19 0 26768062 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140493532272696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7803] ppid=7784 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/7787/task/7803/stat : 7803 (java) S 7784 7787 6916 0 -1 4202560 4555 0 0 0 56 0 0 0 20 0 19 0 26768062 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140493531220152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7804] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7804/stat : 7804 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768062 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140493530167800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7805] ppid=7784 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/7787/task/7805/stat : 7805 (java) S 7784 7787 6916 0 -1 4202560 104 0 0 0 25 37 0 0 20 0 19 0 26768062 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140493529115464 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7787/tid=7806] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7806/stat : 7806 (java) S 7784 7787 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26768111 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140493528061224 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1785.13
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.2 s]
/proc/loadavg: 2.21 2.20 2.18 3/213 8003
/proc/meminfo: memFree=29120660/32872528 swapFree=1497824/1644992
[pid=7787] ppid=7784 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/7787/stat : 7787 (java) S 7784 7787 6916 0 -1 4202496 20568 0 1 0 179925 78 0 0 20 0 19 0 26768056 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140734811268208 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7787/statm: 2406260 117823 2280 9 0 2396937 0
[pid=7787/tid=7789] ppid=7784 vsize=9625040 CPUtime=1791.54 cores=1,3,5,7
/proc/7787/task/7789/stat : 7789 (java) R 7784 7787 6916 0 -1 4202560 2495 0 1 0 179121 33 0 0 20 0 19 0 26768057 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140494182792528 140494034992728 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7790] ppid=7784 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/7787/task/7790/stat : 7790 (java) S 7784 7787 6916 0 -1 4202560 144 0 0 0 29 6 0 0 20 0 19 0 26768058 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140494155246248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7787/tid=7791] ppid=7784 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/7787/task/7791/stat : 7791 (java) S 7784 7787 6916 0 -1 4202560 249 0 0 0 21 4 0 0 20 0 19 0 26768058 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140494154193704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7792] ppid=7784 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/7787/task/7792/stat : 7792 (java) S 7784 7787 6916 0 -1 4202560 400 0 0 0 21 4 0 0 20 0 19 0 26768058 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140494153141160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7793] ppid=7784 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/7787/task/7793/stat : 7793 (java) S 7784 7787 6916 0 -1 4202560 183 0 0 0 22 4 0 0 20 0 19 0 26768058 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140494023207976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7787/tid=7794] ppid=7784 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/7787/task/7794/stat : 7794 (java) S 7784 7787 6916 0 -1 4202560 103 0 0 0 17 4 0 0 20 0 19 0 26768058 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140494022154408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7787/tid=7795] ppid=7784 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/7787/task/7795/stat : 7795 (java) S 7784 7787 6916 0 -1 4202560 125 0 0 0 17 5 0 0 20 0 19 0 26768058 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140494021101864 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7796] ppid=7784 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/7787/task/7796/stat : 7796 (java) S 7784 7787 6916 0 -1 4202560 280 0 0 0 18 3 0 0 20 0 19 0 26768058 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140494020049320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7787/tid=7797] ppid=7784 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/7787/task/7797/stat : 7797 (java) S 7784 7787 6916 0 -1 4202560 183 0 0 0 15 4 0 0 20 0 19 0 26768058 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140494018996776 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7798] ppid=7784 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/7787/task/7798/stat : 7798 (java) S 7784 7787 6916 0 -1 4202560 82 0 0 0 0 2 0 0 20 0 19 0 26768060 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140493536483944 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7787/tid=7799] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7799/stat : 7799 (java) S 7784 7787 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 26768060 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140493535430264 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7800] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7800/stat : 7800 (java) S 7784 7787 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 26768060 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140493534377608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7801] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7801/stat : 7801 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768062 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140493533326352 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7802] ppid=7784 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/7787/task/7802/stat : 7802 (java) S 7784 7787 6916 0 -1 4202560 10407 0 0 0 79 2 0 0 20 0 19 0 26768062 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140493532272696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7787/tid=7803] ppid=7784 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/7787/task/7803/stat : 7803 (java) S 7784 7787 6916 0 -1 4202560 4555 0 0 0 56 0 0 0 20 0 19 0 26768062 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140493531220152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7804] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7804/stat : 7804 (java) S 7784 7787 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26768062 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140493530167800 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7787/tid=7805] ppid=7784 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/7787/task/7805/stat : 7805 (java) S 7784 7787 6916 0 -1 4202560 104 0 0 0 26 38 0 0 20 0 19 0 26768062 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140493529115464 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7787/tid=7806] ppid=7784 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7787/task/7806/stat : 7806 (java) S 7784 7787 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26768111 9856040960 117823 33554432000 1073741824 1073778376 140734811277072 140493528061224 259115759529 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) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7787 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7787 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=599179
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=232812
# CPU time returned by wait4() is 1795.83
# 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): 1797.23
CPU time (s): 1800.03
CPU user time (s): 1799.25
CPU system time (s): 0.78
CPU usage (%): 100.156
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.6
system time used= 1.23281
maximum resident set size= 475268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20606
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38483
involuntary context switches= 26904
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4934 second user time and 13.5809 second system time
The end