runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (4961 MiB free)
memory of node 1: 16384 MiB (14033 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293380-1532314092/watcher-4293380-1532314092 -o /tmp/evaluation-result-4293380-1532314092/solver-4293380-1532314092 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532297041-4850 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1127597265 -superng HOME/instance-4293380-1532314092.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8195, runsolver pid=8192
[startup+0.109596 s]*
/proc/loadavg: 1.54 1.70 1.85 3/207 8253
/proc/meminfo: memFree=19441004/32770624 swapFree=67108860/67108860
[pid=8195] ppid=8192 vsize=10355560 memory=22680 CPUtime=0.09 cores=1,3,5,7
/proc/8195/stat : 8195 (java) S 8192 8195 4818 0 -1 1077944320 4818 12996 0 0 2 0 4 3 20 0 9 0 48972520 10604093440 5670 33554432000 4194304 4196468 140723634834160 140723634816704 139854832443127 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
/proc/8195/statm: 2588890 5670 2101 1 0 2551431 0
[pid=8195/tid=8248] ppid=8192 vsize=10355560 memory=-8456765882338951111 CPUtime=0.09 cores=1,3,5,7
/proc/8195/task/8248/stat : 8248 (java) R 8192 8195 4818 0 -1 4202560 2619 12996 0 0 2 0 4 3 20 0 9 0 48972528 10604093440 5670 33554432000 4194304 4196468 140723634834160 139854804279152 139854832465053 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8249] ppid=8192 vsize=10355560 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8249/stat : 8249 (java) S 8192 8195 4818 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 9 0 48972529 10604093440 5670 33554432000 4194304 4196468 140723634834160 139854836685584 139854832453333 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8250] ppid=8192 vsize=10355560 memory=139737324402304 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8250/stat : 8250 (java) S 8192 8195 4818 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 9 0 48972529 10604093440 5670 33554432000 4194304 4196468 140723634834160 139854740888464 139854832453333 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8251] ppid=8192 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8251/stat : 8251 (java) S 8192 8195 4818 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 9 0 48972529 10604093440 5670 33554432000 4194304 4196468 140723634834160 139854739835920 139854832453333 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8252] ppid=8192 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8252/stat : 8252 (java) S 8192 8195 4818 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 9 0 48972529 10604093440 5670 33554432000 4194304 4196468 140723634834160 139854403656848 139854832453333 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8253] ppid=8192 vsize=10355560 memory=139737324402304 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8253/stat : 8253 (java) S 8192 8195 4818 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 9 0 48972531 10604093440 5670 33554432000 4194304 4196468 140723634834160 139854359078896 139854832454274 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8254] ppid=8192 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8254/stat : 8254 (java) S 8192 8195 4818 0 -1 1077944384 13 12996 0 0 0 0 4 3 20 0 9 0 48972531 10604093440 5670 33554432000 4194304 4196468 140723634834160 139853731718048 139854832453333 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8255] ppid=8192 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8255/stat : 8255 (java) S 8192 8195 4818 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 9 0 48972531 10604093440 5670 33554432000 4194304 4196468 140723634834160 139853597500464 139854832453333 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 22680 KiB
[startup+0.210127 s]*
/proc/loadavg: 1.54 1.70 1.85 3/215 8261
/proc/meminfo: memFree=19421076/32770624 swapFree=67108860/67108860
[pid=8195] ppid=8192 vsize=10818904 memory=46496 CPUtime=0.25 cores=1,3,5,7
/proc/8195/stat : 8195 (java) S 8192 8195 4818 0 -1 1077944320 9474 12996 0 0 17 1 4 3 20 0 15 0 48972520 11078557696 11624 33554432000 4194304 4196468 140723634834160 140723634816704 139854832443127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
/proc/8195/statm: 2704726 11624 2971 1 0 2667149 0
[pid=8195/tid=8248] ppid=8192 vsize=10818904 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/8195/task/8248/stat : 8248 (java) R 8192 8195 4818 0 -1 4202560 6122 12996 0 0 11 1 4 3 20 0 15 0 48972528 11078557696 11624 33554432000 4194304 4196468 140723634834160 139854804267936 139854816523614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8249] ppid=8192 vsize=10818904 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8249/stat : 8249 (java) S 8192 8195 4818 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 48972529 11078557696 11624 33554432000 4194304 4196468 140723634834160 139854836685584 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8250] ppid=8192 vsize=10818904 memory=139737324410756 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8250/stat : 8250 (java) S 8192 8195 4818 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 48972529 11078557696 11624 33554432000 4194304 4196468 140723634834160 139854740888464 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8251] ppid=8192 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8251/stat : 8251 (java) S 8192 8195 4818 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 48972529 11078557696 11624 33554432000 4194304 4196468 140723634834160 139854739835920 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8252] ppid=8192 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8252/stat : 8252 (java) S 8192 8195 4818 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 48972529 11078557696 11624 33554432000 4194304 4196468 140723634834160 139854403656848 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8253] ppid=8192 vsize=10818904 memory=139737324402304 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8253/stat : 8253 (java) S 8192 8195 4818 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 48972531 11078557696 11624 33554432000 4194304 4196468 140723634834160 139854359078896 139854832454274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8254] ppid=8192 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8254/stat : 8254 (java) S 8192 8195 4818 0 -1 1077944384 13 12996 0 0 0 0 4 3 20 0 15 0 48972531 11078557696 11624 33554432000 4194304 4196468 140723634834160 139853731718048 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8255] ppid=8192 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8255/stat : 8255 (java) S 8192 8195 4818 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 48972531 11078557696 11624 33554432000 4194304 4196468 140723634834160 139853597500400 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8256] ppid=8192 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8256/stat : 8256 (java) S 8192 8195 4818 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 48972534 11078557696 11624 33554432000 4194304 4196468 140723634834160 139853357209808 139854832461723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8257] ppid=8192 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8195/task/8257/stat : 8257 (java) S 8192 8195 4818 0 -1 1077944384 493 12996 0 0 1 0 4 3 20 0 15 0 48972534 11078557696 11624 33554432000 4194304 4196468 140723634834160 139854358026736 139854832454274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8258] ppid=8192 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8195/task/8258/stat : 8258 (java) S 8192 8195 4818 0 -1 1077944384 88 12996 0 0 1 0 4 3 20 0 15 0 48972534 11078557696 11624 33554432000 4194304 4196468 140723634834160 139854356974192 139854832454274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8259] ppid=8192 vsize=10818904 memory=139737324402304 CPUtime=0.1 cores=1,3,5,7
/proc/8195/task/8259/stat : 8259 (java) R 8192 8195 4818 0 -1 4202560 556 12996 0 0 3 0 4 3 20 0 15 0 48972534 11078557696 11624 33554432000 4194304 4196468 140723634834160 139854355921648 139854811566591 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8260] ppid=8192 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8260/stat : 8260 (java) S 8192 8195 4818 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 48972534 11078557696 11624 33554432000 4194304 4196468 140723634834160 139853323652192 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8261] ppid=8192 vsize=10818904 memory=139737324402304 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8261/stat : 8261 (java) S 8192 8195 4818 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 48972534 11078557696 11624 33554432000 4194304 4196468 140723634834160 139854354868528 139854832454274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 46496 KiB
[startup+0.310288 s]*
/proc/loadavg: 1.54 1.70 1.85 3/215 8261
/proc/meminfo: memFree=19408424/32770624 swapFree=67108860/67108860
[pid=8195] ppid=8192 vsize=10819352 memory=54372 CPUtime=0.38 cores=1,3,5,7
/proc/8195/stat : 8195 (java) S 8192 8195 4818 0 -1 1077944320 10675 12996 0 0 29 2 4 3 20 0 15 0 48972520 11079016448 13593 33554432000 4194304 4196468 140723634834160 140723634816704 139854832443127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
/proc/8195/statm: 2704838 13593 3090 1 0 2667149 0
[pid=8195/tid=8248] ppid=8192 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/8195/task/8248/stat : 8248 (java) R 8192 8195 4818 0 -1 4202560 7310 12996 0 0 20 1 4 3 20 0 15 0 48972528 11079016448 13593 33554432000 4194304 4196468 140723634834160 139854804255136 139854814006660 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8249] ppid=8192 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8249/stat : 8249 (java) S 8192 8195 4818 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 48972529 11079016448 13593 33554432000 4194304 4196468 140723634834160 139854836685584 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8250] ppid=8192 vsize=10819352 memory=139737324412897 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8250/stat : 8250 (java) S 8192 8195 4818 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 48972529 11079016448 13593 33554432000 4194304 4196468 140723634834160 139854740888464 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8251] ppid=8192 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8251/stat : 8251 (java) S 8192 8195 4818 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 48972529 11079016448 13593 33554432000 4194304 4196468 140723634834160 139854739835920 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8252] ppid=8192 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8252/stat : 8252 (java) S 8192 8195 4818 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 48972529 11079016448 13593 33554432000 4194304 4196468 140723634834160 139854403656848 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8253] ppid=8192 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8253/stat : 8253 (java) S 8192 8195 4818 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 48972531 11079016448 13593 33554432000 4194304 4196468 140723634834160 139854359078896 139854832454274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8254] ppid=8192 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8254/stat : 8254 (java) S 8192 8195 4818 0 -1 1077944384 13 12996 0 0 0 0 4 3 20 0 15 0 48972531 11079016448 13593 33554432000 4194304 4196468 140723634834160 139853731718048 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8255] ppid=8192 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8255/stat : 8255 (java) S 8192 8195 4818 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 48972531 11079016448 13593 33554432000 4194304 4196468 140723634834160 139853597500400 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8256] ppid=8192 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8256/stat : 8256 (java) S 8192 8195 4818 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 48972534 11079016448 13593 33554432000 4194304 4196468 140723634834160 139853357209808 139854832461723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8257] ppid=8192 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8195/task/8257/stat : 8257 (java) S 8192 8195 4818 0 -1 1077944384 494 12996 0 0 1 0 4 3 20 0 15 0 48972534 11079016448 13593 33554432000 4194304 4196468 140723634834160 139854358026736 139854832454274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8258] ppid=8192 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8195/task/8258/stat : 8258 (java) S 8192 8195 4818 0 -1 1077944384 88 12996 0 0 1 0 4 3 20 0 15 0 48972534 11079016448 13593 33554432000 4194304 4196468 140723634834160 139854356974192 139854832454274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8259] ppid=8192 vsize=10819352 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/8195/task/8259/stat : 8259 (java) S 8192 8195 4818 0 -1 1077944384 564 12996 0 0 5 0 4 3 20 0 15 0 48972534 11079016448 13593 33554432000 4194304 4196468 140723634834160 139854355921648 139854832454274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8260] ppid=8192 vsize=10819352 memory=139737324402304 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8260/stat : 8260 (java) S 8192 8195 4818 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 48972534 11079016448 13593 33554432000 4194304 4196468 140723634834160 139853323652192 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8261] ppid=8192 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8261/stat : 8261 (java) S 8192 8195 4818 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 48972534 11079016448 13593 33554432000 4194304 4196468 140723634834160 139854354868528 139854832454274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54372 KiB
[startup+0.700775 s]
/proc/loadavg: 1.54 1.70 1.85 3/215 8261
/proc/meminfo: memFree=19399460/32770624 swapFree=67108860/67108860
[pid=8195] ppid=8192 vsize=10819352 memory=86540 CPUtime=0.97 cores=1,3,5,7
/proc/8195/stat : 8195 (java) S 8192 8195 4818 0 -1 1077944320 16754 12996 0 0 87 3 4 3 20 0 15 0 48972520 11079016448 21635 33554432000 4194304 4196468 140723634834160 140723634816704 139854832443127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
/proc/8195/statm: 2704838 21635 3237 1 0 2667149 0
[pid=8195/tid=8248] ppid=8192 vsize=10819352 memory=139741055943205 CPUtime=0.66 cores=1,3,5,7
/proc/8195/task/8248/stat : 8248 (java) R 8192 8195 4818 0 -1 4202560 12305 12996 0 0 56 3 4 3 20 0 15 0 48972528 11079016448 21635 33554432000 4194304 4196468 140723634834160 139854804263952 139854812718930 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8249] ppid=8192 vsize=10819352 memory=139741055943226 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8249/stat : 8249 (java) S 8192 8195 4818 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 48972529 11079016448 21635 33554432000 4194304 4196468 140723634834160 139854836685584 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8250] ppid=8192 vsize=10819352 memory=139741055943227 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8250/stat : 8250 (java) S 8192 8195 4818 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 48972529 11079016448 21635 33554432000 4194304 4196468 140723634834160 139854740888464 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8251] ppid=8192 vsize=10819352 memory=139741055943229 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8251/stat : 8251 (java) S 8192 8195 4818 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 48972529 11079016448 21635 33554432000 4194304 4196468 140723634834160 139854739835920 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8252] ppid=8192 vsize=10819352 memory=139741055943235 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8252/stat : 8252 (java) S 8192 8195 4818 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 48972529 11079016448 21635 33554432000 4194304 4196468 140723634834160 139854403656848 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8253] ppid=8192 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8253/stat : 8253 (java) S 8192 8195 4818 0 -1 1077944384 6 12996 0 0 0 0 4 3 20 0 15 0 48972531 11079016448 21635 33554432000 4194304 4196468 140723634834160 139854359078896 139854832454274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8254] ppid=8192 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8254/stat : 8254 (java) S 8192 8195 4818 0 -1 1077944384 13 12996 0 0 0 0 4 3 20 0 15 0 48972531 11079016448 21635 33554432000 4194304 4196468 140723634834160 139853731718048 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8255] ppid=8192 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8255/stat : 8255 (java) S 8192 8195 4818 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 48972531 11079016448 21635 33554432000 4194304 4196468 140723634834160 139853597500400 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8256] ppid=8192 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8256/stat : 8256 (java) S 8192 8195 4818 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 48972534 11079016448 21635 33554432000 4194304 4196468 140723634834160 139853357209808 139854832461723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8257] ppid=8192 vsize=10819352 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/8195/task/8257/stat : 8257 (java) S 8192 8195 4818 0 -1 1077944384 905 12996 0 0 7 0 4 3 20 0 15 0 48972534 11079016448 21635 33554432000 4194304 4196468 140723634834160 139854358026736 139854832454274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8258] ppid=8192 vsize=10819352 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/8195/task/8258/stat : 8258 (java) S 8192 8195 4818 0 -1 1077944384 698 12996 0 0 9 0 4 3 20 0 15 0 48972534 11079016448 21635 33554432000 4194304 4196468 140723634834160 139854356974192 139854832454274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8259] ppid=8192 vsize=10819352 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/8195/task/8259/stat : 8259 (java) S 8192 8195 4818 0 -1 1077944384 623 12996 0 0 13 0 4 3 20 0 15 0 48972534 11079016448 21635 33554432000 4194304 4196468 140723634834160 139854355921648 139854832454274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8260] ppid=8192 vsize=10819352 memory=5 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8260/stat : 8260 (java) S 8192 8195 4818 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 48972534 11079016448 21635 33554432000 4194304 4196468 140723634834160 139853323652192 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8261] ppid=8192 vsize=10819352 memory=18464 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8261/stat : 8261 (java) S 8192 8195 4818 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 48972534 11079016448 21635 33554432000 4194304 4196468 140723634834160 139854354868528 139854832454274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86540 KiB
[startup+1.50076 s]
/proc/loadavg: 1.54 1.70 1.85 3/215 8261
/proc/meminfo: memFree=19352880/32770624 swapFree=67108860/67108860
[pid=8195] ppid=8192 vsize=10836300 memory=177448 CPUtime=2.23 cores=1,3,5,7
/proc/8195/stat : 8195 (java) S 8192 8195 4818 0 -1 1077944320 24084 12996 0 0 206 10 4 3 20 0 15 0 48972520 11096371200 44362 33554432000 4194304 4196468 140723634834160 140723634816704 139854832443127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
/proc/8195/statm: 2709075 44362 3468 1 0 2670733 0
[pid=8195/tid=8248] ppid=8192 vsize=10836300 memory=10799 CPUtime=1.42 cores=1,3,5,7
/proc/8195/task/8248/stat : 8248 (java) R 8192 8195 4818 0 -1 4202560 18019 12996 0 0 129 6 4 3 20 0 15 0 48972528 11096371200 44362 33554432000 4194304 4196468 140723634834160 139854804273872 139854832455062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8249] ppid=8192 vsize=10836300 memory=25313 CPUtime=0.08 cores=1,3,5,7
/proc/8195/task/8249/stat : 8249 (java) S 8192 8195 4818 0 -1 1077944384 254 12996 0 0 1 0 4 3 20 0 15 0 48972529 11096371200 44362 33554432000 4194304 4196468 140723634834160 139854836685584 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8250] ppid=8192 vsize=10836300 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8195/task/8250/stat : 8250 (java) S 8192 8195 4818 0 -1 1077944384 61 12996 0 0 1 0 4 3 20 0 15 0 48972529 11096371200 44362 33554432000 4194304 4196468 140723634834160 139854740888464 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8251] ppid=8192 vsize=10836300 memory=321013415751723303 CPUtime=0.08 cores=1,3,5,7
/proc/8195/task/8251/stat : 8251 (java) S 8192 8195 4818 0 -1 1077944384 31 12996 0 0 1 0 4 3 20 0 15 0 48972529 11096371200 44362 33554432000 4194304 4196468 140723634834160 139854739835920 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8252] ppid=8192 vsize=10836300 memory=288293281199310633 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8252/stat : 8252 (java) S 8192 8195 4818 0 -1 1077944384 31 12996 0 0 0 0 4 3 20 0 15 0 48972529 11096371200 44362 33554432000 4194304 4196468 140723634834160 139854403656848 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8253] ppid=8192 vsize=10836300 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/8195/task/8253/stat : 8253 (java) S 8192 8195 4818 0 -1 1077944384 63 12996 0 0 1 0 4 3 20 0 15 0 48972531 11096371200 44362 33554432000 4194304 4196468 140723634834160 139854359078896 139854832454274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8254] ppid=8192 vsize=10836300 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8254/stat : 8254 (java) S 8192 8195 4818 0 -1 1077944384 13 12996 0 0 0 0 4 3 20 0 15 0 48972531 11096371200 44362 33554432000 4194304 4196468 140723634834160 139853731718112 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8255] ppid=8192 vsize=10836300 memory=-2672971631320983069 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8255/stat : 8255 (java) S 8192 8195 4818 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 48972531 11096371200 44362 33554432000 4194304 4196468 140723634834160 139853597500416 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8256] ppid=8192 vsize=10836300 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8256/stat : 8256 (java) S 8192 8195 4818 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 48972534 11096371200 44362 33554432000 4194304 4196468 140723634834160 139853357209808 139854832461723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8257] ppid=8192 vsize=10836300 memory=7667499738897666923 CPUtime=0.24 cores=1,3,5,7
/proc/8195/task/8257/stat : 8257 (java) R 8192 8195 4818 0 -1 4202560 1082 12996 0 0 17 0 4 3 20 0 15 0 48972534 11096371200 44362 33554432000 4194304 4196468 140723634834160 139854358026736 139854825428169 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8258] ppid=8192 vsize=10836300 memory=6299802978650451056 CPUtime=0.29 cores=1,3,5,7
/proc/8195/task/8258/stat : 8258 (java) S 8192 8195 4818 0 -1 1077944384 1184 12996 0 0 22 0 4 3 20 0 15 0 48972534 11096371200 44362 33554432000 4194304 4196468 140723634834160 139854356974192 139854832454274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8259] ppid=8192 vsize=10836300 memory=7163650773147673939 CPUtime=0.36 cores=1,3,5,7
/proc/8195/task/8259/stat : 8259 (java) S 8192 8195 4818 0 -1 1077944384 1146 12996 0 0 29 0 4 3 20 0 15 0 48972534 11096371200 44362 33554432000 4194304 4196468 140723634834160 139854355921648 139854832454274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
################
# More data... #
################
[startup+3.11041 s]
/proc/loadavg: 1.65 1.72 1.85 4/215 8261
/proc/meminfo: memFree=19196232/32770624 swapFree=67108860/67108860
[pid=8195] ppid=8192 vsize=10912096 memory=289864 CPUtime=5.87 cores=1,3,5,7
/proc/8195/stat : 8195 (java) S 8192 8195 4818 0 -1 1077944320 48856 12996 0 0 564 16 4 3 20 0 15 0 48972520 11173986304 72466 33554432000 4194304 4196468 140723634834160 140723634816704 139854832443127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
/proc/8195/statm: 2728024 72466 3500 1 0 2689677 0
[pid=8195/tid=8248] ppid=8192 vsize=10912096 memory=16192 CPUtime=2.98 cores=1,3,5,7
/proc/8195/task/8248/stat : 8248 (java) R 8192 8195 4818 0 -1 4202560 35040 12996 0 0 281 10 4 3 20 0 15 0 48972528 11173986304 72466 33554432000 4194304 4196468 140723634834160 139854804271568 139854832455062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8249] ppid=8192 vsize=10912096 memory=7 CPUtime=0.1 cores=1,3,5,7
/proc/8195/task/8249/stat : 8249 (java) S 8192 8195 4818 0 -1 1077944384 277 12996 0 0 3 0 4 3 20 0 15 0 48972529 11173986304 72466 33554432000 4194304 4196468 140723634834160 139854836685584 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8250] ppid=8192 vsize=10912096 memory=279474327308064 CPUtime=0.09 cores=1,3,5,7
/proc/8195/task/8250/stat : 8250 (java) S 8192 8195 4818 0 -1 1077944384 80 12996 0 0 2 0 4 3 20 0 15 0 48972529 11173986304 72466 33554432000 4194304 4196468 140723634834160 139854740888464 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8251] ppid=8192 vsize=10912096 memory=55 CPUtime=0.09 cores=1,3,5,7
/proc/8195/task/8251/stat : 8251 (java) S 8192 8195 4818 0 -1 1077944384 31 12996 0 0 2 0 4 3 20 0 15 0 48972529 11173986304 72466 33554432000 4194304 4196468 140723634834160 139854739835920 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8252] ppid=8192 vsize=10912096 memory=8443538352883892301 CPUtime=0.1 cores=1,3,5,7
/proc/8195/task/8252/stat : 8252 (java) S 8192 8195 4818 0 -1 1077944384 69 12996 0 0 3 0 4 3 20 0 15 0 48972529 11173986304 72466 33554432000 4194304 4196468 140723634834160 139854403656848 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8253] ppid=8192 vsize=10912096 memory=184536 CPUtime=0.1 cores=1,3,5,7
/proc/8195/task/8253/stat : 8253 (java) S 8192 8195 4818 0 -1 1077944384 1184 12996 0 0 3 0 4 3 20 0 15 0 48972531 11173986304 72466 33554432000 4194304 4196468 140723634834160 139854359078896 139854832454274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8254] ppid=8192 vsize=10912096 memory=1008 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8254/stat : 8254 (java) S 8192 8195 4818 0 -1 1077944384 13 12996 0 0 0 0 4 3 20 0 15 0 48972531 11173986304 72466 33554432000 4194304 4196468 140723634834160 139853731718112 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8255] ppid=8192 vsize=10912096 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8255/stat : 8255 (java) S 8192 8195 4818 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 48972531 11173986304 72466 33554432000 4194304 4196468 140723634834160 139853597500416 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8256] ppid=8192 vsize=10912096 memory=1292 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8256/stat : 8256 (java) S 8192 8195 4818 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 48972534 11173986304 72466 33554432000 4194304 4196468 140723634834160 139853357209808 139854832461723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8257] ppid=8192 vsize=10912096 memory=2436 CPUtime=0.96 cores=1,3,5,7
/proc/8195/task/8257/stat : 8257 (java) R 8192 8195 4818 0 -1 1077944384 3090 12996 0 0 88 1 4 3 20 0 15 0 48972534 11173986304 72466 33554432000 4194304 4196468 140723634834160 139854358026736 139854832454274 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8258] ppid=8192 vsize=10912096 memory=1728 CPUtime=0.91 cores=1,3,5,7
/proc/8195/task/8258/stat : 8258 (java) R 8192 8195 4818 0 -1 4202560 3559 12996 0 0 83 1 4 3 20 0 15 0 48972534 11173986304 72466 33554432000 4194304 4196468 140723634834160 139854356960376 139854813622758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8259] ppid=8192 vsize=10912096 memory=1708 CPUtime=1.02 cores=1,3,5,7
/proc/8195/task/8259/stat : 8259 (java) R 8192 8195 4818 0 -1 4202560 3313 12996 0 0 94 1 4 3 20 0 15 0 48972534 11173986304 72466 33554432000 4194304 4196468 140723634834160 139854355921648 139854810974097 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8260] ppid=8192 vsize=10912096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8260/stat : 8260 (java) S 8192 8195 4818 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 48972534 11173986304 72466 33554432000 4194304 4196468 140723634834160 139853323652192 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8261] ppid=8192 vsize=10912096 memory=4715996324208872822 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8261/stat : 8261 (java) S 8192 8195 4818 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 48972534 11173986304 72466 33554432000 4194304 4196468 140723634834160 139854354868528 139854832454274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
Current children cumulated CPU time: 5.87 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 289864 KiB
[startup+4.47825 s]
# the end of solver process 8195 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.89102 s, system=0.255 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20177 s]
/proc/loadavg: 1.65 1.72 1.85 4/215 8261
/proc/meminfo: memFree=19196232/32770624 swapFree=67108860/67108860
[pid=8195] ppid=8192 vsize=10912096 memory=291896 CPUtime=6.2 cores=1,3,5,7
/proc/8195/stat : 8195 (java) S 8192 8195 4818 0 -1 1077944320 53567 12996 0 0 596 17 4 3 20 0 15 0 48972520 11173986304 72974 33554432000 4194304 4196468 140723634834160 140723634816704 139854832443127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
/proc/8195/statm: 2728024 72974 3500 1 0 2689677 0
[pid=8195/tid=8248] ppid=8192 vsize=10912096 memory=14132230066819404 CPUtime=3.07 cores=1,3,5,7
/proc/8195/task/8248/stat : 8248 (java) R 8192 8195 4818 0 -1 4202560 36933 12996 0 0 290 10 4 3 20 0 15 0 48972528 11173986304 72974 33554432000 4194304 4196468 140723634834160 139854804271936 139854817812530 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8249] ppid=8192 vsize=10912096 memory=6651922547147956288 CPUtime=0.1 cores=1,3,5,7
/proc/8195/task/8249/stat : 8249 (java) S 8192 8195 4818 0 -1 1077944384 277 12996 0 0 3 0 4 3 20 0 15 0 48972529 11173986304 72974 33554432000 4194304 4196468 140723634834160 139854836685584 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8250] ppid=8192 vsize=10912096 memory=7739834345441486674 CPUtime=0.09 cores=1,3,5,7
/proc/8195/task/8250/stat : 8250 (java) S 8192 8195 4818 0 -1 1077944384 80 12996 0 0 2 0 4 3 20 0 15 0 48972529 11173986304 72974 33554432000 4194304 4196468 140723634834160 139854740888464 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8251] ppid=8192 vsize=10912096 memory=8242257093008111413 CPUtime=0.09 cores=1,3,5,7
/proc/8195/task/8251/stat : 8251 (java) S 8192 8195 4818 0 -1 1077944384 31 12996 0 0 2 0 4 3 20 0 15 0 48972529 11173986304 72974 33554432000 4194304 4196468 140723634834160 139854739835920 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8252] ppid=8192 vsize=10912096 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8195/task/8252/stat : 8252 (java) S 8192 8195 4818 0 -1 1077944384 69 12996 0 0 3 0 4 3 20 0 15 0 48972529 11173986304 72974 33554432000 4194304 4196468 140723634834160 139854403656848 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8253] ppid=8192 vsize=10912096 memory=16260 CPUtime=0.1 cores=1,3,5,7
/proc/8195/task/8253/stat : 8253 (java) S 8192 8195 4818 0 -1 1077944384 1184 12996 0 0 3 0 4 3 20 0 15 0 48972531 11173986304 72974 33554432000 4194304 4196468 140723634834160 139854359078896 139854832454274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8254] ppid=8192 vsize=10912096 memory=108 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8254/stat : 8254 (java) S 8192 8195 4818 0 -1 1077944384 13 12996 0 0 0 0 4 3 20 0 15 0 48972531 11173986304 72974 33554432000 4194304 4196468 140723634834160 139853731718112 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8255] ppid=8192 vsize=10912096 memory=69 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8255/stat : 8255 (java) S 8192 8195 4818 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 48972531 11173986304 72974 33554432000 4194304 4196468 140723634834160 139853597500416 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8256] ppid=8192 vsize=10912096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8256/stat : 8256 (java) S 8192 8195 4818 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 48972534 11173986304 72974 33554432000 4194304 4196468 140723634834160 139853357209808 139854832461723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8257] ppid=8192 vsize=10912096 memory=0 CPUtime=1.02 cores=1,3,5,7
/proc/8195/task/8257/stat : 8257 (java) R 8192 8195 4818 0 -1 4202560 3787 12996 0 0 94 1 4 3 20 0 15 0 48972534 11173986304 72974 33554432000 4194304 4196468 140723634834160 139854358012704 139854813986459 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8258] ppid=8192 vsize=10912096 memory=0 CPUtime=1 cores=1,3,5,7
/proc/8195/task/8258/stat : 8258 (java) R 8192 8195 4818 0 -1 4202560 4459 12996 0 0 92 1 4 3 20 0 15 0 48972534 11173986304 72974 33554432000 4194304 4196468 140723634834160 139854356960216 139854817558182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8259] ppid=8192 vsize=10912096 memory=0 CPUtime=1.1 cores=1,3,5,7
/proc/8195/task/8259/stat : 8259 (java) R 8192 8195 4818 0 -1 4202560 4527 12996 0 0 102 1 4 3 20 0 15 0 48972534 11173986304 72974 33554432000 4194304 4196468 140723634834160 139854355921648 139854810935089 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8260] ppid=8192 vsize=10912096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8260/stat : 8260 (java) S 8192 8195 4818 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 48972534 11173986304 72974 33554432000 4194304 4196468 140723634834160 139853323652192 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8261] ppid=8192 vsize=10912096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8261/stat : 8261 (java) S 8192 8195 4818 0 -1 1077944384 8 12996 0 0 0 0 4 3 20 0 15 0 48972534 11173986304 72974 33554432000 4194304 4196468 140723634834160 139854354868528 139854832454274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 291896 KiB
[startup+4.00072 s]*
/proc/loadavg: 1.65 1.72 1.85 5/215 8261
/proc/meminfo: memFree=19114960/32770624 swapFree=67108860/67108860
[pid=8195] ppid=8192 vsize=10914144 memory=350848 CPUtime=8.8 cores=1,3,5,7
/proc/8195/stat : 8195 (java) S 8192 8195 4818 0 -1 1077944320 62348 12996 0 0 853 20 4 3 20 0 15 0 48972520 11176083456 87712 33554432000 4194304 4196468 140723634834160 140723634816704 139854832443127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
/proc/8195/statm: 2728536 87712 3505 1 0 2690189 0
[pid=8195/tid=8248] ppid=8192 vsize=10914144 memory=7594573530237851216 CPUtime=3.88 cores=1,3,5,7
/proc/8195/task/8248/stat : 8248 (java) R 8192 8195 4818 0 -1 4202560 38170 12996 0 0 370 11 4 3 20 0 15 0 48972528 11176083456 87712 33554432000 4194304 4196468 140723634834160 139854804275568 139854431109753 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8249] ppid=8192 vsize=10914144 memory=139737324402303 CPUtime=0.1 cores=1,3,5,7
/proc/8195/task/8249/stat : 8249 (java) S 8192 8195 4818 0 -1 1077944384 277 12996 0 0 3 0 4 3 20 0 15 0 48972529 11176083456 87712 33554432000 4194304 4196468 140723634834160 139854836685584 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8250] ppid=8192 vsize=10914144 memory=3834173274347564464 CPUtime=0.09 cores=1,3,5,7
/proc/8195/task/8250/stat : 8250 (java) S 8192 8195 4818 0 -1 1077944384 80 12996 0 0 2 0 4 3 20 0 15 0 48972529 11176083456 87712 33554432000 4194304 4196468 140723634834160 139854740888464 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8251] ppid=8192 vsize=10914144 memory=-8253362762722141311 CPUtime=0.09 cores=1,3,5,7
/proc/8195/task/8251/stat : 8251 (java) S 8192 8195 4818 0 -1 1077944384 31 12996 0 0 2 0 4 3 20 0 15 0 48972529 11176083456 87712 33554432000 4194304 4196468 140723634834160 139854739835920 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8252] ppid=8192 vsize=10914144 memory=3691042058319900680 CPUtime=0.1 cores=1,3,5,7
/proc/8195/task/8252/stat : 8252 (java) S 8192 8195 4818 0 -1 1077944384 69 12996 0 0 3 0 4 3 20 0 15 0 48972529 11176083456 87712 33554432000 4194304 4196468 140723634834160 139854403656848 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8253] ppid=8192 vsize=10914144 memory=3472468032898444007 CPUtime=0.1 cores=1,3,5,7
/proc/8195/task/8253/stat : 8253 (java) S 8192 8195 4818 0 -1 1077944384 1213 12996 0 0 3 0 4 3 20 0 15 0 48972531 11176083456 87712 33554432000 4194304 4196468 140723634834160 139854359078896 139854832454274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8254] ppid=8192 vsize=10914144 memory=7363719849252499503 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8254/stat : 8254 (java) S 8192 8195 4818 0 -1 1077944384 13 12996 0 0 0 0 4 3 20 0 15 0 48972531 11176083456 87712 33554432000 4194304 4196468 140723634834160 139853731718112 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8255] ppid=8192 vsize=10914144 memory=-7306661995871444341 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8255/stat : 8255 (java) S 8192 8195 4818 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 48972531 11176083456 87712 33554432000 4194304 4196468 140723634834160 139853597500416 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8256] ppid=8192 vsize=10914144 memory=8593 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8256/stat : 8256 (java) S 8192 8195 4818 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 48972534 11176083456 87712 33554432000 4194304 4196468 140723634834160 139853357209808 139854832461723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8257] ppid=8192 vsize=10914144 memory=0 CPUtime=1.82 cores=1,3,5,7
/proc/8195/task/8257/stat : 8257 (java) R 8192 8195 4818 0 -1 4202560 5482 12996 0 0 174 1 4 3 20 0 15 0 48972534 11176083456 87712 33554432000 4194304 4196468 140723634834160 139854358015536 139854813990416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8258] ppid=8192 vsize=10914144 memory=-1 CPUtime=1.81 cores=1,3,5,7
/proc/8195/task/8258/stat : 8258 (java) R 8192 8195 4818 0 -1 4202560 8852 12996 0 0 172 2 4 3 20 0 15 0 48972534 11176083456 87712 33554432000 4194304 4196468 140723634834160 139854356952624 139854815829795 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8259] ppid=8192 vsize=10914144 memory=139737324403289 CPUtime=1.28 cores=1,3,5,7
/proc/8195/task/8259/stat : 8259 (java) R 8192 8195 4818 0 -1 1077944384 5954 12996 0 0 120 1 4 3 20 0 15 0 48972534 11176083456 87712 33554432000 4194304 4196468 140723634834160 139854355921648 139854832454274 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8260] ppid=8192 vsize=10914144 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8260/stat : 8260 (java) S 8192 8195 4818 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 48972534 11176083456 87712 33554432000 4194304 4196468 140723634834160 139853323652192 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8261] ppid=8192 vsize=10914144 memory=206144 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8261/stat : 8261 (java) S 8192 8195 4818 0 -1 1077944384 8 12996 0 0 0 0 4 3 20 0 15 0 48972534 11176083456 87712 33554432000 4194304 4196468 140723634834160 139854354868528 139854832454274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
Current children cumulated CPU time: 8.8 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 350848 KiB
[startup+4.40068 s]
/proc/loadavg: 1.65 1.72 1.85 5/215 8261
/proc/meminfo: memFree=19114960/32770624 swapFree=67108860/67108860
[pid=8195] ppid=8192 vsize=10914144 memory=361952 CPUtime=9.93 cores=1,3,5,7
/proc/8195/stat : 8195 (java) S 8192 8195 4818 0 -1 1077944320 62954 12996 0 0 966 20 4 3 20 0 15 0 48972520 11176083456 90488 33554432000 4194304 4196468 140723634834160 140723634816704 139854832443127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
/proc/8195/statm: 2728536 90488 3505 1 0 2690189 0
[pid=8195/tid=8248] ppid=8192 vsize=10914144 memory=279474328130592 CPUtime=4.26 cores=1,3,5,7
/proc/8195/task/8248/stat : 8248 (java) R 8192 8195 4818 0 -1 4202560 38191 12996 0 0 408 11 4 3 20 0 15 0 48972528 11176083456 90488 33554432000 4194304 4196468 140723634834160 139854804270720 139854419670998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8249] ppid=8192 vsize=10914144 memory=8112282956445269571 CPUtime=0.1 cores=1,3,5,7
/proc/8195/task/8249/stat : 8249 (java) S 8192 8195 4818 0 -1 1077944384 281 12996 0 0 3 0 4 3 20 0 15 0 48972529 11176083456 90488 33554432000 4194304 4196468 140723634834160 139854836685584 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8250] ppid=8192 vsize=10914144 memory=139 CPUtime=0.1 cores=1,3,5,7
/proc/8195/task/8250/stat : 8250 (java) S 8192 8195 4818 0 -1 1077944384 84 12996 0 0 3 0 4 3 20 0 15 0 48972529 11176083456 90488 33554432000 4194304 4196468 140723634834160 139854740888464 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8251] ppid=8192 vsize=10914144 memory=279474327456168 CPUtime=0.09 cores=1,3,5,7
/proc/8195/task/8251/stat : 8251 (java) S 8192 8195 4818 0 -1 1077944384 63 12996 0 0 2 0 4 3 20 0 15 0 48972529 11176083456 90488 33554432000 4194304 4196468 140723634834160 139854739835920 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8252] ppid=8192 vsize=10914144 memory=5792 CPUtime=0.1 cores=1,3,5,7
/proc/8195/task/8252/stat : 8252 (java) S 8192 8195 4818 0 -1 1077944384 282 12996 0 0 3 0 4 3 20 0 15 0 48972529 11176083456 90488 33554432000 4194304 4196468 140723634834160 139854403656848 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8253] ppid=8192 vsize=10914144 memory=4612 CPUtime=0.1 cores=1,3,5,7
/proc/8195/task/8253/stat : 8253 (java) S 8192 8195 4818 0 -1 1077944384 1262 12996 0 0 3 0 4 3 20 0 15 0 48972531 11176083456 90488 33554432000 4194304 4196468 140723634834160 139854359078896 139854832454274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8254] ppid=8192 vsize=10914144 memory=9920 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8254/stat : 8254 (java) S 8192 8195 4818 0 -1 1077944384 15 12996 0 0 0 0 4 3 20 0 15 0 48972531 11176083456 90488 33554432000 4194304 4196468 140723634834160 139853731718176 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8255] ppid=8192 vsize=10914144 memory=1944 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8255/stat : 8255 (java) S 8192 8195 4818 0 -1 1077944384 6 12996 0 0 0 0 4 3 20 0 15 0 48972531 11176083456 90488 33554432000 4194304 4196468 140723634834160 139853597500416 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8256] ppid=8192 vsize=10914144 memory=1428 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8256/stat : 8256 (java) S 8192 8195 4818 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 48972534 11176083456 90488 33554432000 4194304 4196468 140723634834160 139853357209808 139854832461723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8257] ppid=8192 vsize=10914144 memory=8368 CPUtime=2.16 cores=1,3,5,7
/proc/8195/task/8257/stat : 8257 (java) R 8192 8195 4818 0 -1 4202560 5579 12996 0 0 208 1 4 3 20 0 15 0 48972534 11176083456 90488 33554432000 4194304 4196468 140723634834160 139854358016592 139854811905008 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8258] ppid=8192 vsize=10914144 memory=792 CPUtime=2.14 cores=1,3,5,7
/proc/8195/task/8258/stat : 8258 (java) R 8192 8195 4818 0 -1 4202560 8936 12996 0 0 205 2 4 3 20 0 15 0 48972534 11176083456 90488 33554432000 4194304 4196468 140723634834160 139854356961872 139854812286808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8259] ppid=8192 vsize=10914144 memory=1008 CPUtime=1.34 cores=1,3,5,7
/proc/8195/task/8259/stat : 8259 (java) S 8192 8195 4818 0 -1 1077944384 6052 12996 0 0 126 1 4 3 20 0 15 0 48972534 11176083456 90488 33554432000 4194304 4196468 140723634834160 139854355921648 139854832454274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8260] ppid=8192 vsize=10914144 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8260/stat : 8260 (java) S 8192 8195 4818 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 48972534 11176083456 90488 33554432000 4194304 4196468 140723634834160 139853323652192 139854832453333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
[pid=8195/tid=8261] ppid=8192 vsize=10914144 memory=1200 CPUtime=0.07 cores=1,3,5,7
/proc/8195/task/8261/stat : 8261 (java) S 8192 8195 4818 0 -1 1077944384 9 12996 0 0 0 0 4 3 20 0 15 0 48972534 11176083456 90488 33554432000 4194304 4196468 140723634834160 139854354868528 139854832454274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27840512 140723634837675 140723634840924 140723634840924 140723634843599 0
Current children cumulated CPU time: 9.93 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 361952 KiB
Child status: 0
Real time (s): 4.4783
CPU time (s): 10.146
CPU user time (s): 9.89102
CPU system time (s): 0.255
CPU usage (%): 226.56
Max. virtual memory (cumulated for all children) (KiB): 10914808
Max. memory (cumulated for all children) (KiB): 361952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.89102
system time used= 0.255
maximum resident set size= 364872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76576
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6095
involuntary context switches= 46
# summary of solver processes directly reported to runsolver:
# pid: 8195
# total CPU time (s): 10.146
# total CPU user time (s): 9.89102
# total CPU system time (s): 0.255
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054747 second user time and 0.078963 second system time
The end