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 (4944 MiB free)
memory of node 1: 16384 MiB (13938 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299044-1532790969/watcher-4299044-1532790969 -o /tmp/evaluation-result-4299044-1532790969/solver-4299044-1532790969 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532776007-24589 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299044-1532790969.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=26239, runsolver pid=26236
[startup+0.1003 s]*
/proc/loadavg: 1.88 1.49 1.41 3/215 26254
/proc/meminfo: memFree=19319488/32770624 swapFree=67108688/67108860
[pid=26239] ppid=26236 vsize=10661052 memory=27400 CPUtime=0.12 cores=1,3,5,7
/proc/26239/stat : 26239 (java) S 26236 26239 24557 0 -1 1077944320 5255 0 0 0 11 1 0 0 20 0 15 0 96659752 10916917248 6850 33554432000 4194304 4196468 140723887435808 140723887418352 140588156223223 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
/proc/26239/statm: 2665263 6850 2830 1 0 2627263 0
[pid=26239/tid=26241] ppid=26236 vsize=10661052 memory=-8269626465541592447 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26241/stat : 26241 (java) R 26236 26239 24557 0 -1 4202560 3125 0 0 0 8 0 0 0 20 0 15 0 96659753 10916917248 6850 33554432000 4194304 4196468 140723887435808 140588160448944 140588140266853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26242] ppid=26236 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26242/stat : 26242 (java) S 26236 26239 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96659754 10916917248 6850 33554432000 4194304 4196468 140723887435808 140588108843280 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26243] ppid=26236 vsize=10661052 memory=140292600964736 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26243/stat : 26243 (java) S 26236 26239 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96659754 10916917248 6850 33554432000 4194304 4196468 140723887435808 140588107790736 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26244] ppid=26236 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26244/stat : 26244 (java) S 26236 26239 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96659754 10916917248 6850 33554432000 4194304 4196468 140723887435808 140588106738192 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26245] ppid=26236 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26245/stat : 26245 (java) S 26236 26239 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96659754 10916917248 6850 33554432000 4194304 4196468 140723887435808 140588105685648 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26246] ppid=26236 vsize=10661052 memory=140292600964736 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26246/stat : 26246 (java) S 26236 26239 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96659755 10916917248 6850 33554432000 4194304 4196468 140723887435808 140587715856880 140588156234370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26247] ppid=26236 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26247/stat : 26247 (java) S 26236 26239 24557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96659755 10916917248 6850 33554432000 4194304 4196468 140723887435808 140587714803104 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26248] ppid=26236 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26248/stat : 26248 (java) S 26236 26239 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96659756 10916917248 6850 33554432000 4194304 4196468 140723887435808 140587713750512 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26249] ppid=26236 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26249/stat : 26249 (java) S 26236 26239 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96659758 10916917248 6850 33554432000 4194304 4196468 140723887435808 140587712699088 140588156241819 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26250] ppid=26236 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26250/stat : 26250 (java) R 26236 26239 24557 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 15 0 96659758 10916917248 6850 33554432000 4194304 4196468 140723887435808 140587711645680 140588156234370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26251] ppid=26236 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26251/stat : 26251 (java) S 26236 26239 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96659758 10916917248 6850 33554432000 4194304 4196468 140723887435808 140587710593136 140588156234370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26252] ppid=26236 vsize=10661052 memory=140292600964736 CPUtime=0.01 cores=1,3,5,7
/proc/26239/task/26252/stat : 26252 (java) R 26236 26239 24557 0 -1 4202560 321 0 0 0 1 0 0 0 20 0 15 0 96659758 10916917248 6850 33554432000 4194304 4196468 140723887435808 140587709540592 140588135161310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26253] ppid=26236 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26253/stat : 26253 (java) S 26236 26239 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96659758 10916917248 6850 33554432000 4194304 4196468 140723887435808 140587708488288 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26254] ppid=26236 vsize=10661052 memory=140292600964736 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26254/stat : 26254 (java) S 26236 26239 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96659758 10916917248 6850 33554432000 4194304 4196468 140723887435808 140587707435824 140588156234370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 27400 KiB
[startup+0.210451 s]*
/proc/loadavg: 1.88 1.49 1.41 4/215 26254
/proc/meminfo: memFree=19307460/32770624 swapFree=67108688/67108860
[pid=26239] ppid=26236 vsize=10661052 memory=40168 CPUtime=0.34 cores=1,3,5,7
/proc/26239/stat : 26239 (java) S 26236 26239 24557 0 -1 1077944320 8167 0 0 0 32 2 0 0 20 0 15 0 96659752 10916917248 10042 33554432000 4194304 4196468 140723887435808 140723887418352 140588156223223 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
/proc/26239/statm: 2665263 10042 2987 1 0 2627263 0
[pid=26239/tid=26241] ppid=26236 vsize=10661052 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/26239/task/26241/stat : 26241 (java) R 26236 26239 24557 0 -1 4202560 5098 0 0 0 18 1 0 0 20 0 15 0 96659753 10916917248 10042 33554432000 4194304 4196468 140723887435808 140588160461664 140587785393608 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26242] ppid=26236 vsize=10661052 memory=343 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26242/stat : 26242 (java) S 26236 26239 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96659754 10916917248 10042 33554432000 4194304 4196468 140723887435808 140588108843280 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26243] ppid=26236 vsize=10661052 memory=140292601510764 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26243/stat : 26243 (java) S 26236 26239 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96659754 10916917248 10042 33554432000 4194304 4196468 140723887435808 140588107790736 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26244] ppid=26236 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26244/stat : 26244 (java) S 26236 26239 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96659754 10916917248 10042 33554432000 4194304 4196468 140723887435808 140588106738192 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26245] ppid=26236 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26245/stat : 26245 (java) S 26236 26239 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96659754 10916917248 10042 33554432000 4194304 4196468 140723887435808 140588105685648 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26246] ppid=26236 vsize=10661052 memory=140292600964736 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26246/stat : 26246 (java) S 26236 26239 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96659755 10916917248 10042 33554432000 4194304 4196468 140723887435808 140587715856880 140588156234370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26247] ppid=26236 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26247/stat : 26247 (java) S 26236 26239 24557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96659755 10916917248 10042 33554432000 4194304 4196468 140723887435808 140587714803104 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26248] ppid=26236 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26248/stat : 26248 (java) S 26236 26239 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96659756 10916917248 10042 33554432000 4194304 4196468 140723887435808 140587713750512 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26249] ppid=26236 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26249/stat : 26249 (java) S 26236 26239 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96659758 10916917248 10042 33554432000 4194304 4196468 140723887435808 140587712699088 140588156241819 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26250] ppid=26236 vsize=10661052 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26239/task/26250/stat : 26250 (java) R 26236 26239 24557 0 -1 4202560 696 0 0 0 3 0 0 0 20 0 15 0 96659758 10916917248 10042 33554432000 4194304 4196468 140723887435808 140587711637136 140588156244570 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26251] ppid=26236 vsize=10661052 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/26239/task/26251/stat : 26251 (java) R 26236 26239 24557 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 15 0 96659758 10916917248 10042 33554432000 4194304 4196468 140723887435808 140587710593232 140588156233429 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26252] ppid=26236 vsize=10661052 memory=140292600964736 CPUtime=0.08 cores=1,3,5,7
/proc/26239/task/26252/stat : 26252 (java) R 26236 26239 24557 0 -1 4202560 906 0 0 0 8 0 0 0 20 0 15 0 96659758 10916917248 10042 33554432000 4194304 4196468 140723887435808 140587709537528 140588156235158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26253] ppid=26236 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26253/stat : 26253 (java) S 26236 26239 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96659758 10916917248 10042 33554432000 4194304 4196468 140723887435808 140587708488288 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26254] ppid=26236 vsize=10661052 memory=140292600964736 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26254/stat : 26254 (java) S 26236 26239 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96659758 10916917248 10042 33554432000 4194304 4196468 140723887435808 140587707435824 140588156234370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 40168 KiB
[startup+0.310434 s]*
/proc/loadavg: 1.88 1.49 1.41 8/215 26254
/proc/meminfo: memFree=19302188/32770624 swapFree=67108688/67108860
[pid=26239] ppid=26236 vsize=10661128 memory=44536 CPUtime=0.56 cores=1,3,5,7
/proc/26239/stat : 26239 (java) S 26236 26239 24557 0 -1 1077944320 8817 0 0 0 54 2 0 0 20 0 15 0 96659752 10916995072 11134 33554432000 4194304 4196468 140723887435808 140723887418352 140588156223223 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
/proc/26239/statm: 2665282 11134 3047 1 0 2627263 0
[pid=26239/tid=26241] ppid=26236 vsize=10661128 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/26239/task/26241/stat : 26241 (java) R 26236 26239 24557 0 -1 4202560 5473 0 0 0 27 2 0 0 20 0 15 0 96659753 10916995072 11134 33554432000 4194304 4196468 140723887435808 140588160459344 140587785405798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26242] ppid=26236 vsize=10661128 memory=4294979917 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26242/stat : 26242 (java) S 26236 26239 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96659754 10916995072 11134 33554432000 4194304 4196468 140723887435808 140588108843280 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26243] ppid=26236 vsize=10661128 memory=140292601504814 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26243/stat : 26243 (java) S 26236 26239 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96659754 10916995072 11134 33554432000 4194304 4196468 140723887435808 140588107790736 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26244] ppid=26236 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26244/stat : 26244 (java) S 26236 26239 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96659754 10916995072 11134 33554432000 4194304 4196468 140723887435808 140588106738192 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26245] ppid=26236 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26245/stat : 26245 (java) S 26236 26239 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96659754 10916995072 11134 33554432000 4194304 4196468 140723887435808 140588105685648 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26246] ppid=26236 vsize=10661128 memory=140292600964736 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26246/stat : 26246 (java) S 26236 26239 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96659755 10916995072 11134 33554432000 4194304 4196468 140723887435808 140587715856880 140588156234370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26247] ppid=26236 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26247/stat : 26247 (java) S 26236 26239 24557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96659755 10916995072 11134 33554432000 4194304 4196468 140723887435808 140587714803104 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26248] ppid=26236 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26248/stat : 26248 (java) S 26236 26239 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96659756 10916995072 11134 33554432000 4194304 4196468 140723887435808 140587713750512 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26249] ppid=26236 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26249/stat : 26249 (java) S 26236 26239 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96659758 10916995072 11134 33554432000 4194304 4196468 140723887435808 140587712699088 140588156241819 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26250] ppid=26236 vsize=10661128 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/26239/task/26250/stat : 26250 (java) R 26236 26239 24557 0 -1 4202560 824 0 0 0 6 0 0 0 20 0 15 0 96659758 10916995072 11134 33554432000 4194304 4196468 140723887435808 140587711645776 140588140614668 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26251] ppid=26236 vsize=10661128 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/26239/task/26251/stat : 26251 (java) R 26236 26239 24557 0 -1 1077944384 126 0 0 0 3 0 0 0 20 0 15 0 96659758 10916995072 11134 33554432000 4194304 4196468 140723887435808 140587710579920 140588156233429 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26252] ppid=26236 vsize=10661128 memory=140292600964736 CPUtime=0.15 cores=1,3,5,7
/proc/26239/task/26252/stat : 26252 (java) R 26236 26239 24557 0 -1 4202560 1025 0 0 0 15 0 0 0 20 0 15 0 96659758 10916995072 11134 33554432000 4194304 4196468 140723887435808 140587709538552 140588137808340 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26253] ppid=26236 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26253/stat : 26253 (java) S 26236 26239 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96659758 10916995072 11134 33554432000 4194304 4196468 140723887435808 140587708488288 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26254] ppid=26236 vsize=10661128 memory=140292600964736 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26254/stat : 26254 (java) S 26236 26239 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96659758 10916995072 11134 33554432000 4194304 4196468 140723887435808 140587707435824 140588156234370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 44536 KiB
[startup+0.540967 s]
# the end of solver process 26239 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.22093 s, system=0.036998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.414521 s]*
/proc/loadavg: 1.88 1.49 1.41 8/215 26254
/proc/meminfo: memFree=19291888/32770624 swapFree=67108688/67108860
[pid=26239] ppid=26236 vsize=10661128 memory=58184 CPUtime=0.92 cores=1,3,5,7
/proc/26239/stat : 26239 (java) S 26236 26239 24557 0 -1 1077944320 9562 0 0 0 89 3 0 0 20 0 15 0 96659752 10916995072 14546 33554432000 4194304 4196468 140723887435808 140723887418352 140588156223223 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
/proc/26239/statm: 2665282 14546 3088 1 0 2627263 0
[pid=26239/tid=26241] ppid=26236 vsize=10661128 memory=7022364594140610616 CPUtime=0.39 cores=1,3,5,7
/proc/26239/task/26241/stat : 26241 (java) R 26236 26239 24557 0 -1 4202560 5600 0 0 0 37 2 0 0 20 0 15 0 96659753 10916995072 14546 33554432000 4194304 4196468 140723887435808 140588160448224 140587785333902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26242] ppid=26236 vsize=10661128 memory=343 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26242/stat : 26242 (java) S 26236 26239 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96659754 10916995072 14546 33554432000 4194304 4196468 140723887435808 140588108843280 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26243] ppid=26236 vsize=10661128 memory=140292601510764 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26243/stat : 26243 (java) S 26236 26239 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96659754 10916995072 14546 33554432000 4194304 4196468 140723887435808 140588107790736 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26244] ppid=26236 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26244/stat : 26244 (java) S 26236 26239 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96659754 10916995072 14546 33554432000 4194304 4196468 140723887435808 140588106738192 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26245] ppid=26236 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26245/stat : 26245 (java) S 26236 26239 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96659754 10916995072 14546 33554432000 4194304 4196468 140723887435808 140588105685648 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26246] ppid=26236 vsize=10661128 memory=140292600964736 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26246/stat : 26246 (java) S 26236 26239 24557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96659755 10916995072 14612 33554432000 4194304 4196468 140723887435808 140587715856880 140588156234370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26247] ppid=26236 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26247/stat : 26247 (java) S 26236 26239 24557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96659755 10916995072 14612 33554432000 4194304 4196468 140723887435808 140587714803104 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26248] ppid=26236 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26248/stat : 26248 (java) S 26236 26239 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96659756 10916995072 14612 33554432000 4194304 4196468 140723887435808 140587713750512 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26249] ppid=26236 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26249/stat : 26249 (java) S 26236 26239 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96659758 10916995072 14612 33554432000 4194304 4196468 140723887435808 140587712699088 140588156241819 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26250] ppid=26236 vsize=10661128 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/26239/task/26250/stat : 26250 (java) R 26236 26239 24557 0 -1 4202560 1000 0 0 0 14 0 0 0 20 0 15 0 96659758 10916995072 14612 33554432000 4194304 4196468 140723887435808 140587711626696 140588148512672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26251] ppid=26236 vsize=10661128 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/26239/task/26251/stat : 26251 (java) R 26236 26239 24557 0 -1 1077944384 280 0 0 0 12 0 0 0 20 0 15 0 96659758 10916995072 14612 33554432000 4194304 4196468 140723887435808 140587710593136 140588156234370 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26252] ppid=26236 vsize=10661128 memory=140292600964736 CPUtime=0.23 cores=1,3,5,7
/proc/26239/task/26252/stat : 26252 (java) S 26236 26239 24557 0 -1 1077944384 1314 0 0 0 23 0 0 0 20 0 15 0 96659758 10916995072 14612 33554432000 4194304 4196468 140723887435808 140587709540592 140588156234370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26253] ppid=26236 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26253/stat : 26253 (java) S 26236 26239 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96659758 10916995072 14612 33554432000 4194304 4196468 140723887435808 140587708488288 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26254] ppid=26236 vsize=10661128 memory=140292600964736 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26254/stat : 26254 (java) S 26236 26239 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96659758 10916995072 14612 33554432000 4194304 4196468 140723887435808 140587707435824 140588156234370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
Current children cumulated CPU time: 0.92 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 58184 KiB
[startup+0.511323 s]*
/proc/loadavg: 1.88 1.49 1.41 6/215 26254
/proc/meminfo: memFree=19283512/32770624 swapFree=67108688/67108860
[pid=26239] ppid=26236 vsize=10661128 memory=63852 CPUtime=1.22 cores=1,3,5,7
/proc/26239/stat : 26239 (java) S 26236 26239 24557 0 -1 1077944320 9937 0 0 0 119 3 0 0 20 0 15 0 96659752 10916995072 15963 33554432000 4194304 4196468 140723887435808 140723887418352 140588156223223 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
/proc/26239/statm: 2665282 15963 3096 1 0 2627263 0
[pid=26239/tid=26241] ppid=26236 vsize=10661128 memory=6791534058613427641 CPUtime=0.48 cores=1,3,5,7
/proc/26239/task/26241/stat : 26241 (java) R 26236 26239 24557 0 -1 4202560 5636 0 0 0 46 2 0 0 20 0 15 0 96659753 10916995072 15963 33554432000 4194304 4196468 140723887435808 140588160460480 140588140303710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26242] ppid=26236 vsize=10661128 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26242/stat : 26242 (java) S 26236 26239 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96659754 10916995072 15963 33554432000 4194304 4196468 140723887435808 140588108843280 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26243] ppid=26236 vsize=10661128 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26243/stat : 26243 (java) S 26236 26239 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96659754 10916995072 15963 33554432000 4194304 4196468 140723887435808 140588107790736 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26244] ppid=26236 vsize=10661128 memory=912 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26244/stat : 26244 (java) S 26236 26239 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96659754 10916995072 15963 33554432000 4194304 4196468 140723887435808 140588106738192 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26245] ppid=26236 vsize=10661128 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26245/stat : 26245 (java) S 26236 26239 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96659754 10916995072 15963 33554432000 4194304 4196468 140723887435808 140588105685648 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26246] ppid=26236 vsize=10661128 memory=2684 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26246/stat : 26246 (java) S 26236 26239 24557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96659755 10916995072 15963 33554432000 4194304 4196468 140723887435808 140587715856880 140588156234370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26247] ppid=26236 vsize=10661128 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26247/stat : 26247 (java) S 26236 26239 24557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96659755 10916995072 15963 33554432000 4194304 4196468 140723887435808 140587714803104 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26248] ppid=26236 vsize=10661128 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26248/stat : 26248 (java) S 26236 26239 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96659756 10916995072 15963 33554432000 4194304 4196468 140723887435808 140587713750512 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26249] ppid=26236 vsize=10661128 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26249/stat : 26249 (java) S 26236 26239 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96659758 10916995072 15963 33554432000 4194304 4196468 140723887435808 140587712699088 140588156241819 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26250] ppid=26236 vsize=10661128 memory=2680 CPUtime=0.23 cores=1,3,5,7
/proc/26239/task/26250/stat : 26250 (java) R 26236 26239 24557 0 -1 4202560 1131 0 0 0 23 0 0 0 20 0 15 0 96659758 10916995072 15963 33554432000 4194304 4196468 140723887435808 140587711638704 140588156244570 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26251] ppid=26236 vsize=10661128 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/26239/task/26251/stat : 26251 (java) R 26236 26239 24557 0 -1 4202560 416 0 0 0 20 0 0 0 20 0 15 0 96659758 10916995072 15963 33554432000 4194304 4196468 140723887435808 140587710584136 140588133904386 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26252] ppid=26236 vsize=10661128 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/26239/task/26252/stat : 26252 (java) R 26236 26239 24557 0 -1 1077944384 1387 0 0 0 28 0 0 0 20 0 15 0 96659758 10916995072 15963 33554432000 4194304 4196468 140723887435808 140587709538384 140588156233429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26253] ppid=26236 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26253/stat : 26253 (java) S 26236 26239 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96659758 10916995072 15963 33554432000 4194304 4196468 140723887435808 140587708488288 140588156233429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
[pid=26239/tid=26254] ppid=26236 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26239/task/26254/stat : 26254 (java) S 26236 26239 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96659758 10916995072 15963 33554432000 4194304 4196468 140723887435808 140587707435824 140588156234370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34414592 140723887441069 140723887441161 140723887441161 140723887443919 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 63852 KiB
Child status: 0
Real time (s): 0.541022
CPU time (s): 1.25793
CPU user time (s): 1.22093
CPU system time (s): 0.036998
CPU usage (%): 232.51
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 63852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.22093
system time used= 0.036998
maximum resident set size= 66568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10020
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= 1206
involuntary context switches= 8
# summary of solver processes directly reported to runsolver:
# pid: 26239
# total CPU time (s): 1.25793
# total CPU user time (s): 1.22093
# total CPU system time (s): 0.036998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027563 second user time and 0.04618 second system time
The end