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-4089082-1466017232/watcher-4089082-1466017232 -o /tmp/evaluation-result-4089082-1466017232/solver-4089082-1466017232 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466009078-4982 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4089082-1466017232.opb
pid=7227
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.05 2.13 2.06 3/195 7230
/proc/meminfo: memFree=31025008/32872528 swapFree=162364/176672
[pid=7230] ppid=7227 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/7230/stat : 7230 (java) R 7227 7230 4966 0 -1 4202496 495 0 0 0 0 0 0 0 20 0 1 0 3773148 9515008 148 33554432000 1073741824 1073778376 140734077212272 140734077209400 140389331590407 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7230/statm: 2323 155 114 9 0 71 0
[startup+0.10006 s]
/proc/loadavg: 2.05 2.13 2.06 3/195 7230
/proc/meminfo: memFree=31025008/32872528 swapFree=162364/176672
[pid=7230] ppid=7227 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/7230/stat : 7230 (java) S 7227 7230 4966 0 -1 4202496 4398 0 1 0 8 0 0 0 20 0 18 0 3773148 9787879424 6024 33554432000 1073741824 1073778376 140734077212272 140734077203408 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7230/statm: 2389619 6024 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200216 s]
/proc/loadavg: 2.05 2.13 2.06 3/195 7230
/proc/meminfo: memFree=31025008/32872528 swapFree=162364/176672
[pid=7230] ppid=7227 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/7230/stat : 7230 (java) S 7227 7230 4966 0 -1 4202496 6354 0 1 0 26 1 0 0 20 0 19 0 3773148 9856040960 7402 33554432000 1073741824 1073778376 140734077212272 140734077203408 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7230/statm: 2406260 7402 2232 9 0 2396937 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9625040
[startup+0.30022 s]
/proc/loadavg: 2.05 2.13 2.06 3/195 7230
/proc/meminfo: memFree=31025008/32872528 swapFree=162364/176672
[pid=7230] ppid=7227 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/7230/stat : 7230 (java) S 7227 7230 4966 0 -1 4202496 6590 0 1 0 48 1 0 0 20 0 19 0 3773148 9856040960 7793 33554432000 1073741824 1073778376 140734077212272 140734077203408 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7230/statm: 2406260 7793 2244 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625040
[startup+0.700164 s]
/proc/loadavg: 2.05 2.13 2.06 3/195 7230
/proc/meminfo: memFree=31025008/32872528 swapFree=162364/176672
[pid=7230] ppid=7227 vsize=9625040 CPUtime=1.02 cores=0,2,4,6
/proc/7230/stat : 7230 (java) S 7227 7230 4966 0 -1 4202496 7622 0 1 0 101 1 0 0 20 0 19 0 3773148 9856040960 8864 33554432000 1073741824 1073778376 140734077212272 140734077203408 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7230/statm: 2406260 8864 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 9625040
[startup+1.50079 s]
/proc/loadavg: 2.13 2.14 2.07 3/214 7249
/proc/meminfo: memFree=30991108/32872528 swapFree=162364/176672
[pid=7230] ppid=7227 vsize=9625040 CPUtime=1.86 cores=0,2,4,6
/proc/7230/stat : 7230 (java) S 7227 7230 4966 0 -1 4202496 7646 0 1 0 184 2 0 0 20 0 19 0 3773148 9856040960 11428 33554432000 1073741824 1073778376 140734077212272 140734077203408 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7230/statm: 2406260 11428 2256 9 0 2396937 0
[pid=7230/tid=7232] ppid=7227 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/7230/task/7232/stat : 7232 (java) R 7227 7230 4966 0 -1 4202560 2421 0 1 0 146 0 0 0 20 0 19 0 3773149 9856040960 11428 33554432000 1073741824 1073778376 140734077212272 140389319975192 140389143546258 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7233] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7233/stat : 7233 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 11428 33554432000 1073741824 1073778376 140734077212272 140389281466664 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7234] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7234/stat : 7234 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 11428 33554432000 1073741824 1073778376 140734077212272 140389280413864 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7235] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7235/stat : 7235 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 11428 33554432000 1073741824 1073778376 140734077212272 140389279361576 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7230/tid=7236] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7236/stat : 7236 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 11428 33554432000 1073741824 1073778376 140734077212272 140389278308776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7230/tid=7237] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7237/stat : 7237 (java) S 7227 7230 4966 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 11428 33554432000 1073741824 1073778376 140734077212272 140389277256488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7238] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7238/stat : 7238 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 11428 33554432000 1073741824 1073778376 140734077212272 140389276203688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7230/tid=7239] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7239/stat : 7239 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 11428 33554432000 1073741824 1073778376 140734077212272 140389275151400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7230/tid=7240] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7240/stat : 7240 (java) S 7227 7230 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 11428 33554432000 1073741824 1073778376 140734077212272 140389274098600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7241] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7241/stat : 7241 (java) S 7227 7230 4966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3773151 9856040960 11428 33554432000 1073741824 1073778376 140734077212272 140389261687016 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7242] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7242/stat : 7242 (java) S 7227 7230 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3773152 9856040960 11428 33554432000 1073741824 1073778376 140734077212272 140389143012344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7243] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7243/stat : 7243 (java) S 7227 7230 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3773152 9856040960 11428 33554432000 1073741824 1073778376 140734077212272 140389141959944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7244] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7244/stat : 7244 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773154 9856040960 11428 33554432000 1073741824 1073778376 140734077212272 140389140908432 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7245] ppid=7227 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/7230/task/7245/stat : 7245 (java) S 7227 7230 4966 0 -1 4202560 1087 0 0 0 18 0 0 0 20 0 19 0 3773154 9856040960 11428 33554432000 1073741824 1073778376 140734077212272 140389139856056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7246] ppid=7227 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/7230/task/7246/stat : 7246 (java) S 7227 7230 4966 0 -1 4202560 2864 0 0 0 18 0 0 0 20 0 19 0 3773154 9856040960 11428 33554432000 1073741824 1073778376 140734077212272 140389138803256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7247] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7247/stat : 7247 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773154 9856040960 11428 33554432000 1073741824 1073778376 140734077212272 140389137751160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7248] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7248/stat : 7248 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773154 9856040960 11428 33554432000 1073741824 1073778376 140734077212272 140389136698568 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7249] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7249/stat : 7249 (java) S 7227 7230 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3773164 9856040960 11428 33554432000 1073741824 1073778376 140734077212272 140389135643560 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9625040
[startup+3.1008 s]
/proc/loadavg: 2.13 2.14 2.07 3/214 7249
/proc/meminfo: memFree=30978316/32872528 swapFree=162364/176672
[pid=7230] ppid=7227 vsize=9625040 CPUtime=3.48 cores=0,2,4,6
/proc/7230/stat : 7230 (java) S 7227 7230 4966 0 -1 4202496 7654 0 1 0 346 2 0 0 20 0 19 0 3773148 9856040960 15524 33554432000 1073741824 1073778376 140734077212272 140734077203408 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7230/statm: 2406260 15524 2256 9 0 2396937 0
[pid=7230/tid=7232] ppid=7227 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/7230/task/7232/stat : 7232 (java) R 7227 7230 4966 0 -1 4202560 2429 0 1 0 305 0 0 0 20 0 19 0 3773149 9856040960 15524 33554432000 1073741824 1073778376 140734077212272 140389319966416 140389143447484 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7233] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7233/stat : 7233 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 15524 33554432000 1073741824 1073778376 140734077212272 140389281466664 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7234] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7234/stat : 7234 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 15524 33554432000 1073741824 1073778376 140734077212272 140389280413864 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7235] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7235/stat : 7235 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 15524 33554432000 1073741824 1073778376 140734077212272 140389279361576 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7230/tid=7236] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7236/stat : 7236 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 15524 33554432000 1073741824 1073778376 140734077212272 140389278308776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7230/tid=7237] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7237/stat : 7237 (java) S 7227 7230 4966 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 15524 33554432000 1073741824 1073778376 140734077212272 140389277256488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7238] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7238/stat : 7238 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 15524 33554432000 1073741824 1073778376 140734077212272 140389276203688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7230/tid=7239] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7239/stat : 7239 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 15524 33554432000 1073741824 1073778376 140734077212272 140389275151400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7230/tid=7240] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7240/stat : 7240 (java) S 7227 7230 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 15524 33554432000 1073741824 1073778376 140734077212272 140389274098600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7241] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7241/stat : 7241 (java) S 7227 7230 4966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3773151 9856040960 15524 33554432000 1073741824 1073778376 140734077212272 140389261687016 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7242] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7242/stat : 7242 (java) S 7227 7230 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3773152 9856040960 15524 33554432000 1073741824 1073778376 140734077212272 140389143012344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7243] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7243/stat : 7243 (java) S 7227 7230 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3773152 9856040960 15524 33554432000 1073741824 1073778376 140734077212272 140389141959944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7244] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7244/stat : 7244 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773154 9856040960 15524 33554432000 1073741824 1073778376 140734077212272 140389140908432 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7245] ppid=7227 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/7230/task/7245/stat : 7245 (java) S 7227 7230 4966 0 -1 4202560 1087 0 0 0 18 0 0 0 20 0 19 0 3773154 9856040960 15524 33554432000 1073741824 1073778376 140734077212272 140389139856056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7246] ppid=7227 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/7230/task/7246/stat : 7246 (java) S 7227 7230 4966 0 -1 4202560 2864 0 0 0 20 0 0 0 20 0 19 0 3773154 9856040960 15524 33554432000 1073741824 1073778376 140734077212272 140389138803256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7247] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7247/stat : 7247 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773154 9856040960 15524 33554432000 1073741824 1073778376 140734077212272 140389137751160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7248] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7248/stat : 7248 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773154 9856040960 15524 33554432000 1073741824 1073778376 140734077212272 140389136698568 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7249] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7249/stat : 7249 (java) S 7227 7230 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3773164 9856040960 15524 33554432000 1073741824 1073778376 140734077212272 140389135643560 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 9625040
[startup+6.30084 s]
/proc/loadavg: 2.13 2.14 2.07 3/214 7249
/proc/meminfo: memFree=30948124/32872528 swapFree=162364/176672
[pid=7230] ppid=7227 vsize=9625040 CPUtime=6.67 cores=0,2,4,6
/proc/7230/stat : 7230 (java) S 7227 7230 4966 0 -1 4202496 7670 0 1 0 665 2 0 0 20 0 19 0 3773148 9856040960 22508 33554432000 1073741824 1073778376 140734077212272 140734077203408 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7230/statm: 2406260 22508 2257 9 0 2396937 0
[pid=7230/tid=7232] ppid=7227 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/7230/task/7232/stat : 7232 (java) R 7227 7230 4966 0 -1 4202560 2444 0 1 0 624 1 0 0 20 0 19 0 3773149 9856040960 22508 33554432000 1073741824 1073778376 140734077212272 140389319966416 140389143455365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7233] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7233/stat : 7233 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 22508 33554432000 1073741824 1073778376 140734077212272 140389281466664 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7234] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7234/stat : 7234 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 22508 33554432000 1073741824 1073778376 140734077212272 140389280413864 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7235] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7235/stat : 7235 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 22508 33554432000 1073741824 1073778376 140734077212272 140389279361576 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7230/tid=7236] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7236/stat : 7236 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 22508 33554432000 1073741824 1073778376 140734077212272 140389278308776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7230/tid=7237] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7237/stat : 7237 (java) S 7227 7230 4966 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 22508 33554432000 1073741824 1073778376 140734077212272 140389277256488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7238] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7238/stat : 7238 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 22508 33554432000 1073741824 1073778376 140734077212272 140389276203688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7230/tid=7239] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7239/stat : 7239 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 22508 33554432000 1073741824 1073778376 140734077212272 140389275151400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7230/tid=7240] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7240/stat : 7240 (java) S 7227 7230 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3773150 9856040960 22508 33554432000 1073741824 1073778376 140734077212272 140389274098600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7241] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7241/stat : 7241 (java) S 7227 7230 4966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3773151 9856040960 22508 33554432000 1073741824 1073778376 140734077212272 140389261687016 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7242] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7242/stat : 7242 (java) S 7227 7230 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3773152 9856040960 22508 33554432000 1073741824 1073778376 140734077212272 140389143012344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7243] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7243/stat : 7243 (java) S 7227 7230 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3773152 9856040960 22508 33554432000 1073741824 1073778376 140734077212272 140389141959944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7244] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7244/stat : 7244 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773154 9856040960 22508 33554432000 1073741824 1073778376 140734077212272 140389140908432 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7245] ppid=7227 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/7230/task/7245/stat : 7245 (java) S 7227 7230 4966 0 -1 4202560 1087 0 0 0 18 0 0 0 20 0 19 0 3773154 9856040960 22508 33554432000 1073741824 1073778376 140734077212272 140389139856056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7246] ppid=7227 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/7230/task/7246/stat : 7246 (java) S 7227 7230 4966 0 -1 4202560 2864 0 0 0 20 0 0 0 20 0 19 0 3773154 9856040960 22508 33554432000 1073741824 1073778376 140734077212272 140389138803256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7247] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7247/stat : 7247 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773154 9856040960 22508 33554432000 1073741824 1073778376 140734077212272 140389137751160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7248] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7248/stat : 7248 (java) S 7227 7230 4966 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3773154 9856040960 22508 33554432000 1073741824 1073778376 140734077212272 140389136698568 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7249] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7249/stat : 7249 (java) S 7227 7230 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3773164 9856040960 22508 33554432000 1073741824 1073778376 140734077212272 140389135643560 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.67
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=7230/tid=7242] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7242/stat : 7242 (java) S 7227 7230 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3773152 9856040960 100385 33554432000 1073741824 1073778376 140734077212272 140389143012344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7243] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7243/stat : 7243 (java) S 7227 7230 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3773152 9856040960 100385 33554432000 1073741824 1073778376 140734077212272 140389141959944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7244] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7244/stat : 7244 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773154 9856040960 100385 33554432000 1073741824 1073778376 140734077212272 140389140908432 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7245] ppid=7227 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/7230/task/7245/stat : 7245 (java) S 7227 7230 4966 0 -1 4202560 1093 0 0 0 19 0 0 0 20 0 19 0 3773154 9856040960 100385 33554432000 1073741824 1073778376 140734077212272 140389139856056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7246] ppid=7227 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/7230/task/7246/stat : 7246 (java) S 7227 7230 4966 0 -1 4202560 4611 0 0 0 29 0 0 0 20 0 19 0 3773154 9856040960 100385 33554432000 1073741824 1073778376 140734077212272 140389138803256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7230/tid=7247] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7247/stat : 7247 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773154 9856040960 100385 33554432000 1073741824 1073778376 140734077212272 140389137751160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7248] ppid=7227 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/7230/task/7248/stat : 7248 (java) S 7227 7230 4966 0 -1 4202560 96 0 0 0 23 24 0 0 20 0 19 0 3773154 9856040960 100385 33554432000 1073741824 1073778376 140734077212272 140389136698568 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7249] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7249/stat : 7249 (java) S 7227 7230 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3773164 9856040960 100385 33554432000 1073741824 1073778376 140734077212272 140389135643560 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1670.52
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.12 2.06 2.05 3/213 7443
/proc/meminfo: memFree=30667184/32872528 swapFree=162364/176672
[pid=7230] ppid=7227 vsize=9625040 CPUtime=1730.95 cores=0,2,4,6
/proc/7230/stat : 7230 (java) S 7227 7230 4966 0 -1 4202496 13806 0 1 0 173013 82 0 0 20 0 19 0 3773148 9856040960 97692 33554432000 1073741824 1073778376 140734077212272 140734077203408 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7230/statm: 2406260 97692 2280 9 0 2396937 0
[pid=7230/tid=7232] ppid=7227 vsize=9625040 CPUtime=1717.72 cores=0,2,4,6
/proc/7230/task/7232/stat : 7232 (java) R 7227 7230 4966 0 -1 4202560 2582 0 1 0 171740 32 0 0 20 0 19 0 3773149 9856040960 97692 33554432000 1073741824 1073778376 140734077212272 140389319974160 140389143546258 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7233] ppid=7227 vsize=9625040 CPUtime=1.53 cores=0,2,4,6
/proc/7230/task/7233/stat : 7233 (java) S 7227 7230 4966 0 -1 4202560 586 0 0 0 142 11 0 0 20 0 19 0 3773150 9856040960 97692 33554432000 1073741824 1073778376 140734077212272 140389281466664 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7230/tid=7234] ppid=7227 vsize=9625040 CPUtime=1.37 cores=0,2,4,6
/proc/7230/task/7234/stat : 7234 (java) S 7227 7230 4966 0 -1 4202560 276 0 0 0 132 5 0 0 20 0 19 0 3773150 9856040960 97692 33554432000 1073741824 1073778376 140734077212272 140389280413864 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7230/tid=7235] ppid=7227 vsize=9625040 CPUtime=1.33 cores=0,2,4,6
/proc/7230/task/7235/stat : 7235 (java) S 7227 7230 4966 0 -1 4202560 464 0 0 0 127 6 0 0 20 0 19 0 3773150 9856040960 97692 33554432000 1073741824 1073778376 140734077212272 140389279361576 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7236] ppid=7227 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/7230/task/7236/stat : 7236 (java) S 7227 7230 4966 0 -1 4202560 467 0 0 0 140 6 0 0 20 0 19 0 3773150 9856040960 97692 33554432000 1073741824 1073778376 140734077212272 140389278308776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7237] ppid=7227 vsize=9625040 CPUtime=1.44 cores=0,2,4,6
/proc/7230/task/7237/stat : 7237 (java) S 7227 7230 4966 0 -1 4202560 714 0 0 0 138 6 0 0 20 0 19 0 3773150 9856040960 97692 33554432000 1073741824 1073778376 140734077212272 140389277256488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7230/tid=7238] ppid=7227 vsize=9625040 CPUtime=1.42 cores=0,2,4,6
/proc/7230/task/7238/stat : 7238 (java) S 7227 7230 4966 0 -1 4202560 518 0 0 0 135 7 0 0 20 0 19 0 3773150 9856040960 97692 33554432000 1073741824 1073778376 140734077212272 140389276203688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7239] ppid=7227 vsize=9625040 CPUtime=1.42 cores=0,2,4,6
/proc/7230/task/7239/stat : 7239 (java) S 7227 7230 4966 0 -1 4202560 464 0 0 0 133 9 0 0 20 0 19 0 3773150 9856040960 97692 33554432000 1073741824 1073778376 140734077212272 140389275151400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7230/tid=7240] ppid=7227 vsize=9625040 CPUtime=1.35 cores=0,2,4,6
/proc/7230/task/7240/stat : 7240 (java) S 7227 7230 4966 0 -1 4202560 397 0 0 0 129 6 0 0 20 0 19 0 3773150 9856040960 97692 33554432000 1073741824 1073778376 140734077212272 140389274098600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7230/tid=7241] ppid=7227 vsize=9625040 CPUtime=1.26 cores=0,2,4,6
/proc/7230/task/7241/stat : 7241 (java) S 7227 7230 4966 0 -1 4202560 274 0 0 0 124 2 0 0 20 0 19 0 3773151 9856040960 97692 33554432000 1073741824 1073778376 140734077212272 140389261687016 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7242] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7242/stat : 7242 (java) S 7227 7230 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3773152 9856040960 97692 33554432000 1073741824 1073778376 140734077212272 140389143012344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7243] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7243/stat : 7243 (java) S 7227 7230 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3773152 9856040960 97692 33554432000 1073741824 1073778376 140734077212272 140389141959944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7244] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7244/stat : 7244 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773154 9856040960 97692 33554432000 1073741824 1073778376 140734077212272 140389140908432 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7245] ppid=7227 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/7230/task/7245/stat : 7245 (java) S 7227 7230 4966 0 -1 4202560 1093 0 0 0 19 0 0 0 20 0 19 0 3773154 9856040960 97692 33554432000 1073741824 1073778376 140734077212272 140389139856056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7246] ppid=7227 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/7230/task/7246/stat : 7246 (java) S 7227 7230 4966 0 -1 4202560 4612 0 0 0 29 0 0 0 20 0 19 0 3773154 9856040960 97692 33554432000 1073741824 1073778376 140734077212272 140389138803256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7230/tid=7247] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7247/stat : 7247 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773154 9856040960 97692 33554432000 1073741824 1073778376 140734077212272 140389137751160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7248] ppid=7227 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/7230/task/7248/stat : 7248 (java) S 7227 7230 4966 0 -1 4202560 100 0 0 0 24 25 0 0 20 0 19 0 3773154 9856040960 97692 33554432000 1073741824 1073778376 140734077212272 140389136698568 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7249] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7249/stat : 7249 (java) S 7227 7230 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3773164 9856040960 97692 33554432000 1073741824 1073778376 140734077212272 140389135643560 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1730.95
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.04 3/214 7447
/proc/meminfo: memFree=30633728/32872528 swapFree=162364/176672
[pid=7230] ppid=7227 vsize=9625040 CPUtime=1791.38 cores=0,2,4,6
/proc/7230/stat : 7230 (java) S 7227 7230 4966 0 -1 4202496 13843 0 1 0 179054 84 0 0 20 0 19 0 3773148 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140734077203408 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7230/statm: 2406260 95533 2280 9 0 2396937 0
[pid=7230/tid=7232] ppid=7227 vsize=9625040 CPUtime=1777.39 cores=0,2,4,6
/proc/7230/task/7232/stat : 7232 (java) R 7227 7230 4966 0 -1 4202560 2588 0 1 0 177706 33 0 0 20 0 19 0 3773149 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389319974176 140389143546258 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7233] ppid=7227 vsize=9625040 CPUtime=1.58 cores=0,2,4,6
/proc/7230/task/7233/stat : 7233 (java) S 7227 7230 4966 0 -1 4202560 586 0 0 0 147 11 0 0 20 0 19 0 3773150 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389281466664 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7234] ppid=7227 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/7230/task/7234/stat : 7234 (java) S 7227 7230 4966 0 -1 4202560 276 0 0 0 142 5 0 0 20 0 19 0 3773150 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389280413864 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7235] ppid=7227 vsize=9625040 CPUtime=1.41 cores=0,2,4,6
/proc/7230/task/7235/stat : 7235 (java) S 7227 7230 4966 0 -1 4202560 464 0 0 0 135 6 0 0 20 0 19 0 3773150 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389279361576 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7230/tid=7236] ppid=7227 vsize=9625040 CPUtime=1.51 cores=0,2,4,6
/proc/7230/task/7236/stat : 7236 (java) S 7227 7230 4966 0 -1 4202560 467 0 0 0 145 6 0 0 20 0 19 0 3773150 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389278308776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7230/tid=7237] ppid=7227 vsize=9625040 CPUtime=1.53 cores=0,2,4,6
/proc/7230/task/7237/stat : 7237 (java) S 7227 7230 4966 0 -1 4202560 714 0 0 0 147 6 0 0 20 0 19 0 3773150 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389277256488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7238] ppid=7227 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/7230/task/7238/stat : 7238 (java) S 7227 7230 4966 0 -1 4202560 518 0 0 0 140 7 0 0 20 0 19 0 3773150 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389276203688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7230/tid=7239] ppid=7227 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/7230/task/7239/stat : 7239 (java) S 7227 7230 4966 0 -1 4202560 464 0 0 0 139 9 0 0 20 0 19 0 3773150 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389275151400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7240] ppid=7227 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/7230/task/7240/stat : 7240 (java) S 7227 7230 4966 0 -1 4202560 397 0 0 0 139 6 0 0 20 0 19 0 3773150 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389274098600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7230/tid=7241] ppid=7227 vsize=9625040 CPUtime=1.43 cores=0,2,4,6
/proc/7230/task/7241/stat : 7241 (java) S 7227 7230 4966 0 -1 4202560 301 0 0 0 141 2 0 0 20 0 19 0 3773151 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389261687016 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7242] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7242/stat : 7242 (java) S 7227 7230 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3773152 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389143012344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7243] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7243/stat : 7243 (java) S 7227 7230 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3773152 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389141959944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7244] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7244/stat : 7244 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773154 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389140908432 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7245] ppid=7227 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/7230/task/7245/stat : 7245 (java) S 7227 7230 4966 0 -1 4202560 1093 0 0 0 19 0 0 0 20 0 19 0 3773154 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389139856056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7246] ppid=7227 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/7230/task/7246/stat : 7246 (java) S 7227 7230 4966 0 -1 4202560 4612 0 0 0 29 0 0 0 20 0 19 0 3773154 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389138803256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7230/tid=7247] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7247/stat : 7247 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773154 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389137751160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7248] ppid=7227 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/7230/task/7248/stat : 7248 (java) S 7227 7230 4966 0 -1 4202560 104 0 0 0 25 26 0 0 20 0 19 0 3773154 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389136698568 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7249] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7249/stat : 7249 (java) S 7227 7230 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3773164 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389135643560 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791 s]
/proc/loadavg: 2.04 2.04 2.04 3/214 7447
/proc/meminfo: memFree=30618432/32872528 swapFree=162364/176672
[pid=7230] ppid=7227 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/7230/stat : 7230 (java) S 7227 7230 4966 0 -1 4202496 13843 0 1 0 179923 84 0 0 20 0 19 0 3773148 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140734077203408 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7230/statm: 2406260 95533 2280 9 0 2396937 0
[pid=7230/tid=7232] ppid=7227 vsize=9625040 CPUtime=1786.08 cores=0,2,4,6
/proc/7230/task/7232/stat : 7232 (java) R 7227 7230 4966 0 -1 4202560 2588 0 1 0 178575 33 0 0 20 0 19 0 3773149 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389319974176 140389143632628 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7233] ppid=7227 vsize=9625040 CPUtime=1.58 cores=0,2,4,6
/proc/7230/task/7233/stat : 7233 (java) S 7227 7230 4966 0 -1 4202560 586 0 0 0 147 11 0 0 20 0 19 0 3773150 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389281466664 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7234] ppid=7227 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/7230/task/7234/stat : 7234 (java) S 7227 7230 4966 0 -1 4202560 276 0 0 0 142 5 0 0 20 0 19 0 3773150 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389280413864 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7235] ppid=7227 vsize=9625040 CPUtime=1.41 cores=0,2,4,6
/proc/7230/task/7235/stat : 7235 (java) S 7227 7230 4966 0 -1 4202560 464 0 0 0 135 6 0 0 20 0 19 0 3773150 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389279361576 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7230/tid=7236] ppid=7227 vsize=9625040 CPUtime=1.51 cores=0,2,4,6
/proc/7230/task/7236/stat : 7236 (java) S 7227 7230 4966 0 -1 4202560 467 0 0 0 145 6 0 0 20 0 19 0 3773150 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389278308776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7230/tid=7237] ppid=7227 vsize=9625040 CPUtime=1.53 cores=0,2,4,6
/proc/7230/task/7237/stat : 7237 (java) S 7227 7230 4966 0 -1 4202560 714 0 0 0 147 6 0 0 20 0 19 0 3773150 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389277256488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7238] ppid=7227 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/7230/task/7238/stat : 7238 (java) S 7227 7230 4966 0 -1 4202560 518 0 0 0 140 7 0 0 20 0 19 0 3773150 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389276203688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7230/tid=7239] ppid=7227 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/7230/task/7239/stat : 7239 (java) S 7227 7230 4966 0 -1 4202560 464 0 0 0 139 9 0 0 20 0 19 0 3773150 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389275151400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7240] ppid=7227 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/7230/task/7240/stat : 7240 (java) S 7227 7230 4966 0 -1 4202560 397 0 0 0 139 6 0 0 20 0 19 0 3773150 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389274098600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7230/tid=7241] ppid=7227 vsize=9625040 CPUtime=1.43 cores=0,2,4,6
/proc/7230/task/7241/stat : 7241 (java) S 7227 7230 4966 0 -1 4202560 301 0 0 0 141 2 0 0 20 0 19 0 3773151 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389261687016 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7242] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7242/stat : 7242 (java) S 7227 7230 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3773152 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389143012344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7243] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7243/stat : 7243 (java) S 7227 7230 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3773152 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389141959944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7244] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7244/stat : 7244 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773154 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389140908432 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7245] ppid=7227 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/7230/task/7245/stat : 7245 (java) S 7227 7230 4966 0 -1 4202560 1093 0 0 0 19 0 0 0 20 0 19 0 3773154 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389139856056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7230/tid=7246] ppid=7227 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/7230/task/7246/stat : 7246 (java) S 7227 7230 4966 0 -1 4202560 4612 0 0 0 29 0 0 0 20 0 19 0 3773154 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389138803256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7230/tid=7247] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7247/stat : 7247 (java) S 7227 7230 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3773154 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389137751160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7248] ppid=7227 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/7230/task/7248/stat : 7248 (java) S 7227 7230 4966 0 -1 4202560 104 0 0 0 25 26 0 0 20 0 19 0 3773154 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389136698568 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7230/tid=7249] ppid=7227 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7230/task/7249/stat : 7249 (java) S 7227 7230 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3773164 9856040960 95533 33554432000 1073741824 1073778376 140734077212272 140389135643560 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 7230 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1791.08
CPU time (s): 1800.89
CPU user time (s): 1799.58
CPU system time (s): 1.3128
CPU usage (%): 100.548
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 1.3128
maximum resident set size= 640244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13889
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41266
involuntary context switches= 33247
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8412 second user time and 11.9952 second system time
The end