0.00/0.00 c
0.00/0.00 c This is cosoco 2.00 --
0.00/0.00 c
0.00/0.00 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408101-1569787980.xml
0.00/0.00 c intension le(add(w[0],x[0]),200) -> extension (support ? 0) - 165tuples
0.00/0.00 c intension le(add(w[1],x[1]),200) -> extension (support ? 0) - 174tuples
0.00/0.00 c intension le(add(w[2],x[2]),200) -> extension (support ? 0) - 63tuples
0.00/0.01 c intension le(add(w[3],x[3]),200) -> extension (support ? 0) - 102tuples
0.00/0.01 c intension le(add(w[4],x[4]),200) -> extension (support ? 0) - 124tuples
0.00/0.01 c intension le(add(w[5],x[5]),200) -> extension (support ? 0) - 140tuples
0.00/0.01 c intension le(add(w[6],x[6]),200) -> extension (support ? 0) - 37tuples
0.00/0.01 c intension le(add(w[7],x[7]),200) -> extension (support ? 0) - 113tuples
0.00/0.01 c intension le(add(w[8],x[8]),200) -> extension (support ? 0) - 35tuples
0.00/0.01 c intension le(add(w[9],x[9]),200) -> extension (support ? 0) - 40tuples
0.00/0.01 c intension le(add(w[10],x[10]),200) -> extension (support ? 0) - 130tuples
0.00/0.01 c intension le(add(w[11],x[11]),200) -> extension (support ? 0) - 107tuples
0.00/0.01 c intension le(add(w[12],x[12]),200) -> extension (support ? 0) - 144tuples
0.00/0.01 c intension le(add(w[13],x[13]),200) -> extension (support ? 0) - 165tuples
0.00/0.01 c intension le(add(w[14],x[14]),200) -> extension (support ? 0) - 46tuples
0.00/0.01 c intension le(add(w[15],x[15]),200) -> extension (support ? 0) - 23tuples
0.00/0.01 c intension le(add(w[16],x[16]),200) -> extension (support ? 0) - 113tuples
0.00/0.02 c intension le(add(h[0],y[0]),200) -> extension (support ? 0) - 165tuples
0.00/0.02 c intension le(add(h[1],y[1]),200) -> extension (support ? 0) - 174tuples
0.00/0.02 c intension le(add(h[2],y[2]),200) -> extension (support ? 0) - 63tuples
0.00/0.02 c intension le(add(h[3],y[3]),200) -> extension (support ? 0) - 102tuples
0.00/0.02 c intension le(add(h[4],y[4]),200) -> extension (support ? 0) - 124tuples
0.00/0.02 c intension le(add(h[5],y[5]),200) -> extension (support ? 0) - 140tuples
0.00/0.02 c intension le(add(h[6],y[6]),200) -> extension (support ? 0) - 37tuples
0.00/0.02 c intension le(add(h[7],y[7]),200) -> extension (support ? 0) - 113tuples
0.00/0.02 c intension le(add(h[8],y[8]),200) -> extension (support ? 0) - 35tuples
0.00/0.02 c intension le(add(h[9],y[9]),200) -> extension (support ? 0) - 40tuples
0.00/0.02 c intension le(add(h[10],y[10]),200) -> extension (support ? 0) - 130tuples
0.00/0.02 c intension le(add(h[11],y[11]),200) -> extension (support ? 0) - 107tuples
0.00/0.02 c intension le(add(h[12],y[12]),200) -> extension (support ? 0) - 144tuples
0.00/0.03 c intension le(add(h[13],y[13]),200) -> extension (support ? 0) - 165tuples
0.00/0.03 c intension le(add(h[14],y[14]),200) -> extension (support ? 0) - 46tuples
0.00/0.03 c intension le(add(h[15],y[15]),200) -> extension (support ? 0) - 23tuples
0.00/0.03 c intension le(add(h[16],y[16]),200) -> extension (support ? 0) - 113tuples
503.04/503.36 c =========================================================================================================
503.04/503.36 s UNKNOWN
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 (14879 MiB free)
memory of node 1: 16384 MiB (14567 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408101-1569787980/watcher-4408101-1569787980 -o /tmp/evaluation-result-4408101-1569787980/solver-4408101-1569787980 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1569787352-30039 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408101-1569787980.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
Starting watchdog thread
solver pid=30251, runsolver pid=30248
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 2.00 1.72 0.96 3/200 30252
/proc/meminfo: memFree=30151220/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=29888 memory=6148 CPUtime=0.1 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 1711 0 0 0 10 0 0 0 20 0 1 0 554712720 30605312 1537 33554432000 4194304 6211132 140732467125184 140732467121720 140367533407205 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 7472 1537 838 493 0 777 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29888 KiB
Current children cumulated memory: 6148 KiB
[startup+0.209474 s]*
/proc/loadavg: 2.00 1.72 0.96 3/200 30252
/proc/meminfo: memFree=30148988/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=32104 memory=8216 CPUtime=0.21 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 2268 0 0 0 21 0 0 0 20 0 1 0 554712720 32874496 2054 33554432000 4194304 6211132 140732467125184 140732467121720 140367533407205 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 8026 2054 838 493 0 1331 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32104 KiB
Current children cumulated memory: 8216 KiB
[startup+0.308841 s]*
/proc/loadavg: 2.00 1.72 0.96 3/200 30252
/proc/meminfo: memFree=30147128/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=34124 memory=10256 CPUtime=0.31 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 2761 0 0 0 31 0 0 0 20 0 1 0 554712720 34942976 2564 33554432000 4194304 6211132 140732467125184 140732467121720 5443101 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 8531 2564 838 493 0 1836 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34124 KiB
Current children cumulated memory: 10256 KiB
[startup+0.700241 s]
/proc/loadavg: 2.00 1.72 0.96 4/201 30254
/proc/meminfo: memFree=30142808/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=42896 memory=17976 CPUtime=0.69 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 4656 0 0 0 69 0 0 0 20 0 1 0 554712720 43925504 4494 33554432000 4194304 6211132 140732467125184 140732467118328 5440664 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 10724 4494 838 493 0 4029 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42896 KiB
Current children cumulated memory: 17976 KiB
[startup+1.50022 s]
/proc/loadavg: 2.00 1.72 0.96 3/201 30254
/proc/meminfo: memFree=30133064/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=58616 memory=33732 CPUtime=1.49 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 8609 0 0 0 148 1 0 0 20 0 1 0 554712720 60022784 8433 33554432000 4194304 6211132 140732467125184 140732467118328 140367533404746 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 14654 8433 838 493 0 7959 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 58616 KiB
Current children cumulated memory: 33732 KiB
[startup+3.10945 s]
/proc/loadavg: 2.00 1.72 0.97 3/200 30254
/proc/meminfo: memFree=30092196/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=90332 memory=65748 CPUtime=3.1 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 16171 0 0 0 308 2 0 0 20 0 1 0 554712720 92499968 16437 33554432000 4194304 6211132 140732467125184 140732467118328 5451650 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 22583 16437 838 493 0 15888 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 90332 KiB
Current children cumulated memory: 65748 KiB
[startup+6.30023 s]
/proc/loadavg: 2.00 1.72 0.97 3/200 30254
/proc/meminfo: memFree=30029768/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=158500 memory=130984 CPUtime=6.28 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 29964 0 0 0 625 3 0 0 20 0 1 0 554712720 162304000 32746 33554432000 4194304 6211132 140732467125184 140732467118328 5446232 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 39625 32746 838 493 0 32930 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 158500 KiB
Current children cumulated memory: 130984 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 1.73 0.97 3/200 30254
/proc/meminfo: memFree=29911824/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=299900 memory=258680 CPUtime=12.68 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 55779 0 0 0 1261 7 0 0 20 0 1 0 554712720 307097600 64670 33554432000 4194304 6211132 140732467125184 140732467118328 140367543352180 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 74975 64670 838 493 0 68280 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 299900 KiB
Current children cumulated memory: 258680 KiB
[startup+25.5004 s]
/proc/loadavg: 2.15 1.78 1.00 3/200 30255
/proc/meminfo: memFree=29650528/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=594880 memory=514520 CPUtime=25.48 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 105981 0 0 0 2535 13 0 0 20 0 1 0 554712720 609157120 128630 33554432000 4194304 6211132 140732467125184 140732467118328 140367533407205 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 148720 128630 838 493 0 142025 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 594880 KiB
Current children cumulated memory: 514520 KiB
[startup+51.1095 s]
/proc/loadavg: 2.44 1.87 1.05 3/201 30257
/proc/meminfo: memFree=28408624/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=1819692 memory=1748360 CPUtime=51.08 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 339320 0 0 0 5060 48 0 0 20 0 1 0 554712720 1863364608 437090 33554432000 4194304 6211132 140732467125184 140732467118328 140367533407205 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 454923 437090 838 493 0 448228 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 1819692 KiB
Current children cumulated memory: 1748360 KiB
[startup+102.3 s]
/proc/loadavg: 2.36 1.95 1.12 3/200 30261
/proc/meminfo: memFree=26005464/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=4507072 memory=4149304 CPUtime=102.24 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 791385 0 0 0 10113 111 0 0 20 0 1 0 554712720 4615241728 1037326 33554432000 4194304 6211132 140732467125184 140732467118328 140367534333354 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 1126768 1037326 838 493 0 1120073 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 4507072 KiB
Current children cumulated memory: 4149304 KiB
[startup+162.3 s]
/proc/loadavg: 2.13 1.96 1.18 3/200 30265
/proc/meminfo: memFree=24795584/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=5674116 memory=5354168 CPUtime=162.22 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 1018993 0 0 0 16078 144 0 0 20 0 1 0 554712720 5810294784 1338542 33554432000 4194304 6211132 140732467125184 140732467118328 140367533407205 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 1418529 1338542 838 493 0 1411834 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 5674116 KiB
Current children cumulated memory: 5354168 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 1.97 1.23 3/199 30269
/proc/meminfo: memFree=23589448/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=6765172 memory=6561548 CPUtime=222.19 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 1245749 0 0 0 22045 174 0 0 20 0 1 0 554712720 6927536128 1640387 33554432000 4194304 6211132 140732467125184 140732467118328 140367533407205 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 1691293 1640387 838 493 0 1684598 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 6765172 KiB
Current children cumulated memory: 6561548 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 1.97 1.28 3/199 30275
/proc/meminfo: memFree=21636940/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=8856120 memory=8506260 CPUtime=282.16 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 1611347 0 0 0 27982 234 0 0 20 0 1 0 554712720 9068666880 2126565 33554432000 4194304 6211132 140732467125184 140732467118328 140367533407205 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 2214030 2126565 838 493 0 2207335 0
Current children cumulated CPU time: 282.16 s
Current children cumulated vsize: 8856120 KiB
Current children cumulated memory: 8506260 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 1.98 1.32 3/199 30279
/proc/meminfo: memFree=18697548/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=12290972 memory=11451560 CPUtime=342.12 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 2165303 0 0 0 33894 318 0 0 20 0 1 0 554712720 12585955328 2862890 33554432000 4194304 6211132 140732467125184 140732467118328 140367533407205 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 3072743 2862890 838 493 0 3066048 0
Current children cumulated CPU time: 342.12 s
Current children cumulated vsize: 12290972 KiB
Current children cumulated memory: 11451560 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.98 1.36 3/199 30283
/proc/meminfo: memFree=17142964/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=13446632 memory=12992332 CPUtime=402.09 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 2454483 0 0 0 39843 366 0 0 20 0 1 0 554712720 13769351168 3248083 33554432000 4194304 6211132 140732467125184 140732467118328 140367533407205 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 3361658 3248083 838 493 0 3354963 0
Current children cumulated CPU time: 402.09 s
Current children cumulated vsize: 13446632 KiB
Current children cumulated memory: 12992332 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.40 3/199 30289
/proc/meminfo: memFree=15938100/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=14770068 memory=14198492 CPUtime=462.06 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 2680985 0 0 0 45799 407 0 0 20 0 1 0 554712720 15124549632 3549623 33554432000 4194304 6211132 140732467125184 140732467118328 140367533407205 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 3692517 3549623 838 493 0 3685822 0
Current children cumulated CPU time: 462.06 s
Current children cumulated vsize: 14770068 KiB
Current children cumulated memory: 14198492 KiB
[startup+504.089 s]
# the end of solver process 30251 was just reported to runsolver
# cumulated CPU time of all completed processes: user=498.228 s, system=5.61372 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 2.00 1.99 1.42 3/200 30298
/proc/meminfo: memFree=15452524/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=15133332 memory=14680396 CPUtime=486.16 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 2771898 0 0 0 48192 424 0 0 20 0 1 0 554712720 15496531968 3670099 33554432000 4194304 6211132 140732467125184 140732467118328 140367534330767 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 3783333 3670099 838 493 0 3776638 0
Current children cumulated CPU time: 486.16 s
Current children cumulated vsize: 15133332 KiB
Current children cumulated memory: 14680396 KiB
[startup+492.8 s]
/proc/loadavg: 2.00 1.99 1.42 3/200 30298
/proc/meminfo: memFree=15333448/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=15232860 memory=14812888 CPUtime=492.55 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 2796812 0 0 0 48826 429 0 0 20 0 1 0 554712720 15598448640 3703156 33554432000 4194304 6211132 140732467125184 140732467118328 140367533407205 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 3808215 3703222 838 493 0 3801520 0
Current children cumulated CPU time: 492.55 s
Current children cumulated vsize: 15232860 KiB
Current children cumulated memory: 14812888 KiB
[startup+499.2 s]
/proc/loadavg: 2.00 1.99 1.43 3/201 30300
/proc/meminfo: memFree=14995728/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=15478380 memory=15140088 CPUtime=498.94 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 2858244 0 0 0 49456 438 0 0 20 0 1 0 554712720 15849861120 3785022 33554432000 4194304 6211132 140732467125184 140732467118328 140367533407205 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 3869595 3785022 838 493 0 3862900 0
Current children cumulated CPU time: 498.94 s
Current children cumulated vsize: 15478380 KiB
Current children cumulated memory: 15140088 KiB
[startup+502.4 s]
/proc/loadavg: 2.00 1.99 1.43 3/201 30301
/proc/meminfo: memFree=14854212/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=15642520 memory=15271676 CPUtime=502.14 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 3322636 0 0 0 49753 461 0 0 20 0 1 0 554712720 16017940480 3817919 33554432000 4194304 6211132 140732467125184 140732467118328 140367533399662 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 3910630 3817919 863 493 0 3903935 0
Current children cumulated CPU time: 502.14 s
Current children cumulated vsize: 15642520 KiB
Current children cumulated memory: 15271676 KiB
[startup+503.2 s]
/proc/loadavg: 2.00 1.99 1.43 3/200 30301
/proc/meminfo: memFree=14854392/32770624 swapFree=66954172/67108860
[pid=30251] ppid=30248 vsize=15642520 memory=15271676 CPUtime=502.95 cores=0,2,4,6
/proc/30251/stat : 30251 (cosoco) R 30248 30251 30008 0 -1 4202496 3904416 0 0 0 49812 483 0 0 20 0 1 0 554712720 16017940480 3817919 33554432000 4194304 6211132 140732467125184 140732467118392 140367533399662 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22147072 140732467131403 140732467131505 140732467131505 140732467134414 0
/proc/30251/statm: 3910630 3817919 863 493 0 3903935 0
Current children cumulated CPU time: 502.95 s
Current children cumulated vsize: 15642520 KiB
Current children cumulated memory: 15271676 KiB
[startup+503.6 s]
/proc/loadavg: 2.00 1.99 1.43 3/200 30301
/proc/meminfo: memFree=17133756/32770624 swapFree=66954172/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+504 s]*
/proc/loadavg: 2.00 1.99 1.43 3/200 30301
/proc/meminfo: memFree=27660348/32770624 swapFree=66954172/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 504.089
CPU time (s): 503.842
CPU user time (s): 498.228
CPU system time (s): 5.61372
CPU usage (%): 99.9509
Max. virtual memory (cumulated for all children) (KiB): 15642520
Max. memory (cumulated for all children) (KiB): 15271676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 498.228
system time used= 5.61372
maximum resident set size= 15271676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4008133
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 394
involuntary context switches= 622
# summary of solver processes directly reported to runsolver:
# pid: 30251
# total CPU time (s): 503.842
# total CPU user time (s): 498.228
# total CPU system time (s): 5.61372
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.90405 second user time and 3.50109 second system time
The end
Begin job on node119 at 2019-09-29 22:12:19
IDJOB=4408101
IDBENCH=120457
IDSOLVER=2874
FILE ID=node119/4408101-1569787980
RUNJOBID= node119-1569787352-30039
PBS_JOBID= 21705833
Free space on /tmp= 62028 MiB
SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/StripPacking/StripPacking-m1-seriesT/StripPacking-T1e.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408101-1569787980/watcher-4408101-1569787980 -o /tmp/evaluation-result-4408101-1569787980/solver-4408101-1569787980 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1569787352-30039 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408101-1569787980.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= f7b8b642e131c8af917aaf97f4ae3b24
RANDOM SEED=1442224680
node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.47
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.47
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.47
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.47
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 30152512 kB
MemAvailable: 31828376 kB
Buffers: 215944 kB
Cached: 1798652 kB
SwapCached: 46676 kB
Active: 1255036 kB
Inactive: 810772 kB
Active(anon): 17084 kB
Inactive(anon): 116184 kB
Active(file): 1237952 kB
Inactive(file): 694588 kB
Unevictable: 107588 kB
Mlocked: 107588 kB
SwapTotal: 67108860 kB
SwapFree: 66954172 kB
Dirty: 2796 kB
Writeback: 0 kB
AnonPages: 122688 kB
Mapped: 28084 kB
Shmem: 73180 kB
Slab: 147164 kB
SReclaimable: 118320 kB
SUnreclaim: 28844 kB
KernelStack: 3776 kB
PageTables: 4776 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 569216 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 75776 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 126336 kB
DirectMap2M: 33419264 kB
Free space on /tmp at the end= 62024 MiB
End job on node119 at 2019-09-29 22:20:43