Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 | ? (exit code) | 278.065 | 278.135 |
| Name | Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-10-opt_c18.xml |
| MD5SUM | d97bf760713e7741c92fd1268dd09e15 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4749 |
| Number of constraints | 4689 |
| Number of domains | 11 |
| Minimum domain size | 2 |
| Maximum domain size | 44 |
| Distribution of domain sizes | [{"size":2,"count":4069},{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 63 |
| Distribution of variable degrees | [{"degree":2,"count":4070},{"degree":3,"count":1},{"degree":4,"count":27},{"degree":5,"count":22},{"degree":6,"count":78},{"degree":7,"count":29},{"degree":8,"count":79},{"degree":9,"count":23},{"degree":10,"count":77},{"degree":11,"count":29},{"degree":12,"count":39},{"degree":13,"count":29},{"degree":14,"count":40},{"degree":15,"count":18},{"degree":16,"count":32},{"degree":17,"count":15},{"degree":18,"count":21},{"degree":19,"count":8},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":10},{"degree":23,"count":9},{"degree":24,"count":6},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":3},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":3},{"degree":31,"count":5},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":1,"count":280},{"arity":2,"count":646},{"arity":3,"count":3763}] |
| Number of extensional constraints | 4409 |
| Number of intensional constraints | 280 |
| Distribution of constraint types | [{"type":"extension","count":4409},{"type":"intension","count":280}] |
| Optimization problem | YES |
| Type of objective | min SUM |
7.10/7.14 c 7.10/7.14 c This is cosoco 2.00 -- 7.10/7.14 c 7.10/7.14 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397606-1568591847.xml 7.10/7.14 c enable optimization 7.10/7.14 c ========================================[ Problem Statistics ]=========================================== 7.10/7.14 c | 7.10/7.14 c | Parse time : 5.64 s 7.10/7.14 c | 7.10/7.14 c | Variables: 4749 7.10/7.14 c | Domain Sizes: 2..44 7.10/7.14 c | 7.10/7.14 c | Constraints: 4690 7.10/7.14 c | Arity: 1..4069 -- Unary: 280 -- Binary: 646 -- Ternary: 3763 7.10/7.14 c | 7.10/7.14 c | Types: 7.10/7.14 c | Extension: 4409 (nb tuples: 6..1936) -- (shared: 3337) 7.10/7.14 c | Sum: 1 7.10/7.14 c | Unary: 280 7.10/7.14 c | 7.10/7.14 c | Objective: Minimize Sum 7.10/7.14 7.10/7.14 c ========================================================================================================= 7.10/7.14 o 2250853 7.10/7.15 c 1 calls to solver(id=0): best=2250853 lower=0 upper=2250852 9.29/9.36 o 2250754 11.38/11.44 o 2250753 11.38/11.44 c 3 calls to solver(id=0): best=2250753 lower=0 upper=2250752 13.38/13.49 o 2250653 15.48/15.55 o 2050653 15.48/15.55 c 5 calls to solver(id=0): best=2050653 lower=0 upper=2050652 17.58/17.69 o 2050462 19.68/19.74 o 2030462 19.68/19.74 c 7 calls to solver(id=0): best=2030462 lower=0 upper=2030461 21.67/21.75 o 2012662 23.68/23.78 o 2010666 23.68/23.79 c 9 calls to solver(id=0): best=2010666 lower=0 upper=2010665 25.77/25.82 o 1991666 27.77/27.82 o 1991664 27.77/27.82 c 11 calls to solver(id=0): best=1991664 lower=0 upper=1991663 29.77/29.81 o 1991663 31.77/31.81 o 1971663 31.77/31.81 c 13 calls to solver(id=0): best=1971663 lower=0 upper=1971662 33.67/33.78 o 1970764 35.67/35.76 o 1950864 35.67/35.76 c 15 calls to solver(id=0): best=1950864 lower=0 upper=1950863 37.67/37.73 o 1750864 39.67/39.72 o 1730966 39.67/39.72 c 17 calls to solver(id=0): best=1730966 lower=0 upper=1730965 41.57/41.68 o 1730863 43.57/43.63 o 1530864 43.57/43.63 c 19 calls to solver(id=0): best=1530864 lower=0 upper=1530863 45.46/45.56 o 1530667 47.46/47.58 o 1529667 47.46/47.58 c 21 calls to solver(id=0): best=1529667 lower=0 upper=1529666 49.46/49.52 o 1527667 51.36/51.43 o 1527666 51.36/51.43 c 23 calls to solver(id=0): best=1527666 lower=0 upper=1527665 57.16/57.24 o 1381101 59.07/59.19 o 1380101 59.07/59.19 c 25 calls to solver(id=0): best=1380101 lower=0 upper=1380100 61.07/61.13 o 1380001 62.97/63.05 o 1380000 62.97/63.05 c 27 calls to solver(id=0): best=1380000 lower=0 upper=1379999 64.86/64.98 o 1379998 68.56/68.67 o 1379898 68.56/68.67 c 29 calls to solver(id=0): best=1379898 lower=0 upper=1379897 72.26/72.32 o 1379896 74.16/74.21 o 1379895 74.16/74.22 c 31 calls to solver(id=0): best=1379895 lower=0 upper=1379894 77.76/77.85 o 1379795 81.35/81.45 o 1379695 81.35/81.45 c 33 calls to solver(id=0): best=1379695 lower=0 upper=1379694 86.65/86.71 o 1379693 90.14/90.29 o 1379692 90.24/90.30 c 35 calls to solver(id=0): best=1379692 lower=0 upper=1379691 95.34/95.47 o 1379592 98.84/98.99 o 1379591 98.84/98.99 c 37 calls to solver(id=0): best=1379591 lower=0 upper=1379590 100.74/100.83 o 1379491 105.84/105.93 o 1379291 105.84/105.93 c 39 calls to solver(id=0): best=1379291 lower=0 upper=1379290 110.94/111.02 o 1379191 114.34/114.47 o 1379190 114.34/114.47 c 41 calls to solver(id=0): best=1379190 lower=0 upper=1379189 119.44/119.56 o 1359190 122.84/123.00 o 1359188 122.95/123.01 c 43 calls to solver(id=0): best=1359188 lower=0 upper=1359187 127.95/128.08 o 1358988 129.83/129.91 o 1358987 129.83/129.91 c 45 calls to solver(id=0): best=1358987 lower=0 upper=1358986 134.94/135.01 o 1358985 139.94/140.01 o 1358084 139.94/140.01 c 47 calls to solver(id=0): best=1358084 lower=0 upper=1358083 144.83/144.94 o 1338085 149.83/149.92 o 1337885 149.83/149.92 c 49 calls to solver(id=0): best=1337885 lower=0 upper=1337884 154.73/154.83 o 1337685 158.04/158.19 o 1337585 158.04/158.19 c 51 calls to solver(id=0): best=1337585 lower=0 upper=1337584 162.94/163.06 o 1337483 164.73/164.84 o 1337383 164.73/164.84 c 53 calls to solver(id=0): best=1337383 lower=0 upper=1337382 169.53/169.67 o 1337381 174.33/174.48 o 1335382 174.33/174.48 c 55 calls to solver(id=0): best=1335382 lower=0 upper=1335381 179.23/179.31 o 1335182 182.23/182.36 o 1335082 182.23/182.36 c 57 calls to solver(id=0): best=1335082 lower=0 upper=1335081 187.04/187.17 o 1334882 191.83/191.90 o 1334685 191.83/191.90 c 59 calls to solver(id=0): best=1334685 lower=0 upper=1334684 196.63/196.76 o 1334485 201.42/201.52 o 1334383 201.42/201.53 c 61 calls to solver(id=0): best=1334383 lower=0 upper=1334382 206.12/206.27 o 1334183 210.82/210.96 o 1333983 210.82/210.97 c 63 calls to solver(id=0): best=1333983 lower=0 upper=1333982 215.62/215.72 o 1333783 220.42/220.54 o 1333583 220.42/220.55 c 65 calls to solver(id=0): best=1333583 lower=0 upper=1333582 224.93/225.10 o 1333581 229.42/229.54 o 1333481 229.42/229.54 c 67 calls to solver(id=0): best=1333481 lower=0 upper=1333480 235.62/235.70 o 1331986 241.82/241.91 o 1331785 241.82/241.91 c 69 calls to solver(id=0): best=1331785 lower=0 upper=1331784 248.03/248.15 o 1331782 254.12/254.27 o 1331582 254.12/254.27 c 71 calls to solver(id=0): best=1331582 lower=0 upper=1331581 260.22/260.35 o 1331382 266.03/266.19 o 1331182 266.03/266.19 c 73 calls to solver(id=0): best=1331182 lower=0 upper=1331181 271.82/271.99 o 1329493 278.03/278.13 Solution Error : constraint number 4270 (name ) is not valid
One s line expected
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 (14562 MiB free)
memory of node 1: 16384 MiB (15135 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397606-1568591847/watcher-4397606-1568591847 -o /tmp/evaluation-result-4397606-1568591847/solver-4397606-1568591847 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568569106-4725 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397606-1568591847.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
solver pid=8760, runsolver pid=8757
Current StackSize limit: 8192 KiB
[startup+0.10016 s]*
/proc/loadavg: 2.35 2.08 2.07 3/198 8761
/proc/meminfo: memFree=30404868/32770624 swapFree=66999256/67108860
[pid=8760] ppid=8757 vsize=34396 memory=10528 CPUtime=0.1 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 2855 0 0 0 10 0 0 0 20 0 1 0 435439178 35221504 2632 33554432000 4194304 6211092 140731552872368 140731552868248 5817892 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 8599 2632 815 493 0 1904 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34396 KiB
Current children cumulated memory: 10528 KiB
[startup+0.209726 s]*
/proc/loadavg: 2.35 2.08 2.07 3/198 8761
/proc/meminfo: memFree=30402636/32770624 swapFree=66999256/67108860
[pid=8760] ppid=8757 vsize=36436 memory=12640 CPUtime=0.21 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 3359 0 0 0 21 0 0 0 20 0 1 0 435439178 37310464 3160 33554432000 4194304 6211092 140731552872368 140731552868248 5742376 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 9109 3160 816 493 0 2414 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36436 KiB
Current children cumulated memory: 12640 KiB
[startup+0.309098 s]*
/proc/loadavg: 2.35 2.08 2.07 3/198 8761
/proc/meminfo: memFree=30399660/32770624 swapFree=66999256/67108860
[pid=8760] ppid=8757 vsize=39444 memory=15732 CPUtime=0.31 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 4116 0 0 0 31 0 0 0 20 0 1 0 435439178 40390656 3933 33554432000 4194304 6211092 140731552872368 140731552869640 5818587 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 9861 3933 816 493 0 3166 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39444 KiB
Current children cumulated memory: 15732 KiB
[startup+0.700286 s]
/proc/loadavg: 2.35 2.08 2.07 3/198 8761
/proc/meminfo: memFree=30394472/32770624 swapFree=66999256/67108860
[pid=8760] ppid=8757 vsize=49028 memory=24972 CPUtime=0.69 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 6440 0 0 0 69 0 0 0 20 0 1 0 435439178 50204672 6243 33554432000 4194304 6211092 140731552872368 140731552869640 5743366 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 12257 6243 816 493 0 5562 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49028 KiB
Current children cumulated memory: 24972 KiB
[startup+1.5003 s]
/proc/loadavg: 2.35 2.08 2.07 3/198 8761
/proc/meminfo: memFree=30383188/32770624 swapFree=66999256/67108860
[pid=8760] ppid=8757 vsize=68260 memory=43944 CPUtime=1.49 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 11188 0 0 0 148 1 0 0 20 0 1 0 435439178 69898240 10986 33554432000 4194304 6211092 140731552872368 140731552867864 140544222899173 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 17065 10986 816 493 0 10370 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 68260 KiB
Current children cumulated memory: 43944 KiB
[startup+3.10944 s]
/proc/loadavg: 2.35 2.08 2.07 3/198 8763
/proc/meminfo: memFree=30321332/32770624 swapFree=66999256/67108860
[pid=8760] ppid=8757 vsize=120032 memory=95272 CPUtime=3.1 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 25292 0 0 0 306 4 0 0 20 0 1 0 435439178 122912768 23818 33554432000 4194304 6211092 140731552872368 140731552867864 5816123 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 30008 23818 819 493 0 23313 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 120032 KiB
Current children cumulated memory: 95272 KiB
[startup+6.30038 s]
/proc/loadavg: 2.32 2.08 2.07 3/198 8763
/proc/meminfo: memFree=30197532/32770624 swapFree=66999256/67108860
[pid=8760] ppid=8757 vsize=256768 memory=231332 CPUtime=6.29 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 74158 0 0 0 619 10 0 0 20 0 1 0 435439178 262930432 57833 33554432000 4194304 6211092 140731552872368 140731552869640 5155800 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 64192 57833 874 493 0 57497 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 256768 KiB
Current children cumulated memory: 231332 KiB
[startup+12.7004 s]
/proc/loadavg: 2.29 2.08 2.07 3/198 8763
/proc/meminfo: memFree=30074672/32770624 swapFree=66999256/67108860
[pid=8760] ppid=8757 vsize=369288 memory=339012 CPUtime=12.68 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 152787 0 0 0 1250 18 0 0 20 0 1 0 435439178 378150912 84753 33554432000 4194304 6211092 140731552872368 140731552860248 5157544 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 92322 84753 875 493 0 85627 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 369288 KiB
Current children cumulated memory: 339012 KiB
[startup+25.5004 s]
/proc/loadavg: 2.23 2.07 2.06 3/198 8763
/proc/meminfo: memFree=30065480/32770624 swapFree=66999256/67108860
[pid=8760] ppid=8757 vsize=379352 memory=348528 CPUtime=25.48 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 203521 0 0 0 2526 22 0 0 20 0 1 0 435439178 388456448 87132 33554432000 4194304 6211092 140731552872368 140731552860248 5157540 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 94838 87132 875 493 0 88143 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 379352 KiB
Current children cumulated memory: 348528 KiB
[startup+51.1094 s]
/proc/loadavg: 2.21 2.08 2.07 3/198 8766
/proc/meminfo: memFree=30063712/32770624 swapFree=66999256/67108860
[pid=8760] ppid=8757 vsize=380352 memory=350140 CPUtime=51.07 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 248199 0 0 0 5083 24 0 0 20 0 1 0 435439178 389480448 87535 33554432000 4194304 6211092 140731552872368 140731552870504 5157562 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 95088 87535 875 493 0 88393 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 380352 KiB
Current children cumulated memory: 350140 KiB
[startup+102.3 s]
/proc/loadavg: 2.14 2.08 2.07 3/198 8770
/proc/meminfo: memFree=30057100/32770624 swapFree=66999256/67108860
[pid=8760] ppid=8757 vsize=385532 memory=356280 CPUtime=102.24 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 317189 0 0 0 10194 30 0 0 20 0 1 0 435439178 394784768 89070 33554432000 4194304 6211092 140731552872368 140731552870504 5155804 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 96383 89070 875 493 0 89688 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 385532 KiB
Current children cumulated memory: 356280 KiB
[startup+162.3 s]
/proc/loadavg: 2.21 2.10 2.07 3/198 8836
/proc/meminfo: memFree=30064232/32770624 swapFree=66999260/67108860
[pid=8760] ppid=8757 vsize=386392 memory=357084 CPUtime=162.23 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 336554 0 0 0 16192 31 0 0 20 0 1 0 435439178 395665408 89271 33554432000 4194304 6211092 140731552872368 140731552860248 5250234 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 96598 89271 875 493 0 89903 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 386392 KiB
Current children cumulated memory: 357084 KiB
[startup+222.3 s]
/proc/loadavg: 2.08 2.08 2.07 3/198 8840
/proc/meminfo: memFree=30055856/32770624 swapFree=66999260/67108860
[pid=8760] ppid=8757 vsize=387236 memory=363636 CPUtime=222.22 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 349393 0 0 0 22190 32 0 0 20 0 1 0 435439178 396529664 90909 33554432000 4194304 6211092 140731552872368 140731552870504 5380270 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 96809 90909 875 493 0 90114 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 387236 KiB
Current children cumulated memory: 363636 KiB
[startup+278.135 s]
# the end of solver process 8760 was just reported to runsolver
# cumulated CPU time of all completed processes: user=277.737 s, system=0.32799 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 2.06 2.08 2.07 3/198 8842
/proc/meminfo: memFree=30055460/32770624 swapFree=66999260/67108860
[pid=8760] ppid=8757 vsize=387368 memory=363736 CPUtime=230.32 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 349465 0 0 0 23000 32 0 0 20 0 1 0 435439178 396664832 90934 33554432000 4194304 6211092 140731552872368 140731552870504 5250289 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 96842 90934 875 493 0 90147 0
Current children cumulated CPU time: 230.32 s
Current children cumulated vsize: 387368 KiB
Current children cumulated memory: 363736 KiB
[startup+256 s]*
/proc/loadavg: 2.04 2.07 2.06 3/199 8850
/proc/meminfo: memFree=30054880/32770624 swapFree=66999264/67108860
[pid=8760] ppid=8757 vsize=388048 memory=364300 CPUtime=255.93 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 350656 0 0 0 25561 32 0 0 20 0 1 0 435439178 397361152 91075 33554432000 4194304 6211092 140731552872368 140731552870504 5027225 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 97012 91075 875 493 0 90317 0
Current children cumulated CPU time: 255.93 s
Current children cumulated vsize: 388048 KiB
Current children cumulated memory: 364300 KiB
[startup+268.8 s]
/proc/loadavg: 2.04 2.07 2.06 3/199 8851
/proc/meminfo: memFree=30054756/32770624 swapFree=66999264/67108860
[pid=8760] ppid=8757 vsize=388168 memory=364396 CPUtime=268.72 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 351888 0 0 0 26840 32 0 0 20 0 1 0 435439178 397484032 91099 33554432000 4194304 6211092 140731552872368 140731552860248 5409453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 97042 91099 875 493 0 90347 0
Current children cumulated CPU time: 268.72 s
Current children cumulated vsize: 388168 KiB
Current children cumulated memory: 364396 KiB
[startup+272 s]*
/proc/loadavg: 2.03 2.07 2.06 3/199 8853
/proc/meminfo: memFree=30054568/32770624 swapFree=66999264/67108860
[pid=8760] ppid=8757 vsize=388168 memory=364396 CPUtime=271.93 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 351903 0 0 0 27161 32 0 0 20 0 1 0 435439178 397484032 91099 33554432000 4194304 6211092 140731552872368 140731552860248 5027160 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 97042 91099 875 493 0 90347 0
Current children cumulated CPU time: 271.93 s
Current children cumulated vsize: 388168 KiB
Current children cumulated memory: 364396 KiB
[startup+275.2 s]
/proc/loadavg: 2.03 2.07 2.06 3/199 8854
/proc/meminfo: memFree=30054868/32770624 swapFree=66999264/67108860
[pid=8760] ppid=8757 vsize=388168 memory=364396 CPUtime=275.12 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 351920 0 0 0 27480 32 0 0 20 0 1 0 435439178 397484032 91099 33554432000 4194304 6211092 140731552872368 140731552870504 5035232 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 97042 91099 875 493 0 90347 0
Current children cumulated CPU time: 275.12 s
Current children cumulated vsize: 388168 KiB
Current children cumulated memory: 364396 KiB
[startup+276.8 s]
/proc/loadavg: 2.03 2.07 2.06 3/199 8854
/proc/meminfo: memFree=30054884/32770624 swapFree=66999264/67108860
[pid=8760] ppid=8757 vsize=388168 memory=364452 CPUtime=276.72 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 351930 0 0 0 27640 32 0 0 20 0 1 0 435439178 397484032 91113 33554432000 4194304 6211092 140731552872368 140731552870504 5157562 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 97042 91113 875 493 0 90347 0
Current children cumulated CPU time: 276.72 s
Current children cumulated vsize: 388168 KiB
Current children cumulated memory: 364452 KiB
[startup+277.6 s]
/proc/loadavg: 2.03 2.07 2.06 3/199 8854
/proc/meminfo: memFree=30054884/32770624 swapFree=66999264/67108860
[pid=8760] ppid=8757 vsize=388168 memory=364452 CPUtime=277.52 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 351933 0 0 0 27720 32 0 0 20 0 1 0 435439178 397484032 91113 33554432000 4194304 6211092 140731552872368 140731552870504 5250461 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 97042 91113 875 493 0 90347 0
Current children cumulated CPU time: 277.52 s
Current children cumulated vsize: 388168 KiB
Current children cumulated memory: 364452 KiB
[startup+278 s]*
/proc/loadavg: 2.03 2.07 2.06 3/199 8854
/proc/meminfo: memFree=30054840/32770624 swapFree=66999264/67108860
[pid=8760] ppid=8757 vsize=388168 memory=364452 CPUtime=277.93 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 351939 0 0 0 27761 32 0 0 20 0 1 0 435439178 397484032 91113 33554432000 4194304 6211092 140731552872368 140731552870504 5157540 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 97042 91113 875 493 0 90347 0
Current children cumulated CPU time: 277.93 s
Current children cumulated vsize: 388168 KiB
Current children cumulated memory: 364452 KiB
[startup+278.11 s]
/proc/loadavg: 2.03 2.07 2.06 3/199 8854
/proc/meminfo: memFree=30054840/32770624 swapFree=66999264/67108860
[pid=8760] ppid=8757 vsize=388312 memory=364452 CPUtime=278.03 cores=1,3,5,7
/proc/8760/stat : 8760 (cosoco) R 8757 8760 4693 0 -1 4202496 351960 0 0 0 27771 32 0 0 20 0 1 0 435439178 397631488 91113 33554432000 4194304 6211092 140731552872368 140731552870504 5027136 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37851136 140731552875531 140731552875633 140731552875633 140731552878542 0
/proc/8760/statm: 97078 91113 875 493 0 90383 0
Current children cumulated CPU time: 278.03 s
Current children cumulated vsize: 388312 KiB
Current children cumulated memory: 364452 KiB
Child status: 1
Real time (s): 278.135
CPU time (s): 278.065
CPU user time (s): 277.737
CPU system time (s): 0.32799
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 388312
Max. memory (cumulated for all children) (KiB): 364452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 277.737
system time used= 0.32799
maximum resident set size= 364580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351990
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= 104
involuntary context switches= 140
# summary of solver processes directly reported to runsolver:
# pid: 8760
# total CPU time (s): 278.065
# total CPU user time (s): 277.737
# total CPU system time (s): 0.32799
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.12562 second user time and 2.06283 second system time
The end
Begin job on node106 at 2019-09-16 00:56:08 IDJOB=4397606 IDBENCH=141098 IDSOLVER=2849 FILE ID=node106/4397606-1568591847 RUNJOBID= node106-1568569106-4725 PBS_JOBID= 21703334 Free space on /tmp= 59096 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP18/Rlfap_mini/Rlfap-opt_mini/Rlfap-ext-scen-10-opt_c18.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397606-1568591847/watcher-4397606-1568591847 -o /tmp/evaluation-result-4397606-1568591847/solver-4397606-1568591847 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568569106-4725 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397606-1568591847.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d97bf760713e7741c92fd1268dd09e15 RANDOM SEED=1938357898 node106.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.79 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.79 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.79 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.79 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: 30411516 kB MemAvailable: 31872316 kB Buffers: 205168 kB Cached: 1545996 kB SwapCached: 8124 kB Active: 522304 kB Inactive: 1265484 kB Active(anon): 37104 kB Inactive(anon): 43104 kB Active(file): 485200 kB Inactive(file): 1222380 kB Unevictable: 107116 kB Mlocked: 107116 kB SwapTotal: 67108860 kB SwapFree: 66999256 kB Dirty: 18452 kB Writeback: 0 kB AnonPages: 95220 kB Mapped: 43876 kB Shmem: 35036 kB Slab: 167604 kB SReclaimable: 138112 kB SUnreclaim: 29492 kB KernelStack: 3792 kB PageTables: 5576 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 550332 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 49152 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59092 MiB End job on node106 at 2019-09-16 01:00:46