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-4409345-1569818128.xml
0.00/0.00 c intension le(add(w[0],x[0]),200) -> extension (support ? 0) - 119tuples
0.00/0.00 c intension le(add(w[1],x[1]),200) -> extension (support ? 0) - 69tuples
0.00/0.00 c intension le(add(w[2],x[2]),200) -> extension (support ? 0) - 115tuples
0.00/0.00 c intension le(add(w[3],x[3]),200) -> extension (support ? 0) - 156tuples
0.00/0.01 c intension le(add(w[4],x[4]),200) -> extension (support ? 0) - 157tuples
0.00/0.01 c intension le(add(w[5],x[5]),200) -> extension (support ? 0) - 35tuples
0.00/0.01 c intension le(add(w[6],x[6]),200) -> extension (support ? 0) - 52tuples
0.00/0.01 c intension le(add(w[7],x[7]),200) -> extension (support ? 0) - 38tuples
0.00/0.01 c intension le(add(w[8],x[8]),200) -> extension (support ? 0) - 64tuples
0.00/0.01 c intension le(add(w[9],x[9]),200) -> extension (support ? 0) - 48tuples
0.00/0.01 c intension le(add(w[10],x[10]),200) -> extension (support ? 0) - 102tuples
0.00/0.01 c intension le(add(w[11],x[11]),200) -> extension (support ? 0) - 71tuples
0.00/0.01 c intension le(add(w[12],x[12]),200) -> extension (support ? 0) - 115tuples
0.00/0.01 c intension le(add(w[13],x[13]),200) -> extension (support ? 0) - 133tuples
0.00/0.01 c intension le(add(w[14],x[14]),200) -> extension (support ? 0) - 141tuples
0.00/0.02 c intension le(add(w[15],x[15]),200) -> extension (support ? 0) - 37tuples
0.00/0.02 c intension le(add(w[16],x[16]),200) -> extension (support ? 0) - 153tuples
0.00/0.02 c intension le(add(h[0],y[0]),200) -> extension (support ? 0) - 119tuples
0.00/0.02 c intension le(add(h[1],y[1]),200) -> extension (support ? 0) - 69tuples
0.00/0.02 c intension le(add(h[2],y[2]),200) -> extension (support ? 0) - 115tuples
0.00/0.02 c intension le(add(h[3],y[3]),200) -> extension (support ? 0) - 156tuples
0.00/0.02 c intension le(add(h[4],y[4]),200) -> extension (support ? 0) - 157tuples
0.00/0.02 c intension le(add(h[5],y[5]),200) -> extension (support ? 0) - 35tuples
0.00/0.02 c intension le(add(h[6],y[6]),200) -> extension (support ? 0) - 52tuples
0.00/0.02 c intension le(add(h[7],y[7]),200) -> extension (support ? 0) - 38tuples
0.00/0.02 c intension le(add(h[8],y[8]),200) -> extension (support ? 0) - 64tuples
0.00/0.02 c intension le(add(h[9],y[9]),200) -> extension (support ? 0) - 48tuples
0.00/0.03 c intension le(add(h[10],y[10]),200) -> extension (support ? 0) - 102tuples
0.00/0.03 c intension le(add(h[11],y[11]),200) -> extension (support ? 0) - 71tuples
0.00/0.03 c intension le(add(h[12],y[12]),200) -> extension (support ? 0) - 115tuples
0.00/0.03 c intension le(add(h[13],y[13]),200) -> extension (support ? 0) - 133tuples
0.00/0.03 c intension le(add(h[14],y[14]),200) -> extension (support ? 0) - 141tuples
0.00/0.03 c intension le(add(h[15],y[15]),200) -> extension (support ? 0) - 37tuples
0.00/0.03 c intension le(add(h[16],y[16]),200) -> extension (support ? 0) - 153tuples
861.09/861.43 c =========================================================================================================
861.09/861.43 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 (15101 MiB free)
memory of node 1: 16384 MiB (15646 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409345-1569818128/watcher-4409345-1569818128 -o /tmp/evaluation-result-4409345-1569818128/solver-4409345-1569818128 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1569818076-3952 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409345-1569818128.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
Current StackSize limit: 8192 KiB
solver pid=4117, runsolver pid=4114
[startup+0.100157 s]*
/proc/loadavg: 1.01 1.02 1.10 2/192 4118
/proc/meminfo: memFree=31481480/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=32564 memory=9000 CPUtime=0.1 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 2411 0 0 0 10 0 0 0 20 0 1 0 558061272 33345536 2184 33554432000 4194304 6211132 140731288943344 140731288939880 139899338935269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 8141 2250 838 493 0 1446 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32564 KiB
Current children cumulated memory: 9000 KiB
[startup+0.209208 s]*
/proc/loadavg: 1.01 1.02 1.10 2/192 4118
/proc/meminfo: memFree=31479248/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=34996 memory=11036 CPUtime=0.21 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 2983 0 0 0 21 0 0 0 20 0 1 0 558061272 35835904 2759 33554432000 4194304 6211132 140731288943344 140731288939880 139899338935269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 8749 2759 838 493 0 2054 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34996 KiB
Current children cumulated memory: 11036 KiB
[startup+0.308592 s]*
/proc/loadavg: 1.01 1.02 1.10 2/192 4118
/proc/meminfo: memFree=31477016/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=37016 memory=13164 CPUtime=0.3 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 3484 0 0 0 30 0 0 0 20 0 1 0 558061272 37904384 3291 33554432000 4194304 6211132 140731288943344 140731288939880 5453954 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 9254 3291 838 493 0 2559 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 13164 KiB
[startup+0.700329 s]
/proc/loadavg: 1.01 1.02 1.10 2/192 4118
/proc/meminfo: memFree=31473172/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=46052 memory=20948 CPUtime=0.69 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 5446 0 0 0 69 0 0 0 20 0 1 0 558061272 47157248 5237 33554432000 4194304 6211132 140731288943344 140731288939880 139899338935269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 11513 5237 838 493 0 4818 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 46052 KiB
Current children cumulated memory: 20948 KiB
[startup+1.50033 s]
/proc/loadavg: 1.01 1.02 1.10 2/192 4118
/proc/meminfo: memFree=31463252/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=64064 memory=37120 CPUtime=1.49 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 9471 0 0 0 148 1 0 0 20 0 1 0 558061272 65601536 9280 33554432000 4194304 6211132 140731288943344 140731288936488 139899338935269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 16016 9280 838 493 0 9321 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 64064 KiB
Current children cumulated memory: 37120 KiB
[startup+3.10864 s]
/proc/loadavg: 1.01 1.02 1.10 2/192 4118
/proc/meminfo: memFree=31421948/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=94280 memory=70144 CPUtime=3.1 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 16765 0 0 0 308 2 0 0 20 0 1 0 558061272 96542720 17536 33554432000 4194304 6211132 140731288943344 140731288936488 139899338935269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 23570 17536 838 493 0 16875 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 94280 KiB
Current children cumulated memory: 70144 KiB
[startup+6.30032 s]
/proc/loadavg: 1.01 1.02 1.10 2/192 4118
/proc/meminfo: memFree=31360456/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=163372 memory=136540 CPUtime=6.3 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 30820 0 0 0 626 4 0 0 20 0 1 0 558061272 167292928 34135 33554432000 4194304 6211132 140731288943344 140731288936488 139899338935269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 40843 34135 838 493 0 34148 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 163372 KiB
Current children cumulated memory: 136540 KiB
[startup+12.7003 s]
/proc/loadavg: 1.01 1.02 1.10 2/192 4118
/proc/meminfo: memFree=31237240/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=306884 memory=267368 CPUtime=12.69 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 57429 0 0 0 1261 8 0 0 20 0 1 0 558061272 314249216 66842 33554432000 4194304 6211132 140731288943344 140731288936488 5441163 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 76721 66842 838 493 0 70026 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 306884 KiB
Current children cumulated memory: 267368 KiB
[startup+25.5003 s]
/proc/loadavg: 1.00 1.01 1.09 2/191 4118
/proc/meminfo: memFree=30970968/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=605428 memory=528648 CPUtime=25.49 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 107972 0 0 0 2535 14 0 0 20 0 1 0 558061272 619958272 132162 33554432000 4194304 6211132 140731288943344 140731288936488 139899338935269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 151357 132162 838 493 0 144662 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 605428 KiB
Current children cumulated memory: 528648 KiB
[startup+51.1085 s]
/proc/loadavg: 1.00 1.01 1.09 2/191 4121
/proc/meminfo: memFree=29931456/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=1642056 memory=1561652 CPUtime=51.1 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 302849 0 0 0 5066 44 0 0 20 0 1 0 558061272 1681465344 390413 33554432000 4194304 6211132 140731288943344 140731288936488 139899338935269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 410514 390413 838 493 0 403819 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 1642056 KiB
Current children cumulated memory: 1561652 KiB
[startup+102.3 s]
/proc/loadavg: 1.00 1.01 1.09 2/191 4123
/proc/meminfo: memFree=27420964/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=4447528 memory=4068500 CPUtime=102.26 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 775739 0 0 0 10117 109 0 0 20 0 1 0 558061272 4554268672 1017125 33554432000 4194304 6211132 140731288943344 140731288936488 139899338935269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 1111882 1017125 838 493 0 1105187 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 4447528 KiB
Current children cumulated memory: 4068500 KiB
[startup+162.3 s]
/proc/loadavg: 1.00 1.01 1.08 2/191 4126
/proc/meminfo: memFree=26194892/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=5504392 memory=5293800 CPUtime=162.24 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 1006438 0 0 0 16083 141 0 0 20 0 1 0 558061272 5636497408 1323450 33554432000 4194304 6211132 140731288943344 140731288936488 139899338935269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 1376098 1323450 838 493 0 1369403 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 5504392 KiB
Current children cumulated memory: 5293800 KiB
[startup+222.3 s]
/proc/loadavg: 1.00 1.01 1.07 2/191 4131
/proc/meminfo: memFree=23806556/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=7931148 memory=7686704 CPUtime=222.22 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 1456512 0 0 0 22016 206 0 0 20 0 1 0 558061272 8121495552 1921676 33554432000 4194304 6211132 140731288943344 140731288936488 139899338935269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 1982787 1921676 838 493 0 1976092 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 7931148 KiB
Current children cumulated memory: 7686704 KiB
[startup+282.3 s]
/proc/loadavg: 1.00 1.01 1.07 2/191 4134
/proc/meminfo: memFree=21830068/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=10479800 memory=9659948 CPUtime=282.19 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 1827202 0 0 0 27961 258 0 0 20 0 1 0 558061272 10731315200 2414987 33554432000 4194304 6211132 140731288943344 140731288936488 139899338935269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 2619950 2414987 838 493 0 2613255 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 10479800 KiB
Current children cumulated memory: 9659948 KiB
[startup+342.3 s]
/proc/loadavg: 1.00 1.01 1.06 2/193 4146
/proc/meminfo: memFree=19188608/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=12450824 memory=12286340 CPUtime=342.16 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 2320368 0 0 0 33885 331 0 0 20 0 1 0 558061272 12749643776 3071585 33554432000 4194304 6211132 140731288943344 140731288936488 139899338935269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 3112706 3071585 838 493 0 3106011 0
Current children cumulated CPU time: 342.16 s
Current children cumulated vsize: 12450824 KiB
Current children cumulated memory: 12286340 KiB
[startup+402.3 s]
/proc/loadavg: 1.00 1.01 1.06 2/193 4151
/proc/meminfo: memFree=17964072/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=14973340 memory=13508044 CPUtime=402.14 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 2550791 0 0 0 39840 374 0 0 20 0 1 0 558061272 15332700160 3377011 33554432000 4194304 6211132 140731288943344 140731288936488 139899338931006 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 3743335 3377011 838 493 0 3736640 0
Current children cumulated CPU time: 402.14 s
Current children cumulated vsize: 14973340 KiB
Current children cumulated memory: 13508044 KiB
[startup+462.3 s]
/proc/loadavg: 1.00 1.01 1.05 2/193 4154
/proc/meminfo: memFree=15386176/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=16903312 memory=16083216 CPUtime=462.12 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 3033695 0 0 0 45750 462 0 0 20 0 1 0 558061272 17308991488 4020804 33554432000 4194304 6211132 140731288943344 140731288936488 139899338935269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 4225828 4020804 838 493 0 4219133 0
Current children cumulated CPU time: 462.12 s
Current children cumulated vsize: 16903312 KiB
Current children cumulated memory: 16083216 KiB
[startup+522.3 s]
/proc/loadavg: 1.00 1.01 1.05 2/193 4157
/proc/meminfo: memFree=13346824/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=18715452 memory=18127124 CPUtime=522.1 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 3417567 0 0 0 51659 551 0 0 20 0 1 0 558061272 19164622848 4531781 33554432000 4194304 6211132 140731288943344 140731288936488 139899338935269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 4678863 4531781 838 493 0 4672168 0
Current children cumulated CPU time: 522.1 s
Current children cumulated vsize: 18715452 KiB
Current children cumulated memory: 18127124 KiB
[startup+582.3 s]
/proc/loadavg: 1.00 1.01 1.05 2/193 4162
/proc/meminfo: memFree=10986972/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=22603264 memory=20469576 CPUtime=582.08 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 3858167 0 0 0 57551 657 0 0 20 0 1 0 558061272 23145742336 5117394 33554432000 4194304 6211132 140731288943344 140731288936488 139899338935269 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 5650816 5117394 838 493 0 5644121 0
Current children cumulated CPU time: 582.08 s
Current children cumulated vsize: 22603264 KiB
Current children cumulated memory: 20469576 KiB
[startup+642.3 s]
/proc/loadavg: 1.00 1.01 1.05 2/191 4165
/proc/meminfo: memFree=9764660/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=23519080 memory=21692652 CPUtime=642.06 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 4087374 0 0 0 63497 709 0 0 20 0 1 0 558061272 24083537920 5423163 33554432000 4194304 6211132 140731288943344 140731288936488 139899338935269 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 5879770 5423163 838 493 0 5873075 0
Current children cumulated CPU time: 642.06 s
Current children cumulated vsize: 23519080 KiB
Current children cumulated memory: 21692652 KiB
[startup+702.3 s]
/proc/loadavg: 1.00 1.01 1.05 2/191 4168
/proc/meminfo: memFree=7197940/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=25438756 memory=24251312 CPUtime=702.04 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 4567709 0 0 0 69408 796 0 0 20 0 1 0 558061272 26049286144 6062828 33554432000 4194304 6211132 140731288943344 140731288936488 139899338935269 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 6359689 6062828 838 493 0 6352994 0
Current children cumulated CPU time: 702.04 s
Current children cumulated vsize: 25438756 KiB
Current children cumulated memory: 24251312 KiB
[startup+762.3 s]
/proc/loadavg: 1.00 1.01 1.05 2/191 4173
/proc/meminfo: memFree=4943728/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=27134956 memory=26512772 CPUtime=762.02 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 4992168 0 0 0 75322 880 0 0 20 0 1 0 558061272 27786194944 6628193 33554432000 4194304 6211132 140731288943344 140731288936488 139899338935269 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 6783739 6628193 838 493 0 6777044 0
Current children cumulated CPU time: 762.02 s
Current children cumulated vsize: 27134956 KiB
Current children cumulated memory: 26512772 KiB
[startup+822.3 s]
/proc/loadavg: 1.00 1.01 1.05 2/191 4176
/proc/meminfo: memFree=2816504/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=29141096 memory=28628924 CPUtime=822 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 5389468 0 0 0 81237 963 0 0 20 0 1 0 558061272 29840482304 7157231 33554432000 4194304 6211132 140731288943344 140731288936488 139899338931006 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 7285274 7157231 838 493 0 7278579 0
Current children cumulated CPU time: 822 s
Current children cumulated vsize: 29141096 KiB
Current children cumulated memory: 28628924 KiB
[startup+862.831 s]
# the end of solver process 4117 was just reported to runsolver
# cumulated CPU time of all completed processes: user=849.9 s, system=12.6227 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+844.8 s]
/proc/loadavg: 1.00 1.01 1.05 2/191 4179
/proc/meminfo: memFree=2367960/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=29483636 memory=29084088 CPUtime=844.49 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 5475238 0 0 0 83464 985 0 0 20 0 1 0 558061272 30191243264 7271022 33554432000 4194304 6211132 140731288943344 140731288936488 139899338935269 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 7370909 7271022 838 493 0 7364214 0
Current children cumulated CPU time: 844.49 s
Current children cumulated vsize: 29483636 KiB
Current children cumulated memory: 29084088 KiB
[startup+851.2 s]
/proc/loadavg: 1.00 1.01 1.05 2/191 4179
/proc/meminfo: memFree=2226908/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=29580920 memory=29212160 CPUtime=850.88 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 5499564 0 0 0 84095 993 0 0 20 0 1 0 558061272 30290862080 7303040 33554432000 4194304 6211132 140731288943344 140731288936488 5452255 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 7395230 7303040 838 493 0 7388535 0
Current children cumulated CPU time: 850.88 s
Current children cumulated vsize: 29580920 KiB
Current children cumulated memory: 29212160 KiB
[startup+857.6 s]
/proc/loadavg: 1.00 1.01 1.05 2/191 4179
/proc/meminfo: memFree=2104192/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=29678600 memory=29344760 CPUtime=857.28 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 5524035 0 0 0 84729 999 0 0 20 0 1 0 558061272 30390886400 7336190 33554432000 4194304 6211132 140731288943344 140731288936488 5446307 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 7419683 7336190 838 493 0 7412988 0
Current children cumulated CPU time: 857.28 s
Current children cumulated vsize: 29678600 KiB
Current children cumulated memory: 29344760 KiB
[startup+860.8 s]
/proc/loadavg: 1.00 1.01 1.05 2/191 4179
/proc/meminfo: memFree=2062076/32770624 swapFree=67002192/67108860
[pid=4117] ppid=4114 vsize=29765916 memory=29372040 CPUtime=860.48 cores=0-7
/proc/4117/stat : 4117 (cosoco) R 4114 4117 3925 0 -1 4202496 6226938 0 0 0 84945 1103 0 0 20 0 1 0 558061272 30480297984 7343010 33554432000 4194304 6211132 140731288943344 140731288936552 139899338927726 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 27783168 140731288945681 140731288945773 140731288945773 140731288948686 0
/proc/4117/statm: 7441479 7343010 863 493 0 7434784 0
Current children cumulated CPU time: 860.48 s
Current children cumulated vsize: 29765916 KiB
Current children cumulated memory: 29372040 KiB
[startup+861.609 s]
/proc/loadavg: 1.00 1.01 1.05 2/191 4179
/proc/meminfo: memFree=5425460/32770624 swapFree=67002192/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+862.4 s]
/proc/loadavg: 1.00 1.01 1.05 2/191 4179
/proc/meminfo: memFree=14312736/32770624 swapFree=67002192/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+862.8 s]
/proc/loadavg: 1.00 1.01 1.05 2/191 4179
/proc/meminfo: memFree=14312736/32770624 swapFree=67002192/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): 862.831
CPU time (s): 862.523
CPU user time (s): 849.9
CPU system time (s): 12.6227
CPU usage (%): 99.9643
Max. virtual memory (cumulated for all children) (KiB): 29765916
Max. memory (cumulated for all children) (KiB): 29372040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 849.9
system time used= 12.6227
maximum resident set size= 29372040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6693458
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= 674
involuntary context switches= 492
# summary of solver processes directly reported to runsolver:
# pid: 4117
# total CPU time (s): 862.523
# total CPU user time (s): 849.9
# total CPU system time (s): 12.6227
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.22138 second user time and 5.53627 second system time
The end
Begin job on node136 at 2019-09-30 06:34:42
IDJOB=4409345
IDBENCH=120419
IDSOLVER=2877
FILE ID=node136/4409345-1569818128
RUNJOBID= node136-1569818076-3952
PBS_JOBID= 21705924
Free space on /tmp= 62032 MiB
SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/StripPacking/StripPacking-m1-seriesN/StripPacking-N1c.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409345-1569818128/watcher-4409345-1569818128 -o /tmp/evaluation-result-4409345-1569818128/solver-4409345-1569818128 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1569818076-3952 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409345-1569818128.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 19f4dcf35e46defaa68e633424c84ce1
RANDOM SEED=297371274
node136.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.00
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.54
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.00
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.54
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.00
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.54
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.00
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.54
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31485912 kB
MemAvailable: 31849756 kB
Buffers: 99488 kB
Cached: 585252 kB
SwapCached: 3864 kB
Active: 475752 kB
Inactive: 216852 kB
Active(anon): 3304 kB
Inactive(anon): 86024 kB
Active(file): 472448 kB
Inactive(file): 130828 kB
Unevictable: 107484 kB
Mlocked: 107484 kB
SwapTotal: 67108860 kB
SwapFree: 67002192 kB
Dirty: 2892 kB
Writeback: 28 kB
AnonPages: 107140 kB
Mapped: 26824 kB
Shmem: 72848 kB
Slab: 182664 kB
SReclaimable: 152804 kB
SUnreclaim: 29860 kB
KernelStack: 3712 kB
PageTables: 5100 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 540004 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 61440 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 120192 kB
DirectMap2M: 33425408 kB
Free space on /tmp at the end= 62028 MiB
End job on node136 at 2019-09-30 06:49:05