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 (7154 MiB free)
memory of node 1: 16384 MiB (3588 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304524-1534099884/watcher-4304524-1534099884 -o /tmp/evaluation-result-4304524-1534099884/solver-4304524-1534099884 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534099857-27319 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=172047055 -superng HOME/instance-4304524-1534099884.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28056, runsolver pid=28053
[startup+0.100104 s]*
/proc/loadavg: 2.16 1.48 1.41 3/206 28113
/proc/meminfo: memFree=10994948/32770624 swapFree=67108496/67108860
[pid=28056] ppid=28053 vsize=10005480 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/28056/stat : 28056 (java) S 28053 28056 27288 0 -1 1077944320 4331 13421 0 0 1 0 5 3 20 0 6 0 227551636 10245611520 4203 33554432000 4194304 4196468 140723539983360 140723539965904 139885855776503 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
/proc/28056/statm: 2501370 4203 1934 1 0 2489808 0
[pid=28056/tid=28109] ppid=28053 vsize=10005480 memory=4279135703946462605 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28109/stat : 28109 (java) R 28053 28056 27288 0 -1 4202560 2140 13421 0 0 0 0 5 3 20 0 6 0 227551645 10245611520 4203 33554432000 4194304 4196468 140723539983360 139885827613264 139885839856990 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28110] ppid=28053 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28110/stat : 28110 (java) S 28053 28056 27288 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 6 0 227551646 10245611520 4203 33554432000 4194304 4196468 140723539983360 139885860019344 139885855786709 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28111] ppid=28053 vsize=10005480 memory=140173102388864 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28111/stat : 28111 (java) S 28053 28056 27288 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 6 0 227551646 10245611520 4203 33554432000 4194304 4196468 140723539983360 139885745216528 139885855786709 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28112] ppid=28053 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28112/stat : 28112 (java) S 28053 28056 27288 0 -1 1077944384 2 13421 0 0 0 0 5 3 20 0 6 0 227551646 10245611520 4203 33554432000 4194304 4196468 140723539983360 139885744163728 139885855786709 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28113] ppid=28053 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28113/stat : 28113 (java) S 28053 28056 27288 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 6 0 227551646 10245611520 4203 33554432000 4194304 4196468 140723539983360 139885393402640 139885855786709 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB
[startup+0.209843 s]*
/proc/loadavg: 2.16 1.48 1.41 3/215 28122
/proc/meminfo: memFree=10971224/32770624 swapFree=67108496/67108860
[pid=28056] ppid=28053 vsize=10982744 memory=43404 CPUtime=0.26 cores=0,2,4,6
/proc/28056/stat : 28056 (java) S 28053 28056 27288 0 -1 1077944320 7540 13421 0 0 17 1 5 3 20 0 15 0 227551636 11246329856 10851 33554432000 4194304 4196468 140723539983360 140723539965904 139885855776503 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
/proc/28056/statm: 2745686 10851 2948 1 0 2708109 0
[pid=28056/tid=28109] ppid=28053 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/28056/task/28109/stat : 28109 (java) R 28053 28056 27288 0 -1 4202560 4126 13421 0 0 11 0 5 3 20 0 15 0 227551645 11246329856 10851 33554432000 4194304 4196468 140723539983360 139885827573424 139885836053328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28110] ppid=28053 vsize=10982744 memory=364 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28110/stat : 28110 (java) S 28053 28056 27288 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 227551646 11246329856 10851 33554432000 4194304 4196468 140723539983360 139885860019344 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28111] ppid=28053 vsize=10982744 memory=3546224830338406048 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28111/stat : 28111 (java) S 28053 28056 27288 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 227551646 11246329856 10851 33554432000 4194304 4196468 140723539983360 139885745216528 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28112] ppid=28053 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28112/stat : 28112 (java) S 28053 28056 27288 0 -1 1077944384 2 13421 0 0 0 0 5 3 20 0 15 0 227551646 11246329856 10851 33554432000 4194304 4196468 140723539983360 139885744163728 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28113] ppid=28053 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28113/stat : 28113 (java) S 28053 28056 27288 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 227551646 11246329856 10851 33554432000 4194304 4196468 140723539983360 139885393402640 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28114] ppid=28053 vsize=10982744 memory=140173102388864 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28114/stat : 28114 (java) S 28053 28056 27288 0 -1 1077944384 2 13421 0 0 0 0 5 3 20 0 15 0 227551648 11246329856 10851 33554432000 4194304 4196468 140723539983360 139885348825456 139885855787650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28115] ppid=28053 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28115/stat : 28115 (java) S 28053 28056 27288 0 -1 1077944384 13 13421 0 0 0 0 5 3 20 0 15 0 227551648 11246329856 10917 33554432000 4194304 4196468 140723539983360 139884668904480 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28116] ppid=28053 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28116/stat : 28116 (java) S 28053 28056 27288 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 227551648 11246329856 10917 33554432000 4194304 4196468 140723539983360 139884467577712 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28117] ppid=28053 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28117/stat : 28117 (java) S 28053 28056 27288 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 227551651 11246329856 10917 33554432000 4194304 4196468 140723539983360 139884160178000 139885855795099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28118] ppid=28053 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28056/task/28118/stat : 28118 (java) S 28053 28056 27288 0 -1 1077944384 360 13421 0 0 1 0 5 3 20 0 15 0 227551651 11246329856 10917 33554432000 4194304 4196468 140723539983360 139885347773296 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28119] ppid=28053 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28119/stat : 28119 (java) S 28053 28056 27288 0 -1 1077944384 259 13421 0 0 0 0 5 3 20 0 15 0 227551651 11246329856 10917 33554432000 4194304 4196468 140723539983360 139885346720496 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28120] ppid=28053 vsize=10982744 memory=140173102388864 CPUtime=0.11 cores=0,2,4,6
/proc/28056/task/28120/stat : 28120 (java) S 28053 28056 27288 0 -1 1077944384 607 13421 0 0 3 0 5 3 20 0 15 0 227551651 11246329856 10917 33554432000 4194304 4196468 140723539983360 139885345667696 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28121] ppid=28053 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28121/stat : 28121 (java) S 28053 28056 27288 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 227551651 11246329856 10917 33554432000 4194304 4196468 140723539983360 139883729382112 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28122] ppid=28053 vsize=10982744 memory=140173102388864 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28122/stat : 28122 (java) S 28053 28056 27288 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 227551652 11246329856 10917 33554432000 4194304 4196468 140723539983360 139885344615088 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43404 KiB
[startup+0.310155 s]*
/proc/loadavg: 2.16 1.48 1.41 3/215 28122
/proc/meminfo: memFree=10958696/32770624 swapFree=67108496/67108860
[pid=28056] ppid=28053 vsize=10983192 memory=56020 CPUtime=0.39 cores=0,2,4,6
/proc/28056/stat : 28056 (java) S 28053 28056 27288 0 -1 1077944320 10594 13421 0 0 28 3 5 3 20 0 15 0 227551636 11246788608 14005 33554432000 4194304 4196468 140723539983360 140723539965904 139885855776503 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
/proc/28056/statm: 2745798 14005 3067 1 0 2708109 0
[pid=28056/tid=28109] ppid=28053 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/28056/task/28109/stat : 28109 (java) R 28053 28056 27288 0 -1 4202560 7131 13421 0 0 19 2 5 3 20 0 15 0 227551645 11246788608 14005 33554432000 4194304 4196468 140723539983360 139885827588512 139885837340007 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28110] ppid=28053 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28110/stat : 28110 (java) S 28053 28056 27288 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 227551646 11246788608 14005 33554432000 4194304 4196468 140723539983360 139885860019344 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28111] ppid=28053 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28111/stat : 28111 (java) S 28053 28056 27288 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 227551646 11246788608 14005 33554432000 4194304 4196468 140723539983360 139885745216528 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28112] ppid=28053 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28112/stat : 28112 (java) S 28053 28056 27288 0 -1 1077944384 2 13421 0 0 0 0 5 3 20 0 15 0 227551646 11246788608 14005 33554432000 4194304 4196468 140723539983360 139885744163728 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28113] ppid=28053 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28113/stat : 28113 (java) S 28053 28056 27288 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 227551646 11246788608 14005 33554432000 4194304 4196468 140723539983360 139885393402640 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28114] ppid=28053 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28114/stat : 28114 (java) S 28053 28056 27288 0 -1 1077944384 2 13421 0 0 0 0 5 3 20 0 15 0 227551648 11246788608 14005 33554432000 4194304 4196468 140723539983360 139885348825456 139885855787650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28115] ppid=28053 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28115/stat : 28115 (java) S 28053 28056 27288 0 -1 1077944384 13 13421 0 0 0 0 5 3 20 0 15 0 227551648 11246788608 14005 33554432000 4194304 4196468 140723539983360 139884668904480 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28116] ppid=28053 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28116/stat : 28116 (java) S 28053 28056 27288 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 227551648 11246788608 14005 33554432000 4194304 4196468 140723539983360 139884467577712 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28117] ppid=28053 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28117/stat : 28117 (java) S 28053 28056 27288 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 227551651 11246788608 14005 33554432000 4194304 4196468 140723539983360 139884160178000 139885855795099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28118] ppid=28053 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28056/task/28118/stat : 28118 (java) S 28053 28056 27288 0 -1 1077944384 363 13421 0 0 1 0 5 3 20 0 15 0 227551651 11246788608 14005 33554432000 4194304 4196468 140723539983360 139885347773296 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28119] ppid=28053 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/28056/task/28119/stat : 28119 (java) S 28053 28056 27288 0 -1 1077944384 263 13421 0 0 1 0 5 3 20 0 15 0 227551651 11246788608 14005 33554432000 4194304 4196468 140723539983360 139885346720496 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28120] ppid=28053 vsize=10983192 memory=140173102388864 CPUtime=0.12 cores=0,2,4,6
/proc/28056/task/28120/stat : 28120 (java) S 28053 28056 27288 0 -1 1077944384 613 13421 0 0 4 0 5 3 20 0 15 0 227551651 11246788608 14005 33554432000 4194304 4196468 140723539983360 139885345667696 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28121] ppid=28053 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28121/stat : 28121 (java) S 28053 28056 27288 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 227551651 11246788608 14005 33554432000 4194304 4196468 140723539983360 139883729382112 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28122] ppid=28053 vsize=10983192 memory=140173102388864 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28122/stat : 28122 (java) S 28053 28056 27288 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 227551652 11246788608 14005 33554432000 4194304 4196468 140723539983360 139885344615088 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56020 KiB
[startup+0.700762 s]
/proc/loadavg: 2.16 1.48 1.41 3/215 28122
/proc/meminfo: memFree=10947960/32770624 swapFree=67108496/67108860
[pid=28056] ppid=28053 vsize=10983192 memory=88168 CPUtime=0.99 cores=0,2,4,6
/proc/28056/stat : 28056 (java) S 28053 28056 27288 0 -1 1077944320 16752 13421 0 0 87 4 5 3 20 0 15 0 227551636 11246788608 22042 33554432000 4194304 4196468 140723539983360 140723539965904 139885855776503 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
/proc/28056/statm: 2745798 22042 3238 1 0 2708109 0
[pid=28056/tid=28109] ppid=28053 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/28056/task/28109/stat : 28109 (java) R 28053 28056 27288 0 -1 4202560 12266 13421 0 0 56 3 5 3 20 0 15 0 227551645 11246788608 22042 33554432000 4194304 4196468 140723539983360 139885827604384 139885839856990 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28110] ppid=28053 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28110/stat : 28110 (java) S 28053 28056 27288 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 227551646 11246788608 22042 33554432000 4194304 4196468 140723539983360 139885860019344 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28111] ppid=28053 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28111/stat : 28111 (java) S 28053 28056 27288 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 227551646 11246788608 22042 33554432000 4194304 4196468 140723539983360 139885745216528 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28112] ppid=28053 vsize=10983192 memory=4641617509154462115 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28112/stat : 28112 (java) S 28053 28056 27288 0 -1 1077944384 2 13421 0 0 0 0 5 3 20 0 15 0 227551646 11246788608 22042 33554432000 4194304 4196468 140723539983360 139885744163728 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28113] ppid=28053 vsize=10983192 memory=7734201629010253412 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28113/stat : 28113 (java) S 28053 28056 27288 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 227551646 11246788608 22042 33554432000 4194304 4196468 140723539983360 139885393402640 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28114] ppid=28053 vsize=10983192 memory=7810487918915055718 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28114/stat : 28114 (java) S 28053 28056 27288 0 -1 1077944384 5 13421 0 0 0 0 5 3 20 0 15 0 227551648 11246788608 22042 33554432000 4194304 4196468 140723539983360 139885348825456 139885855787650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28115] ppid=28053 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28115/stat : 28115 (java) S 28053 28056 27288 0 -1 1077944384 13 13421 0 0 0 0 5 3 20 0 15 0 227551648 11246788608 22042 33554432000 4194304 4196468 140723539983360 139884668904480 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28116] ppid=28053 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28116/stat : 28116 (java) S 28053 28056 27288 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 227551648 11246788608 22042 33554432000 4194304 4196468 140723539983360 139884467577712 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28117] ppid=28053 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28117/stat : 28117 (java) S 28053 28056 27288 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 227551651 11246788608 22042 33554432000 4194304 4196468 140723539983360 139884160178000 139885855795099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28118] ppid=28053 vsize=10983192 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/28056/task/28118/stat : 28118 (java) S 28053 28056 27288 0 -1 1077944384 919 13421 0 0 10 0 5 3 20 0 15 0 227551651 11246788608 22042 33554432000 4194304 4196468 140723539983360 139885347773296 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28119] ppid=28053 vsize=10983192 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/28056/task/28119/stat : 28119 (java) S 28053 28056 27288 0 -1 1077944384 659 13421 0 0 6 0 5 3 20 0 15 0 227551651 11246788608 22042 33554432000 4194304 4196468 140723539983360 139885346720496 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28120] ppid=28053 vsize=10983192 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/28056/task/28120/stat : 28120 (java) S 28053 28056 27288 0 -1 1077944384 682 13421 0 0 13 0 5 3 20 0 15 0 227551651 11246788608 22042 33554432000 4194304 4196468 140723539983360 139885345667696 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28121] ppid=28053 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28121/stat : 28121 (java) S 28053 28056 27288 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 227551651 11246788608 22042 33554432000 4194304 4196468 140723539983360 139883729382112 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28122] ppid=28053 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28122/stat : 28122 (java) S 28053 28056 27288 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 227551652 11246788608 22042 33554432000 4194304 4196468 140723539983360 139885344615088 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88168 KiB
[startup+1.50074 s]
/proc/loadavg: 2.16 1.48 1.41 3/215 28122
/proc/meminfo: memFree=10904916/32770624 swapFree=67108496/67108860
[pid=28056] ppid=28053 vsize=10998092 memory=181204 CPUtime=2.35 cores=0,2,4,6
/proc/28056/stat : 28056 (java) S 28053 28056 27288 0 -1 1077944320 23909 13421 0 0 217 10 5 3 20 0 15 0 227551636 11262046208 45301 33554432000 4194304 4196468 140723539983360 140723539965904 139885855776503 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
/proc/28056/statm: 2749523 45301 3475 1 0 2711181 0
[pid=28056/tid=28109] ppid=28053 vsize=10998092 memory=4951091520830867572 CPUtime=1.43 cores=0,2,4,6
/proc/28056/task/28109/stat : 28109 (java) R 28053 28056 27288 0 -1 4202560 17704 13421 0 0 129 6 5 3 20 0 15 0 227551645 11262046208 45301 33554432000 4194304 4196468 140723539983360 139885827607904 139885839856990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28110] ppid=28053 vsize=10998092 memory=4951091520830867572 CPUtime=0.09 cores=0,2,4,6
/proc/28056/task/28110/stat : 28110 (java) S 28053 28056 27288 0 -1 1077944384 28 13421 0 0 1 0 5 3 20 0 15 0 227551646 11262046208 45301 33554432000 4194304 4196468 140723539983360 139885860019344 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28111] ppid=28053 vsize=10998092 memory=-5153075247754943381 CPUtime=0.09 cores=0,2,4,6
/proc/28056/task/28111/stat : 28111 (java) S 28053 28056 27288 0 -1 1077944384 18 13421 0 0 1 0 5 3 20 0 15 0 227551646 11262046208 45301 33554432000 4194304 4196468 140723539983360 139885745216528 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28112] ppid=28053 vsize=10998092 memory=-7882244265546193839 CPUtime=0.09 cores=0,2,4,6
/proc/28056/task/28112/stat : 28112 (java) S 28053 28056 27288 0 -1 1077944384 187 13421 0 0 1 0 5 3 20 0 15 0 227551646 11262046208 45301 33554432000 4194304 4196468 140723539983360 139885744163728 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28113] ppid=28053 vsize=10998092 memory=119020 CPUtime=0.09 cores=0,2,4,6
/proc/28056/task/28113/stat : 28113 (java) S 28053 28056 27288 0 -1 1077944384 49 13421 0 0 1 0 5 3 20 0 15 0 227551646 11262046208 45301 33554432000 4194304 4196468 140723539983360 139885393402640 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28114] ppid=28053 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28056/task/28114/stat : 28114 (java) S 28053 28056 27288 0 -1 1077944384 53 13421 0 0 1 0 5 3 20 0 15 0 227551648 11262046208 45301 33554432000 4194304 4196468 140723539983360 139885348825456 139885855787650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28115] ppid=28053 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28115/stat : 28115 (java) S 28053 28056 27288 0 -1 1077944384 13 13421 0 0 0 0 5 3 20 0 15 0 227551648 11262046208 45301 33554432000 4194304 4196468 140723539983360 139884668904544 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28116] ppid=28053 vsize=10998092 memory=280345937248736 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28116/stat : 28116 (java) S 28053 28056 27288 0 -1 1077944384 2 13421 0 0 0 0 5 3 20 0 15 0 227551648 11262046208 45301 33554432000 4194304 4196468 140723539983360 139884467577728 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28117] ppid=28053 vsize=10998092 memory=280345937663584 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28117/stat : 28117 (java) S 28053 28056 27288 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 227551651 11262046208 45301 33554432000 4194304 4196468 140723539983360 139884160178000 139885855795099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28118] ppid=28053 vsize=10998092 memory=140175384554721 CPUtime=0.34 cores=0,2,4,6
/proc/28056/task/28118/stat : 28118 (java) S 28053 28056 27288 0 -1 1077944384 1373 13421 0 0 26 0 5 3 20 0 15 0 227551651 11262046208 45301 33554432000 4194304 4196468 140723539983360 139885347773296 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28119] ppid=28053 vsize=10998092 memory=2459137213953 CPUtime=0.26 cores=0,2,4,6
/proc/28056/task/28119/stat : 28119 (java) S 28053 28056 27288 0 -1 1077944384 891 13421 0 0 18 0 5 3 20 0 15 0 227551651 11262046208 45301 33554432000 4194304 4196468 140723539983360 139885346720496 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28120] ppid=28053 vsize=10998092 memory=1128 CPUtime=0.44 cores=0,2,4,6
/proc/28056/task/28120/stat : 28120 (java) S 28053 28056 27288 0 -1 1077944384 1388 13421 0 0 36 0 5 3 20 0 15 0 227551651 11262046208 45301 33554432000 4194304 4196468 140723539983360 139885345667696 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28121] ppid=28053 vsize=10998092 memory=15188 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28121/stat : 28121 (java) S 28053 28056 27288 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 227551651 11262046208 45301 33554432000 4194304 4196468 140723539983360 139883729382112 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28122] ppid=28053 vsize=10998092 memory=4000 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28122/stat : 28122 (java) S 28053 28056 27288 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 227551652 11262046208 45301 33554432000 4194304 4196468 140723539983360 139885344615088 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
Current children cumulated CPU time: 2.35 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/28056/task/28109/stat : 28109 (java) R 28053 28056 27288 0 -1 4202560 206217 13421 0 0 237275 86 5 3 20 0 15 0 227551645 11280941056 885834 33554432000 4194304 4196468 140723539983360 139885827608968 139885447666317 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28110] ppid=28053 vsize=11016544 memory=3543336 CPUtime=7.33 cores=0,2,4,6
/proc/28056/task/28110/stat : 28110 (java) S 28053 28056 27288 0 -1 1077944384 31855 13421 0 0 675 50 5 3 20 0 15 0 227551646 11280941056 885834 33554432000 4194304 4196468 140723539983360 139885860019344 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28111] ppid=28053 vsize=11016544 memory=3543336 CPUtime=7.34 cores=0,2,4,6
/proc/28056/task/28111/stat : 28111 (java) S 28053 28056 27288 0 -1 1077944384 24766 13421 0 0 675 51 5 3 20 0 15 0 227551646 11280941056 885834 33554432000 4194304 4196468 140723539983360 139885745216528 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28112] ppid=28053 vsize=11016544 memory=3541292 CPUtime=7.37 cores=0,2,4,6
/proc/28056/task/28112/stat : 28112 (java) S 28053 28056 27288 0 -1 1077944384 28216 13421 0 0 677 52 5 3 20 0 15 0 227551646 11280941056 885834 33554432000 4194304 4196468 140723539983360 139885744163728 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28113] ppid=28053 vsize=11016544 memory=3543336 CPUtime=7.35 cores=0,2,4,6
/proc/28056/task/28113/stat : 28113 (java) S 28053 28056 27288 0 -1 1077944384 30342 13421 0 0 676 51 5 3 20 0 15 0 227551646 11280941056 885834 33554432000 4194304 4196468 140723539983360 139885393402640 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28114] ppid=28053 vsize=11016544 memory=3872 CPUtime=0.95 cores=0,2,4,6
/proc/28056/task/28114/stat : 28114 (java) S 28053 28056 27288 0 -1 1077944384 26301 13421 0 0 74 13 5 3 20 0 15 0 227551648 11280941056 885834 33554432000 4194304 4196468 140723539983360 139885348825456 139885855787650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28115] ppid=28053 vsize=11016544 memory=14204 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28115/stat : 28115 (java) S 28053 28056 27288 0 -1 1077944384 17 13421 0 0 0 0 5 3 20 0 15 0 227551648 11280941056 885834 33554432000 4194304 4196468 140723539983360 139884668904608 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28116] ppid=28053 vsize=11016544 memory=34632 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28116/stat : 28116 (java) S 28053 28056 27288 0 -1 1077944384 4 13421 0 0 0 0 5 3 20 0 15 0 227551648 11280941056 885834 33554432000 4194304 4196468 140723539983360 139884467577888 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28117] ppid=28053 vsize=11016544 memory=3541288 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28117/stat : 28117 (java) S 28053 28056 27288 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 227551651 11280941056 885834 33554432000 4194304 4196468 140723539983360 139884160178000 139885855795099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28118] ppid=28053 vsize=11016544 memory=3541288 CPUtime=11.89 cores=0,2,4,6
/proc/28056/task/28118/stat : 28118 (java) S 28053 28056 27288 0 -1 1077944384 101622 13421 0 0 1171 10 5 3 20 0 15 0 227551651 11280941056 885834 33554432000 4194304 4196468 140723539983360 139885347773296 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28119] ppid=28053 vsize=11016544 memory=3543336 CPUtime=11.57 cores=0,2,4,6
/proc/28056/task/28119/stat : 28119 (java) S 28053 28056 27288 0 -1 1077944384 95872 13421 0 0 1138 11 5 3 20 0 15 0 227551651 11280941056 885834 33554432000 4194304 4196468 140723539983360 139885346720496 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28120] ppid=28053 vsize=11016544 memory=3543336 CPUtime=3.4 cores=0,2,4,6
/proc/28056/task/28120/stat : 28120 (java) S 28053 28056 27288 0 -1 1077944384 72913 13421 0 0 322 10 5 3 20 0 15 0 227551651 11280941056 885834 33554432000 4194304 4196468 140723539983360 139885345667696 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28121] ppid=28053 vsize=11016544 memory=3543336 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28121/stat : 28121 (java) S 28053 28056 27288 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 227551651 11280941056 885834 33554432000 4194304 4196468 140723539983360 139883729382112 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28122] ppid=28053 vsize=11016544 memory=3346720 CPUtime=1.43 cores=0,2,4,6
/proc/28056/task/28122/stat : 28122 (java) S 28053 28056 27288 0 -1 1077944384 2686 13421 0 0 70 65 5 3 20 0 15 0 227551652 11280941056 885834 33554432000 4194304 4196468 140723539983360 139885344615088 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
Current children cumulated CPU time: 2431.7 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3543336 KiB
[startup+2442.3 s]
/proc/loadavg: 1.79 1.74 1.69 3/216 28221
/proc/meminfo: memFree=6005456/32770624 swapFree=67108496/67108860
[pid=28056] ppid=28053 vsize=11016544 memory=3553580 CPUtime=2492.06 cores=0,2,4,6
/proc/28056/stat : 28056 (java) S 28053 28056 27288 0 -1 1077944320 637851 13421 0 0 248811 387 5 3 20 0 15 0 227551636 11280941056 888395 33554432000 4194304 4196468 140723539983360 140723539965904 139885855776503 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
/proc/28056/statm: 2754136 888395 3537 1 0 2715789 0
[pid=28056/tid=28109] ppid=28053 vsize=11016544 memory=3988 CPUtime=2433.6 cores=0,2,4,6
/proc/28056/task/28109/stat : 28109 (java) R 28053 28056 27288 0 -1 4202560 211077 13421 0 0 243265 87 5 3 20 0 15 0 227551645 11280941056 888395 33554432000 4194304 4196468 140723539983360 139885827610080 139885428427262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28110] ppid=28053 vsize=11016544 memory=3553580 CPUtime=7.41 cores=0,2,4,6
/proc/28056/task/28110/stat : 28110 (java) S 28053 28056 27288 0 -1 1077944384 32801 13421 0 0 683 50 5 3 20 0 15 0 227551646 11280941056 888395 33554432000 4194304 4196468 140723539983360 139885860019344 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28111] ppid=28053 vsize=11016544 memory=3551532 CPUtime=7.42 cores=0,2,4,6
/proc/28056/task/28111/stat : 28111 (java) S 28053 28056 27288 0 -1 1077944384 25136 13421 0 0 683 51 5 3 20 0 15 0 227551646 11280941056 888395 33554432000 4194304 4196468 140723539983360 139885745216528 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28112] ppid=28053 vsize=11016544 memory=3551532 CPUtime=7.45 cores=0,2,4,6
/proc/28056/task/28112/stat : 28112 (java) S 28053 28056 27288 0 -1 1077944384 29414 13421 0 0 685 52 5 3 20 0 15 0 227551646 11280941056 888395 33554432000 4194304 4196468 140723539983360 139885744163728 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28113] ppid=28053 vsize=11016544 memory=3545388 CPUtime=7.44 cores=0,2,4,6
/proc/28056/task/28113/stat : 28113 (java) S 28053 28056 27288 0 -1 1077944384 31201 13421 0 0 684 52 5 3 20 0 15 0 227551646 11280941056 888395 33554432000 4194304 4196468 140723539983360 139885393402640 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28114] ppid=28053 vsize=11016544 memory=3551532 CPUtime=0.95 cores=0,2,4,6
/proc/28056/task/28114/stat : 28114 (java) S 28053 28056 27288 0 -1 1077944384 26615 13421 0 0 74 13 5 3 20 0 15 0 227551648 11280941056 888395 33554432000 4194304 4196468 140723539983360 139885348825456 139885855787650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28115] ppid=28053 vsize=11016544 memory=3553580 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28115/stat : 28115 (java) S 28053 28056 27288 0 -1 1077944384 17 13421 0 0 0 0 5 3 20 0 15 0 227551648 11280941056 888395 33554432000 4194304 4196468 140723539983360 139884668904608 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28116] ppid=28053 vsize=11016544 memory=3553580 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28116/stat : 28116 (java) S 28053 28056 27288 0 -1 1077944384 4 13421 0 0 0 0 5 3 20 0 15 0 227551648 11280941056 888395 33554432000 4194304 4196468 140723539983360 139884467577888 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28117] ppid=28053 vsize=11016544 memory=3553580 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28117/stat : 28117 (java) S 28053 28056 27288 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 227551651 11280941056 888395 33554432000 4194304 4196468 140723539983360 139884160178000 139885855795099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28118] ppid=28053 vsize=11016544 memory=1380 CPUtime=11.92 cores=0,2,4,6
/proc/28056/task/28118/stat : 28118 (java) S 28053 28056 27288 0 -1 1077944384 103241 13421 0 0 1173 11 5 3 20 0 15 0 227551651 11280941056 888395 33554432000 4194304 4196468 140723539983360 139885347773296 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28119] ppid=28053 vsize=11016544 memory=3551532 CPUtime=11.59 cores=0,2,4,6
/proc/28056/task/28119/stat : 28119 (java) S 28053 28056 27288 0 -1 1077944384 98441 13421 0 0 1140 11 5 3 20 0 15 0 227551651 11280941056 888395 33554432000 4194304 4196468 140723539983360 139885346720496 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28120] ppid=28053 vsize=11016544 memory=3553580 CPUtime=3.41 cores=0,2,4,6
/proc/28056/task/28120/stat : 28120 (java) S 28053 28056 27288 0 -1 1077944384 74981 13421 0 0 323 10 5 3 20 0 15 0 227551651 11280941056 888395 33554432000 4194304 4196468 140723539983360 139885345667696 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28121] ppid=28053 vsize=11016544 memory=3553580 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28121/stat : 28121 (java) S 28053 28056 27288 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 227551651 11280941056 888395 33554432000 4194304 4196468 140723539983360 139883729382112 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28122] ppid=28053 vsize=11016544 memory=3553580 CPUtime=1.45 cores=0,2,4,6
/proc/28056/task/28122/stat : 28122 (java) S 28053 28056 27288 0 -1 1077944384 2721 13421 0 0 71 66 5 3 20 0 15 0 227551652 11280941056 888395 33554432000 4194304 4196468 140723539983360 139885344615088 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
Current children cumulated CPU time: 2492.06 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3553580 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2469.9 s]
/proc/loadavg: 1.91 1.78 1.70 3/216 28349
/proc/meminfo: memFree=8712520/32770624 swapFree=67108496/67108860
[pid=28056] ppid=28053 vsize=11016544 memory=3555692 CPUtime=2520.02 cores=0,2,4,6
/proc/28056/stat : 28056 (java) S 28053 28056 27288 0 -1 1077944320 647492 13421 0 0 251605 389 5 3 20 0 15 0 227551636 11280941056 888923 33554432000 4194304 4196468 140723539983360 140723539965904 139885855776503 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
/proc/28056/statm: 2754136 888923 3537 1 0 2715789 0
[pid=28056/tid=28109] ppid=28053 vsize=11016544 memory=3555692 CPUtime=2461.08 cores=0,2,4,6
/proc/28056/task/28109/stat : 28109 (java) R 28053 28056 27288 0 -1 4202560 213565 13421 0 0 246012 88 5 3 20 0 15 0 227551645 11280941056 888923 33554432000 4194304 4196468 140723539983360 139885827610320 139885441223429 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28110] ppid=28053 vsize=11016544 memory=3555692 CPUtime=7.53 cores=0,2,4,6
/proc/28056/task/28110/stat : 28110 (java) S 28053 28056 27288 0 -1 1077944384 33035 13421 0 0 694 51 5 3 20 0 15 0 227551646 11280941056 888923 33554432000 4194304 4196468 140723539983360 139885860019344 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28111] ppid=28053 vsize=11016544 memory=3555628 CPUtime=7.54 cores=0,2,4,6
/proc/28056/task/28111/stat : 28111 (java) S 28053 28056 27288 0 -1 1077944384 26512 13421 0 0 694 52 5 3 20 0 15 0 227551646 11280941056 888923 33554432000 4194304 4196468 140723539983360 139885745216528 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28112] ppid=28053 vsize=11016544 memory=3532780 CPUtime=7.56 cores=0,2,4,6
/proc/28056/task/28112/stat : 28112 (java) S 28053 28056 27288 0 -1 1077944384 30412 13421 0 0 696 52 5 3 20 0 15 0 227551646 11280941056 888923 33554432000 4194304 4196468 140723539983360 139885744163728 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28113] ppid=28053 vsize=11016544 memory=3555692 CPUtime=7.55 cores=0,2,4,6
/proc/28056/task/28113/stat : 28113 (java) S 28053 28056 27288 0 -1 1077944384 31884 13421 0 0 695 52 5 3 20 0 15 0 227551646 11280941056 888923 33554432000 4194304 4196468 140723539983360 139885393402640 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28114] ppid=28053 vsize=11016544 memory=3555692 CPUtime=0.96 cores=0,2,4,6
/proc/28056/task/28114/stat : 28114 (java) S 28053 28056 27288 0 -1 1077944384 26886 13421 0 0 75 13 5 3 20 0 15 0 227551648 11280941056 888923 33554432000 4194304 4196468 140723539983360 139885348825456 139885855787650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28115] ppid=28053 vsize=11016544 memory=3555692 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28115/stat : 28115 (java) S 28053 28056 27288 0 -1 1077944384 17 13421 0 0 0 0 5 3 20 0 15 0 227551648 11280941056 888923 33554432000 4194304 4196468 140723539983360 139884668904608 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28116] ppid=28053 vsize=11016544 memory=3555692 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28116/stat : 28116 (java) S 28053 28056 27288 0 -1 1077944384 4 13421 0 0 0 0 5 3 20 0 15 0 227551648 11280941056 888923 33554432000 4194304 4196468 140723539983360 139884467577888 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28117] ppid=28053 vsize=11016544 memory=3555692 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28117/stat : 28117 (java) S 28053 28056 27288 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 227551651 11280941056 888923 33554432000 4194304 4196468 140723539983360 139884160178000 139885855795099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28118] ppid=28053 vsize=11016544 memory=3555628 CPUtime=11.92 cores=0,2,4,6
/proc/28056/task/28118/stat : 28118 (java) S 28053 28056 27288 0 -1 1077944384 103538 13421 0 0 1173 11 5 3 20 0 15 0 227551651 11280941056 888923 33554432000 4194304 4196468 140723539983360 139885347773296 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28119] ppid=28053 vsize=11016544 memory=3555692 CPUtime=11.6 cores=0,2,4,6
/proc/28056/task/28119/stat : 28119 (java) S 28053 28056 27288 0 -1 1077944384 100929 13421 0 0 1141 11 5 3 20 0 15 0 227551651 11280941056 888923 33554432000 4194304 4196468 140723539983360 139885346720496 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28120] ppid=28053 vsize=11016544 memory=3555692 CPUtime=3.42 cores=0,2,4,6
/proc/28056/task/28120/stat : 28120 (java) S 28053 28056 27288 0 -1 1077944384 75761 13421 0 0 324 10 5 3 20 0 15 0 227551651 11280941056 888923 33554432000 4194304 4196468 140723539983360 139885345667696 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28121] ppid=28053 vsize=11016544 memory=3872 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28121/stat : 28121 (java) S 28053 28056 27288 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 227551651 11280941056 888923 33554432000 4194304 4196468 140723539983360 139883729382112 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28122] ppid=28053 vsize=11016544 memory=6791534058613427641 CPUtime=1.47 cores=0,2,4,6
/proc/28056/task/28122/stat : 28122 (java) S 28053 28056 27288 0 -1 1077944384 2747 13421 0 0 72 67 5 3 20 0 15 0 227551652 11280941056 888923 33554432000 4194304 4196468 140723539983360 139885344615088 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3555692 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2469.96 s]
# the end of solver process 28056 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.13 s, system=3.95765 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2469.9 s]
/proc/loadavg: 1.91 1.78 1.70 3/216 28349
/proc/meminfo: memFree=8712520/32770624 swapFree=67108496/67108860
[pid=28056] ppid=28053 vsize=11016544 memory=3555692 CPUtime=2520.02 cores=0,2,4,6
/proc/28056/stat : 28056 (java) S 28053 28056 27288 0 -1 1077944320 647492 13421 0 0 251605 389 5 3 20 0 15 0 227551636 11280941056 888923 33554432000 4194304 4196468 140723539983360 140723539965904 139885855776503 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
/proc/28056/statm: 2754136 888923 3537 1 0 2715789 0
[pid=28056/tid=28109] ppid=28053 vsize=11016544 memory=3555692 CPUtime=2461.08 cores=0,2,4,6
/proc/28056/task/28109/stat : 28109 (java) R 28053 28056 27288 0 -1 4202560 213565 13421 0 0 246012 88 5 3 20 0 15 0 227551645 11280941056 888923 33554432000 4194304 4196468 140723539983360 139885827610320 139885441223429 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28110] ppid=28053 vsize=11016544 memory=3555692 CPUtime=7.53 cores=0,2,4,6
/proc/28056/task/28110/stat : 28110 (java) S 28053 28056 27288 0 -1 1077944384 33035 13421 0 0 694 51 5 3 20 0 15 0 227551646 11280941056 888923 33554432000 4194304 4196468 140723539983360 139885860019344 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28111] ppid=28053 vsize=11016544 memory=3555628 CPUtime=7.54 cores=0,2,4,6
/proc/28056/task/28111/stat : 28111 (java) S 28053 28056 27288 0 -1 1077944384 26512 13421 0 0 694 52 5 3 20 0 15 0 227551646 11280941056 888923 33554432000 4194304 4196468 140723539983360 139885745216528 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28112] ppid=28053 vsize=11016544 memory=3532780 CPUtime=7.56 cores=0,2,4,6
/proc/28056/task/28112/stat : 28112 (java) S 28053 28056 27288 0 -1 1077944384 30412 13421 0 0 696 52 5 3 20 0 15 0 227551646 11280941056 888923 33554432000 4194304 4196468 140723539983360 139885744163728 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28113] ppid=28053 vsize=11016544 memory=3555692 CPUtime=7.55 cores=0,2,4,6
/proc/28056/task/28113/stat : 28113 (java) S 28053 28056 27288 0 -1 1077944384 31884 13421 0 0 695 52 5 3 20 0 15 0 227551646 11280941056 888923 33554432000 4194304 4196468 140723539983360 139885393402640 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28114] ppid=28053 vsize=11016544 memory=3555692 CPUtime=0.96 cores=0,2,4,6
/proc/28056/task/28114/stat : 28114 (java) S 28053 28056 27288 0 -1 1077944384 26886 13421 0 0 75 13 5 3 20 0 15 0 227551648 11280941056 888923 33554432000 4194304 4196468 140723539983360 139885348825456 139885855787650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28115] ppid=28053 vsize=11016544 memory=3555692 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28115/stat : 28115 (java) S 28053 28056 27288 0 -1 1077944384 17 13421 0 0 0 0 5 3 20 0 15 0 227551648 11280941056 888923 33554432000 4194304 4196468 140723539983360 139884668904608 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28116] ppid=28053 vsize=11016544 memory=3555692 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28116/stat : 28116 (java) S 28053 28056 27288 0 -1 1077944384 4 13421 0 0 0 0 5 3 20 0 15 0 227551648 11280941056 888923 33554432000 4194304 4196468 140723539983360 139884467577888 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28117] ppid=28053 vsize=11016544 memory=3555692 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28117/stat : 28117 (java) S 28053 28056 27288 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 227551651 11280941056 888923 33554432000 4194304 4196468 140723539983360 139884160178000 139885855795099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28118] ppid=28053 vsize=11016544 memory=3555628 CPUtime=11.92 cores=0,2,4,6
/proc/28056/task/28118/stat : 28118 (java) S 28053 28056 27288 0 -1 1077944384 103538 13421 0 0 1173 11 5 3 20 0 15 0 227551651 11280941056 888923 33554432000 4194304 4196468 140723539983360 139885347773296 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28119] ppid=28053 vsize=11016544 memory=3555692 CPUtime=11.6 cores=0,2,4,6
/proc/28056/task/28119/stat : 28119 (java) S 28053 28056 27288 0 -1 1077944384 100929 13421 0 0 1141 11 5 3 20 0 15 0 227551651 11280941056 888923 33554432000 4194304 4196468 140723539983360 139885346720496 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28120] ppid=28053 vsize=11016544 memory=3555692 CPUtime=3.42 cores=0,2,4,6
/proc/28056/task/28120/stat : 28120 (java) S 28053 28056 27288 0 -1 1077944384 75761 13421 0 0 324 10 5 3 20 0 15 0 227551651 11280941056 888923 33554432000 4194304 4196468 140723539983360 139885345667696 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28121] ppid=28053 vsize=11016544 memory=3872 CPUtime=0.08 cores=0,2,4,6
/proc/28056/task/28121/stat : 28121 (java) S 28053 28056 27288 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 227551651 11280941056 888923 33554432000 4194304 4196468 140723539983360 139883729382112 139885855786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
[pid=28056/tid=28122] ppid=28053 vsize=11016544 memory=6791534058613427641 CPUtime=1.47 cores=0,2,4,6
/proc/28056/task/28122/stat : 28122 (java) S 28053 28056 27288 0 -1 1077944384 2747 13421 0 0 72 67 5 3 20 0 15 0 227551652 11280941056 888923 33554432000 4194304 4196468 140723539983360 139885344615088 139885855787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38621184 140723539987044 140723539989852 140723539989852 140723539992527 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3555692 KiB
Child status: 143
Real time (s): 2469.96
CPU time (s): 2520.09
CPU user time (s): 2516.13
CPU system time (s): 3.95765
CPU usage (%): 102.029
Max. virtual memory (cumulated for all children) (KiB): 11016544
Max. memory (cumulated for all children) (KiB): 3555692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.13
system time used= 3.95765
maximum resident set size= 3559920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 662546
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77088
involuntary context switches= 3437
# summary of solver processes directly reported to runsolver:
# pid: 28056
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.13
# total CPU system time (s): 3.95765
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0995 second user time and 23.6104 second system time
The end