Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.O parallel | SAT | 12.7334 | 1.74131 |
Name | Subisomorphism/Subisomorphism-m1-si2-m4D/ Subisomorphism-si2-m4Dr6-m1296-04.xml |
MD5SUM | 2d28027fc76d6f94be685cc66f299382 |
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 | 0.734935 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 259 |
Number of constraints | 561 |
Number of domains | 1 |
Minimum domain size | 1296 |
Maximum domain size | 1296 |
Distribution of domain sizes | [{"size":1296,"count":259}] |
Minimum variable degree | 2 |
Maximum variable degree | 13 |
Distribution of variable degrees | [{"degree":2,"count":59},{"degree":3,"count":52},{"degree":4,"count":47},{"degree":6,"count":32},{"degree":7,"count":12},{"degree":8,"count":16},{"degree":9,"count":16},{"degree":10,"count":12},{"degree":11,"count":9},{"degree":12,"count":3},{"degree":13,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 259 |
Distribution of constraint arities | [{"arity":1,"count":101},{"arity":2,"count":459},{"arity":259,"count":1}] |
Number of extensional constraints | 560 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":560},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
3.42/0.54 c root propagations : 136724 3.42/0.54 c restarts enabled, print stats at every restarts 3.42/0.54 c 3.42/0.54 c 3.42/0.54 c 3.42/0.54 c This is cosoco 2.00 -- 3.42/0.54 c 3.42/0.54 c command line: cosoco -model -nbcores=8 HOME/instance-4398070-1568605542.xml 3.42/0.54 c ========================================[ Problem Statistics ]=========================================== 3.42/0.54 c | 3.42/0.54 c | Parse time : 0.07 s 3.42/0.54 c | 3.42/0.54 c | Variables: 259 3.42/0.54 c | Domain Sizes: 1296..1296 3.42/0.54 c | 3.42/0.54 c | Constraints: 561 3.42/0.54 c | Arity: 1..259 -- Unary: 101 -- Binary: 459 3.42/0.54 c | 3.42/0.54 c | Types: 3.42/0.54 c | All Different: 1 3.42/0.54 c | Extension: 459 (nb tuples: 8750..8750) -- (shared: 4408) 3.42/0.54 c | Unary: 101 3.42/0.54 c | 3.42/0.54 c ========================================================================================================= 3.42/0.54 c Parallel mode: Portfolio 3.42/0.54 c [pFactory][Group N°0] created (threads:8). 3.42/0.54 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 3.42/0.54 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 3.42/0.54 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 3.42/0.54 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 3.42/0.54 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 3.42/0.54 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 3.42/0.54 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 3.42/0.54 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 3.42/0.54 c [pFactory][Group N°0] concurrent mode: enabled. 3.42/0.54 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 3.42/0.54 c [pFactory][Group N°0] task 7 launched on thread 7. 3.42/0.54 c [pFactory][Group N°0] task 6 launched on thread 1. 3.42/0.54 c [pFactory][Group N°0] task 5 launched on thread 0. 3.42/0.54 c [pFactory][Group N°0] task 4 launched on thread 5. 3.42/0.54 c [pFactory][Group N°0] task 3 launched on thread 2. 3.42/0.54 c [pFactory][Group N°0] task 2 launched on thread 6. 3.42/0.54 c [pFactory][Group N°0] task 1 launched on thread 4. 3.42/0.54 c [pFactory][Group N°0] task 0 launched on thread 3. 3.42/0.54 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.42/0.54 c root propagations : 136724 3.42/0.54 c restarts enabled, print stats at every restarts 3.42/0.54 c 3.42/0.54 c 3.42/0.54 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.42/0.55 c root propagations : 136724 3.42/0.55 c restarts enabled, print stats at every restarts 3.42/0.55 c 3.42/0.55 c 3.42/0.55 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.42/0.56 c root propagations : 136724 3.42/0.56 c restarts enabled, print stats at every restarts 3.42/0.56 c 3.42/0.56 c 3.42/0.56 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.42/0.56 c root propagations : 136724 3.42/0.56 c restarts enabled, print stats at every restarts 3.42/0.56 c 3.42/0.56 c 3.42/0.56 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.42/0.57 c root propagations : 136724 3.42/0.57 c restarts enabled, print stats at every restarts 3.42/0.57 c 3.42/0.57 c 3.42/0.57 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.42/0.59 c 0 1 2313 136725 259 0 0 0 0 3.42/0.59 c 0 2 2313 136726 259 0 0 0 0 3.42/0.60 c root propagations : 136724 3.42/0.60 c restarts enabled, print stats at every restarts 3.42/0.60 c 3.42/0.60 c 3.42/0.60 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.42/0.60 c 0 1 2313 136725 259 0 0 0 0 3.42/0.60 c 0 2 2313 136726 259 0 0 0 0 3.42/0.60 c 0 1 2313 136725 259 0 0 0 0 3.42/0.60 c 0 2 2313 136726 259 0 0 0 0 4.01/0.62 c 0 1 2313 136725 259 0 0 0 0 4.01/0.63 c 0 4 3284 299628 259 0 0 0 0 4.01/0.63 c 0 1 2313 136725 259 0 0 0 0 4.01/0.63 c 0 2 2317 136727 259 0 0 0 0 4.01/0.63 c 0 5 3288 299630 259 0 0 0 0 4.01/0.63 c root propagations : 136724 4.01/0.63 c restarts enabled, print stats at every restarts 4.01/0.63 c 4.01/0.63 c 4.01/0.63 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 4.01/0.63 c 0 1 2313 136725 259 0 0 0 0 4.01/0.64 c 0 1 2313 136725 259 0 0 0 0 4.01/0.64 c 0 4 3570 289007 259 0 0 0 0 4.01/0.65 c 0 2 2325 136728 259 0 0 0 0 4.01/0.66 c 0 5 3582 289011 259 0 0 0 0 4.01/0.66 c 0 7 4259 462531 259 0 0 0 0 4.01/0.66 c 0 3 3432 287964 259 0 0 0 0 4.01/0.66 c 0 8 4271 462534 259 0 0 0 0 4.01/0.66 c 0 1 2325 136727 259 0 0 0 0 4.01/0.67 c 0 10 5242 625433 259 0 0 0 0 4.01/0.68 c 0 7 4844 441289 259 0 0 0 0 4.01/0.68 c 0 5 4551 439202 259 0 0 0 0 4.01/0.68 c 0 8 4886 441323 259 0 0 0 0 4.01/0.69 c 0 6 4593 439236 259 0 0 0 0 4.01/0.69 c 0 3 3219 189498 259 0 0 0 0 4.01/0.69 c 0 4 3218 188442 259 0 0 0 0 4.01/0.69 c 0 12 6252 788332 259 0 0 0 0 4.01/0.70 c 0 4 3261 189537 259 0 0 0 0 4.01/0.70 c 0 5 3260 188481 259 0 0 0 0 4.01/0.71 c 0 10 6129 593585 259 0 0 0 0 4.70/0.71 c 0 8 5713 590439 259 0 0 0 0 4.70/0.72 c 0 14 7227 951199 259 0 0 0 0 4.70/0.73 c 0 7 4149 240186 259 0 0 0 0 4.70/0.73 c 0 8 4183 240211 259 0 0 0 0 4.70/0.73 c 0 6 4155 242301 259 0 0 0 0 4.70/0.74 c 0 12 7405 745847 259 0 0 0 0 4.70/0.74 c c 0 13 0 7418 745855 10 6863 259 7416410 2590 0 0 00 0 0 4.70/0.74 4.70/0.74 c 0 14 7441 745862 259 0 0 0 0 4.70/0.74 c 0 11 6889 741655 259 0 0 0 0 4.70/0.74 c 0 12 6912 741661 259 0 0 0 0 4.70/0.74 c 0 16 8232 1114060 259 0 0 0 0 4.70/0.74 c 0 17 8293 1114093 259 0 0 0 0 4.70/0.75 c 0 10 5076 291917 259 0 0 0 0 4.70/0.76 c 0 8 5083 295070 259 0 0 0 0 4.70/0.76 c 0 19 9298 1276939 259 0 0 0 0 4.70/0.76 c 0 16 8683 898193 259 0 0 0 0 4.70/0.76 c 0 9 5154 295122 259 0 c 0 14 8037 0 0 0892821 259 4.70/0.76 0 0 0 0 4.70/0.78 c 0 20 9327 1276951 259 0 0 0 0 4.70/0.78 c 0 21 9327 1276952 259 0 0 0 0 4.70/0.78 c 0 17 8754 898238 259 0 0 0 0 4.70/0.79 c 0 23 10301 1439775 259 0 0 0 0 5.42/0.80 c 0 24 10333 1439788 259 0 0 0 0 5.42/0.80 c 0 19 10004 1050553 259 0 0 0 0 5.42/0.80 c 0 16 9206 1044052 259 0 0 0 0 5.42/0.80 c 0 20 10038 1050573 259 0 0 0 0 5.42/0.80 c 0 11 6048 347859 259 0 0 0 0 5.42/0.81 c 0 12 6355 415823 259 0 0 0 0 5.42/0.82 c 0 26 11318 1602601 259 0 0 0 0 5.42/0.82 c 0 22 11290 1202875 259 0 0 0 0 5.42/0.82 c 0 18 10333 1195279 259 0 0 0 0 5.42/0.83 c 0 23 11299 1202877 259 0 0 0 0 5.42/0.83 c 0 19 10342 1195281 259 0 0 0 0 5.42/0.83 c 0 20 10351 1195283 259 0 0 0 0 5.42/0.83 c 0 28 12301 1765408 259 0 0 0 0 5.42/0.83 c 0 13 6978 400609 259 0 0 0 0 5.42/0.83 c 0 29 12310 1765416 259 0 0 0 0 5.42/0.83 c 0 14 6987 400617 259 0 0 0 0 5.42/0.84 c 0 14 7279 467533 259 0 0 0 0 5.42/0.85 c 0 22 11453 1346489 259 0 0 0 0 5.42/0.85 c 0 25 12552 1355189 259 0 0 0 0 5.42/0.86 c 0 23 11492 1346507 259 0 0 0 0 5.42/0.86 c 0 31 13284 1928215 259 0 0 0 0 5.42/0.87 c 0 16 7884 453351 259 0 0 0 0 5.42/0.88 c 0 33 14297 2091014 259 0 0 0 0 5.42/0.88 c 0 16 8497 591396 259 0 0 0 0 5.42/0.88 c 0 25 12585 1497695 259 0 0 0 0 5.42/0.88 c 0 27 13852 1507548 259 0 0 0 0 6.22/0.90 c 0 35 15271 2253800 259 0 0 0 0 6.22/0.90 c 0 18 8818 506096 259 0 0 0 0 6.22/0.90 c 0 36 15287 2253818 259 0 0 0 0 6.22/0.91 c 0 27 13678 1648883 259 0 0 0 0 6.22/0.91 c 0 29 15109 1659889 259 0 0 0 0 6.22/0.92 c 0 28 13705 1648906 259 0 0 0 0 6.22/0.92 c 0 18 9418 643095 259 0 0 0 0 6.22/0.92 c 0 38 16261 2416590 259 0 0 0 0 6.22/0.93 c 0 39 16295 2416612 259 0 0 0 0 6.22/0.94 c 0 20 9730 558840 259 0 0 0 0 6.22/0.94 c 0 30 14798 1800088 259 0 0 0 0 6.22/0.95 c 0 21 9772 558865 259 0 0 0 0 6.22/0.95 c 0 31 16400 1812245 259 0 0 0 0 6.22/0.95 c 0 31 14829 1800108 259 0 0 0 0 6.22/0.95 c 0 41 17279 2579363 259 0 0 0 0 6.22/0.95 c 0 20 10654 766959 259 0 0 0 0 6.22/0.97 c 0 33 15921 1951273 259 0 0 0 0 6.22/0.97 c 0 33 17741 1965902 259 0 0 0 0 6.22/0.97 c 0 43 18262 2742116 259 0 0 0 0 6.22/0.98 c 0 34 17773 1965950 259 0 0 0 0 6.22/0.98 c 0 23 10669 611583 259 0 0 0 0 6.22/0.98 c 0 22 11575 818667 259 0 0 0 0 6.22/0.99 c 0 23 11625 818731 259 0 0 0 0 6.22/0.99 c 0 24 11634 818733 259 0 0 0 0 6.22/0.99 c 0 25 11654 818741 259 0 0 0 0 6.22/0.99 c 0 45 19268 2904867 259 0 0 0 0 6.22/0.99 c 0 46 19295 2904893 259 0 0 0 0 6.22/0.99 c 0 35 17054 2102438 259 0 0 0 0 6.22/1.00 c 0 36 17090 2102465 259 0 0 0 0 6.22/1.00 c 0 37 17121 2102480 259 0 0 0 0 6.22/1.00 c 0 36 19086 2119557 259 0 0 0 0 6.22/1.00 c 0 37 19143 2119602 259 0 0 0 0 6.22/1.00 c 0 25 11598 664352 259 0 0 0 0 6.22/1.02 c 0 26 11655 664430 259 0 0 0 0 6.22/1.02 c 0 48 20281 3067585 259 0 0 0 0 7.15/1.02 c 0 39 18230 2253658 259 0 0 0 0 7.15/1.02 c 0 27 12544 870425 259 0 0 0 0 7.15/1.03 c 0 40 18261 2253693 259 0 0 0 0 7.15/1.03 c 0 28 12583 870480 259 0 0 0 0 7.15/1.03 c 0 29 12592 870482 259 0 0 0 0 7.15/1.03 c 0 39 20482 2273215 259 0 0 0 0 7.15/1.03 c 0 40 20521 2273241 259 0 0 0 0 7.15/1.03 c 0 41 20578 2273278 259 0 0 0 0 7.15/1.04 c 0 50 21288 3230276 259 0 0 0 0 7.15/1.04 c 0 28 12572 717140 259 0 0 0 0 7.15/1.05 c 0 42 19362 2404834 259 0 0 0 0 7.15/1.06 c 0 43 21892 2426820 259 0 0 0 0 7.15/1.06 c 0 52 22320 3392916 259 0 0 0 0 7.15/1.06 c 0 31 13858 994770 259 0 0 0 0 7.15/1.08 c 0 32 13914 994834 259 0 0 0 0 7.15/1.08 c 0 30 13533 769887 259 0 0 0 0 7.15/1.08 c 0 31 13563 769959 259 0 0 0 0 7.15/1.08 c 0 44 20518 2555974 259 0 0 0 0 7.15/1.08 c 0 54 23296 3555508 259 0 0 0 0 7.15/1.09 c 0 45 20578 2556077 259 0 0 0 0 7.15/1.09 c 0 55 23356 3555612 259 0 0 0 0 7.15/1.09 c 0 45 23242 2580362 259 0 0 0 0 7.15/1.09 c 0 46 23302 2580467 259 0 0 0 0 7.15/1.10 c c 0 0 57 24332 3718111 3415193 2591119149 0 259 0 0 0 00 0 0 7.15/1.10 7.15/1.11 c 0 58 24355 3718144 259 0 0 0 0 7.15/1.11 c 0 47 21717 2707583 259 0 0 0 0 7.95/1.12 c 0 48 21740 2707616 259 0 0 0 0 7.95/1.13 c 0 35 15262 1119261 259 0 0 0 0 7.95/1.13 c 0 48 24620 2733908 259 0 0 0 0 7.95/1.13 c 32 49 25644 1531377 259 0 1 5 2 7.95/1.13 c 33 50 25744 1550981 259 0 1 1 0 7.95/1.13 c 0 33 14510 822686 259 0 0 0 0 7.95/1.13 c 0 60 25331 3880611 259 0 0 0 0 7.95/1.15 c 0 50 22879 2859094 259 0 0 0 0 7.95/1.15 c 0 50 25959 2887377 259 0 0 0 0 7.95/1.16 c 0 51 25984 2887387 259 0 0 0 0 7.95/1.16 c 0 62 26332 4043085 259 0 0 0 0 7.95/1.16 c 0 37 16538 1243488 259 0 0 0 0 7.95/1.17 c 0 35 15481 875459 259 0 0 0 0 7.95/1.17 c 0 38 16592 1243531 259 0 0 0 0 7.95/1.18 c 0 36 15520 875494 259 0 0 0 0 7.95/1.18 c 0 52 24017 3010571 259 0 0 0 0 7.95/1.18 c 0 53 27303 3040817 259 0 0 0 0 7.95/1.18 c 0 64 27337 4205714 259 0 0 0 0 7.95/1.19 c 0 54 27342 3040876 259 0 0 0 0 8.62/1.20 c 0 38 16462 928224 259 0 0 0 0 8.62/1.20 c 0 39 16491 928237 259 0 0 0 0 8.62/1.20 c 0 40 16527 928250 259 0 0 0 0 8.62/1.21 c 0 40 17859 1367732 259 0 0 0 0 8.62/1.21 c 0 41 17943 1367821 259 0 0 0 0 8.62/1.21 c 0 66 28346 4368326 259 0 0 0 0 8.62/1.21 c 0 54 25178 3162738 259 0 0 0 0 8.62/1.21 c 0 67 28422 4368391 259 0 0 0 0 8.62/1.21 c 0 55 25254 3162803 259 0 0 0 0 8.62/1.21 c 0 56 28656 3194264 259 0 0 0 0 8.62/1.23 c 0 69 29425 4530897 259 0 0 0 0 8.62/1.23 c 0 42 17439 980949 259 0 0 0 0 8.62/1.23 c 0 57 26400 3314883 259 0 0 0 0 8.62/1.24 c 0 43 19220 1491949 259 0 0 0 0 8.62/1.24 c 0 44 19251 1491969 259 0 0 0 0 8.62/1.24 c 0 58 30037 3347819 259 0 0 0 0 8.62/1.24 c 0 45 19309 1492012 259 0 0 0 0 8.62/1.24 c 0 59 30094 3347871 259 0 0 0 0 8.62/1.25 c 0 71 30403 4693393 259 0 0 0 0 8.62/1.26 c 0 72 30460 4693468 259 0 0 0 0 8.62/1.26 c 0 44 18427 1033743 259 0 0 0 0 8.62/1.26 c 0 59 27524 3466953 259 0 0 0 0 8.62/1.26 c 0 45 18492 1033864 259 0 0 0 0 8.62/1.27 c 0 60 27589 3467073 259 0 0 0 0 8.62/1.27 c 0 47 20206 1543645 259 0 0 0 0 8.62/1.27 c 0 61 31389 3501301 259 0 0 0 0 8.62/1.27 c 0 48 20257 1543725 259 0 0 0 0 8.62/1.27 c 0 74 31464 4855906 259 0 0 0 0 8.62/1.29 c 0 62 28731 3619067 259 0 0 0 0 9.42/1.30 c 0 47 19404 1086588 259 0 0 0 0 9.42/1.30 c 0 63 28771 3619088 259 0 0 0 0 9.42/1.30 c 0 50 21154 1595350 259 0 0 0 0 9.42/1.30 c 0 48 19451 1086616 259 0 0 0 0 9.42/1.30 c 0 76 32496 5018335 259 0 0 0 0 9.42/1.30 c 0 63 32745 3654732 259 0 0 0 0 9.42/1.32 c 0 78 33509 5180723 259 0 0 0 0 9.42/1.32 c c 0 0 65 79 2989833519 3771055 5180725 259 259 0 0 0 0 00 0 0 9.42/1.32 9.42/1.33 c 0 80 33533 5180731 259 0 0 0 0 9.42/1.33 c 0 66 29912 3771062 259 0 0 0 0 9.42/1.33 c 0 50 20364 1139344 259 0 0 0 0 9.42/1.33 c 0 51 20404 1139364 259 0 0 0 0 9.42/1.33 c 0 65 34083 3808084 259 0 0 0 0 9.42/1.34 c 0 52 22454 1719437 259 0 0 0 0 9.42/1.35 c 0 82 34514 5343096 259 0 0 0 0 9.42/1.35 c 0 83 34560 5343116 259 0 0 0 0 9.42/1.35 c 101 120 31785 3441802 259 0 1 3 1 9.42/1.35 c 0 68 31051 3923023 259 0 0 0 0 9.42/1.35 c 0 69 31094 3923065 259 0 0 0 0 9.42/1.35 c 0 53 21329 1192113 259 0 0 0 0 9.42/1.35 c 0 67 35425 3961448 259 0 0 0 0 9.42/1.35 c 0 54 21356 1192160 259 0 0 0 0 9.42/1.36 c 0 54 23398 1771088 259 0 0 0 0 9.42/1.37 c 0 55 23417 1771131 259 0 0 0 0 9.42/1.37 c 0 56 23448 1771145 259 0 0 0 0 9.42/1.37 c 0 85 35564 5505495 259 0 0 0 0 9.42/1.37 c 0 86 35613 5505542 259 0 0 0 0 9.42/1.37 c 101 117 31411 4011744 259 0 1 2 1 9.42/1.37 c 0 71 32211 4075033 259 0 0 0 0 9.42/1.38 c 0 69 36756 4114813 259 0 0 0 0 9.42/1.38 c 0 56 22269 1244912 259 0 0 0 0 9.42/1.38 c 0 70 36788 4114900 259 0 0 0 0 9.42/1.38 c 0 88 36733 5673437 259 0 0 0 0 9.42/1.38 c 0 57 22301 1244999 259 0 0 0 0 9.42/1.40 c 0 89 36765 5673502 259 0 0 0 0 9.42/1.40 c 0 90 36784 5673509 259 0 0 0 0 9.42/1.40 c 0 58 24717 1895187 259 0 0 0 0 10.21/1.41 c 0 59 24775 1895285 259 0 0 0 0 10.21/1.41 c 0 73 33372 4226999 259 0 0 0 0 10.21/1.42 c 0 92 37891 5841330 259 0 0 0 0 10.21/1.42 c 0 72 38089 4268323 259 0 0 0 0 10.21/1.42 c 0 73 38116 4268348 259 0 0 0 0 10.21/1.42 c 0 59 23217 1297755 259 0 0 0 0 10.21/1.42 c 0 60 23274 1297788 259 0 0 0 0 10.21/1.43 c 0 94 39023 6009173 259 0 0 0 0 10.21/1.43 c 0 75 34544 4378889 259 0 0 0 0 10.21/1.43 c 0 95 39062 6009226 259 0 0 0 0 10.21/1.44 c 0 61 26038 2020470 259 0 0 0 0 10.21/1.44 c 0 76 34583 4378942 259 0 0 0 0 10.21/1.44 c 0 75 39518 4422269 259 0 0 0 0 10.21/1.44 c 0 62 24213 1350541 259 0 0 0 0 10.21/1.45 c 0 97 40169 6176999 259 0 0 0 0 10.21/1.46 c 0 98 40188 6177007 259 0 0 0 0 10.21/1.46 c 0 78 35713 4530750 259 0 0 0 0 10.21/1.46 c 0 63 26986 2072120 259 0 0 0 0 10.21/1.46 c 0 79 35749 4530788 259 0 0 0 0 10.21/1.46 c 0 80 35780 4530817 259 0 0 0 0 10.21/1.47 c 0 64 27022 2072186 259 0 0 0 0 10.21/1.47 c 0 77 40926 4576182 259 0 0 0 0 10.21/1.47 c 0 100 41326 6344773 259 0 0 0 0 10.21/1.48 c 0 101 41362 6344821 259 0 0 0 0 10.21/1.48 c 0 64 25168 1403304 259 0 0 0 0 10.21/1.48 c 0 65 25212 1403371 259 0 0 0 0 10.21/1.49 c 0 66 27931 2123785 259 0 0 0 0 10.21/1.49 c 0 82 36900 4682998 259 0 0 0 0 10.21/1.49 c 0 67 27967 2123804 259 0 0 0 0 11.01/1.50 c 0 83 36945 4683031 259 0 0 0 0 11.01/1.50 c 0 84 36970 4683041 259 0 0 0 0 11.01/1.50 c 0 103 42478 6512529 259 0 0 0 0 11.01/1.50 c 0 79 42304 4730185 259 0 0 0 0 11.01/1.51 c 0 67 26126 1456062 259 0 0 0 0 11.01/1.52 c 0 69 28907 2175427 259 0 0 0 0 11.01/1.52 c 0 86 38095 4835188 259 0 0 0 0 11.01/1.52 c 0 105 43624 6680236 259 0 0 0 0 11.01/1.52 c 0 106 43633 6680238 259 0 0 0 0 11.01/1.53 c 0 81 43691 4884128 259 0 0 0 0 11.01/1.54 c 0 82 43717 4884135 259 0 0 0 0 11.01/1.54 c 0 69 27087 1508790 259 0 0 0 0 11.01/1.54 c 0 108 44743 6847898 259 0 0 0 0 11.01/1.54 c 0 88 39267 4987335 259 0 0 0 0 11.01/1.55 c 0 71 30211 2300571 259 0 0 0 0 11.01/1.56 c 0 84 45082 5038038 259 0 0 0 0 11.01/1.57 c 0 85 45113 5038062 259 0 0 0 0 11.01/1.57 c 0 86 45133 5038070 259 0 0 0 0 11.01/1.57 c 0 110 45926 7016195 259 0 0 0 0 11.01/1.57 c 0 71 28051 1561537 259 0 0 0 0 11.01/1.58 c 0 72 28099 1561559 259 0 0 0 0 11.01/1.58 c 0 73 28126 1561567 259 0 0 0 0 11.01/1.58 c 0 90 40447 5139472 259 0 0 0 0 11.01/1.58 c 0 91 40498 5139504 259 0 0 0 0 11.01/1.58 c 0 92 40537 5139534 259 0 0 0 0 11.01/1.58 c 0 73 31159 2352237 259 0 0 0 0 11.01/1.58 c 0 112 47098 7184487 259 0 0 0 0 11.01/1.58 c 0 88 46472 5191938 259 0 0 0 0 11.01/1.59 c 0 113 47146 7184534 259 0 0 0 0 11.01/1.59 c 64 99 56622 2758191 259 0 1 8 2 11.01/1.59 c 65 100 56767 2778274 259 0 1 1 0 11.81/1.61 c 0 75 29041 1614273 259 0 0 0 0 11.81/1.61 c 0 94 41680 5291578 259 0 0 0 0 11.81/1.61 c 0 76 29103 1614321 259 0 0 0 0 11.81/1.61 c 0 95 41715 5291595 259 0 0 0 0 11.81/1.61 c 66 101 57192 2865859 259 0 1 1 0 11.81/1.61 c 0 96 41753 5291609 259 0 0 0 0 11.81/1.61 c 0 115 48255 7353033 259 0 0 0 0 11.81/1.61 c 0 116 48339 7353091 259 0 0 0 0 11.81/1.61 c 0 90 47875 5345806 259 0 0 0 0 11.81/1.62 c 0 75 32488 2477504 259 0 0 0 0 11.81/1.62 c 0 91 47956 5345888 259 0 0 0 0 11.81/1.62 c 0 76 32570 2477604 259 0 0 0 0 11.81/1.63 c 0 118 49456 7521533 259 0 0 0 0 11.81/1.63 c 0 98 42897 5443645 259 0 0 0 0 11.81/1.64 c 0 119 49510 7521573 259 0 0 0 0 11.81/1.64 c 0 78 30057 1667038 259 0 0 0 0 11.81/1.64 c 0 93 49332 5499622 259 0 0 0 0 11.81/1.65 c 67 103 59140 3014099 259 0 2 2 1 11.81/1.65 c 0 121 50618 7689973 259 0 0 0 0 11.81/1.65 c 0 78 33835 2602721 259 0 0 0 0 11.81/1.66 c 0 100 44082 5595730 259 0 0 0 0 11.81/1.66 c 0 80 31028 1719798 259 0 0 0 0 11.81/1.67 c 0 123 51726 7858373 259 0 0 0 0 11.81/1.67 c 0 95 50676 5653338 259 0 0 0 0 11.81/1.68 c 0 124 51791 7858454 259 0 0 0 0 11.81/1.68 c 0 80 34742 2654343 259 0 0 0 0 11.81/1.68 c 0 102 45222 5747744 259 0 0 0 0 11.81/1.69 c 0 82 31941 1772486 259 0 0 0 0 11.81/1.69 c 0 126 52829 8026774 259 0 0 0 0 12.60/1.70 c First solution is found 12.60/1.72 c [pFactory][Group N°0] concurent mode: thread 7 has won with the task 7. 12.60/1.72 c [pFactory][Group N°0] Thread N°0 is joined. 12.60/1.72 c [pFactory][Group N°0] Thread N°1 is joined. 12.60/1.72 c [pFactory][Group N°0] Thread N°2 is joined. 12.60/1.72 c [pFactory][Group N°0] Thread N°3 is joined. 12.60/1.72 c [pFactory][Group N°0] Thread N°4 is joined. 12.60/1.72 c [pFactory][Group N°0] Thread N°5 is joined. 12.60/1.72 c [pFactory][Group N°0] Thread N°6 is joined. 12.60/1.72 c [pFactory][Group N°0] Thread N°7 is joined. 12.60/1.72 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°7) 12.60/1.72 s SATISFIABLE 12.60/1.72 c restarts : 78 12.60/1.72 c conflicts : 0 (0 /sec) 12.60/1.72 c decisions : 128 (10 /sec) 12.60/1.72 c propagations : 8195094 (654528 /sec) 12.60/1.72 c root propagations : 136724 12.60/1.72 c filter calls : 53867 (4302 /sec) 12.60/1.72 c useless filter calls : 25691 (47 %) 12.60/1.72 c Memory used : 649.48 MB 12.60/1.72 c CPU time : 12.5205 s 12.60/1.72 c real time : 1.72135 s 12.60/1.72 12.60/1.72 c solution 1 12.60/1.72 12.60/1.72 v <instantiation type='solution'> 12.60/1.72 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] </list> 12.60/1.72 v <values>0 11 79 563 709 729 733 958 1135 83 633 662 768 779 838 981 110 193 293 522 1016 1072 1207 82 392 576 866 207 335 873 894 895 997 434 463 502 675 877 923 948 1222 159 425 703 850 872 1246 249 272 776 14 67 558 725 75 346 548 793 812 137 229 245 444 686 744 138 1164 742 837 338 674 803 1004 985 1046 41 400 704 1020 113 461 710 1151 1212 653 808 857 1189 97 112 661 734 773 926 971 62 663 1022 1037 659 1010 244 312 751 1036 480 735 818 907 993 1014 1048 1179 1220 117 17 644 949 1193 1138 892 963 291 39 1210 1226 215 130 29 762 1049 1265 759 795 929 569 656 908 1040 220 831 1087 1142 1173 1278 66 124 625 1077 1074 738 1106 3 887 1125 1209 18 324 407 552 1291 737 505 350 19 916 4 495 629 904 144 1035 162 492 484 1295 902 1239 1043 702 641 701 586 1126 1172 1066 305 1186 843 1228 169 541 834 945 1089 1162 1203 395 1241 1283 417 618 694 749 973 1052 1252 224 1290 1152 893 828 673 410 1158 259 316 1271 720 901 53 920 248 823 966 1096 1188 603 852 888 1176 1064 564 339 1170 431 1082 382 860 937 1099 1131 1281 98 295 304 573 785 1109 990 485 436 369 276 506 822 589 622 1133 </values> 12.60/1.72 v </instantiation> 12.60/1.72
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: 16375 MiB (14274 MiB free) memory of node 1: 16384 MiB (14639 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398070-1568605542/watcher-4398070-1568605542 -o /tmp/evaluation-result-4398070-1568605542/solver-4398070-1568605542 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324111741-488 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398070-1568605542.xml running on 8 cores: 0-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=2403, runsolver pid=2399 Current StackSize limit: 8192 KiB [startup+0.100155 s]* /proc/loadavg: 1.01 2.75 5.37 2/191 2404 /proc/meminfo: memFree=29526696/32770688 swapFree=66919992/67108860 [pid=2403] ppid=2399 vsize=566772 memory=84552 CPUtime=0.14 cores=0-7 /proc/2403/stat : 2403 (cosoco) S 2399 2403 460 0 -1 1077944320 21466 0 0 0 11 3 0 0 20 0 9 0 436560496 580374528 21138 33554432000 4194304 6211092 140730173860240 140730173858496 140020567981815 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 /proc/2403/statm: 141693 21138 861 493 0 134998 0 [pid=2403/tid=2405] ppid=2399 vsize=632308 memory=4209294696210920074 CPUtime=0 cores=0-7 /proc/2403/task/2405/stat : 2405 (cosoco) R 2399 2403 460 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 9 0 436560506 647483392 21138 33554432000 4194304 6211092 140730173860240 140020544838920 140020551941093 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2406] ppid=2399 vsize=632308 memory=4872558142750483522 CPUtime=0 cores=0-7 /proc/2403/task/2406/stat : 2406 (cosoco) R 2399 2403 460 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 9 0 436560506 647483392 21138 33554432000 4194304 6211092 140730173860240 140020536446216 140020551941093 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2417] ppid=2399 vsize=632308 memory=140373544076928 CPUtime=0 cores=0-7 /proc/2403/task/2417/stat : 2417 (cosoco) R 2399 2403 460 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 9 0 436560506 647483392 21138 33554432000 4194304 6211092 140730173860240 140020528053512 140020551941093 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2418] ppid=2399 vsize=632308 memory=0 CPUtime=0 cores=0-7 /proc/2403/task/2418/stat : 2418 (cosoco) R 2399 2403 460 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 9 0 436560506 647483392 21138 33554432000 4194304 6211092 140730173860240 140020519661152 5017617 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2419] ppid=2399 vsize=632308 memory=0 CPUtime=0 cores=0-7 /proc/2403/task/2419/stat : 2419 (cosoco) R 2399 2403 460 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 9 0 436560506 647483392 21138 33554432000 4194304 6211092 140730173860240 140020511268104 140020551941093 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2420] ppid=2399 vsize=632308 memory=0 CPUtime=0 cores=0-7 /proc/2403/task/2420/stat : 2420 (cosoco) R 2399 2403 460 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 9 0 436560506 647483392 21138 33554432000 4194304 6211092 140730173860240 140020502875400 140020551941093 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2421] ppid=2399 vsize=632308 memory=-1 CPUtime=0 cores=0-7 /proc/2403/task/2421/stat : 2421 (cosoco) R 2399 2403 460 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 9 0 436560506 647483392 21138 33554432000 4194304 6211092 140730173860240 140020494482696 140020551941093 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2423] ppid=2399 vsize=632308 memory=0 CPUtime=0 cores=0-7 /proc/2403/task/2423/stat : 2423 (cosoco) R 2399 2403 460 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 9 0 436560506 647483392 21138 33554432000 4194304 6211092 140730173860240 140020486089992 140020551941093 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 566772 KiB Current children cumulated memory: 84552 KiB [startup+0.213008 s]* /proc/loadavg: 1.01 2.75 5.37 9/199 2423 /proc/meminfo: memFree=29519592/32770688 swapFree=66919992/67108860 [pid=2403] ppid=2399 vsize=697844 memory=92968 CPUtime=1.02 cores=0-7 /proc/2403/stat : 2403 (cosoco) S 2399 2403 460 0 -1 1077944320 23921 0 0 0 99 3 0 0 20 0 9 0 436560496 714592256 23242 33554432000 4194304 6211092 140730173860240 140730173858496 140020567981815 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 /proc/2403/statm: 174461 23242 869 493 0 167766 0 [pid=2403/tid=2405] ppid=2399 vsize=697844 memory=8316850467074736180 CPUtime=0.11 cores=0-7 /proc/2403/task/2405/stat : 2405 (cosoco) R 2399 2403 460 0 -1 4202560 321 0 0 0 11 0 0 0 20 0 9 0 436560506 714592256 23242 33554432000 4194304 6211092 140730173860240 140020544838616 5017688 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2406] ppid=2399 vsize=697844 memory=1915930 CPUtime=0.12 cores=0-7 /proc/2403/task/2406/stat : 2406 (cosoco) R 2399 2403 460 0 -1 4202560 318 0 0 0 12 0 0 0 20 0 9 0 436560506 714592256 23242 33554432000 4194304 6211092 140730173860240 140020536445912 5017688 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2417] ppid=2399 vsize=697844 memory=140373547057453 CPUtime=0.12 cores=0-7 /proc/2403/task/2417/stat : 2417 (cosoco) R 2399 2403 460 0 -1 4202560 320 0 0 0 12 0 0 0 20 0 9 0 436560506 714592256 23242 33554432000 4194304 6211092 140730173860240 140020528053208 5017688 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2418] ppid=2399 vsize=697844 memory=-1 CPUtime=0.11 cores=0-7 /proc/2403/task/2418/stat : 2418 (cosoco) R 2399 2403 460 0 -1 4202560 316 0 0 0 11 0 0 0 20 0 9 0 436560506 714592256 23242 33554432000 4194304 6211092 140730173860240 140020519660408 140020551936830 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2419] ppid=2399 vsize=697844 memory=0 CPUtime=0.11 cores=0-7 /proc/2403/task/2419/stat : 2419 (cosoco) R 2399 2403 460 0 -1 4202560 316 0 0 0 11 0 0 0 20 0 9 0 436560506 714592256 23242 33554432000 4194304 6211092 140730173860240 140020511267800 5017664 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2420] ppid=2399 vsize=697844 memory=0 CPUtime=0.12 cores=0-7 /proc/2403/task/2420/stat : 2420 (cosoco) R 2399 2403 460 0 -1 4202560 313 0 0 0 12 0 0 0 20 0 9 0 436560506 714592256 23242 33554432000 4194304 6211092 140730173860240 140020502875096 5017688 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2421] ppid=2399 vsize=697844 memory=-1 CPUtime=0.11 cores=0-7 /proc/2403/task/2421/stat : 2421 (cosoco) R 2399 2403 460 0 -1 4202560 312 0 0 0 11 0 0 0 20 0 9 0 436560506 714592256 23242 33554432000 4194304 6211092 140730173860240 140020494482392 5017688 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2423] ppid=2399 vsize=697844 memory=0 CPUtime=0.1 cores=0-7 /proc/2403/task/2423/stat : 2423 (cosoco) R 2399 2403 460 0 -1 4202560 314 0 0 0 10 0 0 0 20 0 9 0 436560506 714592256 23242 33554432000 4194304 6211092 140730173860240 140020486089592 5017688 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 Current children cumulated CPU time: 1.02 s Current children cumulated vsize: 697844 KiB Current children cumulated memory: 92968 KiB [startup+0.311007 s]* /proc/loadavg: 1.01 2.75 5.37 9/199 2423 /proc/meminfo: memFree=29512340/32770688 swapFree=66919992/67108860 [pid=2403] ppid=2399 vsize=697844 memory=102472 CPUtime=1.8 cores=0-7 /proc/2403/stat : 2403 (cosoco) S 2399 2403 460 0 -1 1077944320 26099 0 0 0 176 4 0 0 20 0 9 0 436560496 714592256 25618 33554432000 4194304 6211092 140730173860240 140730173858496 140020567981815 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 /proc/2403/statm: 174461 25618 869 493 0 167766 0 [pid=2403/tid=2405] ppid=2399 vsize=697844 memory=1398722017469774279 CPUtime=0.21 cores=0-7 /proc/2403/task/2405/stat : 2405 (cosoco) R 2399 2403 460 0 -1 4202560 645 0 0 0 21 0 0 0 20 0 9 0 436560506 714592256 25618 33554432000 4194304 6211092 140730173860240 140020544838520 5017688 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2406] ppid=2399 vsize=697844 memory=4872558044660077418 CPUtime=0.21 cores=0-7 /proc/2403/task/2406/stat : 2406 (cosoco) R 2399 2403 460 0 -1 4202560 614 0 0 0 21 0 0 0 20 0 9 0 436560506 714592256 25618 33554432000 4194304 6211092 140730173860240 140020536445912 5017248 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2417] ppid=2399 vsize=697844 memory=0 CPUtime=0.21 cores=0-7 /proc/2403/task/2417/stat : 2417 (cosoco) R 2399 2403 460 0 -1 4202560 644 0 0 0 21 0 0 0 20 0 9 0 436560506 714592256 25618 33554432000 4194304 6211092 140730173860240 140020528053208 5081320 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2418] ppid=2399 vsize=697844 memory=6944656592455097440 CPUtime=0.21 cores=0-7 /proc/2403/task/2418/stat : 2418 (cosoco) R 2399 2403 460 0 -1 4202560 612 0 0 0 21 0 0 0 20 0 9 0 436560506 714592256 25618 33554432000 4194304 6211092 140730173860240 140020519660504 140020551941093 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2419] ppid=2399 vsize=697844 memory=6656426216303648864 CPUtime=0.21 cores=0-7 /proc/2403/task/2419/stat : 2419 (cosoco) R 2399 2403 460 0 -1 4202560 617 0 0 0 21 0 0 0 20 0 9 0 436560506 714592256 25618 33554432000 4194304 6211092 140730173860240 140020511267704 140020552416855 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2420] ppid=2399 vsize=697844 memory=0 CPUtime=0.21 cores=0-7 /proc/2403/task/2420/stat : 2420 (cosoco) R 2399 2403 460 0 -1 4202560 576 0 0 0 21 0 0 0 20 0 9 0 436560506 714592256 25618 33554432000 4194304 6211092 140730173860240 140020502875096 140020551936830 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2421] ppid=2399 vsize=697844 memory=0 CPUtime=0.21 cores=0-7 /proc/2403/task/2421/stat : 2421 (cosoco) R 2399 2403 460 0 -1 4202560 583 0 0 0 21 0 0 0 20 0 9 0 436560506 714592256 25618 33554432000 4194304 6211092 140730173860240 140020494482392 140020551941093 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2423] ppid=2399 vsize=697844 memory=0 CPUtime=0.19 cores=0-7 /proc/2403/task/2423/stat : 2423 (cosoco) R 2399 2403 460 0 -1 4202560 514 0 0 0 19 0 0 0 20 0 9 0 436560506 714592256 25618 33554432000 4194304 6211092 140730173860240 140020486089592 5017688 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 Current children cumulated CPU time: 1.8 s Current children cumulated vsize: 697844 KiB Current children cumulated memory: 102472 KiB [startup+0.710005 s] /proc/loadavg: 1.01 2.75 5.37 9/199 2423 /proc/meminfo: memFree=29490408/32770688 swapFree=66919992/67108860 [pid=2403] ppid=2399 vsize=763412 memory=239524 CPUtime=4.7 cores=0-7 /proc/2403/stat : 2403 (cosoco) S 2399 2403 460 0 -1 1077944320 47266 0 0 0 462 8 0 0 20 0 9 0 436560496 781733888 59881 33554432000 4194304 6211092 140730173860240 140730173858496 140020567981815 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 /proc/2403/statm: 190853 59881 872 493 0 184158 0 [pid=2403/tid=2405] ppid=2399 vsize=763412 memory=0 CPUtime=0.55 cores=0-7 /proc/2403/task/2405/stat : 2405 (cosoco) R 2399 2403 460 0 -1 4202560 3330 0 0 0 55 0 0 0 20 0 9 0 436560506 781733888 59881 33554432000 4194304 6211092 140730173860240 140020544838864 5017688 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2406] ppid=2399 vsize=763412 memory=0 CPUtime=0.55 cores=0-7 /proc/2403/task/2406/stat : 2406 (cosoco) R 2399 2403 460 0 -1 4202560 3227 0 0 0 55 0 0 0 20 0 9 0 436560506 781733888 59881 33554432000 4194304 6211092 140730173860240 140020536446048 5389823 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2417] ppid=2399 vsize=763412 memory=1056 CPUtime=0.56 cores=0-7 /proc/2403/task/2417/stat : 2417 (cosoco) R 2399 2403 460 0 -1 4202560 3200 0 0 0 56 0 0 0 20 0 9 0 436560506 781733888 59881 33554432000 4194304 6211092 140730173860240 140020528053344 5078861 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2418] ppid=2399 vsize=763412 memory=2828 CPUtime=0.59 cores=0-7 /proc/2403/task/2418/stat : 2418 (cosoco) R 2399 2403 460 0 -1 4202560 3325 0 0 0 59 0 0 0 20 0 9 0 436560506 781733888 59881 33554432000 4194304 6211092 140730173860240 140020519660640 5017688 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2419] ppid=2399 vsize=763412 memory=1176 CPUtime=0.59 cores=0-7 /proc/2403/task/2419/stat : 2419 (cosoco) R 2399 2403 460 0 -1 4202560 3324 0 0 0 58 1 0 0 20 0 9 0 436560506 781733888 59881 33554432000 4194304 6211092 140730173860240 140020511267936 5017664 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2420] ppid=2399 vsize=763412 memory=980 CPUtime=0.57 cores=0-7 /proc/2403/task/2420/stat : 2420 (cosoco) R 2399 2403 460 0 -1 4202560 2898 0 0 0 57 0 0 0 20 0 9 0 436560506 781733888 59881 33554432000 4194304 6211092 140730173860240 140020502875232 5017688 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2421] ppid=2399 vsize=763412 memory=14008 CPUtime=0.6 cores=0-7 /proc/2403/task/2421/stat : 2421 (cosoco) R 2399 2403 460 0 -1 4202560 3325 0 0 0 59 1 0 0 20 0 9 0 436560506 781733888 59881 33554432000 4194304 6211092 140730173860240 140020494482528 5017688 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2423] ppid=2399 vsize=763412 memory=12028 CPUtime=0.53 cores=0-7 /proc/2403/task/2423/stat : 2423 (cosoco) R 2399 2403 460 0 -1 4202560 3233 0 0 0 53 0 0 0 20 0 9 0 436560506 781733888 59881 33554432000 4194304 6211092 140730173860240 140020486089856 5017617 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 Current children cumulated CPU time: 4.7 s Current children cumulated vsize: 763412 KiB Current children cumulated memory: 239524 KiB [startup+1.501 s] /proc/loadavg: 1.01 2.75 5.37 9/199 2423 /proc/meminfo: memFree=29371484/32770688 swapFree=66919992/67108860 [pid=2403] ppid=2399 vsize=763412 memory=240576 CPUtime=11.01 cores=0-7 /proc/2403/stat : 2403 (cosoco) S 2399 2403 460 0 -1 1077944320 68939 0 0 0 1082 19 0 0 20 0 9 0 436560496 781733888 60144 33554432000 4194304 6211092 140730173860240 140730173858496 140020567981815 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 /proc/2403/statm: 190853 60144 874 493 0 184158 0 [pid=2403/tid=2405] ppid=2399 vsize=763412 memory=0 CPUtime=1.34 cores=0-7 /proc/2403/task/2405/stat : 2405 (cosoco) R 2399 2403 460 0 -1 4202560 6360 0 0 0 133 1 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020544838752 5017688 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2406] ppid=2399 vsize=763412 memory=6944656592455097440 CPUtime=1.34 cores=0-7 /proc/2403/task/2406/stat : 2406 (cosoco) R 2399 2403 460 0 -1 4202560 5928 0 0 0 132 2 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020536446048 5017679 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2417] ppid=2399 vsize=763412 memory=6944656592455359580 CPUtime=1.35 cores=0-7 /proc/2403/task/2417/stat : 2417 (cosoco) R 2399 2403 460 0 -1 4202560 6224 0 0 0 135 0 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020528053344 5017679 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2418] ppid=2399 vsize=763412 memory=5228 CPUtime=1.37 cores=0-7 /proc/2403/task/2418/stat : 2418 (cosoco) R 2399 2403 460 0 -1 4202560 6216 0 0 0 137 0 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020519660640 5017282 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2419] ppid=2399 vsize=763412 memory=280746845679560 CPUtime=1.37 cores=0-7 /proc/2403/task/2419/stat : 2419 (cosoco) R 2399 2403 460 0 -1 4202560 6390 0 0 0 136 1 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020511267936 5017617 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2420] ppid=2399 vsize=763412 memory=288230617509003574 CPUtime=1.35 cores=0-7 /proc/2403/task/2420/stat : 2420 (cosoco) R 2399 2403 460 0 -1 4202560 5249 0 0 0 133 2 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020502875232 5017277 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2421] ppid=2399 vsize=763412 memory=14971170189477429 CPUtime=1.38 cores=0-7 /proc/2403/task/2421/stat : 2421 (cosoco) R 2399 2403 460 0 -1 4202560 5499 0 0 0 135 3 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020494482528 5075188 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2423] ppid=2399 vsize=763412 memory=0 CPUtime=1.33 cores=0-7 /proc/2403/task/2423/stat : 2423 (cosoco) R 2399 2403 460 0 -1 4202560 5669 0 0 0 130 3 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020486090048 5074626 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 Current children cumulated CPU time: 11.01 s Current children cumulated vsize: 763412 KiB Current children cumulated memory: 240576 KiB [startup+1.74125 s] # the end of solver process 2403 was just reported to runsolver # cumulated CPU time of all completed processes: user=12.5206 s, system=0.212763 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60101 s] /proc/loadavg: 1.01 2.75 5.37 9/199 2423 /proc/meminfo: memFree=29371484/32770688 swapFree=66919992/67108860 [pid=2403] ppid=2399 vsize=763412 memory=240576 CPUtime=11.81 cores=0-7 /proc/2403/stat : 2403 (cosoco) S 2399 2403 460 0 -1 1077944320 68998 0 0 0 1162 19 0 0 20 0 9 0 436560496 781733888 60144 33554432000 4194304 6211092 140730173860240 140730173858496 140020567981815 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 /proc/2403/statm: 190853 60144 874 493 0 184158 0 [pid=2403/tid=2405] ppid=2399 vsize=763412 memory=6656426216303648864 CPUtime=1.44 cores=0-7 /proc/2403/task/2405/stat : 2405 (cosoco) R 2399 2403 460 0 -1 4202560 6366 0 0 0 143 1 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020544838752 5017569 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2406] ppid=2399 vsize=763412 memory=0 CPUtime=1.44 cores=0-7 /proc/2403/task/2406/stat : 2406 (cosoco) R 2399 2403 460 0 -1 4202560 5931 0 0 0 142 2 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020536446048 5078762 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2417] ppid=2399 vsize=763412 memory=2020 CPUtime=1.45 cores=0-7 /proc/2403/task/2417/stat : 2417 (cosoco) R 2399 2403 460 0 -1 4202560 6230 0 0 0 145 0 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020528053344 5081301 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2418] ppid=2399 vsize=763412 memory=1808 CPUtime=1.47 cores=0-7 /proc/2403/task/2418/stat : 2418 (cosoco) R 2399 2403 460 0 -1 4202560 6218 0 0 0 147 0 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020519660640 5017600 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2419] ppid=2399 vsize=763412 memory=924 CPUtime=1.47 cores=0-7 /proc/2403/task/2419/stat : 2419 (cosoco) R 2399 2403 460 0 -1 4202560 6393 0 0 0 146 1 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020511267936 5017476 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2420] ppid=2399 vsize=763412 memory=4468 CPUtime=1.45 cores=0-7 /proc/2403/task/2420/stat : 2420 (cosoco) R 2399 2403 460 0 -1 4202560 5252 0 0 0 143 2 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020502875232 5017688 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2421] ppid=2399 vsize=763412 memory=1428 CPUtime=1.48 cores=0-7 /proc/2403/task/2421/stat : 2421 (cosoco) R 2399 2403 460 0 -1 4202560 5509 0 0 0 145 3 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020494482528 5017466 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2423] ppid=2399 vsize=763412 memory=776 CPUtime=1.43 cores=0-7 /proc/2403/task/2423/stat : 2423 (cosoco) R 2399 2403 460 0 -1 4202560 5695 0 0 0 140 3 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020486090048 5017472 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 Current children cumulated CPU time: 11.81 s Current children cumulated vsize: 763412 KiB Current children cumulated memory: 240576 KiB [startup+1.70101 s] /proc/loadavg: 1.01 2.75 5.37 9/199 2423 /proc/meminfo: memFree=29371484/32770688 swapFree=66919992/67108860 [pid=2403] ppid=2399 vsize=763412 memory=240576 CPUtime=12.6 cores=0-7 /proc/2403/stat : 2403 (cosoco) S 2399 2403 460 0 -1 1077944320 69122 0 0 0 1241 19 0 0 20 0 9 0 436560496 781733888 60144 33554432000 4194304 6211092 140730173860240 140730173858496 140020567981815 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 /proc/2403/statm: 190853 60144 874 493 0 184158 0 [pid=2403/tid=2405] ppid=2399 vsize=763412 memory=240576 CPUtime=1.54 cores=0-7 /proc/2403/task/2405/stat : 2405 (cosoco) R 2399 2403 460 0 -1 4202560 6372 0 0 0 153 1 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020544838752 5017688 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2406] ppid=2399 vsize=763412 memory=660 CPUtime=1.54 cores=0-7 /proc/2403/task/2406/stat : 2406 (cosoco) R 2399 2403 460 0 -1 4202560 5938 0 0 0 152 2 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020536446048 5017688 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2417] ppid=2399 vsize=763412 memory=2241 CPUtime=1.55 cores=0-7 /proc/2403/task/2417/stat : 2417 (cosoco) R 2399 2403 460 0 -1 4202560 6237 0 0 0 155 0 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020528053344 5079440 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2418] ppid=2399 vsize=763412 memory=0 CPUtime=1.57 cores=0-7 /proc/2403/task/2418/stat : 2418 (cosoco) R 2399 2403 460 0 -1 4202560 6225 0 0 0 157 0 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020519660640 5186176 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2419] ppid=2399 vsize=763412 memory=6944656592455097440 CPUtime=1.57 cores=0-7 /proc/2403/task/2419/stat : 2419 (cosoco) R 2399 2403 460 0 -1 4202560 6400 0 0 0 156 1 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020511267936 5017664 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2420] ppid=2399 vsize=763412 memory=6944656592455359580 CPUtime=1.55 cores=0-7 /proc/2403/task/2420/stat : 2420 (cosoco) R 2399 2403 460 0 -1 4202560 5259 0 0 0 153 2 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020502875232 5397226 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2421] ppid=2399 vsize=763412 memory=5228 CPUtime=1.58 cores=0-7 /proc/2403/task/2421/stat : 2421 (cosoco) R 2399 2403 460 0 -1 4202560 5511 0 0 0 155 3 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020494482528 5017491 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 [pid=2403/tid=2423] ppid=2399 vsize=763412 memory=280746845679560 CPUtime=1.53 cores=0-7 /proc/2403/task/2423/stat : 2423 (cosoco) R 2399 2403 460 0 -1 4202560 5778 0 0 0 150 3 0 0 20 0 9 0 436560506 781733888 60144 33554432000 4194304 6211092 140730173860240 140020486090048 140020551941093 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24240128 140730173862929 140730173863021 140730173863021 140730173865934 0 Current children cumulated CPU time: 12.6 s Current children cumulated vsize: 763412 KiB Current children cumulated memory: 240576 KiB Child status: 0 Real time (s): 1.74131 CPU time (s): 12.7334 CPU user time (s): 12.5206 CPU system time (s): 0.212763 CPU usage (%): 731.252 Max. virtual memory (cumulated for all children) (KiB): 763412 Max. memory (cumulated for all children) (KiB): 240576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.5206 system time used= 0.212763 maximum resident set size= 240576 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69154 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= 1409 involuntary context switches= 255 # summary of solver processes directly reported to runsolver: # pid: 2403 # total CPU time (s): 12.7334 # total CPU user time (s): 12.5206 # total CPU system time (s): 0.212763 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.036914 second user time and 0.0646 second system time The end
Begin job on node120 at 2011-12-17 12:06:04 IDJOB=4398070 IDBENCH=131451 IDSOLVER=2851 FILE ID=node120/4398070-1568605542 RUNJOBID= node120-1324111741-488 PBS_JOBID= 21703407 Free space on /tmp= 61656 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si2-m4D/Subisomorphism-si2-m4Dr6-m1296-04.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398070-1568605542/watcher-4398070-1568605542 -o /tmp/evaluation-result-4398070-1568605542/solver-4398070-1568605542 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324111741-488 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398070-1568605542.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2d28027fc76d6f94be685cc66f299382 RANDOM SEED=2086171764 node120.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.49 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.49 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.49 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.49 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 : 5329.69 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 : 5329.69 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 : 5329.69 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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 29607384 kB MemAvailable: 31824856 kB Buffers: 160292 kB Cached: 2361316 kB SwapCached: 77548 kB Active: 1341976 kB Inactive: 1262692 kB Active(anon): 3600 kB Inactive(anon): 128860 kB Active(file): 1338376 kB Inactive(file): 1133832 kB Unevictable: 107500 kB Mlocked: 107500 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 2908 kB Writeback: 0 kB AnonPages: 134396 kB Mapped: 51680 kB Shmem: 41008 kB Slab: 150836 kB SReclaimable: 122200 kB SUnreclaim: 28636 kB KernelStack: 3712 kB PageTables: 5596 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 514984 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 88064 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 61652 MiB End job on node120 at 2011-12-17 12:06:06