Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 | ? (exit code) | 312.56 | 312.619 |
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 |
8.19/8.27 c 8.19/8.27 c This is cosoco 2.00 -- 8.19/8.27 c 8.19/8.27 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408866-1569811333.xml 8.19/8.27 c enable optimization 8.19/8.27 c ========================================[ Problem Statistics ]=========================================== 8.19/8.27 c | 8.19/8.27 c | Parse time : 6.56 s 8.19/8.27 c | 8.19/8.27 c | Variables: 4749 8.19/8.27 c | Domain Sizes: 2..44 8.19/8.27 c | 8.19/8.27 c | Constraints: 4690 8.19/8.27 c | Arity: 1..4069 -- Unary: 280 -- Binary: 646 -- Ternary: 3763 8.19/8.27 c | 8.19/8.27 c | Types: 8.19/8.27 c | Extension: 4409 (nb tuples: 6..1936) -- (shared: 3337) 8.19/8.27 c | Sum: 1 8.19/8.27 c | Unary: 280 8.19/8.27 c | 8.19/8.27 c | Objective: Minimize Sum 8.19/8.27 8.19/8.27 c ========================================================================================================= 8.19/8.27 o 2250853 8.19/8.28 c 1 calls to solver(id=0): best=2250853 lower=0 upper=2250852 10.69/10.78 o 2250754 13.28/13.30 o 2250753 13.28/13.30 c 3 calls to solver(id=0): best=2250753 lower=0 upper=2250752 15.69/15.72 o 2250653 18.00/18.08 o 2050653 18.00/18.08 c 5 calls to solver(id=0): best=2050653 lower=0 upper=2050652 20.49/20.52 o 2050462 22.79/22.87 o 2030462 22.79/22.87 c 7 calls to solver(id=0): best=2030462 lower=0 upper=2030461 25.18/25.20 o 2012662 27.48/27.50 o 2010666 27.48/27.51 c 9 calls to solver(id=0): best=2010666 lower=0 upper=2010665 29.78/29.84 o 1991666 32.10/32.12 o 1991664 32.10/32.12 c 11 calls to solver(id=0): best=1991664 lower=0 upper=1991663 34.29/34.38 o 1991663 36.58/36.64 o 1971663 36.58/36.64 c 13 calls to solver(id=0): best=1971663 lower=0 upper=1971662 38.78/38.88 o 1970764 41.09/41.13 o 1950864 41.09/41.14 c 15 calls to solver(id=0): best=1950864 lower=0 upper=1950863 43.28/43.38 o 1750864 45.58/45.63 o 1730966 45.58/45.63 c 17 calls to solver(id=0): best=1730966 lower=0 upper=1730965 47.78/47.84 o 1730863 49.99/50.05 o 1530864 49.99/50.05 c 19 calls to solver(id=0): best=1530864 lower=0 upper=1530863 52.18/52.23 o 1530667 54.47/54.52 o 1529667 54.47/54.52 c 21 calls to solver(id=0): best=1529667 lower=0 upper=1529666 56.67/56.71 o 1527667 58.76/58.86 o 1527666 58.76/58.86 c 23 calls to solver(id=0): best=1527666 lower=0 upper=1527665 65.26/65.38 o 1381101 67.47/67.56 o 1380101 67.47/67.56 c 25 calls to solver(id=0): best=1380101 lower=0 upper=1380100 69.67/69.73 o 1380001 71.87/71.90 o 1380000 71.87/71.91 c 27 calls to solver(id=0): best=1380000 lower=0 upper=1379999 73.97/74.09 o 1379998 78.16/78.23 o 1379898 78.16/78.23 c 29 calls to solver(id=0): best=1379898 lower=0 upper=1379897 82.26/82.33 o 1379896 84.36/84.48 o 1379895 84.36/84.48 c 31 calls to solver(id=0): best=1379895 lower=0 upper=1379894 88.45/88.55 o 1379795 92.55/92.60 o 1379695 92.55/92.60 c 33 calls to solver(id=0): best=1379695 lower=0 upper=1379694 98.45/98.50 o 1379693 102.45/102.52 o 1379692 102.45/102.52 c 35 calls to solver(id=0): best=1379692 lower=0 upper=1379691 108.24/108.33 o 1379592 112.14/112.25 o 1379591 112.14/112.26 c 37 calls to solver(id=0): best=1379591 lower=0 upper=1379590 114.24/114.32 o 1379491 119.94/120.04 o 1379291 119.94/120.04 c 39 calls to solver(id=0): best=1379291 lower=0 upper=1379290 125.63/125.73 o 1379191 129.44/129.59 o 1379190 129.54/129.60 c 41 calls to solver(id=0): best=1379190 lower=0 upper=1379189 135.23/135.30 o 1359190 139.04/139.16 o 1359188 139.04/139.16 c 43 calls to solver(id=0): best=1359188 lower=0 upper=1359187 144.73/144.85 o 1358988 146.73/146.89 o 1358987 146.73/146.89 c 45 calls to solver(id=0): best=1358987 lower=0 upper=1358986 152.43/152.59 o 1358985 158.04/158.18 o 1358084 158.04/158.18 c 47 calls to solver(id=0): best=1358084 lower=0 upper=1358083 163.62/163.70 o 1338085 169.12/169.24 o 1337885 169.12/169.24 c 49 calls to solver(id=0): best=1337885 lower=0 upper=1337884 174.62/174.73 o 1337685 178.32/178.47 o 1337585 178.32/178.47 c 51 calls to solver(id=0): best=1337585 lower=0 upper=1337584 183.82/183.90 o 1337483 185.72/185.89 o 1337383 185.72/185.89 c 53 calls to solver(id=0): best=1337383 lower=0 upper=1337382 191.12/191.28 o 1337381 196.52/196.63 o 1335382 196.52/196.63 c 55 calls to solver(id=0): best=1335382 lower=0 upper=1335381 201.82/201.99 o 1335182 205.22/205.40 o 1335082 205.32/205.40 c 57 calls to solver(id=0): best=1335082 lower=0 upper=1335081 210.62/210.75 o 1334882 215.93/216.03 o 1334685 215.93/216.03 c 59 calls to solver(id=0): best=1334685 lower=0 upper=1334684 221.33/221.45 o 1334485 226.63/226.77 o 1334383 226.63/226.77 c 61 calls to solver(id=0): best=1334383 lower=0 upper=1334382 231.94/232.08 o 1334183 237.23/237.34 o 1333983 237.23/237.34 c 63 calls to solver(id=0): best=1333983 lower=0 upper=1333982 242.53/242.67 o 1333783 247.94/248.08 o 1333583 247.94/248.08 c 65 calls to solver(id=0): best=1333583 lower=0 upper=1333582 253.04/253.19 o 1333581 258.04/258.16 o 1333481 258.04/258.16 c 67 calls to solver(id=0): best=1333481 lower=0 upper=1333480 264.94/265.06 o 1331986 271.94/272.02 o 1331785 271.94/272.02 c 69 calls to solver(id=0): best=1331785 lower=0 upper=1331784 278.94/279.02 o 1331782 285.73/285.88 o 1331582 285.73/285.88 c 71 calls to solver(id=0): best=1331582 lower=0 upper=1331581 292.53/292.69 o 1331382 299.13/299.23 o 1331182 299.13/299.23 c 73 calls to solver(id=0): best=1331182 lower=0 upper=1331181 305.63/305.73 o 1329493 312.53/312.61 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: 16375 MiB (15405 MiB free) memory of node 1: 16384 MiB (15322 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408866-1569811333/watcher-4408866-1569811333 -o /tmp/evaluation-result-4408866-1569811333/solver-4408866-1569811333 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26363 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408866-1569811333.xml running on 4 cores: 0-3 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 Current StackSize limit: 8192 KiB solver pid=32481, runsolver pid=32478 [startup+0.100316 s]* /proc/loadavg: 2.08 2.03 2.05 3/199 32482 /proc/meminfo: memFree=31458776/32770688 swapFree=67001380/67108860 [pid=32481] ppid=32478 vsize=33956 memory=10268 CPUtime=0.1 cores=0-3 /proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 2752 0 0 0 10 0 0 0 20 0 1 0 557074889 34770944 2567 33554432000 4194304 6211132 140730137541760 140730137539032 139999425664128 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0 /proc/32481/statm: 8489 2567 815 493 0 1794 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 33956 KiB Current children cumulated memory: 10268 KiB [startup+0.21084 s]* /proc/loadavg: 2.08 2.03 2.05 3/199 32482 /proc/meminfo: memFree=31456980/32770688 swapFree=67001380/67108860 [pid=32481] ppid=32478 vsize=36036 memory=12116 CPUtime=0.21 cores=0-3 /proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 3243 0 0 0 21 0 0 0 20 0 1 0 557074889 36900864 3029 33554432000 4194304 6211132 140730137541760 140730137539032 5519554 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0 /proc/32481/statm: 9009 3029 816 493 0 2314 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 36036 KiB Current children cumulated memory: 12116 KiB [startup+0.310161 s]* /proc/loadavg: 2.08 2.03 2.05 3/199 32482 /proc/meminfo: memFree=31454884/32770688 swapFree=67001380/67108860 [pid=32481] ppid=32478 vsize=38144 memory=14416 CPUtime=0.31 cores=0-3 /proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 3794 0 0 0 31 0 0 0 20 0 1 0 557074889 39059456 3604 33554432000 4194304 6211132 140730137541760 140730137539032 5743398 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0 /proc/32481/statm: 9536 3604 816 493 0 2841 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 38144 KiB Current children cumulated memory: 14416 KiB [startup+0.700258 s] /proc/loadavg: 2.08 2.03 2.05 3/199 32482 /proc/meminfo: memFree=31450048/32770688 swapFree=67001380/67108860 [pid=32481] ppid=32478 vsize=46552 memory=22596 CPUtime=0.68 cores=0-3 /proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 5847 0 0 0 68 0 0 0 20 0 1 0 557074889 47669248 5649 33554432000 4194304 6211132 140730137541760 140730137539032 5484897 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0 /proc/32481/statm: 11638 5649 816 493 0 4943 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 46552 KiB Current children cumulated memory: 22596 KiB [startup+1.50026 s] /proc/loadavg: 2.08 2.03 2.05 3/199 32482 /proc/meminfo: memFree=31440192/32770688 swapFree=67001380/67108860 [pid=32481] ppid=32478 vsize=63032 memory=38784 CPUtime=1.48 cores=0-3 /proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 9920 0 0 0 147 1 0 0 20 0 1 0 557074889 64544768 9696 33554432000 4194304 6211132 140730137541760 140730137539032 5567656 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0 /proc/32481/statm: 15758 9696 816 493 0 9063 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 63032 KiB Current children cumulated memory: 38784 KiB [startup+3.11068 s] /proc/loadavg: 2.08 2.03 2.05 3/200 32484 /proc/meminfo: memFree=31381224/32770688 swapFree=67001380/67108860 [pid=32481] ppid=32478 vsize=110060 memory=85424 CPUtime=3.09 cores=0-3 /proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 22790 0 0 0 307 2 0 0 20 0 1 0 557074889 112701440 21356 33554432000 4194304 6211132 140730137541760 140730137539032 5812093 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0 /proc/32481/statm: 27515 21356 819 493 0 20820 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 110060 KiB Current children cumulated memory: 85424 KiB [startup+6.30029 s] /proc/loadavg: 2.07 2.03 2.05 3/200 32484 /proc/meminfo: memFree=31316136/32770688 swapFree=67001380/67108860 [pid=32481] ppid=32478 vsize=184336 memory=158804 CPUtime=6.29 cores=0-3 /proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 42579 0 0 0 623 6 0 0 20 0 1 0 557074889 188760064 39701 33554432000 4194304 6211132 140730137541760 140730137537416 5818703 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0 /proc/32481/statm: 46084 39701 819 493 0 39389 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 184336 KiB Current children cumulated memory: 158804 KiB [startup+12.7004 s] /proc/loadavg: 2.06 2.03 2.05 3/199 32484 /proc/meminfo: memFree=31131252/32770688 swapFree=67001380/67108860 [pid=32481] ppid=32478 vsize=367980 memory=337676 CPUtime=12.69 cores=0-3 /proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 135495 0 0 0 1255 14 0 0 20 0 1 0 557074889 376811520 84419 33554432000 4194304 6211132 140730137541760 140730137539896 5250304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0 /proc/32481/statm: 91995 84419 875 493 0 85300 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 367980 KiB Current children cumulated memory: 337676 KiB [startup+25.5004 s] /proc/loadavg: 2.05 2.03 2.05 3/199 32484 /proc/meminfo: memFree=31123732/32770688 swapFree=67001380/67108860 [pid=32481] ppid=32478 vsize=377492 memory=346816 CPUtime=25.48 cores=0-3 /proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 187567 0 0 0 2530 18 0 0 20 0 1 0 557074889 386551808 86704 33554432000 4194304 6211132 140730137541760 140730137529640 5027225 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0 /proc/32481/statm: 94373 86704 875 493 0 87678 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 377492 KiB Current children cumulated memory: 346816 KiB [startup+51.1108 s] /proc/loadavg: 2.03 2.03 2.05 3/199 32487 /proc/meminfo: memFree=31118008/32770688 swapFree=67001380/67108860 [pid=32481] ppid=32478 vsize=379504 memory=349076 CPUtime=51.09 cores=0-3 /proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 235102 0 0 0 5087 22 0 0 20 0 1 0 557074889 388612096 87269 33554432000 4194304 6211132 140730137541760 140730137529640 5038999 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0 /proc/32481/statm: 94876 87269 875 493 0 88181 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 379504 KiB Current children cumulated memory: 349076 KiB [startup+102.3 s] /proc/loadavg: 2.01 2.02 2.05 3/199 32491 /proc/meminfo: memFree=31110424/32770688 swapFree=67001380/67108860 [pid=32481] ppid=32478 vsize=385268 memory=355736 CPUtime=102.25 cores=0-3 /proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 303711 0 0 0 10199 26 0 0 20 0 1 0 557074889 394514432 88934 33554432000 4194304 6211132 140730137541760 140730137539896 5032641 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0 /proc/32481/statm: 96317 88934 875 493 0 89622 0 Current children cumulated CPU time: 102.25 s Current children cumulated vsize: 385268 KiB Current children cumulated memory: 355736 KiB [startup+162.3 s] /proc/loadavg: 2.01 2.02 2.05 3/199 32559 /proc/meminfo: memFree=31091748/32770688 swapFree=67001380/67108860 [pid=32481] ppid=32478 vsize=386108 memory=356756 CPUtime=162.22 cores=0-3 /proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 324706 0 0 0 16194 28 0 0 20 0 1 0 557074889 395374592 89189 33554432000 4194304 6211132 140730137541760 140730137529640 5193776 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0 /proc/32481/statm: 96527 89189 875 493 0 89832 0 Current children cumulated CPU time: 162.22 s Current children cumulated vsize: 386108 KiB Current children cumulated memory: 356756 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 32563 /proc/meminfo: memFree=31086520/32770688 swapFree=67001380/67108860 [pid=32481] ppid=32478 vsize=386948 memory=360264 CPUtime=222.23 cores=0-3 /proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 337549 0 0 0 22193 30 0 0 20 0 1 0 557074889 396234752 90066 33554432000 4194304 6211132 140730137541760 140730137539896 5250330 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0 /proc/32481/statm: 96737 90066 875 493 0 90042 0 Current children cumulated CPU time: 222.23 s Current children cumulated vsize: 386948 KiB Current children cumulated memory: 360264 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 32569 /proc/meminfo: memFree=31081060/32770688 swapFree=67001380/67108860 [pid=32481] ppid=32478 vsize=387936 memory=364284 CPUtime=282.23 cores=0-3 /proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 340150 0 0 0 28193 30 0 0 20 0 1 0 557074889 397246464 91071 33554432000 4194304 6211132 140730137541760 140730137539896 5250304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0 /proc/32481/statm: 96984 91071 875 493 0 90289 0 Current children cumulated CPU time: 282.23 s Current children cumulated vsize: 387936 KiB Current children cumulated memory: 364284 KiB [startup+312.619 s] # the end of solver process 32481 was just reported to runsolver # cumulated CPU time of all completed processes: user=312.252 s, system=0.308007 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+294.4 s] /proc/loadavg: 2.00 2.01 2.05 3/199 32569 /proc/meminfo: memFree=31081216/32770688 swapFree=67001380/67108860 [pid=32481] ppid=32478 vsize=388168 memory=364416 CPUtime=294.33 cores=0-3 /proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 340266 0 0 0 29403 30 0 0 20 0 1 0 557074889 397484032 91104 33554432000 4194304 6211132 140730137541760 140730137539896 5250304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0 /proc/32481/statm: 97042 91104 875 493 0 90347 0 Current children cumulated CPU time: 294.33 s Current children cumulated vsize: 388168 KiB Current children cumulated memory: 364416 KiB [startup+300.8 s] /proc/loadavg: 2.00 2.01 2.05 3/199 32569 /proc/meminfo: memFree=31081308/32770688 swapFree=67001380/67108860 [pid=32481] ppid=32478 vsize=388168 memory=364416 CPUtime=300.73 cores=0-3 /proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 340280 0 0 0 30043 30 0 0 20 0 1 0 557074889 397484032 91104 33554432000 4194304 6211132 140730137541760 140730137539896 5250497 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0 /proc/32481/statm: 97042 91104 875 493 0 90347 0 Current children cumulated CPU time: 300.73 s Current children cumulated vsize: 388168 KiB Current children cumulated memory: 364416 KiB [startup+307.2 s] /proc/loadavg: 2.00 2.01 2.05 3/199 32569 /proc/meminfo: memFree=31081184/32770688 swapFree=67001380/67108860 [pid=32481] ppid=32478 vsize=388168 memory=364416 CPUtime=307.13 cores=0-3 /proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 340298 0 0 0 30683 30 0 0 20 0 1 0 557074889 397484032 91104 33554432000 4194304 6211132 140730137541760 140730137539896 5155976 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0 /proc/32481/statm: 97042 91104 875 493 0 90347 0 Current children cumulated CPU time: 307.13 s Current children cumulated vsize: 388168 KiB Current children cumulated memory: 364416 KiB [startup+310.4 s] /proc/loadavg: 2.00 2.01 2.05 3/199 32569 /proc/meminfo: memFree=31081176/32770688 swapFree=67001380/67108860 [pid=32481] ppid=32478 vsize=388168 memory=364472 CPUtime=310.33 cores=0-3 /proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 341197 0 0 0 31003 30 0 0 20 0 1 0 557074889 397484032 91118 33554432000 4194304 6211132 140730137541760 140730137539896 5157572 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0 /proc/32481/statm: 97042 91118 875 493 0 90347 0 Current children cumulated CPU time: 310.33 s Current children cumulated vsize: 388168 KiB Current children cumulated memory: 364472 KiB [startup+312 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 32569 /proc/meminfo: memFree=31081300/32770688 swapFree=67001380/67108860 [pid=32481] ppid=32478 vsize=388168 memory=364472 CPUtime=311.94 cores=0-3 /proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 341285 0 0 0 31164 30 0 0 20 0 1 0 557074889 397484032 91118 33554432000 4194304 6211132 140730137541760 140730137539896 5250321 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0 /proc/32481/statm: 97042 91118 875 493 0 90347 0 Current children cumulated CPU time: 311.94 s Current children cumulated vsize: 388168 KiB Current children cumulated memory: 364472 KiB [startup+312.4 s] /proc/loadavg: 2.00 2.01 2.05 3/199 32569 /proc/meminfo: memFree=31081300/32770688 swapFree=67001380/67108860 [pid=32481] ppid=32478 vsize=388168 memory=364472 CPUtime=312.33 cores=0-3 /proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 341294 0 0 0 31203 30 0 0 20 0 1 0 557074889 397484032 91118 33554432000 4194304 6211132 140730137541760 140730137539896 5158055 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0 /proc/32481/statm: 97042 91118 875 493 0 90347 0 Current children cumulated CPU time: 312.33 s Current children cumulated vsize: 388168 KiB Current children cumulated memory: 364472 KiB [startup+312.6 s] /proc/loadavg: 2.00 2.01 2.05 3/199 32569 /proc/meminfo: memFree=31081300/32770688 swapFree=67001380/67108860 [pid=32481] ppid=32478 vsize=388312 memory=364512 CPUtime=312.53 cores=0-3 /proc/32481/stat : 32481 (cosoco) R 32478 32481 26332 0 -1 4202496 341367 0 0 0 31223 30 0 0 20 0 1 0 557074889 397631488 91128 33554432000 4194304 6211132 140730137541760 140730137539896 5392110 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25186304 140730137547787 140730137547889 140730137547889 140730137550798 0 /proc/32481/statm: 97078 91128 875 493 0 90383 0 Current children cumulated CPU time: 312.53 s Current children cumulated vsize: 388312 KiB Current children cumulated memory: 364512 KiB Child status: 1 Real time (s): 312.619 CPU time (s): 312.56 CPU user time (s): 312.252 CPU system time (s): 0.308007 CPU usage (%): 99.9814 Max. virtual memory (cumulated for all children) (KiB): 388312 Max. memory (cumulated for all children) (KiB): 364512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 312.252 system time used= 0.308007 maximum resident set size= 364600 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 341399 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= 108 involuntary context switches= 550 # summary of solver processes directly reported to runsolver: # pid: 32481 # total CPU time (s): 312.56 # total CPU user time (s): 312.252 # total CPU system time (s): 0.308007 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.46498 second user time and 2.43519 second system time The end
Begin job on node116 at 2019-09-30 04:41:31 IDJOB=4408866 IDBENCH=141098 IDSOLVER=2875 FILE ID=node116/4408866-1569811333 RUNJOBID= node116-1569787351-26363 PBS_JOBID= 21705835 Free space on /tmp= 62012 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-4408866-1569811333/watcher-4408866-1569811333 -o /tmp/evaluation-result-4408866-1569811333/solver-4408866-1569811333 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26363 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408866-1569811333.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d97bf760713e7741c92fd1268dd09e15 RANDOM SEED=1833346197 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 31465520 kB MemAvailable: 31850848 kB Buffers: 197072 kB Cached: 508356 kB SwapCached: 3344 kB Active: 397376 kB Inactive: 319816 kB Active(anon): 29172 kB Inactive(anon): 63420 kB Active(file): 368204 kB Inactive(file): 256396 kB Unevictable: 108916 kB Mlocked: 108916 kB SwapTotal: 67108860 kB SwapFree: 67001380 kB Dirty: 18208 kB Writeback: 0 kB AnonPages: 118420 kB Mapped: 28332 kB Shmem: 72416 kB Slab: 183876 kB SReclaimable: 153124 kB SUnreclaim: 30752 kB KernelStack: 3552 kB PageTables: 5128 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 573976 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62012 MiB End job on node116 at 2019-09-30 04:46:44