Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | SAT | 664.688 | 664.741 |
Name | SuperSolutions/SuperSolutions-Taillard-os10/ SuperTaillard-os-10-12.xml |
MD5SUM | 5dc18f9bddc2dfff84e0f90fec56ce3b |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 24.9156 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2800 |
Number of domains | 65 |
Minimum domain size | 520 |
Maximum domain size | 616 |
Distribution of domain sizes | [{"size":520,"count":2},{"size":521,"count":4},{"size":522,"count":2},{"size":523,"count":4},{"size":525,"count":4},{"size":527,"count":4},{"size":528,"count":2},{"size":529,"count":2},{"size":530,"count":6},{"size":531,"count":6},{"size":532,"count":2},{"size":534,"count":2},{"size":535,"count":2},{"size":536,"count":2},{"size":537,"count":2},{"size":541,"count":2},{"size":542,"count":4},{"size":543,"count":2},{"size":545,"count":4},{"size":547,"count":2},{"size":550,"count":2},{"size":551,"count":2},{"size":552,"count":2},{"size":553,"count":2},{"size":554,"count":2},"...",{"size":582,"count":6}, {"size":585,"count":4}, {"size":586,"count":2}, {"size":587,"count":2}, {"size":588,"count":2}, {"size":589,"count":4}, {"size":590,"count":2}, {"size":592,"count":2}, {"size":595,"count":4}, {"size":596,"count":2}, {"size":597,"count":2}, {"size":599,"count":2}, {"size":600,"count":6}, {"size":601,"count":2}, {"size":602,"count":2}, {"size":603,"count":2}, {"size":604,"count":6}, {"size":605,"count":2}, {"size":606,"count":2}, {"size":608,"count":4}, {"size":609,"count":2}, {"size":612,"count":4}, {"size":614,"count":6}, {"size":615,"count":4}, {"size":616,"count":4}] |
Minimum variable degree | 19 |
Maximum variable degree | 37 |
Distribution of variable degrees | [{"degree":19,"count":100},{"degree":37,"count":100}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":2800}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 2800 |
Distribution of constraint types | [{"type":"intension","count":2800}] |
Optimization problem | NO |
Type of objective |
1.89/1.92 c root propagations : 0 1.89/1.92 c restarts enabled, print stats at every restarts 1.89/1.92 c 1.89/1.92 c 1.89/1.92 c 1.89/1.92 c This is cosoco 2.00 -- 1.89/1.92 c 1.89/1.92 c command line: cosoco -lc -model -restarts -stick HOME/instance-4396710-1568592905.xml 1.89/1.92 c ========================================[ Problem Statistics ]=========================================== 1.89/1.92 c | 1.89/1.92 c | Parse time : 1.87 s 1.89/1.92 c | 1.89/1.92 c | Variables: 200 1.89/1.92 c | Domain Sizes: 520..616 1.89/1.92 c | 1.89/1.92 c | Constraints: 2800 1.89/1.92 c | Arity: 2..2 -- Binary: 2800 1.89/1.92 c | 1.89/1.92 c | Types: 1.89/1.92 c | (X != Y): 100 1.89/1.92 c | Intension: 2700 1.89/1.92 c | 1.89/1.92 c ========================================================================================================= 1.89/1.92 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 6.39/6.40 c 101 146 40556 544107 0 0 26 27 25 9.19/9.22 c 211 262 70651 933566 0 0 7 7 6 13.38/13.48 c 332 396 116455 1526326 0 0 7 7 6 16.59/16.62 c 465 541 160789 2023796 0 0 7 8 6 19.49/19.52 c 611 699 194684 2594107 0 0 7 9 7 23.49/23.50 c 771 869 233216 3126752 0 0 7 7 6 27.68/27.77 c 947 1052 274126 4068680 0 0 6 7 6 32.88/32.90 c 1140 1255 308174 5060759 0 0 7 8 6 40.09/40.17 c 1352 1491 358599 5841189 0 0 7 8 7 44.89/44.96 c 1585 1738 390565 6754493 0 0 8 8 7 51.19/51.26 c 1841 2007 464447 7551557 0 0 8 8 7 58.29/58.35 c 2122 2317 561470 8274703 0 0 8 10 9 64.29/64.33 c 2431 2638 619451 9484805 0 0 9 9 8 71.48/71.53 c 2770 2999 701617 10565768 0 0 7 9 8 83.28/83.38 c 3142 3408 828990 12599963 0 0 8 10 8 91.99/92.01 c 3551 3831 876859 14183599 0 0 7 7 6 102.99/103.02 c 4000 4313 997721 15902636 0 0 7 8 7 111.88/111.90 c 4493 4847 1084605 17780700 0 0 7 9 8 133.98/134.07 c 5035 5409 1200923 20366684 0 0 8 10 8 144.77/144.89 c 5631 6035 1342818 21866515 0 0 9 9 8 156.98/157.07 c 6286 6708 1411533 24731942 0 0 9 9 8 173.98/174.05 c 7006 7512 1700233 26561156 0 0 9 14 12 199.77/199.80 c 7798 8368 1875419 29940402 0 0 8 9 8 222.47/222.54 c 8669 9322 2154839 32989117 0 0 8 12 11 246.66/246.78 c 9627 10373 2433322 36040346 0 0 9 13 11 274.26/274.33 c 10680 11510 2741874 41912736 0 0 8 9 8 300.86/300.93 c 11838 12724 3010177 45449752 0 0 6 9 7 327.76/327.82 c 13111 14058 3265163 48772843 0 0 8 9 8 367.86/367.99 c 14511 15611 3857229 52775362 0 0 9 45 13 381.46/381.50 c 16051 17221 4053731 56253147 0 0 13 27 25 419.15/419.24 c 17745 19123 4742738 59992285 0 0 7 27 25 461.65/461.79 c 19608 21268 5377301 62716709 0 0 11 27 25 494.65/494.78 c 21657 23443 5800094 68175793 0 0 14 25 24 538.95/539.04 c 23910 25879 6487100 74093008 0 0 7 9 8 582.24/582.33 c 26388 28444 7386650 78027428 0 0 9 10 9 645.44/645.58 c 29113 31531 8535216 81773714 0 0 45 49 47 664.64/664.73 c First solution is found 664.64/664.73 s SATISFIABLE 664.64/664.73 c restarts : 36 664.64/664.73 c conflicts : 29976 (45 /sec) 664.64/664.73 c decisions : 32770 (49 /sec) 664.64/664.73 c propagations : 83063836 (124985 /sec) 664.64/664.73 c root propagations : 0 664.64/664.73 c filter calls : 8855783 (13325 /sec) 664.64/664.73 c useless filter calls : 7422504 (83 %) 664.64/664.73 c Memory used : 170.73 MB 664.64/664.73 c CPU time : 664.592 s 664.64/664.73 c real time : 664.734 s 664.64/664.73 664.64/664.73 c solution 1 664.64/664.73 664.64/664.73 v <instantiation type='solution'> 664.64/664.73 v <list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 </list> 664.64/664.73 v <values>423 424 144 141 0 1 37 36 386 387 64 67 336 323 241 242 272 271 519 518 156 174 300 299 0 1 332 331 536 535 48 45 420 254 57 56 147 148 451 450 82 83 156 155 0 282 9 10 537 535 492 493 295 282 432 431 243 244 349 348 21 22 176 147 338 339 75 74 263 262 432 431 528 527 52 36 0 31 69 68 323 324 0 1 211 212 74 75 97 98 16 15 144 141 496 497 420 421 544 545 525 524 359 338 456 414 1 0 97 98 234 233 280 281 332 331 174 175 492 493 525 524 326 327 496 497 46 45 141 262 21 22 0 1 211 212 135 136 403 402 69 68 0 1 349 350 243 244 492 493 156 155 326 325 405 404 386 387 584 583 354 40 400 401 303 25 234 233 135 136 140 139 243 244 64 31 526 525 0 338 585 414 525 524 544 402 63 62 477 402 155 422 349 350 272 271 16 17 210 211 </values> 664.64/664.73 v </instantiation> 664.64/664.73
OK
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 (14040 MiB free) memory of node 1: 16384 MiB (15521 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396710-1568592905/watcher-4396710-1568592905 -o /tmp/evaluation-result-4396710-1568592905/solver-4396710-1568592905 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568572744-19033 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396710-1568592905.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 Current StackSize limit: 8192 KiB solver pid=23143, runsolver pid=23140 [startup+0.100576 s]* /proc/loadavg: 1.87 1.99 2.03 3/200 23144 /proc/meminfo: memFree=30269980/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=28960 memory=5056 CPUtime=0.1 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 1475 0 0 0 10 0 0 0 20 0 1 0 435563093 29655040 1264 33554432000 4194304 6211092 140724947334288 140724947331560 5721845 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 7240 1264 798 493 0 545 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 28960 KiB Current children cumulated memory: 5056 KiB [startup+0.209567 s]* /proc/loadavg: 1.87 1.99 2.03 3/200 23144 /proc/meminfo: memFree=30264440/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=34508 memory=10640 CPUtime=0.21 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 2884 0 0 0 21 0 0 0 20 0 1 0 435563093 35336192 2660 33554432000 4194304 6211092 140724947334288 140724947331560 5455205 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 8627 2660 816 493 0 1932 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 34508 KiB Current children cumulated memory: 10640 KiB [startup+0.309534 s]* /proc/loadavg: 1.87 1.99 2.03 3/200 23144 /proc/meminfo: memFree=30258860/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=40316 memory=16460 CPUtime=0.3 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 4333 0 0 0 30 0 0 0 20 0 1 0 435563093 41283584 4115 33554432000 4194304 6211092 140724947334288 140724947331560 5478189 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 10079 4115 816 493 0 3384 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 40316 KiB Current children cumulated memory: 16460 KiB [startup+0.700313 s] /proc/loadavg: 1.87 1.99 2.03 3/200 23144 /proc/meminfo: memFree=30247328/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=62632 memory=38916 CPUtime=0.68 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 9891 0 0 0 67 1 0 0 20 0 1 0 435563093 64135168 9729 33554432000 4194304 6211092 140724947334288 140724947329384 140501221610476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 15658 9729 816 493 0 8963 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 62632 KiB Current children cumulated memory: 38916 KiB [startup+1.50031 s] /proc/loadavg: 1.87 1.99 2.03 3/200 23144 /proc/meminfo: memFree=30218260/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=109056 memory=85336 CPUtime=1.49 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 21516 0 0 0 145 4 0 0 20 0 1 0 435563093 111673344 21334 33554432000 4194304 6211092 140724947334288 140724947329384 140501221149669 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 27264 21334 816 493 0 20569 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 109056 KiB Current children cumulated memory: 85336 KiB [startup+3.10966 s] /proc/loadavg: 1.87 1.99 2.03 3/200 23144 /proc/meminfo: memFree=30157996/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=140100 memory=116516 CPUtime=3.1 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 37116 0 0 0 305 5 0 0 20 0 1 0 435563093 143462400 29129 33554432000 4194304 6211092 140724947334288 140724947331944 5164777 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 35025 29129 859 493 0 28330 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 140100 KiB Current children cumulated memory: 116516 KiB [startup+6.30026 s] /proc/loadavg: 1.80 1.98 2.03 3/201 23146 /proc/meminfo: memFree=30155492/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=141552 memory=118112 CPUtime=6.29 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 43438 0 0 0 624 5 0 0 20 0 1 0 435563093 144949248 29528 33554432000 4194304 6211092 140724947334288 140724947331944 5452234 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 35388 29528 859 493 0 28693 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 141552 KiB Current children cumulated memory: 118112 KiB [startup+12.7003 s] /proc/loadavg: 1.82 1.98 2.03 3/200 23146 /proc/meminfo: memFree=30153268/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=144324 memory=120832 CPUtime=12.68 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 52353 0 0 0 1263 5 0 0 20 0 1 0 435563093 147787776 30208 33554432000 4194304 6211092 140724947334288 140724947331944 140501230482592 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 36081 30208 861 493 0 29386 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 144324 KiB Current children cumulated memory: 120832 KiB [startup+25.5003 s] /proc/loadavg: 1.85 1.98 2.03 3/200 23146 /proc/meminfo: memFree=30150888/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=146304 memory=122880 CPUtime=25.48 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 69559 0 0 0 2542 6 0 0 20 0 1 0 435563093 149815296 30720 33554432000 4194304 6211092 140724947334288 140724947331944 140501222073678 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 36576 30720 861 493 0 29881 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 146304 KiB Current children cumulated memory: 122880 KiB [startup+51.1093 s] /proc/loadavg: 1.91 1.98 2.03 3/200 23148 /proc/meminfo: memFree=30149656/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=146832 memory=123384 CPUtime=51.1 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 78438 0 0 0 5103 7 0 0 20 0 1 0 435563093 150355968 30846 33554432000 4194304 6211092 140724947334288 140724947331944 5446260 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 36708 30846 861 493 0 30013 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 146832 KiB Current children cumulated memory: 123384 KiB [startup+102.3 s] /proc/loadavg: 1.96 1.98 2.03 3/199 23152 /proc/meminfo: memFree=30148876/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=147624 memory=124204 CPUtime=102.28 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 88136 0 0 0 10221 7 0 0 20 0 1 0 435563093 151166976 31051 33554432000 4194304 6211092 140724947334288 140724947332248 5476857 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 36906 31051 861 493 0 30211 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 147624 KiB Current children cumulated memory: 124204 KiB [startup+162.3 s] /proc/loadavg: 1.98 1.99 2.03 3/199 23156 /proc/meminfo: memFree=30148936/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=148152 memory=124748 CPUtime=162.27 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 91648 0 0 0 16220 7 0 0 20 0 1 0 435563093 151707648 31187 33554432000 4194304 6211092 140724947334288 140724947331944 5453912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 37038 31187 861 493 0 30343 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 148152 KiB Current children cumulated memory: 124748 KiB [startup+222.3 s] /proc/loadavg: 1.96 1.97 2.02 3/199 23223 /proc/meminfo: memFree=29791816/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=148416 memory=125024 CPUtime=222.27 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 92238 0 0 0 22220 7 0 0 20 0 1 0 435563093 151977984 31256 33554432000 4194304 6211092 140724947334288 140724947332248 5443040 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 37104 31256 861 493 0 30409 0 Current children cumulated CPU time: 222.27 s Current children cumulated vsize: 148416 KiB Current children cumulated memory: 125024 KiB [startup+282.3 s] /proc/loadavg: 1.99 1.98 2.02 3/199 23229 /proc/meminfo: memFree=29763104/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=148944 memory=125460 CPUtime=282.26 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 93126 0 0 0 28219 7 0 0 20 0 1 0 435563093 152518656 31365 33554432000 4194304 6211092 140724947334288 140724947332248 5440805 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 37236 31365 861 493 0 30541 0 Current children cumulated CPU time: 282.26 s Current children cumulated vsize: 148944 KiB Current children cumulated memory: 125460 KiB [startup+342.3 s] /proc/loadavg: 1.99 1.99 2.02 3/200 23241 /proc/meminfo: memFree=29744528/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=149076 memory=125536 CPUtime=342.26 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 93610 0 0 0 34219 7 0 0 20 0 1 0 435563093 152653824 31384 33554432000 4194304 6211092 140724947334288 140724947331944 5451558 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 37269 31384 861 493 0 30574 0 Current children cumulated CPU time: 342.26 s Current children cumulated vsize: 149076 KiB Current children cumulated memory: 125536 KiB [startup+402.3 s] /proc/loadavg: 2.00 1.99 2.02 3/200 23245 /proc/meminfo: memFree=29728140/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=159636 memory=136064 CPUtime=402.25 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 96557 0 0 0 40217 8 0 0 20 0 1 0 435563093 163467264 34016 33554432000 4194304 6211092 140724947334288 140724947331944 5451618 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 39909 34016 861 493 0 33214 0 Current children cumulated CPU time: 402.25 s Current children cumulated vsize: 159636 KiB Current children cumulated memory: 136064 KiB [startup+462.3 s] /proc/loadavg: 2.00 1.99 2.02 3/200 23251 /proc/meminfo: memFree=29721404/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=161088 memory=137652 CPUtime=462.25 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 98708 0 0 0 46217 8 0 0 20 0 1 0 435563093 164954112 34413 33554432000 4194304 6211092 140724947334288 140724947331944 5446279 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 40272 34413 861 493 0 33577 0 Current children cumulated CPU time: 462.25 s Current children cumulated vsize: 161088 KiB Current children cumulated memory: 137652 KiB [startup+522.3 s] /proc/loadavg: 2.49 2.11 2.07 3/200 23255 /proc/meminfo: memFree=29713392/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=162012 memory=138492 CPUtime=522.25 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 100925 0 0 0 52217 8 0 0 20 0 1 0 435563093 165900288 34623 33554432000 4194304 6211092 140724947334288 140724947331944 140501231094616 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 40503 34623 861 493 0 33808 0 Current children cumulated CPU time: 522.25 s Current children cumulated vsize: 162012 KiB Current children cumulated memory: 138492 KiB [startup+582.3 s] /proc/loadavg: 2.24 2.12 2.07 3/200 23259 /proc/meminfo: memFree=29709864/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=162936 memory=139412 CPUtime=582.24 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 103306 0 0 0 58216 8 0 0 20 0 1 0 435563093 166846464 34853 33554432000 4194304 6211092 140724947334288 140724947331944 140501222070160 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 40734 34853 861 493 0 34039 0 Current children cumulated CPU time: 582.24 s Current children cumulated vsize: 162936 KiB Current children cumulated memory: 139412 KiB [startup+642.3 s] /proc/loadavg: 2.09 2.10 2.06 3/199 23266 /proc/meminfo: memFree=29704492/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=164520 memory=141060 CPUtime=642.24 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 105841 0 0 0 64216 8 0 0 20 0 1 0 435563093 168468480 35265 33554432000 4194304 6211092 140724947334288 140724947331944 5451416 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 41130 35265 861 493 0 34435 0 Current children cumulated CPU time: 642.24 s Current children cumulated vsize: 164520 KiB Current children cumulated memory: 141060 KiB [startup+664.741 s] # the end of solver process 23143 was just reported to runsolver # cumulated CPU time of all completed processes: user=664.591 s, system=0.096993 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+652.8 s] /proc/loadavg: 2.08 2.09 2.06 3/199 23267 /proc/meminfo: memFree=29693272/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=173764 memory=150104 CPUtime=652.73 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 110236 0 0 0 65265 8 0 0 20 0 1 0 435563093 177934336 37526 33554432000 4194304 6211092 140724947334288 140724947331944 5478374 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 43441 37526 861 493 0 36746 0 Current children cumulated CPU time: 652.73 s Current children cumulated vsize: 173764 KiB Current children cumulated memory: 150104 KiB [startup+659.2 s] /proc/loadavg: 2.07 2.09 2.06 3/199 23268 /proc/meminfo: memFree=29692716/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=174160 memory=150728 CPUtime=659.14 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 112317 0 0 0 65905 9 0 0 20 0 1 0 435563093 178339840 37682 33554432000 4194304 6211092 140724947334288 140724947331944 140501222070196 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 43540 37682 861 493 0 36845 0 Current children cumulated CPU time: 659.14 s Current children cumulated vsize: 174160 KiB Current children cumulated memory: 150728 KiB [startup+662.4 s] /proc/loadavg: 2.06 2.09 2.06 3/199 23268 /proc/meminfo: memFree=29692064/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=174820 memory=151352 CPUtime=662.34 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 113966 0 0 0 66225 9 0 0 20 0 1 0 435563093 179015680 37838 33554432000 4194304 6211092 140724947334288 140724947331944 5068958 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 43705 37838 861 493 0 37010 0 Current children cumulated CPU time: 662.34 s Current children cumulated vsize: 174820 KiB Current children cumulated memory: 151352 KiB [startup+664 s]* /proc/loadavg: 2.06 2.09 2.06 3/199 23268 /proc/meminfo: memFree=29691940/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=174820 memory=151352 CPUtime=663.95 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 113968 0 0 0 66386 9 0 0 20 0 1 0 435563093 179015680 37838 33554432000 4194304 6211092 140724947334288 140724947331944 140501222073217 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 43705 37838 861 493 0 37010 0 Current children cumulated CPU time: 663.95 s Current children cumulated vsize: 174820 KiB Current children cumulated memory: 151352 KiB [startup+664.4 s] /proc/loadavg: 2.06 2.09 2.06 3/199 23268 /proc/meminfo: memFree=29691940/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=174820 memory=151352 CPUtime=664.34 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 113968 0 0 0 66425 9 0 0 20 0 1 0 435563093 179015680 37838 33554432000 4194304 6211092 140724947334288 140724947331944 5440716 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 43705 37838 861 493 0 37010 0 Current children cumulated CPU time: 664.34 s Current children cumulated vsize: 174820 KiB Current children cumulated memory: 151352 KiB [startup+664.6 s] /proc/loadavg: 2.06 2.09 2.06 3/199 23268 /proc/meminfo: memFree=29691940/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=174820 memory=151352 CPUtime=664.54 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 113973 0 0 0 66445 9 0 0 20 0 1 0 435563093 179015680 37838 33554432000 4194304 6211092 140724947334288 140724947331944 5164904 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 43705 37838 861 493 0 37010 0 Current children cumulated CPU time: 664.54 s Current children cumulated vsize: 174820 KiB Current children cumulated memory: 151352 KiB [startup+664.7 s] /proc/loadavg: 2.06 2.09 2.06 3/199 23268 /proc/meminfo: memFree=29691940/32770624 swapFree=67025976/67108860 [pid=23143] ppid=23140 vsize=174820 memory=151352 CPUtime=664.64 cores=1,3,5,7 /proc/23143/stat : 23143 (cosoco) R 23140 23143 19001 0 -1 4202496 114007 0 0 0 66455 9 0 0 20 0 1 0 435563093 179015680 37838 33554432000 4194304 6211092 140724947334288 140724947331944 5446260 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 30601216 140724947338251 140724947338353 140724947338353 140724947341262 0 /proc/23143/statm: 43705 37838 861 493 0 37010 0 Current children cumulated CPU time: 664.64 s Current children cumulated vsize: 174820 KiB Current children cumulated memory: 151352 KiB Child status: 0 Real time (s): 664.741 CPU time (s): 664.688 CPU user time (s): 664.591 CPU system time (s): 0.096993 CPU usage (%): 99.9921 Max. virtual memory (cumulated for all children) (KiB): 174820 Max. memory (cumulated for all children) (KiB): 151352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 664.592 system time used= 0.096993 maximum resident set size= 151528 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 114611 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= 19 involuntary context switches= 547 # summary of solver processes directly reported to runsolver: # pid: 23143 # total CPU time (s): 664.688 # total CPU user time (s): 664.591 # total CPU system time (s): 0.096993 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.39371 second user time and 4.46075 second system time The end
Begin job on node150 at 2019-09-16 02:14:25 IDJOB=4396710 IDBENCH=138454 IDSOLVER=2848 FILE ID=node150/4396710-1568592905 RUNJOBID= node150-1568572744-19033 PBS_JOBID= 21703307 Free space on /tmp= 59368 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-12.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396710-1568592905/watcher-4396710-1568592905 -o /tmp/evaluation-result-4396710-1568592905/solver-4396710-1568592905 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568572744-19033 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396710-1568592905.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5dc18f9bddc2dfff84e0f90fec56ce3b RANDOM SEED=2073221914 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: 30271448 kB MemAvailable: 31841644 kB Buffers: 176236 kB Cached: 1654636 kB SwapCached: 11932 kB Active: 827660 kB Inactive: 1049208 kB Active(anon): 5644 kB Inactive(anon): 78440 kB Active(file): 822016 kB Inactive(file): 970768 kB Unevictable: 109504 kB Mlocked: 109504 kB SwapTotal: 67108860 kB SwapFree: 67025976 kB Dirty: 2728 kB Writeback: 0 kB AnonPages: 144428 kB Mapped: 46796 kB Shmem: 29468 kB Slab: 216348 kB SReclaimable: 186492 kB SUnreclaim: 29856 kB KernelStack: 3584 kB PageTables: 5400 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 536396 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 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= 59364 MiB End job on node150 at 2019-09-16 02:25:30