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 (10463 MiB free)
memory of node 1: 16384 MiB (7004 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305198-1534140826/watcher-4305198-1534140826 -o /tmp/evaluation-result-4305198-1534140826/solver-4305198-1534140826 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534138334-16508 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1770380789 -superng HOME/instance-4305198-1534140826.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
solver pid=16959, runsolver pid=16956
Current StackSize limit: 8192 KiB
[startup+0.100224 s]*
/proc/loadavg: 1.37 1.27 1.33 4/207 17012
/proc/meminfo: memFree=17877920/32770624 swapFree=67108688/67108860
[pid=16959] ppid=16956 vsize=10005480 memory=16548 CPUtime=0.08 cores=1,3,5,7
/proc/16959/stat : 16959 (java) S 16956 16959 15790 0 -1 1077944320 4289 13206 0 0 1 0 5 2 20 0 6 0 231645816 10245611520 4137 33554432000 4194304 4196468 140723966813376 140723966795920 140581851623159 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
/proc/16959/statm: 2501370 4137 1932 1 0 2489808 0
[pid=16959/tid=17012] ppid=16956 vsize=10005480 memory=4279135704047321741 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17012/stat : 17012 (java) R 16956 16959 15790 0 -1 4202560 2134 13206 0 0 0 0 5 2 20 0 6 0 231645826 10245611520 4203 33554432000 4194304 4196468 140723966813376 140581823459920 140581837305685 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17013] ppid=16956 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17013/stat : 17013 (java) S 16956 16959 15790 0 -1 1077944384 1 13206 0 0 0 0 5 2 20 0 6 0 231645827 10245611520 4203 33554432000 4194304 4196468 140723966813376 140581855865104 140581851633365 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17014] ppid=16956 vsize=10005480 memory=139715563894400 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17014/stat : 17014 (java) S 16956 16959 15790 0 -1 1077944384 1 13206 0 0 0 0 5 2 20 0 6 0 231645827 10245611520 4203 33554432000 4194304 4196468 140723966813376 140581737130384 140581851633365 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17015] ppid=16956 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17015/stat : 17015 (java) S 16956 16959 15790 0 -1 1077944384 2 13206 0 0 0 0 5 2 20 0 6 0 231645827 10245611520 4203 33554432000 4194304 4196468 140723966813376 140581736077840 140581851633365 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17016] ppid=16956 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17016/stat : 17016 (java) S 16956 16959 15790 0 -1 1077944384 2 13206 0 0 0 0 5 2 20 0 6 0 231645827 10245611520 4203 33554432000 4194304 4196468 140723966813376 140581735025296 140581851633365 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16548 KiB
[startup+0.210078 s]*
/proc/loadavg: 1.37 1.27 1.33 6/220 17025
/proc/meminfo: memFree=17831008/32770624 swapFree=67108688/67108860
[pid=16959] ppid=16956 vsize=10982744 memory=42348 CPUtime=0.25 cores=1,3,5,7
/proc/16959/stat : 16959 (java) S 16956 16959 15790 0 -1 1077944320 7270 13206 0 0 17 1 5 2 20 0 15 0 231645816 11246329856 10587 33554432000 4194304 4196468 140723966813376 140723966795920 140581851623159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
/proc/16959/statm: 2745686 10587 2947 1 0 2708109 0
[pid=16959/tid=17012] ppid=16956 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/16959/task/17012/stat : 17012 (java) R 16956 16959 15790 0 -1 4202560 4025 13206 0 0 10 1 5 2 20 0 15 0 231645826 11246329856 10719 33554432000 4194304 4196468 140723966813376 140581823445064 140581831898919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17013] ppid=16956 vsize=10982744 memory=365 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17013/stat : 17013 (java) S 16956 16959 15790 0 -1 1077944384 1 13206 0 0 0 0 5 2 20 0 15 0 231645827 11246329856 10785 33554432000 4194304 4196468 140723966813376 140581855865104 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17014] ppid=16956 vsize=10982744 memory=288370091715606144 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17014/stat : 17014 (java) S 16956 16959 15790 0 -1 1077944384 1 13206 0 0 0 0 5 2 20 0 15 0 231645827 11246329856 10785 33554432000 4194304 4196468 140723966813376 140581737130384 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17015] ppid=16956 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17015/stat : 17015 (java) S 16956 16959 15790 0 -1 1077944384 2 13206 0 0 0 0 5 2 20 0 15 0 231645827 11246329856 10785 33554432000 4194304 4196468 140723966813376 140581736077840 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17016] ppid=16956 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17016/stat : 17016 (java) S 16956 16959 15790 0 -1 1077944384 2 13206 0 0 0 0 5 2 20 0 15 0 231645827 11246329856 10785 33554432000 4194304 4196468 140723966813376 140581735025296 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17017] ppid=16956 vsize=10982744 memory=139715563894400 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17017/stat : 17017 (java) S 16956 16959 15790 0 -1 1077944384 2 13206 0 0 0 0 5 2 20 0 15 0 231645828 11246329856 10785 33554432000 4194304 4196468 140723966813376 140581344688624 140581851634306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17018] ppid=16956 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17018/stat : 17018 (java) S 16956 16959 15790 0 -1 1077944384 13 13206 0 0 0 0 5 2 20 0 15 0 231645828 11246329856 10785 33554432000 4194304 4196468 140723966813376 140580654933408 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17019] ppid=16956 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17019/stat : 17019 (java) S 16956 16959 15790 0 -1 1077944384 1 13206 0 0 0 0 5 2 20 0 15 0 231645829 11246329856 10785 33554432000 4194304 4196468 140723966813376 140580453606896 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17020] ppid=16956 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17020/stat : 17020 (java) S 16956 16959 15790 0 -1 1077944384 3 13206 0 0 0 0 5 2 20 0 15 0 231645831 11246329856 10785 33554432000 4194304 4196468 140723966813376 140580146207440 140581851641755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17021] ppid=16956 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16959/task/17021/stat : 17021 (java) S 16956 16959 15790 0 -1 1077944384 481 13206 0 0 1 0 5 2 20 0 15 0 231645831 11246329856 10785 33554432000 4194304 4196468 140723966813376 140581343635440 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17022] ppid=16956 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17022/stat : 17022 (java) S 16956 16959 15790 0 -1 1077944384 130 13206 0 0 0 0 5 2 20 0 15 0 231645831 11246329856 10785 33554432000 4194304 4196468 140723966813376 140581342582896 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17023] ppid=16956 vsize=10982744 memory=139715563894400 CPUtime=0.1 cores=1,3,5,7
/proc/16959/task/17023/stat : 17023 (java) S 16956 16959 15790 0 -1 1077944384 610 13206 0 0 3 0 5 2 20 0 15 0 231645831 11246329856 10785 33554432000 4194304 4196468 140723966813376 140581341530352 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17024] ppid=16956 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17024/stat : 17024 (java) S 16956 16959 15790 0 -1 1077944384 3 13206 0 0 0 0 5 2 20 0 15 0 231645831 11246329856 10851 33554432000 4194304 4196468 140723966813376 140579715410528 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17025] ppid=16956 vsize=10982744 memory=139715563894400 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17025/stat : 17025 (java) S 16956 16959 15790 0 -1 1077944384 1 13206 0 0 0 0 5 2 20 0 15 0 231645832 11246329856 10851 33554432000 4194304 4196468 140723966813376 140581340478256 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42348 KiB
[startup+0.310388 s]*
/proc/loadavg: 1.37 1.27 1.33 6/220 17025
/proc/meminfo: memFree=17792704/32770624 swapFree=67108688/67108860
[pid=16959] ppid=16956 vsize=10983192 memory=55520 CPUtime=0.37 cores=1,3,5,7
/proc/16959/stat : 16959 (java) S 16956 16959 15790 0 -1 1077944320 10402 13206 0 0 28 2 5 2 20 0 15 0 231645816 11246788608 13880 33554432000 4194304 4196468 140723966813376 140723966795920 140581851623159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
/proc/16959/statm: 2745798 13880 3093 1 0 2708109 0
[pid=16959/tid=17012] ppid=16956 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/16959/task/17012/stat : 17012 (java) R 16956 16959 15790 0 -1 4202560 6956 13206 0 0 19 2 5 2 20 0 15 0 231645826 11246788608 13922 33554432000 4194304 4196468 140723966813376 140581823435168 140581833186719 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17013] ppid=16956 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17013/stat : 17013 (java) S 16956 16959 15790 0 -1 1077944384 1 13206 0 0 0 0 5 2 20 0 15 0 231645827 11246788608 13922 33554432000 4194304 4196468 140723966813376 140581855865104 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17014] ppid=16956 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17014/stat : 17014 (java) S 16956 16959 15790 0 -1 1077944384 1 13206 0 0 0 0 5 2 20 0 15 0 231645827 11246788608 13922 33554432000 4194304 4196468 140723966813376 140581737130384 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17015] ppid=16956 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17015/stat : 17015 (java) S 16956 16959 15790 0 -1 1077944384 2 13206 0 0 0 0 5 2 20 0 15 0 231645827 11246788608 13922 33554432000 4194304 4196468 140723966813376 140581736077840 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17016] ppid=16956 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17016/stat : 17016 (java) S 16956 16959 15790 0 -1 1077944384 2 13206 0 0 0 0 5 2 20 0 15 0 231645827 11246788608 13922 33554432000 4194304 4196468 140723966813376 140581735025296 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17017] ppid=16956 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17017/stat : 17017 (java) S 16956 16959 15790 0 -1 1077944384 2 13206 0 0 0 0 5 2 20 0 15 0 231645828 11246788608 13922 33554432000 4194304 4196468 140723966813376 140581344688624 140581851634306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17018] ppid=16956 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17018/stat : 17018 (java) S 16956 16959 15790 0 -1 1077944384 13 13206 0 0 0 0 5 2 20 0 15 0 231645828 11246788608 13922 33554432000 4194304 4196468 140723966813376 140580654933408 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17019] ppid=16956 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17019/stat : 17019 (java) S 16956 16959 15790 0 -1 1077944384 1 13206 0 0 0 0 5 2 20 0 15 0 231645829 11246788608 13922 33554432000 4194304 4196468 140723966813376 140580453606896 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17020] ppid=16956 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17020/stat : 17020 (java) S 16956 16959 15790 0 -1 1077944384 3 13206 0 0 0 0 5 2 20 0 15 0 231645831 11246788608 13922 33554432000 4194304 4196468 140723966813376 140580146207440 140581851641755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17021] ppid=16956 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16959/task/17021/stat : 17021 (java) S 16956 16959 15790 0 -1 1077944384 482 13206 0 0 1 0 5 2 20 0 15 0 231645831 11246788608 13922 33554432000 4194304 4196468 140723966813376 140581343635440 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17022] ppid=16956 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16959/task/17022/stat : 17022 (java) S 16956 16959 15790 0 -1 1077944384 133 13206 0 0 1 0 5 2 20 0 15 0 231645831 11246788608 13922 33554432000 4194304 4196468 140723966813376 140581342582896 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17023] ppid=16956 vsize=10983192 memory=139715563894400 CPUtime=0.11 cores=1,3,5,7
/proc/16959/task/17023/stat : 17023 (java) S 16956 16959 15790 0 -1 1077944384 621 13206 0 0 4 0 5 2 20 0 15 0 231645831 11246788608 13922 33554432000 4194304 4196468 140723966813376 140581341530352 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17024] ppid=16956 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17024/stat : 17024 (java) S 16956 16959 15790 0 -1 1077944384 3 13206 0 0 0 0 5 2 20 0 15 0 231645831 11246788608 13922 33554432000 4194304 4196468 140723966813376 140579715410528 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17025] ppid=16956 vsize=10983192 memory=139715563894400 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17025/stat : 17025 (java) S 16956 16959 15790 0 -1 1077944384 2 13206 0 0 0 0 5 2 20 0 15 0 231645832 11246788608 13922 33554432000 4194304 4196468 140723966813376 140581340478256 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55520 KiB
[startup+0.700799 s]
/proc/loadavg: 1.37 1.27 1.33 5/220 17025
/proc/meminfo: memFree=17780316/32770624 swapFree=67108688/67108860
[pid=16959] ppid=16956 vsize=10983192 memory=88444 CPUtime=0.98 cores=1,3,5,7
/proc/16959/stat : 16959 (java) S 16956 16959 15790 0 -1 1077944320 16748 13206 0 0 87 4 5 2 20 0 15 0 231645816 11246788608 22111 33554432000 4194304 4196468 140723966813376 140723966795920 140581851623159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
/proc/16959/statm: 2745798 22111 3240 1 0 2708109 0
[pid=16959/tid=17012] ppid=16956 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/16959/task/17012/stat : 17012 (java) R 16956 16959 15790 0 -1 4202560 12196 13206 0 0 56 3 5 2 20 0 15 0 231645826 11246788608 22111 33554432000 4194304 4196468 140723966813376 140581823451040 140581835703646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17013] ppid=16956 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17013/stat : 17013 (java) S 16956 16959 15790 0 -1 1077944384 1 13206 0 0 0 0 5 2 20 0 15 0 231645827 11246788608 22111 33554432000 4194304 4196468 140723966813376 140581855865104 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17014] ppid=16956 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17014/stat : 17014 (java) S 16956 16959 15790 0 -1 1077944384 1 13206 0 0 0 0 5 2 20 0 15 0 231645827 11246788608 22111 33554432000 4194304 4196468 140723966813376 140581737130384 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17015] ppid=16956 vsize=10983192 memory=139715420500752 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17015/stat : 17015 (java) S 16956 16959 15790 0 -1 1077944384 2 13206 0 0 0 0 5 2 20 0 15 0 231645827 11246788608 22111 33554432000 4194304 4196468 140723966813376 140581736077840 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17016] ppid=16956 vsize=10983192 memory=139719581106799 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17016/stat : 17016 (java) S 16956 16959 15790 0 -1 1077944384 2 13206 0 0 0 0 5 2 20 0 15 0 231645827 11246788608 22111 33554432000 4194304 4196468 140723966813376 140581735025296 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17017] ppid=16956 vsize=10983192 memory=1832 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17017/stat : 17017 (java) S 16956 16959 15790 0 -1 1077944384 5 13206 0 0 0 0 5 2 20 0 15 0 231645828 11246788608 22111 33554432000 4194304 4196468 140723966813376 140581344688624 140581851634306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17018] ppid=16956 vsize=10983192 memory=7161944214934349376 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17018/stat : 17018 (java) S 16956 16959 15790 0 -1 1077944384 13 13206 0 0 0 0 5 2 20 0 15 0 231645828 11246788608 22111 33554432000 4194304 4196468 140723966813376 140580654933408 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17019] ppid=16956 vsize=10983192 memory=6082220498227391592 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17019/stat : 17019 (java) S 16956 16959 15790 0 -1 1077944384 1 13206 0 0 0 0 5 2 20 0 15 0 231645829 11246788608 22111 33554432000 4194304 4196468 140723966813376 140580453606896 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17020] ppid=16956 vsize=10983192 memory=16348 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17020/stat : 17020 (java) S 16956 16959 15790 0 -1 1077944384 3 13206 0 0 0 0 5 2 20 0 15 0 231645831 11246788608 22111 33554432000 4194304 4196468 140723966813376 140580146207440 140581851641755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17021] ppid=16956 vsize=10983192 memory=1176 CPUtime=0.17 cores=1,3,5,7
/proc/16959/task/17021/stat : 17021 (java) S 16956 16959 15790 0 -1 1077944384 1062 13206 0 0 10 0 5 2 20 0 15 0 231645831 11246788608 22111 33554432000 4194304 4196468 140723966813376 140581343635440 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17022] ppid=16956 vsize=10983192 memory=34820 CPUtime=0.14 cores=1,3,5,7
/proc/16959/task/17022/stat : 17022 (java) S 16956 16959 15790 0 -1 1077944384 552 13206 0 0 7 0 5 2 20 0 15 0 231645831 11246788608 22111 33554432000 4194304 4196468 140723966813376 140581342582896 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17023] ppid=16956 vsize=10983192 memory=4048 CPUtime=0.2 cores=1,3,5,7
/proc/16959/task/17023/stat : 17023 (java) S 16956 16959 15790 0 -1 1077944384 713 13206 0 0 13 0 5 2 20 0 15 0 231645831 11246788608 22111 33554432000 4194304 4196468 140723966813376 140581341530352 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17024] ppid=16956 vsize=10983192 memory=508 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17024/stat : 17024 (java) S 16956 16959 15790 0 -1 1077944384 3 13206 0 0 0 0 5 2 20 0 15 0 231645831 11246788608 22111 33554432000 4194304 4196468 140723966813376 140579715410528 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17025] ppid=16956 vsize=10983192 memory=1728 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17025/stat : 17025 (java) S 16956 16959 15790 0 -1 1077944384 2 13206 0 0 0 0 5 2 20 0 15 0 231645832 11246788608 22111 33554432000 4194304 4196468 140723966813376 140581340478256 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88444 KiB
[startup+1.50074 s]
/proc/loadavg: 1.37 1.27 1.33 5/220 17025
/proc/meminfo: memFree=17734632/32770624 swapFree=67108688/67108860
[pid=16959] ppid=16956 vsize=10996044 memory=233168 CPUtime=2.89 cores=1,3,5,7
/proc/16959/stat : 16959 (java) S 16956 16959 15790 0 -1 1077944320 23546 13206 0 0 272 10 5 2 20 0 15 0 231645816 11259949056 58292 33554432000 4194304 4196468 140723966813376 140723966795920 140581851623159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
/proc/16959/statm: 2749011 58292 3451 1 0 2710669 0
[pid=16959/tid=17012] ppid=16956 vsize=10996044 memory=65212 CPUtime=1.44 cores=1,3,5,7
/proc/16959/task/17012/stat : 17012 (java) R 16956 16959 15790 0 -1 4202560 16350 13206 0 0 130 7 5 2 20 0 15 0 231645826 11259949056 58292 33554432000 4194304 4196468 140723966813376 140581823439712 140581835703646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17013] ppid=16956 vsize=10996044 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17013/stat : 17013 (java) S 16956 16959 15790 0 -1 1077944384 176 13206 0 0 0 0 5 2 20 0 15 0 231645827 11259949056 58292 33554432000 4194304 4196468 140723966813376 140581855865104 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17014] ppid=16956 vsize=10996044 memory=279430841032864 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17014/stat : 17014 (java) S 16956 16959 15790 0 -1 1077944384 7 13206 0 0 0 0 5 2 20 0 15 0 231645827 11259949056 58292 33554432000 4194304 4196468 140723966813376 140581737130384 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17015] ppid=16956 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17015/stat : 17015 (java) S 16956 16959 15790 0 -1 1077944384 49 13206 0 0 0 0 5 2 20 0 15 0 231645827 11259949056 58292 33554432000 4194304 4196468 140723966813376 140581736077840 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17016] ppid=16956 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17016/stat : 17016 (java) S 16956 16959 15790 0 -1 1077944384 14 13206 0 0 0 0 5 2 20 0 15 0 231645827 11259949056 58292 33554432000 4194304 4196468 140723966813376 140581735025296 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17017] ppid=16956 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17017/stat : 17017 (java) S 16956 16959 15790 0 -1 1077944384 31 13206 0 0 0 0 5 2 20 0 15 0 231645828 11259949056 58316 33554432000 4194304 4196468 140723966813376 140581344688624 140581851634306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17018] ppid=16956 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17018/stat : 17018 (java) S 16956 16959 15790 0 -1 1077944384 13 13206 0 0 0 0 5 2 20 0 15 0 231645828 11259949056 58316 33554432000 4194304 4196468 140723966813376 140580654933472 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17019] ppid=16956 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17019/stat : 17019 (java) S 16956 16959 15790 0 -1 1077944384 3 13206 0 0 0 0 5 2 20 0 15 0 231645829 11259949056 58316 33554432000 4194304 4196468 140723966813376 140580453606912 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17020] ppid=16956 vsize=10996044 memory=-2746958450906831424 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17020/stat : 17020 (java) S 16956 16959 15790 0 -1 1077944384 3 13206 0 0 0 0 5 2 20 0 15 0 231645831 11259949056 58316 33554432000 4194304 4196468 140723966813376 140580146207440 140581851641755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17021] ppid=16956 vsize=10996044 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/16959/task/17021/stat : 17021 (java) R 16956 16959 15790 0 -1 4202560 1780 13206 0 0 50 0 5 2 20 0 15 0 231645831 11259949056 58316 33554432000 4194304 4196468 140723966813376 140581343613968 140581830861644 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17022] ppid=16956 vsize=10996044 memory=10 CPUtime=0.52 cores=1,3,5,7
/proc/16959/task/17022/stat : 17022 (java) S 16956 16959 15790 0 -1 1077944384 1323 13206 0 0 45 0 5 2 20 0 15 0 231645831 11259949056 58316 33554432000 4194304 4196468 140723966813376 140581342582896 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17023] ppid=16956 vsize=10996044 memory=6791534058613427641 CPUtime=0.5 cores=1,3,5,7
/proc/16959/task/17023/stat : 17023 (java) S 16956 16959 15790 0 -1 1077944384 1604 13206 0 0 43 0 5 2 20 0 15 0 231645831 11259949056 58316 33554432000 4194304 4196468 140723966813376 140581341530352 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17024] ppid=16956 vsize=10996044 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17024/stat : 17024 (java) S 16956 16959 15790 0 -1 1077944384 3 13206 0 0 0 0 5 2 20 0 15 0 231645831 11259949056 58316 33554432000 4194304 4196468 140723966813376 140579715410528 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17025] ppid=16956 vsize=10996044 memory=279430841277312 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17025/stat : 17025 (java) S 16956 16959 15790 0 -1 1077944384 2 13206 0 0 0 0 5 2 20 0 15 0 231645832 11259949056 58316 33554432000 4194304 4196468 140723966813376 140581340478256 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/16959/task/17012/stat : 17012 (java) R 16956 16959 15790 0 -1 4202560 88153 13206 0 0 236084 49 5 2 20 0 15 0 231645826 11343855616 269630 33554432000 4194304 4196468 140723966813376 140581823457984 140581419175510 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17013] ppid=16956 vsize=11077984 memory=1078520 CPUtime=9.54 cores=1,3,5,7
/proc/16959/task/17013/stat : 17013 (java) S 16956 16959 15790 0 -1 1077944384 12657 13206 0 0 897 50 5 2 20 0 15 0 231645827 11343855616 269630 33554432000 4194304 4196468 140723966813376 140581855865104 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17014] ppid=16956 vsize=11077984 memory=1076472 CPUtime=9.56 cores=1,3,5,7
/proc/16959/task/17014/stat : 17014 (java) S 16956 16959 15790 0 -1 1077944384 11049 13206 0 0 898 51 5 2 20 0 15 0 231645827 11343855616 269630 33554432000 4194304 4196468 140723966813376 140581737130384 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17015] ppid=16956 vsize=11077984 memory=851 CPUtime=9.57 cores=1,3,5,7
/proc/16959/task/17015/stat : 17015 (java) S 16956 16959 15790 0 -1 1077944384 7856 13206 0 0 906 44 5 2 20 0 15 0 231645827 11343855616 269630 33554432000 4194304 4196468 140723966813376 140581736077840 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17016] ppid=16956 vsize=11077984 memory=279430842147872 CPUtime=9.55 cores=1,3,5,7
/proc/16959/task/17016/stat : 17016 (java) S 16956 16959 15790 0 -1 1077944384 11985 13206 0 0 899 49 5 2 20 0 15 0 231645827 11343855616 269630 33554432000 4194304 4196468 140723966813376 140581735025296 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17017] ppid=16956 vsize=11077984 memory=1078520 CPUtime=8.68 cores=1,3,5,7
/proc/16959/task/17017/stat : 17017 (java) S 16956 16959 15790 0 -1 1077944384 17324 13206 0 0 813 48 5 2 20 0 15 0 231645828 11343855616 269630 33554432000 4194304 4196468 140723966813376 140581344688624 140581851634306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17018] ppid=16956 vsize=11077984 memory=1078520 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17018/stat : 17018 (java) S 16956 16959 15790 0 -1 1077944384 17 13206 0 0 0 0 5 2 20 0 15 0 231645828 11343855616 269630 33554432000 4194304 4196468 140723966813376 140580654933536 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17019] ppid=16956 vsize=11077984 memory=1078520 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17019/stat : 17019 (java) S 16956 16959 15790 0 -1 1077944384 14 13206 0 0 0 0 5 2 20 0 15 0 231645829 11343855616 269630 33554432000 4194304 4196468 140723966813376 140580453606912 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17020] ppid=16956 vsize=11077984 memory=1078520 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17020/stat : 17020 (java) S 16956 16959 15790 0 -1 1077944384 3 13206 0 0 0 0 5 2 20 0 15 0 231645831 11343855616 269630 33554432000 4194304 4196468 140723966813376 140580146207440 140581851641755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17021] ppid=16956 vsize=11077984 memory=1078520 CPUtime=4.64 cores=1,3,5,7
/proc/16959/task/17021/stat : 17021 (java) S 16956 16959 15790 0 -1 1077944384 25374 13206 0 0 453 4 5 2 20 0 15 0 231645831 11343855616 269630 33554432000 4194304 4196468 140723966813376 140581343635440 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17022] ppid=16956 vsize=11077984 memory=1078520 CPUtime=4.01 cores=1,3,5,7
/proc/16959/task/17022/stat : 17022 (java) S 16956 16959 15790 0 -1 1077944384 14317 13206 0 0 392 2 5 2 20 0 15 0 231645831 11343855616 269630 33554432000 4194304 4196468 140723966813376 140581342582896 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17023] ppid=16956 vsize=11077984 memory=279430841940624 CPUtime=1.98 cores=1,3,5,7
/proc/16959/task/17023/stat : 17023 (java) S 16956 16959 15790 0 -1 1077944384 22758 13206 0 0 186 5 5 2 20 0 15 0 231645831 11343855616 269630 33554432000 4194304 4196468 140723966813376 140581341530352 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17024] ppid=16956 vsize=11077984 memory=1078520 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17024/stat : 17024 (java) S 16956 16959 15790 0 -1 1077944384 3 13206 0 0 0 0 5 2 20 0 15 0 231645831 11343855616 269630 33554432000 4194304 4196468 140723966813376 140579715410528 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17025] ppid=16956 vsize=11077984 memory=1078520 CPUtime=1.31 cores=1,3,5,7
/proc/16959/task/17025/stat : 17025 (java) S 16956 16959 15790 0 -1 1077944384 1257 13206 0 0 54 70 5 2 20 0 15 0 231645832 11343855616 269630 33554432000 4194304 4196468 140723966813376 140581340478256 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
Current children cumulated CPU time: 2419.71 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1078520 KiB
[startup+2442.3 s]
/proc/loadavg: 1.43 1.35 1.33 3/219 17235
/proc/meminfo: memFree=16278584/32770624 swapFree=67108688/67108860
[pid=16959] ppid=16956 vsize=11077984 memory=1078540 CPUtime=2480.36 cores=1,3,5,7
/proc/16959/stat : 16959 (java) S 16956 16959 15790 0 -1 1077944320 216098 13206 0 0 247706 323 5 2 20 0 15 0 231645816 11343855616 269635 33554432000 4194304 4196468 140723966813376 140723966795920 140581851623159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
/proc/16959/statm: 2769496 269635 3520 1 0 2731149 0
[pid=16959/tid=17012] ppid=16956 vsize=11077984 memory=1078540 CPUtime=2420.88 cores=1,3,5,7
/proc/16959/task/17012/stat : 17012 (java) R 16956 16959 15790 0 -1 4202560 88704 13206 0 0 242032 49 5 2 20 0 15 0 231645826 11343855616 269635 33554432000 4194304 4196468 140723966813376 140581823457424 140581419173758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17013] ppid=16956 vsize=11077984 memory=1078540 CPUtime=9.78 cores=1,3,5,7
/proc/16959/task/17013/stat : 17013 (java) S 16956 16959 15790 0 -1 1077944384 12696 13206 0 0 920 51 5 2 20 0 15 0 231645827 11343855616 269635 33554432000 4194304 4196468 140723966813376 140581855865104 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17014] ppid=16956 vsize=11077984 memory=279430842147872 CPUtime=9.79 cores=1,3,5,7
/proc/16959/task/17014/stat : 17014 (java) S 16956 16959 15790 0 -1 1077944384 11063 13206 0 0 920 52 5 2 20 0 15 0 231645827 11343855616 269635 33554432000 4194304 4196468 140723966813376 140581737130384 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17015] ppid=16956 vsize=11077984 memory=1078520 CPUtime=9.81 cores=1,3,5,7
/proc/16959/task/17015/stat : 17015 (java) S 16956 16959 15790 0 -1 1077944384 7904 13206 0 0 929 45 5 2 20 0 15 0 231645827 11343855616 269635 33554432000 4194304 4196468 140723966813376 140581736077840 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17016] ppid=16956 vsize=11077984 memory=1078520 CPUtime=9.78 cores=1,3,5,7
/proc/16959/task/17016/stat : 17016 (java) S 16956 16959 15790 0 -1 1077944384 12255 13206 0 0 921 50 5 2 20 0 15 0 231645827 11343855616 269635 33554432000 4194304 4196468 140723966813376 140581735025296 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17017] ppid=16956 vsize=11077984 memory=1078540 CPUtime=8.88 cores=1,3,5,7
/proc/16959/task/17017/stat : 17017 (java) S 16956 16959 15790 0 -1 1077944384 17517 13206 0 0 832 49 5 2 20 0 15 0 231645828 11343855616 269635 33554432000 4194304 4196468 140723966813376 140581344688624 140581851634306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17018] ppid=16956 vsize=11077984 memory=1078540 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17018/stat : 17018 (java) S 16956 16959 15790 0 -1 1077944384 17 13206 0 0 0 0 5 2 20 0 15 0 231645828 11343855616 269635 33554432000 4194304 4196468 140723966813376 140580654933536 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17019] ppid=16956 vsize=11077984 memory=1078540 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17019/stat : 17019 (java) S 16956 16959 15790 0 -1 1077944384 14 13206 0 0 0 0 5 2 20 0 15 0 231645829 11343855616 269635 33554432000 4194304 4196468 140723966813376 140580453606912 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17020] ppid=16956 vsize=11077984 memory=1078540 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17020/stat : 17020 (java) S 16956 16959 15790 0 -1 1077944384 3 13206 0 0 0 0 5 2 20 0 15 0 231645831 11343855616 269635 33554432000 4194304 4196468 140723966813376 140580146207440 140581851641755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17021] ppid=16956 vsize=11077984 memory=1078540 CPUtime=4.64 cores=1,3,5,7
/proc/16959/task/17021/stat : 17021 (java) S 16956 16959 15790 0 -1 1077944384 25377 13206 0 0 453 4 5 2 20 0 15 0 231645831 11343855616 269635 33554432000 4194304 4196468 140723966813376 140581343635440 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17022] ppid=16956 vsize=11077984 memory=1078540 CPUtime=4.01 cores=1,3,5,7
/proc/16959/task/17022/stat : 17022 (java) S 16956 16959 15790 0 -1 1077944384 14319 13206 0 0 392 2 5 2 20 0 15 0 231645831 11343855616 269635 33554432000 4194304 4196468 140723966813376 140581342582896 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17023] ppid=16956 vsize=11077984 memory=1078540 CPUtime=1.98 cores=1,3,5,7
/proc/16959/task/17023/stat : 17023 (java) S 16956 16959 15790 0 -1 1077944384 22760 13206 0 0 186 5 5 2 20 0 15 0 231645831 11343855616 269635 33554432000 4194304 4196468 140723966813376 140581341530352 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17024] ppid=16956 vsize=11077984 memory=1078540 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17024/stat : 17024 (java) S 16956 16959 15790 0 -1 1077944384 3 13206 0 0 0 0 5 2 20 0 15 0 231645831 11343855616 269635 33554432000 4194304 4196468 140723966813376 140579715410528 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17025] ppid=16956 vsize=11077984 memory=3824 CPUtime=1.35 cores=1,3,5,7
/proc/16959/task/17025/stat : 17025 (java) S 16956 16959 15790 0 -1 1077944384 1274 13206 0 0 56 72 5 2 20 0 15 0 231645832 11343855616 269635 33554432000 4194304 4196468 140723966813376 140581340478256 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
Current children cumulated CPU time: 2480.36 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1078540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2481.5 s]
/proc/loadavg: 1.64 1.42 1.35 3/219 17238
/proc/meminfo: memFree=16278040/32770624 swapFree=67108688/67108860
[pid=16959] ppid=16956 vsize=11077984 memory=1078552 CPUtime=2520.02 cores=1,3,5,7
/proc/16959/stat : 16959 (java) S 16956 16959 15790 0 -1 1077944320 217108 13206 0 0 251669 326 5 2 20 0 15 0 231645816 11343855616 269638 33554432000 4194304 4196468 140723966813376 140723966795920 140581851623159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
/proc/16959/statm: 2769496 269638 3520 1 0 2731149 0
[pid=16959/tid=17012] ppid=16956 vsize=11077984 memory=1078552 CPUtime=2459.76 cores=1,3,5,7
/proc/16959/task/17012/stat : 17012 (java) R 16956 16959 15790 0 -1 4202560 89125 13206 0 0 245919 50 5 2 20 0 15 0 231645826 11343855616 269638 33554432000 4194304 4196468 140723966813376 140581823457248 140581425925536 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17013] ppid=16956 vsize=11077984 memory=1078552 CPUtime=9.93 cores=1,3,5,7
/proc/16959/task/17013/stat : 17013 (java) S 16956 16959 15790 0 -1 1077944384 12713 13206 0 0 935 51 5 2 20 0 15 0 231645827 11343855616 269638 33554432000 4194304 4196468 140723966813376 140581855865104 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17014] ppid=16956 vsize=11077984 memory=1078552 CPUtime=9.95 cores=1,3,5,7
/proc/16959/task/17014/stat : 17014 (java) S 16956 16959 15790 0 -1 1077944384 11326 13206 0 0 935 53 5 2 20 0 15 0 231645827 11343855616 269638 33554432000 4194304 4196468 140723966813376 140581737130384 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17015] ppid=16956 vsize=11077984 memory=886 CPUtime=9.96 cores=1,3,5,7
/proc/16959/task/17015/stat : 17015 (java) S 16956 16959 15790 0 -1 1077944384 7908 13206 0 0 944 45 5 2 20 0 15 0 231645827 11343855616 269638 33554432000 4194304 4196468 140723966813376 140581736077840 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17016] ppid=16956 vsize=11077984 memory=1078552 CPUtime=9.93 cores=1,3,5,7
/proc/16959/task/17016/stat : 17016 (java) S 16956 16959 15790 0 -1 1077944384 12341 13206 0 0 936 50 5 2 20 0 15 0 231645827 11343855616 269638 33554432000 4194304 4196468 140723966813376 140581735025296 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17017] ppid=16956 vsize=11077984 memory=1078552 CPUtime=9.02 cores=1,3,5,7
/proc/16959/task/17017/stat : 17017 (java) S 16956 16959 15790 0 -1 1077944384 17724 13206 0 0 846 49 5 2 20 0 15 0 231645828 11343855616 269638 33554432000 4194304 4196468 140723966813376 140581344688624 140581851634306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17018] ppid=16956 vsize=11077984 memory=1078552 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17018/stat : 17018 (java) S 16956 16959 15790 0 -1 1077944384 17 13206 0 0 0 0 5 2 20 0 15 0 231645828 11343855616 269638 33554432000 4194304 4196468 140723966813376 140580654933536 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17019] ppid=16956 vsize=11077984 memory=1078552 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17019/stat : 17019 (java) S 16956 16959 15790 0 -1 1077944384 14 13206 0 0 0 0 5 2 20 0 15 0 231645829 11343855616 269638 33554432000 4194304 4196468 140723966813376 140580453606912 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17020] ppid=16956 vsize=11077984 memory=1078552 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17020/stat : 17020 (java) S 16956 16959 15790 0 -1 1077944384 3 13206 0 0 0 0 5 2 20 0 15 0 231645831 11343855616 269638 33554432000 4194304 4196468 140723966813376 140580146207440 140581851641755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17021] ppid=16956 vsize=11077984 memory=1078552 CPUtime=4.64 cores=1,3,5,7
/proc/16959/task/17021/stat : 17021 (java) S 16956 16959 15790 0 -1 1077944384 25379 13206 0 0 453 4 5 2 20 0 15 0 231645831 11343855616 269638 33554432000 4194304 4196468 140723966813376 140581343635440 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17022] ppid=16956 vsize=11077984 memory=1078552 CPUtime=4.01 cores=1,3,5,7
/proc/16959/task/17022/stat : 17022 (java) S 16956 16959 15790 0 -1 1077944384 14321 13206 0 0 392 2 5 2 20 0 15 0 231645831 11343855616 269638 33554432000 4194304 4196468 140723966813376 140581342582896 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17023] ppid=16956 vsize=11077984 memory=1078552 CPUtime=1.98 cores=1,3,5,7
/proc/16959/task/17023/stat : 17023 (java) S 16956 16959 15790 0 -1 1077944384 22762 13206 0 0 186 5 5 2 20 0 15 0 231645831 11343855616 269638 33554432000 4194304 4196468 140723966813376 140581341530352 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17024] ppid=16956 vsize=11077984 memory=1078552 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17024/stat : 17024 (java) S 16956 16959 15790 0 -1 1077944384 3 13206 0 0 0 0 5 2 20 0 15 0 231645831 11343855616 269638 33554432000 4194304 4196468 140723966813376 140579715410528 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17025] ppid=16956 vsize=11077984 memory=3829 CPUtime=1.37 cores=1,3,5,7
/proc/16959/task/17025/stat : 17025 (java) S 16956 16959 15790 0 -1 1077944384 1280 13206 0 0 57 73 5 2 20 0 15 0 231645832 11343855616 269638 33554432000 4194304 4196468 140723966813376 140581340478256 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1078552 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2481.53 s]
# the end of solver process 16959 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.77 s, system=3.29836 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2481.5 s]
/proc/loadavg: 1.64 1.42 1.35 3/219 17238
/proc/meminfo: memFree=16278040/32770624 swapFree=67108688/67108860
[pid=16959] ppid=16956 vsize=11077984 memory=1078552 CPUtime=2520.02 cores=1,3,5,7
/proc/16959/stat : 16959 (java) S 16956 16959 15790 0 -1 1077944320 217108 13206 0 0 251669 326 5 2 20 0 15 0 231645816 11343855616 269638 33554432000 4194304 4196468 140723966813376 140723966795920 140581851623159 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
/proc/16959/statm: 2769496 269638 3520 1 0 2731149 0
[pid=16959/tid=17012] ppid=16956 vsize=11077984 memory=1078552 CPUtime=2459.76 cores=1,3,5,7
/proc/16959/task/17012/stat : 17012 (java) R 16956 16959 15790 0 -1 4202560 89125 13206 0 0 245919 50 5 2 20 0 15 0 231645826 11343855616 269638 33554432000 4194304 4196468 140723966813376 140581823457248 140581425925536 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17013] ppid=16956 vsize=11077984 memory=1078552 CPUtime=9.93 cores=1,3,5,7
/proc/16959/task/17013/stat : 17013 (java) S 16956 16959 15790 0 -1 1077944384 12713 13206 0 0 935 51 5 2 20 0 15 0 231645827 11343855616 269638 33554432000 4194304 4196468 140723966813376 140581855865104 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17014] ppid=16956 vsize=11077984 memory=1078552 CPUtime=9.95 cores=1,3,5,7
/proc/16959/task/17014/stat : 17014 (java) S 16956 16959 15790 0 -1 1077944384 11326 13206 0 0 935 53 5 2 20 0 15 0 231645827 11343855616 269638 33554432000 4194304 4196468 140723966813376 140581737130384 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17015] ppid=16956 vsize=11077984 memory=886 CPUtime=9.96 cores=1,3,5,7
/proc/16959/task/17015/stat : 17015 (java) S 16956 16959 15790 0 -1 1077944384 7908 13206 0 0 944 45 5 2 20 0 15 0 231645827 11343855616 269638 33554432000 4194304 4196468 140723966813376 140581736077840 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17016] ppid=16956 vsize=11077984 memory=1078552 CPUtime=9.93 cores=1,3,5,7
/proc/16959/task/17016/stat : 17016 (java) S 16956 16959 15790 0 -1 1077944384 12341 13206 0 0 936 50 5 2 20 0 15 0 231645827 11343855616 269638 33554432000 4194304 4196468 140723966813376 140581735025296 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17017] ppid=16956 vsize=11077984 memory=1078552 CPUtime=9.02 cores=1,3,5,7
/proc/16959/task/17017/stat : 17017 (java) S 16956 16959 15790 0 -1 1077944384 17724 13206 0 0 846 49 5 2 20 0 15 0 231645828 11343855616 269638 33554432000 4194304 4196468 140723966813376 140581344688624 140581851634306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17018] ppid=16956 vsize=11077984 memory=1078552 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17018/stat : 17018 (java) S 16956 16959 15790 0 -1 1077944384 17 13206 0 0 0 0 5 2 20 0 15 0 231645828 11343855616 269638 33554432000 4194304 4196468 140723966813376 140580654933536 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17019] ppid=16956 vsize=11077984 memory=1078552 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17019/stat : 17019 (java) S 16956 16959 15790 0 -1 1077944384 14 13206 0 0 0 0 5 2 20 0 15 0 231645829 11343855616 269638 33554432000 4194304 4196468 140723966813376 140580453606912 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17020] ppid=16956 vsize=11077984 memory=1078552 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17020/stat : 17020 (java) S 16956 16959 15790 0 -1 1077944384 3 13206 0 0 0 0 5 2 20 0 15 0 231645831 11343855616 269638 33554432000 4194304 4196468 140723966813376 140580146207440 140581851641755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17021] ppid=16956 vsize=11077984 memory=1078552 CPUtime=4.64 cores=1,3,5,7
/proc/16959/task/17021/stat : 17021 (java) S 16956 16959 15790 0 -1 1077944384 25379 13206 0 0 453 4 5 2 20 0 15 0 231645831 11343855616 269638 33554432000 4194304 4196468 140723966813376 140581343635440 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17022] ppid=16956 vsize=11077984 memory=1078552 CPUtime=4.01 cores=1,3,5,7
/proc/16959/task/17022/stat : 17022 (java) S 16956 16959 15790 0 -1 1077944384 14321 13206 0 0 392 2 5 2 20 0 15 0 231645831 11343855616 269638 33554432000 4194304 4196468 140723966813376 140581342582896 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17023] ppid=16956 vsize=11077984 memory=1078552 CPUtime=1.98 cores=1,3,5,7
/proc/16959/task/17023/stat : 17023 (java) S 16956 16959 15790 0 -1 1077944384 22762 13206 0 0 186 5 5 2 20 0 15 0 231645831 11343855616 269638 33554432000 4194304 4196468 140723966813376 140581341530352 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17024] ppid=16956 vsize=11077984 memory=1078552 CPUtime=0.07 cores=1,3,5,7
/proc/16959/task/17024/stat : 17024 (java) S 16956 16959 15790 0 -1 1077944384 3 13206 0 0 0 0 5 2 20 0 15 0 231645831 11343855616 269638 33554432000 4194304 4196468 140723966813376 140579715410528 140581851633365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
[pid=16959/tid=17025] ppid=16956 vsize=11077984 memory=3829 CPUtime=1.37 cores=1,3,5,7
/proc/16959/task/17025/stat : 17025 (java) S 16956 16959 15790 0 -1 1077944384 1280 13206 0 0 57 73 5 2 20 0 15 0 231645832 11343855616 269638 33554432000 4194304 4196468 140723966813376 140581340478256 140581851634306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140723966818915 140723966821724 140723966821724 140723966824399 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1078552 KiB
Child status: 143
Real time (s): 2481.53
CPU time (s): 2520.07
CPU user time (s): 2516.77
CPU system time (s): 3.29836
CPU usage (%): 101.553
Max. virtual memory (cumulated for all children) (KiB): 11077984
Max. memory (cumulated for all children) (KiB): 1103316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.77
system time used= 3.29836
maximum resident set size= 1105364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230916
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 247940
involuntary context switches= 6571
# summary of solver processes directly reported to runsolver:
# pid: 16959
# total CPU time (s): 2520.07
# total CPU user time (s): 2516.77
# total CPU system time (s): 3.29836
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7236 second user time and 23.0896 second system time
The end