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-4089768-1466033430/watcher-4089768-1466033430 -o /tmp/evaluation-result-4089768-1466033430/solver-4089768-1466033430 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466033430-13360 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4089768-1466033430.opb
pid=13381
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: 0.96 1.16 1.54 3/172 13384
/proc/meminfo: memFree=31623280/32872528 swapFree=446836/479540
[pid=13384] ppid=13381 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/13384/stat : 13384 (java) D 13381 13384 5711 0 -1 4202496 158 0 1 0 0 0 0 0 20 0 1 0 5393108 278528 34 33554432000 1073741824 1073778376 140737014075488 140737014072664 235365559591 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/13384/statm: 68 34 25 9 0 25 0
[startup+0.10018 s]
/proc/loadavg: 0.96 1.16 1.54 3/172 13384
/proc/meminfo: memFree=31623280/32872528 swapFree=446836/479540
[pid=13384] ppid=13381 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/13384/stat : 13384 (java) D 13381 13384 5711 0 -1 4202496 1145 0 17 0 0 0 0 0 20 0 1 0 5393108 23793664 811 33554432000 1073741824 1073778376 140735912703520 140735912693512 140476996397536 0 0 4096 0 18446744071579943789 0 0 17 4 0 0 6 0 0
/proc/13384/statm: 5809 811 605 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236
[startup+0.200215 s]
/proc/loadavg: 0.96 1.16 1.54 3/172 13384
/proc/meminfo: memFree=31623280/32872528 swapFree=446836/479540
[pid=13384] ppid=13381 vsize=9092432 CPUtime=0.02 cores=0,2,4,6
/proc/13384/stat : 13384 (java) S 13381 13384 5711 0 -1 4202496 2981 0 25 0 1 1 0 0 20 0 11 0 5393108 9310650368 3626 33554432000 1073741824 1073778376 140735912703520 140735912694656 235378081853 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/13384/statm: 2273108 3626 1650 9 0 2263809 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9092432
[startup+0.300212 s]
/proc/loadavg: 0.96 1.16 1.54 3/172 13384
/proc/meminfo: memFree=31623280/32872528 swapFree=446836/479540
[pid=13384] ppid=13381 vsize=9558428 CPUtime=0.06 cores=0,2,4,6
/proc/13384/stat : 13384 (java) S 13381 13384 5711 0 -1 4202496 3244 0 25 0 4 2 0 0 20 0 18 0 5393108 9787830272 4398 33554432000 1073741824 1073778376 140735912703520 140735912694656 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/13384/statm: 2389607 4398 1759 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558428
[startup+0.700156 s]
/proc/loadavg: 0.96 1.16 1.54 3/172 13384
/proc/meminfo: memFree=31623280/32872528 swapFree=446836/479540
[pid=13384] ppid=13381 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/13384/stat : 13384 (java) S 13381 13384 5711 0 -1 4202496 9364 0 25 0 73 3 0 0 20 0 19 0 5393108 9856040960 9415 33554432000 1073741824 1073778376 140735912703520 140735912694656 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/13384/statm: 2406260 9415 2230 9 0 2396937 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 9625040
[startup+1.50073 s]
/proc/loadavg: 0.96 1.16 1.54 3/212 13427
/proc/meminfo: memFree=31539292/32872528 swapFree=446836/479540
[pid=13384] ppid=13381 vsize=9625040 CPUtime=1.87 cores=0,2,4,6
/proc/13384/stat : 13384 (java) S 13381 13384 5711 0 -1 4202496 15292 0 25 0 184 3 0 0 20 0 19 0 5393108 9856040960 13288 33554432000 1073741824 1073778376 140735912703520 140735912694656 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/13384/statm: 2406260 13288 2241 9 0 2396937 0
[pid=13384/tid=13392] ppid=13381 vsize=9625040 CPUtime=1.21 cores=0,2,4,6
/proc/13384/task/13392/stat : 13392 (java) R 13381 13384 5711 0 -1 4202560 2388 0 6 0 119 2 0 0 20 0 19 0 5393119 9856040960 13288 33554432000 1073741824 1073778376 140735912703520 140476991635136 140476854716853 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0
[pid=13384/tid=13395] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13395/stat : 13395 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393123 9856040960 13288 33554432000 1073741824 1073778376 140735912703520 140476980706344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13397] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13397/stat : 13397 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393123 9856040960 13288 33554432000 1073741824 1073778376 140735912703520 140476979653544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13384/tid=13399] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13399/stat : 13399 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393123 9856040960 13288 33554432000 1073741824 1073778376 140735912703520 140476978600744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13384/tid=13400] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13400/stat : 13400 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393123 9856040960 13288 33554432000 1073741824 1073778376 140735912703520 140476977547944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13384/tid=13402] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13402/stat : 13402 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393124 9856040960 13288 33554432000 1073741824 1073778376 140735912703520 140476976495144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13404] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13404/stat : 13404 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393124 9856040960 13288 33554432000 1073741824 1073778376 140735912703520 140476975442344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13384/tid=13407] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13407/stat : 13407 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393124 9856040960 13288 33554432000 1073741824 1073778376 140735912703520 140476974389544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13409] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13409/stat : 13409 (java) S 13381 13384 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5393124 9856040960 13288 33554432000 1073741824 1073778376 140735912703520 140476973336744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13410] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13410/stat : 13410 (java) S 13381 13384 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5393127 9856040960 13288 33554432000 1073741824 1073778376 140735912703520 140476815584232 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13412] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13412/stat : 13412 (java) S 13381 13384 5711 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5393129 9856040960 13288 33554432000 1073741824 1073778376 140735912703520 140476814530296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13414] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13414/stat : 13414 (java) S 13381 13384 5711 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5393129 9856040960 13288 33554432000 1073741824 1073778376 140735912703520 140476813477384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13417] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13417/stat : 13417 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393137 9856040960 13288 33554432000 1073741824 1073778376 140735912703520 140476812425872 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13418] ppid=13381 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/13384/task/13418/stat : 13418 (java) S 13381 13384 5711 0 -1 4202560 7179 0 0 0 35 0 0 0 20 0 19 0 5393137 9856040960 13288 33554432000 1073741824 1073778376 140735912703520 140476811372984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13420] ppid=13381 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/13384/task/13420/stat : 13420 (java) S 13381 13384 5711 0 -1 4202560 4473 0 0 0 28 0 0 0 20 0 19 0 5393137 9856040960 13288 33554432000 1073741824 1073778376 140735912703520 140476810320184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13384/tid=13422] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13422/stat : 13422 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393137 9856040960 13288 33554432000 1073741824 1073778376 140735912703520 140476809267576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13384/tid=13424] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13424/stat : 13424 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393137 9856040960 13288 33554432000 1073741824 1073778376 140735912703520 140476808214984 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13426] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13426/stat : 13426 (java) S 13381 13384 5711 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5393149 9856040960 13288 33554432000 1073741824 1073778376 140735912703520 140476807161512 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 9625040
[startup+3.10074 s]
/proc/loadavg: 0.96 1.16 1.54 3/212 13427
/proc/meminfo: memFree=31529472/32872528 swapFree=446836/479540
[pid=13384] ppid=13381 vsize=9625040 CPUtime=3.52 cores=0,2,4,6
/proc/13384/stat : 13384 (java) S 13381 13384 5711 0 -1 4202496 15295 0 25 0 349 3 0 0 20 0 19 0 5393108 9856040960 14312 33554432000 1073741824 1073778376 140735912703520 140735912694656 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/13384/statm: 2406260 14312 2241 9 0 2396937 0
[pid=13384/tid=13392] ppid=13381 vsize=9625040 CPUtime=2.8 cores=0,2,4,6
/proc/13384/task/13392/stat : 13392 (java) R 13381 13384 5711 0 -1 4202560 2391 0 6 0 278 2 0 0 20 0 19 0 5393119 9856040960 14312 33554432000 1073741824 1073778376 140735912703520 140476991635152 140476854784977 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0
[pid=13384/tid=13395] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13395/stat : 13395 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393123 9856040960 14312 33554432000 1073741824 1073778376 140735912703520 140476980706344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13397] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13397/stat : 13397 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393123 9856040960 14312 33554432000 1073741824 1073778376 140735912703520 140476979653544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13384/tid=13399] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13399/stat : 13399 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393123 9856040960 14312 33554432000 1073741824 1073778376 140735912703520 140476978600744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13384/tid=13400] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13400/stat : 13400 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393123 9856040960 14312 33554432000 1073741824 1073778376 140735912703520 140476977547944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13384/tid=13402] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13402/stat : 13402 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393124 9856040960 14312 33554432000 1073741824 1073778376 140735912703520 140476976495144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13404] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13404/stat : 13404 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393124 9856040960 14312 33554432000 1073741824 1073778376 140735912703520 140476975442344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13384/tid=13407] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13407/stat : 13407 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393124 9856040960 14312 33554432000 1073741824 1073778376 140735912703520 140476974389544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13409] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13409/stat : 13409 (java) S 13381 13384 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5393124 9856040960 14312 33554432000 1073741824 1073778376 140735912703520 140476973336744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13410] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13410/stat : 13410 (java) S 13381 13384 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5393127 9856040960 14312 33554432000 1073741824 1073778376 140735912703520 140476815584232 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13412] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13412/stat : 13412 (java) S 13381 13384 5711 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5393129 9856040960 14312 33554432000 1073741824 1073778376 140735912703520 140476814530296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13414] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13414/stat : 13414 (java) S 13381 13384 5711 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5393129 9856040960 14312 33554432000 1073741824 1073778376 140735912703520 140476813477384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13417] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13417/stat : 13417 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393137 9856040960 14312 33554432000 1073741824 1073778376 140735912703520 140476812425872 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13418] ppid=13381 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/13384/task/13418/stat : 13418 (java) S 13381 13384 5711 0 -1 4202560 7179 0 0 0 36 0 0 0 20 0 19 0 5393137 9856040960 14312 33554432000 1073741824 1073778376 140735912703520 140476811372984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13420] ppid=13381 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/13384/task/13420/stat : 13420 (java) S 13381 13384 5711 0 -1 4202560 4473 0 0 0 31 0 0 0 20 0 19 0 5393137 9856040960 14312 33554432000 1073741824 1073778376 140735912703520 140476810320184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13384/tid=13422] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13422/stat : 13422 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393137 9856040960 14312 33554432000 1073741824 1073778376 140735912703520 140476809267576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13384/tid=13424] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13424/stat : 13424 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393137 9856040960 14312 33554432000 1073741824 1073778376 140735912703520 140476808214984 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13426] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13426/stat : 13426 (java) S 13381 13384 5711 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5393149 9856040960 14312 33554432000 1073741824 1073778376 140735912703520 140476807161512 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 9625040
[startup+6.30076 s]
/proc/loadavg: 1.13 1.19 1.55 3/212 13427
/proc/meminfo: memFree=31516880/32872528 swapFree=446836/479540
[pid=13384] ppid=13381 vsize=9625040 CPUtime=6.72 cores=0,2,4,6
/proc/13384/stat : 13384 (java) S 13381 13384 5711 0 -1 4202496 15300 0 25 0 669 3 0 0 20 0 19 0 5393108 9856040960 15311 33554432000 1073741824 1073778376 140735912703520 140735912694656 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/13384/statm: 2406260 15311 2242 9 0 2396937 0
[pid=13384/tid=13392] ppid=13381 vsize=9625040 CPUtime=6 cores=0,2,4,6
/proc/13384/task/13392/stat : 13392 (java) R 13381 13384 5711 0 -1 4202560 2395 0 6 0 598 2 0 0 20 0 19 0 5393119 9856040960 15311 33554432000 1073741824 1073778376 140735912703520 140476991635152 140476854784161 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0
[pid=13384/tid=13395] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13395/stat : 13395 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393123 9856040960 15311 33554432000 1073741824 1073778376 140735912703520 140476980706344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13397] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13397/stat : 13397 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393123 9856040960 15311 33554432000 1073741824 1073778376 140735912703520 140476979653544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13384/tid=13399] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13399/stat : 13399 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393123 9856040960 15311 33554432000 1073741824 1073778376 140735912703520 140476978600744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13384/tid=13400] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13400/stat : 13400 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393123 9856040960 15311 33554432000 1073741824 1073778376 140735912703520 140476977547944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13384/tid=13402] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13402/stat : 13402 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393124 9856040960 15311 33554432000 1073741824 1073778376 140735912703520 140476976495144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13404] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13404/stat : 13404 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393124 9856040960 15311 33554432000 1073741824 1073778376 140735912703520 140476975442344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13384/tid=13407] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13407/stat : 13407 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393124 9856040960 15311 33554432000 1073741824 1073778376 140735912703520 140476974389544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13409] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13409/stat : 13409 (java) S 13381 13384 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5393124 9856040960 15311 33554432000 1073741824 1073778376 140735912703520 140476973336744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13410] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13410/stat : 13410 (java) S 13381 13384 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5393127 9856040960 15311 33554432000 1073741824 1073778376 140735912703520 140476815584232 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13412] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13412/stat : 13412 (java) S 13381 13384 5711 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5393129 9856040960 15311 33554432000 1073741824 1073778376 140735912703520 140476814530296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13414] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13414/stat : 13414 (java) S 13381 13384 5711 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5393129 9856040960 15311 33554432000 1073741824 1073778376 140735912703520 140476813477384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13417] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13417/stat : 13417 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393137 9856040960 15311 33554432000 1073741824 1073778376 140735912703520 140476812425872 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13418] ppid=13381 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/13384/task/13418/stat : 13418 (java) S 13381 13384 5711 0 -1 4202560 7179 0 0 0 36 0 0 0 20 0 19 0 5393137 9856040960 15311 33554432000 1073741824 1073778376 140735912703520 140476811372984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13420] ppid=13381 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/13384/task/13420/stat : 13420 (java) S 13381 13384 5711 0 -1 4202560 4473 0 0 0 31 0 0 0 20 0 19 0 5393137 9856040960 15311 33554432000 1073741824 1073778376 140735912703520 140476810320184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13384/tid=13422] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13422/stat : 13422 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393137 9856040960 15311 33554432000 1073741824 1073778376 140735912703520 140476809267576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13384/tid=13424] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13424/stat : 13424 (java) S 13381 13384 5711 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 5393137 9856040960 15311 33554432000 1073741824 1073778376 140735912703520 140476808214984 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13426] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13426/stat : 13426 (java) S 13381 13384 5711 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5393149 9856040960 15311 33554432000 1073741824 1073778376 140735912703520 140476807161512 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.72
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=13384/tid=13426] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13426/stat : 13426 (java) S 13381 13384 5711 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5393149 9856040960 54654 33554432000 1073741824 1073778376 140735912703520 140476807161512 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1663.08
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.02 2.07 2.00 3/211 13467
/proc/meminfo: memFree=31179444/32872528 swapFree=446836/479540
[pid=13384] ppid=13381 vsize=9625040 CPUtime=1723.14 cores=0,2,4,6
/proc/13384/stat : 13384 (java) S 13381 13384 5711 0 -1 4202496 15555 0 25 0 172286 28 0 0 20 0 19 0 5393108 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140735912694656 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/13384/statm: 2406260 54656 2257 9 0 2396937 0
[pid=13384/tid=13392] ppid=13381 vsize=9625040 CPUtime=1717.42 cores=0,2,4,6
/proc/13384/task/13392/stat : 13392 (java) R 13381 13384 5711 0 -1 4202560 2457 0 6 0 171713 29 0 0 20 0 19 0 5393119 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476991642848 140476854785048 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0
[pid=13384/tid=13395] ppid=13381 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/13384/task/13395/stat : 13395 (java) S 13381 13384 5711 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 19 0 5393123 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476980706344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13384/tid=13397] ppid=13381 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/13384/task/13397/stat : 13397 (java) S 13381 13384 5711 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 5393123 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476979653544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13399] ppid=13381 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/13384/task/13399/stat : 13399 (java) S 13381 13384 5711 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 5393123 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476978600744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13384/tid=13400] ppid=13381 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/13384/task/13400/stat : 13400 (java) S 13381 13384 5711 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 5393123 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476977547944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13384/tid=13402] ppid=13381 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/13384/task/13402/stat : 13402 (java) S 13381 13384 5711 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 5393124 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476976495144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13384/tid=13404] ppid=13381 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/13384/task/13404/stat : 13404 (java) S 13381 13384 5711 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 5393124 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476975442344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13384/tid=13407] ppid=13381 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/13384/task/13407/stat : 13407 (java) S 13381 13384 5711 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 19 0 5393124 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476974389544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13409] ppid=13381 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/13384/task/13409/stat : 13409 (java) S 13381 13384 5711 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 5393124 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476973336744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13410] ppid=13381 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/13384/task/13410/stat : 13410 (java) S 13381 13384 5711 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 5393127 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476815584232 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13412] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13412/stat : 13412 (java) S 13381 13384 5711 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5393129 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476814530296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13414] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13414/stat : 13414 (java) S 13381 13384 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5393129 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476813477384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13417] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13417/stat : 13417 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393137 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476812425872 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13418] ppid=13381 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/13384/task/13418/stat : 13418 (java) S 13381 13384 5711 0 -1 4202560 7179 0 0 0 36 0 0 0 20 0 19 0 5393137 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476811372984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13420] ppid=13381 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/13384/task/13420/stat : 13420 (java) S 13381 13384 5711 0 -1 4202560 4476 0 0 0 33 0 0 0 20 0 19 0 5393137 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476810320184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13384/tid=13422] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13422/stat : 13422 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393137 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476809267576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13384/tid=13424] ppid=13381 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/13384/task/13424/stat : 13424 (java) S 13381 13384 5711 0 -1 4202560 100 0 0 0 36 24 0 0 20 0 19 0 5393137 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476808214984 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13426] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13426/stat : 13426 (java) S 13381 13384 5711 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5393149 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476807161512 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1723.14
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.00 3/212 13472
/proc/meminfo: memFree=31179084/32872528 swapFree=446836/479540
[pid=13384] ppid=13381 vsize=9625040 CPUtime=1783.14 cores=0,2,4,6
/proc/13384/stat : 13384 (java) S 13381 13384 5711 0 -1 4202496 15559 0 25 0 178286 28 0 0 20 0 19 0 5393108 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140735912694656 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/13384/statm: 2406260 54656 2257 9 0 2396937 0
[pid=13384/tid=13392] ppid=13381 vsize=9625040 CPUtime=1777.26 cores=0,2,4,6
/proc/13384/task/13392/stat : 13392 (java) R 13381 13384 5711 0 -1 4202560 2457 0 6 0 177696 30 0 0 20 0 19 0 5393119 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476991635152 140476854572994 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0
[pid=13384/tid=13395] ppid=13381 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/13384/task/13395/stat : 13395 (java) S 13381 13384 5711 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 19 0 5393123 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476980706344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13384/tid=13397] ppid=13381 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/13384/task/13397/stat : 13397 (java) S 13381 13384 5711 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 5393123 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476979653544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13399] ppid=13381 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/13384/task/13399/stat : 13399 (java) S 13381 13384 5711 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 5393123 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476978600744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13384/tid=13400] ppid=13381 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/13384/task/13400/stat : 13400 (java) S 13381 13384 5711 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 5393123 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476977547944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13384/tid=13402] ppid=13381 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/13384/task/13402/stat : 13402 (java) S 13381 13384 5711 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 5393124 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476976495144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13384/tid=13404] ppid=13381 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/13384/task/13404/stat : 13404 (java) S 13381 13384 5711 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 5393124 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476975442344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13384/tid=13407] ppid=13381 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/13384/task/13407/stat : 13407 (java) S 13381 13384 5711 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 19 0 5393124 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476974389544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13409] ppid=13381 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/13384/task/13409/stat : 13409 (java) S 13381 13384 5711 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 5393124 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476973336744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13410] ppid=13381 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/13384/task/13410/stat : 13410 (java) S 13381 13384 5711 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 5393127 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476815584232 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13412] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13412/stat : 13412 (java) S 13381 13384 5711 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5393129 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476814530296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13414] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13414/stat : 13414 (java) S 13381 13384 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5393129 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476813477384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13417] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13417/stat : 13417 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393137 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476812425872 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13418] ppid=13381 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/13384/task/13418/stat : 13418 (java) S 13381 13384 5711 0 -1 4202560 7179 0 0 0 36 0 0 0 20 0 19 0 5393137 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476811372984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13420] ppid=13381 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/13384/task/13420/stat : 13420 (java) S 13381 13384 5711 0 -1 4202560 4476 0 0 0 33 0 0 0 20 0 19 0 5393137 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476810320184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13384/tid=13422] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13422/stat : 13422 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393137 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476809267576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13384/tid=13424] ppid=13381 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/13384/task/13424/stat : 13424 (java) S 13381 13384 5711 0 -1 4202560 104 0 0 0 38 25 0 0 20 0 19 0 5393137 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476808214984 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13426] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13426/stat : 13426 (java) S 13381 13384 5711 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5393149 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476807161512 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1783.14
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1799.2 s]
/proc/loadavg: 2.08 2.07 2.00 3/212 13472
/proc/meminfo: memFree=31179252/32872528 swapFree=446836/479540
[pid=13384] ppid=13381 vsize=9625040 CPUtime=1800.05 cores=0,2,4,6
/proc/13384/stat : 13384 (java) S 13381 13384 5711 0 -1 4202496 15559 0 25 0 179976 29 0 0 20 0 19 0 5393108 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140735912694656 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/13384/statm: 2406260 54656 2257 9 0 2396937 0
[pid=13384/tid=13392] ppid=13381 vsize=9625040 CPUtime=1794.12 cores=0,2,4,6
/proc/13384/task/13392/stat : 13392 (java) R 13381 13384 5711 0 -1 4202560 2457 0 6 0 179382 30 0 0 20 0 19 0 5393119 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476991635152 140476854784198 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0
[pid=13384/tid=13395] ppid=13381 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/13384/task/13395/stat : 13395 (java) S 13381 13384 5711 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 19 0 5393123 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476980706344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13384/tid=13397] ppid=13381 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/13384/task/13397/stat : 13397 (java) S 13381 13384 5711 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 5393123 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476979653544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13399] ppid=13381 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/13384/task/13399/stat : 13399 (java) S 13381 13384 5711 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 5393123 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476978600744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13384/tid=13400] ppid=13381 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/13384/task/13400/stat : 13400 (java) S 13381 13384 5711 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 5393123 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476977547944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13384/tid=13402] ppid=13381 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/13384/task/13402/stat : 13402 (java) S 13381 13384 5711 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 5393124 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476976495144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13384/tid=13404] ppid=13381 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/13384/task/13404/stat : 13404 (java) S 13381 13384 5711 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 5393124 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476975442344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13384/tid=13407] ppid=13381 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/13384/task/13407/stat : 13407 (java) S 13381 13384 5711 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 19 0 5393124 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476974389544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13409] ppid=13381 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/13384/task/13409/stat : 13409 (java) S 13381 13384 5711 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 5393124 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476973336744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13410] ppid=13381 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/13384/task/13410/stat : 13410 (java) S 13381 13384 5711 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 5393127 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476815584232 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13412] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13412/stat : 13412 (java) S 13381 13384 5711 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5393129 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476814530296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13414] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13414/stat : 13414 (java) S 13381 13384 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5393129 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476813477384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13417] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13417/stat : 13417 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393137 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476812425872 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13418] ppid=13381 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/13384/task/13418/stat : 13418 (java) S 13381 13384 5711 0 -1 4202560 7179 0 0 0 36 0 0 0 20 0 19 0 5393137 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476811372984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13420] ppid=13381 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/13384/task/13420/stat : 13420 (java) S 13381 13384 5711 0 -1 4202560 4476 0 0 0 33 0 0 0 20 0 19 0 5393137 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476810320184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13384/tid=13422] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13422/stat : 13422 (java) S 13381 13384 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5393137 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476809267576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13384/tid=13424] ppid=13381 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/13384/task/13424/stat : 13424 (java) S 13381 13384 5711 0 -1 4202560 104 0 0 0 38 25 0 0 20 0 19 0 5393137 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476808214984 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13426] ppid=13381 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13384/task/13426/stat : 13426 (java) S 13381 13384 5711 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5393149 9856040960 54656 33554432000 1073741824 1073778376 140735912703520 140476807161512 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 13384 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13384 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=260078
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=697893
# CPU time returned by wait4() is 1795.96
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1799.24
CPU time (s): 1800.05
CPU user time (s): 1799.76
CPU system time (s): 0.29
CPU usage (%): 100.045
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.26
system time used= 0.697893
maximum resident set size= 218776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15605
page faults= 25
swaps= 0
block input operations= 11160
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38455
involuntary context switches= 2308
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7922 second user time and 11.1043 second system time
The end