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 (13263 MiB free)
memory of node 1: 16384 MiB (9993 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294809-1532491049/watcher-4294809-1532491049 -o /tmp/evaluation-result-4294809-1532491049/solver-4294809-1532491049 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532470571-27173 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1498426638 -superng HOME/instance-4294809-1532491049.xml
running on 4 cores: 0,2,4,6
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
solver pid=31240, runsolver pid=31237
Current StackSize limit: 8192 KiB
[startup+0.100135 s]*
/proc/loadavg: 0.99 1.14 1.30 3/206 31297
/proc/meminfo: memFree=23805772/32770624 swapFree=67108860/67108860
[pid=31240] ppid=31237 vsize=10055356 memory=17604 CPUtime=0.09 cores=0,2,4,6
/proc/31240/stat : 31240 (java) S 31237 31240 27142 0 -1 1077944320 4533 12864 0 0 2 0 4 3 20 0 7 0 66668153 10296684544 4401 33554432000 4194304 4196468 140736333754448 140736333736992 140554909634295 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
/proc/31240/statm: 2513839 4401 1994 1 0 2502277 0
[pid=31240/tid=31293] ppid=31237 vsize=10055356 memory=4279135703979950990 CPUtime=0.08 cores=0,2,4,6
/proc/31240/task/31293/stat : 31293 (java) R 31237 31240 27142 0 -1 4202560 2334 12864 0 0 1 0 4 3 20 0 7 0 66668162 10296684544 4401 33554432000 4194304 4196468 140736333754448 140554881477392 140554893714782 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31294] ppid=31237 vsize=10055356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31294/stat : 31294 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 7 0 66668163 10296684544 4401 33554432000 4194304 4196468 140736333754448 140554913877136 140554909644501 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31295] ppid=31237 vsize=10055356 memory=139804024071808 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31295/stat : 31295 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 7 0 66668163 10296684544 4401 33554432000 4194304 4196468 140736333754448 140554483325968 140554909644501 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31296] ppid=31237 vsize=10055356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31296/stat : 31296 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 7 0 66668163 10296684544 4401 33554432000 4194304 4196468 140736333754448 140554482273168 140554909644501 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31297] ppid=31237 vsize=10055356 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31297/stat : 31297 (java) S 31237 31240 27142 0 -1 1077944384 2 12864 0 0 0 0 4 3 20 0 7 0 66668163 10296684544 4401 33554432000 4194304 4196468 140736333754448 140554481220368 140554909644501 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31298] ppid=31237 vsize=10055356 memory=139804024071808 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31298/stat : 31298 (java) S 31237 31240 27142 0 -1 1077944384 2 12864 0 0 0 0 4 3 20 0 7 0 66668164 10296684544 4401 33554432000 4194304 4196468 140736333754448 140554436270448 140554909645442 0 0 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10055356 KiB
Current children cumulated memory: 17604 KiB
[startup+0.209821 s]*
/proc/loadavg: 0.99 1.14 1.30 3/215 31306
/proc/meminfo: memFree=23783480/32770624 swapFree=67108860/67108860
[pid=31240] ppid=31237 vsize=10818856 memory=44776 CPUtime=0.25 cores=0,2,4,6
/proc/31240/stat : 31240 (java) S 31237 31240 27142 0 -1 1077944320 9105 12864 0 0 17 1 4 3 20 0 15 0 66668153 11078508544 11194 33554432000 4194304 4196468 140736333754448 140736333736992 140554909634295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
/proc/31240/statm: 2704714 11194 2954 1 0 2667149 0
[pid=31240/tid=31293] ppid=31237 vsize=10818856 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/31240/task/31293/stat : 31293 (java) R 31237 31240 27142 0 -1 4202560 5751 12864 0 0 11 1 4 3 20 0 15 0 66668162 11078508544 11194 33554432000 4194304 4196468 140736333754448 140554881431952 140554902741553 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31294] ppid=31237 vsize=10818856 memory=288292155783643526 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31294/stat : 31294 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 15 0 66668163 11078508544 11194 33554432000 4194304 4196468 140736333754448 140554913877136 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31295] ppid=31237 vsize=10818856 memory=400056 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31295/stat : 31295 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 15 0 66668163 11078508544 11194 33554432000 4194304 4196468 140736333754448 140554483325968 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31296] ppid=31237 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31296/stat : 31296 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 15 0 66668163 11078508544 11194 33554432000 4194304 4196468 140736333754448 140554482273168 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31297] ppid=31237 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31297/stat : 31297 (java) S 31237 31240 27142 0 -1 1077944384 2 12864 0 0 0 0 4 3 20 0 15 0 66668163 11078508544 11194 33554432000 4194304 4196468 140736333754448 140554481220368 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31298] ppid=31237 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31298/stat : 31298 (java) S 31237 31240 27142 0 -1 1077944384 2 12864 0 0 0 0 4 3 20 0 15 0 66668164 11078508544 11194 33554432000 4194304 4196468 140736333754448 140554436270448 140554909645442 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31299] ppid=31237 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31299/stat : 31299 (java) S 31237 31240 27142 0 -1 1077944384 13 12864 0 0 0 0 4 3 20 0 15 0 66668164 11078508544 11260 33554432000 4194304 4196468 140736333754448 140554214040608 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31300] ppid=31237 vsize=10818856 memory=139804024071808 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31300/stat : 31300 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 15 0 66668165 11078508544 11260 33554432000 4194304 4196468 140736333754448 140553744278384 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31301] ppid=31237 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31301/stat : 31301 (java) S 31237 31240 27142 0 -1 1077944384 3 12864 0 0 0 0 4 3 20 0 15 0 66668167 11078508544 11260 33554432000 4194304 4196468 140736333754448 140553436878672 140554909652891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31302] ppid=31237 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31240/task/31302/stat : 31302 (java) S 31237 31240 27142 0 -1 1077944384 541 12864 0 0 1 0 4 3 20 0 15 0 66668167 11078508544 11260 33554432000 4194304 4196468 140736333754448 140554435218288 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31303] ppid=31237 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31303/stat : 31303 (java) S 31237 31240 27142 0 -1 1077944384 54 12864 0 0 0 0 4 3 20 0 15 0 66668167 11078508544 11260 33554432000 4194304 4196468 140736333754448 140554434165488 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31304] ppid=31237 vsize=10818856 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/31240/task/31304/stat : 31304 (java) S 31237 31240 27142 0 -1 1077944384 539 12864 0 0 3 0 4 3 20 0 15 0 66668167 11078508544 11260 33554432000 4194304 4196468 140736333754448 140554433112688 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31305] ppid=31237 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31305/stat : 31305 (java) S 31237 31240 27142 0 -1 1077944384 3 12864 0 0 0 0 4 3 20 0 15 0 66668168 11078508544 11260 33554432000 4194304 4196468 140736333754448 140553403321056 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31306] ppid=31237 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31306/stat : 31306 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 15 0 66668168 11078508544 11260 33554432000 4194304 4196468 140736333754448 140554432060080 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 44776 KiB
[startup+0.31004 s]*
/proc/loadavg: 0.99 1.14 1.30 3/215 31306
/proc/meminfo: memFree=23772936/32770624 swapFree=67108860/67108860
[pid=31240] ppid=31237 vsize=10819352 memory=54264 CPUtime=0.38 cores=0,2,4,6
/proc/31240/stat : 31240 (java) S 31237 31240 27142 0 -1 1077944320 10640 12864 0 0 29 2 4 3 20 0 15 0 66668153 11079016448 13566 33554432000 4194304 4196468 140736333754448 140736333736992 140554909634295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
/proc/31240/statm: 2704838 13566 3085 1 0 2667149 0
[pid=31240/tid=31293] ppid=31237 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/31240/task/31293/stat : 31293 (java) R 31237 31240 27142 0 -1 4202560 7277 12864 0 0 20 2 4 3 20 0 15 0 66668162 11079016448 13566 33554432000 4194304 4196468 140736333754448 140554881446304 140554892821104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31294] ppid=31237 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31294/stat : 31294 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 15 0 66668163 11079016448 13566 33554432000 4194304 4196468 140736333754448 140554913877136 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31295] ppid=31237 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31295/stat : 31295 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 15 0 66668163 11079016448 13566 33554432000 4194304 4196468 140736333754448 140554483325968 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31296] ppid=31237 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31296/stat : 31296 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 15 0 66668163 11079016448 13566 33554432000 4194304 4196468 140736333754448 140554482273168 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31297] ppid=31237 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31297/stat : 31297 (java) S 31237 31240 27142 0 -1 1077944384 2 12864 0 0 0 0 4 3 20 0 15 0 66668163 11079016448 13566 33554432000 4194304 4196468 140736333754448 140554481220368 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31298] ppid=31237 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31298/stat : 31298 (java) S 31237 31240 27142 0 -1 1077944384 2 12864 0 0 0 0 4 3 20 0 15 0 66668164 11079016448 13566 33554432000 4194304 4196468 140736333754448 140554436270448 140554909645442 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31299] ppid=31237 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31299/stat : 31299 (java) S 31237 31240 27142 0 -1 1077944384 13 12864 0 0 0 0 4 3 20 0 15 0 66668164 11079016448 13566 33554432000 4194304 4196468 140736333754448 140554214040608 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31300] ppid=31237 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31300/stat : 31300 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 15 0 66668165 11079016448 13566 33554432000 4194304 4196468 140736333754448 140553744278384 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31301] ppid=31237 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31301/stat : 31301 (java) S 31237 31240 27142 0 -1 1077944384 3 12864 0 0 0 0 4 3 20 0 15 0 66668167 11079016448 13566 33554432000 4194304 4196468 140736333754448 140553436878672 140554909652891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31302] ppid=31237 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31240/task/31302/stat : 31302 (java) S 31237 31240 27142 0 -1 1077944384 542 12864 0 0 2 0 4 3 20 0 15 0 66668167 11079016448 13566 33554432000 4194304 4196468 140736333754448 140554435218288 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31303] ppid=31237 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31240/task/31303/stat : 31303 (java) S 31237 31240 27142 0 -1 1077944384 54 12864 0 0 1 0 4 3 20 0 15 0 66668167 11079016448 13566 33554432000 4194304 4196468 140736333754448 140554434165488 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31304] ppid=31237 vsize=10819352 memory=139804024071808 CPUtime=0.12 cores=0,2,4,6
/proc/31240/task/31304/stat : 31304 (java) S 31237 31240 27142 0 -1 1077944384 547 12864 0 0 5 0 4 3 20 0 15 0 66668167 11079016448 13566 33554432000 4194304 4196468 140736333754448 140554433112688 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31305] ppid=31237 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31305/stat : 31305 (java) S 31237 31240 27142 0 -1 1077944384 3 12864 0 0 0 0 4 3 20 0 15 0 66668168 11079016448 13566 33554432000 4194304 4196468 140736333754448 140553403321056 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31306] ppid=31237 vsize=10819352 memory=139804024071808 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31306/stat : 31306 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 15 0 66668168 11079016448 13566 33554432000 4194304 4196468 140736333754448 140554432060080 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54264 KiB
[startup+0.700741 s]
/proc/loadavg: 0.99 1.14 1.30 4/215 31306
/proc/meminfo: memFree=23764004/32770624 swapFree=67108860/67108860
[pid=31240] ppid=31237 vsize=10819352 memory=86812 CPUtime=0.98 cores=0,2,4,6
/proc/31240/stat : 31240 (java) S 31237 31240 27142 0 -1 1077944320 16832 12864 0 0 87 4 4 3 20 0 15 0 66668153 11079016448 21703 33554432000 4194304 4196468 140736333754448 140736333736992 140554909634295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
/proc/31240/statm: 2704838 21703 3237 1 0 2667149 0
[pid=31240/tid=31293] ppid=31237 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/31240/task/31293/stat : 31293 (java) R 31237 31240 27142 0 -1 4202560 12538 12864 0 0 56 3 4 3 20 0 15 0 66668162 11079016448 21703 33554432000 4194304 4196468 140736333754448 140554881455120 140554894799863 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31294] ppid=31237 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31294/stat : 31294 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 15 0 66668163 11079016448 21703 33554432000 4194304 4196468 140736333754448 140554913877136 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31295] ppid=31237 vsize=10819352 memory=2545304995585 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31295/stat : 31295 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 15 0 66668163 11079016448 21703 33554432000 4194304 4196468 140736333754448 140554483325968 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31296] ppid=31237 vsize=10819352 memory=448636822 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31296/stat : 31296 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 15 0 66668163 11079016448 21703 33554432000 4194304 4196468 140736333754448 140554482273168 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31297] ppid=31237 vsize=10819352 memory=-7453528518462155811 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31297/stat : 31297 (java) S 31237 31240 27142 0 -1 1077944384 2 12864 0 0 0 0 4 3 20 0 15 0 66668163 11079016448 21703 33554432000 4194304 4196468 140736333754448 140554481220368 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31298] ppid=31237 vsize=10819352 memory=5864918620180207713 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31298/stat : 31298 (java) S 31237 31240 27142 0 -1 1077944384 5 12864 0 0 0 0 4 3 20 0 15 0 66668164 11079016448 21703 33554432000 4194304 4196468 140736333754448 140554436270448 140554909645442 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31299] ppid=31237 vsize=10819352 memory=7597685182856913236 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31299/stat : 31299 (java) S 31237 31240 27142 0 -1 1077944384 13 12864 0 0 0 0 4 3 20 0 15 0 66668164 11079016448 21703 33554432000 4194304 4196468 140736333754448 140554214040608 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31300] ppid=31237 vsize=10819352 memory=12792 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31300/stat : 31300 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 15 0 66668165 11079016448 21703 33554432000 4194304 4196468 140736333754448 140553744278384 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31301] ppid=31237 vsize=10819352 memory=4052 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31301/stat : 31301 (java) S 31237 31240 27142 0 -1 1077944384 3 12864 0 0 0 0 4 3 20 0 15 0 66668167 11079016448 21703 33554432000 4194304 4196468 140736333754448 140553436878672 140554909652891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31302] ppid=31237 vsize=10819352 memory=18444 CPUtime=0.17 cores=0,2,4,6
/proc/31240/task/31302/stat : 31302 (java) S 31237 31240 27142 0 -1 1077944384 1152 12864 0 0 10 0 4 3 20 0 15 0 66668167 11079016448 21703 33554432000 4194304 4196468 140736333754448 140554435218288 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31303] ppid=31237 vsize=10819352 memory=640 CPUtime=0.14 cores=0,2,4,6
/proc/31240/task/31303/stat : 31303 (java) S 31237 31240 27142 0 -1 1077944384 324 12864 0 0 7 0 4 3 20 0 15 0 66668167 11079016448 21703 33554432000 4194304 4196468 140736333754448 140554434165488 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31304] ppid=31237 vsize=10819352 memory=1784 CPUtime=0.2 cores=0,2,4,6
/proc/31240/task/31304/stat : 31304 (java) S 31237 31240 27142 0 -1 1077944384 595 12864 0 0 13 0 4 3 20 0 15 0 66668167 11079016448 21703 33554432000 4194304 4196468 140736333754448 140554433112688 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31305] ppid=31237 vsize=10819352 memory=1236 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31305/stat : 31305 (java) S 31237 31240 27142 0 -1 1077944384 3 12864 0 0 0 0 4 3 20 0 15 0 66668168 11079016448 21703 33554432000 4194304 4196468 140736333754448 140553403321056 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31306] ppid=31237 vsize=10819352 memory=960 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31306/stat : 31306 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 15 0 66668168 11079016448 21703 33554432000 4194304 4196468 140736333754448 140554432060080 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86812 KiB
[startup+1.50073 s]
/proc/loadavg: 0.99 1.14 1.30 4/215 31306
/proc/meminfo: memFree=23717796/32770624 swapFree=67108860/67108860
[pid=31240] ppid=31237 vsize=10834252 memory=178716 CPUtime=2.34 cores=0,2,4,6
/proc/31240/stat : 31240 (java) S 31237 31240 27142 0 -1 1077944320 23871 12864 0 0 218 9 4 3 20 0 15 0 66668153 11094274048 44679 33554432000 4194304 4196468 140736333754448 140736333736992 140554909634295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
/proc/31240/statm: 2708563 44679 3468 1 0 2670221 0
[pid=31240/tid=31293] ppid=31237 vsize=10834252 memory=6791534058613427641 CPUtime=1.42 cores=0,2,4,6
/proc/31240/task/31293/stat : 31293 (java) R 31237 31240 27142 0 -1 4202560 17832 12864 0 0 129 6 4 3 20 0 15 0 66668162 11094274048 44679 33554432000 4194304 4196468 140736333754448 140554881458432 140554893677925 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31294] ppid=31237 vsize=10834252 memory=1241 CPUtime=0.08 cores=0,2,4,6
/proc/31240/task/31294/stat : 31294 (java) S 31237 31240 27142 0 -1 1077944384 26 12864 0 0 1 0 4 3 20 0 15 0 66668163 11094274048 44679 33554432000 4194304 4196468 140736333754448 140554913877136 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31295] ppid=31237 vsize=10834252 memory=83660 CPUtime=0.08 cores=0,2,4,6
/proc/31240/task/31295/stat : 31295 (java) S 31237 31240 27142 0 -1 1077944384 183 12864 0 0 1 0 4 3 20 0 15 0 66668163 11094274048 44679 33554432000 4194304 4196468 140736333754448 140554483325968 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31296] ppid=31237 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31240/task/31296/stat : 31296 (java) S 31237 31240 27142 0 -1 1077944384 26 12864 0 0 1 0 4 3 20 0 15 0 66668163 11094274048 44679 33554432000 4194304 4196468 140736333754448 140554482273168 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31297] ppid=31237 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31240/task/31297/stat : 31297 (java) S 31237 31240 27142 0 -1 1077944384 61 12864 0 0 1 0 4 3 20 0 15 0 66668163 11094274048 44679 33554432000 4194304 4196468 140736333754448 140554481220368 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31298] ppid=31237 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31240/task/31298/stat : 31298 (java) S 31237 31240 27142 0 -1 1077944384 63 12864 0 0 1 0 4 3 20 0 15 0 66668164 11094274048 44679 33554432000 4194304 4196468 140736333754448 140554436270448 140554909645442 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31299] ppid=31237 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31299/stat : 31299 (java) S 31237 31240 27142 0 -1 1077944384 14 12864 0 0 0 0 4 3 20 0 15 0 66668164 11094274048 44679 33554432000 4194304 4196468 140736333754448 140554214040672 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31300] ppid=31237 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31300/stat : 31300 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 15 0 66668165 11094274048 44679 33554432000 4194304 4196468 140736333754448 140553744278400 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31301] ppid=31237 vsize=10834252 memory=468 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31301/stat : 31301 (java) S 31237 31240 27142 0 -1 1077944384 3 12864 0 0 0 0 4 3 20 0 15 0 66668167 11094274048 44679 33554432000 4194304 4196468 140736333754448 140553436878672 140554909652891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31302] ppid=31237 vsize=10834252 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/31240/task/31302/stat : 31302 (java) S 31237 31240 27142 0 -1 1077944384 1653 12864 0 0 26 0 4 3 20 0 15 0 66668167 11094274048 44679 33554432000 4194304 4196468 140736333754448 140554435218288 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31303] ppid=31237 vsize=10834252 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/31240/task/31303/stat : 31303 (java) S 31237 31240 27142 0 -1 1077944384 569 12864 0 0 18 0 4 3 20 0 15 0 66668167 11094274048 44679 33554432000 4194304 4196468 140736333754448 140554434165488 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31304] ppid=31237 vsize=10834252 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/31240/task/31304/stat : 31304 (java) R 31237 31240 27142 0 -1 4202560 1244 12864 0 0 36 0 4 3 20 0 15 0 66668167 11094274048 44679 33554432000 4194304 4196468 140736333754448 140554433112688 140554888503909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31305] ppid=31237 vsize=10834252 memory=6076014962360881540 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31305/stat : 31305 (java) S 31237 31240 27142 0 -1 1077944384 3 12864 0 0 0 0 4 3 20 0 15 0 66668168 11094274048 44679 33554432000 4194304 4196468 140736333754448 140553403321056 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31306] ppid=31237 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31306/stat : 31306 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 15 0 66668168 11094274048 44679 33554432000 4194304 4196468 140736333754448 140554432060080 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
################
# More data... #
################
/proc/31240/task/31293/stat : 31293 (java) R 31237 31240 27142 0 -1 4202560 104566 12864 0 0 235547 55 4 3 20 0 15 0 66668162 11180277760 283800 33554432000 4194304 4196468 140736333754448 140554881469536 140554520050816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31294] ppid=31237 vsize=10918240 memory=1135200 CPUtime=12.72 cores=0,2,4,6
/proc/31240/task/31294/stat : 31294 (java) S 31237 31240 27142 0 -1 1077944384 19083 12864 0 0 1213 52 4 3 20 0 15 0 66668163 11180277760 283800 33554432000 4194304 4196468 140736333754448 140554913877136 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31295] ppid=31237 vsize=10918240 memory=1135200 CPUtime=12.73 cores=0,2,4,6
/proc/31240/task/31295/stat : 31295 (java) S 31237 31240 27142 0 -1 1077944384 16490 12864 0 0 1218 48 4 3 20 0 15 0 66668163 11180277760 283800 33554432000 4194304 4196468 140736333754448 140554483325968 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31296] ppid=31237 vsize=10918240 memory=1135200 CPUtime=12.71 cores=0,2,4,6
/proc/31240/task/31296/stat : 31296 (java) S 31237 31240 27142 0 -1 1077944384 20154 12864 0 0 1213 51 4 3 20 0 15 0 66668163 11180277760 283800 33554432000 4194304 4196468 140736333754448 140554482273168 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31297] ppid=31237 vsize=10918240 memory=1135200 CPUtime=12.72 cores=0,2,4,6
/proc/31240/task/31297/stat : 31297 (java) S 31237 31240 27142 0 -1 1077944384 12920 12864 0 0 1213 52 4 3 20 0 15 0 66668163 11180277760 283800 33554432000 4194304 4196468 140736333754448 140554481220368 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31298] ppid=31237 vsize=10918240 memory=1135200 CPUtime=10.02 cores=0,2,4,6
/proc/31240/task/31298/stat : 31298 (java) S 31237 31240 27142 0 -1 1077944384 17531 12864 0 0 941 54 4 3 20 0 15 0 66668164 11180277760 283800 33554432000 4194304 4196468 140736333754448 140554436270448 140554909645442 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31299] ppid=31237 vsize=10918240 memory=1135200 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31299/stat : 31299 (java) S 31237 31240 27142 0 -1 1077944384 14 12864 0 0 0 0 4 3 20 0 15 0 66668164 11180277760 283800 33554432000 4194304 4196468 140736333754448 140554214040672 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31300] ppid=31237 vsize=10918240 memory=1135200 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31300/stat : 31300 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 15 0 66668165 11180277760 283800 33554432000 4194304 4196468 140736333754448 140553744278400 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31301] ppid=31237 vsize=10918240 memory=1135200 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31301/stat : 31301 (java) S 31237 31240 27142 0 -1 1077944384 3 12864 0 0 0 0 4 3 20 0 15 0 66668167 11180277760 283800 33554432000 4194304 4196468 140736333754448 140553436878672 140554909652891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31302] ppid=31237 vsize=10918240 memory=1135200 CPUtime=7.83 cores=0,2,4,6
/proc/31240/task/31302/stat : 31302 (java) S 31237 31240 27142 0 -1 1077944384 38181 12864 0 0 769 7 4 3 20 0 15 0 66668167 11180277760 283800 33554432000 4194304 4196468 140736333754448 140554435218288 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31303] ppid=31237 vsize=10918240 memory=1135200 CPUtime=8.1 cores=0,2,4,6
/proc/31240/task/31303/stat : 31303 (java) S 31237 31240 27142 0 -1 1077944384 37263 12864 0 0 796 7 4 3 20 0 15 0 66668167 11180277760 283800 33554432000 4194304 4196468 140736333754448 140554434165488 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31304] ppid=31237 vsize=10918240 memory=1135200 CPUtime=3.81 cores=0,2,4,6
/proc/31240/task/31304/stat : 31304 (java) S 31237 31240 27142 0 -1 1077944384 36003 12864 0 0 367 7 4 3 20 0 15 0 66668167 11180277760 283800 33554432000 4194304 4196468 140736333754448 140554433112688 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31305] ppid=31237 vsize=10918240 memory=1572 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31305/stat : 31305 (java) S 31237 31240 27142 0 -1 1077944384 3 12864 0 0 0 0 4 3 20 0 15 0 66668168 11180277760 283800 33554432000 4194304 4196468 140736333754448 140553403321056 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31306] ppid=31237 vsize=10918240 memory=1135200 CPUtime=1.44 cores=0,2,4,6
/proc/31240/task/31306/stat : 31306 (java) S 31237 31240 27142 0 -1 1077944384 2470 12864 0 0 71 66 4 3 20 0 15 0 66668168 11180277760 283800 33554432000 4194304 4196468 140736333754448 140554432060080 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
Current children cumulated CPU time: 2437.64 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1135200 KiB
[startup+2442.3 s]
/proc/loadavg: 1.14 1.26 1.36 3/215 31679
/proc/meminfo: memFree=22644756/32770624 swapFree=67108860/67108860
[pid=31240] ppid=31237 vsize=10918240 memory=1137252 CPUtime=2498.54 cores=0,2,4,6
/proc/31240/stat : 31240 (java) S 31237 31240 27142 0 -1 1077944320 308524 12864 0 0 249491 356 4 3 20 0 15 0 66668153 11180277760 284313 33554432000 4194304 4196468 140736333754448 140736333736992 140554909634295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
/proc/31240/statm: 2729560 284313 3531 1 0 2691213 0
[pid=31240/tid=31293] ppid=31237 vsize=10918240 memory=11956 CPUtime=2415.41 cores=0,2,4,6
/proc/31240/task/31293/stat : 31293 (java) R 31237 31240 27142 0 -1 4202560 105313 12864 0 0 241478 56 4 3 20 0 15 0 66668162 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554881469952 140554520345813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31294] ppid=31237 vsize=10918240 memory=1137252 CPUtime=13.05 cores=0,2,4,6
/proc/31240/task/31294/stat : 31294 (java) S 31237 31240 27142 0 -1 1077944384 19131 12864 0 0 1244 54 4 3 20 0 15 0 66668163 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554913877136 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31295] ppid=31237 vsize=10918240 memory=1135204 CPUtime=13.06 cores=0,2,4,6
/proc/31240/task/31295/stat : 31295 (java) S 31237 31240 27142 0 -1 1077944384 16590 12864 0 0 1249 50 4 3 20 0 15 0 66668163 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554483325968 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31296] ppid=31237 vsize=10918240 memory=1135204 CPUtime=13.03 cores=0,2,4,6
/proc/31240/task/31296/stat : 31296 (java) S 31237 31240 27142 0 -1 1077944384 20194 12864 0 0 1244 52 4 3 20 0 15 0 66668163 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554482273168 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31297] ppid=31237 vsize=10918240 memory=1135200 CPUtime=13.05 cores=0,2,4,6
/proc/31240/task/31297/stat : 31297 (java) S 31237 31240 27142 0 -1 1077944384 12990 12864 0 0 1245 53 4 3 20 0 15 0 66668163 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554481220368 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31298] ppid=31237 vsize=10918240 memory=1135204 CPUtime=10.28 cores=0,2,4,6
/proc/31240/task/31298/stat : 31298 (java) S 31237 31240 27142 0 -1 1077944384 17732 12864 0 0 965 56 4 3 20 0 15 0 66668164 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554436270448 140554909645442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31299] ppid=31237 vsize=10918240 memory=1135204 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31299/stat : 31299 (java) S 31237 31240 27142 0 -1 1077944384 14 12864 0 0 0 0 4 3 20 0 15 0 66668164 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554214040672 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31300] ppid=31237 vsize=10918240 memory=1137252 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31300/stat : 31300 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 15 0 66668165 11180277760 284313 33554432000 4194304 4196468 140736333754448 140553744278400 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31301] ppid=31237 vsize=10918240 memory=1137252 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31301/stat : 31301 (java) S 31237 31240 27142 0 -1 1077944384 3 12864 0 0 0 0 4 3 20 0 15 0 66668167 11180277760 284313 33554432000 4194304 4196468 140736333754448 140553436878672 140554909652891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31302] ppid=31237 vsize=10918240 memory=1137252 CPUtime=7.83 cores=0,2,4,6
/proc/31240/task/31302/stat : 31302 (java) S 31237 31240 27142 0 -1 1077944384 38185 12864 0 0 769 7 4 3 20 0 15 0 66668167 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554435218288 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31303] ppid=31237 vsize=10918240 memory=1728 CPUtime=8.1 cores=0,2,4,6
/proc/31240/task/31303/stat : 31303 (java) S 31237 31240 27142 0 -1 1077944384 37267 12864 0 0 796 7 4 3 20 0 15 0 66668167 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554434165488 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31304] ppid=31237 vsize=10918240 memory=1137252 CPUtime=3.81 cores=0,2,4,6
/proc/31240/task/31304/stat : 31304 (java) S 31237 31240 27142 0 -1 1077944384 36412 12864 0 0 367 7 4 3 20 0 15 0 66668167 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554433112688 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31305] ppid=31237 vsize=10918240 memory=1135204 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31305/stat : 31305 (java) S 31237 31240 27142 0 -1 1077944384 3 12864 0 0 0 0 4 3 20 0 15 0 66668168 11180277760 284313 33554432000 4194304 4196468 140736333754448 140553403321056 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31306] ppid=31237 vsize=10918240 memory=1137252 CPUtime=1.46 cores=0,2,4,6
/proc/31240/task/31306/stat : 31306 (java) S 31237 31240 27142 0 -1 1077944384 2497 12864 0 0 72 67 4 3 20 0 15 0 66668168 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554432060080 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
Current children cumulated CPU time: 2498.54 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1137252 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2463.51 s]
/proc/loadavg: 1.11 1.24 1.35 3/215 31680
/proc/meminfo: memFree=22644240/32770624 swapFree=67108860/67108860
[pid=31240] ppid=31237 vsize=10918240 memory=1137252 CPUtime=2520.05 cores=0,2,4,6
/proc/31240/stat : 31240 (java) S 31237 31240 27142 0 -1 1077944320 308686 12864 0 0 251640 358 4 3 20 0 15 0 66668153 11180277760 284313 33554432000 4194304 4196468 140736333754448 140736333736992 140554909634295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
/proc/31240/statm: 2729560 284313 3531 1 0 2691213 0
[pid=31240/tid=31293] ppid=31237 vsize=10918240 memory=1137252 CPUtime=2436.4 cores=0,2,4,6
/proc/31240/task/31293/stat : 31293 (java) R 31237 31240 27142 0 -1 4202560 105456 12864 0 0 243576 57 4 3 20 0 15 0 66668162 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554881469744 140554520432767 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31294] ppid=31237 vsize=10918240 memory=1135200 CPUtime=13.15 cores=0,2,4,6
/proc/31240/task/31294/stat : 31294 (java) S 31237 31240 27142 0 -1 1077944384 19136 12864 0 0 1254 54 4 3 20 0 15 0 66668163 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554913877136 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31295] ppid=31237 vsize=10918240 memory=1135200 CPUtime=13.16 cores=0,2,4,6
/proc/31240/task/31295/stat : 31295 (java) S 31237 31240 27142 0 -1 1077944384 16591 12864 0 0 1258 51 4 3 20 0 15 0 66668163 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554483325968 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31296] ppid=31237 vsize=10918240 memory=1135204 CPUtime=13.14 cores=0,2,4,6
/proc/31240/task/31296/stat : 31296 (java) S 31237 31240 27142 0 -1 1077944384 20194 12864 0 0 1255 52 4 3 20 0 15 0 66668163 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554482273168 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31297] ppid=31237 vsize=10918240 memory=1137252 CPUtime=13.15 cores=0,2,4,6
/proc/31240/task/31297/stat : 31297 (java) S 31237 31240 27142 0 -1 1077944384 12991 12864 0 0 1255 53 4 3 20 0 15 0 66668163 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554481220368 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31298] ppid=31237 vsize=10918240 memory=1137252 CPUtime=10.36 cores=0,2,4,6
/proc/31240/task/31298/stat : 31298 (java) S 31237 31240 27142 0 -1 1077944384 17742 12864 0 0 973 56 4 3 20 0 15 0 66668164 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554436270448 140554909645442 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31299] ppid=31237 vsize=10918240 memory=1137252 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31299/stat : 31299 (java) S 31237 31240 27142 0 -1 1077944384 14 12864 0 0 0 0 4 3 20 0 15 0 66668164 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554214040672 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31300] ppid=31237 vsize=10918240 memory=1137252 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31300/stat : 31300 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 15 0 66668165 11180277760 284313 33554432000 4194304 4196468 140736333754448 140553744278400 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31301] ppid=31237 vsize=10918240 memory=1137252 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31301/stat : 31301 (java) S 31237 31240 27142 0 -1 1077944384 3 12864 0 0 0 0 4 3 20 0 15 0 66668167 11180277760 284313 33554432000 4194304 4196468 140736333754448 140553436878672 140554909652891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31302] ppid=31237 vsize=10918240 memory=1137252 CPUtime=7.83 cores=0,2,4,6
/proc/31240/task/31302/stat : 31302 (java) S 31237 31240 27142 0 -1 1077944384 38185 12864 0 0 769 7 4 3 20 0 15 0 66668167 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554435218288 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31303] ppid=31237 vsize=10918240 memory=1137252 CPUtime=8.1 cores=0,2,4,6
/proc/31240/task/31303/stat : 31303 (java) S 31237 31240 27142 0 -1 1077944384 37267 12864 0 0 796 7 4 3 20 0 15 0 66668167 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554434165488 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31304] ppid=31237 vsize=10918240 memory=4028 CPUtime=3.81 cores=0,2,4,6
/proc/31240/task/31304/stat : 31304 (java) S 31237 31240 27142 0 -1 1077944384 36412 12864 0 0 367 7 4 3 20 0 15 0 66668167 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554433112688 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31305] ppid=31237 vsize=10918240 memory=20168 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31305/stat : 31305 (java) S 31237 31240 27142 0 -1 1077944384 3 12864 0 0 0 0 4 3 20 0 15 0 66668168 11180277760 284313 33554432000 4194304 4196468 140736333754448 140553403321056 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31306] ppid=31237 vsize=10918240 memory=1137252 CPUtime=1.48 cores=0,2,4,6
/proc/31240/task/31306/stat : 31306 (java) S 31237 31240 27142 0 -1 1077944384 2499 12864 0 0 73 68 4 3 20 0 15 0 66668168 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554432060080 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1137252 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2463.54 s]
# the end of solver process 31240 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.47 s, system=3.62441 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2463.51 s]
/proc/loadavg: 1.11 1.24 1.35 3/215 31680
/proc/meminfo: memFree=22644240/32770624 swapFree=67108860/67108860
[pid=31240] ppid=31237 vsize=10918240 memory=1137252 CPUtime=2520.05 cores=0,2,4,6
/proc/31240/stat : 31240 (java) S 31237 31240 27142 0 -1 1077944320 308686 12864 0 0 251640 358 4 3 20 0 15 0 66668153 11180277760 284313 33554432000 4194304 4196468 140736333754448 140736333736992 140554909634295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
/proc/31240/statm: 2729560 284313 3531 1 0 2691213 0
[pid=31240/tid=31293] ppid=31237 vsize=10918240 memory=1137252 CPUtime=2436.4 cores=0,2,4,6
/proc/31240/task/31293/stat : 31293 (java) R 31237 31240 27142 0 -1 4202560 105456 12864 0 0 243576 57 4 3 20 0 15 0 66668162 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554881469744 140554520432767 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31294] ppid=31237 vsize=10918240 memory=1135200 CPUtime=13.15 cores=0,2,4,6
/proc/31240/task/31294/stat : 31294 (java) S 31237 31240 27142 0 -1 1077944384 19136 12864 0 0 1254 54 4 3 20 0 15 0 66668163 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554913877136 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31295] ppid=31237 vsize=10918240 memory=1135200 CPUtime=13.16 cores=0,2,4,6
/proc/31240/task/31295/stat : 31295 (java) S 31237 31240 27142 0 -1 1077944384 16591 12864 0 0 1258 51 4 3 20 0 15 0 66668163 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554483325968 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31296] ppid=31237 vsize=10918240 memory=1135204 CPUtime=13.14 cores=0,2,4,6
/proc/31240/task/31296/stat : 31296 (java) S 31237 31240 27142 0 -1 1077944384 20194 12864 0 0 1255 52 4 3 20 0 15 0 66668163 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554482273168 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31297] ppid=31237 vsize=10918240 memory=1137252 CPUtime=13.15 cores=0,2,4,6
/proc/31240/task/31297/stat : 31297 (java) S 31237 31240 27142 0 -1 1077944384 12991 12864 0 0 1255 53 4 3 20 0 15 0 66668163 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554481220368 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31298] ppid=31237 vsize=10918240 memory=1137252 CPUtime=10.36 cores=0,2,4,6
/proc/31240/task/31298/stat : 31298 (java) S 31237 31240 27142 0 -1 1077944384 17742 12864 0 0 973 56 4 3 20 0 15 0 66668164 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554436270448 140554909645442 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31299] ppid=31237 vsize=10918240 memory=1137252 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31299/stat : 31299 (java) S 31237 31240 27142 0 -1 1077944384 14 12864 0 0 0 0 4 3 20 0 15 0 66668164 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554214040672 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31300] ppid=31237 vsize=10918240 memory=1137252 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31300/stat : 31300 (java) S 31237 31240 27142 0 -1 1077944384 1 12864 0 0 0 0 4 3 20 0 15 0 66668165 11180277760 284313 33554432000 4194304 4196468 140736333754448 140553744278400 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31301] ppid=31237 vsize=10918240 memory=1137252 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31301/stat : 31301 (java) S 31237 31240 27142 0 -1 1077944384 3 12864 0 0 0 0 4 3 20 0 15 0 66668167 11180277760 284313 33554432000 4194304 4196468 140736333754448 140553436878672 140554909652891 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31302] ppid=31237 vsize=10918240 memory=1137252 CPUtime=7.83 cores=0,2,4,6
/proc/31240/task/31302/stat : 31302 (java) S 31237 31240 27142 0 -1 1077944384 38185 12864 0 0 769 7 4 3 20 0 15 0 66668167 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554435218288 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31303] ppid=31237 vsize=10918240 memory=1137252 CPUtime=8.1 cores=0,2,4,6
/proc/31240/task/31303/stat : 31303 (java) S 31237 31240 27142 0 -1 1077944384 37267 12864 0 0 796 7 4 3 20 0 15 0 66668167 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554434165488 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31304] ppid=31237 vsize=10918240 memory=4028 CPUtime=3.81 cores=0,2,4,6
/proc/31240/task/31304/stat : 31304 (java) S 31237 31240 27142 0 -1 1077944384 36412 12864 0 0 367 7 4 3 20 0 15 0 66668167 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554433112688 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31305] ppid=31237 vsize=10918240 memory=20168 CPUtime=0.07 cores=0,2,4,6
/proc/31240/task/31305/stat : 31305 (java) S 31237 31240 27142 0 -1 1077944384 3 12864 0 0 0 0 4 3 20 0 15 0 66668168 11180277760 284313 33554432000 4194304 4196468 140736333754448 140553403321056 140554909644501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
[pid=31240/tid=31306] ppid=31237 vsize=10918240 memory=1137252 CPUtime=1.48 cores=0,2,4,6
/proc/31240/task/31306/stat : 31306 (java) S 31237 31240 27142 0 -1 1077944384 2499 12864 0 0 73 68 4 3 20 0 15 0 66668168 11180277760 284313 33554432000 4194304 4196468 140736333754448 140554432060080 140554909645442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 30396416 140736333760683 140736333763932 140736333763932 140736333766607 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1137252 KiB
Child status: 143
Real time (s): 2463.54
CPU time (s): 2520.09
CPU user time (s): 2516.47
CPU system time (s): 3.62441
CPU usage (%): 102.296
Max. virtual memory (cumulated for all children) (KiB): 10918832
Max. memory (cumulated for all children) (KiB): 1137252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.47
system time used= 3.62441
maximum resident set size= 1141468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322052
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 279182
involuntary context switches= 8941
# summary of solver processes directly reported to runsolver:
# pid: 31240
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.47
# total CPU system time (s): 3.62441
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8547 second user time and 22.8598 second system time
The end