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-4396841-1568573134.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
502.73/503.03 c =========================================================================================================
502.73/503.03 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 (14301 MiB free)
memory of node 1: 16384 MiB (14963 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396841-1568573134/watcher-4396841-1568573134 -o /tmp/evaluation-result-4396841-1568573134/solver-4396841-1568573134 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568572743-13957 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396841-1568573134.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14087, runsolver pid=14084
[startup+0.100201 s]*
/proc/loadavg: 2.05 1.43 0.68 3/204 14088
/proc/meminfo: memFree=29965032/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=29888 memory=6148 CPUtime=0.1 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 1714 0 0 0 10 0 0 0 20 0 1 0 433563953 30605312 1537 33554432000 4194304 6211092 140725981602832 140725981599368 140682640448485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/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.209919 s]*
/proc/loadavg: 2.05 1.43 0.68 3/204 14088
/proc/meminfo: memFree=29963064/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=32104 memory=8216 CPUtime=0.21 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 2276 0 0 0 21 0 0 0 20 0 1 0 433563953 32874496 2054 33554432000 4194304 6211092 140725981602832 140725981595976 140682640448485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/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.309406 s]*
/proc/loadavg: 2.05 1.43 0.68 3/204 14088
/proc/meminfo: memFree=29961204/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=34684 memory=10256 CPUtime=0.3 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 2772 0 0 0 30 0 0 0 20 0 1 0 433563953 35516416 2564 33554432000 4194304 6211092 140725981602832 140725981595976 140682640948938 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/statm: 8671 2564 838 493 0 1976 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 34684 KiB
Current children cumulated memory: 10256 KiB
[startup+0.700344 s]
/proc/loadavg: 2.05 1.43 0.68 3/204 14088
/proc/meminfo: memFree=29957236/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=43028 memory=17976 CPUtime=0.69 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 4700 0 0 0 69 0 0 0 20 0 1 0 433563953 44060672 4494 33554432000 4194304 6211092 140725981602832 140725981595976 140682640448485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/statm: 10757 4494 838 493 0 4062 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43028 KiB
Current children cumulated memory: 17976 KiB
[startup+1.50035 s]
/proc/loadavg: 2.05 1.43 0.68 3/204 14088
/proc/meminfo: memFree=29947192/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=58880 memory=33996 CPUtime=1.49 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 8699 0 0 0 148 1 0 0 20 0 1 0 433563953 60293120 8499 33554432000 4194304 6211092 140725981602832 140725981595976 5012856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/statm: 14720 8499 838 493 0 8025 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 58880 KiB
Current children cumulated memory: 33996 KiB
[startup+3.10966 s]
/proc/loadavg: 2.05 1.44 0.69 3/204 14088
/proc/meminfo: memFree=29906976/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=94100 memory=66804 CPUtime=3.1 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 16432 0 0 0 308 2 0 0 20 0 1 0 433563953 96358400 16701 33554432000 4194304 6211092 140725981602832 140725981595976 5452242 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/statm: 23525 16701 838 493 0 16830 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 94100 KiB
Current children cumulated memory: 66804 KiB
[startup+6.30023 s]
/proc/loadavg: 2.05 1.44 0.69 3/204 14089
/proc/meminfo: memFree=29845552/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=159160 memory=132708 CPUtime=6.28 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 30389 0 0 0 624 4 0 0 20 0 1 0 433563953 162979840 33177 33554432000 4194304 6211092 140725981602832 140725981595976 5446279 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/statm: 39790 33177 838 493 0 33095 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 159160 KiB
Current children cumulated memory: 132708 KiB
[startup+12.7002 s]
/proc/loadavg: 2.04 1.45 0.70 3/203 14091
/proc/meminfo: memFree=29724020/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=301088 memory=260772 CPUtime=12.68 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 56320 0 0 0 1260 8 0 0 20 0 1 0 433563953 308314112 65193 33554432000 4194304 6211092 140725981602832 140725981595976 140682640448485 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/statm: 75272 65193 838 493 0 68577 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 301088 KiB
Current children cumulated memory: 260772 KiB
[startup+25.5003 s]
/proc/loadavg: 2.03 1.48 0.72 3/203 14091
/proc/meminfo: memFree=29462024/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=596068 memory=516620 CPUtime=25.47 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 106458 0 0 0 2532 15 0 0 20 0 1 0 433563953 610373632 129155 33554432000 4194304 6211092 140725981602832 140725981595976 140682641368976 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/statm: 149017 129155 838 493 0 142322 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 596068 KiB
Current children cumulated memory: 516620 KiB
[startup+51.1094 s]
/proc/loadavg: 2.02 1.52 0.75 3/203 14091
/proc/meminfo: memFree=28225632/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=1817844 memory=1747560 CPUtime=51.06 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 339616 0 0 0 5056 50 0 0 20 0 1 0 433563953 1861472256 436890 33554432000 4194304 6211092 140725981602832 140725981595976 140682640448485 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/statm: 454461 436890 838 493 0 447766 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 1817844 KiB
Current children cumulated memory: 1747560 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 1.59 0.82 3/204 14162
/proc/meminfo: memFree=24591568/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=4502848 memory=4144272 CPUtime=102.22 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 790591 0 0 0 10112 110 0 0 20 0 1 0 433563953 4610916352 1036068 33554432000 4194304 6211092 140725981602832 140725981595976 5440705 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/statm: 1125712 1036068 838 493 0 1119017 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 4502848 KiB
Current children cumulated memory: 4144272 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.67 0.89 3/204 14166
/proc/meminfo: memFree=20461740/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=5670156 memory=5349212 CPUtime=162.18 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 1018260 0 0 0 16076 142 0 0 20 0 1 0 433563953 5806239744 1337303 33554432000 4194304 6211092 140725981602832 140725981595976 140682640448485 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/statm: 1417539 1337303 838 493 0 1410844 0
Current children cumulated CPU time: 162.18 s
Current children cumulated vsize: 5670156 KiB
Current children cumulated memory: 5349212 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.73 0.96 3/205 14171
/proc/meminfo: memFree=18001008/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=6765568 memory=6558964 CPUtime=222.16 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 1245605 0 0 0 22043 173 0 0 20 0 1 0 433563953 6927941632 1639741 33554432000 4194304 6211092 140725981602832 140725981595976 140682640448485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/statm: 1691392 1639741 838 493 0 1684697 0
Current children cumulated CPU time: 222.16 s
Current children cumulated vsize: 6765568 KiB
Current children cumulated memory: 6558964 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.78 1.02 3/205 14177
/proc/meminfo: memFree=14204400/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=8859816 memory=8511252 CPUtime=282.13 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 1612047 0 0 0 27986 227 0 0 20 0 1 0 433563953 9072451584 2127813 33554432000 4194304 6211092 140725981602832 140725981595976 140682650393448 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/statm: 2214954 2127813 838 493 0 2208259 0
Current children cumulated CPU time: 282.13 s
Current children cumulated vsize: 8859816 KiB
Current children cumulated memory: 8511252 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.82 1.08 3/206 14190
/proc/meminfo: memFree=8814436/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=12303644 memory=11469292 CPUtime=342.1 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 2167712 0 0 0 33898 312 0 0 20 0 1 0 433563953 12598931456 2867323 33554432000 4194304 6211092 140725981602832 140725981595976 140682640448485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/statm: 3075911 2867323 838 493 0 3069216 0
Current children cumulated CPU time: 342.1 s
Current children cumulated vsize: 12303644 KiB
Current children cumulated memory: 11469292 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.85 1.14 3/205 14194
/proc/meminfo: memFree=4610120/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=13454420 memory=13003204 CPUtime=402.07 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 2455706 0 0 0 39845 362 0 0 20 0 1 0 433563953 13777326080 3250801 33554432000 4194304 6211092 140725981602832 140725981595976 5443042 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/statm: 3363605 3250801 838 493 0 3356910 0
Current children cumulated CPU time: 402.07 s
Current children cumulated vsize: 13454420 KiB
Current children cumulated memory: 13003204 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.88 1.20 3/206 14201
/proc/meminfo: memFree=2158404/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=14777460 memory=14206728 CPUtime=462.04 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 2682122 0 0 0 45802 402 0 0 20 0 1 0 433563953 15132119040 3551682 33554432000 4194304 6211092 140725981602832 140725981595976 5451484 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/statm: 3694365 3551682 838 493 0 3687670 0
Current children cumulated CPU time: 462.04 s
Current children cumulated vsize: 14777460 KiB
Current children cumulated memory: 14206728 KiB
[startup+503.757 s]
# the end of solver process 14087 was just reported to runsolver
# cumulated CPU time of all completed processes: user=497.856 s, system=5.62806 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.89 1.22 3/205 14202
/proc/meminfo: memFree=1176072/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=15140064 memory=14690380 CPUtime=486.12 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 2772887 0 0 0 48192 420 0 0 20 0 1 0 433563953 15503425536 3672595 33554432000 4194304 6211092 140725981602832 140725981595976 140682641374661 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/statm: 3785016 3672595 838 493 0 3778321 0
Current children cumulated CPU time: 486.12 s
Current children cumulated vsize: 15140064 KiB
Current children cumulated memory: 14690380 KiB
[startup+492.8 s]
/proc/loadavg: 2.00 1.89 1.22 3/205 14203
/proc/meminfo: memFree=930712/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=15249624 memory=14836724 CPUtime=492.52 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 2800275 0 0 0 48825 427 0 0 20 0 1 0 433563953 15615614976 3709181 33554432000 4194304 6211092 140725981602832 140725981595976 140682640446428 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/statm: 3812406 3709181 838 493 0 3805711 0
Current children cumulated CPU time: 492.52 s
Current children cumulated vsize: 15249624 KiB
Current children cumulated memory: 14836724 KiB
[startup+499.2 s]
/proc/loadavg: 2.00 1.89 1.23 3/205 14203
/proc/meminfo: memFree=345600/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=15492900 memory=15161808 CPUtime=498.92 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 2861166 0 0 0 49454 438 0 0 20 0 1 0 433563953 15864729600 3790452 33554432000 4194304 6211092 140725981602832 140725981595976 140682640448485 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/statm: 3873225 3790452 838 493 0 3866530 0
Current children cumulated CPU time: 498.92 s
Current children cumulated vsize: 15492900 KiB
Current children cumulated memory: 15161808 KiB
[startup+500.8 s]
/proc/loadavg: 2.00 1.89 1.23 3/205 14203
/proc/meminfo: memFree=241476/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=15553488 memory=15240728 CPUtime=500.52 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 2876794 0 0 0 49610 442 0 0 20 0 1 0 433563953 15926771712 3810182 33554432000 4194304 6211092 140725981602832 140725981595976 5451488 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/statm: 3888372 3810182 838 493 0 3881677 0
Current children cumulated CPU time: 500.52 s
Current children cumulated vsize: 15553488 KiB
Current children cumulated memory: 15240728 KiB
[startup+502.4 s]
/proc/loadavg: 2.00 1.89 1.23 3/205 14203
/proc/meminfo: memFree=193208/32770624 swapFree=66916988/67108860
[pid=14087] ppid=14084 vsize=15642520 memory=15272196 CPUtime=502.12 cores=0,2,4,6
/proc/14087/stat : 14087 (cosoco) R 14084 14087 13926 0 -1 4202496 3584081 0 0 0 49742 470 0 0 20 0 1 0 433563953 16017940480 3818049 33554432000 4194304 6211092 140725981602832 140725981596040 140682640440942 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26271744 140725981611019 140725981611121 140725981611121 140725981614030 0
/proc/14087/statm: 3910630 3818049 863 493 0 3903935 0
Current children cumulated CPU time: 502.12 s
Current children cumulated vsize: 15642520 KiB
Current children cumulated memory: 15272196 KiB
[startup+503.21 s]
/proc/loadavg: 2.00 1.89 1.23 3/205 14203
/proc/meminfo: memFree=3179356/32770624 swapFree=66916988/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+503.6 s]
/proc/loadavg: 2.00 1.89 1.23 3/205 14203
/proc/meminfo: memFree=3179356/32770624 swapFree=66916988/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+503.7 s]
/proc/loadavg: 2.00 1.89 1.23 3/205 14203
/proc/meminfo: memFree=3179356/32770624 swapFree=66916988/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): 503.757
CPU time (s): 503.484
CPU user time (s): 497.856
CPU system time (s): 5.62806
CPU usage (%): 99.9459
Max. virtual memory (cumulated for all children) (KiB): 15642520
Max. memory (cumulated for all children) (KiB): 15272196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 497.856
system time used= 5.62806
maximum resident set size= 15272196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4001011
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= 421
involuntary context switches= 934
# summary of solver processes directly reported to runsolver:
# pid: 14087
# total CPU time (s): 503.484
# total CPU user time (s): 497.856
# total CPU system time (s): 5.62806
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.38911 second user time and 3.10809 second system time
The end
Begin job on node134 at 2019-09-15 20:44:53
IDJOB=4396841
IDBENCH=120457
IDSOLVER=2848
FILE ID=node134/4396841-1568573134
RUNJOBID= node134-1568572743-13957
PBS_JOBID= 21703320
Free space on /tmp= 59600 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-4396841-1568573134/watcher-4396841-1568573134 -o /tmp/evaluation-result-4396841-1568573134/solver-4396841-1568573134 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568572743-13957 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396841-1568573134.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= f7b8b642e131c8af917aaf97f4ae3b24
RANDOM SEED=1335061100
node134.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.76
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.76
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.76
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.76
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: 29967244 kB
MemAvailable: 31785592 kB
Buffers: 213560 kB
Cached: 1880420 kB
SwapCached: 90436 kB
Active: 629084 kB
Inactive: 1561884 kB
Active(anon): 27968 kB
Inactive(anon): 117488 kB
Active(file): 601116 kB
Inactive(file): 1444396 kB
Unevictable: 108388 kB
Mlocked: 108388 kB
SwapTotal: 67108860 kB
SwapFree: 66916988 kB
Dirty: 2768 kB
Writeback: 0 kB
AnonPages: 116672 kB
Mapped: 48336 kB
Shmem: 39596 kB
Slab: 207228 kB
SReclaimable: 177340 kB
SUnreclaim: 29888 kB
KernelStack: 3552 kB
PageTables: 5332 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 538632 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 118144 kB
DirectMap2M: 33427456 kB
Free space on /tmp at the end= 59596 MiB
End job on node134 at 2019-09-15 20:53:17