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-4100061-1466209805/watcher-4100061-1466209805 -o /tmp/evaluation-result-4100061-1466209805/solver-4100061-1466209805 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466206086-25993 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4100061-1466209805.opb
pid=27261
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: 2.15 2.20 2.11 4/195 27264
/proc/meminfo: memFree=26988020/32872528 swapFree=1244176/1391344
[pid=27264] ppid=27261 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/27264/stat : 27264 (java) D 27261 27264 25977 0 -1 4202496 171 0 0 0 0 0 0 0 20 0 1 0 23029141 2560000 46 33554432000 1073741824 1073778376 140737189914544 140737189911672 272877317415 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/27264/statm: 625 46 37 9 0 29 0
[startup+0.100058 s]
/proc/loadavg: 2.15 2.20 2.11 4/195 27264
/proc/meminfo: memFree=26988020/32872528 swapFree=1244176/1391344
[pid=27264] ppid=27261 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/27264/stat : 27264 (java) S 27261 27264 25977 0 -1 4202496 4288 0 1 0 6 1 0 0 20 0 18 0 23029141 9787879424 5398 33554432000 1073741824 1073778376 140733874587584 140733874578720 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27264/statm: 2389619 5399 2088 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476
[startup+0.200213 s]
/proc/loadavg: 2.15 2.20 2.11 4/195 27264
/proc/meminfo: memFree=26988020/32872528 swapFree=1244176/1391344
[pid=27264] ppid=27261 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/27264/stat : 27264 (java) S 27261 27264 25977 0 -1 4202496 5032 0 1 0 25 1 0 0 20 0 18 0 23029141 9787879424 6877 33554432000 1073741824 1073778376 140733874587584 140733874578720 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27264/statm: 2389619 6877 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300218 s]
/proc/loadavg: 2.15 2.20 2.11 4/195 27264
/proc/meminfo: memFree=26988020/32872528 swapFree=1244176/1391344
[pid=27264] ppid=27261 vsize=9558476 CPUtime=0.52 cores=0,2,4,6
/proc/27264/stat : 27264 (java) S 27261 27264 25977 0 -1 4202496 10129 0 1 0 50 2 0 0 20 0 18 0 23029141 9787879424 12191 33554432000 1073741824 1073778376 140733874587584 140733874578720 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27264/statm: 2389619 12191 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476
[startup+0.70018 s]
/proc/loadavg: 2.15 2.20 2.11 4/195 27264
/proc/meminfo: memFree=26988020/32872528 swapFree=1244176/1391344
[pid=27264] ppid=27261 vsize=9625040 CPUtime=1.44 cores=0,2,4,6
/proc/27264/stat : 27264 (java) S 27261 27264 25977 0 -1 4202496 11399 0 1 0 142 2 0 0 20 0 19 0 23029141 9856040960 14704 33554432000 1073741824 1073778376 140733874587584 140733874578720 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27264/statm: 2406260 14704 2255 9 0 2396937 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 9625040
[startup+1.50082 s]
/proc/loadavg: 2.15 2.20 2.11 4/214 27283
/proc/meminfo: memFree=26925936/32872528 swapFree=1244176/1391344
[pid=27264] ppid=27261 vsize=9625040 CPUtime=2.36 cores=0,2,4,6
/proc/27264/stat : 27264 (java) S 27261 27264 25977 0 -1 4202496 11420 0 1 0 234 2 0 0 20 0 19 0 23029141 9856040960 20345 33554432000 1073741824 1073778376 140733874587584 140733874578720 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27264/statm: 2406260 20345 2263 9 0 2396937 0
[pid=27264/tid=27266] ppid=27261 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/27264/task/27266/stat : 27266 (java) R 27261 27264 25977 0 -1 4202560 2427 0 1 0 144 2 0 0 20 0 19 0 23029143 9856040960 20345 33554432000 1073741824 1073778376 140733874587584 139710403501776 139710270395335 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27264/tid=27267] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27267/stat : 27267 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 20345 33554432000 1073741824 1073778376 140733874587584 139710392572968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27268] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27268/stat : 27268 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 20345 33554432000 1073741824 1073778376 140733874587584 139710391520168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27269] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27269/stat : 27269 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 20345 33554432000 1073741824 1073778376 140733874587584 139710390467368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27264/tid=27270] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27270/stat : 27270 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 20345 33554432000 1073741824 1073778376 140733874587584 139710389414568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27264/tid=27271] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27271/stat : 27271 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 20345 33554432000 1073741824 1073778376 140733874587584 139710388361768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27272] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27272/stat : 27272 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 20345 33554432000 1073741824 1073778376 140733874587584 139710242175400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27264/tid=27273] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27273/stat : 27273 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 20345 33554432000 1073741824 1073778376 140733874587584 139710241122600 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27264/tid=27274] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27274/stat : 27274 (java) S 27261 27264 25977 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 20345 33554432000 1073741824 1073778376 140733874587584 139710240069800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27275] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27275/stat : 27275 (java) S 27261 27264 25977 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23029145 9856040960 20345 33554432000 1073741824 1073778376 140733874587584 139710227659752 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27276] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27276/stat : 27276 (java) S 27261 27264 25977 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23029146 9856040960 20345 33554432000 1073741824 1073778376 140733874587584 139710226605816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27277] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27277/stat : 27277 (java) S 27261 27264 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23029146 9856040960 20345 33554432000 1073741824 1073778376 140733874587584 139710225552904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27278] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27278/stat : 27278 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029148 9856040960 20345 33554432000 1073741824 1073778376 140733874587584 139710224501392 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27279] ppid=27261 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/27264/task/27279/stat : 27279 (java) S 27261 27264 25977 0 -1 4202560 4015 0 0 0 48 0 0 0 20 0 19 0 23029148 9856040960 20345 33554432000 1073741824 1073778376 140733874587584 139710223448504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27280] ppid=27261 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/27264/task/27280/stat : 27280 (java) S 27261 27264 25977 0 -1 4202560 3706 0 0 0 39 0 0 0 20 0 19 0 23029148 9856040960 20345 33554432000 1073741824 1073778376 140733874587584 139710222395704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27281] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27281/stat : 27281 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029148 9856040960 20345 33554432000 1073741824 1073778376 140733874587584 139710221343096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27282] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27282/stat : 27282 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029148 9856040960 20345 33554432000 1073741824 1073778376 140733874587584 139710220290504 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27283] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27283/stat : 27283 (java) S 27261 27264 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23029181 9856040960 20345 33554432000 1073741824 1073778376 140733874587584 139710219237032 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 9625040
[startup+3.10077 s]
/proc/loadavg: 2.15 2.20 2.11 4/214 27283
/proc/meminfo: memFree=26898816/32872528 swapFree=1244176/1391344
[pid=27264] ppid=27261 vsize=9625040 CPUtime=3.99 cores=0,2,4,6
/proc/27264/stat : 27264 (java) S 27261 27264 25977 0 -1 4202496 11439 0 1 0 396 3 0 0 20 0 19 0 23029141 9856040960 29561 33554432000 1073741824 1073778376 140733874587584 140733874578720 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27264/statm: 2406260 29561 2263 9 0 2396937 0
[pid=27264/tid=27266] ppid=27261 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/27264/task/27266/stat : 27266 (java) R 27261 27264 25977 0 -1 4202560 2446 0 1 0 303 2 0 0 20 0 19 0 23029143 9856040960 29561 33554432000 1073741824 1073778376 140733874587584 139710403501776 139710270393958 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27264/tid=27267] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27267/stat : 27267 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 29561 33554432000 1073741824 1073778376 140733874587584 139710392572968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27268] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27268/stat : 27268 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 29561 33554432000 1073741824 1073778376 140733874587584 139710391520168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27269] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27269/stat : 27269 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 29561 33554432000 1073741824 1073778376 140733874587584 139710390467368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27264/tid=27270] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27270/stat : 27270 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 29561 33554432000 1073741824 1073778376 140733874587584 139710389414568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27264/tid=27271] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27271/stat : 27271 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 29561 33554432000 1073741824 1073778376 140733874587584 139710388361768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27272] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27272/stat : 27272 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 29561 33554432000 1073741824 1073778376 140733874587584 139710242175400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27264/tid=27273] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27273/stat : 27273 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 29561 33554432000 1073741824 1073778376 140733874587584 139710241122600 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27264/tid=27274] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27274/stat : 27274 (java) S 27261 27264 25977 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 29561 33554432000 1073741824 1073778376 140733874587584 139710240069800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27275] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27275/stat : 27275 (java) S 27261 27264 25977 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23029145 9856040960 29561 33554432000 1073741824 1073778376 140733874587584 139710227659752 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27276] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27276/stat : 27276 (java) S 27261 27264 25977 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23029146 9856040960 29561 33554432000 1073741824 1073778376 140733874587584 139710226605816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27277] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27277/stat : 27277 (java) S 27261 27264 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23029146 9856040960 29561 33554432000 1073741824 1073778376 140733874587584 139710225552904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27278] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27278/stat : 27278 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029148 9856040960 29561 33554432000 1073741824 1073778376 140733874587584 139710224501392 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27279] ppid=27261 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/27264/task/27279/stat : 27279 (java) S 27261 27264 25977 0 -1 4202560 4015 0 0 0 49 0 0 0 20 0 19 0 23029148 9856040960 29561 33554432000 1073741824 1073778376 140733874587584 139710223448504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27280] ppid=27261 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/27264/task/27280/stat : 27280 (java) S 27261 27264 25977 0 -1 4202560 3706 0 0 0 41 0 0 0 20 0 19 0 23029148 9856040960 29561 33554432000 1073741824 1073778376 140733874587584 139710222395704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27281] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27281/stat : 27281 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029148 9856040960 29561 33554432000 1073741824 1073778376 140733874587584 139710221343096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27282] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27282/stat : 27282 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029148 9856040960 29561 33554432000 1073741824 1073778376 140733874587584 139710220290504 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27283] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27283/stat : 27283 (java) S 27261 27264 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23029181 9856040960 29561 33554432000 1073741824 1073778376 140733874587584 139710219237032 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 9625040
[startup+6.30084 s]
/proc/loadavg: 2.22 2.21 2.12 4/214 27283
/proc/meminfo: memFree=26808700/32872528 swapFree=1244176/1391344
[pid=27264] ppid=27261 vsize=9625040 CPUtime=7.22 cores=0,2,4,6
/proc/27264/stat : 27264 (java) S 27261 27264 25977 0 -1 4202496 11521 0 1 0 717 5 0 0 20 0 19 0 23029141 9856040960 46820 33554432000 1073741824 1073778376 140733874587584 140733874578720 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27264/statm: 2406260 46820 2277 9 0 2396937 0
[pid=27264/tid=27266] ppid=27261 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/27264/task/27266/stat : 27266 (java) R 27261 27264 25977 0 -1 4202560 2474 0 1 0 621 3 0 0 20 0 19 0 23029143 9856040960 46820 33554432000 1073741824 1073778376 140733874587584 139710403501760 139710270463134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27267] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27267/stat : 27267 (java) S 27261 27264 25977 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 46820 33554432000 1073741824 1073778376 140733874587584 139710392572968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27268] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27268/stat : 27268 (java) S 27261 27264 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 46820 33554432000 1073741824 1073778376 140733874587584 139710391520168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27269] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27269/stat : 27269 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 46820 33554432000 1073741824 1073778376 140733874587584 139710390467368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27264/tid=27270] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27270/stat : 27270 (java) S 27261 27264 25977 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 46820 33554432000 1073741824 1073778376 140733874587584 139710389414568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27264/tid=27271] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27271/stat : 27271 (java) S 27261 27264 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 46820 33554432000 1073741824 1073778376 140733874587584 139710388361768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27264/tid=27272] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27272/stat : 27272 (java) S 27261 27264 25977 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 46820 33554432000 1073741824 1073778376 140733874587584 139710242175400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27273] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27273/stat : 27273 (java) S 27261 27264 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 46820 33554432000 1073741824 1073778376 140733874587584 139710241122600 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27264/tid=27274] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27274/stat : 27274 (java) S 27261 27264 25977 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23029144 9856040960 46820 33554432000 1073741824 1073778376 140733874587584 139710240069800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27275] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27275/stat : 27275 (java) S 27261 27264 25977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23029145 9856040960 46820 33554432000 1073741824 1073778376 140733874587584 139710227659752 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27276] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27276/stat : 27276 (java) S 27261 27264 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23029146 9856040960 46820 33554432000 1073741824 1073778376 140733874587584 139710226605816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27277] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27277/stat : 27277 (java) S 27261 27264 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23029146 9856040960 46820 33554432000 1073741824 1073778376 140733874587584 139710225552904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27278] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27278/stat : 27278 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029148 9856040960 46820 33554432000 1073741824 1073778376 140733874587584 139710224501392 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27279] ppid=27261 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/27264/task/27279/stat : 27279 (java) S 27261 27264 25977 0 -1 4202560 4015 0 0 0 49 0 0 0 20 0 19 0 23029148 9856040960 46820 33554432000 1073741824 1073778376 140733874587584 139710223448504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27280] ppid=27261 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/27264/task/27280/stat : 27280 (java) S 27261 27264 25977 0 -1 4202560 3706 0 0 0 41 0 0 0 20 0 19 0 23029148 9856040960 46820 33554432000 1073741824 1073778376 140733874587584 139710222395704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27281] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27281/stat : 27281 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029148 9856040960 46820 33554432000 1073741824 1073778376 140733874587584 139710221343096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27282] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27282/stat : 27282 (java) S 27261 27264 25977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23029148 9856040960 46820 33554432000 1073741824 1073778376 140733874587584 139710220290504 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27283] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27283/stat : 27283 (java) S 27261 27264 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23029181 9856040960 46820 33554432000 1073741824 1073778376 140733874587584 139710219237032 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.22
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=27264/tid=27276] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27276/stat : 27276 (java) S 27261 27264 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23029146 9856040960 159956 33554432000 1073741824 1073778376 140733874587584 139710226605816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27277] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27277/stat : 27277 (java) S 27261 27264 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23029146 9856040960 159956 33554432000 1073741824 1073778376 140733874587584 139710225552904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27278] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27278/stat : 27278 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029148 9856040960 159956 33554432000 1073741824 1073778376 140733874587584 139710224501392 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27279] ppid=27261 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/27264/task/27279/stat : 27279 (java) S 27261 27264 25977 0 -1 4202560 4015 0 0 0 49 0 0 0 20 0 19 0 23029148 9856040960 159956 33554432000 1073741824 1073778376 140733874587584 139710223448504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27280] ppid=27261 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/27264/task/27280/stat : 27280 (java) S 27261 27264 25977 0 -1 4202560 3709 0 0 0 44 0 0 0 20 0 19 0 23029148 9856040960 159956 33554432000 1073741824 1073778376 140733874587584 139710222395704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27281] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27281/stat : 27281 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029148 9856040960 159956 33554432000 1073741824 1073778376 140733874587584 139710221343096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27282] ppid=27261 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/27264/task/27282/stat : 27282 (java) S 27261 27264 25977 0 -1 4202560 95 0 0 0 31 27 0 0 20 0 19 0 23029148 9856040960 159956 33554432000 1073741824 1073778376 140733874587584 139710220290504 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27283] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27283/stat : 27283 (java) S 27261 27264 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23029181 9856040960 159956 33554432000 1073741824 1073778376 140733874587584 139710219237032 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1686.84
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.28 2.22 2.19 3/213 27389
/proc/meminfo: memFree=27886016/32872528 swapFree=1244176/1391344
[pid=27264] ppid=27261 vsize=9625040 CPUtime=1747.74 cores=0,2,4,6
/proc/27264/stat : 27264 (java) S 27261 27264 25977 0 -1 4202496 24580 0 1 0 174564 210 0 0 20 0 19 0 23029141 9856040960 177084 33554432000 1073741824 1073778376 140733874587584 140733874578720 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27264/statm: 2406260 177084 2286 9 0 2396937 0
[pid=27264/tid=27266] ppid=27261 vsize=9625040 CPUtime=1706.29 cores=0,2,4,6
/proc/27264/task/27266/stat : 27266 (java) R 27261 27264 25977 0 -1 4202560 2768 0 1 0 170599 30 0 0 20 0 19 0 23029143 9856040960 177084 33554432000 1073741824 1073778376 140733874587584 139710403509568 139710270385350 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27264/tid=27267] ppid=27261 vsize=9625040 CPUtime=4.38 cores=0,2,4,6
/proc/27264/task/27267/stat : 27267 (java) S 27261 27264 25977 0 -1 4202560 1710 0 0 0 413 25 0 0 20 0 19 0 23029144 9856040960 177084 33554432000 1073741824 1073778376 140733874587584 139710392572968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27268] ppid=27261 vsize=9625040 CPUtime=4.17 cores=0,2,4,6
/proc/27264/task/27268/stat : 27268 (java) S 27261 27264 25977 0 -1 4202560 1097 0 0 0 391 26 0 0 20 0 19 0 23029144 9856040960 177084 33554432000 1073741824 1073778376 140733874587584 139710391520168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27269] ppid=27261 vsize=9625040 CPUtime=4.23 cores=0,2,4,6
/proc/27264/task/27269/stat : 27269 (java) S 27261 27264 25977 0 -1 4202560 1150 0 0 0 403 20 0 0 20 0 19 0 23029144 9856040960 177084 33554432000 1073741824 1073778376 140733874587584 139710390467368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27264/tid=27270] ppid=27261 vsize=9625040 CPUtime=4.17 cores=0,2,4,6
/proc/27264/task/27270/stat : 27270 (java) S 27261 27264 25977 0 -1 4202560 1275 0 0 0 396 21 0 0 20 0 19 0 23029144 9856040960 177084 33554432000 1073741824 1073778376 140733874587584 139710389414568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27271] ppid=27261 vsize=9625040 CPUtime=4.25 cores=0,2,4,6
/proc/27264/task/27271/stat : 27271 (java) S 27261 27264 25977 0 -1 4202560 1534 0 0 0 403 22 0 0 20 0 19 0 23029144 9856040960 177084 33554432000 1073741824 1073778376 140733874587584 139710388361768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27272] ppid=27261 vsize=9625040 CPUtime=4.14 cores=0,2,4,6
/proc/27264/task/27272/stat : 27272 (java) S 27261 27264 25977 0 -1 4202560 1345 0 0 0 393 21 0 0 20 0 19 0 23029144 9856040960 177084 33554432000 1073741824 1073778376 140733874587584 139710242175400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27264/tid=27273] ppid=27261 vsize=9625040 CPUtime=4.18 cores=0,2,4,6
/proc/27264/task/27273/stat : 27273 (java) S 27261 27264 25977 0 -1 4202560 1174 0 0 0 394 24 0 0 20 0 19 0 23029144 9856040960 177084 33554432000 1073741824 1073778376 140733874587584 139710241122600 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27274] ppid=27261 vsize=9625040 CPUtime=4.23 cores=0,2,4,6
/proc/27264/task/27274/stat : 27274 (java) S 27261 27264 25977 0 -1 4202560 1743 0 0 0 402 21 0 0 20 0 19 0 23029144 9856040960 177084 33554432000 1073741824 1073778376 140733874587584 139710240069800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27275] ppid=27261 vsize=9625040 CPUtime=6.47 cores=0,2,4,6
/proc/27264/task/27275/stat : 27275 (java) S 27261 27264 25977 0 -1 4202560 1703 0 0 0 641 6 0 0 20 0 19 0 23029145 9856040960 177084 33554432000 1073741824 1073778376 140733874587584 139710227659752 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27276] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27276/stat : 27276 (java) S 27261 27264 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23029146 9856040960 177084 33554432000 1073741824 1073778376 140733874587584 139710226605816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27277] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27277/stat : 27277 (java) S 27261 27264 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23029146 9856040960 177084 33554432000 1073741824 1073778376 140733874587584 139710225552904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27278] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27278/stat : 27278 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029148 9856040960 177084 33554432000 1073741824 1073778376 140733874587584 139710224501392 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27279] ppid=27261 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/27264/task/27279/stat : 27279 (java) S 27261 27264 25977 0 -1 4202560 4015 0 0 0 49 0 0 0 20 0 19 0 23029148 9856040960 177084 33554432000 1073741824 1073778376 140733874587584 139710223448504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27280] ppid=27261 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/27264/task/27280/stat : 27280 (java) S 27261 27264 25977 0 -1 4202560 3709 0 0 0 44 0 0 0 20 0 19 0 23029148 9856040960 177084 33554432000 1073741824 1073778376 140733874587584 139710222395704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27281] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27281/stat : 27281 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029148 9856040960 177084 33554432000 1073741824 1073778376 140733874587584 139710221343096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27282] ppid=27261 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/27264/task/27282/stat : 27282 (java) S 27261 27264 25977 0 -1 4202560 99 0 0 0 32 28 0 0 20 0 19 0 23029148 9856040960 177084 33554432000 1073741824 1073778376 140733874587584 139710220290504 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27283] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27283/stat : 27283 (java) S 27261 27264 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23029181 9856040960 177084 33554432000 1073741824 1073778376 140733874587584 139710219237032 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1747.74
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1773.9 s]
/proc/loadavg: 2.23 2.21 2.18 3/213 27390
/proc/meminfo: memFree=27840588/32872528 swapFree=1244176/1391344
[pid=27264] ppid=27261 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/27264/stat : 27264 (java) S 27261 27264 25977 0 -1 4202496 25226 0 1 0 179791 215 0 0 20 0 19 0 23029141 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 140733874578720 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27264/statm: 2406260 188399 2286 9 0 2396937 0
[pid=27264/tid=27266] ppid=27261 vsize=9625040 CPUtime=1757.39 cores=0,2,4,6
/proc/27264/task/27266/stat : 27266 (java) R 27261 27264 25977 0 -1 4202560 2776 0 1 0 175707 32 0 0 20 0 19 0 23029143 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710403509568 139710270384844 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27267] ppid=27261 vsize=9625040 CPUtime=4.54 cores=0,2,4,6
/proc/27264/task/27267/stat : 27267 (java) S 27261 27264 25977 0 -1 4202560 2093 0 0 0 429 25 0 0 20 0 19 0 23029144 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710392572968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27264/tid=27268] ppid=27261 vsize=9625040 CPUtime=4.31 cores=0,2,4,6
/proc/27264/task/27268/stat : 27268 (java) S 27261 27264 25977 0 -1 4202560 1176 0 0 0 404 27 0 0 20 0 19 0 23029144 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710391520168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27264/tid=27269] ppid=27261 vsize=9625040 CPUtime=4.39 cores=0,2,4,6
/proc/27264/task/27269/stat : 27269 (java) S 27261 27264 25977 0 -1 4202560 1181 0 0 0 418 21 0 0 20 0 19 0 23029144 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710390467368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27270] ppid=27261 vsize=9625040 CPUtime=4.26 cores=0,2,4,6
/proc/27264/task/27270/stat : 27270 (java) S 27261 27264 25977 0 -1 4202560 1285 0 0 0 404 22 0 0 20 0 19 0 23029144 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710389414568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27264/tid=27271] ppid=27261 vsize=9625040 CPUtime=4.36 cores=0,2,4,6
/proc/27264/task/27271/stat : 27271 (java) S 27261 27264 25977 0 -1 4202560 1541 0 0 0 414 22 0 0 20 0 19 0 23029144 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710388361768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27272] ppid=27261 vsize=9625040 CPUtime=4.27 cores=0,2,4,6
/proc/27264/task/27272/stat : 27272 (java) S 27261 27264 25977 0 -1 4202560 1396 0 0 0 406 21 0 0 20 0 19 0 23029144 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710242175400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27264/tid=27273] ppid=27261 vsize=9625040 CPUtime=4.25 cores=0,2,4,6
/proc/27264/task/27273/stat : 27273 (java) S 27261 27264 25977 0 -1 4202560 1178 0 0 0 401 24 0 0 20 0 19 0 23029144 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710241122600 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27264/tid=27274] ppid=27261 vsize=9625040 CPUtime=4.34 cores=0,2,4,6
/proc/27264/task/27274/stat : 27274 (java) S 27261 27264 25977 0 -1 4202560 1756 0 0 0 413 21 0 0 20 0 19 0 23029144 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710240069800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27275] ppid=27261 vsize=9625040 CPUtime=6.69 cores=0,2,4,6
/proc/27264/task/27275/stat : 27275 (java) S 27261 27264 25977 0 -1 4202560 1761 0 0 0 663 6 0 0 20 0 19 0 23029145 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710227659752 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27276] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27276/stat : 27276 (java) S 27261 27264 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23029146 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710226605816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27277] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27277/stat : 27277 (java) S 27261 27264 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23029146 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710225552904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27278] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27278/stat : 27278 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029148 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710224501392 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27279] ppid=27261 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/27264/task/27279/stat : 27279 (java) S 27261 27264 25977 0 -1 4202560 4015 0 0 0 49 0 0 0 20 0 19 0 23029148 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710223448504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27280] ppid=27261 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/27264/task/27280/stat : 27280 (java) S 27261 27264 25977 0 -1 4202560 3709 0 0 0 44 0 0 0 20 0 19 0 23029148 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710222395704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27281] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27281/stat : 27281 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029148 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710221343096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27282] ppid=27261 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/27264/task/27282/stat : 27282 (java) S 27261 27264 25977 0 -1 4202560 101 0 0 0 33 29 0 0 20 0 19 0 23029148 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710220290504 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27283] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27283/stat : 27283 (java) S 27261 27264 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23029181 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710219237032 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 27264 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1773.9 s]
/proc/loadavg: 2.23 2.21 2.18 3/213 27390
/proc/meminfo: memFree=27840588/32872528 swapFree=1244176/1391344
[pid=27264] ppid=27261 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/27264/stat : 27264 (java) S 27261 27264 25977 0 -1 4202496 25226 0 1 0 179791 215 0 0 20 0 19 0 23029141 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 140733874578720 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27264/statm: 2406260 188399 2286 9 0 2396937 0
[pid=27264/tid=27266] ppid=27261 vsize=9625040 CPUtime=1757.39 cores=0,2,4,6
/proc/27264/task/27266/stat : 27266 (java) R 27261 27264 25977 0 -1 4202560 2776 0 1 0 175707 32 0 0 20 0 19 0 23029143 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710403509568 139710270384844 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27267] ppid=27261 vsize=9625040 CPUtime=4.54 cores=0,2,4,6
/proc/27264/task/27267/stat : 27267 (java) S 27261 27264 25977 0 -1 4202560 2093 0 0 0 429 25 0 0 20 0 19 0 23029144 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710392572968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27264/tid=27268] ppid=27261 vsize=9625040 CPUtime=4.31 cores=0,2,4,6
/proc/27264/task/27268/stat : 27268 (java) S 27261 27264 25977 0 -1 4202560 1176 0 0 0 404 27 0 0 20 0 19 0 23029144 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710391520168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27264/tid=27269] ppid=27261 vsize=9625040 CPUtime=4.39 cores=0,2,4,6
/proc/27264/task/27269/stat : 27269 (java) S 27261 27264 25977 0 -1 4202560 1181 0 0 0 418 21 0 0 20 0 19 0 23029144 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710390467368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27270] ppid=27261 vsize=9625040 CPUtime=4.26 cores=0,2,4,6
/proc/27264/task/27270/stat : 27270 (java) S 27261 27264 25977 0 -1 4202560 1285 0 0 0 404 22 0 0 20 0 19 0 23029144 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710389414568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27264/tid=27271] ppid=27261 vsize=9625040 CPUtime=4.36 cores=0,2,4,6
/proc/27264/task/27271/stat : 27271 (java) S 27261 27264 25977 0 -1 4202560 1541 0 0 0 414 22 0 0 20 0 19 0 23029144 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710388361768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27272] ppid=27261 vsize=9625040 CPUtime=4.27 cores=0,2,4,6
/proc/27264/task/27272/stat : 27272 (java) S 27261 27264 25977 0 -1 4202560 1396 0 0 0 406 21 0 0 20 0 19 0 23029144 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710242175400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27264/tid=27273] ppid=27261 vsize=9625040 CPUtime=4.25 cores=0,2,4,6
/proc/27264/task/27273/stat : 27273 (java) S 27261 27264 25977 0 -1 4202560 1178 0 0 0 401 24 0 0 20 0 19 0 23029144 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710241122600 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27264/tid=27274] ppid=27261 vsize=9625040 CPUtime=4.34 cores=0,2,4,6
/proc/27264/task/27274/stat : 27274 (java) S 27261 27264 25977 0 -1 4202560 1756 0 0 0 413 21 0 0 20 0 19 0 23029144 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710240069800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27275] ppid=27261 vsize=9625040 CPUtime=6.69 cores=0,2,4,6
/proc/27264/task/27275/stat : 27275 (java) S 27261 27264 25977 0 -1 4202560 1761 0 0 0 663 6 0 0 20 0 19 0 23029145 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710227659752 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27276] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27276/stat : 27276 (java) S 27261 27264 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23029146 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710226605816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27277] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27277/stat : 27277 (java) S 27261 27264 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23029146 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710225552904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27278] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27278/stat : 27278 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029148 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710224501392 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27279] ppid=27261 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/27264/task/27279/stat : 27279 (java) S 27261 27264 25977 0 -1 4202560 4015 0 0 0 49 0 0 0 20 0 19 0 23029148 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710223448504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27280] ppid=27261 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/27264/task/27280/stat : 27280 (java) S 27261 27264 25977 0 -1 4202560 3709 0 0 0 44 0 0 0 20 0 19 0 23029148 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710222395704 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27281] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27281/stat : 27281 (java) S 27261 27264 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23029148 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710221343096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27264/tid=27282] ppid=27261 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/27264/task/27282/stat : 27282 (java) S 27261 27264 25977 0 -1 4202560 101 0 0 0 33 29 0 0 20 0 19 0 23029148 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710220290504 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27264/tid=27283] ppid=27261 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27283/stat : 27283 (java) S 27261 27264 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23029181 9856040960 188399 33554432000 1073741824 1073778376 140733874587584 139710219237032 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040
Child status: 143
Real time (s): 1773.94
CPU time (s): 1800.66
CPU user time (s): 1798.02
CPU system time (s): 2.6426
CPU usage (%): 101.506
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.02
system time used= 2.6426
maximum resident set size= 800692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25264
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46919
involuntary context switches= 56903
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0823 second user time and 12.6551 second system time
The end