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-4243963-1500678242/watcher-4243963-1500678242 -o /tmp/evaluation-result-4243963-1500678242/solver-4243963-1500678242 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500673057-14152 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243963-1500678242.xml
pid=15317
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 3.23 2.89 2.39 3/262 15320
/proc/meminfo: memFree=29647316/32770624 swapFree=5648/216176
[pid=15320] ppid=15317 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/stat : 15320 (java) S 15317 15320 9838 0 -1 1077944320 1715 0 0 0 0 0 0 0 20 0 2 0 3093337 369864704 1935 33554432000 4194304 4196468 140729446792864 140729446775408 139910640013047 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
/proc/15320/statm: 90299 1935 1081 1 0 79210 0
[pid=15320/tid=15321] ppid=15317 vsize=8339376 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15321/stat : 15321 (java) R 15317 15320 9838 0 -1 4202560 468 0 0 0 0 0 0 0 20 0 2 0 3093338 8539521024 2047 33554432000 4194304 4196468 140729446792864 139910644255136 139910617999696 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[startup+0.100156 s]
/proc/loadavg: 3.23 2.89 2.39 3/262 15320
/proc/meminfo: memFree=29647316/32770624 swapFree=5648/216176
[pid=15320] ppid=15317 vsize=10900556 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15320/stat : 15320 (java) S 15317 15320 9838 0 -1 1077944320 4655 0 0 0 8 1 0 0 20 0 20 0 3093337 11162169344 5758 33554432000 4194304 4196468 140729446792864 140729446775408 139910640013047 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
/proc/15320/statm: 2725139 5758 2623 1 0 2713552 0
[pid=15320/tid=15321] ppid=15317 vsize=10900556 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15321/stat : 15321 (java) R 15317 15320 9838 0 -1 4202560 2750 0 0 0 7 1 0 0 20 0 20 0 3093338 11162169344 5758 33554432000 4194304 4196468 140729446792864 139910644255328 140729447614688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556
[startup+0.200432 s]
/proc/loadavg: 3.23 2.89 2.39 3/262 15320
/proc/meminfo: memFree=29647316/32770624 swapFree=5648/216176
[pid=15320] ppid=15317 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15320/stat : 15320 (java) S 15317 15320 9838 0 -1 1077944320 7010 0 0 0 24 2 0 0 20 0 20 0 3093337 11162169344 8287 33554432000 4194304 4196468 140729446792864 140729446775408 139910640013047 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
/proc/15320/statm: 2725139 8287 2825 1 0 2713552 0
[pid=15320/tid=15321] ppid=15317 vsize=10900556 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15321/stat : 15321 (java) R 15317 15320 9838 0 -1 4202560 4663 0 0 0 16 1 0 0 20 0 20 0 3093338 11162169344 8287 33554432000 4194304 4196468 140729446792864 139910644240720 139910640034973 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.300358 s]
/proc/loadavg: 3.23 2.89 2.39 3/262 15320
/proc/meminfo: memFree=29647316/32770624 swapFree=5648/216176
[pid=15320] ppid=15317 vsize=10900556 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/15320/stat : 15320 (java) S 15317 15320 9838 0 -1 1077944320 8455 0 0 0 39 3 0 0 20 0 20 0 3093337 11162169344 10656 33554432000 4194304 4196468 140729446792864 140729446775408 139910640013047 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
/proc/15320/statm: 2725139 10656 2988 1 0 2713552 0
[pid=15320/tid=15321] ppid=15317 vsize=10900556 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15321/stat : 15321 (java) R 15317 15320 9838 0 -1 4202560 5449 0 0 0 25 2 0 0 20 0 20 0 3093338 11162169344 10656 33554432000 4194304 4196468 140729446792864 139910644246368 139910624661466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 10900556
[startup+0.700336 s]
/proc/loadavg: 3.23 2.89 2.39 3/262 15320
/proc/meminfo: memFree=29647316/32770624 swapFree=5648/216176
[pid=15320] ppid=15317 vsize=10967196 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/15320/stat : 15320 (java) S 15317 15320 9838 0 -1 1077944320 11400 0 0 0 164 5 0 0 20 0 21 0 3093337 11230408704 23811 33554432000 4194304 4196468 140729446792864 140729446775408 139910640013047 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
/proc/15320/statm: 2741799 23811 3078 1 0 2730193 0
[pid=15320/tid=15321] ppid=15317 vsize=10967196 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15321/stat : 15321 (java) R 15317 15320 9838 0 -1 4202560 5841 0 0 0 64 3 0 0 20 0 21 0 3093338 11230408704 23811 33554432000 4194304 4196468 140729446792864 139910644249536 139910256766125 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 10967196
[startup+1.50088 s]
/proc/loadavg: 3.23 2.89 2.39 3/283 15341
/proc/meminfo: memFree=29560720/32770624 swapFree=5648/215908
[pid=15320] ppid=15317 vsize=10967196 CPUtime=2.85 cores=1,3,5,7,9,11,13,15
/proc/15320/stat : 15320 (java) S 15317 15320 9838 0 -1 1077944320 12987 0 0 0 279 6 0 0 20 0 21 0 3093337 11230408704 24875 33554432000 4194304 4196468 140729446792864 140729446775408 139910640013047 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
/proc/15320/statm: 2741799 24875 3084 1 0 2730193 0
[pid=15320/tid=15321] ppid=15317 vsize=10967196 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15321/stat : 15321 (java) R 15317 15320 9838 0 -1 4202560 6156 0 0 0 144 3 0 0 20 0 21 0 3093338 11230408704 24875 33554432000 4194304 4196468 140729446792864 139910644249576 139910257088077 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15323] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15323/stat : 15323 (java) S 15317 15320 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24875 33554432000 4194304 4196468 140729446792864 139910576704656 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15324] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15324/stat : 15324 (java) S 15317 15320 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24875 33554432000 4194304 4196468 140729446792864 139910575651856 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15325] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15325/stat : 15325 (java) S 15317 15320 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24875 33554432000 4194304 4196468 140729446792864 139910574599056 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15326] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15326/stat : 15326 (java) S 15317 15320 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24875 33554432000 4194304 4196468 140729446792864 139910243543824 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15327] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15327/stat : 15327 (java) S 15317 15320 9838 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24875 33554432000 4194304 4196468 140729446792864 139910242491024 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15328] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15328/stat : 15328 (java) S 15317 15320 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24875 33554432000 4194304 4196468 140729446792864 139910241438224 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15329] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15329/stat : 15329 (java) S 15317 15320 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24875 33554432000 4194304 4196468 140729446792864 139910240385424 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15330] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15330/stat : 15330 (java) S 15317 15320 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24875 33554432000 4194304 4196468 140729446792864 139910239332624 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15331] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15331/stat : 15331 (java) S 15317 15320 9838 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 3093341 11230408704 24875 33554432000 4194304 4196468 140729446792864 139909458144112 139910640024194 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15332] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15332/stat : 15332 (java) S 15317 15320 9838 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 3093342 11230408704 24875 33554432000 4194304 4196468 140729446792864 139909457090080 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15333] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15333/stat : 15333 (java) S 15317 15320 9838 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3093342 11230408704 24875 33554432000 4194304 4196468 140729446792864 139909456037232 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15334] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15334/stat : 15334 (java) S 15317 15320 9838 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3093346 11230408704 24875 33554432000 4194304 4196468 140729446792864 139909454985552 139910640031643 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15335] ppid=15317 vsize=10967196 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15335/stat : 15335 (java) S 15317 15320 9838 0 -1 1077944384 1843 0 0 0 42 0 0 0 20 0 21 0 3093346 11230408704 24875 33554432000 4194304 4196468 140729446792864 139909453932912 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15336] ppid=15317 vsize=10967196 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15336/stat : 15336 (java) S 15317 15320 9838 0 -1 1077944384 1198 0 0 0 32 0 0 0 20 0 21 0 3093346 11230408704 24875 33554432000 4194304 4196468 140729446792864 139909452880112 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15337] ppid=15317 vsize=10967196 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15337/stat : 15337 (java) S 15317 15320 9838 0 -1 1077944384 1340 0 0 0 39 0 0 0 20 0 21 0 3093346 11230408704 24875 33554432000 4194304 4196468 140729446792864 139909451827312 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15338] ppid=15317 vsize=10967196 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15338/stat : 15338 (java) S 15317 15320 9838 0 -1 1077944384 1032 0 0 0 20 0 0 0 20 0 21 0 3093346 11230408704 24875 33554432000 4194304 4196468 140729446792864 139909450774512 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15339] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15339/stat : 15339 (java) S 15317 15320 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3093346 11230408704 24875 33554432000 4194304 4196468 140729446792864 139909449722976 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15340] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15340/stat : 15340 (java) S 15317 15320 9838 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 21 0 3093347 11230408704 24875 33554432000 4194304 4196468 140729446792864 139909448670256 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15341] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15341/stat : 15341 (java) S 15317 15320 9838 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3093386 11230408704 24875 33554432000 4194304 4196468 140729446792864 139909447615792 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 10967196
[startup+3.1009 s]
/proc/loadavg: 3.23 2.89 2.39 3/283 15341
/proc/meminfo: memFree=29559336/32770624 swapFree=5648/215908
[pid=15320] ppid=15317 vsize=10967196 CPUtime=4.5 cores=1,3,5,7,9,11,13,15
/proc/15320/stat : 15320 (java) S 15317 15320 9838 0 -1 1077944320 13608 0 0 0 444 6 0 0 20 0 21 0 3093337 11230408704 24888 33554432000 4194304 4196468 140729446792864 140729446775408 139910640013047 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
/proc/15320/statm: 2741799 24888 3084 1 0 2730193 0
[pid=15320/tid=15321] ppid=15317 vsize=10967196 CPUtime=3.07 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15321/stat : 15321 (java) R 15317 15320 9838 0 -1 4202560 6174 0 0 0 304 3 0 0 20 0 21 0 3093338 11230408704 24888 33554432000 4194304 4196468 140729446792864 139910644249704 139910257088025 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15323] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15323/stat : 15323 (java) S 15317 15320 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24888 33554432000 4194304 4196468 140729446792864 139910576704656 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15324] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15324/stat : 15324 (java) S 15317 15320 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24888 33554432000 4194304 4196468 140729446792864 139910575651856 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15325] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15325/stat : 15325 (java) S 15317 15320 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24888 33554432000 4194304 4196468 140729446792864 139910574599056 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15326] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15326/stat : 15326 (java) S 15317 15320 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24888 33554432000 4194304 4196468 140729446792864 139910243543824 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15327] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15327/stat : 15327 (java) S 15317 15320 9838 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24888 33554432000 4194304 4196468 140729446792864 139910242491024 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15328] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15328/stat : 15328 (java) S 15317 15320 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24888 33554432000 4194304 4196468 140729446792864 139910241438224 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15329] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15329/stat : 15329 (java) S 15317 15320 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24888 33554432000 4194304 4196468 140729446792864 139910240385424 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15330] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15330/stat : 15330 (java) S 15317 15320 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24888 33554432000 4194304 4196468 140729446792864 139910239332624 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15331] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15331/stat : 15331 (java) S 15317 15320 9838 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 21 0 3093341 11230408704 24888 33554432000 4194304 4196468 140729446792864 139909458144112 139910640024194 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15332] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15332/stat : 15332 (java) S 15317 15320 9838 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 3093342 11230408704 24888 33554432000 4194304 4196468 140729446792864 139909457090080 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15333] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15333/stat : 15333 (java) S 15317 15320 9838 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3093342 11230408704 24888 33554432000 4194304 4196468 140729446792864 139909456037232 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15334] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15334/stat : 15334 (java) S 15317 15320 9838 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3093346 11230408704 24888 33554432000 4194304 4196468 140729446792864 139909454985552 139910640031643 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15335] ppid=15317 vsize=10967196 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15335/stat : 15335 (java) S 15317 15320 9838 0 -1 1077944384 2018 0 0 0 44 0 0 0 20 0 21 0 3093346 11230408704 24888 33554432000 4194304 4196468 140729446792864 139909453932912 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15336] ppid=15317 vsize=10967196 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15336/stat : 15336 (java) S 15317 15320 9838 0 -1 1077944384 1523 0 0 0 34 0 0 0 20 0 21 0 3093346 11230408704 24888 33554432000 4194304 4196468 140729446792864 139909452880112 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15337] ppid=15317 vsize=10967196 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15337/stat : 15337 (java) S 15317 15320 9838 0 -1 1077944384 1360 0 0 0 40 0 0 0 20 0 21 0 3093346 11230408704 24888 33554432000 4194304 4196468 140729446792864 139909451827312 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15338] ppid=15317 vsize=10967196 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15338/stat : 15338 (java) S 15317 15320 9838 0 -1 1077944384 1060 0 0 0 20 0 0 0 20 0 21 0 3093346 11230408704 24888 33554432000 4194304 4196468 140729446792864 139909450774512 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15339] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15339/stat : 15339 (java) S 15317 15320 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3093346 11230408704 24888 33554432000 4194304 4196468 140729446792864 139909449722976 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15340] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15340/stat : 15340 (java) S 15317 15320 9838 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 21 0 3093347 11230408704 24888 33554432000 4194304 4196468 140729446792864 139909448670256 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15341] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15341/stat : 15341 (java) S 15317 15320 9838 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3093386 11230408704 24888 33554432000 4194304 4196468 140729446792864 139909447615792 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 10967196
[startup+6.30092 s]
/proc/loadavg: 3.05 2.86 2.39 3/283 15341
/proc/meminfo: memFree=29558376/32770624 swapFree=5648/215920
[pid=15320] ppid=15317 vsize=10967196 CPUtime=7.75 cores=1,3,5,7,9,11,13,15
/proc/15320/stat : 15320 (java) S 15317 15320 9838 0 -1 1077944320 14635 0 0 0 769 6 0 0 20 0 21 0 3093337 11230408704 24908 33554432000 4194304 4196468 140729446792864 140729446775408 139910640013047 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
/proc/15320/statm: 2741799 24908 3088 1 0 2730193 0
[pid=15320/tid=15321] ppid=15317 vsize=10967196 CPUtime=6.27 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15321/stat : 15321 (java) R 15317 15320 9838 0 -1 4202560 6384 0 0 0 624 3 0 0 20 0 21 0 3093338 11230408704 24908 33554432000 4194304 4196468 140729446792864 139910644249896 139910257097537 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15323] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15323/stat : 15323 (java) S 15317 15320 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24908 33554432000 4194304 4196468 140729446792864 139910576704656 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15324] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15324/stat : 15324 (java) S 15317 15320 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24908 33554432000 4194304 4196468 140729446792864 139910575651856 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15325] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15325/stat : 15325 (java) S 15317 15320 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24908 33554432000 4194304 4196468 140729446792864 139910574599056 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15326] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15326/stat : 15326 (java) S 15317 15320 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24908 33554432000 4194304 4196468 140729446792864 139910243543824 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15327] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15327/stat : 15327 (java) S 15317 15320 9838 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24908 33554432000 4194304 4196468 140729446792864 139910242491024 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15328] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15328/stat : 15328 (java) S 15317 15320 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24908 33554432000 4194304 4196468 140729446792864 139910241438224 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15329] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15329/stat : 15329 (java) S 15317 15320 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24908 33554432000 4194304 4196468 140729446792864 139910240385424 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15330] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15330/stat : 15330 (java) S 15317 15320 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 24908 33554432000 4194304 4196468 140729446792864 139910239332624 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15331] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15331/stat : 15331 (java) S 15317 15320 9838 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 21 0 3093341 11230408704 24908 33554432000 4194304 4196468 140729446792864 139909458144112 139910640024194 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15332] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
Current children cumulated CPU time (s) 2384.48
Current children cumulated vsize (KiB) 10967196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2397.9 s]
/proc/loadavg: 2.00 2.11 2.63 3/284 15585
/proc/meminfo: memFree=28072820/32770624 swapFree=5648/218348
[pid=15320] ppid=15317 vsize=10967196 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/15320/stat : 15320 (java) S 15317 15320 9838 0 -1 1077944320 38312 0 0 0 239921 87 0 0 20 0 21 0 3093337 11230408704 51386 33554432000 4194304 4196468 140729446792864 140729446775408 139910640013047 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
/proc/15320/statm: 2741799 51386 3104 1 0 2730193 0
[pid=15320/tid=15321] ppid=15317 vsize=10967196 CPUtime=2396.43 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15321/stat : 15321 (java) R 15317 15320 9838 0 -1 4202560 14864 0 0 0 239638 5 0 0 20 0 21 0 3093338 11230408704 51386 33554432000 4194304 4196468 140729446792864 139910644251784 139910254503684 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15323] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15323/stat : 15323 (java) S 15317 15320 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 51386 33554432000 4194304 4196468 140729446792864 139910576704656 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15324] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15324/stat : 15324 (java) S 15317 15320 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 51386 33554432000 4194304 4196468 140729446792864 139910575651856 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15325] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15325/stat : 15325 (java) S 15317 15320 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 51386 33554432000 4194304 4196468 140729446792864 139910574599056 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15326] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15326/stat : 15326 (java) S 15317 15320 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 51386 33554432000 4194304 4196468 140729446792864 139910243543824 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15327] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15327/stat : 15327 (java) S 15317 15320 9838 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 51386 33554432000 4194304 4196468 140729446792864 139910242491024 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15328] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15328/stat : 15328 (java) S 15317 15320 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 51386 33554432000 4194304 4196468 140729446792864 139910241438224 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15329] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15329/stat : 15329 (java) S 15317 15320 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 51386 33554432000 4194304 4196468 140729446792864 139910240385424 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15330] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15330/stat : 15330 (java) S 15317 15320 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3093339 11230408704 51386 33554432000 4194304 4196468 140729446792864 139910239332624 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15331] ppid=15317 vsize=10967196 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15331/stat : 15331 (java) S 15317 15320 9838 0 -1 1077944384 814 0 0 0 3 3 0 0 20 0 21 0 3093341 11230408704 51386 33554432000 4194304 4196468 140729446792864 139909458144112 139910640024194 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15332] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15332/stat : 15332 (java) S 15317 15320 9838 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 3093342 11230408704 51386 33554432000 4194304 4196468 140729446792864 139909457090080 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15333] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15333/stat : 15333 (java) S 15317 15320 9838 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3093342 11230408704 51386 33554432000 4194304 4196468 140729446792864 139909456037232 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15334] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15334/stat : 15334 (java) S 15317 15320 9838 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3093346 11230408704 51386 33554432000 4194304 4196468 140729446792864 139909454985552 139910640031643 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15335] ppid=15317 vsize=10967196 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15335/stat : 15335 (java) S 15317 15320 9838 0 -1 1077944384 3887 0 0 0 55 1 0 0 20 0 21 0 3093346 11230408704 51386 33554432000 4194304 4196468 140729446792864 139909453932912 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15336] ppid=15317 vsize=10967196 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15336/stat : 15336 (java) S 15317 15320 9838 0 -1 1077944384 6024 0 0 0 62 1 0 0 20 0 21 0 3093346 11230408704 51386 33554432000 4194304 4196468 140729446792864 139909452880112 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15337] ppid=15317 vsize=10967196 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15337/stat : 15337 (java) S 15317 15320 9838 0 -1 1077944384 5510 0 0 0 59 2 0 0 20 0 21 0 3093346 11230408704 51386 33554432000 4194304 4196468 140729446792864 139909451827312 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15338] ppid=15317 vsize=10967196 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15338/stat : 15338 (java) S 15317 15320 9838 0 -1 1077944384 3639 0 0 0 24 1 0 0 20 0 21 0 3093346 11230408704 51386 33554432000 4194304 4196468 140729446792864 139909450774512 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15339] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15339/stat : 15339 (java) S 15317 15320 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3093346 11230408704 51386 33554432000 4194304 4196468 140729446792864 139909449722976 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15340] ppid=15317 vsize=10967196 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15340/stat : 15340 (java) S 15317 15320 9838 0 -1 1077944384 2173 0 0 0 61 87 0 0 20 0 21 0 3093347 11230408704 51386 33554432000 4194304 4196468 140729446792864 139909448670256 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15341] ppid=15317 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15341/stat : 15341 (java) S 15317 15320 9838 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3093386 11230408704 51386 33554432000 4194304 4196468 140729446792864 139909447615792 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 10967196
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 15320 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2398.01 s]
/proc/loadavg: 2.00 2.11 2.63 2/285 15588
/proc/meminfo: memFree=28035956/32770624 swapFree=5648/218348
[pid=15320] ppid=15317 vsize=11166888 CPUtime=2400.45 cores=1,3,5,7,9,11,13,15
/proc/15320/stat : 15320 (java) S 15317 15320 9838 0 -1 1077944320 39703 0 0 0 239939 106 0 0 20 0 22 0 3093337 11434893312 60704 33554432000 4194304 4196468 140729446792864 140729446775408 139910640013047 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
/proc/15320/statm: 2791722 60704 3120 1 0 2780116 0
[pid=15320/tid=15321] ppid=15317 vsize=11166888 CPUtime=2396.44 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15321/stat : 15321 (java) S 15317 15320 9838 0 -1 1077944384 14899 0 0 0 239639 5 0 0 20 0 22 0 3093338 11434893312 60704 33554432000 4194304 4196468 140729446792864 139910644255920 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15323] ppid=15317 vsize=11166888 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15323/stat : 15323 (java) S 15317 15320 9838 0 -1 1077944384 38 0 0 0 1 2 0 0 20 0 22 0 3093339 11434893312 60704 33554432000 4194304 4196468 140729446792864 139910576704656 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15324] ppid=15317 vsize=11166888 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15324/stat : 15324 (java) S 15317 15320 9838 0 -1 1077944384 80 0 0 0 2 2 0 0 20 0 22 0 3093339 11434893312 60704 33554432000 4194304 4196468 140729446792864 139910575651856 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15325] ppid=15317 vsize=11166888 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15325/stat : 15325 (java) S 15317 15320 9838 0 -1 1077944384 38 0 0 0 1 2 0 0 20 0 22 0 3093339 11434893312 60704 33554432000 4194304 4196468 140729446792864 139910574599056 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15326] ppid=15317 vsize=11166888 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15326/stat : 15326 (java) S 15317 15320 9838 0 -1 1077944384 46 0 0 0 2 2 0 0 20 0 22 0 3093339 11434893312 60704 33554432000 4194304 4196468 140729446792864 139910243543824 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15327] ppid=15317 vsize=11166888 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15327/stat : 15327 (java) S 15317 15320 9838 0 -1 1077944384 266 0 0 0 2 2 0 0 20 0 22 0 3093339 11434893312 60704 33554432000 4194304 4196468 140729446792864 139910242491024 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15328] ppid=15317 vsize=11166888 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15328/stat : 15328 (java) S 15317 15320 9838 0 -1 1077944384 41 0 0 0 1 2 0 0 20 0 22 0 3093339 11434893312 60704 33554432000 4194304 4196468 140729446792864 139910241438224 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15329] ppid=15317 vsize=11166888 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15329/stat : 15329 (java) S 15317 15320 9838 0 -1 1077944384 38 0 0 0 1 2 0 0 20 0 22 0 3093339 11434893312 60704 33554432000 4194304 4196468 140729446792864 139910240385424 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15330] ppid=15317 vsize=11166888 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15330/stat : 15330 (java) S 15317 15320 9838 0 -1 1077944384 170 0 0 0 1 2 0 0 20 0 22 0 3093339 11434893312 60704 33554432000 4194304 4196468 140729446792864 139910239332624 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15331] ppid=15317 vsize=11166888 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15331/stat : 15331 (java) S 15317 15320 9838 0 -1 1077944384 977 0 0 0 3 3 0 0 20 0 22 0 3093341 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909458144112 139910640024194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15332] ppid=15317 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15332/stat : 15332 (java) S 15317 15320 9838 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 22 0 3093342 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909457090080 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15333] ppid=15317 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15333/stat : 15333 (java) S 15317 15320 9838 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 22 0 3093342 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909456037232 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15334] ppid=15317 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15334/stat : 15334 (java) S 15317 15320 9838 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 22 0 3093346 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909454985552 139910640031643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15335] ppid=15317 vsize=11166888 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15335/stat : 15335 (java) S 15317 15320 9838 0 -1 1077944384 3887 0 0 0 55 1 0 0 20 0 22 0 3093346 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909453932912 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15336] ppid=15317 vsize=11166888 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15336/stat : 15336 (java) S 15317 15320 9838 0 -1 1077944384 6024 0 0 0 62 1 0 0 20 0 22 0 3093346 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909452880112 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15337] ppid=15317 vsize=11166888 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15337/stat : 15337 (java) S 15317 15320 9838 0 -1 1077944384 5510 0 0 0 59 2 0 0 20 0 22 0 3093346 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909451827312 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15338] ppid=15317 vsize=11166888 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15338/stat : 15338 (java) S 15317 15320 9838 0 -1 1077944384 3833 0 0 0 24 1 0 0 20 0 22 0 3093346 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909450774512 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15339] ppid=15317 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15339/stat : 15339 (java) S 15317 15320 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 3093346 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909449722976 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15340] ppid=15317 vsize=11166888 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15340/stat : 15340 (java) S 15317 15320 9838 0 -1 1077944384 2173 0 0 0 61 87 0 0 20 0 22 0 3093347 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909448670256 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15586] ppid=15317 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15586/stat : 15586 (java) S 15317 15320 9838 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 22 0 3333132 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909446562288 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15587] ppid=15317 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15587/stat : 15587 (java) S 15317 15320 9838 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 22 0 3333133 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909445510416 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
Current children cumulated CPU time (s) 2400.45
Current children cumulated vsize (KiB) 11166888
[startup+2398.11 s]
/proc/loadavg: 2.00 2.11 2.63 2/285 15588
/proc/meminfo: memFree=28035956/32770624 swapFree=5648/218348
[pid=15320] ppid=15317 vsize=11166888 CPUtime=2400.46 cores=1,3,5,7,9,11,13,15
/proc/15320/stat : 15320 (java) S 15317 15320 9838 0 -1 1077944320 39703 0 0 0 239939 107 0 0 20 0 22 0 3093337 11434893312 60704 33554432000 4194304 4196468 140729446792864 140729446775408 139910640013047 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
/proc/15320/statm: 2791722 60704 3120 1 0 2780116 0
[pid=15320/tid=15321] ppid=15317 vsize=11166888 CPUtime=2396.44 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15321/stat : 15321 (java) S 15317 15320 9838 0 -1 1077944384 14899 0 0 0 239639 5 0 0 20 0 22 0 3093338 11434893312 60704 33554432000 4194304 4196468 140729446792864 139910644255920 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15323] ppid=15317 vsize=11166888 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15323/stat : 15323 (java) S 15317 15320 9838 0 -1 1077944384 38 0 0 0 1 2 0 0 20 0 22 0 3093339 11434893312 60704 33554432000 4194304 4196468 140729446792864 139910576704656 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15324] ppid=15317 vsize=11166888 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15324/stat : 15324 (java) S 15317 15320 9838 0 -1 1077944384 80 0 0 0 2 2 0 0 20 0 22 0 3093339 11434893312 60704 33554432000 4194304 4196468 140729446792864 139910575651856 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15325] ppid=15317 vsize=11166888 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15325/stat : 15325 (java) S 15317 15320 9838 0 -1 1077944384 38 0 0 0 1 2 0 0 20 0 22 0 3093339 11434893312 60704 33554432000 4194304 4196468 140729446792864 139910574599056 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15326] ppid=15317 vsize=11166888 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15326/stat : 15326 (java) S 15317 15320 9838 0 -1 1077944384 46 0 0 0 2 2 0 0 20 0 22 0 3093339 11434893312 60704 33554432000 4194304 4196468 140729446792864 139910243543824 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15327] ppid=15317 vsize=11166888 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15327/stat : 15327 (java) S 15317 15320 9838 0 -1 1077944384 266 0 0 0 2 2 0 0 20 0 22 0 3093339 11434893312 60704 33554432000 4194304 4196468 140729446792864 139910242491024 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15328] ppid=15317 vsize=11166888 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15328/stat : 15328 (java) S 15317 15320 9838 0 -1 1077944384 41 0 0 0 1 2 0 0 20 0 22 0 3093339 11434893312 60704 33554432000 4194304 4196468 140729446792864 139910241438224 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15329] ppid=15317 vsize=11166888 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15329/stat : 15329 (java) S 15317 15320 9838 0 -1 1077944384 38 0 0 0 1 2 0 0 20 0 22 0 3093339 11434893312 60704 33554432000 4194304 4196468 140729446792864 139910240385424 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15330] ppid=15317 vsize=11166888 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15330/stat : 15330 (java) S 15317 15320 9838 0 -1 1077944384 170 0 0 0 1 2 0 0 20 0 22 0 3093339 11434893312 60704 33554432000 4194304 4196468 140729446792864 139910239332624 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15331] ppid=15317 vsize=11166888 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15331/stat : 15331 (java) S 15317 15320 9838 0 -1 1077944384 977 0 0 0 3 3 0 0 20 0 22 0 3093341 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909458144112 139910640024194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15332] ppid=15317 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15332/stat : 15332 (java) S 15317 15320 9838 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 22 0 3093342 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909457090080 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15333] ppid=15317 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15333/stat : 15333 (java) S 15317 15320 9838 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 22 0 3093342 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909456037232 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15334] ppid=15317 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15334/stat : 15334 (java) S 15317 15320 9838 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 22 0 3093346 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909454985552 139910640031643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15335] ppid=15317 vsize=11166888 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15335/stat : 15335 (java) S 15317 15320 9838 0 -1 1077944384 3887 0 0 0 55 1 0 0 20 0 22 0 3093346 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909453932912 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15336] ppid=15317 vsize=11166888 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15336/stat : 15336 (java) S 15317 15320 9838 0 -1 1077944384 6024 0 0 0 62 1 0 0 20 0 22 0 3093346 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909452880112 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15337] ppid=15317 vsize=11166888 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15337/stat : 15337 (java) S 15317 15320 9838 0 -1 1077944384 5510 0 0 0 59 2 0 0 20 0 22 0 3093346 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909451827312 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15338] ppid=15317 vsize=11166888 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15338/stat : 15338 (java) S 15317 15320 9838 0 -1 1077944384 3833 0 0 0 24 1 0 0 20 0 22 0 3093346 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909450774512 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15339] ppid=15317 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15339/stat : 15339 (java) S 15317 15320 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 3093346 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909449722976 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15340] ppid=15317 vsize=11166888 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15340/stat : 15340 (java) S 15317 15320 9838 0 -1 1077944384 2173 0 0 0 61 87 0 0 20 0 22 0 3093347 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909448670256 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15586] ppid=15317 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15586/stat : 15586 (java) S 15317 15320 9838 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 22 0 3333132 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909446562288 139910640023253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
[pid=15320/tid=15587] ppid=15317 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15320/task/15587/stat : 15587 (java) S 15317 15320 9838 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 22 0 3333133 11434893312 60704 33554432000 4194304 4196468 140729446792864 139909445510416 139910640024194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27369472 140729446798507 140729446798660 140729446798660 140729446801359 0
Current children cumulated CPU time (s) 2400.46
Current children cumulated vsize (KiB) 11166888
Child status: 143
Real time (s): 2398.17
CPU time (s): 2400.48
CPU user time (s): 2399.4
CPU system time (s): 1.07949
CPU usage (%): 100.096
Max. virtual memory (cumulated for all children) (KiB): 11166888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.4
system time used= 1.07949
maximum resident set size= 243164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39803
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54815
involuntary context switches= 121244
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.927 second user time and 19.2848 second system time
The end