Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 1.12 | SAT | 435.117 | 435.129 |
Name | MisteryShopper/ MisteryShopper-06a_c18.xml |
MD5SUM | d439f32f21550c494657491318660cd8 |
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.168391 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 384 |
Number of constraints | 257 |
Number of domains | 3 |
Minimum domain size | 4 |
Maximum domain size | 24 |
Distribution of domain sizes | [{"size":4,"count":96},{"size":5,"count":96},{"size":24,"count":192}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":192},{"degree":3,"count":96},{"degree":4,"count":80},{"degree":5,"count":16}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 96 |
Distribution of constraint arities | [{"arity":2,"count":192},{"arity":4,"count":52},{"arity":24,"count":8},{"arity":48,"count":4},{"arity":96,"count":1}] |
Number of extensional constraints | 192 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":192},{"type":"allDifferent","count":56},{"type":"ordered","count":4},{"type":"lex","count":1},{"type":"channel","count":4}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c Create channel(X,Y) constraint using 24 element constraint 0.00/0.00 c Create channel(X,Y) constraint using 24 element constraint 0.00/0.00 c Create channel(X,Y) constraint using 24 element constraint 0.00/0.00 c Create channel(X,Y) constraint using 24 element constraint 0.00/0.00 c 0.00/0.00 c This is cosoco 1.12 -- 0.00/0.00 c 0.00/0.00 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294564-1532475796.xml 0.00/0.00 0 0.00/0.00 0 0.00/0.00 0 0.00/0.00 0 0.00/0.00 0 0.00/0.00 0 0.00/0.00 0 0.00/0.00 0 0.00/0.00 0 0.00/0.00 0 0.00/0.00 0 0.00/0.00 0 0.00/0.02 c root propagations : 405 0.00/0.02 c restarts enabled, print stats at every restarts 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c ========================================[ Problem Statistics ]=========================================== 0.00/0.02 c | 0.00/0.02 c | Parse time : 0.02 s 0.00/0.02 c | 0.00/0.02 c | Variables: 384 0.00/0.02 c | Domain Sizes: 4..24 0.00/0.02 c | 0.00/0.02 c | Constraints: 382 0.00/0.02 c | Arity: 2..48 -- Binary: 204 0.00/0.02 c | 0.00/0.02 c | Types: 0.00/0.02 c | (X - Y < k): 12 0.00/0.02 c | All Different: 56 0.00/0.02 c | Element Constant: 96 0.00/0.02 c | Extension: 192 (nb tuples: 24..24) -- (shared: 0) 0.00/0.02 c | Lex: 26 0.00/0.02 c | 0.00/0.02 c ========================================================================================================= 0.00/0.02 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.03 c 101 302 20305 26728 97 0 14 99 94 0.00/0.04 c 211 492 36325 40990 104 0 1 40 25 0.00/0.04 c 332 752 51711 52858 104 0 6 49 37 0.00/0.05 c 465 944 66407 77652 104 0 15 39 27 0.00/0.06 c 611 1159 81679 92665 104 0 6 27 24 0.00/0.07 c 771 1601 103364 107999 106 0 1 66 52 0.00/0.08 c 947 2068 135853 124087 106 0 8 133 106 0.00/0.10 c 1140 2560 176476 173433 107 0 1 21 17 0.10/0.12 c 1352 2956 207923 215543 136 0 1 48 25 0.10/0.14 c 1585 3341 256466 266980 137 0 1 31 25 0.10/0.16 c 1841 4025 303493 290439 150 0 1 96 73 0.10/0.17 c 2122 4843 348953 309779 151 0 1 125 107 0.10/0.19 c 2431 5515 391439 332606 151 0 6 73 61 0.21/0.22 c 2770 6347 458192 382704 151 0 1 75 54 0.21/0.25 c 3142 7464 517621 410020 153 0 1 133 105 0.21/0.27 c 3551 9027 587185 443933 154 0 1 123 80 0.21/0.29 c 4000 9918 633305 472148 155 0 1 79 62 0.31/0.33 c 4493 11466 743711 530072 157 0 1 141 118 0.31/0.38 c 5035 12780 846233 589296 158 0 1 98 87 0.31/0.40 c 5631 14092 907243 622940 158 0 6 69 60 0.41/0.45 c 6286 15869 1056022 697897 158 0 1 70 63 0.51/0.54 c 7006 19568 1284233 825817 159 0 1 158 128 0.60/0.61 c 7798 23945 1486743 913126 159 0 6 112 88 0.60/0.64 c 8669 25536 1569406 946825 159 0 11 98 91 0.69/0.72 c 9627 27923 1779896 1079738 159 0 11 69 62 0.69/0.78 c 10680 30724 1927009 1163127 159 0 6 100 93 0.79/0.83 c 11838 33704 2056186 1222141 159 0 7 99 79 0.89/0.92 c 13111 40048 2299224 1307471 159 0 7 93 83 0.89/0.99 c 14511 44350 2487256 1394954 159 0 7 205 189 1.10/1.18 c 16051 47578 2887366 1835045 159 0 7 65 57 1.29/1.30 c 17745 52038 3201838 2011017 161 0 1 173 161 1.39/1.46 c 19608 59573 3630662 2248347 161 0 7 185 161 1.49/1.56 c 21657 64336 3925913 2363000 164 0 1 161 145 1.89/1.92 c 23910 70416 4638426 2857991 165 0 1 90 55 2.10/2.16 c 26388 77890 5158053 3148766 166 0 1 87 48 2.29/2.35 c 29113 84410 5611099 3425901 166 0 11 125 107 2.59/2.63 c 32110 90726 6224182 3954445 166 0 11 101 83 2.79/2.83 c 35406 100760 6760844 4206501 166 0 11 158 129 3.10/3.12 c 39031 106270 7384813 4726314 166 0 12 127 114 3.29/3.32 c 43018 114585 7929830 5010707 167 0 1 169 152 3.49/3.52 c 47403 123121 8360530 5316781 167 0 12 60 48 3.89/3.95 c 52226 133665 9324682 6001602 196 0 1 137 128 4.19/4.27 c 57531 149214 10242129 6344018 197 0 1 185 170 4.69/4.79 c 63366 171025 11613571 7026256 197 0 16 186 163 5.19/5.28 c 69784 187209 12845996 7769729 197 0 1 162 152 5.79/5.86 c 76843 207247 14281688 8649633 197 0 15 168 125 6.19/6.26 c 84607 227953 15244694 9086364 199 0 1 145 129 6.89/6.91 c 93147 261789 17105366 9842759 201 0 1 184 146 7.39/7.43 c 102541 285672 18507211 10527545 201 0 14 116 111 8.49/8.53 c 112874 304522 21011425 12459403 201 0 23 158 150 9.19/9.24 c 124240 335205 22781190 13404564 201 0 28 181 164 10.00/10.04 c 136742 369704 24918855 14417340 201 0 29 102 89 11.00/11.07 c 150494 403562 27572027 15702781 201 0 21 167 149 11.89/11.98 c 165621 447100 29947998 16815316 206 0 1 144 136 13.10/13.17 c 182260 495405 33053395 18448347 206 0 19 206 163 14.39/14.46 c 200562 548136 36656861 20369085 206 0 22 200 183 16.69/16.70 c 220694 602541 42274344 23972509 206 0 30 186 164 18.39/18.45 c 242839 710447 47106352 25802413 207 0 1 193 150 19.89/19.91 c 267198 776999 50971024 27630380 207 0 1 200 161 21.79/21.86 c 293992 860983 55866158 29980725 207 0 8 185 158 23.79/23.83 c 323465 928646 60975871 32670447 207 0 13 198 177 26.00/26.07 c 355885 1031376 67053152 35578129 207 0 13 196 167 29.00/29.02 c 391547 1139429 74469813 39603550 207 0 14 195 177 31.19/31.24 c 430775 1245752 80875372 42380199 207 0 18 205 185 34.19/34.25 c 473925 1381639 89269806 45850109 207 0 23 205 182 36.89/36.97 c 521390 1548636 96353110 48945416 208 0 1 180 160 39.79/39.83 c 573601 1692573 103456278 52297450 210 0 1 153 127 43.69/43.70 c 631033 1851513 113527636 58137802 210 0 23 134 100 46.59/46.61 c 694208 1991386 121012275 61795275 210 0 40 90 81 51.39/51.47 c 763700 2170280 132525290 70835552 210 0 45 72 61 55.49/55.58 c 840141 2350187 142624036 76756203 210 0 32 67 54 60.49/60.58 c 924226 2556465 154673509 85365162 210 0 26 56 48 67.19/67.26 c 1016719 2848830 172696761 95216712 210 0 14 107 49 75.10/75.16 c 1118461 3079524 190189309 107465261 210 0 1 63 45 78.39/78.43 c 1230377 3251417 197742301 111925484 210 0 19 47 36 85.39/85.43 c 1353484 3539628 214581412 125421136 210 0 10 40 30 93.59/93.64 c 1488901 3840017 234307127 137044006 210 0 3 41 31 105.49/105.59 c 1637859 4225080 265177598 163123732 210 0 9 39 31 112.89/112.93 c 1801712 4534194 283423432 175233086 210 0 10 39 29 129.39/129.40 c 1981950 5060840 326723430 200499962 210 0 32 217 191 145.69/145.74 c 2180211 5574651 365615172 224674030 211 0 1 39 28 163.09/163.15 c 2398298 6134920 411389852 256089526 211 0 9 49 35 187.19/187.29 c 2638193 6673092 467236675 294441550 211 0 1 58 45 212.88/213.00 c 2902077 7358120 526301015 334064195 211 0 31 60 50 233.38/233.46 c 3192349 8522827 580678482 358114861 211 0 42 92 69 256.78/256.81 c 3511648 9286072 640459309 398053553 212 0 1 70 58 289.78/289.80 c 3862876 10338237 726775942 449140639 212 0 13 215 182 317.58/317.61 c 4249226 11065012 797700528 489708528 212 0 13 81 68 347.09/347.17 c 4674211 12320836 868592419 531179905 212 0 14 85 73 377.09/377.18 c 5141694 13654947 945991216 572104214 212 0 8 96 81 406.68/406.70 c 5655925 15152594 1025736173 613210599 213 0 1 100 93 434.99/435.10 c 6221579 16517839 1101766435 652215716 213 0 8 108 100 435.09/435.12 c solution 1 435.09/435.12 435.09/435.12 v <instantiation type='solution'> 435.09/435.12 v <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[23][0] vr[23][1] vr[23][2] vr[23][3] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[23][0] ve[23][1] ve[23][2] ve[23][3] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[23][0] gve[23][1] gve[23][2] gve[23][3] </list> 435.09/435.12 v <values>0 6 13 19 1 18 15 7 2 17 23 11 3 16 21 10 4 9 22 12 5 10 19 15 6 14 18 4 7 13 1 20 8 12 0 21 9 19 17 3 10 15 2 23 11 1 16 18 12 20 6 0 13 21 7 5 14 22 4 8 15 0 20 9 16 11 3 22 17 23 5 6 18 8 12 2 19 7 14 1 20 2 8 13 21 3 9 14 22 4 10 16 23 5 11 17 0 15 8 12 1 11 7 19 2 20 10 18 3 21 16 9 4 22 14 6 5 23 17 13 6 0 12 17 7 19 13 1 8 18 20 14 9 4 21 15 10 5 22 3 11 16 23 2 12 8 18 4 13 7 0 20 14 6 19 21 15 10 1 5 16 3 11 22 17 2 9 23 18 1 6 11 19 9 5 0 20 12 15 7 21 13 3 8 22 14 4 16 23 17 2 10 0 1 2 3 0 3 2 1 0 2 3 1 0 2 3 1 0 1 3 2 0 1 3 2 1 2 3 0 1 2 0 3 1 2 0 3 1 3 2 0 1 2 0 3 1 0 2 3 2 3 1 0 2 3 1 0 2 3 0 1 2 0 3 1 2 1 0 3 2 3 0 1 3 1 2 0 3 1 2 0 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 0 3 1 2 0 2 1 3 0 4 2 3 0 4 3 2 0 4 2 1 1 4 3 2 1 0 2 3 1 3 2 0 1 3 4 2 2 0 4 3 2 1 4 0 2 3 4 0 2 1 3 0 2 1 0 4 2 1 3 4 3 2 0 1 3 0 2 4 3 0 2 4 3 0 1 2 3 2 1 0 4 2 3 1 4 2 0 1 4 2 0 3 4 3 0 2 </values> 435.09/435.12 v </instantiation> 435.09/435.12 435.09/435.12 c restarts : 92 435.09/435.12 c conflicts : 6221936 (14300 /sec) 435.09/435.12 c decisions : 16519184 (37965 /sec) 435.09/435.12 c propagations : 652241576 (1499023 /sec) 435.09/435.12 c root propagations : 405 435.09/435.12 c filter calls : 1101828086 (2532291 /sec) 435.09/435.12 c useless filter calls : 866046840 (78 %) 435.09/435.12 c Memory used : 28.20 MB 435.09/435.12 c CPU time : 435.111 s 435.09/435.12 435.09/435.12 s SATISFIABLE
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 (4856 MiB free) memory of node 1: 16384 MiB (10846 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294564-1532475796/watcher-4294564-1532475796 -o /tmp/evaluation-result-4294564-1532475796/solver-4294564-1532475796 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22597 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294564-1532475796.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=23255, runsolver pid=23252 Current StackSize limit: 8192 KiB [startup+0.100154 s]* /proc/loadavg: 2.00 2.01 2.04 3/188 23256 /proc/meminfo: memFree=16078524/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28480 memory=4992 CPUtime=0.1 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 1442 0 0 0 10 0 0 0 20 0 1 0 65142876 29163520 1248 33554432000 4194304 6142532 140720888797920 140720888794552 5058182 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7120 1248 854 476 0 442 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 28480 KiB Current children cumulated memory: 4992 KiB [startup+0.209406 s]* /proc/loadavg: 2.00 2.01 2.04 3/188 23256 /proc/meminfo: memFree=16078524/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28480 memory=4992 CPUtime=0.21 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 1443 0 0 0 21 0 0 0 20 0 1 0 65142876 29163520 1248 33554432000 4194304 6142532 140720888797920 140720888794552 5079985 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7120 1248 854 476 0 442 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 28480 KiB Current children cumulated memory: 4992 KiB [startup+0.308826 s]* /proc/loadavg: 2.00 2.01 2.04 3/188 23256 /proc/meminfo: memFree=16078524/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28612 memory=4992 CPUtime=0.31 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 1448 0 0 0 31 0 0 0 20 0 1 0 65142876 29298688 1248 33554432000 4194304 6142532 140720888797920 140720888794552 4990992 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7153 1248 854 476 0 475 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 28612 KiB Current children cumulated memory: 4992 KiB [startup+0.700274 s] /proc/loadavg: 2.00 2.01 2.04 3/188 23256 /proc/meminfo: memFree=16078244/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28612 memory=4992 CPUtime=0.69 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 1454 0 0 0 69 0 0 0 20 0 1 0 65142876 29298688 1248 33554432000 4194304 6142532 140720888797920 140720888794552 5061881 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7153 1248 854 476 0 475 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 28612 KiB Current children cumulated memory: 4992 KiB [startup+1.50028 s] /proc/loadavg: 2.00 2.01 2.04 3/188 23256 /proc/meminfo: memFree=16077988/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28612 memory=4992 CPUtime=1.49 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 1467 0 0 0 149 0 0 0 20 0 1 0 65142876 29298688 1248 33554432000 4194304 6142532 140720888797920 140720888795320 5058760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7153 1248 854 476 0 475 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 28612 KiB Current children cumulated memory: 4992 KiB [startup+3.10898 s] /proc/loadavg: 1.92 2.00 2.04 3/188 23256 /proc/meminfo: memFree=16078080/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28612 memory=5244 CPUtime=3.1 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 1859 0 0 0 310 0 0 0 20 0 1 0 65142876 29298688 1311 33554432000 4194304 6142532 140720888797920 140720888795320 5054710 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7153 1311 855 476 0 475 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 28612 KiB Current children cumulated memory: 5244 KiB [startup+6.30026 s] /proc/loadavg: 1.92 2.00 2.04 3/188 23256 /proc/meminfo: memFree=16078080/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28612 memory=5264 CPUtime=6.29 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 2260 0 0 0 629 0 0 0 20 0 1 0 65142876 29298688 1316 33554432000 4194304 6142532 140720888797920 140720888795320 5170319 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7153 1316 855 476 0 475 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 28612 KiB Current children cumulated memory: 5264 KiB [startup+12.7003 s] /proc/loadavg: 1.93 2.00 2.04 3/188 23256 /proc/meminfo: memFree=16078080/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28744 memory=5284 CPUtime=12.69 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 2670 0 0 0 1269 0 0 0 20 0 1 0 65142876 29433856 1321 33554432000 4194304 6142532 140720888797920 140720888795320 5055512 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7186 1321 855 476 0 508 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 28744 KiB Current children cumulated memory: 5284 KiB [startup+25.5003 s] /proc/loadavg: 1.94 2.00 2.04 3/188 23256 /proc/meminfo: memFree=16078204/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28744 memory=5328 CPUtime=25.49 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 3492 0 0 0 2549 0 0 0 20 0 1 0 65142876 29433856 1332 33554432000 4194304 6142532 140720888797920 140720888795320 5060638 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7186 1332 855 476 0 508 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 28744 KiB Current children cumulated memory: 5328 KiB [startup+51.109 s] /proc/loadavg: 1.96 2.00 2.04 3/188 23256 /proc/meminfo: memFree=16078452/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28744 memory=5336 CPUtime=51.1 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 3908 0 0 0 5110 0 0 0 20 0 1 0 65142876 29433856 1334 33554432000 4194304 6142532 140720888797920 140720888795320 5061864 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7186 1334 855 476 0 508 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 28744 KiB Current children cumulated memory: 5336 KiB [startup+102.3 s] /proc/loadavg: 1.98 2.00 2.04 3/188 23257 /proc/meminfo: memFree=16078732/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28744 memory=5336 CPUtime=102.29 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 4319 0 0 0 10229 0 0 0 20 0 1 0 65142876 29433856 1334 33554432000 4194304 6142532 140720888797920 140720888795320 5058255 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7186 1334 855 476 0 508 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 28744 KiB Current children cumulated memory: 5336 KiB [startup+162.3 s] /proc/loadavg: 1.99 2.00 2.04 3/187 23258 /proc/meminfo: memFree=16078728/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28744 memory=5348 CPUtime=162.29 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 4740 0 0 0 16229 0 0 0 20 0 1 0 65142876 29433856 1337 33554432000 4194304 6142532 140720888797920 140720888795320 5175056 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7186 1337 855 476 0 508 0 Current children cumulated CPU time: 162.29 s Current children cumulated vsize: 28744 KiB Current children cumulated memory: 5348 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 23259 /proc/meminfo: memFree=16079292/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28744 memory=5348 CPUtime=222.28 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 5154 0 0 0 22228 0 0 0 20 0 1 0 65142876 29433856 1337 33554432000 4194304 6142532 140720888797920 140720888795320 5055525 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7186 1337 855 476 0 508 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 28744 KiB Current children cumulated memory: 5348 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 23260 /proc/meminfo: memFree=16078788/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28744 memory=5348 CPUtime=282.28 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 5569 0 0 0 28228 0 0 0 20 0 1 0 65142876 29433856 1337 33554432000 4194304 6142532 140720888797920 140720888795320 5054704 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7186 1337 855 476 0 508 0 Current children cumulated CPU time: 282.28 s Current children cumulated vsize: 28744 KiB Current children cumulated memory: 5348 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 23261 /proc/meminfo: memFree=16078532/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28744 memory=5348 CPUtime=342.28 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 5983 0 0 0 34228 0 0 0 20 0 1 0 65142876 29433856 1337 33554432000 4194304 6142532 140720888797920 140720888795320 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7186 1337 855 476 0 508 0 Current children cumulated CPU time: 342.28 s Current children cumulated vsize: 28744 KiB Current children cumulated memory: 5348 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 23262 /proc/meminfo: memFree=16078512/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28744 memory=5348 CPUtime=402.28 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 6397 0 0 0 40228 0 0 0 20 0 1 0 65142876 29433856 1337 33554432000 4194304 6142532 140720888797920 140720888795320 5061919 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7186 1337 855 476 0 508 0 Current children cumulated CPU time: 402.28 s Current children cumulated vsize: 28744 KiB Current children cumulated memory: 5348 KiB [startup+435.129 s] # the end of solver process 23255 was just reported to runsolver # cumulated CPU time of all completed processes: user=435.112 s, system=0.004999 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+409.6 s] /proc/loadavg: 2.00 2.00 2.04 3/189 23271 /proc/meminfo: memFree=16077024/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28744 memory=5348 CPUtime=409.58 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 6397 0 0 0 40958 0 0 0 20 0 1 0 65142876 29433856 1337 33554432000 4194304 6142532 140720888797920 140720888795320 5061911 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7186 1337 855 476 0 508 0 Current children cumulated CPU time: 409.58 s Current children cumulated vsize: 28744 KiB Current children cumulated memory: 5348 KiB [startup+422.4 s] /proc/loadavg: 2.00 2.00 2.04 3/189 23272 /proc/meminfo: memFree=16077148/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28744 memory=5348 CPUtime=422.38 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 6743 0 0 0 42238 0 0 0 20 0 1 0 65142876 29433856 1337 33554432000 4194304 6142532 140720888797920 140720888795320 5058231 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7186 1337 855 476 0 508 0 Current children cumulated CPU time: 422.38 s Current children cumulated vsize: 28744 KiB Current children cumulated memory: 5348 KiB [startup+428.8 s] /proc/loadavg: 2.00 2.00 2.04 3/189 23272 /proc/meminfo: memFree=16077148/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28744 memory=5348 CPUtime=428.78 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 6746 0 0 0 42878 0 0 0 20 0 1 0 65142876 29433856 1337 33554432000 4194304 6142532 140720888797920 140720888795320 5053549 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7186 1337 855 476 0 508 0 Current children cumulated CPU time: 428.78 s Current children cumulated vsize: 28744 KiB Current children cumulated memory: 5348 KiB [startup+432 s]* /proc/loadavg: 2.00 2.00 2.04 3/189 23272 /proc/meminfo: memFree=16077272/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28744 memory=5348 CPUtime=431.99 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 6757 0 0 0 43199 0 0 0 20 0 1 0 65142876 29433856 1337 33554432000 4194304 6142532 140720888797920 140720888795320 5055532 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7186 1337 855 476 0 508 0 Current children cumulated CPU time: 431.99 s Current children cumulated vsize: 28744 KiB Current children cumulated memory: 5348 KiB [startup+433.6 s] /proc/loadavg: 2.00 2.00 2.04 3/189 23272 /proc/meminfo: memFree=16077272/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28744 memory=5348 CPUtime=433.58 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 6757 0 0 0 43358 0 0 0 20 0 1 0 65142876 29433856 1337 33554432000 4194304 6142532 140720888797920 140720888795320 5057959 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7186 1337 855 476 0 508 0 Current children cumulated CPU time: 433.58 s Current children cumulated vsize: 28744 KiB Current children cumulated memory: 5348 KiB [startup+434.4 s] /proc/loadavg: 2.00 2.00 2.04 3/189 23272 /proc/meminfo: memFree=16077272/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28744 memory=5348 CPUtime=434.38 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 6757 0 0 0 43438 0 0 0 20 0 1 0 65142876 29433856 1337 33554432000 4194304 6142532 140720888797920 140720888795320 5059472 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7186 1337 855 476 0 508 0 Current children cumulated CPU time: 434.38 s Current children cumulated vsize: 28744 KiB Current children cumulated memory: 5348 KiB [startup+434.8 s] /proc/loadavg: 2.00 2.00 2.04 3/189 23272 /proc/meminfo: memFree=16077272/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28744 memory=5348 CPUtime=434.78 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 6757 0 0 0 43478 0 0 0 20 0 1 0 65142876 29433856 1337 33554432000 4194304 6142532 140720888797920 140720888795320 5054324 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7186 1337 855 476 0 508 0 Current children cumulated CPU time: 434.78 s Current children cumulated vsize: 28744 KiB Current children cumulated memory: 5348 KiB [startup+435 s]* /proc/loadavg: 2.00 2.00 2.04 3/189 23272 /proc/meminfo: memFree=16077272/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28744 memory=5348 CPUtime=434.99 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 6757 0 0 0 43499 0 0 0 20 0 1 0 65142876 29433856 1337 33554432000 4194304 6142532 140720888797920 140720888795320 5062311 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7186 1337 855 476 0 508 0 Current children cumulated CPU time: 434.99 s Current children cumulated vsize: 28744 KiB Current children cumulated memory: 5348 KiB [startup+435.109 s] /proc/loadavg: 2.00 2.00 2.04 3/189 23272 /proc/meminfo: memFree=16077272/32770624 swapFree=67108860/67108860 [pid=23255] ppid=23252 vsize=28744 memory=5348 CPUtime=435.09 cores=1,3,5,7 /proc/23255/stat : 23255 (cosoco) R 23252 23255 22565 0 -1 4202496 6811 0 0 0 43509 0 0 0 20 0 1 0 65142876 29433856 1337 33554432000 4194304 6142532 140720888797920 140720888795320 5175056 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11010048 140720888800390 140720888800520 140720888800520 140720888803278 0 /proc/23255/statm: 7186 1337 855 476 0 508 0 Current children cumulated CPU time: 435.09 s Current children cumulated vsize: 28744 KiB Current children cumulated memory: 5348 KiB Child status: 0 Real time (s): 435.129 CPU time (s): 435.117 CPU user time (s): 435.112 CPU system time (s): 0.004999 CPU usage (%): 99.997 Max. virtual memory (cumulated for all children) (KiB): 28744 Max. memory (cumulated for all children) (KiB): 5348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 435.112 system time used= 0.004999 maximum resident set size= 5532 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6881 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= 6 involuntary context switches= 112 # summary of solver processes directly reported to runsolver: # pid: 23255 # total CPU time (s): 435.117 # total CPU user time (s): 435.112 # total CPU system time (s): 0.004999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.4273 second user time and 2.86754 second system time The end
Begin job on node150 at 2018-07-25 01:43:16 IDJOB=4294564 IDBENCH=141397 IDSOLVER=2752 FILE ID=node150/4294564-1532475796 RUNJOBID= node150-1532470521-22597 PBS_JOBID= 21021585 Free space on /tmp= 53104 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-06a_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294564-1532475796/watcher-4294564-1532475796 -o /tmp/evaluation-result-4294564-1532475796/solver-4294564-1532475796 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22597 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294564-1532475796.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d439f32f21550c494657491318660cd8 RANDOM SEED=1089739183 node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 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.76 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.76 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.76 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: 16080664 kB MemAvailable: 31930308 kB Buffers: 235828 kB Cached: 15698536 kB SwapCached: 0 kB Active: 1584572 kB Inactive: 14413676 kB Active(anon): 22276 kB Inactive(anon): 61412 kB Active(file): 1562296 kB Inactive(file): 14352264 kB Unevictable: 7756 kB Mlocked: 7756 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2728 kB Writeback: 0 kB AnonPages: 71512 kB Mapped: 40844 kB Shmem: 17032 kB Slab: 390540 kB SReclaimable: 363544 kB SUnreclaim: 26996 kB KernelStack: 3312 kB PageTables: 5064 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 355392 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 53100 MiB End job on node150 at 2018-07-25 01:50:31