Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2 | ? (exit code) | 292.796 | 292.858 |
| 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.09/7.14 c 7.09/7.14 c This is cosoco 2.00 -- 7.09/7.14 c 7.09/7.14 c command line: cosoco -lc -model -restarts -stick HOME/instance-4394832-1568355904.xml 7.09/7.14 c enable optimization 7.09/7.14 c ========================================[ Problem Statistics ]=========================================== 7.09/7.14 c | 7.09/7.14 c | Parse time : 5.67 s 7.09/7.14 c | 7.09/7.14 c | Variables: 4749 7.09/7.14 c | Domain Sizes: 2..44 7.09/7.14 c | 7.09/7.14 c | Constraints: 4690 7.09/7.14 c | Arity: 1..4069 -- Unary: 280 -- Binary: 646 -- Ternary: 3763 7.09/7.14 c | 7.09/7.14 c | Types: 7.09/7.14 c | Extension: 4409 (nb tuples: 6..1936) -- (shared: 3337) 7.09/7.14 c | Sum: 1 7.09/7.14 c | Unary: 280 7.09/7.14 c | 7.09/7.14 c | Objective: Minimize Sum 7.09/7.14 7.09/7.14 c ========================================================================================================= 7.09/7.14 o 2250853 7.09/7.14 c 1 calls to solver(id=0): best=2250853 lower=0 upper=2250852 9.29/9.34 o 2250754 11.48/11.51 o 2250753 11.48/11.52 c 3 calls to solver(id=0): best=2250753 lower=0 upper=2250752 13.59/13.68 o 2250653 15.79/15.86 o 2050653 15.79/15.86 c 5 calls to solver(id=0): best=2050653 lower=0 upper=2050652 18.10/18.12 o 2050462 20.18/20.28 o 2030462 20.18/20.28 c 7 calls to solver(id=0): best=2030462 lower=0 upper=2030461 22.38/22.44 o 2012662 24.59/24.62 o 2010666 24.59/24.63 c 9 calls to solver(id=0): best=2010666 lower=0 upper=2010665 26.78/26.81 o 1991666 28.88/28.96 o 1991664 28.88/28.97 c 11 calls to solver(id=0): best=1991664 lower=0 upper=1991663 31.09/31.12 o 1991663 33.18/33.29 o 1971663 33.28/33.30 c 13 calls to solver(id=0): best=1971663 lower=0 upper=1971662 35.38/35.45 o 1970764 37.58/37.62 o 1950864 37.58/37.62 c 15 calls to solver(id=0): best=1950864 lower=0 upper=1950863 39.69/39.78 o 1750864 41.88/41.96 o 1730966 41.88/41.96 c 17 calls to solver(id=0): best=1730966 lower=0 upper=1730965 44.09/44.12 o 1730863 46.18/46.29 o 1530864 46.18/46.29 c 19 calls to solver(id=0): best=1530864 lower=0 upper=1530863 48.38/48.44 o 1530667 50.58/50.68 o 1529667 50.58/50.68 c 21 calls to solver(id=0): best=1529667 lower=0 upper=1529666 52.78/52.83 o 1527667 54.89/54.98 o 1527666 54.89/54.98 c 23 calls to solver(id=0): best=1527666 lower=0 upper=1527665 61.38/61.41 o 1381101 63.48/63.59 o 1380101 63.48/63.59 c 25 calls to solver(id=0): best=1380101 lower=0 upper=1380100 65.68/65.76 o 1380001 67.88/67.95 o 1380000 67.88/67.95 c 27 calls to solver(id=0): best=1380000 lower=0 upper=1379999 70.09/70.13 o 1379998 74.18/74.28 o 1379898 74.18/74.28 c 29 calls to solver(id=0): best=1379898 lower=0 upper=1379897 78.38/78.41 o 1379896 80.48/80.59 o 1379895 80.48/80.59 c 31 calls to solver(id=0): best=1379895 lower=0 upper=1379894 84.68/84.74 o 1379795 88.78/88.87 o 1379695 88.78/88.87 c 33 calls to solver(id=0): best=1379695 lower=0 upper=1379694 94.78/94.81 o 1379693 98.68/98.74 o 1379692 98.68/98.74 c 35 calls to solver(id=0): best=1379692 lower=0 upper=1379691 104.38/104.45 o 1379592 108.18/108.29 o 1379591 108.18/108.29 c 37 calls to solver(id=0): best=1379591 lower=0 upper=1379590 110.28/110.32 o 1379491 115.77/115.87 o 1379291 115.77/115.88 c 39 calls to solver(id=0): best=1379291 lower=0 upper=1379290 121.27/121.37 o 1379191 124.98/125.06 o 1379190 124.98/125.06 c 41 calls to solver(id=0): best=1379190 lower=0 upper=1379189 130.37/130.47 o 1359190 134.07/134.12 o 1359188 134.07/134.12 c 43 calls to solver(id=0): best=1359188 lower=0 upper=1359187 139.36/139.50 o 1358988 141.36/141.43 o 1358987 141.36/141.44 c 45 calls to solver(id=0): best=1358987 lower=0 upper=1358986 146.76/146.80 o 1358985 151.96/152.02 o 1358084 151.96/152.03 c 47 calls to solver(id=0): best=1358084 lower=0 upper=1358083 157.06/157.14 o 1338085 162.15/162.30 o 1337885 162.25/162.30 c 49 calls to solver(id=0): best=1337885 lower=0 upper=1337884 167.25/167.34 o 1337685 170.75/170.80 o 1337585 170.75/170.80 c 51 calls to solver(id=0): best=1337585 lower=0 upper=1337584 175.64/175.79 o 1337483 177.55/177.61 o 1337383 177.55/177.61 c 53 calls to solver(id=0): best=1337383 lower=0 upper=1337382 182.45/182.55 o 1337381 187.35/187.43 o 1335382 187.35/187.43 c 55 calls to solver(id=0): best=1335382 lower=0 upper=1335381 192.25/192.35 o 1335182 195.35/195.46 o 1335082 195.35/195.46 c 57 calls to solver(id=0): best=1335082 lower=0 upper=1335081 200.25/200.39 o 1334882 205.14/205.24 o 1334685 205.14/205.24 c 59 calls to solver(id=0): best=1334685 lower=0 upper=1334684 210.14/210.24 o 1334485 215.05/215.15 o 1334383 215.05/215.15 c 61 calls to solver(id=0): best=1334383 lower=0 upper=1334382 219.95/220.05 o 1334183 224.74/224.88 o 1333983 224.74/224.88 c 63 calls to solver(id=0): best=1333983 lower=0 upper=1333982 229.64/229.78 o 1333783 234.64/234.74 o 1333583 234.64/234.74 c 65 calls to solver(id=0): best=1333583 lower=0 upper=1333582 239.34/239.40 o 1333581 243.84/243.93 o 1333481 243.84/243.93 c 67 calls to solver(id=0): best=1333481 lower=0 upper=1333480 250.05/250.18 o 1331986 256.34/256.47 o 1331785 256.34/256.47 c 69 calls to solver(id=0): best=1331785 lower=0 upper=1331784 262.63/262.79 o 1331782 268.83/268.96 o 1331582 268.83/268.96 c 71 calls to solver(id=0): best=1331582 lower=0 upper=1331581 274.94/275.07 o 1331382 280.83/280.92 o 1331182 280.83/280.92 c 73 calls to solver(id=0): best=1331182 lower=0 upper=1331181 286.63/286.72 o 1329493 292.73/292.85 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 (8452 MiB free)
memory of node 1: 16384 MiB (15711 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394832-1568355904/watcher-4394832-1568355904 -o /tmp/evaluation-result-4394832-1568355904/solver-4394832-1568355904 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568323911-7049 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4394832-1568355904.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=14923, runsolver pid=14920
Current StackSize limit: 8192 KiB
[startup+0.10099 s]*
/proc/loadavg: 2.08 2.03 2.05 3/200 14924
/proc/meminfo: memFree=24736592/32770624 swapFree=67019232/67108860
[pid=14923] ppid=14920 vsize=34396 memory=10536 CPUtime=0.1 cores=1,3,5,7
/proc/14923/stat : 14923 (cosoco) R 14920 14923 7017 0 -1 4202496 2834 0 0 0 10 0 0 0 20 0 1 0 411863025 35221504 2634 33554432000 4194304 6210612 140726879954528 140726879951800 139789891123104 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33345536 140726879958027 140726879958129 140726879958129 140726879961038 0
/proc/14923/statm: 8599 2634 813 493 0 1904 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34396 KiB
Current children cumulated memory: 10536 KiB
[startup+0.209637 s]*
/proc/loadavg: 2.08 2.03 2.05 3/200 14924
/proc/meminfo: memFree=24735152/32770624 swapFree=67019232/67108860
[pid=14923] ppid=14920 vsize=36436 memory=12648 CPUtime=0.21 cores=1,3,5,7
/proc/14923/stat : 14923 (cosoco) R 14920 14923 7017 0 -1 4202496 3357 0 0 0 21 0 0 0 20 0 1 0 411863025 37310464 3162 33554432000 4194304 6210612 140726879954528 140726879951800 5816553 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33345536 140726879958027 140726879958129 140726879958129 140726879961038 0
/proc/14923/statm: 9109 3162 814 493 0 2414 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36436 KiB
Current children cumulated memory: 12648 KiB
[startup+0.309014 s]*
/proc/loadavg: 2.08 2.03 2.05 3/200 14924
/proc/meminfo: memFree=24731804/32770624 swapFree=67019232/67108860
[pid=14923] ppid=14920 vsize=39304 memory=15460 CPUtime=0.3 cores=1,3,5,7
/proc/14923/stat : 14923 (cosoco) R 14920 14923 7017 0 -1 4202496 4073 0 0 0 30 0 0 0 20 0 1 0 411863025 40247296 3865 33554432000 4194304 6210612 140726879954528 140726879951800 5812016 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33345536 140726879958027 140726879958129 140726879958129 140726879961038 0
/proc/14923/statm: 9826 3865 814 493 0 3131 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39304 KiB
Current children cumulated memory: 15460 KiB
[startup+0.700277 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 14924
/proc/meminfo: memFree=24726472/32770624 swapFree=67019232/67108860
[pid=14923] ppid=14920 vsize=48868 memory=24964 CPUtime=0.69 cores=1,3,5,7
/proc/14923/stat : 14923 (cosoco) R 14920 14923 7017 0 -1 4202496 6428 0 0 0 69 0 0 0 20 0 1 0 411863025 50040832 6241 33554432000 4194304 6210612 140726879954528 140726879951800 5815953 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33345536 140726879958027 140726879958129 140726879958129 140726879961038 0
/proc/14923/statm: 12217 6241 814 493 0 5522 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48868 KiB
Current children cumulated memory: 24964 KiB
[startup+1.50029 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 14924
/proc/meminfo: memFree=24715312/32770624 swapFree=67019232/67108860
[pid=14923] ppid=14920 vsize=68128 memory=43936 CPUtime=1.49 cores=1,3,5,7
/proc/14923/stat : 14923 (cosoco) R 14920 14923 7017 0 -1 4202496 11161 0 0 0 148 1 0 0 20 0 1 0 411863025 69763072 10984 33554432000 4194304 6210612 140726879954528 140726879951800 5816959 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33345536 140726879958027 140726879958129 140726879958129 140726879961038 0
/proc/14923/statm: 17032 10984 814 493 0 10337 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 68128 KiB
Current children cumulated memory: 43936 KiB
[startup+3.1095 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 14924
/proc/meminfo: memFree=24654380/32770624 swapFree=67019232/67108860
[pid=14923] ppid=14920 vsize=120032 memory=95260 CPUtime=3.09 cores=1,3,5,7
/proc/14923/stat : 14923 (cosoco) R 14920 14923 7017 0 -1 4202496 25277 0 0 0 307 2 0 0 20 0 1 0 411863025 122912768 23815 33554432000 4194304 6210612 140726879954528 140726879951800 139789907137664 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33345536 140726879958027 140726879958129 140726879958129 140726879961038 0
/proc/14923/statm: 30008 23815 816 493 0 23313 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 120032 KiB
Current children cumulated memory: 95260 KiB
[startup+6.30038 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 14924
/proc/meminfo: memFree=24530464/32770624 swapFree=67019232/67108860
[pid=14923] ppid=14920 vsize=256900 memory=231536 CPUtime=6.28 cores=1,3,5,7
/proc/14923/stat : 14923 (cosoco) R 14920 14923 7017 0 -1 4202496 74198 0 0 0 620 8 0 0 20 0 1 0 411863025 263065600 57884 33554432000 4194304 6210612 140726879954528 140726879952792 5032583 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33345536 140726879958027 140726879958129 140726879958129 140726879961038 0
/proc/14923/statm: 64225 57884 871 493 0 57530 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 256900 KiB
Current children cumulated memory: 231536 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 14924
/proc/meminfo: memFree=24407736/32770624 swapFree=67019232/67108860
[pid=14923] ppid=14920 vsize=369288 memory=338820 CPUtime=12.69 cores=1,3,5,7
/proc/14923/stat : 14923 (cosoco) R 14920 14923 7017 0 -1 4202496 152736 0 0 0 1255 14 0 0 20 0 1 0 411863025 378150912 84705 33554432000 4194304 6210612 140726879954528 140726879942408 5157727 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33345536 140726879958027 140726879958129 140726879958129 140726879961038 0
/proc/14923/statm: 92322 84705 872 493 0 85627 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 369288 KiB
Current children cumulated memory: 338820 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 14926
/proc/meminfo: memFree=24397908/32770624 swapFree=67019232/67108860
[pid=14923] ppid=14920 vsize=379352 memory=348100 CPUtime=25.48 cores=1,3,5,7
/proc/14923/stat : 14923 (cosoco) R 14920 14923 7017 0 -1 4202496 205703 0 0 0 2531 17 0 0 20 0 1 0 411863025 388456448 87025 33554432000 4194304 6210612 140726879954528 140726879942408 5032361 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33345536 140726879958027 140726879958129 140726879958129 140726879961038 0
/proc/14923/statm: 94838 87025 872 493 0 88143 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 379352 KiB
Current children cumulated memory: 348100 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.04 4/199 14928
/proc/meminfo: memFree=24396992/32770624 swapFree=67019232/67108860
[pid=14923] ppid=14920 vsize=380220 memory=349148 CPUtime=51.09 cores=1,3,5,7
/proc/14923/stat : 14923 (cosoco) R 14920 14923 7017 0 -1 4202496 255988 0 0 0 5090 19 0 0 20 0 1 0 411863025 389345280 87287 33554432000 4194304 6210612 140726879954528 140726879952664 5034915 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33345536 140726879958027 140726879958129 140726879958129 140726879961038 0
/proc/14923/statm: 95055 87287 872 493 0 88360 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 380220 KiB
Current children cumulated memory: 349148 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 14933
/proc/meminfo: memFree=24391004/32770624 swapFree=67019232/67108860
[pid=14923] ppid=14920 vsize=385400 memory=354540 CPUtime=102.28 cores=1,3,5,7
/proc/14923/stat : 14923 (cosoco) R 14920 14923 7017 0 -1 4202496 348577 0 0 0 10203 25 0 0 20 0 1 0 411863025 394649600 88635 33554432000 4194304 6210612 140726879954528 140726879942408 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33345536 140726879958027 140726879958129 140726879958129 140726879961038 0
/proc/14923/statm: 96350 88635 872 493 0 89655 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 385400 KiB
Current children cumulated memory: 354540 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 14939
/proc/meminfo: memFree=24389160/32770624 swapFree=67019232/67108860
[pid=14923] ppid=14920 vsize=386392 memory=356540 CPUtime=162.25 cores=1,3,5,7
/proc/14923/stat : 14923 (cosoco) R 14920 14923 7017 0 -1 4202496 388704 0 0 0 16198 27 0 0 20 0 1 0 411863025 395665408 89135 33554432000 4194304 6210612 140726879954528 140726879951928 139789891073018 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33345536 140726879958027 140726879958129 140726879958129 140726879961038 0
/proc/14923/statm: 96598 89135 872 493 0 89903 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 386392 KiB
Current children cumulated memory: 356540 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 14944
/proc/meminfo: memFree=24388116/32770624 swapFree=67019236/67108860
[pid=14923] ppid=14920 vsize=387236 memory=357816 CPUtime=222.24 cores=1,3,5,7
/proc/14923/stat : 14923 (cosoco) R 14920 14923 7017 0 -1 4202496 415385 0 0 0 22196 28 0 0 20 0 1 0 411863025 396529664 89454 33554432000 4194304 6210612 140726879954528 140726879952664 5157826 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33345536 140726879958027 140726879958129 140726879958129 140726879961038 0
/proc/14923/statm: 96809 89454 872 493 0 90114 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 387236 KiB
Current children cumulated memory: 357816 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 14948
/proc/meminfo: memFree=24384560/32770624 swapFree=67019236/67108860
[pid=14923] ppid=14920 vsize=388168 memory=360804 CPUtime=282.23 cores=1,3,5,7
/proc/14923/stat : 14923 (cosoco) R 14920 14923 7017 0 -1 4202496 430356 0 0 0 28193 30 0 0 20 0 1 0 411863025 397484032 90201 33554432000 4194304 6210612 140726879954528 140726879942408 5391918 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33345536 140726879958027 140726879958129 140726879958129 140726879961038 0
/proc/14923/statm: 97042 90201 872 493 0 90347 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 388168 KiB
Current children cumulated memory: 360804 KiB
[startup+292.858 s]
# the end of solver process 14923 was just reported to runsolver
# cumulated CPU time of all completed processes: user=292.488 s, system=0.307977 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+288 s]*
/proc/loadavg: 2.00 2.01 2.04 3/200 14950
/proc/meminfo: memFree=24384160/32770624 swapFree=67019236/67108860
[pid=14923] ppid=14920 vsize=388168 memory=360812 CPUtime=287.94 cores=1,3,5,7
/proc/14923/stat : 14923 (cosoco) R 14920 14923 7017 0 -1 4202496 430388 0 0 0 28764 30 0 0 20 0 1 0 411863025 397484032 90203 33554432000 4194304 6210612 140726879954528 140726879952664 5249664 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33345536 140726879958027 140726879958129 140726879958129 140726879961038 0
/proc/14923/statm: 97042 90203 872 493 0 90347 0
Current children cumulated CPU time: 287.94 s
Current children cumulated vsize: 388168 KiB
Current children cumulated memory: 360812 KiB
[startup+291.2 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 14950
/proc/meminfo: memFree=24384168/32770624 swapFree=67019236/67108860
[pid=14923] ppid=14920 vsize=388168 memory=360812 CPUtime=291.13 cores=1,3,5,7
/proc/14923/stat : 14923 (cosoco) R 14920 14923 7017 0 -1 4202496 430422 0 0 0 29083 30 0 0 20 0 1 0 411863025 397484032 90203 33554432000 4194304 6210612 140726879954528 140726879952664 5249691 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33345536 140726879958027 140726879958129 140726879958129 140726879961038 0
/proc/14923/statm: 97042 90203 872 493 0 90347 0
Current children cumulated CPU time: 291.13 s
Current children cumulated vsize: 388168 KiB
Current children cumulated memory: 360812 KiB
[startup+292 s]*
/proc/loadavg: 2.00 2.01 2.04 3/200 14950
/proc/meminfo: memFree=24381972/32770624 swapFree=67019236/67108860
[pid=14923] ppid=14920 vsize=388168 memory=362908 CPUtime=291.94 cores=1,3,5,7
/proc/14923/stat : 14923 (cosoco) R 14920 14923 7017 0 -1 4202496 430804 0 0 0 29164 30 0 0 20 0 1 0 411863025 397484032 90727 33554432000 4194304 6210612 140726879954528 140726879952664 5249738 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33345536 140726879958027 140726879958129 140726879958129 140726879961038 0
/proc/14923/statm: 97042 90727 872 493 0 90347 0
Current children cumulated CPU time: 291.94 s
Current children cumulated vsize: 388168 KiB
Current children cumulated memory: 362908 KiB
[startup+292.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 14950
/proc/meminfo: memFree=24381972/32770624 swapFree=67019236/67108860
[pid=14923] ppid=14920 vsize=388168 memory=362908 CPUtime=292.33 cores=1,3,5,7
/proc/14923/stat : 14923 (cosoco) R 14920 14923 7017 0 -1 4202496 431379 0 0 0 29203 30 0 0 20 0 1 0 411863025 397484032 90727 33554432000 4194304 6210612 140726879954528 140726879952664 5185856 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33345536 140726879958027 140726879958129 140726879958129 140726879961038 0
/proc/14923/statm: 97042 90727 872 493 0 90347 0
Current children cumulated CPU time: 292.33 s
Current children cumulated vsize: 388168 KiB
Current children cumulated memory: 362908 KiB
[startup+292.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 14950
/proc/meminfo: memFree=24381972/32770624 swapFree=67019236/67108860
[pid=14923] ppid=14920 vsize=388168 memory=362928 CPUtime=292.73 cores=1,3,5,7
/proc/14923/stat : 14923 (cosoco) R 14920 14923 7017 0 -1 4202496 431874 0 0 0 29243 30 0 0 20 0 1 0 411863025 397484032 90732 33554432000 4194304 6210612 140726879954528 140726879952664 5186084 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33345536 140726879958027 140726879958129 140726879958129 140726879961038 0
/proc/14923/statm: 97042 90732 872 493 0 90347 0
Current children cumulated CPU time: 292.73 s
Current children cumulated vsize: 388168 KiB
Current children cumulated memory: 362928 KiB
Child status: 1
Real time (s): 292.858
CPU time (s): 292.796
CPU user time (s): 292.488
CPU system time (s): 0.307977
CPU usage (%): 99.9791
Max. virtual memory (cumulated for all children) (KiB): 388168
Max. memory (cumulated for all children) (KiB): 362928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 292.488
system time used= 0.307977
maximum resident set size= 363036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 432379
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= 86
involuntary context switches= 263
# summary of solver processes directly reported to runsolver:
# pid: 14923
# total CPU time (s): 292.796
# total CPU user time (s): 292.488
# total CPU system time (s): 0.307977
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.18835 second user time and 2.16278 second system time
The end
Begin job on node150 at 2019-09-13 08:24:25 IDJOB=4394832 IDBENCH=141098 IDSOLVER=2830 FILE ID=node150/4394832-1568355904 RUNJOBID= node150-1568323911-7049 PBS_JOBID= 21701149 Free space on /tmp= 55012 MiB SOLVER NAME= cosoco 2 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-4394832-1568355904/watcher-4394832-1568355904 -o /tmp/evaluation-result-4394832-1568355904/solver-4394832-1568355904 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568323911-7049 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4394832-1568355904.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d97bf760713e7741c92fd1268dd09e15 RANDOM SEED=380411708 node150.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: 24743668 kB MemAvailable: 31830260 kB Buffers: 170852 kB Cached: 7056840 kB SwapCached: 12428 kB Active: 1194056 kB Inactive: 6086168 kB Active(anon): 18080 kB Inactive(anon): 57700 kB Active(file): 1175976 kB Inactive(file): 6028468 kB Unevictable: 109524 kB Mlocked: 109524 kB SwapTotal: 67108860 kB SwapFree: 67019232 kB Dirty: 18508 kB Writeback: 0 kB AnonPages: 96616 kB Mapped: 38896 kB Shmem: 14576 kB Slab: 341052 kB SReclaimable: 310608 kB SUnreclaim: 30444 kB KernelStack: 3776 kB PageTables: 5548 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 534020 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /tmp at the end= 55012 MiB End job on node150 at 2019-09-13 08:29:18