Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 parallel | SAT | 11.7718 | 1.62497 |
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 |
2.57/0.51 c root propagations : 136724 2.57/0.51 c restarts enabled, print stats at every restarts 2.57/0.51 c 2.57/0.51 c 2.57/0.51 c root propagations : 136724 2.57/0.51 c restarts enabled, print stats at every restarts 2.57/0.51 c 2.57/0.51 c 2.57/0.51 c 2.57/0.51 c This is cosoco 2.00 -- 2.57/0.51 c 2.57/0.51 c command line: cosoco -model -nbcores=8 HOME/instance-4409330-1569827802.xml 2.57/0.51 c ========================================[ Problem Statistics ]=========================================== 2.57/0.51 c | 2.57/0.51 c | Parse time : 0.05 s 2.57/0.51 c | 2.57/0.51 c | Variables: 259 2.57/0.51 c | Domain Sizes: 1296..1296 2.57/0.51 c | 2.57/0.51 c | Constraints: 561 2.57/0.51 c | Arity: 1..259 -- Unary: 101 -- Binary: 459 2.57/0.51 c | 2.57/0.51 c | Types: 2.57/0.51 c | All Different: 1 2.57/0.51 c | Extension: 459 (nb tuples: 8750..8750) -- (shared: 4408) 2.57/0.51 c | Unary: 101 2.57/0.51 c | 2.57/0.51 c ========================================================================================================= 2.57/0.51 c Parallel mode: Portfolio 2.57/0.51 c [pFactory][Group N°0] created (threads:8). 2.57/0.51 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 2.57/0.51 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 2.57/0.51 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 2.57/0.51 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 2.57/0.51 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 2.57/0.51 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 2.57/0.51 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 2.57/0.51 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 2.57/0.51 c [pFactory][Group N°0] concurrent mode: enabled. 2.57/0.51 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 2.57/0.51 c [pFactory][Group N°0] task 7 launched on thread 0. 2.57/0.51 c [pFactory][Group N°0] task 6 launched on thread 1. 2.57/0.51 c [pFactory][Group N°0] task 5 launched on thread 6. 2.57/0.51 c [pFactory][Group N°0] task 4 launched on thread 2. 2.57/0.51 c [pFactory][Group N°0] task 3 launched on thread 7. 2.57/0.51 c [pFactory][Group N°0] task 2 launched on thread 4. 2.57/0.51 c [pFactory][Group N°0] task 1 launched on thread 5. 2.57/0.51 c [pFactory][Group N°0] task 0 launched on thread 3. 2.57/0.51 c c conflictsconflicts decisions filterCalls decisionspropagations Root Prop. Nogoods filterCallsmin/max/avg depth propagations Root Prop. Nogoods min/max/avg depth 2.57/0.51 3.36/0.53 c root propagations : 136724 3.36/0.53 c restarts enabled, print stats at every restarts 3.36/0.53 c 3.36/0.53 c 3.36/0.53 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.36/0.53 c root propagations : 136724 3.36/0.53 c restarts enabled, print stats at every restarts 3.36/0.53 c 3.36/0.53 c 3.36/0.53 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.36/0.54 c root propagations : 136724 3.36/0.54 c restarts enabled, print stats at every restarts 3.36/0.54 c 3.36/0.54 c 3.36/0.54 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.36/0.54 c root propagations : 136724 3.36/0.54 c restarts enabled, print stats at every restarts 3.36/0.54 c 3.36/0.54 c 3.36/0.54 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.36/0.55 c 0 1 2313 136725 259 0 0 0 0 3.36/0.56 c 0 2 2313 136726 259 0 0 0 0 3.36/0.56 c 0 3 2313 136727 259 0 0 0 0 3.36/0.56 c 0 4 2313 136728 259 0 0 0 0 3.36/0.56 c root propagations : 136724 3.36/0.56 c restarts enabled, print stats at every restarts 3.36/0.56 c 3.36/0.56 c 3.36/0.56 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.36/0.56 c 0 1 2313 136725 259 0 0 0 0 3.36/0.57 c 0 2 2322 136727 259 0 0 0 0 3.36/0.57 c root propagations : 136724 3.36/0.57 c restarts enabled, print stats at every restarts 3.36/0.57 c 3.36/0.57 c 3.36/0.57 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.36/0.57 c 0 1 2313 136725 259 0 0 0 0 3.36/0.58 c 0 1 2322 136726 259 0 0 0 0 3.36/0.58 c 0 2 2322 136727 259 0 0 0 0 3.36/0.58 c 0 3 2322 136728 259 0 0 0 0 3.36/0.60 c 0 1 2313 136725 259 0 0 0 0 3.36/0.60 c 0 2 2322 136727 259 0 0 0 0 3.36/0.60 c 0 1 2322 136726 259 0 0 0 0 3.36/0.60 c 0 2 2322 136727 259 0 0 0 0 3.94/0.61 c 0 1 2322 136726 259 0 0 0 0 3.94/0.61 c 0 2 2334 136729 259 0 0 0 0 3.94/0.61 c 0 1 2322 136726 259 0 0 0 0 3.94/0.62 c 0 4 3293 299628 259 0 0 0 0 3.94/0.62 c 0 5 3314 299633 259 0 0 0 0 3.94/0.63 c 0 5 3437 287966 259 0 0 0 0 3.94/0.63 c 0 6 3479 287995 259 0 0 0 0 3.94/0.63 c 0 3 3585 289006 259 0 0 0 0 3.94/0.63 c 0 4 3216 189499 259 0 0 0 0 3.94/0.63 c 0 4 3627 289041 259 0 0 0 0 3.94/0.64 c 0 7 4314 462530 259 0 0 0 0 3.94/0.65 c 0 4 3223 188443 259 0 0 0 0 3.94/0.65 c 0 8 4603 439205 259 0 0 0 0 3.94/0.66 c 0 6 4870 441304 259 0 0 0 0 3.94/0.66 c 0 9 5305 625420 259 0 0 0 0 3.94/0.66 c 0 10 5336 625441 259 0 0 0 0 3.94/0.66 c 0 6 4152 242297 259 0 0 0 0 3.94/0.66 c 0 7 4186 242319 259 0 0 0 0 3.94/0.67 c 0 10 5723 590410 259 0 0 0 0 3.94/0.68 c 0 11 5769 590443 259 0 0 0 0 3.94/0.68 c 0 12 6311 788288 259 0 0 0 0 3.94/0.68 c 0 8 6146 593567 259 0 0 0 0 3.94/0.68 c 0 9 6193 593593 259 0 0 0 0 3.94/0.69 c 0 6 4469 312357 259 0 0 0 0 3.94/0.69 c 0 9 5086 295064 259 0 0 0 0 4.67/0.70 c 0 14 7298 951134 259 0 0 0 0 4.67/0.70 c 0 15 7357 951180 259 0 0 0 0 4.67/0.70 c 0 16 7369 951183 259 0 0 0 0 4.67/0.70 c 0 13 6888 741620 259 0 0 0 0 4.67/0.70 c 0 14 6955 741670 259 0 0 0 0 4.67/0.72 c 0 11 7454 745943 259 0 0 0 0 4.67/0.72 c 0 8 5429 364127 259 0 0 0 0 4.67/0.72 c 0 9 5461 364145 259 0 0 0 0 4.67/0.73 c 0 18 8343 1114011 259 0 0 0 0 4.67/0.73 c 0 11 6053 347857 259 0 0 0 0 4.67/0.73 c 0 16 8058 892866 259 0 0 0 0 4.67/0.74 c 0 11 6350 415842 259 0 0 0 0 4.67/0.74 c 0 20 9342 1276839 259 0 0 0 0 4.67/0.75 c 0 13 8775 898295 259 0 0 0 0 4.67/0.76 c 0 18 9169 1044057 259 0 0 0 0 4.67/0.76 c 0 13 6974 400608 259 0 0 0 0 4.67/0.76 c 0 22 10316 1439657 259 0 0 0 0 4.67/0.77 c 0 15 10036 1050604 259 0 0 0 0 4.67/0.78 c 0 13 7559 539700 259 0 0 0 0 4.67/0.78 c 0 20 10267 1195245 259 0 0 0 0 4.67/0.78 c 0 24 11290 1602475 259 0 0 0 0 4.67/0.78 c 0 21 10289 1195258 259 0 0 0 0 4.67/0.78 c 0 25 11312 1602488 259 0 0 0 0 4.67/0.78 c 0 26 11344 1602497 259 0 0 0 0 4.67/0.78 c 0 27 11344 1602498 259 0 0 0 0 4.67/0.79 c 0 15 7870 453346 259 0 0 0 0 4.67/0.79 c 0 16 7913 453369 259 0 0 0 0 5.47/0.80 c 0 17 11302 1202918 259 0 0 0 0 5.47/0.80 c 0 15 8462 591403 259 0 0 0 0 5.47/0.80 c 0 18 11356 1202949 259 0 0 0 0 5.47/0.80 c 0 29 12318 1765296 259 0 0 0 0 5.47/0.80 c 0 16 8516 591434 259 0 0 0 0 5.47/0.80 c 0 30 12351 1765318 259 0 0 0 0 5.47/0.81 c 0 23 11382 1346466 259 0 0 0 0 5.47/0.83 c 0 18 8817 506100 259 0 0 0 0 5.47/0.83 c 0 32 13334 1928098 259 0 0 0 0 5.47/0.83 c 0 18 9406 643125 259 0 0 0 0 5.47/0.83 c 0 33 13343 1928104 259 0 0 0 0 5.47/0.84 c 0 20 12618 1355288 259 0 0 0 0 5.47/0.84 c 0 25 12536 1497679 259 0 0 0 0 5.47/0.85 c 0 35 14317 2090877 259 0 0 0 0 5.47/0.85 c 0 36 14326 2090880 259 0 0 0 0 5.47/0.86 c 0 20 9737 558852 259 0 0 0 0 5.47/0.86 c 0 21 9755 558857 259 0 0 0 0 5.47/0.86 c 0 22 9765 558859 259 0 0 0 0 5.47/0.86 c 0 22 13897 1507627 259 0 0 0 0 5.47/0.86 c 0 20 10625 766979 259 0 0 0 0 5.47/0.86 c 0 23 13920 1507645 259 0 0 0 0 5.47/0.86 c 0 27 13653 1648859 259 0 0 0 0 5.47/0.87 c 0 21 10656 766999 259 0 0 0 0 5.47/0.87 c 0 38 15310 2253654 259 0 0 0 0 5.47/0.88 c 0 24 10671 611587 259 0 0 0 0 5.47/0.88 c 0 40 16307 2416427 259 0 0 0 0 5.47/0.90 c 0 29 14768 1800036 259 0 0 0 0 5.47/0.90 c 0 25 15226 1661281 259 0 0 0 0 5.47/0.90 c 0 41 16355 2416439 259 0 0 0 0 5.47/0.90 c 0 30 14816 1800048 259 0 0 0 0 5.47/0.90 c 0 42 16367 2416444 259 0 0 0 0 5.47/0.90 c 0 26 15277 1661297 259 0 0 0 0 5.47/0.90 c 0 23 11927 891147 259 0 0 0 0 5.47/0.90 c 0 24 11979 891201 259 0 0 0 0 5.47/0.91 c 0 44 17341 2579186 259 0 0 0 0 6.34/0.92 c 0 32 15920 1951208 259 0 0 0 0 6.34/0.92 c 0 26 11599 664322 259 0 0 0 0 6.34/0.92 c 0 33 15952 1951247 259 0 0 0 0 6.34/0.92 c 0 27 11642 664375 259 0 0 0 0 6.34/0.92 c 0 28 16619 1814942 259 0 0 0 0 6.34/0.92 c 0 29 16651 1814973 259 0 0 0 0 6.34/0.93 c 0 26 13242 1015491 259 0 0 0 0 6.34/0.93 c 0 46 18347 2741928 259 0 0 0 0 6.34/0.93 c 0 47 18378 2741981 259 0 0 0 0 6.34/0.94 c 0 35 17045 2102365 259 0 0 0 0 6.34/0.94 c 0 29 12538 717096 259 0 0 0 0 6.34/0.96 c 0 31 17974 1968580 259 0 0 0 0 6.34/0.96 c 0 30 12569 717150 259 0 0 0 0 6.34/0.96 c 0 49 19362 2904633 259 0 0 0 0 6.34/0.96 c 0 28 14163 1067189 259 0 0 0 0 6.34/0.96 c 0 29 14202 1067239 259 0 0 0 0 6.34/0.97 c 0 37 18168 2253483 259 0 0 0 0 6.34/0.98 c 0 51 20336 3067284 259 0 0 0 0 6.34/0.98 c 0 52 20400 3067346 259 0 0 0 0 6.34/0.98 c 0 33 19320 2122186 259 0 0 0 0 6.34/0.98 c 32 51 25499 1529064 259 0 1 5 2 6.34/0.98 c 0 31 15104 1118925 259 0 0 0 0 6.34/0.98 c 0 32 13475 769856 259 0 0 0 0 6.34/0.98 c 0 34 19384 2122250 259 0 0 0 0 6.34/0.99 c 33 52 25586 1548661 259 0 1 1 0 6.34/0.99 c 0 32 15155 1118962 259 0 0 0 0 6.34/0.99 c 0 33 13539 769921 259 0 0 0 0 7.12/1.01 c 0 54 21376 3229949 259 0 0 0 0 7.12/1.01 c 0 39 19324 2404648 259 0 0 0 0 7.12/1.01 c 0 55 21423 3229978 259 0 0 0 0 7.12/1.01 c 0 40 19371 2404678 259 0 0 0 0 7.12/1.01 c 0 34 16063 1170644 259 0 0 0 0 7.12/1.01 c 0 35 16103 1170674 259 0 0 0 0 7.12/1.01 c 0 36 20709 2275808 259 0 0 0 0 7.12/1.01 c 0 37 20782 2275856 259 0 0 0 0 7.12/1.01 c 0 35 14465 822636 259 0 0 0 0 7.12/1.01 c 0 57 22431 3392560 259 0 0 0 0 7.12/1.03 c 0 37 17004 1222363 259 0 0 0 0 7.12/1.03 c 0 42 20532 2556258 259 0 0 0 0 7.12/1.04 c 0 59 23436 3555135 259 0 0 0 0 7.12/1.04 c 0 39 22105 2429380 259 0 0 0 0 7.12/1.05 c 0 37 15432 875410 259 0 0 0 0 7.12/1.05 c 0 38 15461 875433 259 0 0 0 0 7.12/1.07 c 0 44 21689 2707831 259 0 0 0 0 7.12/1.07 c 0 45 21740 2707939 259 0 0 0 0 7.12/1.07 c 0 39 18289 1346680 259 0 0 0 0 7.12/1.07 c 0 46 21771 2707960 259 0 0 0 0 7.12/1.07 c 0 40 18340 1346808 259 0 0 0 0 7.12/1.08 c 0 61 24413 3717695 259 0 0 0 0 7.12/1.08 c 0 62 24464 3717832 259 0 0 0 0 7.12/1.08 c 0 63 24473 3717834 259 0 0 0 0 7.12/1.08 c 0 41 23420 2582903 259 0 0 0 0 7.12/1.08 c 0 42 23471 2583042 259 0 0 0 0 7.12/1.08 c 0 40 16383 928159 259 0 0 0 0 7.12/1.09 c 0 41 16434 928278 259 0 0 0 0 7.12/1.09 c 0 48 22884 2860100 259 0 0 0 0 7.12/1.10 c 0 65 25460 3880431 259 0 0 0 0 7.12/1.10 c 0 66 25475 3880455 259 0 0 0 0 7.12/1.10 c 0 67 25509 3880462 259 0 0 0 0 7.12/1.10 c 0 42 19622 1470996 259 0 0 0 0 7.12/1.10 c 0 44 24796 2736436 259 0 0 0 0 7.91/1.11 c 0 43 17358 980994 259 0 0 0 0 7.91/1.11 c 0 69 26489 4043035 259 0 0 0 0 7.91/1.12 c 0 50 24028 3012245 259 0 0 0 0 7.91/1.12 c 0 44 17452 981076 259 0 0 0 0 7.91/1.13 c 0 44 20598 1522732 259 0 0 0 0 7.91/1.14 c 0 71 27559 4205608 259 0 0 0 0 7.91/1.15 c 0 52 25235 3164400 259 0 0 0 0 7.91/1.15 c 0 46 26187 2889962 259 0 0 0 0 7.91/1.15 c 0 53 25275 3164413 259 0 0 0 0 7.91/1.15 c 0 54 25311 3164430 259 0 0 0 0 7.91/1.15 c 0 47 26230 2889979 259 0 0 0 0 7.91/1.16 c 0 73 28539 4368117 259 0 0 0 0 7.91/1.16 c 0 46 18363 1033814 259 0 0 0 0 7.91/1.17 c 0 74 28615 4368210 259 0 0 0 0 7.91/1.17 c 0 47 18439 1033922 259 0 0 0 0 7.91/1.17 c 0 48 18470 1033931 259 0 0 0 0 7.91/1.17 c 0 49 18494 1033938 259 0 0 0 0 7.91/1.17 c 0 46 21907 1646905 259 0 0 0 0 7.91/1.17 c 0 47 21983 1647043 259 0 0 0 0 7.91/1.18 c 0 56 26446 3316487 259 0 0 0 0 7.91/1.19 c 0 49 27564 3043413 259 0 0 0 0 7.91/1.19 c 0 76 29624 4530660 259 0 0 0 0 7.91/1.19 c 0 51 19409 1086673 259 0 0 0 0 8.65/1.20 c 0 52 19471 1086715 259 0 0 0 0 8.65/1.20 c 0 49 23269 1771104 259 0 0 0 0 8.65/1.20 c 0 58 27621 3468560 259 0 0 0 0 8.65/1.20 c 0 78 30652 4693095 259 0 0 0 0 8.65/1.21 c 0 51 28925 3196834 259 0 0 0 0 8.65/1.22 c 0 79 30699 4693118 259 0 0 0 0 8.65/1.22 c 0 54 20385 1139438 259 0 0 0 0 8.65/1.23 c 0 81 31684 4855513 259 0 0 0 0 8.65/1.23 c 0 51 24213 1822754 259 0 0 0 0 8.65/1.23 c 0 60 28792 3620521 259 0 0 0 0 8.65/1.23 c 0 52 24227 1822761 259 0 0 0 0 8.65/1.23 c 0 53 24250 1822767 259 0 0 0 0 8.65/1.23 c 0 61 28817 3620533 259 0 0 0 0 8.65/1.23 c 0 62 28826 3620535 259 0 0 0 0 8.65/1.23 c 0 53 30275 3350143 259 0 0 0 0 8.65/1.23 c 0 54 30308 3350157 259 0 0 0 0 8.65/1.25 c 0 83 32679 5017908 259 0 0 0 0 8.65/1.25 c 0 56 21310 1192168 259 0 0 0 0 8.65/1.25 c 0 64 29952 3772462 259 0 0 0 0 8.65/1.26 c 0 56 31623 3503460 259 0 0 0 0 8.65/1.26 c 0 55 25529 1946837 259 0 0 0 0 8.65/1.27 c 0 85 33697 5180313 259 0 0 0 0 8.65/1.28 c 0 86 33728 5180327 259 0 0 0 0 8.65/1.28 c 101 117 31429 4012286 259 0 1 2 1 8.65/1.28 c 0 58 22258 1244939 259 0 0 0 0 8.65/1.28 c 0 59 22298 1245007 259 0 0 0 0 8.65/1.28 c 0 66 31078 3924388 259 0 0 0 0 8.65/1.28 c 0 58 32917 3656762 259 0 0 0 0 8.65/1.30 c 0 59 32957 3656848 259 0 0 0 0 8.65/1.30 c 0 88 34858 5348277 259 0 0 0 0 8.65/1.30 c 0 57 26443 1998467 259 0 0 0 0 8.65/1.30 c 0 89 34898 5348347 259 0 0 0 0 9.44/1.31 c 0 61 23213 1297766 259 0 0 0 0 9.44/1.31 c 0 68 32226 4076313 259 0 0 0 0 9.44/1.31 c 0 91 36005 5516223 259 0 0 0 0 9.44/1.31 c 0 61 34269 3810256 259 0 0 0 0 9.44/1.32 c 101 120 32109 3462812 259 0 1 3 1 9.44/1.33 c 0 59 27747 2123772 259 0 0 0 0 9.44/1.33 c 0 60 27796 2123860 259 0 0 0 0 9.44/1.33 c 0 93 37112 5684099 259 0 0 0 0 9.44/1.33 c 0 70 33366 4228162 259 0 0 0 0 9.44/1.33 c 0 63 24161 1350547 259 0 0 0 0 9.44/1.35 c 0 71 33415 4228256 259 0 0 0 0 9.44/1.35 c 0 63 35573 3963662 259 0 0 0 0 9.44/1.35 c 0 95 38268 5851975 259 0 0 0 0 9.44/1.36 c 0 96 38295 5851983 259 0 0 0 0 9.44/1.36 c 0 62 29074 2249040 259 0 0 0 0 9.44/1.36 c 0 63 29135 2249085 259 0 0 0 0 9.44/1.36 c 0 73 34545 4380037 259 0 0 0 0 9.44/1.36 c 0 74 34606 4380112 259 0 0 0 0 9.44/1.36 c 0 65 25126 1403379 259 0 0 0 0 9.44/1.36 c 0 66 25188 1403466 259 0 0 0 0 9.44/1.37 c 0 65 36988 4117583 259 0 0 0 0 9.44/1.37 c 0 98 39412 6019762 259 0 0 0 0 9.44/1.39 c 0 76 35743 4532304 259 0 0 0 0 9.44/1.39 c 0 77 35782 4532330 259 0 0 0 0 9.44/1.39 c 0 78 35806 4532340 259 0 0 0 0 9.44/1.39 c 0 68 26113 1456152 259 0 0 0 0 9.44/1.39 c 0 65 30437 2374236 259 0 0 0 0 9.44/1.39 c 0 100 40573 6187554 259 0 0 0 0 9.44/1.39 c 0 69 26153 1456187 259 0 0 0 0 9.44/1.39 c 0 66 30485 2374285 259 0 0 0 0 9.44/1.39 c 0 67 38383 4271565 259 0 0 0 0 9.44/1.39 c 0 101 40606 6187595 259 0 0 0 0 9.44/1.39 c 0 68 38415 4271606 259 0 0 0 0 9.44/1.41 c 64 99 53633 2720139 259 0 1 8 2 9.44/1.41 c 65 100 53767 2740259 259 0 1 1 0 10.29/1.42 c 66 101 54192 2827879 259 0 1 1 0 10.29/1.42 c 0 103 41707 6355267 259 0 0 0 0 10.29/1.42 c 0 80 36945 4684486 259 0 0 0 0 10.29/1.42 c 0 104 41741 6355278 259 0 0 0 0 10.29/1.42 c 0 71 27092 1508871 259 0 0 0 0 10.29/1.43 c 0 70 39750 4425464 259 0 0 0 0 10.29/1.43 c 0 72 27135 1508883 259 0 0 0 0 10.29/1.43 c 0 71 39793 4425477 259 0 0 0 0 10.29/1.43 c 0 72 39803 4425479 259 0 0 0 0 10.29/1.43 c 0 68 31771 2499407 259 0 0 0 0 10.29/1.43 c 0 69 31827 2499427 259 0 0 0 0 10.29/1.43 c 0 106 42841 6522940 259 0 0 0 0 10.29/1.44 c 0 82 38140 4836657 259 0 0 0 0 10.29/1.45 c 0 83 38179 4836692 259 0 0 0 0 10.29/1.45 c 0 74 41145 4579324 259 0 0 0 0 10.29/1.45 c 0 74 28062 1561599 259 0 0 0 0 10.29/1.45 c 0 75 41189 4579363 259 0 0 0 0 10.29/1.45 c 67 103 56067 2976011 259 0 2 2 1 10.29/1.45 c 0 75 28106 1561639 259 0 0 0 0 10.29/1.45 c 0 108 44023 6691240 259 0 0 0 0 10.29/1.47 c 0 71 33125 2624577 259 0 0 0 0 10.29/1.47 c 0 72 33162 2624594 259 0 0 0 0 10.29/1.47 c 0 85 39332 4988818 259 0 0 0 0 10.29/1.47 c 0 86 39386 4988852 259 0 0 0 0 10.29/1.47 c 0 110 45188 6859508 259 0 0 0 0 10.29/1.47 c 0 77 42524 4733169 259 0 0 0 0 10.29/1.48 c 0 111 45243 6859556 259 0 0 0 0 10.29/1.48 c 0 77 29021 1614363 259 0 0 0 0 10.29/1.49 c 0 74 34460 2749834 259 0 0 0 0 10.29/1.49 c 0 88 40557 5140944 259 0 0 0 0 10.29/1.50 c 0 113 46351 7028022 259 0 0 0 0 10.29/1.50 c 0 79 43915 4886978 259 0 0 0 0 11.05/1.51 c 0 80 43964 4887009 259 0 0 0 0 11.05/1.51 c 0 81 43998 4887028 259 0 0 0 0 11.05/1.51 c 0 79 29993 1667124 259 0 0 0 0 11.05/1.51 c 0 115 47459 7196488 259 0 0 0 0 11.05/1.52 c 0 76 35416 2801501 259 0 0 0 0 11.05/1.52 c 0 90 41709 5293016 259 0 0 0 0 11.05/1.52 c 0 77 35473 2801557 259 0 0 0 0 11.05/1.53 c 0 83 45332 5040742 259 0 0 0 0 11.05/1.53 c 0 81 30955 1719879 259 0 0 0 0 11.05/1.53 c 0 117 48624 7364994 259 0 0 0 0 11.05/1.54 c 0 79 36380 2853192 259 0 0 0 0 11.05/1.54 c 0 92 42891 5445122 259 0 0 0 0 11.05/1.54 c 0 93 42908 5445132 259 0 0 0 0 11.05/1.56 c 0 119 49732 7533445 259 0 0 0 0 11.05/1.56 c 0 85 46688 5194456 259 0 0 0 0 11.05/1.56 c 0 120 49804 7533537 259 0 0 0 0 11.05/1.56 c 0 121 49851 7533566 259 0 0 0 0 11.05/1.56 c 0 86 46761 5194553 259 0 0 0 0 11.05/1.56 c 0 83 31888 1772593 259 0 0 0 0 11.05/1.57 c 0 95 44051 5597174 259 0 0 0 0 11.05/1.57 c 0 81 37644 2978345 259 0 0 0 0 11.05/1.58 c 0 123 50889 7701898 259 0 0 0 0 11.05/1.58 c 0 124 50897 7701901 259 0 0 0 0 11.05/1.58 c 0 82 37723 2978467 259 0 0 0 0 11.05/1.58 c First solution is found 11.05/1.58 c 0 88 48241 5358870 259 0 0 0 0 11.73/1.61 c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 7. 11.73/1.61 c [pFactory][Group N°0] Thread N°0 is joined. 11.73/1.61 c [pFactory][Group N°0] Thread N°1 is joined. 11.73/1.61 c [pFactory][Group N°0] Thread N°2 is joined. 11.73/1.61 c [pFactory][Group N°0] Thread N°3 is joined. 11.73/1.61 c [pFactory][Group N°0] Thread N°4 is joined. 11.73/1.61 c [pFactory][Group N°0] Thread N°5 is joined. 11.73/1.61 c [pFactory][Group N°0] Thread N°6 is joined. 11.73/1.61 c [pFactory][Group N°0] Thread N°7 is joined. 11.73/1.61 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°0) 11.73/1.61 s SATISFIABLE 11.73/1.61 c restarts : 78 11.73/1.61 c conflicts : 0 (0 /sec) 11.73/1.61 c decisions : 126 (11 /sec) 11.73/1.61 c propagations : 7870231 (681181 /sec) 11.73/1.61 c root propagations : 136724 11.73/1.61 c filter calls : 51935 (4495 /sec) 11.73/1.61 c useless filter calls : 24806 (47 %) 11.73/1.61 c Memory used : 649.48 MB 11.73/1.61 c CPU time : 11.5537 s 11.73/1.61 c real time : 1.60807 s 11.73/1.61 11.73/1.61 c solution 1 11.73/1.61 11.73/1.61 v <instantiation type='solution'> 11.73/1.61 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> 11.73/1.61 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> 11.73/1.61 v </instantiation> 11.73/1.61
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 (15438 MiB free) memory of node 1: 16384 MiB (15678 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409330-1569827802/watcher-4409330-1569827802 -o /tmp/evaluation-result-4409330-1569827802/solver-4409330-1569827802 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569817401-14086 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409330-1569827802.xml running on 8 cores: 0,2,4,6,1,3,5,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=16195, runsolver pid=16192 Current StackSize limit: 8192 KiB [startup+0.105632 s]* /proc/loadavg: 1.26 3.07 5.51 6/197 16204 /proc/meminfo: memFree=31781896/32770624 swapFree=66904512/67108860 [pid=16195] ppid=16192 vsize=697844 memory=84548 CPUtime=0.22 cores=0-7 /proc/16195/stat : 16195 (cosoco) S 16192 16195 14059 0 -1 1077944320 21749 0 0 0 19 3 0 0 20 0 9 0 559052452 714592256 21137 33554432000 4194304 6211132 140736589851760 140736589850016 140575412768503 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 /proc/16195/statm: 174461 21137 861 493 0 167766 0 [pid=16195/tid=16197] ppid=16192 vsize=697844 memory=-7318199385787955904 CPUtime=0.01 cores=0-7 /proc/16195/task/16197/stat : 16197 (cosoco) D 16192 16195 14059 0 -1 4202560 45 0 0 0 1 0 0 0 20 0 9 0 559052461 714592256 21137 33554432000 4194304 6211132 140736589851760 140575389625304 140575397203543 0 0 4096 8405026 18446744071582151463 0 0 -1 2 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16198] ppid=16192 vsize=697844 memory=732370069041880037 CPUtime=0.01 cores=0-7 /proc/16195/task/16198/stat : 16198 (cosoco) R 16192 16195 14059 0 -1 4202560 49 0 0 0 1 0 0 0 20 0 9 0 559052461 714592256 21137 33554432000 4194304 6211132 140736589851760 140575381232504 5017600 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16199] ppid=16192 vsize=697844 memory=139930704426624 CPUtime=0.01 cores=0-7 /proc/16195/task/16199/stat : 16199 (cosoco) D 16192 16195 14059 0 -1 4202560 41 0 0 0 1 0 0 0 20 0 9 0 559052461 714592256 21137 33554432000 4194304 6211132 140736589851760 140575372839896 140575397203543 0 0 4096 8405026 18446744071582151463 0 0 -1 4 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16200] ppid=16192 vsize=697844 memory=0 CPUtime=0.01 cores=0-7 /proc/16195/task/16200/stat : 16200 (cosoco) R 16192 16195 14059 0 -1 4202560 41 0 0 0 1 0 0 0 20 0 9 0 559052461 714592256 21137 33554432000 4194304 6211132 140736589851760 140575364447192 140575397203543 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16201] ppid=16192 vsize=697844 memory=0 CPUtime=0.01 cores=0-7 /proc/16195/task/16201/stat : 16201 (cosoco) D 16192 16195 14059 0 -1 4202560 41 0 0 0 1 0 0 0 20 0 9 0 559052461 714592256 21137 33554432000 4194304 6211132 140736589851760 140575356054488 140575396727781 0 0 4096 8405026 18446744071582151416 0 0 -1 5 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16202] ppid=16192 vsize=697844 memory=0 CPUtime=0.01 cores=0-7 /proc/16195/task/16202/stat : 16202 (cosoco) R 16192 16195 14059 0 -1 4202560 43 0 0 0 1 0 0 0 20 0 9 0 559052461 714592256 21137 33554432000 4194304 6211132 140736589851760 140575347661784 140575396727781 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16203] ppid=16192 vsize=697844 memory=-1 CPUtime=0.01 cores=0-7 /proc/16195/task/16203/stat : 16203 (cosoco) D 16192 16195 14059 0 -1 4202560 45 0 0 0 1 0 0 0 20 0 9 0 559052461 714592256 21137 33554432000 4194304 6211132 140736589851760 140575339268984 140575397203543 0 0 4096 8405026 18446744071582151463 0 0 -1 6 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16204] ppid=16192 vsize=697844 memory=0 CPUtime=0.01 cores=0-7 /proc/16195/task/16204/stat : 16204 (cosoco) D 16192 16195 14059 0 -1 4202560 40 0 0 0 1 0 0 0 20 0 9 0 559052461 714592256 21137 33554432000 4194304 6211132 140736589851760 140575330876280 140575397203543 0 0 4096 8405026 18446744071582151463 0 0 -1 0 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 Current children cumulated CPU time: 0.22 s Current children cumulated vsize: 697844 KiB Current children cumulated memory: 84548 KiB [startup+0.209964 s]* /proc/loadavg: 1.26 3.07 5.51 9/197 16204 /proc/meminfo: memFree=31777056/32770624 swapFree=66904512/67108860 [pid=16195] ppid=16192 vsize=697844 memory=93228 CPUtime=1.04 cores=0-7 /proc/16195/stat : 16195 (cosoco) S 16192 16195 14059 0 -1 1077944320 23987 0 0 0 100 4 0 0 20 0 9 0 559052452 714592256 23307 33554432000 4194304 6211132 140736589851760 140736589850016 140575412768503 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 /proc/16195/statm: 174461 23307 868 493 0 167766 0 [pid=16195/tid=16197] ppid=16192 vsize=697844 memory=279861142749424 CPUtime=0.12 cores=0-7 /proc/16195/task/16197/stat : 16197 (cosoco) R 16192 16195 14059 0 -1 4202560 324 0 0 0 12 0 0 0 20 0 9 0 559052461 714592256 23307 33554432000 4194304 6211132 140736589851760 140575389625304 5017679 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16198] ppid=16192 vsize=697844 memory=279861275801336 CPUtime=0.12 cores=0-7 /proc/16195/task/16198/stat : 16198 (cosoco) R 16192 16195 14059 0 -1 4202560 334 0 0 0 12 0 0 0 20 0 9 0 559052461 714592256 23307 33554432000 4194304 6211132 140736589851760 140575381232600 5017688 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16199] ppid=16192 vsize=697844 memory=139930704426624 CPUtime=0.11 cores=0-7 /proc/16195/task/16199/stat : 16199 (cosoco) R 16192 16195 14059 0 -1 4202560 320 0 0 0 11 0 0 0 20 0 9 0 559052461 714592256 23307 33554432000 4194304 6211132 140736589851760 140575372839800 5017617 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16200] ppid=16192 vsize=697844 memory=0 CPUtime=0.1 cores=0-7 /proc/16195/task/16200/stat : 16200 (cosoco) R 16192 16195 14059 0 -1 4202560 312 0 0 0 10 0 0 0 20 0 9 0 559052461 714592256 23307 33554432000 4194304 6211132 140736589851760 140575364447192 5017476 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16201] ppid=16192 vsize=697844 memory=0 CPUtime=0.11 cores=0-7 /proc/16195/task/16201/stat : 16201 (cosoco) R 16192 16195 14059 0 -1 4202560 326 0 0 0 11 0 0 0 20 0 9 0 559052461 714592256 23307 33554432000 4194304 6211132 140736589851760 140575356054392 5017688 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16202] ppid=16192 vsize=697844 memory=0 CPUtime=0.11 cores=0-7 /proc/16195/task/16202/stat : 16202 (cosoco) R 16192 16195 14059 0 -1 4202560 329 0 0 0 11 0 0 0 20 0 9 0 559052461 714592256 23307 33554432000 4194304 6211132 140736589851760 140575347661784 140575396727781 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16203] ppid=16192 vsize=697844 memory=-1 CPUtime=0.11 cores=0-7 /proc/16195/task/16203/stat : 16203 (cosoco) R 16192 16195 14059 0 -1 4202560 320 0 0 0 11 0 0 0 20 0 9 0 559052461 714592256 23307 33554432000 4194304 6211132 140736589851760 140575339269080 5017664 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16204] ppid=16192 vsize=697844 memory=0 CPUtime=0.11 cores=0-7 /proc/16195/task/16204/stat : 16204 (cosoco) R 16192 16195 14059 0 -1 4202560 320 0 0 0 11 0 0 0 20 0 9 0 559052461 714592256 23307 33554432000 4194304 6211132 140736589851760 140575330876376 5017466 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 Current children cumulated CPU time: 1.04 s Current children cumulated vsize: 697844 KiB Current children cumulated memory: 93228 KiB [startup+0.313808 s]* /proc/loadavg: 1.26 3.07 5.51 8/197 16204 /proc/meminfo: memFree=31766764/32770624 swapFree=66904512/67108860 [pid=16195] ppid=16192 vsize=697844 memory=104316 CPUtime=1.82 cores=0-7 /proc/16195/stat : 16195 (cosoco) S 16192 16195 14059 0 -1 1077944320 26647 0 0 0 177 5 0 0 20 0 9 0 559052452 714592256 26079 33554432000 4194304 6211132 140736589851760 140736589850016 140575412768503 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 /proc/16195/statm: 174461 26079 868 493 0 167766 0 [pid=16195/tid=16197] ppid=16192 vsize=697844 memory=0 CPUtime=0.21 cores=0-7 /proc/16195/task/16197/stat : 16197 (cosoco) R 16192 16195 14059 0 -1 4202560 655 0 0 0 21 0 0 0 20 0 9 0 559052461 714592256 26079 33554432000 4194304 6211132 140736589851760 140575389625304 140575396727781 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16198] ppid=16192 vsize=697844 memory=3472468209752237744 CPUtime=0.21 cores=0-7 /proc/16195/task/16198/stat : 16198 (cosoco) R 16192 16195 14059 0 -1 4202560 674 0 0 0 21 0 0 0 20 0 9 0 559052461 714592256 26079 33554432000 4194304 6211132 140736589851760 140575381232600 140575396727781 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16199] ppid=16192 vsize=697844 memory=139930704426624 CPUtime=0.21 cores=0-7 /proc/16195/task/16199/stat : 16199 (cosoco) R 16192 16195 14059 0 -1 4202560 650 0 0 0 21 0 0 0 20 0 9 0 559052461 714592256 26079 33554432000 4194304 6211132 140736589851760 140575372839800 140575396723518 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16200] ppid=16192 vsize=697844 memory=0 CPUtime=0.2 cores=0-7 /proc/16195/task/16200/stat : 16200 (cosoco) R 16192 16195 14059 0 -1 4202560 646 0 0 0 20 0 0 0 20 0 9 0 559052461 714592256 26079 33554432000 4194304 6211132 140736589851760 140575364447192 140575397203543 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16201] ppid=16192 vsize=697844 memory=0 CPUtime=0.21 cores=0-7 /proc/16195/task/16201/stat : 16201 (cosoco) R 16192 16195 14059 0 -1 4202560 663 0 0 0 21 0 0 0 20 0 9 0 559052461 714592256 26079 33554432000 4194304 6211132 140736589851760 140575356054488 140575396723518 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16202] ppid=16192 vsize=697844 memory=0 CPUtime=0.21 cores=0-7 /proc/16195/task/16202/stat : 16202 (cosoco) R 16192 16195 14059 0 -1 4202560 663 0 0 0 21 0 0 0 20 0 9 0 559052461 714592256 26079 33554432000 4194304 6211132 140736589851760 140575347661784 140575396723518 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16203] ppid=16192 vsize=697844 memory=0 CPUtime=0.21 cores=0-7 /proc/16195/task/16203/stat : 16203 (cosoco) R 16192 16195 14059 0 -1 4202560 648 0 0 0 21 0 0 0 20 0 9 0 559052461 714592256 26079 33554432000 4194304 6211132 140736589851760 140575339268984 5017617 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16204] ppid=16192 vsize=697844 memory=0 CPUtime=0.21 cores=0-7 /proc/16195/task/16204/stat : 16204 (cosoco) R 16192 16195 14059 0 -1 4202560 650 0 0 0 21 0 0 0 20 0 9 0 559052461 714592256 26079 33554432000 4194304 6211132 140736589851760 140575330876280 140575396723518 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 Current children cumulated CPU time: 1.82 s Current children cumulated vsize: 697844 KiB Current children cumulated memory: 104316 KiB [startup+0.700964 s] /proc/loadavg: 1.26 3.07 5.51 9/197 16204 /proc/meminfo: memFree=31745808/32770624 swapFree=66904512/67108860 [pid=16195] ppid=16192 vsize=763412 memory=239520 CPUtime=4.67 cores=0-7 /proc/16195/stat : 16195 (cosoco) S 16192 16195 14059 0 -1 1077944320 47057 0 0 0 457 10 0 0 20 0 9 0 559052452 781733888 59880 33554432000 4194304 6211132 140736589851760 140736589850016 140575412768503 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 /proc/16195/statm: 190853 59880 871 493 0 184158 0 [pid=16195/tid=16197] ppid=16192 vsize=763412 memory=139934999393919 CPUtime=0.56 cores=0-7 /proc/16195/task/16197/stat : 16197 (cosoco) R 16192 16195 14059 0 -1 4202560 3232 0 0 0 55 1 0 0 20 0 9 0 559052461 781733888 59880 33554432000 4194304 6211132 140736589851760 140575389625472 5017476 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16198] ppid=16192 vsize=763412 memory=10540 CPUtime=0.56 cores=0-7 /proc/16195/task/16198/stat : 16198 (cosoco) R 16192 16195 14059 0 -1 4202560 3267 0 0 0 55 1 0 0 20 0 9 0 559052461 781733888 59880 33554432000 4194304 6211132 140736589851760 140575381232864 5079027 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16199] ppid=16192 vsize=763412 memory=988 CPUtime=0.57 cores=0-7 /proc/16195/task/16199/stat : 16199 (cosoco) R 16192 16195 14059 0 -1 4202560 3229 0 0 0 56 1 0 0 20 0 9 0 559052461 781733888 59880 33554432000 4194304 6211132 140736589851760 140575372840032 5046988 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16200] ppid=16192 vsize=763412 memory=0 CPUtime=0.56 cores=0-7 /proc/16195/task/16200/stat : 16200 (cosoco) R 16192 16195 14059 0 -1 4202560 3265 0 0 0 56 0 0 0 20 0 9 0 559052461 781733888 59880 33554432000 4194304 6211132 140736589851760 140575364447328 5017664 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16201] ppid=16192 vsize=763412 memory=0 CPUtime=0.56 cores=0-7 /proc/16195/task/16201/stat : 16201 (cosoco) R 16192 16195 14059 0 -1 4202560 3272 0 0 0 56 0 0 0 20 0 9 0 559052461 781733888 59880 33554432000 4194304 6211132 140736589851760 140575356054736 5017277 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16202] ppid=16192 vsize=763412 memory=0 CPUtime=0.54 cores=0-7 /proc/16195/task/16202/stat : 16202 (cosoco) R 16192 16195 14059 0 -1 4202560 3263 0 0 0 54 0 0 0 20 0 9 0 559052461 781733888 59880 33554432000 4194304 6211132 140736589851760 140575347661920 5017664 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16203] ppid=16192 vsize=763412 memory=0 CPUtime=0.58 cores=0-7 /proc/16195/task/16203/stat : 16203 (cosoco) R 16192 16195 14059 0 -1 4202560 3227 0 0 0 58 0 0 0 20 0 9 0 559052461 781733888 59880 33554432000 4194304 6211132 140736589851760 140575339269328 5076434 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16204] ppid=16192 vsize=763412 memory=2832 CPUtime=0.58 cores=0-7 /proc/16195/task/16204/stat : 16204 (cosoco) R 16192 16195 14059 0 -1 4202560 2897 0 0 0 58 0 0 0 20 0 9 0 559052461 781733888 59880 33554432000 4194304 6211132 140736589851760 140575330876232 5017688 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 Current children cumulated CPU time: 4.67 s Current children cumulated vsize: 763412 KiB Current children cumulated memory: 239520 KiB [startup+1.50596 s] /proc/loadavg: 1.26 3.07 5.51 11/198 16205 /proc/meminfo: memFree=31629480/32770624 swapFree=66904512/67108860 [pid=16195] ppid=16192 vsize=763412 memory=240756 CPUtime=11.05 cores=0-7 /proc/16195/stat : 16195 (cosoco) S 16192 16195 14059 0 -1 1077944320 68761 0 0 0 1085 20 0 0 20 0 9 0 559052452 781733888 60189 33554432000 4194304 6211132 140736589851760 140736589850016 140575412768503 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 /proc/16195/statm: 190853 60189 873 493 0 184158 0 [pid=16195/tid=16197] ppid=16192 vsize=763412 memory=988 CPUtime=1.35 cores=0-7 /proc/16195/task/16197/stat : 16197 (cosoco) R 16192 16195 14059 0 -1 4202560 5801 0 0 0 133 2 0 0 20 0 9 0 559052461 781733888 60189 33554432000 4194304 6211132 140736589851760 140575389625440 5017688 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16198] ppid=16192 vsize=763412 memory=239520 CPUtime=1.36 cores=0-7 /proc/16195/task/16198/stat : 16198 (cosoco) R 16192 16195 14059 0 -1 4202560 5794 0 0 0 133 3 0 0 20 0 9 0 559052461 781733888 60189 33554432000 4194304 6211132 140736589851760 140575381232736 5017373 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16199] ppid=16192 vsize=763412 memory=279861142999264 CPUtime=1.37 cores=0-7 /proc/16195/task/16199/stat : 16199 (cosoco) R 16192 16195 14059 0 -1 4202560 6221 0 0 0 136 1 0 0 20 0 9 0 559052461 781733888 60189 33554432000 4194304 6211132 140736589851760 140575372840032 5017569 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16200] ppid=16192 vsize=763412 memory=1060 CPUtime=1.35 cores=0-7 /proc/16195/task/16200/stat : 16200 (cosoco) R 16192 16195 14059 0 -1 4202560 6276 0 0 0 134 1 0 0 20 0 9 0 559052461 781733888 60189 33554432000 4194304 6211132 140736589851760 140575364447328 5017600 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16201] ppid=16192 vsize=763412 memory=1212 CPUtime=1.37 cores=0-7 /proc/16195/task/16201/stat : 16201 (cosoco) R 16192 16195 14059 0 -1 4202560 5924 0 0 0 136 1 0 0 20 0 9 0 559052461 781733888 60189 33554432000 4194304 6211132 140736589851760 140575356054624 5017688 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16202] ppid=16192 vsize=763412 memory=5932 CPUtime=1.33 cores=0-7 /proc/16195/task/16202/stat : 16202 (cosoco) R 16192 16195 14059 0 -1 4202560 6145 0 0 0 133 0 0 0 20 0 9 0 559052461 781733888 60189 33554432000 4194304 6211132 140736589851760 140575347661920 5017472 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16203] ppid=16192 vsize=763412 memory=780 CPUtime=1.38 cores=0-7 /proc/16195/task/16203/stat : 16203 (cosoco) R 16192 16195 14059 0 -1 4202560 5758 0 0 0 136 2 0 0 20 0 9 0 559052461 781733888 60189 33554432000 4194304 6211132 140736589851760 140575339269328 5017617 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16204] ppid=16192 vsize=763412 memory=14008 CPUtime=1.38 cores=0-7 /proc/16195/task/16204/stat : 16204 (cosoco) R 16192 16195 14059 0 -1 4202560 5437 0 0 0 135 3 0 0 20 0 9 0 559052461 781733888 60189 33554432000 4194304 6211132 140736589851760 140575330876512 5081965 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 Current children cumulated CPU time: 11.05 s Current children cumulated vsize: 763412 KiB Current children cumulated memory: 240756 KiB [startup+1.62488 s] # the end of solver process 16195 was just reported to runsolver # cumulated CPU time of all completed processes: user=11.5538 s, system=0.217959 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60065 s] /proc/loadavg: 1.26 3.07 5.51 11/198 16205 /proc/meminfo: memFree=31629480/32770624 swapFree=66904512/67108860 [pid=16195] ppid=16192 vsize=714236 memory=194764 CPUtime=11.73 cores=0-7 /proc/16195/stat : 16195 (cosoco) S 16192 16195 14059 0 -1 1077944320 68936 0 0 0 1153 20 0 0 20 0 3 0 559052452 731377664 48691 33554432000 4194304 6211132 140736589851760 140736589850016 140575412768503 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 /proc/16195/statm: 178559 48691 874 493 0 171864 0 [pid=16195/tid=16199] ppid=16192 vsize=714236 memory=7595725831727968097 CPUtime=1.45 cores=0-7 /proc/16195/task/16199/stat : 16199 (cosoco) R 16192 16195 14059 0 -1 4202560 6233 0 0 0 144 1 0 0 20 0 3 0 559052461 731377664 48691 33554432000 4194304 6211132 140736589851760 140575372840032 5017688 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 [pid=16195/tid=16201] ppid=16192 vsize=714236 memory=8390361644446492005 CPUtime=1.46 cores=0-7 /proc/16195/task/16201/stat : 16201 (cosoco) R 16192 16195 14059 0 -1 4202560 5938 0 0 0 145 1 0 0 20 0 3 0 559052461 731377664 48691 33554432000 4194304 6211132 140736589851760 140575356054624 5017679 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17670144 140736589853713 140736589853805 140736589853805 140736589856718 0 Current children cumulated CPU time: 11.73 s Current children cumulated vsize: 714236 KiB Current children cumulated memory: 194764 KiB Child status: 0 Real time (s): 1.62497 CPU time (s): 11.7718 CPU user time (s): 11.5538 CPU system time (s): 0.217959 CPU usage (%): 724.434 Max. virtual memory (cumulated for all children) (KiB): 763412 Max. memory (cumulated for all children) (KiB): 240756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.5538 system time used= 0.217959 maximum resident set size= 240756 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68957 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= 1937 involuntary context switches= 204 # summary of solver processes directly reported to runsolver: # pid: 16195 # total CPU time (s): 11.7718 # total CPU user time (s): 11.5538 # total CPU system time (s): 0.217959 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.029763 second user time and 0.063146 second system time The end
Begin job on node139 at 2019-09-30 09:19:10 IDJOB=4409330 IDBENCH=131451 IDSOLVER=2877 FILE ID=node139/4409330-1569827802 RUNJOBID= node139-1569817401-14086 PBS_JOBID= 21705915 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 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-4409330-1569827802/watcher-4409330-1569827802 -o /tmp/evaluation-result-4409330-1569827802/solver-4409330-1569827802 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569817401-14086 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409330-1569827802.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2d28027fc76d6f94be685cc66f299382 RANDOM SEED=1084266703 node139.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.57 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.57 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.57 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.57 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: 31864460 kB MemAvailable: 31843356 kB Buffers: 62652 kB Cached: 222788 kB SwapCached: 75780 kB Active: 95640 kB Inactive: 266900 kB Active(anon): 11364 kB Inactive(anon): 108208 kB Active(file): 84276 kB Inactive(file): 158692 kB Unevictable: 109076 kB Mlocked: 109076 kB SwapTotal: 67108860 kB SwapFree: 66904512 kB Dirty: 3152 kB Writeback: 0 kB AnonPages: 111116 kB Mapped: 23696 kB Shmem: 33856 kB Slab: 133124 kB SReclaimable: 103528 kB SUnreclaim: 29596 kB KernelStack: 3520 kB PageTables: 5472 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 529772 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: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 62028 MiB End job on node139 at 2019-09-30 09:19:12