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-4090461-1466071046/watcher-4090461-1466071046 -o /tmp/evaluation-result-4090461-1466071046/solver-4090461-1466071046 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466062117-13804 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090461-1466071046.wbo
pid=15224
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.19 2.21 2.18 3/196 15227
/proc/meminfo: memFree=30132340/32872528 swapFree=1481856/1661728
[pid=15227] ppid=15224 vsize=268 CPUtime=0 cores=1,3,5,7
/proc/15227/stat : 15227 (java) R 15224 15227 13787 0 -1 4194304 333 0 0 0 0 0 0 0 20 0 1 0 9151071 274432 4 33554432000 1073741824 1073778376 140735746556912 140736204505096 273905511863 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15227/statm: 67 20 14 9 0 24 0
[startup+0.100059 s]
/proc/loadavg: 2.19 2.21 2.18 3/196 15227
/proc/meminfo: memFree=30132340/32872528 swapFree=1481856/1661728
[pid=15227] ppid=15224 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15224 15227 13787 0 -1 4202496 4470 0 1 0 8 1 0 0 20 0 18 0 9151071 9787879424 5587 33554432000 1073741824 1073778376 140735746556912 140735746548048 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15227/statm: 2389619 5587 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200216 s]
/proc/loadavg: 2.19 2.21 2.18 3/196 15227
/proc/meminfo: memFree=30132340/32872528 swapFree=1481856/1661728
[pid=15227] ppid=15224 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15224 15227 13787 0 -1 4202496 4764 0 1 0 23 1 0 0 20 0 18 0 9151071 9787879424 6351 33554432000 1073741824 1073778376 140735746556912 140735746548048 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15227/statm: 2389619 6351 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300237 s]
/proc/loadavg: 2.19 2.21 2.18 3/196 15227
/proc/meminfo: memFree=30132340/32872528 swapFree=1481856/1661728
[pid=15227] ppid=15224 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15224 15227 13787 0 -1 4202496 5938 0 1 0 46 1 0 0 20 0 18 0 9151071 9787879424 8713 33554432000 1073741824 1073778376 140735746556912 140735746548048 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15227/statm: 2389619 8713 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.70019 s]
/proc/loadavg: 2.19 2.21 2.18 3/196 15227
/proc/meminfo: memFree=30132340/32872528 swapFree=1481856/1661728
[pid=15227] ppid=15224 vsize=9558476 CPUtime=1.4 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15224 15227 13787 0 -1 4202496 11163 0 1 0 134 6 0 0 20 0 18 0 9151071 9787879424 46277 33554432000 1073741824 1073778376 140735746556912 140735746548048 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15227/statm: 2389619 46277 2273 9 0 2380296 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 9558476
[startup+1.50085 s]
/proc/loadavg: 2.19 2.21 2.18 4/215 15246
/proc/meminfo: memFree=29952560/32872528 swapFree=1481856/1661728
[pid=15227] ppid=15224 vsize=9625040 CPUtime=2.84 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15224 15227 13787 0 -1 4202496 11989 0 1 0 278 6 0 0 20 0 19 0 9151071 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140735746548048 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15227/statm: 2406260 47000 2282 9 0 2396937 0
[pid=15227/tid=15229] ppid=15224 vsize=9625040 CPUtime=1.43 cores=1,3,5,7
/proc/15227/task/15229/stat : 15229 (java) R 15224 15227 13787 0 -1 4202560 2531 0 1 0 140 3 0 0 20 0 19 0 9151072 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159878930840 140159819637335 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15230] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15230/stat : 15230 (java) S 15224 15227 13787 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 9151073 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159817661096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15227/tid=15231] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15231/stat : 15231 (java) S 15224 15227 13787 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9151073 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159816608552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15232] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15232/stat : 15232 (java) S 15224 15227 13787 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9151073 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159720569768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15233] ppid=15224 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/15227/task/15233/stat : 15233 (java) S 15224 15227 13787 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 9151073 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159719517224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15234] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15234/stat : 15234 (java) S 15224 15227 13787 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 9151073 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159718463656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15235] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15235/stat : 15235 (java) S 15224 15227 13787 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9151073 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159717411112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15236] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15236/stat : 15236 (java) S 15224 15227 13787 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 9151073 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159716358568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15237] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15237/stat : 15237 (java) S 15224 15227 13787 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9151073 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159715306024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15238] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15238/stat : 15238 (java) S 15224 15227 13787 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 9151074 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159703108200 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15239] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15239/stat : 15239 (java) S 15224 15227 13787 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9151075 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159702054520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15240] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15240/stat : 15240 (java) S 15224 15227 13787 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9151075 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159701001864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15241] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15241/stat : 15241 (java) S 15224 15227 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9151077 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159699950608 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15242] ppid=15224 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/15227/task/15242/stat : 15242 (java) S 15224 15227 13787 0 -1 4202560 2636 0 0 0 61 0 0 0 20 0 19 0 9151077 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159698896952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15243] ppid=15224 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/15227/task/15243/stat : 15243 (java) S 15224 15227 13787 0 -1 4202560 5424 0 0 0 64 0 0 0 20 0 19 0 9151077 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159697844408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15244] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15244/stat : 15244 (java) S 15224 15227 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9151077 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159696792056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15245] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15245/stat : 15245 (java) S 15224 15227 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9151077 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159695739720 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15246] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15246/stat : 15246 (java) S 15224 15227 13787 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9151145 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159694685480 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 9625040
[startup+3.10086 s]
/proc/loadavg: 2.19 2.21 2.18 4/215 15246
/proc/meminfo: memFree=29952064/32872528 swapFree=1481856/1661728
[pid=15227] ppid=15224 vsize=9625040 CPUtime=4.45 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15224 15227 13787 0 -1 4202496 11990 0 1 0 438 7 0 0 20 0 19 0 9151071 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140735746548048 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15227/statm: 2406260 47000 2282 9 0 2396937 0
[pid=15227/tid=15229] ppid=15224 vsize=9625040 CPUtime=3.02 cores=1,3,5,7
/proc/15227/task/15229/stat : 15229 (java) R 15224 15227 13787 0 -1 4202560 2532 0 1 0 299 3 0 0 20 0 19 0 9151072 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159878930464 140159819440921 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15230] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15230/stat : 15230 (java) S 15224 15227 13787 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 9151073 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159817661096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15227/tid=15231] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15231/stat : 15231 (java) S 15224 15227 13787 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9151073 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159816608552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15232] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15232/stat : 15232 (java) S 15224 15227 13787 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9151073 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159720569768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15233] ppid=15224 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/15227/task/15233/stat : 15233 (java) S 15224 15227 13787 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 9151073 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159719517224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15234] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15234/stat : 15234 (java) S 15224 15227 13787 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 9151073 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159718463656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15235] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15235/stat : 15235 (java) S 15224 15227 13787 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9151073 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159717411112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15236] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15236/stat : 15236 (java) S 15224 15227 13787 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 9151073 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159716358568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15237] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15237/stat : 15237 (java) S 15224 15227 13787 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9151073 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159715306024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15238] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15238/stat : 15238 (java) S 15224 15227 13787 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 9151074 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159703108200 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15239] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15239/stat : 15239 (java) S 15224 15227 13787 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9151075 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159702054520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15240] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15240/stat : 15240 (java) S 15224 15227 13787 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9151075 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159701001864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15241] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15241/stat : 15241 (java) S 15224 15227 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9151077 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159699950608 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15242] ppid=15224 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/15227/task/15242/stat : 15242 (java) S 15224 15227 13787 0 -1 4202560 2636 0 0 0 61 0 0 0 20 0 19 0 9151077 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159698896952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15243] ppid=15224 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/15227/task/15243/stat : 15243 (java) S 15224 15227 13787 0 -1 4202560 5424 0 0 0 64 0 0 0 20 0 19 0 9151077 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159697844408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15244] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15244/stat : 15244 (java) S 15224 15227 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9151077 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159696792056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15245] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15245/stat : 15245 (java) S 15224 15227 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9151077 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159695739720 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15246] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15246/stat : 15246 (java) S 15224 15227 13787 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9151145 9856040960 47000 33554432000 1073741824 1073778376 140735746556912 140159694685480 273909069737 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.30087 s]
/proc/loadavg: 2.17 2.21 2.18 3/215 15246
/proc/meminfo: memFree=29953292/32872528 swapFree=1481856/1661728
[pid=15227] ppid=15224 vsize=9625040 CPUtime=7.65 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15224 15227 13787 0 -1 4202496 11991 0 1 0 758 7 0 0 20 0 19 0 9151071 9856040960 46498 33554432000 1073741824 1073778376 140735746556912 140735746548048 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15227/statm: 2406260 46498 2282 9 0 2396937 0
[pid=15227/tid=15229] ppid=15224 vsize=9625040 CPUtime=6.21 cores=1,3,5,7
/proc/15227/task/15229/stat : 15229 (java) R 15224 15227 13787 0 -1 4202560 2533 0 1 0 618 3 0 0 20 0 19 0 9151072 9856040960 46498 33554432000 1073741824 1073778376 140735746556912 140159878928736 140159819637678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15230] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15230/stat : 15230 (java) S 15224 15227 13787 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 9151073 9856040960 46498 33554432000 1073741824 1073778376 140735746556912 140159817661096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15227/tid=15231] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15231/stat : 15231 (java) S 15224 15227 13787 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9151073 9856040960 46498 33554432000 1073741824 1073778376 140735746556912 140159816608552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15232] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15232/stat : 15232 (java) S 15224 15227 13787 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9151073 9856040960 46498 33554432000 1073741824 1073778376 140735746556912 140159720569768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15233] ppid=15224 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/15227/task/15233/stat : 15233 (java) S 15224 15227 13787 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 9151073 9856040960 46498 33554432000 1073741824 1073778376 140735746556912 140159719517224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15234] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15234/stat : 15234 (java) S 15224 15227 13787 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 9151073 9856040960 46498 33554432000 1073741824 1073778376 140735746556912 140159718463656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15235] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15235/stat : 15235 (java) S 15224 15227 13787 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9151073 9856040960 46498 33554432000 1073741824 1073778376 140735746556912 140159717411112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15236] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15236/stat : 15236 (java) S 15224 15227 13787 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 9151073 9856040960 46498 33554432000 1073741824 1073778376 140735746556912 140159716358568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15237] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15237/stat : 15237 (java) S 15224 15227 13787 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9151073 9856040960 46498 33554432000 1073741824 1073778376 140735746556912 140159715306024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15238] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15238/stat : 15238 (java) S 15224 15227 13787 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 9151074 9856040960 46498 33554432000 1073741824 1073778376 140735746556912 140159703108200 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15239] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15239/stat : 15239 (java) S 15224 15227 13787 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9151075 9856040960 46498 33554432000 1073741824 1073778376 140735746556912 140159702054520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15240] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15240/stat : 15240 (java) S 15224 15227 13787 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9151075 9856040960 46498 33554432000 1073741824 1073778376 140735746556912 140159701001864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15241] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15241/stat : 15241 (java) S 15224 15227 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9151077 9856040960 46498 33554432000 1073741824 1073778376 140735746556912 140159699950608 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15242] ppid=15224 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/15227/task/15242/stat : 15242 (java) S 15224 15227 13787 0 -1 4202560 2636 0 0 0 61 0 0 0 20 0 19 0 9151077 9856040960 46498 33554432000 1073741824 1073778376 140735746556912 140159698896952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15243] ppid=15224 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/15227/task/15243/stat : 15243 (java) S 15224 15227 13787 0 -1 4202560 5424 0 0 0 64 0 0 0 20 0 19 0 9151077 9856040960 46498 33554432000 1073741824 1073778376 140735746556912 140159697844408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15244] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15244/stat : 15244 (java) S 15224 15227 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9151077 9856040960 46498 33554432000 1073741824 1073778376 140735746556912 140159696792056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15245] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15245/stat : 15245 (java) S 15224 15227 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9151077 9856040960 46498 33554432000 1073741824 1073778376 140735746556912 140159695739720 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15246] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15246/stat : 15246 (java) S 15224 15227 13787 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9151145 9856040960 46498 33554432000 1073741824 1073778376 140735746556912 140159694685480 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.65
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=15227/tid=15246] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15246/stat : 15246 (java) S 15224 15227 13787 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9151145 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159694685480 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1664.66
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/215 15378
/proc/meminfo: memFree=29264184/32872528 swapFree=1481856/1661728
[pid=15227] ppid=15224 vsize=9625040 CPUtime=1724.68 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15224 15227 13787 0 -1 4202496 13351 0 1 0 172389 79 0 0 20 0 19 0 9151071 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140735746548048 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15227/statm: 2406260 153896 2295 9 0 2396937 0
[pid=15227/tid=15229] ppid=15224 vsize=9625040 CPUtime=1717.46 cores=1,3,5,7
/proc/15227/task/15229/stat : 15229 (java) R 15224 15227 13787 0 -1 4202560 2591 0 1 0 171715 31 0 0 20 0 19 0 9151072 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159878921920 140159819637312 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15230] ppid=15224 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/15227/task/15230/stat : 15230 (java) S 15224 15227 13787 0 -1 4202560 115 0 0 0 7 4 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159817661096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15227/tid=15231] ppid=15224 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/15227/task/15231/stat : 15231 (java) S 15224 15227 13787 0 -1 4202560 110 0 0 0 6 5 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159816608552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15232] ppid=15224 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/15227/task/15232/stat : 15232 (java) S 15224 15227 13787 0 -1 4202560 131 0 0 0 6 6 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159720569768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15233] ppid=15224 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/15227/task/15233/stat : 15233 (java) S 15224 15227 13787 0 -1 4202560 141 0 0 0 5 5 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159719517224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15234] ppid=15224 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/15227/task/15234/stat : 15234 (java) S 15224 15227 13787 0 -1 4202560 202 0 0 0 5 4 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159718463656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15235] ppid=15224 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/15227/task/15235/stat : 15235 (java) S 15224 15227 13787 0 -1 4202560 109 0 0 0 6 5 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159717411112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15236] ppid=15224 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/15227/task/15236/stat : 15236 (java) S 15224 15227 13787 0 -1 4202560 131 0 0 0 3 3 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159716358568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15237] ppid=15224 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/15227/task/15237/stat : 15237 (java) S 15224 15227 13787 0 -1 4202560 132 0 0 0 4 3 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159715306024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15238] ppid=15224 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/15227/task/15238/stat : 15238 (java) S 15224 15227 13787 0 -1 4202560 242 0 0 0 12 2 0 0 20 0 19 0 9151074 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159703108200 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15239] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15239/stat : 15239 (java) S 15224 15227 13787 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9151075 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159702054520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15240] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15240/stat : 15240 (java) S 15224 15227 13787 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9151075 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159701001864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15241] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15241/stat : 15241 (java) S 15224 15227 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9151077 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159699950608 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15242] ppid=15224 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/15227/task/15242/stat : 15242 (java) S 15224 15227 13787 0 -1 4202560 2652 0 0 0 69 0 0 0 20 0 19 0 9151077 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159698896952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15243] ppid=15224 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/15227/task/15243/stat : 15243 (java) S 15224 15227 13787 0 -1 4202560 5437 0 0 0 69 0 0 0 20 0 19 0 9151077 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159697844408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15244] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15244/stat : 15244 (java) S 15224 15227 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9151077 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159696792056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15245] ppid=15224 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/15227/task/15245/stat : 15245 (java) S 15224 15227 13787 0 -1 4202560 99 0 0 0 29 40 0 0 20 0 19 0 9151077 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159695739720 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15246] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15246/stat : 15246 (java) S 15224 15227 13787 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9151145 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159694685480 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1724.68
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.26 2.24 2.19 4/215 15379
/proc/meminfo: memFree=29272288/32872528 swapFree=1481856/1661728
[pid=15227] ppid=15224 vsize=9625040 CPUtime=1784.7 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15224 15227 13787 0 -1 4202496 13355 0 1 0 178389 81 0 0 20 0 19 0 9151071 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140735746548048 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15227/statm: 2406260 153896 2295 9 0 2396937 0
[pid=15227/tid=15229] ppid=15224 vsize=9625040 CPUtime=1777.31 cores=1,3,5,7
/proc/15227/task/15229/stat : 15229 (java) R 15224 15227 13787 0 -1 4202560 2591 0 1 0 177699 32 0 0 20 0 19 0 9151072 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159878921920 140159819652202 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15230] ppid=15224 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/15227/task/15230/stat : 15230 (java) S 15224 15227 13787 0 -1 4202560 115 0 0 0 7 4 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159817661096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15227/tid=15231] ppid=15224 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/15227/task/15231/stat : 15231 (java) S 15224 15227 13787 0 -1 4202560 110 0 0 0 6 5 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159816608552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15232] ppid=15224 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/15227/task/15232/stat : 15232 (java) S 15224 15227 13787 0 -1 4202560 131 0 0 0 6 6 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159720569768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15233] ppid=15224 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/15227/task/15233/stat : 15233 (java) S 15224 15227 13787 0 -1 4202560 141 0 0 0 5 5 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159719517224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15234] ppid=15224 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/15227/task/15234/stat : 15234 (java) S 15224 15227 13787 0 -1 4202560 202 0 0 0 5 4 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159718463656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15235] ppid=15224 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/15227/task/15235/stat : 15235 (java) S 15224 15227 13787 0 -1 4202560 109 0 0 0 6 5 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159717411112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15236] ppid=15224 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/15227/task/15236/stat : 15236 (java) S 15224 15227 13787 0 -1 4202560 131 0 0 0 3 3 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159716358568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15237] ppid=15224 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/15227/task/15237/stat : 15237 (java) S 15224 15227 13787 0 -1 4202560 132 0 0 0 4 3 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159715306024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15238] ppid=15224 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/15227/task/15238/stat : 15238 (java) S 15224 15227 13787 0 -1 4202560 242 0 0 0 12 2 0 0 20 0 19 0 9151074 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159703108200 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15239] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15239/stat : 15239 (java) S 15224 15227 13787 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9151075 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159702054520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15240] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15240/stat : 15240 (java) S 15224 15227 13787 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9151075 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159701001864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15241] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15241/stat : 15241 (java) S 15224 15227 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9151077 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159699950608 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15242] ppid=15224 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/15227/task/15242/stat : 15242 (java) S 15224 15227 13787 0 -1 4202560 2652 0 0 0 69 0 0 0 20 0 19 0 9151077 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159698896952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15243] ppid=15224 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/15227/task/15243/stat : 15243 (java) S 15224 15227 13787 0 -1 4202560 5437 0 0 0 69 0 0 0 20 0 19 0 9151077 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159697844408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15244] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15244/stat : 15244 (java) S 15224 15227 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9151077 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159696792056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15245] ppid=15224 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/15227/task/15245/stat : 15245 (java) S 15224 15227 13787 0 -1 4202560 103 0 0 0 30 42 0 0 20 0 19 0 9151077 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159695739720 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15246] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15246/stat : 15246 (java) S 15224 15227 13787 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9151145 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159694685480 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1784.7
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.6 s]
/proc/loadavg: 2.27 2.24 2.19 4/215 15379
/proc/meminfo: memFree=29278740/32872528 swapFree=1481856/1661728
[pid=15227] ppid=15224 vsize=9625040 CPUtime=1800 cores=1,3,5,7
/proc/15227/stat : 15227 (java) S 15224 15227 13787 0 -1 4202496 13355 0 1 0 179919 81 0 0 20 0 19 0 9151071 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140735746548048 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15227/statm: 2406260 153896 2295 9 0 2396937 0
[pid=15227/tid=15229] ppid=15224 vsize=9625040 CPUtime=1792.57 cores=1,3,5,7
/proc/15227/task/15229/stat : 15229 (java) R 15224 15227 13787 0 -1 4202560 2591 0 1 0 179225 32 0 0 20 0 19 0 9151072 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159878921920 140159819652180 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15230] ppid=15224 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/15227/task/15230/stat : 15230 (java) S 15224 15227 13787 0 -1 4202560 115 0 0 0 7 4 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159817661096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15227/tid=15231] ppid=15224 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/15227/task/15231/stat : 15231 (java) S 15224 15227 13787 0 -1 4202560 110 0 0 0 6 5 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159816608552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15232] ppid=15224 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/15227/task/15232/stat : 15232 (java) S 15224 15227 13787 0 -1 4202560 131 0 0 0 6 6 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159720569768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15233] ppid=15224 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/15227/task/15233/stat : 15233 (java) S 15224 15227 13787 0 -1 4202560 141 0 0 0 5 5 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159719517224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15234] ppid=15224 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/15227/task/15234/stat : 15234 (java) S 15224 15227 13787 0 -1 4202560 202 0 0 0 5 4 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159718463656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15235] ppid=15224 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/15227/task/15235/stat : 15235 (java) S 15224 15227 13787 0 -1 4202560 109 0 0 0 6 5 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159717411112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15236] ppid=15224 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/15227/task/15236/stat : 15236 (java) S 15224 15227 13787 0 -1 4202560 131 0 0 0 3 3 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159716358568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15237] ppid=15224 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/15227/task/15237/stat : 15237 (java) S 15224 15227 13787 0 -1 4202560 132 0 0 0 4 3 0 0 20 0 19 0 9151073 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159715306024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15238] ppid=15224 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/15227/task/15238/stat : 15238 (java) S 15224 15227 13787 0 -1 4202560 242 0 0 0 12 2 0 0 20 0 19 0 9151074 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159703108200 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15239] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15239/stat : 15239 (java) S 15224 15227 13787 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9151075 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159702054520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15240] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15240/stat : 15240 (java) S 15224 15227 13787 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9151075 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159701001864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15241] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15241/stat : 15241 (java) S 15224 15227 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9151077 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159699950608 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15242] ppid=15224 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/15227/task/15242/stat : 15242 (java) S 15224 15227 13787 0 -1 4202560 2652 0 0 0 69 0 0 0 20 0 19 0 9151077 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159698896952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15243] ppid=15224 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/15227/task/15243/stat : 15243 (java) S 15224 15227 13787 0 -1 4202560 5437 0 0 0 69 0 0 0 20 0 19 0 9151077 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159697844408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15227/tid=15244] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15244/stat : 15244 (java) S 15224 15227 13787 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9151077 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159696792056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15227/tid=15245] ppid=15224 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/15227/task/15245/stat : 15245 (java) S 15224 15227 13787 0 -1 4202560 103 0 0 0 30 42 0 0 20 0 19 0 9151077 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159695739720 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15227/tid=15246] ppid=15224 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15227/task/15246/stat : 15246 (java) S 15224 15227 13787 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9151145 9856040960 153896 33554432000 1073741824 1073778376 140735746556912 140159694685480 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 15227 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 15227 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=638173
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=262808
# CPU time returned by wait4() is 1795.9
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1797.64
CPU time (s): 1800
CPU user time (s): 1799.19
CPU system time (s): 0.81
CPU usage (%): 100.131
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.64
system time used= 1.26281
maximum resident set size= 615708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13392
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38178
involuntary context switches= 3235
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5632 second user time and 12.7431 second system time
The end