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 (6803 MiB free)
memory of node 1: 16384 MiB (10803 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294418-1532471921/watcher-4294418-1532471921 -o /tmp/evaluation-result-4294418-1532471921/solver-4294418-1532471921 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532466433-19937 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=424325668 HOME/instance-4294418-1532471921.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21663, runsolver pid=21660
[startup+0.100094 s]*
/proc/loadavg: 1.37 1.51 1.48 3/210 21720
/proc/meminfo: memFree=18021340/32770624 swapFree=67108860/67108860
[pid=21663] ppid=21660 vsize=9972712 memory=19252 CPUtime=0.09 cores=1,3,5,7
/proc/21663/stat : 21663 (java) S 21660 21663 19905 0 -1 1077944320 4459 12765 0 0 1 0 5 3 20 0 6 0 64755290 10212057088 4813 33554432000 4194304 4196468 140724855665792 140724855648336 140548649246455 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
/proc/21663/statm: 2493178 4813 1934 1 0 2481616 0
[pid=21663/tid=21716] ppid=21660 vsize=9988792 memory=4628411388058700198 CPUtime=0.09 cores=1,3,5,7
/proc/21663/task/21716/stat : 21716 (java) R 21660 21663 19905 0 -1 4202560 2298 12765 0 0 1 0 5 3 20 0 6 0 64755299 10228523008 4879 33554432000 4194304 4196468 140724855665792 140548621083216 140548641487845 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21717] ppid=21660 vsize=9988792 memory=5793855077868943801 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21717/stat : 21717 (java) S 21660 21663 19905 0 -1 1077944384 1 12765 0 0 0 0 5 3 20 0 6 0 64755300 10228523008 4879 33554432000 4194304 4196468 140724855665792 140548653488400 140548649256661 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21718] ppid=21660 vsize=9988792 memory=139826859050624 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21718/stat : 21718 (java) S 21660 21663 19905 0 -1 1077944384 1 12765 0 0 0 0 5 3 20 0 6 0 64755300 10228523008 4879 33554432000 4194304 4196468 140724855665792 140548578793872 140548649256661 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21719] ppid=21660 vsize=9988792 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21719/stat : 21719 (java) S 21660 21663 19905 0 -1 1077944384 1 12765 0 0 0 0 5 3 20 0 6 0 64755300 10228523008 4879 33554432000 4194304 4196468 140724855665792 140548221098512 140548649256661 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21720] ppid=21660 vsize=9988792 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21720/stat : 21720 (java) S 21660 21663 19905 0 -1 1077944384 2 12765 0 0 0 0 5 3 20 0 6 0 64755300 10228523008 4879 33554432000 4194304 4196468 140724855665792 140548220045968 140548649256661 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19252 KiB
[startup+0.21009 s]*
/proc/loadavg: 1.37 1.51 1.48 3/219 21729
/proc/meminfo: memFree=17999788/32770624 swapFree=67108860/67108860
[pid=21663] ppid=21660 vsize=10821524 memory=46132 CPUtime=0.26 cores=1,3,5,7
/proc/21663/stat : 21663 (java) S 21660 21663 19905 0 -1 1077944320 8622 12765 0 0 16 2 5 3 20 0 15 0 64755290 11081240576 11533 33554432000 4194304 4196468 140724855665792 140724855648336 140548649246455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
/proc/21663/statm: 2705381 11533 2956 1 0 2667804 0
[pid=21663/tid=21716] ppid=21660 vsize=10818904 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/21663/task/21716/stat : 21716 (java) D 21660 21663 19905 0 -1 1077944384 5179 12765 0 0 10 1 5 3 20 0 15 0 64755299 11078557696 11285 33554432000 4194304 4196468 140724855665792 140548621071264 140548641925677 0 4 0 16800975 18446744072101772836 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21717] ppid=21660 vsize=10818936 memory=4211973553063841162 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21717/stat : 21717 (java) S 21660 21663 19905 0 -1 1077944384 1 12765 0 0 0 0 5 3 20 0 15 0 64755300 11078590464 11285 33554432000 4194304 4196468 140724855665792 140548653488400 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21718] ppid=21660 vsize=10818936 memory=139826859050624 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21718/stat : 21718 (java) S 21660 21663 19905 0 -1 1077944384 1 12765 0 0 0 0 5 3 20 0 15 0 64755300 11078590464 11285 33554432000 4194304 4196468 140724855665792 140548578793872 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21719] ppid=21660 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21719/stat : 21719 (java) S 21660 21663 19905 0 -1 1077944384 1 12765 0 0 0 0 5 3 20 0 15 0 64755300 11078590464 11285 33554432000 4194304 4196468 140724855665792 140548221098512 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21720] ppid=21660 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21720/stat : 21720 (java) S 21660 21663 19905 0 -1 1077944384 2 12765 0 0 0 0 5 3 20 0 15 0 64755300 11078590464 11285 33554432000 4194304 4196468 140724855665792 140548220045968 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21721] ppid=21660 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21721/stat : 21721 (java) S 21660 21663 19905 0 -1 1077944384 2 12765 0 0 0 0 5 3 20 0 15 0 64755301 11078590464 11350 33554432000 4194304 4196468 140724855665792 140548175927792 140548649257602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21722] ppid=21660 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21722/stat : 21722 (java) S 21660 21663 19905 0 -1 1077944384 13 12765 0 0 0 0 5 3 20 0 15 0 64755302 11078590464 11350 33554432000 4194304 4196468 140724855665792 140548107134368 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21723] ppid=21660 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21723/stat : 21723 (java) S 21660 21663 19905 0 -1 1077944384 1 12765 0 0 0 0 5 3 20 0 15 0 64755302 11078590464 11350 33554432000 4194304 4196468 140724855665792 140547503154672 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21724] ppid=21660 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21724/stat : 21724 (java) S 21660 21663 19905 0 -1 1077944384 3 12765 0 0 0 0 5 3 20 0 15 0 64755304 11078590464 11416 33554432000 4194304 4196468 140724855665792 140547195755216 140548649265051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21725] ppid=21660 vsize=10818936 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/21663/task/21725/stat : 21725 (java) S 21660 21663 19905 0 -1 1077944384 365 12765 0 0 1 0 5 3 20 0 15 0 64755304 11078590464 11416 33554432000 4194304 4196468 140724855665792 140548073576432 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21726] ppid=21660 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21726/stat : 21726 (java) S 21660 21663 19905 0 -1 1077944384 256 12765 0 0 0 0 5 3 20 0 15 0 64755304 11078590464 11416 33554432000 4194304 4196468 140724855665792 140548072523888 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21727] ppid=21660 vsize=10818936 memory=139826859050624 CPUtime=0.11 cores=1,3,5,7
/proc/21663/task/21727/stat : 21727 (java) S 21660 21663 19905 0 -1 1077944384 601 12765 0 0 3 0 5 3 20 0 15 0 64755304 11078590464 11482 33554432000 4194304 4196468 140724855665792 140548071471344 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21728] ppid=21660 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21728/stat : 21728 (java) S 21660 21663 19905 0 -1 1077944384 3 12765 0 0 0 0 5 3 20 0 15 0 64755305 11078590464 11482 33554432000 4194304 4196468 140724855665792 140547162196576 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21729] ppid=21660 vsize=10818936 memory=139826859050624 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21729/stat : 21729 (java) S 21660 21663 19905 0 -1 1077944384 1 12765 0 0 0 0 5 3 20 0 15 0 64755305 11078590464 11482 33554432000 4194304 4196468 140724855665792 140548070419248 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10821524 KiB
Current children cumulated memory: 46132 KiB
[startup+0.310522 s]*
/proc/loadavg: 1.37 1.51 1.48 4/219 21729
/proc/meminfo: memFree=17987012/32770624 swapFree=67108860/67108860
[pid=21663] ppid=21660 vsize=10819352 memory=55600 CPUtime=0.39 cores=1,3,5,7
/proc/21663/stat : 21663 (java) S 21660 21663 19905 0 -1 1077944320 10487 12765 0 0 28 3 5 3 20 0 15 0 64755290 11079016448 13900 33554432000 4194304 4196468 140724855665792 140724855648336 140548649246455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
/proc/21663/statm: 2704838 13900 3075 1 0 2667149 0
[pid=21663/tid=21716] ppid=21660 vsize=10819352 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/21663/task/21716/stat : 21716 (java) R 21660 21663 19905 0 -1 4202560 7036 12765 0 0 20 2 5 3 20 0 15 0 64755299 11079016448 13900 33554432000 4194304 4196468 140724855665792 140548621058464 140548633326942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21717] ppid=21660 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21717/stat : 21717 (java) S 21660 21663 19905 0 -1 1077944384 1 12765 0 0 0 0 5 3 20 0 15 0 64755300 11079016448 13900 33554432000 4194304 4196468 140724855665792 140548653488400 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21718] ppid=21660 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21718/stat : 21718 (java) S 21660 21663 19905 0 -1 1077944384 1 12765 0 0 0 0 5 3 20 0 15 0 64755300 11079016448 13900 33554432000 4194304 4196468 140724855665792 140548578793872 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21719] ppid=21660 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21719/stat : 21719 (java) S 21660 21663 19905 0 -1 1077944384 1 12765 0 0 0 0 5 3 20 0 15 0 64755300 11079016448 13900 33554432000 4194304 4196468 140724855665792 140548221098512 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21720] ppid=21660 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21720/stat : 21720 (java) S 21660 21663 19905 0 -1 1077944384 2 12765 0 0 0 0 5 3 20 0 15 0 64755300 11079016448 13900 33554432000 4194304 4196468 140724855665792 140548220045968 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21721] ppid=21660 vsize=10819352 memory=139826859050623 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21721/stat : 21721 (java) S 21660 21663 19905 0 -1 1077944384 2 12765 0 0 0 0 5 3 20 0 15 0 64755301 11079016448 13900 33554432000 4194304 4196468 140724855665792 140548175927792 140548649257602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21722] ppid=21660 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21722/stat : 21722 (java) S 21660 21663 19905 0 -1 1077944384 13 12765 0 0 0 0 5 3 20 0 15 0 64755302 11079016448 13900 33554432000 4194304 4196468 140724855665792 140548107134368 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21723] ppid=21660 vsize=10819352 memory=139826859050624 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21723/stat : 21723 (java) S 21660 21663 19905 0 -1 1077944384 1 12765 0 0 0 0 5 3 20 0 15 0 64755302 11079016448 13900 33554432000 4194304 4196468 140724855665792 140547503154672 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21724] ppid=21660 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21724/stat : 21724 (java) S 21660 21663 19905 0 -1 1077944384 3 12765 0 0 0 0 5 3 20 0 15 0 64755304 11079016448 13900 33554432000 4194304 4196468 140724855665792 140547195755216 140548649265051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21725] ppid=21660 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/21663/task/21725/stat : 21725 (java) S 21660 21663 19905 0 -1 1077944384 366 12765 0 0 1 0 5 3 20 0 15 0 64755304 11079016448 13900 33554432000 4194304 4196468 140724855665792 140548073576432 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21726] ppid=21660 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/21663/task/21726/stat : 21726 (java) S 21660 21663 19905 0 -1 1077944384 256 12765 0 0 1 0 5 3 20 0 15 0 64755304 11079016448 13900 33554432000 4194304 4196468 140724855665792 140548072523888 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21727] ppid=21660 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/21663/task/21727/stat : 21727 (java) R 21660 21663 19905 0 -1 4202560 609 12765 0 0 5 0 5 3 20 0 15 0 64755304 11079016448 13900 33554432000 4194304 4196468 140724855665792 140548071471344 140548628184972 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21728] ppid=21660 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21728/stat : 21728 (java) S 21660 21663 19905 0 -1 1077944384 3 12765 0 0 0 0 5 3 20 0 15 0 64755305 11079016448 13900 33554432000 4194304 4196468 140724855665792 140547162196576 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21729] ppid=21660 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21729/stat : 21729 (java) S 21660 21663 19905 0 -1 1077944384 1 12765 0 0 0 0 5 3 20 0 15 0 64755305 11079016448 13900 33554432000 4194304 4196468 140724855665792 140548070419248 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55600 KiB
[startup+0.700744 s]
/proc/loadavg: 1.37 1.51 1.48 5/219 21729
/proc/meminfo: memFree=17976468/32770624 swapFree=67108860/67108860
[pid=21663] ppid=21660 vsize=10819352 memory=88696 CPUtime=1 cores=1,3,5,7
/proc/21663/stat : 21663 (java) S 21660 21663 19905 0 -1 1077944320 16783 12765 0 0 88 4 5 3 20 0 15 0 64755290 11079016448 22174 33554432000 4194304 4196468 140724855665792 140724855648336 140548649246455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
/proc/21663/statm: 2704838 22174 3237 1 0 2667149 0
[pid=21663/tid=21716] ppid=21660 vsize=10819352 memory=19904 CPUtime=0.67 cores=1,3,5,7
/proc/21663/task/21716/stat : 21716 (java) R 21660 21663 19905 0 -1 4202560 12303 12765 0 0 56 3 5 3 20 0 15 0 64755299 11079016448 22174 33554432000 4194304 4196468 140724855665792 140548621067280 140548629522145 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21717] ppid=21660 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21717/stat : 21717 (java) S 21660 21663 19905 0 -1 1077944384 1 12765 0 0 0 0 5 3 20 0 15 0 64755300 11079016448 22174 33554432000 4194304 4196468 140724855665792 140548653488400 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21718] ppid=21660 vsize=10819352 memory=288230583132496608 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21718/stat : 21718 (java) S 21660 21663 19905 0 -1 1077944384 1 12765 0 0 0 0 5 3 20 0 15 0 64755300 11079016448 22174 33554432000 4194304 4196468 140724855665792 140548578793872 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21719] ppid=21660 vsize=10819352 memory=288287775051220497 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21719/stat : 21719 (java) S 21660 21663 19905 0 -1 1077944384 1 12765 0 0 0 0 5 3 20 0 15 0 64755300 11079016448 22174 33554432000 4194304 4196468 140724855665792 140548221098512 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21720] ppid=21660 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21720/stat : 21720 (java) S 21660 21663 19905 0 -1 1077944384 2 12765 0 0 0 0 5 3 20 0 15 0 64755300 11079016448 22174 33554432000 4194304 4196468 140724855665792 140548220045968 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21721] ppid=21660 vsize=10819352 memory=139826754265600 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21721/stat : 21721 (java) S 21660 21663 19905 0 -1 1077944384 5 12765 0 0 0 0 5 3 20 0 15 0 64755301 11079016448 22174 33554432000 4194304 4196468 140724855665792 140548175927792 140548649257602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21722] ppid=21660 vsize=10819352 memory=139826955289570 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21722/stat : 21722 (java) S 21660 21663 19905 0 -1 1077944384 13 12765 0 0 0 0 5 3 20 0 15 0 64755302 11079016448 22174 33554432000 4194304 4196468 140724855665792 140548107134368 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21723] ppid=21660 vsize=10819352 memory=956 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21723/stat : 21723 (java) S 21660 21663 19905 0 -1 1077944384 1 12765 0 0 0 0 5 3 20 0 15 0 64755302 11079016448 22174 33554432000 4194304 4196468 140724855665792 140547503154672 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21724] ppid=21660 vsize=10819352 memory=7305218370954160725 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21724/stat : 21724 (java) S 21660 21663 19905 0 -1 1077944384 3 12765 0 0 0 0 5 3 20 0 15 0 64755304 11079016448 22174 33554432000 4194304 4196468 140724855665792 140547195755216 140548649265051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21725] ppid=21660 vsize=10819352 memory=7452169109558028137 CPUtime=0.15 cores=1,3,5,7
/proc/21663/task/21725/stat : 21725 (java) S 21660 21663 19905 0 -1 1077944384 761 12765 0 0 7 0 5 3 20 0 15 0 64755304 11079016448 22174 33554432000 4194304 4196468 140724855665792 140548073576432 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21726] ppid=21660 vsize=10819352 memory=6935652554413002832 CPUtime=0.17 cores=1,3,5,7
/proc/21663/task/21726/stat : 21726 (java) S 21660 21663 19905 0 -1 1077944384 804 12765 0 0 9 0 5 3 20 0 15 0 64755304 11079016448 22174 33554432000 4194304 4196468 140724855665792 140548072523888 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21727] ppid=21660 vsize=10819352 memory=5450909908396308010 CPUtime=0.21 cores=1,3,5,7
/proc/21663/task/21727/stat : 21727 (java) S 21660 21663 19905 0 -1 1077944384 691 12765 0 0 13 0 5 3 20 0 15 0 64755304 11079016448 22174 33554432000 4194304 4196468 140724855665792 140548071471344 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21728] ppid=21660 vsize=10819352 memory=1404238533875048054 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21728/stat : 21728 (java) S 21660 21663 19905 0 -1 1077944384 3 12765 0 0 0 0 5 3 20 0 15 0 64755305 11079016448 22174 33554432000 4194304 4196468 140724855665792 140547162196576 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21729] ppid=21660 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21729/stat : 21729 (java) S 21660 21663 19905 0 -1 1077944384 1 12765 0 0 0 0 5 3 20 0 15 0 64755305 11079016448 22174 33554432000 4194304 4196468 140724855665792 140548070419248 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88696 KiB
[startup+1.50155 s]
/proc/loadavg: 1.37 1.51 1.48 4/219 21729
/proc/meminfo: memFree=17930508/32770624 swapFree=67108860/67108860
[pid=21663] ppid=21660 vsize=10828108 memory=240464 CPUtime=3.1 cores=1,3,5,7
/proc/21663/stat : 21663 (java) S 21660 21663 19905 0 -1 1077944320 22814 12765 0 0 293 9 5 3 20 0 15 0 64755290 11087982592 60116 33554432000 4194304 4196468 140724855665792 140724855648336 140548649246455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
/proc/21663/statm: 2707027 60116 3475 1 0 2668685 0
[pid=21663/tid=21716] ppid=21660 vsize=10828108 memory=152528 CPUtime=1.44 cores=1,3,5,7
/proc/21663/task/21716/stat : 21716 (java) R 21660 21663 19905 0 -1 4202560 15021 12765 0 0 131 5 5 3 20 0 15 0 64755299 11087982592 60116 33554432000 4194304 4196468 140724855665792 140548621079840 140548255995115 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21717] ppid=21660 vsize=10828108 memory=-3117775541953849953 CPUtime=0.09 cores=1,3,5,7
/proc/21663/task/21717/stat : 21717 (java) S 21660 21663 19905 0 -1 1077944384 197 12765 0 0 1 0 5 3 20 0 15 0 64755300 11087982592 60116 33554432000 4194304 4196468 140724855665792 140548653488400 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21718] ppid=21660 vsize=10828108 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21718/stat : 21718 (java) S 21660 21663 19905 0 -1 1077944384 7 12765 0 0 0 0 5 3 20 0 15 0 64755300 11087982592 60116 33554432000 4194304 4196468 140724855665792 140548578793872 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21719] ppid=21660 vsize=10828108 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/21663/task/21719/stat : 21719 (java) S 21660 21663 19905 0 -1 1077944384 33 12765 0 0 1 0 5 3 20 0 15 0 64755300 11087982592 60116 33554432000 4194304 4196468 140724855665792 140548221098512 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21720] ppid=21660 vsize=10828108 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/21663/task/21720/stat : 21720 (java) S 21660 21663 19905 0 -1 1077944384 89 12765 0 0 1 0 5 3 20 0 15 0 64755300 11087982592 60116 33554432000 4194304 4196468 140724855665792 140548220045968 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21721] ppid=21660 vsize=10828108 memory=233117738666744 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21721/stat : 21721 (java) S 21660 21663 19905 0 -1 1077944384 92 12765 0 0 0 0 5 3 20 0 15 0 64755301 11087982592 60116 33554432000 4194304 4196468 140724855665792 140548175927792 140548649257602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21722] ppid=21660 vsize=10828108 memory=278973 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21722/stat : 21722 (java) S 21660 21663 19905 0 -1 1077944384 14 12765 0 0 0 0 5 3 20 0 15 0 64755302 11087982592 60116 33554432000 4194304 4196468 140724855665792 140548107134368 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21723] ppid=21660 vsize=10828108 memory=6935650355271196736 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21723/stat : 21723 (java) S 21660 21663 19905 0 -1 1077944384 2 12765 0 0 0 0 5 3 20 0 15 0 64755302 11087982592 60116 33554432000 4194304 4196468 140724855665792 140547503154672 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21724] ppid=21660 vsize=10828108 memory=6935649255759568960 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21724/stat : 21724 (java) S 21660 21663 19905 0 -1 1077944384 3 12765 0 0 0 0 5 3 20 0 15 0 64755304 11087982592 60116 33554432000 4194304 4196468 140724855665792 140547195755216 140548649265051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21725] ppid=21660 vsize=10828108 memory=279653507924208 CPUtime=0.67 cores=1,3,5,7
/proc/21663/task/21725/stat : 21725 (java) R 21660 21663 19905 0 -1 4202560 2238 12765 0 0 59 0 5 3 20 0 15 0 64755304 11087982592 60116 33554432000 4194304 4196468 140724855665792 140548073557632 140548628423160 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21726] ppid=21660 vsize=10828108 memory=4639059873309409382 CPUtime=0.64 cores=1,3,5,7
/proc/21663/task/21726/stat : 21726 (java) R 21660 21663 19905 0 -1 4202560 1543 12765 0 0 56 0 5 3 20 0 15 0 64755304 11087982592 60116 33554432000 4194304 4196468 140724855665792 140548072523072 140548634371710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21727] ppid=21660 vsize=10828108 memory=-6305713923044958080 CPUtime=0.48 cores=1,3,5,7
/proc/21663/task/21727/stat : 21727 (java) S 21660 21663 19905 0 -1 1077944384 1378 12765 0 0 40 0 5 3 20 0 15 0 64755304 11087982592 60116 33554432000 4194304 4196468 140724855665792 140548071471344 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21728] ppid=21660 vsize=10828108 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21728/stat : 21728 (java) S 21660 21663 19905 0 -1 1077944384 3 12765 0 0 0 0 5 3 20 0 15 0 64755305 11087982592 60116 33554432000 4194304 4196468 140724855665792 140547162196576 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21729] ppid=21660 vsize=10828108 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21729/stat : 21729 (java) S 21660 21663 19905 0 -1 1077944384 1 12765 0 0 0 0 5 3 20 0 15 0 64755305 11087982592 60116 33554432000 4194304 4196468 140724855665792 140548070419248 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 10828108 KiB
################
# More data... #
################
/proc/21663/task/21716/stat : 21716 (java) R 21660 21663 19905 0 -1 4202560 135478 12765 0 0 235884 78 5 3 20 0 15 0 64755299 11111071744 735453 33554432000 4194304 4196468 140724855665792 140548621080736 140548270706153 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21717] ppid=21660 vsize=10850656 memory=0 CPUtime=12.41 cores=1,3,5,7
/proc/21663/task/21717/stat : 21717 (java) S 21660 21663 19905 0 -1 1077944384 49322 12765 0 0 1187 46 5 3 20 0 15 0 64755300 11111071744 735453 33554432000 4194304 4196468 140724855665792 140548653488400 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21718] ppid=21660 vsize=10850656 memory=2941812 CPUtime=12.42 cores=1,3,5,7
/proc/21663/task/21718/stat : 21718 (java) S 21660 21663 19905 0 -1 1077944384 47648 12765 0 0 1189 45 5 3 20 0 15 0 64755300 11111071744 735453 33554432000 4194304 4196468 140724855665792 140548578793872 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21719] ppid=21660 vsize=10850656 memory=2941812 CPUtime=12.41 cores=1,3,5,7
/proc/21663/task/21719/stat : 21719 (java) S 21660 21663 19905 0 -1 1077944384 37048 12765 0 0 1189 44 5 3 20 0 15 0 64755300 11111071744 735453 33554432000 4194304 4196468 140724855665792 140548221098512 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21720] ppid=21660 vsize=10850656 memory=2941812 CPUtime=12.34 cores=1,3,5,7
/proc/21663/task/21720/stat : 21720 (java) S 21660 21663 19905 0 -1 1077944384 39422 12765 0 0 1185 41 5 3 20 0 15 0 64755300 11111071744 735453 33554432000 4194304 4196468 140724855665792 140548220045968 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21721] ppid=21660 vsize=10850656 memory=4048 CPUtime=7.37 cores=1,3,5,7
/proc/21663/task/21721/stat : 21721 (java) S 21660 21663 19905 0 -1 1077944384 33075 12765 0 0 690 39 5 3 20 0 15 0 64755301 11111071744 735453 33554432000 4194304 4196468 140724855665792 140548175927792 140548649257602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21722] ppid=21660 vsize=10850656 memory=279653508819584 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21722/stat : 21722 (java) S 21660 21663 19905 0 -1 1077944384 19 12765 0 0 0 0 5 3 20 0 15 0 64755302 11111071744 735453 33554432000 4194304 4196468 140724855665792 140548107134432 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21723] ppid=21660 vsize=10850656 memory=2941812 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21723/stat : 21723 (java) S 21660 21663 19905 0 -1 1077944384 4 12765 0 0 0 0 5 3 20 0 15 0 64755302 11111071744 735453 33554432000 4194304 4196468 140724855665792 140547503154688 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21724] ppid=21660 vsize=10850656 memory=230119 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21724/stat : 21724 (java) S 21660 21663 19905 0 -1 1077944384 3 12765 0 0 0 0 5 3 20 0 15 0 64755304 11111071744 735453 33554432000 4194304 4196468 140724855665792 140547195755216 140548649265051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21725] ppid=21660 vsize=10850656 memory=1196 CPUtime=10.68 cores=1,3,5,7
/proc/21663/task/21725/stat : 21725 (java) S 21660 21663 19905 0 -1 1077944384 26282 12765 0 0 1055 5 5 3 20 0 15 0 64755304 11111071744 735453 33554432000 4194304 4196468 140724855665792 140548073576432 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21726] ppid=21660 vsize=10850656 memory=2244 CPUtime=10.14 cores=1,3,5,7
/proc/21663/task/21726/stat : 21726 (java) S 21660 21663 19905 0 -1 1077944384 25876 12765 0 0 1003 3 5 3 20 0 15 0 64755304 11111071744 735453 33554432000 4194304 4196468 140724855665792 140548072523888 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21727] ppid=21660 vsize=10850656 memory=4312 CPUtime=2.84 cores=1,3,5,7
/proc/21663/task/21727/stat : 21727 (java) S 21660 21663 19905 0 -1 1077944384 31991 12765 0 0 269 7 5 3 20 0 15 0 64755304 11111071744 735453 33554432000 4194304 4196468 140724855665792 140548071471344 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21728] ppid=21660 vsize=10850656 memory=279653508676032 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21728/stat : 21728 (java) S 21660 21663 19905 0 -1 1077944384 3 12765 0 0 0 0 5 3 20 0 15 0 64755305 11111071744 735453 33554432000 4194304 4196468 140724855665792 140547162196576 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21729] ppid=21660 vsize=10850656 memory=-6035579701619705286 CPUtime=1.52 cores=1,3,5,7
/proc/21663/task/21729/stat : 21729 (java) S 21660 21663 19905 0 -1 1077944384 1858 12765 0 0 60 84 5 3 20 0 15 0 64755305 11111071744 735453 33554432000 4194304 4196468 140724855665792 140548070419248 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
Current children cumulated CPU time: 2441.23 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 2941812 KiB
[startup+2442.3 s]
/proc/loadavg: 1.53 1.59 1.49 3/219 21962
/proc/meminfo: memFree=15991868/32770624 swapFree=67108860/67108860
[pid=21663] ppid=21660 vsize=10850656 memory=2941832 CPUtime=2502.32 cores=1,3,5,7
/proc/21663/stat : 21663 (java) S 21660 21663 19905 0 -1 1077944320 438612 12765 0 0 249868 356 5 3 20 0 15 0 64755290 11111071744 735458 33554432000 4194304 4196468 140724855665792 140724855648336 140548649246455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
/proc/21663/statm: 2712664 735458 3536 1 0 2674317 0
[pid=21663/tid=21716] ppid=21660 vsize=10850656 memory=2941832 CPUtime=2419.04 cores=1,3,5,7
/proc/21663/task/21716/stat : 21716 (java) R 21660 21663 19905 0 -1 4202560 137744 12765 0 0 241818 78 5 3 20 0 15 0 64755299 11111071744 735458 33554432000 4194304 4196468 140724855665792 140548621080816 140548252697819 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21717] ppid=21660 vsize=10850656 memory=0 CPUtime=12.78 cores=1,3,5,7
/proc/21663/task/21717/stat : 21717 (java) S 21660 21663 19905 0 -1 1077944384 50446 12765 0 0 1223 47 5 3 20 0 15 0 64755300 11111071744 735458 33554432000 4194304 4196468 140724855665792 140548653488400 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21718] ppid=21660 vsize=10850656 memory=2941820 CPUtime=12.79 cores=1,3,5,7
/proc/21663/task/21718/stat : 21718 (java) S 21660 21663 19905 0 -1 1077944384 47842 12765 0 0 1224 47 5 3 20 0 15 0 64755300 11111071744 735458 33554432000 4194304 4196468 140724855665792 140548578793872 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21719] ppid=21660 vsize=10850656 memory=2941824 CPUtime=12.78 cores=1,3,5,7
/proc/21663/task/21719/stat : 21719 (java) S 21660 21663 19905 0 -1 1077944384 39777 12765 0 0 1225 45 5 3 20 0 15 0 64755300 11111071744 735458 33554432000 4194304 4196468 140724855665792 140548221098512 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21720] ppid=21660 vsize=10850656 memory=2941832 CPUtime=12.72 cores=1,3,5,7
/proc/21663/task/21720/stat : 21720 (java) S 21660 21663 19905 0 -1 1077944384 40345 12765 0 0 1222 42 5 3 20 0 15 0 64755300 11111071744 735458 33554432000 4194304 4196468 140724855665792 140548220045968 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21721] ppid=21660 vsize=10850656 memory=2941832 CPUtime=7.6 cores=1,3,5,7
/proc/21663/task/21721/stat : 21721 (java) S 21660 21663 19905 0 -1 1077944384 34145 12765 0 0 711 41 5 3 20 0 15 0 64755301 11111071744 735458 33554432000 4194304 4196468 140724855665792 140548175927792 140548649257602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21722] ppid=21660 vsize=10850656 memory=2941832 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21722/stat : 21722 (java) S 21660 21663 19905 0 -1 1077944384 19 12765 0 0 0 0 5 3 20 0 15 0 64755302 11111071744 735458 33554432000 4194304 4196468 140724855665792 140548107134432 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21723] ppid=21660 vsize=10850656 memory=2941832 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21723/stat : 21723 (java) S 21660 21663 19905 0 -1 1077944384 4 12765 0 0 0 0 5 3 20 0 15 0 64755302 11111071744 735458 33554432000 4194304 4196468 140724855665792 140547503154688 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21724] ppid=21660 vsize=10850656 memory=2941824 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21724/stat : 21724 (java) S 21660 21663 19905 0 -1 1077944384 3 12765 0 0 0 0 5 3 20 0 15 0 64755304 11111071744 735458 33554432000 4194304 4196468 140724855665792 140547195755216 140548649265051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21725] ppid=21660 vsize=10850656 memory=2941824 CPUtime=10.68 cores=1,3,5,7
/proc/21663/task/21725/stat : 21725 (java) S 21660 21663 19905 0 -1 1077944384 26288 12765 0 0 1055 5 5 3 20 0 15 0 64755304 11111071744 735458 33554432000 4194304 4196468 140724855665792 140548073576432 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21726] ppid=21660 vsize=10850656 memory=2941832 CPUtime=10.14 cores=1,3,5,7
/proc/21663/task/21726/stat : 21726 (java) S 21660 21663 19905 0 -1 1077944384 25885 12765 0 0 1003 3 5 3 20 0 15 0 64755304 11111071744 735458 33554432000 4194304 4196468 140724855665792 140548072523888 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21727] ppid=21660 vsize=10850656 memory=2941832 CPUtime=2.84 cores=1,3,5,7
/proc/21663/task/21727/stat : 21727 (java) S 21660 21663 19905 0 -1 1077944384 32000 12765 0 0 269 7 5 3 20 0 15 0 64755304 11111071744 735458 33554432000 4194304 4196468 140724855665792 140548071471344 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21728] ppid=21660 vsize=10850656 memory=1424 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21728/stat : 21728 (java) S 21660 21663 19905 0 -1 1077944384 3 12765 0 0 0 0 5 3 20 0 15 0 64755305 11111071744 735458 33554432000 4194304 4196468 140724855665792 140547162196576 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21729] ppid=21660 vsize=10850656 memory=1232 CPUtime=1.56 cores=1,3,5,7
/proc/21663/task/21729/stat : 21729 (java) S 21660 21663 19905 0 -1 1077944384 1918 12765 0 0 63 85 5 3 20 0 15 0 64755305 11111071744 735458 33554432000 4194304 4196468 140724855665792 140548070419248 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 2941832 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2459.7 s]
/proc/loadavg: 1.58 1.60 1.49 3/219 21962
/proc/meminfo: memFree=15991744/32770624 swapFree=67108860/67108860
[pid=21663] ppid=21660 vsize=10850656 memory=2941836 CPUtime=2520.03 cores=1,3,5,7
/proc/21663/stat : 21663 (java) S 21660 21663 19905 0 -1 1077944320 440080 12765 0 0 251638 357 5 3 20 0 15 0 64755290 11111071744 735459 33554432000 4194304 4196468 140724855665792 140724855648336 140548649246455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
/proc/21663/statm: 2712664 735459 3536 1 0 2674317 0
[pid=21663/tid=21716] ppid=21660 vsize=10850656 memory=2941836 CPUtime=2436.24 cores=1,3,5,7
/proc/21663/task/21716/stat : 21716 (java) R 21660 21663 19905 0 -1 4202560 138039 12765 0 0 243537 79 5 3 20 0 15 0 64755299 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548621080640 140548257645348 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21717] ppid=21660 vsize=10850656 memory=2941836 CPUtime=12.89 cores=1,3,5,7
/proc/21663/task/21717/stat : 21717 (java) S 21660 21663 19905 0 -1 1077944384 50475 12765 0 0 1234 47 5 3 20 0 15 0 64755300 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548653488400 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21718] ppid=21660 vsize=10850656 memory=2941832 CPUtime=12.9 cores=1,3,5,7
/proc/21663/task/21718/stat : 21718 (java) S 21660 21663 19905 0 -1 1077944384 47888 12765 0 0 1235 47 5 3 20 0 15 0 64755300 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548578793872 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21719] ppid=21660 vsize=10850656 memory=2941836 CPUtime=12.89 cores=1,3,5,7
/proc/21663/task/21719/stat : 21719 (java) S 21660 21663 19905 0 -1 1077944384 39796 12765 0 0 1236 45 5 3 20 0 15 0 64755300 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548221098512 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21720] ppid=21660 vsize=10850656 memory=1274 CPUtime=12.84 cores=1,3,5,7
/proc/21663/task/21720/stat : 21720 (java) S 21660 21663 19905 0 -1 1077944384 41400 12765 0 0 1233 43 5 3 20 0 15 0 64755300 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548220045968 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21721] ppid=21660 vsize=10850656 memory=2941836 CPUtime=7.66 cores=1,3,5,7
/proc/21663/task/21721/stat : 21721 (java) S 21660 21663 19905 0 -1 1077944384 34167 12765 0 0 717 41 5 3 20 0 15 0 64755301 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548175927792 140548649257602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21722] ppid=21660 vsize=10850656 memory=2941836 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21722/stat : 21722 (java) S 21660 21663 19905 0 -1 1077944384 19 12765 0 0 0 0 5 3 20 0 15 0 64755302 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548107134432 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21723] ppid=21660 vsize=10850656 memory=2941836 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21723/stat : 21723 (java) S 21660 21663 19905 0 -1 1077944384 4 12765 0 0 0 0 5 3 20 0 15 0 64755302 11111071744 735459 33554432000 4194304 4196468 140724855665792 140547503154688 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21724] ppid=21660 vsize=10850656 memory=2941836 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21724/stat : 21724 (java) S 21660 21663 19905 0 -1 1077944384 3 12765 0 0 0 0 5 3 20 0 15 0 64755304 11111071744 735459 33554432000 4194304 4196468 140724855665792 140547195755216 140548649265051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21725] ppid=21660 vsize=10850656 memory=2941832 CPUtime=10.68 cores=1,3,5,7
/proc/21663/task/21725/stat : 21725 (java) S 21660 21663 19905 0 -1 1077944384 26288 12765 0 0 1055 5 5 3 20 0 15 0 64755304 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548073576432 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21726] ppid=21660 vsize=10850656 memory=4036 CPUtime=10.14 cores=1,3,5,7
/proc/21663/task/21726/stat : 21726 (java) S 21660 21663 19905 0 -1 1077944384 25885 12765 0 0 1003 3 5 3 20 0 15 0 64755304 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548072523888 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21727] ppid=21660 vsize=10850656 memory=19972 CPUtime=2.84 cores=1,3,5,7
/proc/21663/task/21727/stat : 21727 (java) S 21660 21663 19905 0 -1 1077944384 32000 12765 0 0 269 7 5 3 20 0 15 0 64755304 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548071471344 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21728] ppid=21660 vsize=10850656 memory=93 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21728/stat : 21728 (java) S 21660 21663 19905 0 -1 1077944384 3 12765 0 0 0 0 5 3 20 0 15 0 64755305 11111071744 735459 33554432000 4194304 4196468 140724855665792 140547162196576 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21729] ppid=21660 vsize=10850656 memory=122 CPUtime=1.57 cores=1,3,5,7
/proc/21663/task/21729/stat : 21729 (java) S 21660 21663 19905 0 -1 1077944384 1920 12765 0 0 64 85 5 3 20 0 15 0 64755305 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548070419248 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 2941836 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2459.75 s]
# the end of solver process 21663 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.47 s, system=3.63046 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2459.7 s]
/proc/loadavg: 1.58 1.60 1.49 3/219 21962
/proc/meminfo: memFree=15991744/32770624 swapFree=67108860/67108860
[pid=21663] ppid=21660 vsize=10850656 memory=2941836 CPUtime=2520.03 cores=1,3,5,7
/proc/21663/stat : 21663 (java) S 21660 21663 19905 0 -1 1077944320 440080 12765 0 0 251638 357 5 3 20 0 15 0 64755290 11111071744 735459 33554432000 4194304 4196468 140724855665792 140724855648336 140548649246455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
/proc/21663/statm: 2712664 735459 3536 1 0 2674317 0
[pid=21663/tid=21716] ppid=21660 vsize=10850656 memory=2941836 CPUtime=2436.24 cores=1,3,5,7
/proc/21663/task/21716/stat : 21716 (java) R 21660 21663 19905 0 -1 4202560 138039 12765 0 0 243537 79 5 3 20 0 15 0 64755299 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548621080640 140548257645348 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21717] ppid=21660 vsize=10850656 memory=2941836 CPUtime=12.89 cores=1,3,5,7
/proc/21663/task/21717/stat : 21717 (java) S 21660 21663 19905 0 -1 1077944384 50475 12765 0 0 1234 47 5 3 20 0 15 0 64755300 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548653488400 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21718] ppid=21660 vsize=10850656 memory=2941832 CPUtime=12.9 cores=1,3,5,7
/proc/21663/task/21718/stat : 21718 (java) S 21660 21663 19905 0 -1 1077944384 47888 12765 0 0 1235 47 5 3 20 0 15 0 64755300 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548578793872 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21719] ppid=21660 vsize=10850656 memory=2941836 CPUtime=12.89 cores=1,3,5,7
/proc/21663/task/21719/stat : 21719 (java) S 21660 21663 19905 0 -1 1077944384 39796 12765 0 0 1236 45 5 3 20 0 15 0 64755300 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548221098512 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21720] ppid=21660 vsize=10850656 memory=1274 CPUtime=12.84 cores=1,3,5,7
/proc/21663/task/21720/stat : 21720 (java) S 21660 21663 19905 0 -1 1077944384 41400 12765 0 0 1233 43 5 3 20 0 15 0 64755300 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548220045968 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21721] ppid=21660 vsize=10850656 memory=2941836 CPUtime=7.66 cores=1,3,5,7
/proc/21663/task/21721/stat : 21721 (java) S 21660 21663 19905 0 -1 1077944384 34167 12765 0 0 717 41 5 3 20 0 15 0 64755301 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548175927792 140548649257602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21722] ppid=21660 vsize=10850656 memory=2941836 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21722/stat : 21722 (java) S 21660 21663 19905 0 -1 1077944384 19 12765 0 0 0 0 5 3 20 0 15 0 64755302 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548107134432 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21723] ppid=21660 vsize=10850656 memory=2941836 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21723/stat : 21723 (java) S 21660 21663 19905 0 -1 1077944384 4 12765 0 0 0 0 5 3 20 0 15 0 64755302 11111071744 735459 33554432000 4194304 4196468 140724855665792 140547503154688 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21724] ppid=21660 vsize=10850656 memory=2941836 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21724/stat : 21724 (java) S 21660 21663 19905 0 -1 1077944384 3 12765 0 0 0 0 5 3 20 0 15 0 64755304 11111071744 735459 33554432000 4194304 4196468 140724855665792 140547195755216 140548649265051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21725] ppid=21660 vsize=10850656 memory=2941832 CPUtime=10.68 cores=1,3,5,7
/proc/21663/task/21725/stat : 21725 (java) S 21660 21663 19905 0 -1 1077944384 26288 12765 0 0 1055 5 5 3 20 0 15 0 64755304 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548073576432 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21726] ppid=21660 vsize=10850656 memory=4036 CPUtime=10.14 cores=1,3,5,7
/proc/21663/task/21726/stat : 21726 (java) S 21660 21663 19905 0 -1 1077944384 25885 12765 0 0 1003 3 5 3 20 0 15 0 64755304 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548072523888 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21727] ppid=21660 vsize=10850656 memory=19972 CPUtime=2.84 cores=1,3,5,7
/proc/21663/task/21727/stat : 21727 (java) S 21660 21663 19905 0 -1 1077944384 32000 12765 0 0 269 7 5 3 20 0 15 0 64755304 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548071471344 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21728] ppid=21660 vsize=10850656 memory=93 CPUtime=0.08 cores=1,3,5,7
/proc/21663/task/21728/stat : 21728 (java) S 21660 21663 19905 0 -1 1077944384 3 12765 0 0 0 0 5 3 20 0 15 0 64755305 11111071744 735459 33554432000 4194304 4196468 140724855665792 140547162196576 140548649256661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
[pid=21663/tid=21729] ppid=21660 vsize=10850656 memory=122 CPUtime=1.57 cores=1,3,5,7
/proc/21663/task/21729/stat : 21729 (java) S 21660 21663 19905 0 -1 1077944384 1920 12765 0 0 64 85 5 3 20 0 15 0 64755305 11111071744 735459 33554432000 4194304 4196468 140724855665792 140548070419248 140548649257602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23658496 140724855667311 140724855670108 140724855670108 140724855672783 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 2941836 KiB
Child status: 143
Real time (s): 2459.75
CPU time (s): 2520.1
CPU user time (s): 2516.47
CPU system time (s): 3.63046
CPU usage (%): 102.453
Max. virtual memory (cumulated for all children) (KiB): 10850656
Max. memory (cumulated for all children) (KiB): 2972524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.47
system time used= 3.63046
maximum resident set size= 2973560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 458861
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 212978
involuntary context switches= 6312
# summary of solver processes directly reported to runsolver:
# pid: 21663
# total CPU time (s): 2520.1
# total CPU user time (s): 2516.47
# total CPU system time (s): 3.63046
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8302 second user time and 24.3664 second system time
The end