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 (8876 MiB free)
memory of node 1: 16384 MiB (13920 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299319-1532792018/watcher-4299319-1532792018 -o /tmp/evaluation-result-4299319-1532792018/solver-4299319-1532792018 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532774598-23261 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299319-1532792018.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26145, runsolver pid=26142
[startup+0.100059 s]*
/proc/loadavg: 2.25 1.73 1.85 4/215 26160
/proc/meminfo: memFree=23328272/32770624 swapFree=67108532/67108860
[pid=26145] ppid=26142 vsize=10661052 memory=27524 CPUtime=0.12 cores=1,3,5,7
/proc/26145/stat : 26145 (java) S 26142 26145 23229 0 -1 1077944320 5266 0 0 0 11 1 0 0 20 0 15 0 96764941 10916917248 6881 33554432000 4194304 4196468 140730613052432 140730613034976 140199273492215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
/proc/26145/statm: 2665263 6881 2838 1 0 2627263 0
[pid=26145/tid=26147] ppid=26142 vsize=10661052 memory=-8269626465541329790 CPUtime=0.09 cores=1,3,5,7
/proc/26145/task/26147/stat : 26147 (java) R 26142 26145 23229 0 -1 4202560 3157 0 0 0 9 0 0 0 20 0 15 0 96764942 10916917248 6881 33554432000 4194304 4196468 140730613052432 140199277720216 140199265808720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26148] ppid=26142 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26148/stat : 26148 (java) S 26142 26145 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96764942 10916917248 6881 33554432000 4194304 4196468 140730613052432 140199210183696 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26149] ppid=26142 vsize=10661052 memory=140622140249728 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26149/stat : 26149 (java) S 26142 26145 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96764942 10916917248 6881 33554432000 4194304 4196468 140730613052432 140198878768272 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26150] ppid=26142 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26150/stat : 26150 (java) S 26142 26145 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96764942 10916917248 6881 33554432000 4194304 4196468 140730613052432 140198877715216 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26151] ppid=26142 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26151/stat : 26151 (java) S 26142 26145 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96764942 10916917248 6881 33554432000 4194304 4196468 140730613052432 140198876662672 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26152] ppid=26142 vsize=10661052 memory=140622140249728 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26152/stat : 26152 (java) S 26142 26145 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96764944 10916917248 6881 33554432000 4194304 4196468 140730613052432 140198765394160 140199273503362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26153] ppid=26142 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26153/stat : 26153 (java) S 26142 26145 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96764944 10916917248 6881 33554432000 4194304 4196468 140730613052432 140198764340384 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26154] ppid=26142 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26154/stat : 26154 (java) S 26142 26145 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96764944 10916917248 6881 33554432000 4194304 4196468 140730613052432 140198763287280 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26155] ppid=26142 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26155/stat : 26155 (java) S 26142 26145 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96764947 10916917248 6881 33554432000 4194304 4196468 140730613052432 140198762235856 140199273510811 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26156] ppid=26142 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26156/stat : 26156 (java) R 26142 26145 23229 0 -1 4202560 460 0 0 0 0 0 0 0 20 0 15 0 96764947 10916917248 6881 33554432000 4194304 4196468 140730613052432 140198761175632 140199256927953 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26157] ppid=26142 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26157/stat : 26157 (java) S 26142 26145 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96764947 10916917248 6947 33554432000 4194304 4196468 140730613052432 140198760131440 140199273503362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26158] ppid=26142 vsize=10661052 memory=140622140249728 CPUtime=0.01 cores=1,3,5,7
/proc/26145/task/26158/stat : 26158 (java) R 26142 26145 23229 0 -1 4202560 296 0 0 0 1 0 0 0 20 0 15 0 96764947 10916917248 6947 33554432000 4194304 4196468 140730613052432 140198759075288 140199251858604 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26159] ppid=26142 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26159/stat : 26159 (java) S 26142 26145 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96764947 10916917248 6947 33554432000 4194304 4196468 140730613052432 140198758026080 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26160] ppid=26142 vsize=10661052 memory=140622140249728 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26160/stat : 26160 (java) S 26142 26145 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96764947 10916917248 6947 33554432000 4194304 4196468 140730613052432 140198756973104 140199273503362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 27524 KiB
[startup+0.210463 s]*
/proc/loadavg: 2.25 1.73 1.85 6/215 26160
/proc/meminfo: memFree=23316144/32770624 swapFree=67108532/67108860
[pid=26145] ppid=26142 vsize=10661128 memory=40348 CPUtime=0.32 cores=1,3,5,7
/proc/26145/stat : 26145 (java) S 26142 26145 23229 0 -1 1077944320 8139 0 0 0 30 2 0 0 20 0 15 0 96764941 10916995072 10087 33554432000 4194304 4196468 140730613052432 140730613034976 140199273492215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
/proc/26145/statm: 2665282 10087 2974 1 0 2627263 0
[pid=26145/tid=26147] ppid=26142 vsize=10661128 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/26145/task/26147/stat : 26147 (java) R 26142 26145 23229 0 -1 4202560 5232 0 0 0 19 1 0 0 20 0 15 0 96764942 10916995072 10087 33554432000 4194304 4196468 140730613052432 140199277724528 140199257572702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26148] ppid=26142 vsize=10661128 memory=364 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26148/stat : 26148 (java) S 26142 26145 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96764942 10916995072 10087 33554432000 4194304 4196468 140730613052432 140199210183696 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26149] ppid=26142 vsize=10661128 memory=140622140787912 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26149/stat : 26149 (java) S 26142 26145 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96764942 10916995072 10087 33554432000 4194304 4196468 140730613052432 140198878768272 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26150] ppid=26142 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26150/stat : 26150 (java) S 26142 26145 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96764942 10916995072 10087 33554432000 4194304 4196468 140730613052432 140198877715216 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26151] ppid=26142 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26151/stat : 26151 (java) S 26142 26145 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96764942 10916995072 10087 33554432000 4194304 4196468 140730613052432 140198876662672 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26152] ppid=26142 vsize=10661128 memory=140622140249728 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26152/stat : 26152 (java) S 26142 26145 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96764944 10916995072 10087 33554432000 4194304 4196468 140730613052432 140198765394160 140199273503362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26153] ppid=26142 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26153/stat : 26153 (java) S 26142 26145 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96764944 10916995072 10087 33554432000 4194304 4196468 140730613052432 140198764340384 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26154] ppid=26142 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26154/stat : 26154 (java) S 26142 26145 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96764944 10916995072 10087 33554432000 4194304 4196468 140730613052432 140198763287280 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26155] ppid=26142 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26155/stat : 26155 (java) S 26142 26145 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96764947 10916995072 10087 33554432000 4194304 4196468 140730613052432 140198762235856 140199273510811 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26156] ppid=26142 vsize=10661128 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26145/task/26156/stat : 26156 (java) S 26142 26145 23229 0 -1 1077944384 686 0 0 0 1 0 0 0 20 0 15 0 96764947 10916995072 10087 33554432000 4194304 4196468 140730613052432 140198761183984 140199273503362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26157] ppid=26142 vsize=10661128 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26145/task/26157/stat : 26157 (java) S 26142 26145 23229 0 -1 1077944384 128 0 0 0 2 0 0 0 20 0 15 0 96764947 10916995072 10087 33554432000 4194304 4196468 140730613052432 140198760131440 140199273503362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26158] ppid=26142 vsize=10661128 memory=140622140249728 CPUtime=0.06 cores=1,3,5,7
/proc/26145/task/26158/stat : 26158 (java) S 26142 26145 23229 0 -1 1077944384 731 0 0 0 6 0 0 0 20 0 15 0 96764947 10916995072 10087 33554432000 4194304 4196468 140730613052432 140198759078384 140199273503362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26159] ppid=26142 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26159/stat : 26159 (java) S 26142 26145 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96764947 10916995072 10087 33554432000 4194304 4196468 140730613052432 140198758026080 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26160] ppid=26142 vsize=10661128 memory=140622140249728 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26160/stat : 26160 (java) S 26142 26145 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96764947 10916995072 10087 33554432000 4194304 4196468 140730613052432 140198756973104 140199273503362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 40348 KiB
[startup+0.310534 s]*
/proc/loadavg: 2.25 1.73 1.85 6/215 26160
/proc/meminfo: memFree=23310872/32770624 swapFree=67108532/67108860
[pid=26145] ppid=26142 vsize=10661128 memory=45220 CPUtime=0.57 cores=1,3,5,7
/proc/26145/stat : 26145 (java) S 26142 26145 23229 0 -1 1077944320 9035 0 0 0 54 3 0 0 20 0 15 0 96764941 10916995072 11305 33554432000 4194304 4196468 140730613052432 140730613034976 140199273492215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
/proc/26145/statm: 2665282 11305 3050 1 0 2627263 0
[pid=26145/tid=26147] ppid=26142 vsize=10661128 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/26145/task/26147/stat : 26147 (java) R 26142 26145 23229 0 -1 4202560 5654 0 0 0 28 1 0 0 20 0 15 0 96764942 10916995072 11305 33554432000 4194304 4196468 140730613052432 140199277725664 140198891321907 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26148] ppid=26142 vsize=10661128 memory=304556149079015447 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26148/stat : 26148 (java) S 26142 26145 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96764942 10916995072 11305 33554432000 4194304 4196468 140730613052432 140199210183696 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26149] ppid=26142 vsize=10661128 memory=140622140784548 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26149/stat : 26149 (java) S 26142 26145 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96764942 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198878768272 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26150] ppid=26142 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26150/stat : 26150 (java) S 26142 26145 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96764942 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198877715216 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26151] ppid=26142 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26151/stat : 26151 (java) S 26142 26145 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96764942 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198876662672 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26152] ppid=26142 vsize=10661128 memory=140622140249728 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26152/stat : 26152 (java) S 26142 26145 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96764944 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198765394160 140199273503362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26153] ppid=26142 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26153/stat : 26153 (java) S 26142 26145 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96764944 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198764340384 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26154] ppid=26142 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26154/stat : 26154 (java) S 26142 26145 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96764944 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198763287280 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26155] ppid=26142 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26155/stat : 26155 (java) S 26142 26145 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96764947 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198762235856 140199273510811 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26156] ppid=26142 vsize=10661128 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/26145/task/26156/stat : 26156 (java) R 26142 26145 23229 0 -1 4202560 851 0 0 0 5 0 0 0 20 0 15 0 96764947 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198761175440 140199258418788 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26157] ppid=26142 vsize=10661128 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26145/task/26157/stat : 26157 (java) R 26142 26145 23229 0 -1 1077944384 312 0 0 0 7 0 0 0 20 0 15 0 96764947 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198760131440 140199273503362 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26158] ppid=26142 vsize=10661128 memory=140622140249728 CPUtime=0.12 cores=1,3,5,7
/proc/26145/task/26158/stat : 26158 (java) R 26142 26145 23229 0 -1 4202560 851 0 0 0 12 0 0 0 20 0 15 0 96764947 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198759078384 140199266589051 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26159] ppid=26142 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26159/stat : 26159 (java) S 26142 26145 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96764947 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198758026080 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26160] ppid=26142 vsize=10661128 memory=140622140249728 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26160/stat : 26160 (java) S 26142 26145 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96764947 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198756973104 140199273503362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 45220 KiB
[startup+0.351731 s]
# the end of solver process 26145 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.593435 s, system=0.035585 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.310534 s]*
/proc/loadavg: 2.25 1.73 1.85 6/215 26160
/proc/meminfo: memFree=23310872/32770624 swapFree=67108532/67108860
[pid=26145] ppid=26142 vsize=10661128 memory=45220 CPUtime=0.57 cores=1,3,5,7
/proc/26145/stat : 26145 (java) S 26142 26145 23229 0 -1 1077944320 9035 0 0 0 54 3 0 0 20 0 15 0 96764941 10916995072 11305 33554432000 4194304 4196468 140730613052432 140730613034976 140199273492215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
/proc/26145/statm: 2665282 11305 3050 1 0 2627263 0
[pid=26145/tid=26147] ppid=26142 vsize=10661128 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/26145/task/26147/stat : 26147 (java) R 26142 26145 23229 0 -1 4202560 5654 0 0 0 28 1 0 0 20 0 15 0 96764942 10916995072 11305 33554432000 4194304 4196468 140730613052432 140199277725664 140198891321907 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26148] ppid=26142 vsize=10661128 memory=304556149079015447 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26148/stat : 26148 (java) S 26142 26145 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96764942 10916995072 11305 33554432000 4194304 4196468 140730613052432 140199210183696 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26149] ppid=26142 vsize=10661128 memory=140622140784548 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26149/stat : 26149 (java) S 26142 26145 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96764942 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198878768272 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26150] ppid=26142 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26150/stat : 26150 (java) S 26142 26145 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96764942 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198877715216 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26151] ppid=26142 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26151/stat : 26151 (java) S 26142 26145 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96764942 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198876662672 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26152] ppid=26142 vsize=10661128 memory=140622140249728 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26152/stat : 26152 (java) S 26142 26145 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96764944 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198765394160 140199273503362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26153] ppid=26142 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26153/stat : 26153 (java) S 26142 26145 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96764944 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198764340384 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26154] ppid=26142 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26154/stat : 26154 (java) S 26142 26145 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96764944 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198763287280 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26155] ppid=26142 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26155/stat : 26155 (java) S 26142 26145 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96764947 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198762235856 140199273510811 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26156] ppid=26142 vsize=10661128 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/26145/task/26156/stat : 26156 (java) R 26142 26145 23229 0 -1 4202560 851 0 0 0 5 0 0 0 20 0 15 0 96764947 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198761175440 140199258418788 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26157] ppid=26142 vsize=10661128 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26145/task/26157/stat : 26157 (java) R 26142 26145 23229 0 -1 1077944384 312 0 0 0 7 0 0 0 20 0 15 0 96764947 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198760131440 140199273503362 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26158] ppid=26142 vsize=10661128 memory=140622140249728 CPUtime=0.12 cores=1,3,5,7
/proc/26145/task/26158/stat : 26158 (java) R 26142 26145 23229 0 -1 4202560 851 0 0 0 12 0 0 0 20 0 15 0 96764947 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198759078384 140199266589051 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26159] ppid=26142 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26159/stat : 26159 (java) S 26142 26145 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96764947 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198758026080 140199273502421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
[pid=26145/tid=26160] ppid=26142 vsize=10661128 memory=140622140249728 CPUtime=0 cores=1,3,5,7
/proc/26145/task/26160/stat : 26160 (java) S 26142 26145 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96764947 10916995072 11305 33554432000 4194304 4196468 140730613052432 140198756973104 140199273503362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9797632 140730613056685 140730613056777 140730613056777 140730613059535 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 45220 KiB
Child status: 0
Real time (s): 0.351788
CPU time (s): 0.62902
CPU user time (s): 0.593435
CPU system time (s): 0.035585
CPU usage (%): 178.807
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 45220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.593435
system time used= 0.035585
maximum resident set size= 51388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9413
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 982
involuntary context switches= 1
# summary of solver processes directly reported to runsolver:
# pid: 26145
# total CPU time (s): 0.62902
# total CPU user time (s): 0.593435
# total CPU system time (s): 0.035585
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015205 second user time and 0.037507 second system time
The end