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 -model -nbcores=8 HOME/instance-4398121-1568598192.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.01 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.02 c intension le(add(w[13],x[13]),200) -> extension (support ? 0) - 165tuples
0.00/0.02 c intension le(add(w[14],x[14]),200) -> extension (support ? 0) - 46tuples
0.00/0.02 c intension le(add(w[15],x[15]),200) -> extension (support ? 0) - 23tuples
0.00/0.02 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.03 c intension le(add(h[8],y[8]),200) -> extension (support ? 0) - 35tuples
0.00/0.03 c intension le(add(h[9],y[9]),200) -> extension (support ? 0) - 40tuples
0.00/0.03 c intension le(add(h[10],y[10]),200) -> extension (support ? 0) - 130tuples
0.00/0.03 c intension le(add(h[11],y[11]),200) -> extension (support ? 0) - 107tuples
0.00/0.03 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
991.62/992.18 c =========================================================================================================
991.62/992.18 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 (15151 MiB free)
memory of node 1: 16384 MiB (15710 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398121-1568598192/watcher-4398121-1568598192 -o /tmp/evaluation-result-4398121-1568598192/solver-4398121-1568598192 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568598149-15728 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398121-1568598192.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15745, runsolver pid=15742
Current StackSize limit: 8192 KiB
[startup+0.100148 s]*
/proc/loadavg: 1.37 1.83 1.98 2/192 15746
/proc/meminfo: memFree=31597452/32770624 swapFree=66952276/67108860
[pid=15745] ppid=15742 vsize=32596 memory=8728 CPUtime=0.1 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 2399 0 0 0 10 0 0 0 20 0 1 0 435761123 33378304 2182 33554432000 4194304 6211092 140734361685328 140734361681864 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 8149 2182 838 493 0 1454 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32596 KiB
Current children cumulated memory: 8728 KiB
[startup+0.20924 s]*
/proc/loadavg: 1.34 1.82 1.98 2/192 15746
/proc/meminfo: memFree=31595220/32770624 swapFree=66952276/67108860
[pid=15745] ppid=15742 vsize=34944 memory=11056 CPUtime=0.21 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 2960 0 0 0 21 0 0 0 20 0 1 0 435761123 35782656 2764 33554432000 4194304 6211092 140734361685328 140734361681864 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 8736 2764 838 493 0 2041 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34944 KiB
Current children cumulated memory: 11056 KiB
[startup+0.308784 s]*
/proc/loadavg: 1.34 1.82 1.98 2/192 15746
/proc/meminfo: memFree=31593360/32770624 swapFree=66952276/67108860
[pid=15745] ppid=15742 vsize=36964 memory=13096 CPUtime=0.3 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 3458 0 0 0 30 0 0 0 20 0 1 0 435761123 37851136 3274 33554432000 4194304 6211092 140734361685328 140734361681864 5012856 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 9241 3274 838 493 0 2546 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36964 KiB
Current children cumulated memory: 13096 KiB
[startup+0.700289 s]
/proc/loadavg: 1.34 1.82 1.98 2/192 15746
/proc/meminfo: memFree=31589216/32770624 swapFree=66952276/67108860
[pid=15745] ppid=15742 vsize=45868 memory=20816 CPUtime=0.69 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 5393 0 0 0 69 0 0 0 20 0 1 0 435761123 46968832 5204 33554432000 4194304 6211092 140734361685328 140734361678984 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 11467 5204 838 493 0 4772 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45868 KiB
Current children cumulated memory: 20816 KiB
[startup+1.50028 s]
/proc/loadavg: 1.34 1.82 1.98 2/192 15746
/proc/meminfo: memFree=31579456/32770624 swapFree=66952276/67108860
[pid=15745] ppid=15742 vsize=61720 memory=36836 CPUtime=1.49 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 9407 0 0 0 148 1 0 0 20 0 1 0 435761123 63201280 9209 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 15430 9209 838 493 0 8735 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 61720 KiB
Current children cumulated memory: 36836 KiB
[startup+3.10922 s]
/proc/loadavg: 1.34 1.82 1.98 2/192 15746
/proc/meminfo: memFree=31539516/32770624 swapFree=66952276/67108860
[pid=15745] ppid=15742 vsize=97072 memory=69448 CPUtime=3.1 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 17613 0 0 0 308 2 0 0 20 0 1 0 435761123 99401728 17362 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 24268 17362 838 493 0 17573 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 97072 KiB
Current children cumulated memory: 69448 KiB
[startup+6.30026 s]
/proc/loadavg: 1.31 1.80 1.97 2/192 15746
/proc/meminfo: memFree=31477016/32770624 swapFree=66952276/67108860
[pid=15745] ppid=15742 vsize=162528 memory=134616 CPUtime=6.29 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 31337 0 0 0 625 4 0 0 20 0 1 0 435761123 166428672 33654 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 40632 33654 838 493 0 33937 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 162528 KiB
Current children cumulated memory: 134616 KiB
[startup+12.7003 s]
/proc/loadavg: 1.29 1.79 1.96 2/192 15746
/proc/meminfo: memFree=31353956/32770624 swapFree=66952276/67108860
[pid=15745] ppid=15742 vsize=305248 memory=267336 CPUtime=12.69 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 57945 0 0 0 1261 8 0 0 20 0 1 0 435761123 312573952 66834 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 76312 66834 838 493 0 69617 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 305248 KiB
Current children cumulated memory: 267336 KiB
[startup+25.5003 s]
/proc/loadavg: 1.24 1.76 1.95 2/193 15748
/proc/meminfo: memFree=31093024/32770624 swapFree=66952276/67108860
[pid=15745] ppid=15742 vsize=602208 memory=525556 CPUtime=25.48 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 108688 0 0 0 2534 14 0 0 20 0 1 0 435761123 616660992 131389 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 150552 131389 838 493 0 143857 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 602208 KiB
Current children cumulated memory: 525556 KiB
[startup+51.1093 s]
/proc/loadavg: 1.15 1.69 1.92 2/192 15749
/proc/meminfo: memFree=29843720/32770624 swapFree=66952276/67108860
[pid=15745] ppid=15742 vsize=1832432 memory=1764412 CPUtime=51.09 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 343310 0 0 0 5062 47 0 0 20 0 1 0 435761123 1876410368 441103 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 458108 441103 838 493 0 451413 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 1832432 KiB
Current children cumulated memory: 1764412 KiB
[startup+102.3 s]
/proc/loadavg: 1.06 1.58 1.88 2/192 15751
/proc/meminfo: memFree=27448260/32770624 swapFree=66952276/67108860
[pid=15745] ppid=15742 vsize=4514400 memory=4158028 CPUtime=102.25 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 794031 0 0 0 10114 111 0 0 20 0 1 0 435761123 4622745600 1039507 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 1128600 1039507 838 493 0 1121905 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 4514400 KiB
Current children cumulated memory: 4158028 KiB
[startup+162.3 s]
/proc/loadavg: 1.02 1.48 1.82 2/192 15756
/proc/meminfo: memFree=26229176/32770624 swapFree=66952276/67108860
[pid=15745] ppid=15742 vsize=5690156 memory=5375692 CPUtime=162.21 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 1024338 0 0 0 16077 144 0 0 20 0 1 0 435761123 5826719744 1343923 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 1422539 1343923 838 493 0 1415844 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 5690156 KiB
Current children cumulated memory: 5375692 KiB
[startup+222.3 s]
/proc/loadavg: 1.01 1.39 1.77 2/192 15759
/proc/meminfo: memFree=25011456/32770624 swapFree=66952276/67108860
[pid=15745] ppid=15742 vsize=6789132 memory=6590992 CPUtime=222.19 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 1253072 0 0 0 22043 176 0 0 20 0 1 0 435761123 6952071168 1647748 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 1697283 1647748 838 493 0 1690588 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 6789132 KiB
Current children cumulated memory: 6590992 KiB
[startup+282.3 s]
/proc/loadavg: 1.15 1.35 1.73 2/192 15808
/proc/meminfo: memFree=23042484/32770624 swapFree=66952296/67108860
[pid=15745] ppid=15742 vsize=9162868 memory=8542292 CPUtime=282.16 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 1620334 0 0 0 27985 231 0 0 20 0 1 0 435761123 9382776832 2135573 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 2290717 2135573 838 493 0 2284022 0
Current children cumulated CPU time: 282.16 s
Current children cumulated vsize: 9162868 KiB
Current children cumulated memory: 8542292 KiB
[startup+342.3 s]
/proc/loadavg: 1.05 1.29 1.69 2/193 15814
/proc/meminfo: memFree=20053680/32770624 swapFree=66952296/67108860
[pid=15745] ppid=15742 vsize=12353476 memory=11533844 CPUtime=342.12 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 2182770 0 0 0 33898 314 0 0 20 0 1 0 435761123 12649959424 2883461 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 3088369 2883461 838 493 0 3081674 0
Current children cumulated CPU time: 342.12 s
Current children cumulated vsize: 12353476 KiB
Current children cumulated memory: 11533844 KiB
[startup+402.3 s]
/proc/loadavg: 1.02 1.24 1.64 2/193 15817
/proc/meminfo: memFree=18540032/32770624 swapFree=66952296/67108860
[pid=15745] ppid=15742 vsize=13479040 memory=13034008 CPUtime=402.09 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 2464432 0 0 0 39849 360 0 0 20 0 1 0 435761123 13802536960 3258502 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 3369760 3258502 838 493 0 3363065 0
Current children cumulated CPU time: 402.09 s
Current children cumulated vsize: 13479040 KiB
Current children cumulated memory: 13034008 KiB
[startup+462.3 s]
/proc/loadavg: 1.01 1.19 1.60 2/193 15827
/proc/meminfo: memFree=17323660/32770624 swapFree=66952304/67108860
[pid=15745] ppid=15742 vsize=14809472 memory=14247256 CPUtime=462.06 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 2692712 0 0 0 45803 403 0 0 20 0 1 0 435761123 15164899328 3561814 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 3702368 3561814 838 493 0 3695673 0
Current children cumulated CPU time: 462.06 s
Current children cumulated vsize: 14809472 KiB
Current children cumulated memory: 14247256 KiB
################
# More data... #
################
[startup+582.3 s]
/proc/loadavg: 1.00 1.13 1.53 2/192 15835
/proc/meminfo: memFree=12981268/32770624 swapFree=66952304/67108860
[pid=15745] ppid=15742 vsize=19486020 memory=18592244 CPUtime=582 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 3508358 0 0 0 57642 558 0 0 20 0 1 0 435761123 19953684480 4648061 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 4871505 4648061 838 493 0 4864810 0
Current children cumulated CPU time: 582 s
Current children cumulated vsize: 19486020 KiB
Current children cumulated memory: 18592244 KiB
[startup+642.3 s]
/proc/loadavg: 1.00 1.11 1.50 2/191 15838
/proc/meminfo: memFree=10901456/32770624 swapFree=66952304/67108860
[pid=15745] ppid=15742 vsize=21034248 memory=20656800 CPUtime=641.97 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 3895809 0 0 0 63552 645 0 0 20 0 1 0 435761123 21539069952 5164200 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 5258562 5164200 838 493 0 5251867 0
Current children cumulated CPU time: 641.97 s
Current children cumulated vsize: 21034248 KiB
Current children cumulated memory: 20656800 KiB
[startup+702.3 s]
/proc/loadavg: 1.00 1.09 1.47 2/191 15843
/proc/meminfo: memFree=9691628/32770624 swapFree=66952304/67108860
[pid=15745] ppid=15742 vsize=22571588 memory=21864484 CPUtime=701.95 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 4123249 0 0 0 69487 708 0 0 20 0 1 0 435761123 23113306112 5466121 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 5642897 5466121 838 493 0 5636202 0
Current children cumulated CPU time: 701.95 s
Current children cumulated vsize: 22571588 KiB
Current children cumulated memory: 21864484 KiB
[startup+762.3 s]
/proc/loadavg: 1.00 1.07 1.44 2/191 15847
/proc/meminfo: memFree=8117532/32770624 swapFree=66952308/67108860
[pid=15745] ppid=15742 vsize=25884804 memory=23446108 CPUtime=761.93 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 4420166 0 0 0 75409 784 0 0 20 0 1 0 435761123 26506039296 5861527 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 6471201 5861527 838 493 0 6464506 0
Current children cumulated CPU time: 761.93 s
Current children cumulated vsize: 25884804 KiB
Current children cumulated memory: 23446108 KiB
[startup+822.3 s]
/proc/loadavg: 1.00 1.06 1.41 2/191 15850
/proc/meminfo: memFree=6011344/32770624 swapFree=66952308/67108860
[pid=15745] ppid=15742 vsize=27461016 memory=25546616 CPUtime=821.89 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 4814571 0 0 0 81308 881 0 0 20 0 1 0 435761123 28120080384 6386654 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 6865254 6386654 838 493 0 6858559 0
Current children cumulated CPU time: 821.89 s
Current children cumulated vsize: 27461016 KiB
Current children cumulated memory: 25546616 KiB
[startup+882.3 s]
/proc/loadavg: 1.00 1.05 1.38 2/191 15855
/proc/meminfo: memFree=3304972/32770624 swapFree=66952308/67108860
[pid=15745] ppid=15742 vsize=29481144 memory=28240636 CPUtime=881.86 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 5320050 0 0 0 87190 996 0 0 20 0 1 0 435761123 30188691456 7060159 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 7370286 7060159 838 493 0 7363591 0
Current children cumulated CPU time: 881.86 s
Current children cumulated vsize: 29481144 KiB
Current children cumulated memory: 28240636 KiB
[startup+942.3 s]
/proc/loadavg: 1.00 1.04 1.36 2/191 15859
/proc/meminfo: memFree=2095120/32770624 swapFree=66952312/67108860
[pid=15745] ppid=15742 vsize=30386796 memory=29447200 CPUtime=941.83 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 5546721 0 0 0 93121 1062 0 0 20 0 1 0 435761123 31116079104 7361800 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 7596699 7361800 838 493 0 7590004 0
Current children cumulated CPU time: 941.83 s
Current children cumulated vsize: 30386796 KiB
Current children cumulated memory: 29447200 KiB
[startup+993.369 s]
# the end of solver process 15745 was just reported to runsolver
# cumulated CPU time of all completed processes: user=976.563 s, system=16.3233 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+947.2 s]
/proc/loadavg: 1.00 1.04 1.36 2/191 15859
/proc/meminfo: memFree=1994532/32770624 swapFree=66952312/67108860
[pid=15745] ppid=15742 vsize=30461112 memory=29546132 CPUtime=946.73 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 5565323 0 0 0 93607 1066 0 0 20 0 1 0 435761123 31192178688 7386533 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 7615278 7386533 838 493 0 7608583 0
Current children cumulated CPU time: 946.73 s
Current children cumulated vsize: 30461112 KiB
Current children cumulated memory: 29546132 KiB
[startup+972.8 s]
/proc/loadavg: 1.00 1.04 1.35 2/191 15862
/proc/meminfo: memFree=1490628/32770624 swapFree=66952312/67108860
[pid=15745] ppid=15742 vsize=30847608 memory=30063728 CPUtime=972.32 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 5662057 0 0 0 96138 1094 0 0 20 0 1 0 435761123 31587950592 7515932 33554432000 4194304 6211092 140734361685328 140734361678472 139937481325541 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 7711902 7515932 838 493 0 7705207 0
Current children cumulated CPU time: 972.32 s
Current children cumulated vsize: 30847608 KiB
Current children cumulated memory: 30063728 KiB
[startup+985.6 s]
/proc/loadavg: 1.00 1.04 1.35 2/191 15862
/proc/meminfo: memFree=1295716/32770624 swapFree=66952312/67108860
[pid=15745] ppid=15742 vsize=31045936 memory=30239148 CPUtime=985.12 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 7522036 0 0 0 97230 1282 0 0 20 0 1 0 435761123 31791038464 7559787 33554432000 4194304 6211092 140734361685328 140734361678536 5000879 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 7761484 7559787 863 493 0 7754789 0
Current children cumulated CPU time: 985.12 s
Current children cumulated vsize: 31045936 KiB
Current children cumulated memory: 30239148 KiB
[startup+988.8 s]
/proc/loadavg: 1.00 1.04 1.34 2/191 15862
/proc/meminfo: memFree=1295592/32770624 swapFree=66952312/67108860
[pid=15745] ppid=15742 vsize=31045936 memory=30239148 CPUtime=988.31 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 9471709 0 0 0 97431 1400 0 0 20 0 1 0 435761123 31791038464 7559787 33554432000 4194304 6211092 140734361685328 140734361678536 139937481317998 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 7761484 7559787 863 493 0 7754789 0
Current children cumulated CPU time: 988.31 s
Current children cumulated vsize: 31045936 KiB
Current children cumulated memory: 30239148 KiB
[startup+990.4 s]
/proc/loadavg: 1.00 1.04 1.34 2/191 15862
/proc/meminfo: memFree=1294816/32770624 swapFree=66952312/67108860
[pid=15745] ppid=15742 vsize=31045936 memory=30239148 CPUtime=989.91 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 10615967 0 0 0 97541 1450 0 0 20 0 1 0 435761123 31791038464 7559787 33554432000 4194304 6211092 140734361685328 140734361678536 139937481317998 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 7761484 7559787 863 493 0 7754789 0
Current children cumulated CPU time: 989.91 s
Current children cumulated vsize: 31045936 KiB
Current children cumulated memory: 30239148 KiB
[startup+992 s]*
/proc/loadavg: 1.00 1.03 1.34 2/191 15862
/proc/meminfo: memFree=2473344/32770624 swapFree=66952312/67108860
[pid=15745] ppid=15742 vsize=31045936 memory=28911540 CPUtime=991.52 cores=0-7
/proc/15745/stat : 15745 (cosoco) R 15742 15745 15701 0 -1 4202496 11562521 0 0 0 97656 1496 0 0 20 0 1 0 435761123 31791038464 7228397 33554432000 4194304 6211092 140734361685328 140734361678536 139937481801255 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 21504000 140734361687057 140734361687149 140734361687149 140734361690062 0
/proc/15745/statm: 7761484 7228397 863 493 0 7754789 0
Current children cumulated CPU time: 991.52 s
Current children cumulated vsize: 31045936 KiB
Current children cumulated memory: 28911540 KiB
[startup+992.8 s]
/proc/loadavg: 1.00 1.03 1.34 2/191 15862
/proc/meminfo: memFree=8769204/32770624 swapFree=66952312/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+993.2 s]
/proc/loadavg: 1.00 1.03 1.34 2/191 15862
/proc/meminfo: memFree=23377156/32770624 swapFree=66952312/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+993.3 s]
/proc/loadavg: 1.00 1.03 1.34 2/191 15862
/proc/meminfo: memFree=23377156/32770624 swapFree=66952312/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): 993.369
CPU time (s): 992.886
CPU user time (s): 976.563
CPU system time (s): 16.3233
CPU usage (%): 99.9513
Max. virtual memory (cumulated for all children) (KiB): 31045936
Max. memory (cumulated for all children) (KiB): 30239148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 976.563
system time used= 16.3233
maximum resident set size= 30239148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11562566
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= 795
involuntary context switches= 512
# summary of solver processes directly reported to runsolver:
# pid: 15745
# total CPU time (s): 992.886
# total CPU user time (s): 976.563
# total CPU system time (s): 16.3233
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.50746 second user time and 6.72005 second system time
The end
Begin job on node117 at 2019-09-16 03:42:30
IDJOB=4398121
IDBENCH=120457
IDSOLVER=2851
FILE ID=node117/4398121-1568598192
RUNJOBID= node117-1568598149-15728
PBS_JOBID= 21703418
Free space on /tmp= 61184 MiB
SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/StripPacking/StripPacking-m1-seriesT/StripPacking-T1e.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398121-1568598192/watcher-4398121-1568598192 -o /tmp/evaluation-result-4398121-1568598192/solver-4398121-1568598192 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568598149-15728 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398121-1568598192.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= f7b8b642e131c8af917aaf97f4ae3b24
RANDOM SEED=181819922
node117.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.75
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.75
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.75
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.75
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: 31602520 kB
MemAvailable: 31853784 kB
Buffers: 80904 kB
Cached: 452380 kB
SwapCached: 51248 kB
Active: 477876 kB
Inactive: 108700 kB
Active(anon): 2984 kB
Inactive(anon): 87864 kB
Active(file): 474892 kB
Inactive(file): 20836 kB
Unevictable: 108824 kB
Mlocked: 108824 kB
SwapTotal: 67108860 kB
SwapFree: 66952276 kB
Dirty: 2736 kB
Writeback: 0 kB
AnonPages: 112540 kB
Mapped: 38648 kB
Shmem: 28292 kB
Slab: 171532 kB
SReclaimable: 142740 kB
SUnreclaim: 28792 kB
KernelStack: 3360 kB
PageTables: 5336 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 506304 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= 61184 MiB
End job on node117 at 2019-09-16 03:59:03