Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | OPT | 1334 | 250.278 | 250.291 |
| Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml |
| MD5SUM | 9601f9fdcfec45ff7e2268abb15a55d6 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1334 |
| Best CPU time to get the best result obtained on this benchmark | 19.431299 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 349 |
| Number of constraints | 344 |
| Number of domains | 36 |
| Minimum domain size | 34 |
| Maximum domain size | 36 |
| Distribution of domain sizes | [{"size":34,"count":7},{"size":35,"count":133},{"size":36,"count":209}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 50 |
| Distribution of variable degrees | [{"degree":2,"count":343},{"degree":50,"count":6}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 7 |
| Distribution of constraint arities | [{"arity":2,"count":294},{"arity":6,"count":1},{"arity":7,"count":49}] |
| Number of extensional constraints | 294 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":294},{"type":"ordered","count":1},{"type":"minimum","count":49}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.02 c best=?? lower=-36375 upper=0 0.00/0.02 c 0.00/0.02 c This is cosoco 1.12 -- 0.00/0.02 c 0.00/0.02 c command line: cosoco -lc -model -restarts HOME/instance-4267592-1502577508.xml 0.00/0.02 c enable optimization 0.00/0.02 c ========================================[ Problem Statistics ]=========================================== 0.00/0.02 c | 0.00/0.02 c | Parse time : 0.02 s 0.00/0.02 c | 0.00/0.02 c | Variables: 349 0.00/0.02 c | Domain Sizes: 34..36 0.00/0.02 c | 0.00/0.02 c | Constraints: 349 0.00/0.02 c | Arity: 2..49 -- Binary: 299 0.00/0.02 c | 0.00/0.02 c | Types: 0.00/0.02 c | (X - Y < k): 5 0.00/0.02 c | Extension: 294 (nb tuples: 36..36) -- (shared: 258) 0.00/0.02 c | Minimum Variable: 49 0.00/0.02 c | Sum: 1 0.00/0.02 c | 0.00/0.02 c ========================================================================================================= 0.00/0.02 o -10371 0.00/0.02 c 1 calls to solver: best=-10371 lower=-10370 upper=0 0.00/0.03 o -10323 0.00/0.04 o -10299 0.00/0.04 c 3 calls to solver: best=-10299 lower=-10298 upper=0 0.00/0.05 o -3624 0.00/0.06 o -3564 0.00/0.06 c 5 calls to solver: best=-3564 lower=-3563 upper=0 0.00/0.07 o -3225 0.00/0.07 o -3220 0.00/0.07 c 7 calls to solver: best=-3220 lower=-3219 upper=0 0.00/0.08 o -3012 0.00/0.09 o -2988 0.00/0.09 c 9 calls to solver: best=-2988 lower=-2987 upper=0 0.21/0.22 o -2952 0.21/0.28 o -2928 0.21/0.28 c 11 calls to solver: best=-2928 lower=-2927 upper=0 0.31/0.33 o -2835 0.31/0.40 o -2820 0.31/0.40 c 13 calls to solver: best=-2820 lower=-2819 upper=0 0.41/0.48 o -2283 0.60/0.64 o -2204 0.60/0.64 c 15 calls to solver: best=-2204 lower=-2203 upper=0 1.00/1.08 o -2058 1.10/1.17 o -1913 1.10/1.17 c 17 calls to solver: best=-1913 lower=-1912 upper=0 1.39/1.44 o -1709 3.69/3.71 o -1708 3.69/3.71 c 19 calls to solver: best=-1708 lower=-1707 upper=0 4.89/4.92 o -1660 5.19/5.28 o -1645 5.19/5.28 c 21 calls to solver: best=-1645 lower=-1644 upper=0 7.89/7.99 o -1532 9.00/9.01 o -1513 9.00/9.01 c 23 calls to solver: best=-1513 lower=-1512 upper=0 10.29/10.34 o -1493 10.79/10.80 o -1492 10.79/10.80 c 25 calls to solver: best=-1492 lower=-1491 upper=0 13.29/13.35 o -1483 15.10/15.13 o -1467 15.10/15.13 c 27 calls to solver: best=-1467 lower=-1466 upper=0 41.69/41.74 o -1466 45.19/45.24 o -1457 45.19/45.24 c 29 calls to solver: best=-1457 lower=-1456 upper=0 70.10/70.12 o -1455 79.10/79.15 o -1405 79.10/79.15 c 31 calls to solver: best=-1405 lower=-1404 upper=0 106.29/106.34 o -1402 114.59/114.60 o -1398 114.59/114.60 c 33 calls to solver: best=-1398 lower=-1397 upper=0 129.59/129.63 o -1380 157.68/157.76 o -1376 157.68/157.76 c 35 calls to solver: best=-1376 lower=-1375 upper=0 203.48/203.58 o -1368 208.48/208.59 o -1365 208.48/208.59 c 37 calls to solver: best=-1365 lower=-1364 upper=0 237.28/237.37 o -1348 238.88/238.95 o -1342 238.88/238.95 c 39 calls to solver: best=-1342 lower=-1341 upper=0 245.28/245.36 o -1334 250.18/250.29 c 250.18/250.29 c Optimum found : -1334 250.18/250.29 c 250.18/250.29 250.18/250.29 v <instantiation type='solution' cost='-1334'> 250.18/250.29 v <list>dr[0] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[1] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[2] dr[30] dr[31] dr[32] dr[33] dr[34] dr[35] dr[36] dr[37] dr[38] dr[39] dr[3] dr[40] dr[41] dr[42] dr[43] dr[44] dr[45] dr[46] dr[47] dr[48] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[32][0] drd[32][1] drd[32][2] drd[32][3] drd[32][4] drd[32][5] drd[33][0] drd[33][1] drd[33][2] drd[33][3] drd[33][4] drd[33][5] drd[34][0] drd[34][1] drd[34][2] drd[34][3] drd[34][4] drd[34][5] drd[35][0] drd[35][1] drd[35][2] drd[35][3] drd[35][4] drd[35][5] drd[36][0] drd[36][1] drd[36][2] drd[36][3] drd[36][4] drd[36][5] drd[37][0] drd[37][1] drd[37][2] drd[37][3] drd[37][4] drd[37][5] drd[38][0] drd[38][1] drd[38][2] drd[38][3] drd[38][4] drd[38][5] drd[39][0] drd[39][1] drd[39][2] drd[39][3] drd[39][4] drd[39][5] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[40][0] drd[40][1] drd[40][2] drd[40][3] drd[40][4] drd[40][5] drd[41][0] drd[41][1] drd[41][2] drd[41][3] drd[41][4] drd[41][5] drd[42][0] drd[42][1] drd[42][2] drd[42][3] drd[42][4] drd[42][5] drd[43][0] drd[43][1] drd[43][2] drd[43][3] drd[43][4] drd[43][5] drd[44][0] drd[44][1] drd[44][2] drd[44][3] drd[44][4] drd[44][5] drd[45][0] drd[45][1] drd[45][2] drd[45][3] drd[45][4] drd[45][5] drd[46][0] drd[46][1] drd[46][2] drd[46][3] drd[46][4] drd[46][5] drd[47][0] drd[47][1] drd[47][2] drd[47][3] drd[47][4] drd[47][5] drd[48][0] drd[48][1] drd[48][2] drd[48][3] drd[48][4] drd[48][5] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] x[0] x[1] x[2] x[3] x[4] x[5] </list> 250.18/250.29 v <values>42 64 41 40 36 37 3 2 17 16 28 51 28 29 0 0 21 21 4 4 0 0 51 2 0 55 56 56 0 0 24 24 57 36 58 66 75 30 0 0 17 23 18 36 51 0 0 51 64 42 64 219 486 612 781 718 612 457 190 64 105 220 114 41 308 434 603 221 115 40 307 433 602 492 386 231 36 162 331 491 385 230 37 163 332 109 3 152 419 545 714 104 2 157 424 550 719 123 17 138 405 531 700 122 16 139 406 532 701 289 183 28 239 365 534 55 51 206 473 599 768 289 183 28 239 365 534 29 135 290 557 683 852 106 0 155 422 548 717 106 0 155 422 548 717 85 21 176 443 569 738 85 21 176 443 569 738 4 102 257 524 650 819 4 102 257 524 650 819 823 717 562 295 169 0 823 717 562 295 169 0 55 51 206 473 599 768 263 157 2 265 391 560 261 155 0 267 393 562 473 367 212 55 181 350 767 661 506 239 113 56 767 661 506 239 113 56 654 548 393 126 0 169 654 548 393 126 0 169 552 446 291 24 102 271 552 446 291 24 102 271 597 491 336 69 57 226 859 753 598 331 205 36 596 490 335 68 58 227 172 66 89 356 482 651 181 75 80 347 473 642 30 136 291 558 684 853 528 422 267 0 126 295 528 422 267 0 126 295 17 123 278 545 671 840 23 129 284 551 677 846 18 88 243 510 636 805 859 753 598 331 205 36 51 55 210 477 603 772 0 106 261 528 654 823 0 106 261 528 654 823 51 157 312 579 705 874 718 612 457 190 64 105 51 157 312 579 705 874 </values> 250.18/250.29 v </instantiation> 250.18/250.29 250.18/250.29 c call to solver : 41 250.18/250.29 c 250.18/250.29 c restarts : 64 250.18/250.29 c conflicts : 463294 (1851 /sec) 250.18/250.29 c decisions : 1778986 (7108 /sec) 250.18/250.29 c propagations : 793608807 (3170921 /sec) 250.18/250.29 c root propagations : 1686 250.18/250.29 c filter calls : 189507492 (757191 /sec) 250.18/250.29 c useless filter calls : 60154036 (31 %) 250.18/250.29 c Memory used : 28.81 MB 250.18/250.29 c CPU time : 250.277 s 250.18/250.29 250.18/250.29 s OPTIMUM FOUND
OK 1334
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 (11750 MiB free)
memory of node 1: 16384 MiB (14941 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267592-1502577508/watcher-4267592-1502577508 -o /tmp/evaluation-result-4267592-1502577508/solver-4267592-1502577508 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1502571587-3600 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267592-1502577508.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=4102, runsolver pid=4099
Current StackSize limit: 8192 KiB
[startup+0.100706 s]*
/proc/loadavg: 1.92 2.00 2.03 3/187 4103
/proc/meminfo: memFree=27329212/32770624 swapFree=67108860/67108860
[pid=4102] ppid=4099 vsize=29364 memory=6056 CPUtime=0.1 cores=1,3,5,7
/proc/4102/stat : 4102 (cosoco) R 4099 4102 3568 0 -1 4202496 1688 0 0 0 10 0 0 0 20 0 1 0 90831980 30068736 1514 33554432000 4194304 5972588 140727210874048 140727210861240 4913662 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39440384 140727210882239 140727210882334 140727210882334 140727210885070 0
/proc/4102/statm: 7341 1514 835 435 0 704 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29364 KiB
Current children cumulated memory: 6056 KiB
[startup+0.209499 s]*
/proc/loadavg: 1.92 2.00 2.03 3/187 4103
/proc/meminfo: memFree=27328840/32770624 swapFree=67108860/67108860
[pid=4102] ppid=4099 vsize=29364 memory=6056 CPUtime=0.21 cores=1,3,5,7
/proc/4102/stat : 4102 (cosoco) R 4099 4102 3568 0 -1 4202496 1688 0 0 0 21 0 0 0 20 0 1 0 90831980 30068736 1514 33554432000 4194304 5972588 140727210874048 140727210861240 5139315 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39440384 140727210882239 140727210882334 140727210882334 140727210885070 0
/proc/4102/statm: 7341 1514 835 435 0 704 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29364 KiB
Current children cumulated memory: 6056 KiB
[startup+0.30888 s]*
/proc/loadavg: 1.92 2.00 2.03 3/187 4103
/proc/meminfo: memFree=27328840/32770624 swapFree=67108860/67108860
[pid=4102] ppid=4099 vsize=29496 memory=6056 CPUtime=0.31 cores=1,3,5,7
/proc/4102/stat : 4102 (cosoco) R 4099 4102 3568 0 -1 4202496 1696 0 0 0 31 0 0 0 20 0 1 0 90831980 30203904 1514 33554432000 4194304 5972588 140727210874048 140727210861240 5328506 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39440384 140727210882239 140727210882334 140727210882334 140727210885070 0
/proc/4102/statm: 7374 1514 835 435 0 737 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 6056 KiB
[startup+0.700269 s]
/proc/loadavg: 1.92 2.00 2.03 3/187 4103
/proc/meminfo: memFree=27328840/32770624 swapFree=67108860/67108860
[pid=4102] ppid=4099 vsize=29496 memory=6056 CPUtime=0.69 cores=1,3,5,7
/proc/4102/stat : 4102 (cosoco) R 4099 4102 3568 0 -1 4202496 1704 0 0 0 69 0 0 0 20 0 1 0 90831980 30203904 1514 33554432000 4194304 5972588 140727210874048 140727210861240 4913632 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39440384 140727210882239 140727210882334 140727210882334 140727210885070 0
/proc/4102/statm: 7374 1514 835 435 0 737 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 6056 KiB
[startup+1.50027 s]
/proc/loadavg: 1.92 2.00 2.03 3/187 4103
/proc/meminfo: memFree=27328608/32770624 swapFree=67108860/67108860
[pid=4102] ppid=4099 vsize=29496 memory=6056 CPUtime=1.49 cores=1,3,5,7
/proc/4102/stat : 4102 (cosoco) R 4099 4102 3568 0 -1 4202496 1705 0 0 0 149 0 0 0 20 0 1 0 90831980 30203904 1514 33554432000 4194304 5972588 140727210874048 140727210861240 5139327 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39440384 140727210882239 140727210882334 140727210882334 140727210885070 0
/proc/4102/statm: 7374 1514 835 435 0 737 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 6056 KiB
[startup+3.10904 s]
/proc/loadavg: 1.93 2.00 2.03 3/187 4103
/proc/meminfo: memFree=27328848/32770624 swapFree=67108860/67108860
[pid=4102] ppid=4099 vsize=29496 memory=6172 CPUtime=3.1 cores=1,3,5,7
/proc/4102/stat : 4102 (cosoco) R 4099 4102 3568 0 -1 4202496 2301 0 0 0 310 0 0 0 20 0 1 0 90831980 30203904 1543 33554432000 4194304 5972588 140727210874048 140727210871496 5046712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39440384 140727210882239 140727210882334 140727210882334 140727210885070 0
/proc/4102/statm: 7374 1543 835 435 0 737 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 6172 KiB
[startup+6.30026 s]
/proc/loadavg: 1.93 2.00 2.03 3/187 4103
/proc/meminfo: memFree=27328848/32770624 swapFree=67108860/67108860
[pid=4102] ppid=4099 vsize=29496 memory=6176 CPUtime=6.29 cores=1,3,5,7
/proc/4102/stat : 4102 (cosoco) R 4099 4102 3568 0 -1 4202496 2939 0 0 0 629 0 0 0 20 0 1 0 90831980 30203904 1544 33554432000 4194304 5972588 140727210874048 140727210861240 5139333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39440384 140727210882239 140727210882334 140727210882334 140727210885070 0
/proc/4102/statm: 7374 1544 835 435 0 737 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 6176 KiB
[startup+12.7003 s]
/proc/loadavg: 1.94 2.00 2.03 3/187 4103
/proc/meminfo: memFree=27328764/32770624 swapFree=67108860/67108860
[pid=4102] ppid=4099 vsize=29496 memory=6176 CPUtime=12.69 cores=1,3,5,7
/proc/4102/stat : 4102 (cosoco) R 4099 4102 3568 0 -1 4202496 3063 0 0 0 1269 0 0 0 20 0 1 0 90831980 30203904 1544 33554432000 4194304 5972588 140727210874048 140727210861240 5099664 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39440384 140727210882239 140727210882334 140727210882334 140727210885070 0
/proc/4102/statm: 7374 1544 835 435 0 737 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 6176 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.03 3/187 4103
/proc/meminfo: memFree=27328940/32770624 swapFree=67108860/67108860
[pid=4102] ppid=4099 vsize=29496 memory=6180 CPUtime=25.49 cores=1,3,5,7
/proc/4102/stat : 4102 (cosoco) R 4099 4102 3568 0 -1 4202496 3292 0 0 0 2549 0 0 0 20 0 1 0 90831980 30203904 1545 33554432000 4194304 5972588 140727210874048 140727210861240 5139274 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39440384 140727210882239 140727210882334 140727210882334 140727210885070 0
/proc/4102/statm: 7374 1545 835 435 0 737 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 6180 KiB
[startup+51.109 s]
/proc/loadavg: 1.97 2.00 2.03 3/187 4104
/proc/meminfo: memFree=27328428/32770624 swapFree=67108860/67108860
[pid=4102] ppid=4099 vsize=29496 memory=6212 CPUtime=51.1 cores=1,3,5,7
/proc/4102/stat : 4102 (cosoco) R 4099 4102 3568 0 -1 4202496 3433 0 0 0 5110 0 0 0 20 0 1 0 90831980 30203904 1553 33554432000 4194304 5972588 140727210874048 140727210861240 5312304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39440384 140727210882239 140727210882334 140727210882334 140727210885070 0
/proc/4102/statm: 7374 1553 835 435 0 737 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 6212 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/187 4105
/proc/meminfo: memFree=27329084/32770624 swapFree=67108860/67108860
[pid=4102] ppid=4099 vsize=29496 memory=6212 CPUtime=102.29 cores=1,3,5,7
/proc/4102/stat : 4102 (cosoco) R 4099 4102 3568 0 -1 4202496 3561 0 0 0 10229 0 0 0 20 0 1 0 90831980 30203904 1553 33554432000 4194304 5972588 140727210874048 140727210861240 5139327 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39440384 140727210882239 140727210882334 140727210882334 140727210885070 0
/proc/4102/statm: 7374 1553 835 435 0 737 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 6212 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 4106
/proc/meminfo: memFree=27329388/32770624 swapFree=67108860/67108860
[pid=4102] ppid=4099 vsize=29496 memory=6216 CPUtime=162.28 cores=1,3,5,7
/proc/4102/stat : 4102 (cosoco) R 4099 4102 3568 0 -1 4202496 3691 0 0 0 16228 0 0 0 20 0 1 0 90831980 30203904 1554 33554432000 4194304 5972588 140727210874048 140727210861240 5139329 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39440384 140727210882239 140727210882334 140727210882334 140727210885070 0
/proc/4102/statm: 7374 1554 835 435 0 737 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 6216 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 4107
/proc/meminfo: memFree=27329040/32770624 swapFree=67108860/67108860
[pid=4102] ppid=4099 vsize=29496 memory=6220 CPUtime=222.28 cores=1,3,5,7
/proc/4102/stat : 4102 (cosoco) R 4099 4102 3568 0 -1 4202496 3820 0 0 0 22228 0 0 0 20 0 1 0 90831980 30203904 1555 33554432000 4194304 5972588 140727210874048 140727210861240 5046616 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39440384 140727210882239 140727210882334 140727210882334 140727210885070 0
/proc/4102/statm: 7374 1555 835 435 0 737 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 6220 KiB
[startup+250.29 s]
# the end of solver process 4102 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.277 s, system=0.001017 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 4107
/proc/meminfo: memFree=27329040/32770624 swapFree=67108860/67108860
[pid=4102] ppid=4099 vsize=29496 memory=6220 CPUtime=230.38 cores=1,3,5,7
/proc/4102/stat : 4102 (cosoco) R 4099 4102 3568 0 -1 4202496 3820 0 0 0 23038 0 0 0 20 0 1 0 90831980 30203904 1555 33554432000 4194304 5972588 140727210874048 140727210861240 5139333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39440384 140727210882239 140727210882334 140727210882334 140727210885070 0
/proc/4102/statm: 7374 1555 835 435 0 737 0
Current children cumulated CPU time: 230.38 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 6220 KiB
[startup+243.2 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 4109
/proc/meminfo: memFree=27328548/32770624 swapFree=67108860/67108860
[pid=4102] ppid=4099 vsize=29496 memory=6220 CPUtime=243.18 cores=1,3,5,7
/proc/4102/stat : 4102 (cosoco) R 4099 4102 3568 0 -1 4202496 3947 0 0 0 24318 0 0 0 20 0 1 0 90831980 30203904 1555 33554432000 4194304 5972588 140727210874048 140727210861240 5139324 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39440384 140727210882239 140727210882334 140727210882334 140727210885070 0
/proc/4102/statm: 7374 1555 835 435 0 737 0
Current children cumulated CPU time: 243.18 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 6220 KiB
[startup+246.4 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 4109
/proc/meminfo: memFree=27328548/32770624 swapFree=67108860/67108860
[pid=4102] ppid=4099 vsize=29496 memory=6220 CPUtime=246.38 cores=1,3,5,7
/proc/4102/stat : 4102 (cosoco) R 4099 4102 3568 0 -1 4202496 3947 0 0 0 24638 0 0 0 20 0 1 0 90831980 30203904 1555 33554432000 4194304 5972588 140727210874048 140727210861240 5323544 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39440384 140727210882239 140727210882334 140727210882334 140727210885070 0
/proc/4102/statm: 7374 1555 835 435 0 737 0
Current children cumulated CPU time: 246.38 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 6220 KiB
[startup+248 s]*
/proc/loadavg: 2.00 2.00 2.03 3/187 4109
/proc/meminfo: memFree=27328548/32770624 swapFree=67108860/67108860
[pid=4102] ppid=4099 vsize=29496 memory=6220 CPUtime=247.99 cores=1,3,5,7
/proc/4102/stat : 4102 (cosoco) R 4099 4102 3568 0 -1 4202496 3947 0 0 0 24799 0 0 0 20 0 1 0 90831980 30203904 1555 33554432000 4194304 5972588 140727210874048 140727210871496 5139327 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39440384 140727210882239 140727210882334 140727210882334 140727210885070 0
/proc/4102/statm: 7374 1555 835 435 0 737 0
Current children cumulated CPU time: 247.99 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 6220 KiB
[startup+249.6 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 4109
/proc/meminfo: memFree=27328548/32770624 swapFree=67108860/67108860
[pid=4102] ppid=4099 vsize=29496 memory=6220 CPUtime=249.58 cores=1,3,5,7
/proc/4102/stat : 4102 (cosoco) R 4099 4102 3568 0 -1 4202496 3947 0 0 0 24958 0 0 0 20 0 1 0 90831980 30203904 1555 33554432000 4194304 5972588 140727210874048 140727210871496 5048486 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39440384 140727210882239 140727210882334 140727210882334 140727210885070 0
/proc/4102/statm: 7374 1555 835 435 0 737 0
Current children cumulated CPU time: 249.58 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 6220 KiB
[startup+250 s]*
/proc/loadavg: 2.00 2.00 2.03 3/187 4109
/proc/meminfo: memFree=27328548/32770624 swapFree=67108860/67108860
[pid=4102] ppid=4099 vsize=29496 memory=6220 CPUtime=249.99 cores=1,3,5,7
/proc/4102/stat : 4102 (cosoco) R 4099 4102 3568 0 -1 4202496 3947 0 0 0 24999 0 0 0 20 0 1 0 90831980 30203904 1555 33554432000 4194304 5972588 140727210874048 140727210871496 5139327 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39440384 140727210882239 140727210882334 140727210882334 140727210885070 0
/proc/4102/statm: 7374 1555 835 435 0 737 0
Current children cumulated CPU time: 249.99 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 6220 KiB
[startup+250.2 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 4109
/proc/meminfo: memFree=27328548/32770624 swapFree=67108860/67108860
[pid=4102] ppid=4099 vsize=29496 memory=6220 CPUtime=250.18 cores=1,3,5,7
/proc/4102/stat : 4102 (cosoco) R 4099 4102 3568 0 -1 4202496 3947 0 0 0 25018 0 0 0 20 0 1 0 90831980 30203904 1555 33554432000 4194304 5972588 140727210874048 140727210871496 5022736 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39440384 140727210882239 140727210882334 140727210882334 140727210885070 0
/proc/4102/statm: 7374 1555 835 435 0 737 0
Current children cumulated CPU time: 250.18 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 6220 KiB
Child status: 0
Real time (s): 250.291
CPU time (s): 250.278
CPU user time (s): 250.277
CPU system time (s): 0.001017
CPU usage (%): 99.9951
Max. virtual memory (cumulated for all children) (KiB): 29496
Max. memory (cumulated for all children) (KiB): 6220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.277
system time used= 0.001017
maximum resident set size= 6288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3984
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= 7
involuntary context switches= 199
# summary of solver processes directly reported to runsolver:
# pid: 4102
# total CPU time (s): 250.278
# total CPU user time (s): 250.277
# total CPU system time (s): 0.001017
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.868904 second user time and 1.6507 second system time
The end
Begin job on node150 at 2017-08-13 00:24:10 IDJOB=4267592 IDBENCH=138319 IDSOLVER=2658 FILE ID=node150/4267592-1502577508 RUNJOBID= node150-1502571587-3600 PBS_JOBID= 20628290 Free space on /tmp= 61636 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff57.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267592-1502577508/watcher-4267592-1502577508 -o /tmp/evaluation-result-4267592-1502577508/solver-4267592-1502577508 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1502571587-3600 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267592-1502577508.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9601f9fdcfec45ff7e2268abb15a55d6 RANDOM SEED=979207902 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 : 5332.89 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 : 5332.89 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 : 5332.89 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 : 5332.89 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: 27332020 kB MemAvailable: 31989996 kB Buffers: 212232 kB Cached: 4734888 kB SwapCached: 0 kB Active: 646912 kB Inactive: 4354980 kB Active(anon): 57608 kB Inactive(anon): 25068 kB Active(file): 589304 kB Inactive(file): 4329912 kB Unevictable: 6228 kB Mlocked: 6228 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2468 kB Writeback: 0 kB AnonPages: 61064 kB Mapped: 44760 kB Shmem: 25224 kB Slab: 135692 kB SReclaimable: 109192 kB SUnreclaim: 26500 kB KernelStack: 3296 kB PageTables: 5104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 352012 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61632 MiB End job on node150 at 2017-08-13 00:28:20