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 (10676 MiB free)
memory of node 1: 16384 MiB (10872 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302552-1532895736/watcher-4302552-1532895736 -o /tmp/evaluation-result-4302552-1532895736/solver-4302552-1532895736 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532895510-17592 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=861447192 HOME/instance-4302552-1532895736.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=17958, runsolver pid=17955
[startup+0.102425 s]*
/proc/loadavg: 2.00 1.54 1.43 2/210 18015
/proc/meminfo: memFree=22059184/32770624 swapFree=67108860/67108860
[pid=17958] ppid=17955 vsize=10005480 memory=16552 CPUtime=0.09 cores=0,2,4,6
/proc/17958/stat : 17958 (java) S 17955 17958 6396 0 -1 1077944320 4304 12865 0 0 1 0 5 3 20 0 6 0 107136822 10245611520 4138 33554432000 4194304 4196468 140726354701360 140726354683904 139852796763895 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
/proc/17958/statm: 2501370 4138 1933 1 0 2489808 0
[pid=17958/tid=18011] ppid=17955 vsize=10005480 memory=4279135703946723981 CPUtime=0.09 cores=0,2,4,6
/proc/17958/task/18011/stat : 18011 (java) R 17955 17958 6396 0 -1 4202560 2132 12865 0 0 1 0 5 3 20 0 6 0 107136831 10245611520 4204 33554432000 4194304 4196468 140726354701360 139852768600656 139852780844382 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18012] ppid=17955 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18012/stat : 18012 (java) S 17955 17958 6396 0 -1 1077944384 1 12865 0 0 0 0 5 3 20 0 6 0 107136832 10245611520 4204 33554432000 4194304 4196468 140726354701360 139852801005968 139852796774101 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18013] ppid=17955 vsize=10005480 memory=139846454908544 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18013/stat : 18013 (java) S 17955 17958 6396 0 -1 1077944384 1 12865 0 0 0 0 5 3 20 0 6 0 107136832 10245611520 4204 33554432000 4194304 4196468 140726354701360 139852666341648 139852796774101 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18014] ppid=17955 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18014/stat : 18014 (java) S 17955 17958 6396 0 -1 1077944384 1 12865 0 0 0 0 5 3 20 0 6 0 107136832 10245611520 4204 33554432000 4194304 4196468 140726354701360 139852665289360 139852796774101 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18015] ppid=17955 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18015/stat : 18015 (java) S 17955 17958 6396 0 -1 1077944384 2 12865 0 0 0 0 5 3 20 0 6 0 107136832 10245611520 4204 33554432000 4194304 4196468 140726354701360 139852664236560 139852796774101 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16552 KiB
[startup+0.210238 s]*
/proc/loadavg: 2.00 1.54 1.43 3/219 18024
/proc/meminfo: memFree=22038412/32770624 swapFree=67108860/67108860
[pid=17958] ppid=17955 vsize=10982744 memory=42256 CPUtime=0.25 cores=0,2,4,6
/proc/17958/stat : 17958 (java) S 17955 17958 6396 0 -1 1077944320 7246 12865 0 0 16 1 5 3 20 0 15 0 107136822 11246329856 10564 33554432000 4194304 4196468 140726354701360 140726354683904 139852796763895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
/proc/17958/statm: 2745686 10564 2953 1 0 2708109 0
[pid=17958/tid=18011] ppid=17955 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/17958/task/18011/stat : 18011 (java) R 17955 17958 6396 0 -1 4202560 3807 12865 0 0 10 1 5 3 20 0 15 0 107136831 11246329856 10564 33554432000 4194304 4196468 140726354701360 139852768560816 139852781929463 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18012] ppid=17955 vsize=10982744 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18012/stat : 18012 (java) S 17955 17958 6396 0 -1 1077944384 1 12865 0 0 0 0 5 3 20 0 15 0 107136832 11246329856 10564 33554432000 4194304 4196468 140726354701360 139852801005968 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18013] ppid=17955 vsize=10982744 memory=139846454926242 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18013/stat : 18013 (java) S 17955 17958 6396 0 -1 1077944384 1 12865 0 0 0 0 5 3 20 0 15 0 107136832 11246329856 10564 33554432000 4194304 4196468 140726354701360 139852666341648 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18014] ppid=17955 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18014/stat : 18014 (java) S 17955 17958 6396 0 -1 1077944384 1 12865 0 0 0 0 5 3 20 0 15 0 107136832 11246329856 10564 33554432000 4194304 4196468 140726354701360 139852665289360 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18015] ppid=17955 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18015/stat : 18015 (java) S 17955 17958 6396 0 -1 1077944384 2 12865 0 0 0 0 5 3 20 0 15 0 107136832 11246329856 10564 33554432000 4194304 4196468 140726354701360 139852664236560 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18016] ppid=17955 vsize=10982744 memory=139846454908544 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18016/stat : 18016 (java) S 17955 17958 6396 0 -1 1077944384 2 12865 0 0 0 0 5 3 20 0 15 0 107136834 11246329856 10564 33554432000 4194304 4196468 140726354701360 139852087319152 139852796775042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18017] ppid=17955 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18017/stat : 18017 (java) S 17955 17958 6396 0 -1 1077944384 13 12865 0 0 0 0 5 3 20 0 15 0 107136834 11246329856 10564 33554432000 4194304 4196468 140726354701360 139851651343648 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18018] ppid=17955 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18018/stat : 18018 (java) S 17955 17958 6396 0 -1 1077944384 1 12865 0 0 0 0 5 3 20 0 15 0 107136834 11246329856 10564 33554432000 4194304 4196468 140726354701360 139851450017392 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18019] ppid=17955 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18019/stat : 18019 (java) S 17955 17958 6396 0 -1 1077944384 3 12865 0 0 0 0 5 3 20 0 15 0 107136837 11246329856 10564 33554432000 4194304 4196468 140726354701360 139851142617680 139852796782491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18020] ppid=17955 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17958/task/18020/stat : 18020 (java) S 17955 17958 6396 0 -1 1077944384 373 12865 0 0 1 0 5 3 20 0 15 0 107136837 11246329856 10564 33554432000 4194304 4196468 140726354701360 139852086265968 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18021] ppid=17955 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18021/stat : 18021 (java) S 17955 17958 6396 0 -1 1077944384 247 12865 0 0 0 0 5 3 20 0 15 0 107136837 11246329856 10564 33554432000 4194304 4196468 140726354701360 139852085213168 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18022] ppid=17955 vsize=10982744 memory=139846454908544 CPUtime=0.11 cores=0,2,4,6
/proc/17958/task/18022/stat : 18022 (java) S 17955 17958 6396 0 -1 1077944384 601 12865 0 0 3 0 5 3 20 0 15 0 107136837 11246329856 10564 33554432000 4194304 4196468 140726354701360 139852084160880 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18023] ppid=17955 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18023/stat : 18023 (java) S 17955 17958 6396 0 -1 1077944384 3 12865 0 0 0 0 5 3 20 0 15 0 107136837 11246329856 10564 33554432000 4194304 4196468 140726354701360 139850711820768 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18024] ppid=17955 vsize=10982744 memory=139846454908544 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18024/stat : 18024 (java) S 17955 17958 6396 0 -1 1077944384 1 12865 0 0 0 0 5 3 20 0 15 0 107136838 11246329856 10564 33554432000 4194304 4196468 140726354701360 139852083108784 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42256 KiB
[startup+0.310468 s]*
/proc/loadavg: 2.00 1.54 1.43 3/219 18024
/proc/meminfo: memFree=22025512/32770624 swapFree=67108860/67108860
[pid=17958] ppid=17955 vsize=10983192 memory=53868 CPUtime=0.38 cores=0,2,4,6
/proc/17958/stat : 17958 (java) S 17955 17958 6396 0 -1 1077944320 10017 12865 0 0 28 2 5 3 20 0 15 0 107136822 11246788608 13467 33554432000 4194304 4196468 140726354701360 140726354683904 139852796763895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
/proc/17958/statm: 2745798 13467 3072 1 0 2708109 0
[pid=17958/tid=18011] ppid=17955 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/17958/task/18011/stat : 18011 (java) R 17955 17958 6396 0 -1 4202560 6567 12865 0 0 19 1 5 3 20 0 15 0 107136831 11246788608 13467 33554432000 4194304 4196468 140726354701360 139852768575904 139852777039776 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18012] ppid=17955 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18012/stat : 18012 (java) S 17955 17958 6396 0 -1 1077944384 1 12865 0 0 0 0 5 3 20 0 15 0 107136832 11246788608 13467 33554432000 4194304 4196468 140726354701360 139852801005968 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18013] ppid=17955 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18013/stat : 18013 (java) S 17955 17958 6396 0 -1 1077944384 1 12865 0 0 0 0 5 3 20 0 15 0 107136832 11246788608 13467 33554432000 4194304 4196468 140726354701360 139852666341648 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18014] ppid=17955 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18014/stat : 18014 (java) S 17955 17958 6396 0 -1 1077944384 1 12865 0 0 0 0 5 3 20 0 15 0 107136832 11246788608 13467 33554432000 4194304 4196468 140726354701360 139852665289360 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18015] ppid=17955 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18015/stat : 18015 (java) S 17955 17958 6396 0 -1 1077944384 2 12865 0 0 0 0 5 3 20 0 15 0 107136832 11246788608 13467 33554432000 4194304 4196468 140726354701360 139852664236560 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18016] ppid=17955 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18016/stat : 18016 (java) S 17955 17958 6396 0 -1 1077944384 2 12865 0 0 0 0 5 3 20 0 15 0 107136834 11246788608 13467 33554432000 4194304 4196468 140726354701360 139852087319152 139852796775042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18017] ppid=17955 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18017/stat : 18017 (java) S 17955 17958 6396 0 -1 1077944384 13 12865 0 0 0 0 5 3 20 0 15 0 107136834 11246788608 13467 33554432000 4194304 4196468 140726354701360 139851651343648 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18018] ppid=17955 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18018/stat : 18018 (java) S 17955 17958 6396 0 -1 1077944384 1 12865 0 0 0 0 5 3 20 0 15 0 107136834 11246788608 13467 33554432000 4194304 4196468 140726354701360 139851450017392 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18019] ppid=17955 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18019/stat : 18019 (java) S 17955 17958 6396 0 -1 1077944384 3 12865 0 0 0 0 5 3 20 0 15 0 107136837 11246788608 13467 33554432000 4194304 4196468 140726354701360 139851142617680 139852796782491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18020] ppid=17955 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17958/task/18020/stat : 18020 (java) S 17955 17958 6396 0 -1 1077944384 374 12865 0 0 1 0 5 3 20 0 15 0 107136837 11246788608 13467 33554432000 4194304 4196468 140726354701360 139852086265968 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18021] ppid=17955 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/17958/task/18021/stat : 18021 (java) S 17955 17958 6396 0 -1 1077944384 247 12865 0 0 1 0 5 3 20 0 15 0 107136837 11246788608 13467 33554432000 4194304 4196468 140726354701360 139852085213168 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18022] ppid=17955 vsize=10983192 memory=139846454908544 CPUtime=0.13 cores=0,2,4,6
/proc/17958/task/18022/stat : 18022 (java) S 17955 17958 6396 0 -1 1077944384 611 12865 0 0 5 0 5 3 20 0 15 0 107136837 11246788608 13467 33554432000 4194304 4196468 140726354701360 139852084160880 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18023] ppid=17955 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18023/stat : 18023 (java) S 17955 17958 6396 0 -1 1077944384 3 12865 0 0 0 0 5 3 20 0 15 0 107136837 11246788608 13467 33554432000 4194304 4196468 140726354701360 139850711820768 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18024] ppid=17955 vsize=10983192 memory=139846454908544 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18024/stat : 18024 (java) S 17955 17958 6396 0 -1 1077944384 1 12865 0 0 0 0 5 3 20 0 15 0 107136838 11246788608 13467 33554432000 4194304 4196468 140726354701360 139852083108784 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53868 KiB
[startup+0.700724 s]
/proc/loadavg: 2.00 1.54 1.43 3/219 18024
/proc/meminfo: memFree=22014144/32770624 swapFree=67108860/67108860
[pid=17958] ppid=17955 vsize=10983192 memory=88600 CPUtime=0.99 cores=0,2,4,6
/proc/17958/stat : 17958 (java) S 17955 17958 6396 0 -1 1077944320 16705 12865 0 0 87 4 5 3 20 0 15 0 107136822 11246788608 22150 33554432000 4194304 4196468 140726354701360 140726354683904 139852796763895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
/proc/17958/statm: 2745798 22150 3247 1 0 2708109 0
[pid=17958/tid=18011] ppid=17955 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/17958/task/18011/stat : 18011 (java) R 17955 17958 6396 0 -1 4202560 12203 12865 0 0 56 3 5 3 20 0 15 0 107136831 11246788608 22150 33554432000 4194304 4196468 140726354701360 139852768585616 139852773988048 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18012] ppid=17955 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18012/stat : 18012 (java) S 17955 17958 6396 0 -1 1077944384 1 12865 0 0 0 0 5 3 20 0 15 0 107136832 11246788608 22150 33554432000 4194304 4196468 140726354701360 139852801005968 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18013] ppid=17955 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18013/stat : 18013 (java) S 17955 17958 6396 0 -1 1077944384 1 12865 0 0 0 0 5 3 20 0 15 0 107136832 11246788608 22150 33554432000 4194304 4196468 140726354701360 139852666341648 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18014] ppid=17955 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18014/stat : 18014 (java) S 17955 17958 6396 0 -1 1077944384 1 12865 0 0 0 0 5 3 20 0 15 0 107136832 11246788608 22150 33554432000 4194304 4196468 140726354701360 139852665289360 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18015] ppid=17955 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18015/stat : 18015 (java) S 17955 17958 6396 0 -1 1077944384 2 12865 0 0 0 0 5 3 20 0 15 0 107136832 11246788608 22150 33554432000 4194304 4196468 140726354701360 139852664236560 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18016] ppid=17955 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18016/stat : 18016 (java) S 17955 17958 6396 0 -1 1077944384 5 12865 0 0 0 0 5 3 20 0 15 0 107136834 11246788608 22150 33554432000 4194304 4196468 140726354701360 139852087319152 139852796775042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18017] ppid=17955 vsize=10983192 memory=139846349894352 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18017/stat : 18017 (java) S 17955 17958 6396 0 -1 1077944384 13 12865 0 0 0 0 5 3 20 0 15 0 107136834 11246788608 22150 33554432000 4194304 4196468 140726354701360 139851651343648 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18018] ppid=17955 vsize=10983192 memory=139848430125667 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18018/stat : 18018 (java) S 17955 17958 6396 0 -1 1077944384 1 12865 0 0 0 0 5 3 20 0 15 0 107136834 11246788608 22150 33554432000 4194304 4196468 140726354701360 139851450017392 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18019] ppid=17955 vsize=10983192 memory=10624 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18019/stat : 18019 (java) S 17955 17958 6396 0 -1 1077944384 3 12865 0 0 0 0 5 3 20 0 15 0 107136837 11246788608 22150 33554432000 4194304 4196468 140726354701360 139851142617680 139852796782491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18020] ppid=17955 vsize=10983192 memory=7234564758908855872 CPUtime=0.15 cores=0,2,4,6
/proc/17958/task/18020/stat : 18020 (java) S 17955 17958 6396 0 -1 1077944384 729 12865 0 0 7 0 5 3 20 0 15 0 107136837 11246788608 22150 33554432000 4194304 4196468 140726354701360 139852086265968 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18021] ppid=17955 vsize=10983192 memory=7597685182856913236 CPUtime=0.17 cores=0,2,4,6
/proc/17958/task/18021/stat : 18021 (java) S 17955 17958 6396 0 -1 1077944384 873 12865 0 0 9 0 5 3 20 0 15 0 107136837 11246788608 22150 33554432000 4194304 4196468 140726354701360 139852085213168 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18022] ppid=17955 vsize=10983192 memory=5787220445994897765 CPUtime=0.21 cores=0,2,4,6
/proc/17958/task/18022/stat : 18022 (java) S 17955 17958 6396 0 -1 1077944384 679 12865 0 0 13 0 5 3 20 0 15 0 107136837 11246788608 22150 33554432000 4194304 4196468 140726354701360 139852084160880 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18023] ppid=17955 vsize=10983192 memory=4128 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18023/stat : 18023 (java) S 17955 17958 6396 0 -1 1077944384 3 12865 0 0 0 0 5 3 20 0 15 0 107136837 11246788608 22150 33554432000 4194304 4196468 140726354701360 139850711820768 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18024] ppid=17955 vsize=10983192 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18024/stat : 18024 (java) S 17955 17958 6396 0 -1 1077944384 1 12865 0 0 0 0 5 3 20 0 15 0 107136838 11246788608 22150 33554432000 4194304 4196468 140726354701360 139852083108784 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88600 KiB
[startup+1.50078 s]
/proc/loadavg: 2.00 1.54 1.43 3/219 18024
/proc/meminfo: memFree=21971224/32770624 swapFree=67108860/67108860
[pid=17958] ppid=17955 vsize=10996044 memory=187728 CPUtime=2.92 cores=0,2,4,6
/proc/17958/stat : 17958 (java) S 17955 17958 6396 0 -1 1077944320 25657 12865 0 0 275 9 5 3 20 0 15 0 107136822 11259949056 46932 33554432000 4194304 4196468 140726354701360 140726354683904 139852796763895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
/proc/17958/statm: 2749011 46932 3446 1 0 2710669 0
[pid=17958/tid=18011] ppid=17955 vsize=10996044 memory=12813 CPUtime=1.43 cores=0,2,4,6
/proc/17958/task/18011/stat : 18011 (java) S 17955 17958 6396 0 -1 1077944384 17057 12865 0 0 129 6 5 3 20 0 15 0 107136831 11259949056 46932 33554432000 4194304 4196468 140726354701360 139852768595728 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18012] ppid=17955 vsize=10996044 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18012/stat : 18012 (java) R 17955 17958 6396 0 -1 4202560 1 12865 0 0 0 0 5 3 20 0 15 0 107136832 11259949056 46932 33554432000 4194304 4196468 140726354701360 139852801005968 139852796775830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18013] ppid=17955 vsize=10996044 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17958/task/18013/stat : 18013 (java) R 17955 17958 6396 0 -1 4202560 49 12865 0 0 1 0 5 3 20 0 15 0 107136832 11259949056 46932 33554432000 4194304 4196468 140726354701360 139852666341648 139852796775830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18014] ppid=17955 vsize=10996044 memory=42 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18014/stat : 18014 (java) R 17955 17958 6396 0 -1 1077944384 194 12865 0 0 0 0 5 3 20 0 15 0 107136832 11259949056 46932 33554432000 4194304 4196468 140726354701360 139852665289360 139852796774101 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18015] ppid=17955 vsize=10996044 memory=88600 CPUtime=0.09 cores=0,2,4,6
/proc/17958/task/18015/stat : 18015 (java) R 17955 17958 6396 0 -1 4202560 35 12865 0 0 1 0 5 3 20 0 15 0 107136832 11259949056 46932 33554432000 4194304 4196468 140726354701360 139852664236560 139852781752295 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18016] ppid=17955 vsize=10996044 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17958/task/18016/stat : 18016 (java) S 17955 17958 6396 0 -1 1077944384 49 12865 0 0 1 0 5 3 20 0 15 0 107136834 11259949056 46932 33554432000 4194304 4196468 140726354701360 139852087317664 139852796774101 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18017] ppid=17955 vsize=10996044 memory=279692699730416 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18017/stat : 18017 (java) S 17955 17958 6396 0 -1 1077944384 13 12865 0 0 0 0 5 3 20 0 15 0 107136834 11259949056 46932 33554432000 4194304 4196468 140726354701360 139851651343648 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18018] ppid=17955 vsize=10996044 memory=279692699781216 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18018/stat : 18018 (java) S 17955 17958 6396 0 -1 1077944384 1 12865 0 0 0 0 5 3 20 0 15 0 107136834 11259949056 46932 33554432000 4194304 4196468 140726354701360 139851450017392 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18019] ppid=17955 vsize=10996044 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18019/stat : 18019 (java) S 17955 17958 6396 0 -1 1077944384 3 12865 0 0 0 0 5 3 20 0 15 0 107136837 11259949056 46932 33554432000 4194304 4196468 140726354701360 139851142617680 139852796782491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18020] ppid=17955 vsize=10996044 memory=4638778398332698720 CPUtime=0.54 cores=0,2,4,6
/proc/17958/task/18020/stat : 18020 (java) S 17955 17958 6396 0 -1 1077944384 2237 12865 0 0 46 0 5 3 20 0 15 0 107136837 11259949056 46932 33554432000 4194304 4196468 140726354701360 139852086245328 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18021] ppid=17955 vsize=10996044 memory=279692700064640 CPUtime=0.59 cores=0,2,4,6
/proc/17958/task/18021/stat : 18021 (java) S 17955 17958 6396 0 -1 1077944384 2113 12865 0 0 51 0 5 3 20 0 15 0 107136837 11259949056 46932 33554432000 4194304 4196468 140726354701360 139852085198160 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18022] ppid=17955 vsize=10996044 memory=-7531822216213012384 CPUtime=0.51 cores=0,2,4,6
/proc/17958/task/18022/stat : 18022 (java) S 17955 17958 6396 0 -1 1077944384 1714 12865 0 0 43 0 5 3 20 0 15 0 107136837 11259949056 46932 33554432000 4194304 4196468 140726354701360 139852084160880 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18023] ppid=17955 vsize=10996044 memory=-7531822216213012384 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18023/stat : 18023 (java) S 17955 17958 6396 0 -1 1077944384 3 12865 0 0 0 0 5 3 20 0 15 0 107136837 11259949056 46932 33554432000 4194304 4196468 140726354701360 139850711820768 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18024] ppid=17955 vsize=10996044 memory=1399101730491701635 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18024/stat : 18024 (java) S 17955 17958 6396 0 -1 1077944384 1 12865 0 0 0 0 5 3 20 0 15 0 107136838 11259949056 46932 33554432000 4194304 4196468 140726354701360 139852083108784 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/17958/task/18011/stat : 18011 (java) R 17955 17958 6396 0 -1 4202560 51344 12865 0 0 16072 40 5 3 20 0 15 0 107136831 11345952768 600003 33554432000 4194304 4196468 140726354701360 139852768597872 139852361086848 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18012] ppid=17955 vsize=11080032 memory=2409252 CPUtime=0.88 cores=0,2,4,6
/proc/17958/task/18012/stat : 18012 (java) S 17955 17958 6396 0 -1 1077944384 1240 12865 0 0 67 13 5 3 20 0 15 0 107136832 11345952768 600003 33554432000 4194304 4196468 140726354701360 139852801005968 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18013] ppid=17955 vsize=11080032 memory=2466200 CPUtime=0.89 cores=0,2,4,6
/proc/17958/task/18013/stat : 18013 (java) S 17955 17958 6396 0 -1 1077944384 3232 12865 0 0 68 13 5 3 20 0 15 0 107136832 11345952768 600003 33554432000 4194304 4196468 140726354701360 139852666341648 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18014] ppid=17955 vsize=11080032 memory=2437980 CPUtime=0.87 cores=0,2,4,6
/proc/17958/task/18014/stat : 18014 (java) S 17955 17958 6396 0 -1 1077944384 1873 12865 0 0 66 13 5 3 20 0 15 0 107136832 11345952768 600003 33554432000 4194304 4196468 140726354701360 139852665289360 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18015] ppid=17955 vsize=11080032 memory=2419512 CPUtime=0.88 cores=0,2,4,6
/proc/17958/task/18015/stat : 18015 (java) S 17955 17958 6396 0 -1 1077944384 1767 12865 0 0 67 13 5 3 20 0 15 0 107136832 11345952768 600003 33554432000 4194304 4196468 140726354701360 139852664236560 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18016] ppid=17955 vsize=11080032 memory=2428232 CPUtime=0.23 cores=0,2,4,6
/proc/17958/task/18016/stat : 18016 (java) S 17955 17958 6396 0 -1 1077944384 4849 12865 0 0 13 2 5 3 20 0 15 0 107136834 11345952768 600003 33554432000 4194304 4196468 140726354701360 139852087319152 139852796775042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18017] ppid=17955 vsize=11080032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18017/stat : 18017 (java) S 17955 17958 6396 0 -1 1077944384 23 12865 0 0 0 0 5 3 20 0 15 0 107136834 11345952768 600003 33554432000 4194304 4196468 140726354701360 139851651343776 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18018] ppid=17955 vsize=11080032 memory=2401044 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18018/stat : 18018 (java) S 17955 17958 6396 0 -1 1077944384 6 12865 0 0 0 0 5 3 20 0 15 0 107136834 11345952768 600003 33554432000 4194304 4196468 140726354701360 139851450017408 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18019] ppid=17955 vsize=11080032 memory=2400012 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18019/stat : 18019 (java) S 17955 17958 6396 0 -1 1077944384 3 12865 0 0 0 0 5 3 20 0 15 0 107136837 11345952768 600003 33554432000 4194304 4196468 140726354701360 139851142617680 139852796782491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18020] ppid=17955 vsize=11080032 memory=2401044 CPUtime=6.65 cores=0,2,4,6
/proc/17958/task/18020/stat : 18020 (java) S 17955 17958 6396 0 -1 1077944384 16125 12865 0 0 654 3 5 3 20 0 15 0 107136837 11345952768 600003 33554432000 4194304 4196468 140726354701360 139852086265968 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18021] ppid=17955 vsize=11080032 memory=2401044 CPUtime=6.93 cores=0,2,4,6
/proc/17958/task/18021/stat : 18021 (java) S 17955 17958 6396 0 -1 1077944384 19415 12865 0 0 681 4 5 3 20 0 15 0 107136837 11345952768 600003 33554432000 4194304 4196468 140726354701360 139852085213168 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18022] ppid=17955 vsize=11080032 memory=2419512 CPUtime=2.89 cores=0,2,4,6
/proc/17958/task/18022/stat : 18022 (java) S 17955 17958 6396 0 -1 1077944384 20395 12865 0 0 276 5 5 3 20 0 15 0 107136837 11345952768 600003 33554432000 4194304 4196468 140726354701360 139852084160880 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18023] ppid=17955 vsize=11080032 memory=4128 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18023/stat : 18023 (java) S 17955 17958 6396 0 -1 1077944384 3 12865 0 0 0 0 5 3 20 0 15 0 107136837 11345952768 600003 33554432000 4194304 4196468 140726354701360 139850711820768 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18024] ppid=17955 vsize=11080032 memory=2409252 CPUtime=0.16 cores=0,2,4,6
/proc/17958/task/18024/stat : 18024 (java) S 17955 17958 6396 0 -1 1077944384 316 12865 0 0 4 4 5 3 20 0 15 0 107136838 11345952768 600003 33554432000 4194304 4196468 140726354701360 139852083108784 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
Current children cumulated CPU time: 180.98 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2400012 KiB
[startup+222.301 s]
/proc/loadavg: 1.54 1.58 1.49 3/215 18156
/proc/meminfo: memFree=20640216/32770624 swapFree=67108860/67108860
[pid=17958] ppid=17955 vsize=11080032 memory=2240328 CPUtime=242.23 cores=0,2,4,6
/proc/17958/stat : 17958 (java) S 17955 17958 6396 0 -1 1077944320 142468 12865 0 0 24094 121 5 3 20 0 15 0 107136822 11345952768 560082 33554432000 4194304 4196468 140726354701360 140726354683904 139852796763895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
/proc/17958/statm: 2770008 560082 3534 1 0 2731661 0
[pid=17958/tid=18011] ppid=17955 vsize=11080032 memory=2279288 CPUtime=220.66 cores=0,2,4,6
/proc/17958/task/18011/stat : 18011 (java) R 17955 17958 6396 0 -1 4202560 55891 12865 0 0 22018 40 5 3 20 0 15 0 107136831 11345952768 560082 33554432000 4194304 4196468 140726354701360 139852768598880 139852340782857 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18012] ppid=17955 vsize=11080032 memory=2253668 CPUtime=1.27 cores=0,2,4,6
/proc/17958/task/18012/stat : 18012 (java) S 17955 17958 6396 0 -1 1077944384 2049 12865 0 0 105 14 5 3 20 0 15 0 107136832 11345952768 560082 33554432000 4194304 4196468 140726354701360 139852801005968 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18013] ppid=17955 vsize=11080032 memory=2249564 CPUtime=1.29 cores=0,2,4,6
/proc/17958/task/18013/stat : 18013 (java) S 17955 17958 6396 0 -1 1077944384 4546 12865 0 0 107 14 5 3 20 0 15 0 107136832 11345952768 560082 33554432000 4194304 4196468 140726354701360 139852666341648 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18014] ppid=17955 vsize=11080032 memory=2242892 CPUtime=1.27 cores=0,2,4,6
/proc/17958/task/18014/stat : 18014 (java) S 17955 17958 6396 0 -1 1077944384 3113 12865 0 0 105 14 5 3 20 0 15 0 107136832 11345952768 560082 33554432000 4194304 4196468 140726354701360 139852665289360 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18015] ppid=17955 vsize=11080032 memory=2240328 CPUtime=1.27 cores=0,2,4,6
/proc/17958/task/18015/stat : 18015 (java) S 17955 17958 6396 0 -1 1077944384 2493 12865 0 0 105 14 5 3 20 0 15 0 107136832 11345952768 560082 33554432000 4194304 4196468 140726354701360 139852664236560 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18016] ppid=17955 vsize=11080032 memory=2253668 CPUtime=0.31 cores=0,2,4,6
/proc/17958/task/18016/stat : 18016 (java) S 17955 17958 6396 0 -1 1077944384 5539 12865 0 0 19 4 5 3 20 0 15 0 107136834 11345952768 560082 33554432000 4194304 4196468 140726354701360 139852087319152 139852796775042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18017] ppid=17955 vsize=11080032 memory=1952 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18017/stat : 18017 (java) S 17955 17958 6396 0 -1 1077944384 23 12865 0 0 0 0 5 3 20 0 15 0 107136834 11345952768 560082 33554432000 4194304 4196468 140726354701360 139851651343776 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18018] ppid=17955 vsize=11080032 memory=2270576 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18018/stat : 18018 (java) S 17955 17958 6396 0 -1 1077944384 6 12865 0 0 0 0 5 3 20 0 15 0 107136834 11345952768 560082 33554432000 4194304 4196468 140726354701360 139851450017408 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18019] ppid=17955 vsize=11080032 memory=4128 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18019/stat : 18019 (java) S 17955 17958 6396 0 -1 1077944384 3 12865 0 0 0 0 5 3 20 0 15 0 107136837 11345952768 560082 33554432000 4194304 4196468 140726354701360 139851142617680 139852796782491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18020] ppid=17955 vsize=11080032 memory=2240328 CPUtime=6.69 cores=0,2,4,6
/proc/17958/task/18020/stat : 18020 (java) S 17955 17958 6396 0 -1 1077944384 20236 12865 0 0 657 4 5 3 20 0 15 0 107136837 11345952768 560082 33554432000 4194304 4196468 140726354701360 139852086265968 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18021] ppid=17955 vsize=11080032 memory=2242892 CPUtime=6.96 cores=0,2,4,6
/proc/17958/task/18021/stat : 18021 (java) S 17955 17958 6396 0 -1 1077944384 21968 12865 0 0 684 4 5 3 20 0 15 0 107136837 11345952768 560082 33554432000 4194304 4196468 140726354701360 139852085213168 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18022] ppid=17955 vsize=11080032 memory=1292 CPUtime=2.9 cores=0,2,4,6
/proc/17958/task/18022/stat : 18022 (java) S 17955 17958 6396 0 -1 1077944384 24036 12865 0 0 277 5 5 3 20 0 15 0 107136837 11345952768 560082 33554432000 4194304 4196468 140726354701360 139852084160880 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18023] ppid=17955 vsize=11080032 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18023/stat : 18023 (java) S 17955 17958 6396 0 -1 1077944384 3 12865 0 0 0 0 5 3 20 0 15 0 107136837 11345952768 560082 33554432000 4194304 4196468 140726354701360 139850711820768 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18024] ppid=17955 vsize=11080032 memory=840 CPUtime=0.2 cores=0,2,4,6
/proc/17958/task/18024/stat : 18024 (java) S 17955 17958 6396 0 -1 1077944384 372 12865 0 0 6 6 5 3 20 0 15 0 107136838 11345952768 560082 33554432000 4194304 4196468 140726354701360 139852083108784 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
Current children cumulated CPU time: 242.23 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2240328 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+231.901 s]
/proc/loadavg: 1.49 1.57 1.49 3/215 18156
/proc/meminfo: memFree=20586244/32770624 swapFree=67108860/67108860
[pid=17958] ppid=17955 vsize=11080032 memory=2209596 CPUtime=252.05 cores=0,2,4,6
/proc/17958/stat : 17958 (java) S 17955 17958 6396 0 -1 1077944320 143879 12865 0 0 25075 122 5 3 20 0 15 0 107136822 11345952768 552399 33554432000 4194304 4196468 140726354701360 140726354683904 139852796763895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
/proc/17958/statm: 2770008 552399 3534 1 0 2731661 0
[pid=17958/tid=18011] ppid=17955 vsize=11080032 memory=2224964 CPUtime=230.18 cores=0,2,4,6
/proc/17958/task/18011/stat : 18011 (java) R 17955 17958 6396 0 -1 4202560 56013 12865 0 0 22969 41 5 3 20 0 15 0 107136831 11345952768 552399 33554432000 4194304 4196468 140726354701360 139852768598976 139852351039080 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18012] ppid=17955 vsize=11080032 memory=2213188 CPUtime=1.33 cores=0,2,4,6
/proc/17958/task/18012/stat : 18012 (java) S 17955 17958 6396 0 -1 1077944384 2062 12865 0 0 111 14 5 3 20 0 15 0 107136832 11345952768 552399 33554432000 4194304 4196468 140726354701360 139852801005968 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18013] ppid=17955 vsize=11080032 memory=25 CPUtime=1.35 cores=0,2,4,6
/proc/17958/task/18013/stat : 18013 (java) S 17955 17958 6396 0 -1 1077944384 4561 12865 0 0 113 14 5 3 20 0 15 0 107136832 11345952768 552399 33554432000 4194304 4196468 140726354701360 139852666341648 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18014] ppid=17955 vsize=11080032 memory=2209596 CPUtime=1.33 cores=0,2,4,6
/proc/17958/task/18014/stat : 18014 (java) S 17955 17958 6396 0 -1 1077944384 3122 12865 0 0 111 14 5 3 20 0 15 0 107136832 11345952768 552399 33554432000 4194304 4196468 140726354701360 139852665289360 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18015] ppid=17955 vsize=11080032 memory=2209596 CPUtime=1.35 cores=0,2,4,6
/proc/17958/task/18015/stat : 18015 (java) S 17955 17958 6396 0 -1 1077944384 2510 12865 0 0 112 15 5 3 20 0 15 0 107136832 11345952768 552399 33554432000 4194304 4196468 140726354701360 139852664236560 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18016] ppid=17955 vsize=11080032 memory=2246996 CPUtime=0.33 cores=0,2,4,6
/proc/17958/task/18016/stat : 18016 (java) S 17955 17958 6396 0 -1 1077944384 5545 12865 0 0 20 5 5 3 20 0 15 0 107136834 11345952768 552399 33554432000 4194304 4196468 140726354701360 139852087319152 139852796775042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18017] ppid=17955 vsize=11080032 memory=2242892 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18017/stat : 18017 (java) S 17955 17958 6396 0 -1 1077944384 23 12865 0 0 0 0 5 3 20 0 15 0 107136834 11345952768 552399 33554432000 4194304 4196468 140726354701360 139851651343776 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18018] ppid=17955 vsize=11080032 memory=2228040 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18018/stat : 18018 (java) S 17955 17958 6396 0 -1 1077944384 6 12865 0 0 0 0 5 3 20 0 15 0 107136834 11345952768 552399 33554432000 4194304 4196468 140726354701360 139851450017408 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18019] ppid=17955 vsize=11080032 memory=2231092 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18019/stat : 18019 (java) S 17955 17958 6396 0 -1 1077944384 3 12865 0 0 0 0 5 3 20 0 15 0 107136837 11345952768 552399 33554432000 4194304 4196468 140726354701360 139851142617680 139852796782491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18020] ppid=17955 vsize=11080032 memory=7528 CPUtime=6.7 cores=0,2,4,6
/proc/17958/task/18020/stat : 18020 (java) S 17955 17958 6396 0 -1 1077944384 20625 12865 0 0 658 4 5 3 20 0 15 0 107136837 11345952768 552399 33554432000 4194304 4196468 140726354701360 139852086265968 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18021] ppid=17955 vsize=11080032 memory=840 CPUtime=6.97 cores=0,2,4,6
/proc/17958/task/18021/stat : 18021 (java) S 17955 17958 6396 0 -1 1077944384 22416 12865 0 0 685 4 5 3 20 0 15 0 107136837 11345952768 552399 33554432000 4194304 4196468 140726354701360 139852085213168 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18022] ppid=17955 vsize=11080032 memory=1796 CPUtime=2.91 cores=0,2,4,6
/proc/17958/task/18022/stat : 18022 (java) S 17955 17958 6396 0 -1 1077944384 24427 12865 0 0 278 5 5 3 20 0 15 0 107136837 11345952768 552399 33554432000 4194304 4196468 140726354701360 139852084160880 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18023] ppid=17955 vsize=11080032 memory=1796 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18023/stat : 18023 (java) S 17955 17958 6396 0 -1 1077944384 3 12865 0 0 0 0 5 3 20 0 15 0 107136837 11345952768 552399 33554432000 4194304 4196468 140726354701360 139850711820768 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18024] ppid=17955 vsize=11080032 memory=916 CPUtime=0.2 cores=0,2,4,6
/proc/17958/task/18024/stat : 18024 (java) S 17955 17958 6396 0 -1 1077944384 373 12865 0 0 6 6 5 3 20 0 15 0 107136838 11345952768 552399 33554432000 4194304 4196468 140726354701360 139852083108784 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2209596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+231.95 s]
# the end of solver process 17958 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.835 s, system=1.29058 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+231.901 s]
/proc/loadavg: 1.49 1.57 1.49 3/215 18156
/proc/meminfo: memFree=20586244/32770624 swapFree=67108860/67108860
[pid=17958] ppid=17955 vsize=11080032 memory=2209596 CPUtime=252.05 cores=0,2,4,6
/proc/17958/stat : 17958 (java) S 17955 17958 6396 0 -1 1077944320 143879 12865 0 0 25075 122 5 3 20 0 15 0 107136822 11345952768 552399 33554432000 4194304 4196468 140726354701360 140726354683904 139852796763895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
/proc/17958/statm: 2770008 552399 3534 1 0 2731661 0
[pid=17958/tid=18011] ppid=17955 vsize=11080032 memory=2224964 CPUtime=230.18 cores=0,2,4,6
/proc/17958/task/18011/stat : 18011 (java) R 17955 17958 6396 0 -1 4202560 56013 12865 0 0 22969 41 5 3 20 0 15 0 107136831 11345952768 552399 33554432000 4194304 4196468 140726354701360 139852768598976 139852351039080 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18012] ppid=17955 vsize=11080032 memory=2213188 CPUtime=1.33 cores=0,2,4,6
/proc/17958/task/18012/stat : 18012 (java) S 17955 17958 6396 0 -1 1077944384 2062 12865 0 0 111 14 5 3 20 0 15 0 107136832 11345952768 552399 33554432000 4194304 4196468 140726354701360 139852801005968 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18013] ppid=17955 vsize=11080032 memory=25 CPUtime=1.35 cores=0,2,4,6
/proc/17958/task/18013/stat : 18013 (java) S 17955 17958 6396 0 -1 1077944384 4561 12865 0 0 113 14 5 3 20 0 15 0 107136832 11345952768 552399 33554432000 4194304 4196468 140726354701360 139852666341648 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18014] ppid=17955 vsize=11080032 memory=2209596 CPUtime=1.33 cores=0,2,4,6
/proc/17958/task/18014/stat : 18014 (java) S 17955 17958 6396 0 -1 1077944384 3122 12865 0 0 111 14 5 3 20 0 15 0 107136832 11345952768 552399 33554432000 4194304 4196468 140726354701360 139852665289360 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18015] ppid=17955 vsize=11080032 memory=2209596 CPUtime=1.35 cores=0,2,4,6
/proc/17958/task/18015/stat : 18015 (java) S 17955 17958 6396 0 -1 1077944384 2510 12865 0 0 112 15 5 3 20 0 15 0 107136832 11345952768 552399 33554432000 4194304 4196468 140726354701360 139852664236560 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18016] ppid=17955 vsize=11080032 memory=2246996 CPUtime=0.33 cores=0,2,4,6
/proc/17958/task/18016/stat : 18016 (java) S 17955 17958 6396 0 -1 1077944384 5545 12865 0 0 20 5 5 3 20 0 15 0 107136834 11345952768 552399 33554432000 4194304 4196468 140726354701360 139852087319152 139852796775042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18017] ppid=17955 vsize=11080032 memory=2242892 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18017/stat : 18017 (java) S 17955 17958 6396 0 -1 1077944384 23 12865 0 0 0 0 5 3 20 0 15 0 107136834 11345952768 552399 33554432000 4194304 4196468 140726354701360 139851651343776 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18018] ppid=17955 vsize=11080032 memory=2228040 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18018/stat : 18018 (java) S 17955 17958 6396 0 -1 1077944384 6 12865 0 0 0 0 5 3 20 0 15 0 107136834 11345952768 552399 33554432000 4194304 4196468 140726354701360 139851450017408 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18019] ppid=17955 vsize=11080032 memory=2231092 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18019/stat : 18019 (java) S 17955 17958 6396 0 -1 1077944384 3 12865 0 0 0 0 5 3 20 0 15 0 107136837 11345952768 552399 33554432000 4194304 4196468 140726354701360 139851142617680 139852796782491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18020] ppid=17955 vsize=11080032 memory=7528 CPUtime=6.7 cores=0,2,4,6
/proc/17958/task/18020/stat : 18020 (java) S 17955 17958 6396 0 -1 1077944384 20625 12865 0 0 658 4 5 3 20 0 15 0 107136837 11345952768 552399 33554432000 4194304 4196468 140726354701360 139852086265968 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18021] ppid=17955 vsize=11080032 memory=840 CPUtime=6.97 cores=0,2,4,6
/proc/17958/task/18021/stat : 18021 (java) S 17955 17958 6396 0 -1 1077944384 22416 12865 0 0 685 4 5 3 20 0 15 0 107136837 11345952768 552399 33554432000 4194304 4196468 140726354701360 139852085213168 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18022] ppid=17955 vsize=11080032 memory=1796 CPUtime=2.91 cores=0,2,4,6
/proc/17958/task/18022/stat : 18022 (java) S 17955 17958 6396 0 -1 1077944384 24427 12865 0 0 278 5 5 3 20 0 15 0 107136837 11345952768 552399 33554432000 4194304 4196468 140726354701360 139852084160880 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18023] ppid=17955 vsize=11080032 memory=1796 CPUtime=0.08 cores=0,2,4,6
/proc/17958/task/18023/stat : 18023 (java) S 17955 17958 6396 0 -1 1077944384 3 12865 0 0 0 0 5 3 20 0 15 0 107136837 11345952768 552399 33554432000 4194304 4196468 140726354701360 139850711820768 139852796774101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
[pid=17958/tid=18024] ppid=17955 vsize=11080032 memory=916 CPUtime=0.2 cores=0,2,4,6
/proc/17958/task/18024/stat : 18024 (java) S 17955 17958 6396 0 -1 1077944384 373 12865 0 0 6 6 5 3 20 0 15 0 107136838 11345952768 552399 33554432000 4194304 4196468 140726354701360 139852083108784 139852796775042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 21549056 140726354705010 140726354707809 140726354707809 140726354710479 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2209596 KiB
Child status: 143
Real time (s): 231.95
CPU time (s): 252.126
CPU user time (s): 250.835
CPU system time (s): 1.29058
CPU usage (%): 108.698
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 2573504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.835
system time used= 1.29058
maximum resident set size= 2575452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157915
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17639
involuntary context switches= 487
# summary of solver processes directly reported to runsolver:
# pid: 17958
# total CPU time (s): 252.126
# total CPU user time (s): 250.835
# total CPU system time (s): 1.29058
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.6463 second user time and 1.97473 second system time
The end