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 (12590 MiB free)
memory of node 1: 16384 MiB (13828 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259532-1502647935/watcher-4259532-1502647935 -o /tmp/evaluation-result-4259532-1502647935/solver-4259532-1502647935 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502644582-9045 --watchdog 312 bin/concrete HOME/instance-4259532-1502647935.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=11961, runsolver pid=11958
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 1.90 1.77 1.80 3/206 12015
/proc/meminfo: memFree=27043560/32770624 swapFree=67108860/67108860
[pid=11961] ppid=11958 vsize=13445604 memory=17076 CPUtime=0.09 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11958 11961 3242 0 -1 1077944320 4409 12412 0 0 1 1 4 3 20 0 7 0 97874448 13768298496 4269 33554432000 4194304 4196468 140724962632096 140724962614640 139707412057847 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
/proc/11961/statm: 3361401 4269 2004 1 0 3349839 0
[pid=11961/tid=12011] ppid=11958 vsize=13445604 memory=4279135704013962638 CPUtime=0.08 cores=1,3,5,7
/proc/11961/task/12011/stat : 12011 (java) R 11958 11961 3242 0 -1 4202560 2257 12412 0 0 1 0 4 3 20 0 7 0 97874457 13768298496 4269 33554432000 4194304 4196468 140724962632096 139707416300304 139707412079773 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12012] ppid=11958 vsize=13445604 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12012/stat : 12012 (java) S 11958 11961 3242 0 -1 1077944384 1 12412 0 0 0 0 4 3 20 0 7 0 97874457 13768298496 4269 33554432000 4194304 4196468 140724962632096 139707368610832 139707412068053 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12013] ppid=11958 vsize=13445604 memory=140405986088576 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12013/stat : 12013 (java) S 11958 11961 3242 0 -1 1077944384 1 12412 0 0 0 0 4 3 20 0 7 0 97874457 13768298496 4269 33554432000 4194304 4196468 140724962632096 139707007036560 139707412068053 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12014] ppid=11958 vsize=13445604 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12014/stat : 12014 (java) S 11958 11961 3242 0 -1 1077944384 1 12412 0 0 0 0 4 3 20 0 7 0 97874457 13768298496 4269 33554432000 4194304 4196468 140724962632096 139707005983504 139707412068053 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12015] ppid=11958 vsize=13445604 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12015/stat : 12015 (java) S 11958 11961 3242 0 -1 1077944384 2 12412 0 0 0 0 4 3 20 0 7 0 97874457 13768298496 4269 33554432000 4194304 4196468 140724962632096 139707004930960 139707412068053 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12016] ppid=11958 vsize=13445604 memory=140405986088576 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12016/stat : 12016 (java) S 11958 11961 3242 0 -1 1077944384 2 12412 0 0 0 0 4 3 20 0 7 0 97874459 13768298496 4269 33554432000 4194304 4196468 140724962632096 139706751727856 139707412068994 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13445604 KiB
Current children cumulated memory: 17076 KiB
[startup+0.209756 s]*
/proc/loadavg: 1.90 1.77 1.80 4/215 12024
/proc/meminfo: memFree=27026752/32770624 swapFree=67108860/67108860
[pid=11961] ppid=11958 vsize=13978600 memory=37100 CPUtime=0.25 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11958 11961 3242 0 -1 1077944320 8214 12412 0 0 16 2 4 3 20 0 15 0 97874448 14314086400 9275 33554432000 4194304 4196468 140724962632096 140724962614640 139707412057847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
/proc/11961/statm: 3494650 9275 2973 1 0 3482967 0
[pid=11961/tid=12011] ppid=11958 vsize=13978600 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/11961/task/12011/stat : 12011 (java) R 11958 11961 3242 0 -1 4202560 4692 12412 0 0 10 1 4 3 20 0 15 0 97874457 14314086400 9275 33554432000 4194304 4196468 140724962632096 139707416233232 139707393622800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12012] ppid=11958 vsize=13978600 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12012/stat : 12012 (java) S 11958 11961 3242 0 -1 1077944384 1 12412 0 0 0 0 4 3 20 0 15 0 97874457 14314086400 9275 33554432000 4194304 4196468 140724962632096 139707368610832 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12013] ppid=11958 vsize=13978600 memory=140405986099580 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12013/stat : 12013 (java) S 11958 11961 3242 0 -1 1077944384 1 12412 0 0 0 0 4 3 20 0 15 0 97874457 14314086400 9275 33554432000 4194304 4196468 140724962632096 139707007036560 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12014] ppid=11958 vsize=13978600 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12014/stat : 12014 (java) S 11958 11961 3242 0 -1 1077944384 1 12412 0 0 0 0 4 3 20 0 15 0 97874457 14314086400 9275 33554432000 4194304 4196468 140724962632096 139707005983504 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12015] ppid=11958 vsize=13978600 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12015/stat : 12015 (java) S 11958 11961 3242 0 -1 1077944384 2 12412 0 0 0 0 4 3 20 0 15 0 97874457 14314086400 9275 33554432000 4194304 4196468 140724962632096 139707004930960 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12016] ppid=11958 vsize=13978600 memory=140405986088576 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12016/stat : 12016 (java) S 11958 11961 3242 0 -1 1077944384 2 12412 0 0 0 0 4 3 20 0 15 0 97874459 14314086400 9275 33554432000 4194304 4196468 140724962632096 139706751727856 139707412068994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12017] ppid=11958 vsize=13978600 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12017/stat : 12017 (java) S 11958 11961 3242 0 -1 1077944384 33 12412 0 0 0 0 4 3 20 0 15 0 97874459 14314086400 9275 33554432000 4194304 4196468 140724962632096 139706750674080 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12018] ppid=11958 vsize=13978600 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12018/stat : 12018 (java) S 11958 11961 3242 0 -1 1077944384 21 12412 0 0 0 0 4 3 20 0 15 0 97874459 14314086400 9275 33554432000 4194304 4196468 140724962632096 139706749620976 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12019] ppid=11958 vsize=13978600 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12019/stat : 12019 (java) S 11958 11961 3242 0 -1 1077944384 3 12412 0 0 0 0 4 3 20 0 15 0 97874462 14314086400 9275 33554432000 4194304 4196468 140724962632096 139706748569552 139707412076443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12020] ppid=11958 vsize=13978600 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11961/task/12020/stat : 12020 (java) S 11958 11961 3242 0 -1 1077944384 508 12412 0 0 1 0 4 3 20 0 15 0 97874462 14314086400 9275 33554432000 4194304 4196468 140724962632096 139706747517680 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12021] ppid=11958 vsize=13978600 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12021/stat : 12021 (java) S 11958 11961 3242 0 -1 1077944384 263 12412 0 0 0 0 4 3 20 0 15 0 97874462 14314086400 9275 33554432000 4194304 4196468 140724962632096 139706746465136 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12022] ppid=11958 vsize=13978600 memory=140405986088576 CPUtime=0.1 cores=1,3,5,7
/proc/11961/task/12022/stat : 12022 (java) S 11958 11961 3242 0 -1 1077944384 535 12412 0 0 3 0 4 3 20 0 15 0 97874462 14314086400 9275 33554432000 4194304 4196468 140724962632096 139706745412080 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12023] ppid=11958 vsize=13978600 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12023/stat : 12023 (java) S 11958 11961 3242 0 -1 1077944384 3 12412 0 0 0 0 4 3 20 0 15 0 97874462 14314086400 9275 33554432000 4194304 4196468 140724962632096 139706744359776 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12024] ppid=11958 vsize=13978600 memory=140405986088576 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12024/stat : 12024 (java) S 11958 11961 3242 0 -1 1077944384 1 12412 0 0 0 0 4 3 20 0 15 0 97874462 14314086400 9275 33554432000 4194304 4196468 140724962632096 139706743306800 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13978600 KiB
Current children cumulated memory: 37100 KiB
[startup+0.310113 s]*
/proc/loadavg: 1.90 1.77 1.80 3/215 12024
/proc/meminfo: memFree=27016972/32770624 swapFree=67108860/67108860
[pid=11961] ppid=11958 vsize=13979028 memory=47716 CPUtime=0.38 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11958 11961 3242 0 -1 1077944320 10479 12412 0 0 28 3 4 3 20 0 15 0 97874448 14314524672 11929 33554432000 4194304 4196468 140724962632096 140724962614640 139707412057847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
/proc/11961/statm: 3494757 11929 3094 1 0 3482967 0
[pid=11961/tid=12011] ppid=11958 vsize=13979028 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/11961/task/12011/stat : 12011 (java) R 11958 11961 3242 0 -1 4202560 6937 12412 0 0 19 1 4 3 20 0 15 0 97874457 14314524672 11929 33554432000 4194304 4196468 140724962632096 139707416267872 139707395244656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12012] ppid=11958 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12012/stat : 12012 (java) S 11958 11961 3242 0 -1 1077944384 1 12412 0 0 0 0 4 3 20 0 15 0 97874457 14314524672 11929 33554432000 4194304 4196468 140724962632096 139707368610832 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12013] ppid=11958 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12013/stat : 12013 (java) S 11958 11961 3242 0 -1 1077944384 1 12412 0 0 0 0 4 3 20 0 15 0 97874457 14314524672 11929 33554432000 4194304 4196468 140724962632096 139707007036560 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12014] ppid=11958 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12014/stat : 12014 (java) S 11958 11961 3242 0 -1 1077944384 1 12412 0 0 0 0 4 3 20 0 15 0 97874457 14314524672 11929 33554432000 4194304 4196468 140724962632096 139707005983504 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12015] ppid=11958 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12015/stat : 12015 (java) S 11958 11961 3242 0 -1 1077944384 2 12412 0 0 0 0 4 3 20 0 15 0 97874457 14314524672 11929 33554432000 4194304 4196468 140724962632096 139707004930960 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12016] ppid=11958 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12016/stat : 12016 (java) S 11958 11961 3242 0 -1 1077944384 2 12412 0 0 0 0 4 3 20 0 15 0 97874459 14314524672 11929 33554432000 4194304 4196468 140724962632096 139706751727856 139707412068994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12017] ppid=11958 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12017/stat : 12017 (java) S 11958 11961 3242 0 -1 1077944384 33 12412 0 0 0 0 4 3 20 0 15 0 97874459 14314524672 11929 33554432000 4194304 4196468 140724962632096 139706750674080 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12018] ppid=11958 vsize=13979028 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12018/stat : 12018 (java) S 11958 11961 3242 0 -1 1077944384 21 12412 0 0 0 0 4 3 20 0 15 0 97874459 14314524672 11929 33554432000 4194304 4196468 140724962632096 139706749620976 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12019] ppid=11958 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12019/stat : 12019 (java) S 11958 11961 3242 0 -1 1077944384 3 12412 0 0 0 0 4 3 20 0 15 0 97874462 14314524672 11929 33554432000 4194304 4196468 140724962632096 139706748569552 139707412076443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12020] ppid=11958 vsize=13979028 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11961/task/12020/stat : 12020 (java) S 11958 11961 3242 0 -1 1077944384 511 12412 0 0 1 0 4 3 20 0 15 0 97874462 14314524672 11929 33554432000 4194304 4196468 140724962632096 139706747517680 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12021] ppid=11958 vsize=13979028 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11961/task/12021/stat : 12021 (java) S 11958 11961 3242 0 -1 1077944384 266 12412 0 0 1 0 4 3 20 0 15 0 97874462 14314524672 11929 33554432000 4194304 4196468 140724962632096 139706746465136 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12022] ppid=11958 vsize=13979028 memory=140405986088576 CPUtime=0.12 cores=1,3,5,7
/proc/11961/task/12022/stat : 12022 (java) S 11958 11961 3242 0 -1 1077944384 549 12412 0 0 5 0 4 3 20 0 15 0 97874462 14314524672 11929 33554432000 4194304 4196468 140724962632096 139706745412080 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12023] ppid=11958 vsize=13979028 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12023/stat : 12023 (java) S 11958 11961 3242 0 -1 1077944384 3 12412 0 0 0 0 4 3 20 0 15 0 97874462 14314524672 11929 33554432000 4194304 4196468 140724962632096 139706744359776 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12024] ppid=11958 vsize=13979028 memory=140405986088576 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12024/stat : 12024 (java) S 11958 11961 3242 0 -1 1077944384 1 12412 0 0 0 0 4 3 20 0 15 0 97874462 14314524672 11929 33554432000 4194304 4196468 140724962632096 139706743306800 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 13979028 KiB
Current children cumulated memory: 47716 KiB
[startup+0.700698 s]
/proc/loadavg: 1.90 1.77 1.80 5/215 12024
/proc/meminfo: memFree=27007384/32770624 swapFree=67108860/67108860
[pid=11961] ppid=11958 vsize=13979264 memory=80908 CPUtime=0.97 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11958 11961 3242 0 -1 1077944320 16986 12412 0 0 86 4 4 3 20 0 15 0 97874448 14314766336 20227 33554432000 4194304 4196468 140724962632096 140724962614640 139707412057847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
/proc/11961/statm: 3494816 20227 3279 1 0 3482967 0
[pid=11961/tid=12011] ppid=11958 vsize=13979264 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/11961/task/12011/stat : 12011 (java) R 11958 11961 3242 0 -1 4202560 12618 12412 0 0 56 2 4 3 20 0 15 0 97874457 14314766336 20227 33554432000 4194304 4196468 140724962632096 139707416276912 139707404774810 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12012] ppid=11958 vsize=13979284 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12012/stat : 12012 (java) S 11958 11961 3242 0 -1 1077944384 1 12412 0 0 0 0 4 3 20 0 15 0 97874457 14314786816 20227 33554432000 4194304 4196468 140724962632096 139707368610832 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12013] ppid=11958 vsize=13979284 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12013/stat : 12013 (java) S 11958 11961 3242 0 -1 1077944384 1 12412 0 0 0 0 4 3 20 0 15 0 97874457 14314786816 20227 33554432000 4194304 4196468 140724962632096 139707007036560 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12014] ppid=11958 vsize=13979284 memory=140405836497520 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12014/stat : 12014 (java) S 11958 11961 3242 0 -1 1077944384 1 12412 0 0 0 0 4 3 20 0 15 0 97874457 14314786816 20227 33554432000 4194304 4196468 140724962632096 139707005983504 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12015] ppid=11958 vsize=13979284 memory=140406775874148 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12015/stat : 12015 (java) S 11958 11961 3242 0 -1 1077944384 2 12412 0 0 0 0 4 3 20 0 15 0 97874457 14314786816 20227 33554432000 4194304 4196468 140724962632096 139707004930960 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12016] ppid=11958 vsize=13979284 memory=1196 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12016/stat : 12016 (java) S 11958 11961 3242 0 -1 1077944384 5 12412 0 0 0 0 4 3 20 0 15 0 97874459 14314786816 20227 33554432000 4194304 4196468 140724962632096 139706751727856 139707412068994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12017] ppid=11958 vsize=13979300 memory=7014751519583131217 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12017/stat : 12017 (java) S 11958 11961 3242 0 -1 1077944384 33 12412 0 0 0 0 4 3 20 0 15 0 97874459 14314803200 20227 33554432000 4194304 4196468 140724962632096 139706750674080 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12018] ppid=11958 vsize=13979300 memory=18476 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12018/stat : 12018 (java) S 11958 11961 3242 0 -1 1077944384 21 12412 0 0 0 0 4 3 20 0 15 0 97874459 14314803200 20227 33554432000 4194304 4196468 140724962632096 139706749620976 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12019] ppid=11958 vsize=13979300 memory=16940 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12019/stat : 12019 (java) S 11958 11961 3242 0 -1 1077944384 3 12412 0 0 0 0 4 3 20 0 15 0 97874462 14314803200 20227 33554432000 4194304 4196468 140724962632096 139706748569552 139707412076443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12020] ppid=11958 vsize=13979300 memory=4048 CPUtime=0.13 cores=1,3,5,7
/proc/11961/task/12020/stat : 12020 (java) S 11958 11961 3242 0 -1 1077944384 782 12412 0 0 6 0 4 3 20 0 15 0 97874462 14314803200 20227 33554432000 4194304 4196468 140724962632096 139706747517680 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12021] ppid=11958 vsize=13979300 memory=1792 CPUtime=0.16 cores=1,3,5,7
/proc/11961/task/12021/stat : 12021 (java) S 11958 11961 3242 0 -1 1077944384 725 12412 0 0 9 0 4 3 20 0 15 0 97874462 14314803200 20227 33554432000 4194304 4196468 140724962632096 139706746465136 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12022] ppid=11958 vsize=13979308 memory=648 CPUtime=0.2 cores=1,3,5,7
/proc/11961/task/12022/stat : 12022 (java) R 11958 11961 3242 0 -1 4202560 646 12412 0 0 13 0 4 3 20 0 15 0 97874462 14314811392 20227 33554432000 4194304 4196468 140724962632096 139706745412080 139707412079194 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12023] ppid=11958 vsize=13979308 memory=1240 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12023/stat : 12023 (java) S 11958 11961 3242 0 -1 1077944384 3 12412 0 0 0 0 4 3 20 0 15 0 97874462 14314811392 20227 33554432000 4194304 4196468 140724962632096 139706744359776 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12024] ppid=11958 vsize=13979308 memory=960 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12024/stat : 12024 (java) S 11958 11961 3242 0 -1 1077944384 1 12412 0 0 0 0 4 3 20 0 15 0 97874462 14314811392 20227 33554432000 4194304 4196468 140724962632096 139706743306800 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 13979264 KiB
Current children cumulated memory: 80908 KiB
[startup+1.50068 s]
/proc/loadavg: 1.90 1.77 1.80 3/215 12024
/proc/meminfo: memFree=26950132/32770624 swapFree=67108860/67108860
[pid=11961] ppid=11958 vsize=13991700 memory=172680 CPUtime=2.19 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11958 11961 3242 0 -1 1077944320 28334 12412 0 0 203 9 4 3 20 0 15 0 97874448 14327500800 43170 33554432000 4194304 4196468 140724962632096 140724962614640 139707412057847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
/proc/11961/statm: 3497925 43170 3403 1 0 3486039 0
[pid=11961/tid=12011] ppid=11958 vsize=13991700 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/11961/task/12011/stat : 12011 (java) R 11958 11961 3242 0 -1 4202560 20135 12412 0 0 131 5 4 3 20 0 15 0 97874457 14327500800 43170 33554432000 4194304 4196468 140724962632096 139707416281360 139707412069782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12012] ppid=11958 vsize=13991700 memory=280811673043392 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12012/stat : 12012 (java) S 11958 11961 3242 0 -1 1077944384 197 12412 0 0 0 0 4 3 20 0 15 0 97874457 14327500800 43170 33554432000 4194304 4196468 140724962632096 139707368610832 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12013] ppid=11958 vsize=13991700 memory=280811673052704 CPUtime=0.08 cores=1,3,5,7
/proc/11961/task/12013/stat : 12013 (java) S 11958 11961 3242 0 -1 1077944384 56 12412 0 0 1 0 4 3 20 0 15 0 97874457 14327500800 43170 33554432000 4194304 4196468 140724962632096 139707007036560 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12014] ppid=11958 vsize=13991700 memory=140405836532208 CPUtime=0.08 cores=1,3,5,7
/proc/11961/task/12014/stat : 12014 (java) S 11958 11961 3242 0 -1 1077944384 57 12412 0 0 1 0 4 3 20 0 15 0 97874457 14327500800 43170 33554432000 4194304 4196468 140724962632096 139707005983504 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12015] ppid=11958 vsize=13991700 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12015/stat : 12015 (java) S 11958 11961 3242 0 -1 1077944384 52 12412 0 0 0 0 4 3 20 0 15 0 97874457 14327500800 43170 33554432000 4194304 4196468 140724962632096 139707004930960 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12016] ppid=11958 vsize=13991700 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11961/task/12016/stat : 12016 (java) S 11958 11961 3242 0 -1 1077944384 1659 12412 0 0 1 0 4 3 20 0 15 0 97874459 14327500800 43170 33554432000 4194304 4196468 140724962632096 139706751727856 139707412068994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12017] ppid=11958 vsize=13991700 memory=13331578489482 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12017/stat : 12017 (java) S 11958 11961 3242 0 -1 1077944384 55 12412 0 0 0 0 4 3 20 0 15 0 97874459 14327500800 43170 33554432000 4194304 4196468 140724962632096 139706750674144 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12018] ppid=11958 vsize=13991700 memory=-7097495484385563872 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12018/stat : 12018 (java) S 11958 11961 3242 0 -1 1077944384 44 12412 0 0 0 0 4 3 20 0 15 0 97874459 14327500800 43170 33554432000 4194304 4196468 140724962632096 139706749620992 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12019] ppid=11958 vsize=13991700 memory=8026941098018885740 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12019/stat : 12019 (java) S 11958 11961 3242 0 -1 1077944384 3 12412 0 0 0 0 4 3 20 0 15 0 97874462 14327500800 43170 33554432000 4194304 4196468 140724962632096 139706748569552 139707412076443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12020] ppid=11958 vsize=13991700 memory=8026941098018885740 CPUtime=0.22 cores=1,3,5,7
/proc/11961/task/12020/stat : 12020 (java) S 11958 11961 3242 0 -1 1077944384 1001 12412 0 0 15 0 4 3 20 0 15 0 97874462 14327500800 43170 33554432000 4194304 4196468 140724962632096 139706747517680 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12021] ppid=11958 vsize=13991700 memory=7812172422117549145 CPUtime=0.25 cores=1,3,5,7
/proc/11961/task/12021/stat : 12021 (java) R 11958 11961 3242 0 -1 1077944384 1006 12412 0 0 18 0 4 3 20 0 15 0 97874462 14327500800 43170 33554432000 4194304 4196468 140724962632096 139706746465136 139707412068994 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12022] ppid=11958 vsize=13991700 memory=6655300316396806240 CPUtime=0.38 cores=1,3,5,7
/proc/11961/task/12022/stat : 12022 (java) R 11958 11961 3242 0 -1 4202560 1914 12412 0 0 31 0 4 3 20 0 15 0 97874462 14327500800 43170 33554432000 4194304 4196468 140724962632096 139706745412080 139707391507048 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12023] ppid=11958 vsize=13991700 memory=5936705713335461733 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12023/stat : 12023 (java) S 11958 11961 3242 0 -1 1077944384 3 12412 0 0 0 0 4 3 20 0 15 0 97874462 14327500800 43170 33554432000 4194304 4196468 140724962632096 139706744359776 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12024] ppid=11958 vsize=13991700 memory=7307481174659000657 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12024/stat : 12024 (java) S 11958 11961 3242 0 -1 1077944384 4 12412 0 0 0 0 4 3 20 0 15 0 97874462 14327500800 43170 33554432000 4194304 4196468 140724962632096 139706743306800 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
################
# More data... #
################
/proc/11961/task/12011/stat : 12011 (java) R 11958 11961 3242 0 -1 4202560 53452 12412 0 0 16061 20 4 3 20 0 15 0 97874457 14409482240 201984 33554432000 4194304 4196468 140724962632096 139707416292144 139707060182144 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12012] ppid=11958 vsize=14071760 memory=807936 CPUtime=0.67 cores=1,3,5,7
/proc/11961/task/12012/stat : 12012 (java) S 11958 11961 3242 0 -1 1077944384 949 12412 0 0 55 5 4 3 20 0 15 0 97874457 14409482240 201984 33554432000 4194304 4196468 140724962632096 139707368610832 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12013] ppid=11958 vsize=14071760 memory=807936 CPUtime=0.67 cores=1,3,5,7
/proc/11961/task/12013/stat : 12013 (java) S 11958 11961 3242 0 -1 1077944384 2838 12412 0 0 55 5 4 3 20 0 15 0 97874457 14409482240 201984 33554432000 4194304 4196468 140724962632096 139707007036560 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12014] ppid=11958 vsize=14071760 memory=807936 CPUtime=0.67 cores=1,3,5,7
/proc/11961/task/12014/stat : 12014 (java) S 11958 11961 3242 0 -1 1077944384 3554 12412 0 0 56 4 4 3 20 0 15 0 97874457 14409482240 201984 33554432000 4194304 4196468 140724962632096 139707005983504 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12015] ppid=11958 vsize=14071760 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/11961/task/12015/stat : 12015 (java) S 11958 11961 3242 0 -1 1077944384 1185 12412 0 0 53 6 4 3 20 0 15 0 97874457 14409482240 201984 33554432000 4194304 4196468 140724962632096 139707004930960 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12016] ppid=11958 vsize=14071760 memory=140405836750273 CPUtime=0.68 cores=1,3,5,7
/proc/11961/task/12016/stat : 12016 (java) S 11958 11961 3242 0 -1 1077944384 4029 12412 0 0 57 4 4 3 20 0 15 0 97874459 14409482240 201984 33554432000 4194304 4196468 140724962632096 139706751727856 139707412068994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12017] ppid=11958 vsize=14071760 memory=807936 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12017/stat : 12017 (java) S 11958 11961 3242 0 -1 1077944384 55 12412 0 0 0 0 4 3 20 0 15 0 97874459 14409482240 201984 33554432000 4194304 4196468 140724962632096 139706750674208 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12018] ppid=11958 vsize=14071760 memory=807936 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12018/stat : 12018 (java) S 11958 11961 3242 0 -1 1077944384 44 12412 0 0 0 0 4 3 20 0 15 0 97874459 14409482240 201984 33554432000 4194304 4196468 140724962632096 139706749620992 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12019] ppid=11958 vsize=14071760 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12019/stat : 12019 (java) S 11958 11961 3242 0 -1 1077944384 3 12412 0 0 0 0 4 3 20 0 15 0 97874462 14409482240 201984 33554432000 4194304 4196468 140724962632096 139706748569552 139707412076443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12020] ppid=11958 vsize=14071760 memory=1792 CPUtime=10.5 cores=1,3,5,7
/proc/11961/task/12020/stat : 12020 (java) S 11958 11961 3242 0 -1 1077944384 11287 12412 0 0 1039 4 4 3 20 0 15 0 97874462 14409482240 201984 33554432000 4194304 4196468 140724962632096 139706747517680 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12021] ppid=11958 vsize=14071760 memory=807936 CPUtime=10.5 cores=1,3,5,7
/proc/11961/task/12021/stat : 12021 (java) S 11958 11961 3242 0 -1 1077944384 10263 12412 0 0 1040 3 4 3 20 0 15 0 97874462 14409482240 201984 33554432000 4194304 4196468 140724962632096 139706746465136 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12022] ppid=11958 vsize=14071760 memory=807936 CPUtime=2.93 cores=1,3,5,7
/proc/11961/task/12022/stat : 12022 (java) S 11958 11961 3242 0 -1 1077944384 11370 12412 0 0 281 5 4 3 20 0 15 0 97874462 14409482240 201984 33554432000 4194304 4196468 140724962632096 139706745412080 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12023] ppid=11958 vsize=14071760 memory=807936 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12023/stat : 12023 (java) S 11958 11961 3242 0 -1 1077944384 3 12412 0 0 0 0 4 3 20 0 15 0 97874462 14409482240 201984 33554432000 4194304 4196468 140724962632096 139706744359776 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12024] ppid=11958 vsize=14071760 memory=807928 CPUtime=0.15 cores=1,3,5,7
/proc/11961/task/12024/stat : 12024 (java) S 11958 11961 3242 0 -1 1077944384 584 12412 0 0 2 6 4 3 20 0 15 0 97874462 14409482240 201984 33554432000 4194304 4196468 140724962632096 139706743306800 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
Current children cumulated CPU time: 187.81 s
Current children cumulated vsize: 14071760 KiB
Current children cumulated memory: 807936 KiB
[startup+222.301 s]
/proc/loadavg: 1.64 1.91 1.87 3/216 12184
/proc/meminfo: memFree=26227800/32770624 swapFree=67108860/67108860
[pid=11961] ppid=11958 vsize=14071760 memory=807996 CPUtime=248.59 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11958 11961 3242 0 -1 1077944320 105136 12412 0 0 24781 71 4 3 20 0 15 0 97874448 14409482240 201999 33554432000 4194304 4196468 140724962632096 140724962614640 139707412057847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
/proc/11961/statm: 3517940 201999 3494 1 0 3505495 0
[pid=11961/tid=12011] ppid=11958 vsize=14071760 memory=807996 CPUtime=220.26 cores=1,3,5,7
/proc/11961/task/12011/stat : 12011 (java) R 11958 11961 3242 0 -1 4202560 54783 12412 0 0 21999 20 4 3 20 0 15 0 97874457 14409482240 201999 33554432000 4194304 4196468 140724962632096 139707416291488 139707059726575 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12012] ppid=11958 vsize=14071760 memory=807996 CPUtime=0.94 cores=1,3,5,7
/proc/11961/task/12012/stat : 12012 (java) S 11958 11961 3242 0 -1 1077944384 1993 12412 0 0 80 7 4 3 20 0 15 0 97874457 14409482240 201999 33554432000 4194304 4196468 140724962632096 139707368610832 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12013] ppid=11958 vsize=14071760 memory=807996 CPUtime=0.95 cores=1,3,5,7
/proc/11961/task/12013/stat : 12013 (java) S 11958 11961 3242 0 -1 1077944384 2928 12412 0 0 80 8 4 3 20 0 15 0 97874457 14409482240 201999 33554432000 4194304 4196468 140724962632096 139707007036560 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12014] ppid=11958 vsize=14071760 memory=807996 CPUtime=0.94 cores=1,3,5,7
/proc/11961/task/12014/stat : 12014 (java) S 11958 11961 3242 0 -1 1077944384 3704 12412 0 0 82 5 4 3 20 0 15 0 97874457 14409482240 201999 33554432000 4194304 4196468 140724962632096 139707005983504 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12015] ppid=11958 vsize=14071760 memory=807996 CPUtime=0.94 cores=1,3,5,7
/proc/11961/task/12015/stat : 12015 (java) S 11958 11961 3242 0 -1 1077944384 1576 12412 0 0 79 8 4 3 20 0 15 0 97874457 14409482240 201999 33554432000 4194304 4196468 140724962632096 139707004930960 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12016] ppid=11958 vsize=14071760 memory=807996 CPUtime=0.96 cores=1,3,5,7
/proc/11961/task/12016/stat : 12016 (java) S 11958 11961 3242 0 -1 1077944384 4364 12412 0 0 83 6 4 3 20 0 15 0 97874459 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706751727856 139707412068994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12017] ppid=11958 vsize=14071760 memory=4144 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12017/stat : 12017 (java) S 11958 11961 3242 0 -1 1077944384 55 12412 0 0 0 0 4 3 20 0 15 0 97874459 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706750674208 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12018] ppid=11958 vsize=14071760 memory=4144 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12018/stat : 12018 (java) S 11958 11961 3242 0 -1 1077944384 44 12412 0 0 0 0 4 3 20 0 15 0 97874459 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706749620992 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12019] ppid=11958 vsize=14071760 memory=28628 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12019/stat : 12019 (java) S 11958 11961 3242 0 -1 1077944384 3 12412 0 0 0 0 4 3 20 0 15 0 97874462 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706748569552 139707412076443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12020] ppid=11958 vsize=14071760 memory=807996 CPUtime=10.5 cores=1,3,5,7
/proc/11961/task/12020/stat : 12020 (java) S 11958 11961 3242 0 -1 1077944384 11289 12412 0 0 1039 4 4 3 20 0 15 0 97874462 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706747517680 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12021] ppid=11958 vsize=14071760 memory=1224 CPUtime=10.5 cores=1,3,5,7
/proc/11961/task/12021/stat : 12021 (java) S 11958 11961 3242 0 -1 1077944384 10266 12412 0 0 1040 3 4 3 20 0 15 0 97874462 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706746465136 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12022] ppid=11958 vsize=14071760 memory=1296 CPUtime=2.93 cores=1,3,5,7
/proc/11961/task/12022/stat : 12022 (java) S 11958 11961 3242 0 -1 1077944384 11373 12412 0 0 281 5 4 3 20 0 15 0 97874462 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706745412080 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12023] ppid=11958 vsize=14071760 memory=2408 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12023/stat : 12023 (java) S 11958 11961 3242 0 -1 1077944384 3 12412 0 0 0 0 4 3 20 0 15 0 97874462 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706744359776 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12024] ppid=11958 vsize=14071760 memory=286 CPUtime=0.19 cores=1,3,5,7
/proc/11961/task/12024/stat : 12024 (java) S 11958 11961 3242 0 -1 1077944384 607 12412 0 0 4 8 4 3 20 0 15 0 97874462 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706743306800 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
Current children cumulated CPU time: 248.59 s
Current children cumulated vsize: 14071760 KiB
Current children cumulated memory: 807996 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+225.711 s]
/proc/loadavg: 1.64 1.91 1.87 4/216 12184
/proc/meminfo: memFree=26227800/32770624 swapFree=67108860/67108860
[pid=11961] ppid=11958 vsize=14071760 memory=807996 CPUtime=252.06 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11958 11961 3242 0 -1 1077944320 105187 12412 0 0 25127 72 4 3 20 0 15 0 97874448 14409482240 201999 33554432000 4194304 4196468 140724962632096 140724962614640 139707412057847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
/proc/11961/statm: 3517940 201999 3494 1 0 3505495 0
[pid=11961/tid=12011] ppid=11958 vsize=14071760 memory=807996 CPUtime=223.63 cores=1,3,5,7
/proc/11961/task/12011/stat : 12011 (java) R 11958 11961 3242 0 -1 4202560 54831 12412 0 0 22336 20 4 3 20 0 15 0 97874457 14409482240 201999 33554432000 4194304 4196468 140724962632096 139707416291552 139707058914030 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12012] ppid=11958 vsize=14071760 memory=807996 CPUtime=0.96 cores=1,3,5,7
/proc/11961/task/12012/stat : 12012 (java) S 11958 11961 3242 0 -1 1077944384 1993 12412 0 0 82 7 4 3 20 0 15 0 97874457 14409482240 201999 33554432000 4194304 4196468 140724962632096 139707368610832 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12013] ppid=11958 vsize=14071760 memory=2244 CPUtime=0.96 cores=1,3,5,7
/proc/11961/task/12013/stat : 12013 (java) S 11958 11961 3242 0 -1 1077944384 2928 12412 0 0 81 8 4 3 20 0 15 0 97874457 14409482240 201999 33554432000 4194304 4196468 140724962632096 139707007036560 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12014] ppid=11958 vsize=14071760 memory=807996 CPUtime=0.96 cores=1,3,5,7
/proc/11961/task/12014/stat : 12014 (java) S 11958 11961 3242 0 -1 1077944384 3704 12412 0 0 84 5 4 3 20 0 15 0 97874457 14409482240 201999 33554432000 4194304 4196468 140724962632096 139707005983504 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12015] ppid=11958 vsize=14071760 memory=807996 CPUtime=0.96 cores=1,3,5,7
/proc/11961/task/12015/stat : 12015 (java) S 11958 11961 3242 0 -1 1077944384 1577 12412 0 0 81 8 4 3 20 0 15 0 97874457 14409482240 201999 33554432000 4194304 4196468 140724962632096 139707004930960 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12016] ppid=11958 vsize=14071760 memory=807996 CPUtime=0.98 cores=1,3,5,7
/proc/11961/task/12016/stat : 12016 (java) S 11958 11961 3242 0 -1 1077944384 4366 12412 0 0 85 6 4 3 20 0 15 0 97874459 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706751727856 139707412068994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12017] ppid=11958 vsize=14071760 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12017/stat : 12017 (java) S 11958 11961 3242 0 -1 1077944384 55 12412 0 0 0 0 4 3 20 0 15 0 97874459 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706750674208 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12018] ppid=11958 vsize=14071760 memory=807996 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12018/stat : 12018 (java) S 11958 11961 3242 0 -1 1077944384 44 12412 0 0 0 0 4 3 20 0 15 0 97874459 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706749620992 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12019] ppid=11958 vsize=14071760 memory=807996 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12019/stat : 12019 (java) S 11958 11961 3242 0 -1 1077944384 3 12412 0 0 0 0 4 3 20 0 15 0 97874462 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706748569552 139707412076443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12020] ppid=11958 vsize=14071760 memory=5792 CPUtime=10.5 cores=1,3,5,7
/proc/11961/task/12020/stat : 12020 (java) S 11958 11961 3242 0 -1 1077944384 11289 12412 0 0 1039 4 4 3 20 0 15 0 97874462 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706747517680 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12021] ppid=11958 vsize=14071760 memory=807996 CPUtime=10.5 cores=1,3,5,7
/proc/11961/task/12021/stat : 12021 (java) S 11958 11961 3242 0 -1 1077944384 10266 12412 0 0 1040 3 4 3 20 0 15 0 97874462 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706746465136 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12022] ppid=11958 vsize=14071760 memory=807996 CPUtime=2.93 cores=1,3,5,7
/proc/11961/task/12022/stat : 12022 (java) S 11958 11961 3242 0 -1 1077944384 11373 12412 0 0 281 5 4 3 20 0 15 0 97874462 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706745412080 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12023] ppid=11958 vsize=14071760 memory=807996 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12023/stat : 12023 (java) S 11958 11961 3242 0 -1 1077944384 3 12412 0 0 0 0 4 3 20 0 15 0 97874462 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706744359776 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12024] ppid=11958 vsize=14071760 memory=4144 CPUtime=0.19 cores=1,3,5,7
/proc/11961/task/12024/stat : 12024 (java) S 11958 11961 3242 0 -1 1077944384 607 12412 0 0 4 8 4 3 20 0 15 0 97874462 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706743306800 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14071760 KiB
Current children cumulated memory: 807996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+225.743 s]
# the end of solver process 11961 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.346 s, system=0.7649 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+225.711 s]
/proc/loadavg: 1.64 1.91 1.87 4/216 12184
/proc/meminfo: memFree=26227800/32770624 swapFree=67108860/67108860
[pid=11961] ppid=11958 vsize=14071760 memory=807996 CPUtime=252.06 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11958 11961 3242 0 -1 1077944320 105187 12412 0 0 25127 72 4 3 20 0 15 0 97874448 14409482240 201999 33554432000 4194304 4196468 140724962632096 140724962614640 139707412057847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
/proc/11961/statm: 3517940 201999 3494 1 0 3505495 0
[pid=11961/tid=12011] ppid=11958 vsize=14071760 memory=807996 CPUtime=223.63 cores=1,3,5,7
/proc/11961/task/12011/stat : 12011 (java) R 11958 11961 3242 0 -1 4202560 54831 12412 0 0 22336 20 4 3 20 0 15 0 97874457 14409482240 201999 33554432000 4194304 4196468 140724962632096 139707416291552 139707058914030 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12012] ppid=11958 vsize=14071760 memory=807996 CPUtime=0.96 cores=1,3,5,7
/proc/11961/task/12012/stat : 12012 (java) S 11958 11961 3242 0 -1 1077944384 1993 12412 0 0 82 7 4 3 20 0 15 0 97874457 14409482240 201999 33554432000 4194304 4196468 140724962632096 139707368610832 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12013] ppid=11958 vsize=14071760 memory=2244 CPUtime=0.96 cores=1,3,5,7
/proc/11961/task/12013/stat : 12013 (java) S 11958 11961 3242 0 -1 1077944384 2928 12412 0 0 81 8 4 3 20 0 15 0 97874457 14409482240 201999 33554432000 4194304 4196468 140724962632096 139707007036560 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12014] ppid=11958 vsize=14071760 memory=807996 CPUtime=0.96 cores=1,3,5,7
/proc/11961/task/12014/stat : 12014 (java) S 11958 11961 3242 0 -1 1077944384 3704 12412 0 0 84 5 4 3 20 0 15 0 97874457 14409482240 201999 33554432000 4194304 4196468 140724962632096 139707005983504 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12015] ppid=11958 vsize=14071760 memory=807996 CPUtime=0.96 cores=1,3,5,7
/proc/11961/task/12015/stat : 12015 (java) S 11958 11961 3242 0 -1 1077944384 1577 12412 0 0 81 8 4 3 20 0 15 0 97874457 14409482240 201999 33554432000 4194304 4196468 140724962632096 139707004930960 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12016] ppid=11958 vsize=14071760 memory=807996 CPUtime=0.98 cores=1,3,5,7
/proc/11961/task/12016/stat : 12016 (java) S 11958 11961 3242 0 -1 1077944384 4366 12412 0 0 85 6 4 3 20 0 15 0 97874459 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706751727856 139707412068994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12017] ppid=11958 vsize=14071760 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12017/stat : 12017 (java) S 11958 11961 3242 0 -1 1077944384 55 12412 0 0 0 0 4 3 20 0 15 0 97874459 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706750674208 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12018] ppid=11958 vsize=14071760 memory=807996 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12018/stat : 12018 (java) S 11958 11961 3242 0 -1 1077944384 44 12412 0 0 0 0 4 3 20 0 15 0 97874459 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706749620992 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12019] ppid=11958 vsize=14071760 memory=807996 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12019/stat : 12019 (java) S 11958 11961 3242 0 -1 1077944384 3 12412 0 0 0 0 4 3 20 0 15 0 97874462 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706748569552 139707412076443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12020] ppid=11958 vsize=14071760 memory=5792 CPUtime=10.5 cores=1,3,5,7
/proc/11961/task/12020/stat : 12020 (java) S 11958 11961 3242 0 -1 1077944384 11289 12412 0 0 1039 4 4 3 20 0 15 0 97874462 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706747517680 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12021] ppid=11958 vsize=14071760 memory=807996 CPUtime=10.5 cores=1,3,5,7
/proc/11961/task/12021/stat : 12021 (java) S 11958 11961 3242 0 -1 1077944384 10266 12412 0 0 1040 3 4 3 20 0 15 0 97874462 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706746465136 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12022] ppid=11958 vsize=14071760 memory=807996 CPUtime=2.93 cores=1,3,5,7
/proc/11961/task/12022/stat : 12022 (java) S 11958 11961 3242 0 -1 1077944384 11373 12412 0 0 281 5 4 3 20 0 15 0 97874462 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706745412080 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12023] ppid=11958 vsize=14071760 memory=807996 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/12023/stat : 12023 (java) S 11958 11961 3242 0 -1 1077944384 3 12412 0 0 0 0 4 3 20 0 15 0 97874462 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706744359776 139707412068053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
[pid=11961/tid=12024] ppid=11958 vsize=14071760 memory=4144 CPUtime=0.19 cores=1,3,5,7
/proc/11961/task/12024/stat : 12024 (java) S 11958 11961 3242 0 -1 1077944384 607 12412 0 0 4 8 4 3 20 0 15 0 97874462 14409482240 201999 33554432000 4194304 4196468 140724962632096 139706743306800 139707412068994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8937472 140724962634390 140724962637175 140724962637175 140724962639823 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14071760 KiB
Current children cumulated memory: 807996 KiB
Child status: 143
Real time (s): 225.743
CPU time (s): 252.111
CPU user time (s): 251.346
CPU system time (s): 0.7649
CPU usage (%): 111.68
Max. virtual memory (cumulated for all children) (KiB): 14074472
Max. memory (cumulated for all children) (KiB): 809436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.346
system time used= 0.7649
maximum resident set size= 809436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121494
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38758
involuntary context switches= 674
# summary of solver processes directly reported to runsolver:
# pid: 11961
# total CPU time (s): 252.111
# total CPU user time (s): 251.346
# total CPU system time (s): 0.7649
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.37861 second user time and 2.16208 second system time
The end