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 (4645 MiB free)
memory of node 1: 16384 MiB (9300 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294053-1532422302/watcher-4294053-1532422302 -o /tmp/evaluation-result-4294053-1532422302/solver-4294053-1532422302 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532414812-13980 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=188195606 HOME/instance-4294053-1532422302.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=15628, runsolver pid=15625
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 1.16 1.20 1.33 3/207 15685
/proc/meminfo: memFree=14273232/32770624 swapFree=67108852/67108860
[pid=15628] ppid=15625 vsize=9972712 memory=18856 CPUtime=0.08 cores=0,2,4,6
/proc/15628/stat : 15628 (java) S 15625 15628 13949 0 -1 1077944320 4322 12929 0 0 1 0 5 2 20 0 6 0 59793399 10212057088 4714 33554432000 4194304 4196468 140725730912528 140725730895072 140391016853239 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
/proc/15628/statm: 2493178 4714 1934 1 0 2481616 0
[pid=15628/tid=15681] ppid=15625 vsize=9972712 memory=4279135704013833615 CPUtime=0.08 cores=0,2,4,6
/proc/15628/task/15681/stat : 15681 (java) R 15625 15628 13949 0 -1 4202560 2130 12929 0 0 1 0 5 2 20 0 6 0 59793408 10212057088 4714 33554432000 4194304 4196468 140725730912528 140390988690000 140391016875165 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15682] ppid=15625 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15682/stat : 15682 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 6 0 59793409 10212057088 4714 33554432000 4194304 4196468 140725730912528 140391021095568 140391016863445 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15683] ppid=15625 vsize=9972712 memory=139685112546944 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15683/stat : 15683 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 6 0 59793409 10212057088 4714 33554432000 4194304 4196468 140725730912528 140390939847184 140391016863445 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15684] ppid=15625 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15684/stat : 15684 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 6 0 59793409 10212057088 4714 33554432000 4194304 4196468 140725730912528 140390588930448 140391016863445 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15685] ppid=15625 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15685/stat : 15685 (java) S 15625 15628 13949 0 -1 1077944384 2 12929 0 0 0 0 5 2 20 0 6 0 59793409 10212057088 4714 33554432000 4194304 4196468 140725730912528 140390587877648 140391016863445 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18856 KiB
[startup+0.209857 s]*
/proc/loadavg: 1.16 1.20 1.33 3/216 15694
/proc/meminfo: memFree=14249252/32770624 swapFree=67108852/67108860
[pid=15628] ppid=15625 vsize=10818904 memory=44004 CPUtime=0.24 cores=0,2,4,6
/proc/15628/stat : 15628 (java) S 15625 15628 13949 0 -1 1077944320 7182 12929 0 0 16 1 5 2 20 0 15 0 59793399 11078557696 11001 33554432000 4194304 4196468 140725730912528 140725730895072 140391016853239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
/proc/15628/statm: 2704726 11001 2958 1 0 2667149 0
[pid=15628/tid=15681] ppid=15625 vsize=10818904 memory=7022364594140610616 CPUtime=0.17 cores=0,2,4,6
/proc/15628/task/15681/stat : 15681 (java) R 15625 15628 13949 0 -1 4202560 3769 12929 0 0 10 0 5 2 20 0 15 0 59793408 11078557696 11001 33554432000 4194304 4196468 140725730912528 140390988670352 140391009090366 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15682] ppid=15625 vsize=10818904 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15682/stat : 15682 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 15 0 59793409 11078557696 11001 33554432000 4194304 4196468 140725730912528 140391021095568 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15683] ppid=15625 vsize=10818904 memory=139685112877406 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15683/stat : 15683 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 15 0 59793409 11078557696 11001 33554432000 4194304 4196468 140725730912528 140390939847184 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15684] ppid=15625 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15684/stat : 15684 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 15 0 59793409 11078557696 11001 33554432000 4194304 4196468 140725730912528 140390588930448 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15685] ppid=15625 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15685/stat : 15685 (java) S 15625 15628 13949 0 -1 1077944384 2 12929 0 0 0 0 5 2 20 0 15 0 59793409 11078557696 11001 33554432000 4194304 4196468 140725730912528 140390587877648 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15686] ppid=15625 vsize=10818904 memory=139685112546944 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15686/stat : 15686 (java) S 15625 15628 13949 0 -1 1077944384 2 12929 0 0 0 0 5 2 20 0 15 0 59793410 11078557696 11067 33554432000 4194304 4196468 140725730912528 140390543436656 140391016864386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15687] ppid=15625 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15687/stat : 15687 (java) S 15625 15628 13949 0 -1 1077944384 13 12929 0 0 0 0 5 2 20 0 15 0 59793411 11078557696 11067 33554432000 4194304 4196468 140725730912528 140390468412960 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15688] ppid=15625 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15688/stat : 15688 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 15 0 59793411 11078557696 11067 33554432000 4194304 4196468 140725730912528 140390334195056 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15689] ppid=15625 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15689/stat : 15689 (java) S 15625 15628 13949 0 -1 1077944384 2 12929 0 0 0 0 5 2 20 0 15 0 59793414 11078557696 11067 33554432000 4194304 4196468 140725730912528 140389730216272 140391016871835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15690] ppid=15625 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15690/stat : 15690 (java) S 15625 15628 13949 0 -1 1077944384 539 12929 0 0 0 0 5 2 20 0 15 0 59793414 11078557696 11067 33554432000 4194304 4196468 140725730912528 140390542383472 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15691] ppid=15625 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15628/task/15691/stat : 15691 (java) S 15625 15628 13949 0 -1 1077944384 64 12929 0 0 1 0 5 2 20 0 15 0 59793414 11078557696 11067 33554432000 4194304 4196468 140725730912528 140390541330672 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15692] ppid=15625 vsize=10818904 memory=139685112546944 CPUtime=0.1 cores=0,2,4,6
/proc/15628/task/15692/stat : 15692 (java) S 15625 15628 13949 0 -1 1077944384 632 12929 0 0 3 0 5 2 20 0 15 0 59793414 11078557696 11067 33554432000 4194304 4196468 140725730912528 140390540277872 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15693] ppid=15625 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15693/stat : 15693 (java) S 15625 15628 13949 0 -1 1077944384 3 12929 0 0 0 0 5 2 20 0 15 0 59793414 11078557696 11067 33554432000 4194304 4196468 140725730912528 140389260454112 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15694] ppid=15625 vsize=10818904 memory=139685112546944 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15694/stat : 15694 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 15 0 59793414 11078557696 11067 33554432000 4194304 4196468 140725730912528 140390539226288 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 44004 KiB
[startup+0.310156 s]*
/proc/loadavg: 1.16 1.20 1.33 3/216 15694
/proc/meminfo: memFree=14237716/32770624 swapFree=67108852/67108860
[pid=15628] ppid=15625 vsize=10819352 memory=57160 CPUtime=0.37 cores=0,2,4,6
/proc/15628/stat : 15628 (java) S 15625 15628 13949 0 -1 1077944320 10374 12929 0 0 28 2 5 2 20 0 15 0 59793399 11079016448 14290 33554432000 4194304 4196468 140725730912528 140725730895072 140391016853239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
/proc/15628/statm: 2704838 14290 3077 1 0 2667149 0
[pid=15628/tid=15681] ppid=15625 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/15628/task/15681/stat : 15681 (java) R 15625 15628 13949 0 -1 4202560 6901 12929 0 0 19 1 5 2 20 0 15 0 59793408 11079016448 14290 33554432000 4194304 4196468 140725730912528 140390988665248 140391000933726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15682] ppid=15625 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15682/stat : 15682 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 15 0 59793409 11079016448 14290 33554432000 4194304 4196468 140725730912528 140391021095568 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15683] ppid=15625 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15683/stat : 15683 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 15 0 59793409 11079016448 14290 33554432000 4194304 4196468 140725730912528 140390939847184 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15684] ppid=15625 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15684/stat : 15684 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 15 0 59793409 11079016448 14290 33554432000 4194304 4196468 140725730912528 140390588930448 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15685] ppid=15625 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15685/stat : 15685 (java) S 15625 15628 13949 0 -1 1077944384 2 12929 0 0 0 0 5 2 20 0 15 0 59793409 11079016448 14290 33554432000 4194304 4196468 140725730912528 140390587877648 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15686] ppid=15625 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15686/stat : 15686 (java) S 15625 15628 13949 0 -1 1077944384 2 12929 0 0 0 0 5 2 20 0 15 0 59793410 11079016448 14290 33554432000 4194304 4196468 140725730912528 140390543436656 140391016864386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15687] ppid=15625 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15687/stat : 15687 (java) S 15625 15628 13949 0 -1 1077944384 13 12929 0 0 0 0 5 2 20 0 15 0 59793411 11079016448 14290 33554432000 4194304 4196468 140725730912528 140390468412960 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15688] ppid=15625 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15688/stat : 15688 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 15 0 59793411 11079016448 14290 33554432000 4194304 4196468 140725730912528 140390334195056 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15689] ppid=15625 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15689/stat : 15689 (java) S 15625 15628 13949 0 -1 1077944384 2 12929 0 0 0 0 5 2 20 0 15 0 59793414 11079016448 14290 33554432000 4194304 4196468 140725730912528 140389730216272 140391016871835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15690] ppid=15625 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15628/task/15690/stat : 15690 (java) S 15625 15628 13949 0 -1 1077944384 541 12929 0 0 1 0 5 2 20 0 15 0 59793414 11079016448 14290 33554432000 4194304 4196468 140725730912528 140390542383472 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15691] ppid=15625 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15628/task/15691/stat : 15691 (java) S 15625 15628 13949 0 -1 1077944384 64 12929 0 0 1 0 5 2 20 0 15 0 59793414 11079016448 14290 33554432000 4194304 4196468 140725730912528 140390541330672 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15692] ppid=15625 vsize=10819352 memory=139685112546944 CPUtime=0.11 cores=0,2,4,6
/proc/15628/task/15692/stat : 15692 (java) S 15625 15628 13949 0 -1 1077944384 653 12929 0 0 4 0 5 2 20 0 15 0 59793414 11079016448 14290 33554432000 4194304 4196468 140725730912528 140390540277872 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15693] ppid=15625 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15693/stat : 15693 (java) S 15625 15628 13949 0 -1 1077944384 3 12929 0 0 0 0 5 2 20 0 15 0 59793414 11079016448 14290 33554432000 4194304 4196468 140725730912528 140389260454112 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15694] ppid=15625 vsize=10819352 memory=139685112546944 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15694/stat : 15694 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 15 0 59793414 11079016448 14290 33554432000 4194304 4196468 140725730912528 140390539226288 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 57160 KiB
[startup+0.700772 s]
/proc/loadavg: 1.16 1.20 1.33 3/216 15694
/proc/meminfo: memFree=14227128/32770624 swapFree=67108852/67108860
[pid=15628] ppid=15625 vsize=10819352 memory=90560 CPUtime=0.98 cores=0,2,4,6
/proc/15628/stat : 15628 (java) S 15625 15628 13949 0 -1 1077944320 16736 12929 0 0 87 4 5 2 20 0 15 0 59793399 11079016448 22640 33554432000 4194304 4196468 140725730912528 140725730895072 140391016853239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
/proc/15628/statm: 2704838 22640 3238 1 0 2667149 0
[pid=15628/tid=15681] ppid=15625 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/15628/task/15681/stat : 15681 (java) R 15625 15628 13949 0 -1 4202560 12142 12929 0 0 56 3 5 2 20 0 15 0 59793408 11079016448 22640 33554432000 4194304 4196468 140725730912528 140390988674064 140391001168476 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15682] ppid=15625 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15682/stat : 15682 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 15 0 59793409 11079016448 22640 33554432000 4194304 4196468 140725730912528 140391021095568 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15683] ppid=15625 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15683/stat : 15683 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 15 0 59793409 11079016448 22640 33554432000 4194304 4196468 140725730912528 140390939847184 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15684] ppid=15625 vsize=10819352 memory=139684953076528 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15684/stat : 15684 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 15 0 59793409 11079016448 22640 33554432000 4194304 4196468 140725730912528 140390588930448 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15685] ppid=15625 vsize=10819352 memory=139685221368396 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15685/stat : 15685 (java) S 15625 15628 13949 0 -1 1077944384 2 12929 0 0 0 0 5 2 20 0 15 0 59793409 11079016448 22640 33554432000 4194304 4196468 140725730912528 140390587877648 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15686] ppid=15625 vsize=10819352 memory=4612 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15686/stat : 15686 (java) S 15625 15628 13949 0 -1 1077944384 5 12929 0 0 0 0 5 2 20 0 15 0 59793410 11079016448 22640 33554432000 4194304 4196468 140725730912528 140390543436656 140391016864386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15687] ppid=15625 vsize=10819352 memory=4639098309541128813 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15687/stat : 15687 (java) S 15625 15628 13949 0 -1 1077944384 13 12929 0 0 0 0 5 2 20 0 15 0 59793411 11079016448 22640 33554432000 4194304 4196468 140725730912528 140390468412960 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15688] ppid=15625 vsize=10819352 memory=7885635084775281010 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15688/stat : 15688 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 15 0 59793411 11079016448 22640 33554432000 4194304 4196468 140725730912528 140390334195056 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15689] ppid=15625 vsize=10819352 memory=4044 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15689/stat : 15689 (java) S 15625 15628 13949 0 -1 1077944384 2 12929 0 0 0 0 5 2 20 0 15 0 59793414 11079016448 22640 33554432000 4194304 4196468 140725730912528 140389730216272 140391016871835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15690] ppid=15625 vsize=10819352 memory=11240 CPUtime=0.17 cores=0,2,4,6
/proc/15628/task/15690/stat : 15690 (java) S 15625 15628 13949 0 -1 1077944384 1196 12929 0 0 10 0 5 2 20 0 15 0 59793414 11079016448 22640 33554432000 4194304 4196468 140725730912528 140390542383472 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15691] ppid=15625 vsize=10819352 memory=16432 CPUtime=0.13 cores=0,2,4,6
/proc/15628/task/15691/stat : 15691 (java) S 15625 15628 13949 0 -1 1077944384 434 12929 0 0 6 0 5 2 20 0 15 0 59793414 11079016448 22640 33554432000 4194304 4196468 140725730912528 140390541330672 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15692] ppid=15625 vsize=10819352 memory=1792 CPUtime=0.2 cores=0,2,4,6
/proc/15628/task/15692/stat : 15692 (java) S 15625 15628 13949 0 -1 1077944384 747 12929 0 0 13 0 5 2 20 0 15 0 59793414 11079016448 22640 33554432000 4194304 4196468 140725730912528 140390540277872 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15693] ppid=15625 vsize=10819352 memory=644 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15693/stat : 15693 (java) S 15625 15628 13949 0 -1 1077944384 3 12929 0 0 0 0 5 2 20 0 15 0 59793414 11079016448 22640 33554432000 4194304 4196468 140725730912528 140389260454112 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15694] ppid=15625 vsize=10819352 memory=956 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15694/stat : 15694 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 15 0 59793414 11079016448 22640 33554432000 4194304 4196468 140725730912528 140390539226288 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90560 KiB
[startup+1.50069 s]
/proc/loadavg: 1.15 1.20 1.33 4/216 15694
/proc/meminfo: memFree=14181336/32770624 swapFree=67108852/67108860
[pid=15628] ppid=15625 vsize=10834252 memory=181456 CPUtime=2.27 cores=0,2,4,6
/proc/15628/stat : 15628 (java) S 15625 15628 13949 0 -1 1077944320 23996 12929 0 0 211 9 5 2 20 0 15 0 59793399 11094274048 45364 33554432000 4194304 4196468 140725730912528 140725730895072 140391016853239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
/proc/15628/statm: 2708563 45364 3470 1 0 2670221 0
[pid=15628/tid=15681] ppid=15625 vsize=10834252 memory=67156 CPUtime=1.43 cores=0,2,4,6
/proc/15628/task/15681/stat : 15681 (java) R 15625 15628 13949 0 -1 4202560 17732 12929 0 0 130 6 5 2 20 0 15 0 59793408 11094274048 45364 33554432000 4194304 4196468 140725730912528 140390988684336 140391000052064 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15682] ppid=15625 vsize=10834252 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/15628/task/15682/stat : 15682 (java) S 15625 15628 13949 0 -1 1077944384 16 12929 0 0 1 0 5 2 20 0 15 0 59793409 11094274048 45364 33554432000 4194304 4196468 140725730912528 140391021095568 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15683] ppid=15625 vsize=10834252 memory=279369906184352 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15683/stat : 15683 (java) S 15625 15628 13949 0 -1 1077944384 49 12929 0 0 0 0 5 2 20 0 15 0 59793409 11094274048 45364 33554432000 4194304 4196468 140725730912528 140390939847184 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15684] ppid=15625 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15628/task/15684/stat : 15684 (java) S 15625 15628 13949 0 -1 1077944384 204 12929 0 0 1 0 5 2 20 0 15 0 59793409 11094274048 45382 33554432000 4194304 4196468 140725730912528 140390588930448 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15685] ppid=15625 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15628/task/15685/stat : 15685 (java) S 15625 15628 13949 0 -1 1077944384 37 12929 0 0 1 0 5 2 20 0 15 0 59793409 11094274048 45382 33554432000 4194304 4196468 140725730912528 140390587877648 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15686] ppid=15625 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15628/task/15686/stat : 15686 (java) S 15625 15628 13949 0 -1 1077944384 62 12929 0 0 1 0 5 2 20 0 15 0 59793410 11094274048 45382 33554432000 4194304 4196468 140725730912528 140390543436656 140391016864386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15687] ppid=15625 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15687/stat : 15687 (java) S 15625 15628 13949 0 -1 1077944384 14 12929 0 0 0 0 5 2 20 0 15 0 59793411 11094274048 45382 33554432000 4194304 4196468 140725730912528 140390468413024 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15688] ppid=15625 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15688/stat : 15688 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 15 0 59793411 11094274048 45382 33554432000 4194304 4196468 140725730912528 140390334195072 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15689] ppid=15625 vsize=10834252 memory=-5921431000321636112 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15689/stat : 15689 (java) S 15625 15628 13949 0 -1 1077944384 2 12929 0 0 0 0 5 2 20 0 15 0 59793414 11094274048 45382 33554432000 4194304 4196468 140725730912528 140389730216272 140391016871835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15690] ppid=15625 vsize=10834252 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/15628/task/15690/stat : 15690 (java) S 15625 15628 13949 0 -1 1077944384 1656 12929 0 0 23 0 5 2 20 0 15 0 59793414 11094274048 45382 33554432000 4194304 4196468 140725730912528 140390542383472 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15691] ppid=15625 vsize=10834252 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/15628/task/15691/stat : 15691 (java) S 15625 15628 13949 0 -1 1077944384 659 12929 0 0 17 0 5 2 20 0 15 0 59793414 11094274048 45382 33554432000 4194304 4196468 140725730912528 140390541330672 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15692] ppid=15625 vsize=10834252 memory=6791534058613427641 CPUtime=0.4 cores=0,2,4,6
/proc/15628/task/15692/stat : 15692 (java) R 15625 15628 13949 0 -1 4202560 1375 12929 0 0 33 0 5 2 20 0 15 0 59793414 11094274048 45382 33554432000 4194304 4196468 140725730912528 140390540277872 140390998425657 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15693] ppid=15625 vsize=10834252 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15693/stat : 15693 (java) S 15625 15628 13949 0 -1 1077944384 3 12929 0 0 0 0 5 2 20 0 15 0 59793414 11094274048 45382 33554432000 4194304 4196468 140725730912528 140389260454112 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15694] ppid=15625 vsize=10834252 memory=279369906428800 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15694/stat : 15694 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 15 0 59793414 11094274048 45382 33554432000 4194304 4196468 140725730912528 140390539226288 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
Current children cumulated CPU time: 2.27 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/15628/task/15681/stat : 15681 (java) R 15625 15628 13949 0 -1 4202560 100571 12929 0 0 235419 61 5 2 20 0 15 0 59793408 11178180608 269465 33554432000 4194304 4196468 140725730912528 140390988687824 140390634241415 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15682] ppid=15625 vsize=10916192 memory=1077860 CPUtime=12.19 cores=0,2,4,6
/proc/15628/task/15682/stat : 15682 (java) S 15625 15628 13949 0 -1 1077944384 14177 12929 0 0 1151 61 5 2 20 0 15 0 59793409 11178180608 269465 33554432000 4194304 4196468 140725730912528 140391021095568 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15683] ppid=15625 vsize=10916192 memory=1077860 CPUtime=12.2 cores=0,2,4,6
/proc/15628/task/15683/stat : 15683 (java) S 15625 15628 13949 0 -1 1077944384 20144 12929 0 0 1149 64 5 2 20 0 15 0 59793409 11178180608 269465 33554432000 4194304 4196468 140725730912528 140390939847184 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15684] ppid=15625 vsize=10916192 memory=1077860 CPUtime=12.16 cores=0,2,4,6
/proc/15628/task/15684/stat : 15684 (java) S 15625 15628 13949 0 -1 1077944384 10056 12929 0 0 1150 59 5 2 20 0 15 0 59793409 11178180608 269465 33554432000 4194304 4196468 140725730912528 140390588930448 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15685] ppid=15625 vsize=10916192 memory=1077860 CPUtime=12.22 cores=0,2,4,6
/proc/15628/task/15685/stat : 15685 (java) S 15625 15628 13949 0 -1 1077944384 13224 12929 0 0 1159 56 5 2 20 0 15 0 59793409 11178180608 269465 33554432000 4194304 4196468 140725730912528 140390587877648 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15686] ppid=15625 vsize=10916192 memory=4012 CPUtime=11.64 cores=0,2,4,6
/proc/15628/task/15686/stat : 15686 (java) S 15625 15628 13949 0 -1 1077944384 15867 12929 0 0 1101 56 5 2 20 0 15 0 59793410 11178180608 269465 33554432000 4194304 4196468 140725730912528 140390543436656 140391016864386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15687] ppid=15625 vsize=10916192 memory=1077860 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15687/stat : 15687 (java) S 15625 15628 13949 0 -1 1077944384 19 12929 0 0 0 0 5 2 20 0 15 0 59793411 11178180608 269465 33554432000 4194304 4196468 140725730912528 140390468413024 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15688] ppid=15625 vsize=10916192 memory=1077860 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15688/stat : 15688 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 15 0 59793411 11178180608 269465 33554432000 4194304 4196468 140725730912528 140390334195072 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15689] ppid=15625 vsize=10916192 memory=1077860 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15689/stat : 15689 (java) S 15625 15628 13949 0 -1 1077944384 2 12929 0 0 0 0 5 2 20 0 15 0 59793414 11178180608 269465 33554432000 4194304 4196468 140725730912528 140389730216272 140391016871835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15690] ppid=15625 vsize=10916192 memory=1077860 CPUtime=7.13 cores=0,2,4,6
/proc/15628/task/15690/stat : 15690 (java) S 15625 15628 13949 0 -1 1077944384 48445 12929 0 0 699 7 5 2 20 0 15 0 59793414 11178180608 269465 33554432000 4194304 4196468 140725730912528 140390542383472 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15691] ppid=15625 vsize=10916192 memory=1077860 CPUtime=6.24 cores=0,2,4,6
/proc/15628/task/15691/stat : 15691 (java) S 15625 15628 13949 0 -1 1077944384 43645 12929 0 0 610 7 5 2 20 0 15 0 59793414 11178180608 269465 33554432000 4194304 4196468 140725730912528 140390541330672 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15692] ppid=15625 vsize=10916192 memory=1077860 CPUtime=3.58 cores=0,2,4,6
/proc/15628/task/15692/stat : 15692 (java) S 15625 15628 13949 0 -1 1077944384 53139 12929 0 0 344 7 5 2 20 0 15 0 59793414 11178180608 269465 33554432000 4194304 4196468 140725730912528 140390540277872 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15693] ppid=15625 vsize=10916192 memory=1232 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15693/stat : 15693 (java) S 15625 15628 13949 0 -1 1077944384 3 12929 0 0 0 0 5 2 20 0 15 0 59793414 11178180608 269465 33554432000 4194304 4196468 140725730912528 140389260454112 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15694] ppid=15625 vsize=10916192 memory=1300 CPUtime=1.43 cores=0,2,4,6
/proc/15628/task/15694/stat : 15694 (java) S 15625 15628 13949 0 -1 1077944384 1961 12929 0 0 67 69 5 2 20 0 15 0 59793414 11178180608 269465 33554432000 4194304 4196468 140725730912528 140390539226288 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
Current children cumulated CPU time: 2433.13 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1077860 KiB
[startup+2442.3 s]
/proc/loadavg: 1.06 1.37 1.44 3/215 16173
/proc/meminfo: memFree=12677968/32770624 swapFree=67108852/67108860
[pid=15628] ppid=15625 vsize=10916192 memory=1079992 CPUtime=2494.09 cores=0,2,4,6
/proc/15628/stat : 15628 (java) S 15625 15628 13949 0 -1 1077944320 325637 12929 0 0 249012 390 5 2 20 0 15 0 59793399 11178180608 269998 33554432000 4194304 4196468 140725730912528 140725730895072 140391016853239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
/proc/15628/statm: 2729048 269998 3525 1 0 2690701 0
[pid=15628/tid=15681] ppid=15625 vsize=10916192 memory=1079980 CPUtime=2414.15 cores=0,2,4,6
/proc/15628/task/15681/stat : 15681 (java) R 15625 15628 13949 0 -1 4202560 101641 12929 0 0 241347 61 5 2 20 0 15 0 59793408 11178180608 269998 33554432000 4194304 4196468 140725730912528 140390988687792 140390634262800 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15682] ppid=15625 vsize=10916192 memory=1079908 CPUtime=12.52 cores=0,2,4,6
/proc/15628/task/15682/stat : 15682 (java) S 15625 15628 13949 0 -1 1077944384 14196 12929 0 0 1182 63 5 2 20 0 15 0 59793409 11178180608 269998 33554432000 4194304 4196468 140725730912528 140391021095568 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15683] ppid=15625 vsize=10916192 memory=1079948 CPUtime=12.53 cores=0,2,4,6
/proc/15628/task/15683/stat : 15683 (java) S 15625 15628 13949 0 -1 1077944384 20276 12929 0 0 1180 66 5 2 20 0 15 0 59793409 11178180608 269998 33554432000 4194304 4196468 140725730912528 140390939847184 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15684] ppid=15625 vsize=10916192 memory=1079980 CPUtime=12.49 cores=0,2,4,6
/proc/15628/task/15684/stat : 15684 (java) S 15625 15628 13949 0 -1 1077944384 10099 12929 0 0 1182 60 5 2 20 0 15 0 59793409 11178180608 269998 33554432000 4194304 4196468 140725730912528 140390588930448 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15685] ppid=15625 vsize=10916192 memory=2416 CPUtime=12.55 cores=0,2,4,6
/proc/15628/task/15685/stat : 15685 (java) S 15625 15628 13949 0 -1 1077944384 13657 12929 0 0 1190 58 5 2 20 0 15 0 59793409 11178180608 269998 33554432000 4194304 4196468 140725730912528 140390587877648 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15686] ppid=15625 vsize=10916192 memory=1079992 CPUtime=11.95 cores=0,2,4,6
/proc/15628/task/15686/stat : 15686 (java) S 15625 15628 13949 0 -1 1077944384 16077 12929 0 0 1131 57 5 2 20 0 15 0 59793410 11178180608 269998 33554432000 4194304 4196468 140725730912528 140390543436656 140391016864386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15687] ppid=15625 vsize=10916192 memory=1079980 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15687/stat : 15687 (java) S 15625 15628 13949 0 -1 1077944384 19 12929 0 0 0 0 5 2 20 0 15 0 59793411 11178180608 269998 33554432000 4194304 4196468 140725730912528 140390468413024 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15688] ppid=15625 vsize=10916192 memory=1079908 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15688/stat : 15688 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 15 0 59793411 11178180608 269998 33554432000 4194304 4196468 140725730912528 140390334195072 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15689] ppid=15625 vsize=10916192 memory=1079980 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15689/stat : 15689 (java) S 15625 15628 13949 0 -1 1077944384 2 12929 0 0 0 0 5 2 20 0 15 0 59793414 11178180608 269998 33554432000 4194304 4196468 140725730912528 140389730216272 140391016871835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15690] ppid=15625 vsize=10916192 memory=1079980 CPUtime=7.13 cores=0,2,4,6
/proc/15628/task/15690/stat : 15690 (java) S 15625 15628 13949 0 -1 1077944384 48447 12929 0 0 699 7 5 2 20 0 15 0 59793414 11178180608 269998 33554432000 4194304 4196468 140725730912528 140390542383472 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15691] ppid=15625 vsize=10916192 memory=1079980 CPUtime=6.24 cores=0,2,4,6
/proc/15628/task/15691/stat : 15691 (java) S 15625 15628 13949 0 -1 1077944384 43647 12929 0 0 610 7 5 2 20 0 15 0 59793414 11178180608 269998 33554432000 4194304 4196468 140725730912528 140390541330672 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15692] ppid=15625 vsize=10916192 memory=2244 CPUtime=3.58 cores=0,2,4,6
/proc/15628/task/15692/stat : 15692 (java) S 15625 15628 13949 0 -1 1077944384 53415 12929 0 0 344 7 5 2 20 0 15 0 59793414 11178180608 269998 33554432000 4194304 4196468 140725730912528 140390540277872 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 49 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15693] ppid=15625 vsize=10916192 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15693/stat : 15693 (java) S 15625 15628 13949 0 -1 1077944384 3 12929 0 0 0 0 5 2 20 0 15 0 59793414 11178180608 269998 33554432000 4194304 4196468 140725730912528 140389260454112 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15694] ppid=15625 vsize=10916192 memory=16432 CPUtime=1.47 cores=0,2,4,6
/proc/15628/task/15694/stat : 15694 (java) S 15625 15628 13949 0 -1 1077944384 1969 12929 0 0 69 71 5 2 20 0 15 0 59793414 11178180608 269998 33554432000 4194304 4196468 140725730912528 140390539226288 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
Current children cumulated CPU time: 2494.09 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1079992 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2467.9 s]
/proc/loadavg: 1.34 1.40 1.45 3/215 16173
/proc/meminfo: memFree=12677696/32770624 swapFree=67108852/67108860
[pid=15628] ppid=15625 vsize=10916192 memory=1080032 CPUtime=2520.09 cores=0,2,4,6
/proc/15628/stat : 15628 (java) S 15625 15628 13949 0 -1 1077944320 327449 12929 0 0 251609 393 5 2 20 0 15 0 59793399 11178180608 270008 33554432000 4194304 4196468 140725730912528 140725730895072 140391016853239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
/proc/15628/statm: 2729048 270008 3525 1 0 2690701 0
[pid=15628/tid=15681] ppid=15625 vsize=10916192 memory=1079992 CPUtime=2439.46 cores=0,2,4,6
/proc/15628/task/15681/stat : 15681 (java) R 15625 15628 13949 0 -1 4202560 102263 12929 0 0 243878 61 5 2 20 0 15 0 59793408 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390988687872 140390633577096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15682] ppid=15625 vsize=10916192 memory=1079992 CPUtime=12.66 cores=0,2,4,6
/proc/15628/task/15682/stat : 15682 (java) S 15625 15628 13949 0 -1 1077944384 14208 12929 0 0 1196 63 5 2 20 0 15 0 59793409 11178180608 270008 33554432000 4194304 4196468 140725730912528 140391021095568 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15683] ppid=15625 vsize=10916192 memory=1080032 CPUtime=12.66 cores=0,2,4,6
/proc/15628/task/15683/stat : 15683 (java) S 15625 15628 13949 0 -1 1077944384 20291 12929 0 0 1193 66 5 2 20 0 15 0 59793409 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390939847184 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15684] ppid=15625 vsize=10916192 memory=1080032 CPUtime=12.63 cores=0,2,4,6
/proc/15628/task/15684/stat : 15684 (java) S 15625 15628 13949 0 -1 1077944384 10518 12929 0 0 1195 61 5 2 20 0 15 0 59793409 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390588930448 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15685] ppid=15625 vsize=10916192 memory=134450478348219 CPUtime=12.68 cores=0,2,4,6
/proc/15628/task/15685/stat : 15685 (java) S 15625 15628 13949 0 -1 1077944384 13732 12929 0 0 1202 59 5 2 20 0 15 0 59793409 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390587877648 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15686] ppid=15625 vsize=10916192 memory=1080032 CPUtime=12.08 cores=0,2,4,6
/proc/15628/task/15686/stat : 15686 (java) S 15625 15628 13949 0 -1 1077944384 16239 12929 0 0 1143 58 5 2 20 0 15 0 59793410 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390543436656 140391016864386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15687] ppid=15625 vsize=10916192 memory=1080032 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15687/stat : 15687 (java) S 15625 15628 13949 0 -1 1077944384 19 12929 0 0 0 0 5 2 20 0 15 0 59793411 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390468413024 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15688] ppid=15625 vsize=10916192 memory=1079992 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15688/stat : 15688 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 15 0 59793411 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390334195072 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15689] ppid=15625 vsize=10916192 memory=1952 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15689/stat : 15689 (java) S 15625 15628 13949 0 -1 1077944384 2 12929 0 0 0 0 5 2 20 0 15 0 59793414 11178180608 270008 33554432000 4194304 4196468 140725730912528 140389730216272 140391016871835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15690] ppid=15625 vsize=10916192 memory=1080032 CPUtime=7.14 cores=0,2,4,6
/proc/15628/task/15690/stat : 15690 (java) S 15625 15628 13949 0 -1 1077944384 48766 12929 0 0 700 7 5 2 20 0 15 0 59793414 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390542383472 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15691] ppid=15625 vsize=10916192 memory=1080032 CPUtime=6.24 cores=0,2,4,6
/proc/15628/task/15691/stat : 15691 (java) S 15625 15628 13949 0 -1 1077944384 43829 12929 0 0 610 7 5 2 20 0 15 0 59793414 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390541330672 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15692] ppid=15625 vsize=10916192 memory=4012 CPUtime=3.58 cores=0,2,4,6
/proc/15628/task/15692/stat : 15692 (java) S 15625 15628 13949 0 -1 1077944384 53417 12929 0 0 344 7 5 2 20 0 15 0 59793414 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390540277872 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 49 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15693] ppid=15625 vsize=10916192 memory=18700 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15693/stat : 15693 (java) S 15625 15628 13949 0 -1 1077944384 3 12929 0 0 0 0 5 2 20 0 15 0 59793414 11178180608 270008 33554432000 4194304 4196468 140725730912528 140389260454112 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15694] ppid=15625 vsize=10916192 memory=1080032 CPUtime=1.48 cores=0,2,4,6
/proc/15628/task/15694/stat : 15694 (java) S 15625 15628 13949 0 -1 1077944384 1973 12929 0 0 70 71 5 2 20 0 15 0 59793414 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390539226288 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1080032 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2467.93 s]
# the end of solver process 15628 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.17 s, system=3.96831 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2467.9 s]
/proc/loadavg: 1.34 1.40 1.45 3/215 16173
/proc/meminfo: memFree=12677696/32770624 swapFree=67108852/67108860
[pid=15628] ppid=15625 vsize=10916192 memory=1080032 CPUtime=2520.09 cores=0,2,4,6
/proc/15628/stat : 15628 (java) S 15625 15628 13949 0 -1 1077944320 327449 12929 0 0 251609 393 5 2 20 0 15 0 59793399 11178180608 270008 33554432000 4194304 4196468 140725730912528 140725730895072 140391016853239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
/proc/15628/statm: 2729048 270008 3525 1 0 2690701 0
[pid=15628/tid=15681] ppid=15625 vsize=10916192 memory=1079992 CPUtime=2439.46 cores=0,2,4,6
/proc/15628/task/15681/stat : 15681 (java) R 15625 15628 13949 0 -1 4202560 102263 12929 0 0 243878 61 5 2 20 0 15 0 59793408 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390988687872 140390633577096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15682] ppid=15625 vsize=10916192 memory=1079992 CPUtime=12.66 cores=0,2,4,6
/proc/15628/task/15682/stat : 15682 (java) S 15625 15628 13949 0 -1 1077944384 14208 12929 0 0 1196 63 5 2 20 0 15 0 59793409 11178180608 270008 33554432000 4194304 4196468 140725730912528 140391021095568 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15683] ppid=15625 vsize=10916192 memory=1080032 CPUtime=12.66 cores=0,2,4,6
/proc/15628/task/15683/stat : 15683 (java) S 15625 15628 13949 0 -1 1077944384 20291 12929 0 0 1193 66 5 2 20 0 15 0 59793409 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390939847184 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15684] ppid=15625 vsize=10916192 memory=1080032 CPUtime=12.63 cores=0,2,4,6
/proc/15628/task/15684/stat : 15684 (java) S 15625 15628 13949 0 -1 1077944384 10518 12929 0 0 1195 61 5 2 20 0 15 0 59793409 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390588930448 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15685] ppid=15625 vsize=10916192 memory=134450478348219 CPUtime=12.68 cores=0,2,4,6
/proc/15628/task/15685/stat : 15685 (java) S 15625 15628 13949 0 -1 1077944384 13732 12929 0 0 1202 59 5 2 20 0 15 0 59793409 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390587877648 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15686] ppid=15625 vsize=10916192 memory=1080032 CPUtime=12.08 cores=0,2,4,6
/proc/15628/task/15686/stat : 15686 (java) S 15625 15628 13949 0 -1 1077944384 16239 12929 0 0 1143 58 5 2 20 0 15 0 59793410 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390543436656 140391016864386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15687] ppid=15625 vsize=10916192 memory=1080032 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15687/stat : 15687 (java) S 15625 15628 13949 0 -1 1077944384 19 12929 0 0 0 0 5 2 20 0 15 0 59793411 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390468413024 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15688] ppid=15625 vsize=10916192 memory=1079992 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15688/stat : 15688 (java) S 15625 15628 13949 0 -1 1077944384 1 12929 0 0 0 0 5 2 20 0 15 0 59793411 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390334195072 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15689] ppid=15625 vsize=10916192 memory=1952 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15689/stat : 15689 (java) S 15625 15628 13949 0 -1 1077944384 2 12929 0 0 0 0 5 2 20 0 15 0 59793414 11178180608 270008 33554432000 4194304 4196468 140725730912528 140389730216272 140391016871835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15690] ppid=15625 vsize=10916192 memory=1080032 CPUtime=7.14 cores=0,2,4,6
/proc/15628/task/15690/stat : 15690 (java) S 15625 15628 13949 0 -1 1077944384 48766 12929 0 0 700 7 5 2 20 0 15 0 59793414 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390542383472 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15691] ppid=15625 vsize=10916192 memory=1080032 CPUtime=6.24 cores=0,2,4,6
/proc/15628/task/15691/stat : 15691 (java) S 15625 15628 13949 0 -1 1077944384 43829 12929 0 0 610 7 5 2 20 0 15 0 59793414 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390541330672 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15692] ppid=15625 vsize=10916192 memory=4012 CPUtime=3.58 cores=0,2,4,6
/proc/15628/task/15692/stat : 15692 (java) S 15625 15628 13949 0 -1 1077944384 53417 12929 0 0 344 7 5 2 20 0 15 0 59793414 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390540277872 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 49 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15693] ppid=15625 vsize=10916192 memory=18700 CPUtime=0.07 cores=0,2,4,6
/proc/15628/task/15693/stat : 15693 (java) S 15625 15628 13949 0 -1 1077944384 3 12929 0 0 0 0 5 2 20 0 15 0 59793414 11178180608 270008 33554432000 4194304 4196468 140725730912528 140389260454112 140391016863445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
[pid=15628/tid=15694] ppid=15625 vsize=10916192 memory=1080032 CPUtime=1.48 cores=0,2,4,6
/proc/15628/task/15694/stat : 15694 (java) S 15625 15628 13949 0 -1 1077944384 1973 12929 0 0 70 71 5 2 20 0 15 0 59793414 11178180608 270008 33554432000 4194304 4196468 140725730912528 140390539226288 140391016864386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 36225024 140725730921071 140725730923868 140725730923868 140725730926543 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1080032 KiB
Child status: 143
Real time (s): 2467.93
CPU time (s): 2520.14
CPU user time (s): 2516.17
CPU system time (s): 3.96831
CPU usage (%): 102.116
Max. virtual memory (cumulated for all children) (KiB): 10918904
Max. memory (cumulated for all children) (KiB): 1080032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.17
system time used= 3.9683
maximum resident set size= 1084156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 341372
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 317466
involuntary context switches= 10288
# summary of solver processes directly reported to runsolver:
# pid: 15628
# total CPU time (s): 2520.14
# total CPU user time (s): 2516.17
# total CPU system time (s): 3.96831
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1084 second user time and 25.5957 second system time
The end