0.00/0.00 c Create channel(X,Y) constraint using 30 element constraint
0.00/0.00 c Create channel(X,Y) constraint using 30 element constraint
0.00/0.00 c Create channel(X,Y) constraint using 30 element constraint
0.00/0.00 c Create channel(X,Y) constraint using 30 element constraint
0.00/0.00 c Create channel(X,Y) constraint using 30 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-4294510-1532470523.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.00 0
0.00/0.00 0
0.00/0.00 0
0.00/0.04 c root propagations : 527
0.00/0.04 c restarts enabled, print stats at every restarts
0.00/0.04 c
0.00/0.04 c
0.00/0.04 c ========================================[ Problem Statistics ]===========================================
0.00/0.04 c |
0.00/0.04 c | Parse time : 0.03 s
0.00/0.04 c |
0.00/0.04 c | Variables: 600
0.00/0.04 c | Domain Sizes: 5..30
0.00/0.04 c |
0.00/0.04 c | Constraints: 568
0.00/0.04 c | Arity: 2..60 -- Binary: 315
0.00/0.04 c |
0.00/0.04 c | Types:
0.00/0.04 c | (X - Y < k): 15
0.00/0.04 c | All Different: 70
0.00/0.04 c | Element Constant: 150
0.00/0.04 c | Extension: 300 (nb tuples: 30..30) -- (shared: 0)
0.00/0.04 c | Lex: 33
0.00/0.04 c |
0.00/0.04 c =========================================================================================================
0.00/0.04 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.05 c 101 319 24815 15734 123 0 14 194 178
0.00/0.06 c 211 477 38404 39829 149 0 1 49 17
0.00/0.07 c 332 951 80088 61135 149 0 1 224 125
0.00/0.09 c 465 1368 110107 77383 151 0 1 200 150
0.00/0.10 c 611 1827 138291 94706 153 0 1 123 103
0.10/0.12 c 771 2352 177629 121300 159 0 1 219 173
0.10/0.13 c 947 2694 205758 134226 160 0 1 121 100
0.10/0.16 c 1140 3363 269069 168425 160 0 1 262 217
0.10/0.18 c 1352 4068 316435 189179 160 0 10 233 193
0.10/0.19 c 1585 4479 334862 197159 160 0 10 150 138
0.21/0.22 c 1841 5273 403777 236590 160 0 10 82 72
0.21/0.24 c 2122 5913 455480 278446 160 0 9 82 73
0.21/0.27 c 2431 6951 522207 321710 160 0 8 92 78
0.21/0.31 c 2770 7977 611637 384867 161 0 1 100 87
0.31/0.35 c 3142 9238 683787 424804 161 0 8 111 102
0.31/0.36 c 3551 9753 716522 439043 193 0 1 75 49
0.31/0.40 c 4000 10289 790328 542630 195 0 1 29 26
0.41/0.45 c 4493 11979 927602 603305 195 0 1 278 228
0.41/0.49 c 5035 13206 998358 653365 195 0 8 169 158
0.51/0.55 c 5631 14205 1126503 814781 197 0 1 65 56
0.60/0.62 c 6286 15603 1258498 915138 197 0 9 93 88
0.60/0.69 c 7006 17875 1419308 994511 198 0 1 226 202
0.69/0.71 c 7798 18963 1468190 1019392 198 0 15 137 126
0.79/0.84 c 8669 21771 1797284 1197797 198 0 15 152 137
0.79/0.89 c 9627 23063 1900769 1282363 198 0 19 74 60
0.89/0.94 c 10680 24926 2003507 1355590 198 0 9 96 72
1.00/1.04 c 11838 27883 2262873 1493270 198 0 1 89 81
1.10/1.12 c 13111 31339 2470454 1576876 198 0 10 101 94
1.19/1.20 c 14511 34631 2675236 1642831 198 0 8 119 113
1.29/1.30 c 16051 38733 2930939 1807875 198 0 8 103 94
1.29/1.37 c 17745 41773 3086497 1867608 198 0 20 100 83
1.49/1.52 c 19608 47623 3461165 2014183 198 0 1 100 86
1.59/1.66 c 21657 52132 3778310 2169079 198 0 1 299 277
1.89/1.90 c 23910 62333 4392480 2437808 199 0 1 333 296
2.00/2.03 c 26388 68659 4686297 2541638 200 0 1 108 101
2.10/2.18 c 29113 76101 5105997 2703717 200 0 6 92 86
2.49/2.55 c 32110 85226 5998596 3200647 201 0 1 304 284
2.69/2.74 c 35406 91917 6488245 3485059 202 0 1 98 91
3.10/3.11 c 39031 102180 7339340 3963908 202 0 13 289 267
3.49/3.51 c 43018 110730 8136560 4380836 202 0 10 204 194
3.69/3.72 c 47403 119601 8524884 4631303 203 0 1 238 221
4.29/4.36 c 52226 159056 9845324 5166304 204 0 1 113 102
4.69/4.72 c 57531 171221 10582918 5677422 204 0 8 192 181
5.00/5.07 c 63366 188091 11489873 6067163 205 0 1 96 92
5.69/5.76 c 69784 212352 12843120 7276904 206 0 1 133 128
6.19/6.29 c 76843 227971 13925708 8063966 207 0 1 139 123
7.00/7.02 c 84607 247837 15633927 9134832 207 0 12 193 181
7.59/7.63 c 93147 270362 17067894 9832123 207 0 12 162 150
8.49/8.52 c 102541 296040 19143751 11005118 207 0 4 139 128
9.49/9.55 c 112874 319029 21406931 12376628 208 0 1 131 118
11.00/11.04 c 124240 357471 24611918 14402752 208 0 6 123 106
12.00/12.07 c 136742 384985 26953661 16616542 208 0 4 109 100
13.39/13.43 c 150494 428165 29748408 17674204 208 0 5 51 44
15.59/15.65 c 165621 555316 35208863 19357144 208 0 5 359 199
17.69/17.79 c 182260 591465 39623662 22541144 208 0 1 236 224
18.69/18.78 c 200562 630809 41669914 23722719 209 0 1 181 169
19.79/19.87 c 220694 669919 44264739 24857163 211 0 1 145 136
23.00/23.04 c 242839 783976 50525474 30112367 211 0 7 138 121
24.79/24.84 c 267198 832376 54785119 33062446 211 0 2 116 106
26.79/26.85 c 293992 900051 59544249 35700938 211 0 4 145 100
28.49/28.57 c 323465 974335 63248666 37783894 211 0 2 119 111
30.69/30.76 c 355885 1067530 67818425 40594797 212 0 1 105 98
32.89/33.00 c 391547 1144801 72884812 44399940 213 0 1 79 66
35.49/35.50 c 430775 1229855 78847023 47860827 213 0 3 81 73
37.59/37.67 c 473925 1329747 84002656 50131727 213 0 2 90 82
40.99/41.01 c 521390 1443673 91899024 55312108 213 0 6 83 74
44.49/44.51 c 573601 1573187 100474379 61060804 213 0 2 90 75
48.69/48.76 c 631033 1750892 110050875 67451354 213 0 18 92 84
55.59/55.69 c 694208 2165218 126302569 73200681 213 0 3 87 78
62.69/62.78 c 763700 2343956 141783249 82500009 213 0 6 319 290
71.09/71.12 c 840141 2524810 158380378 94385506 213 0 20 281 254
76.19/76.21 c 924226 2735291 170632502 101146994 213 0 5 114 106
80.78/80.83 c 1016719 2918950 180659951 106600792 213 0 15 283 221
88.18/88.26 c 1118461 3114122 196652018 115634434 213 0 9 178 169
95.58/95.68 c 1230377 3366102 211675197 124319089 213 0 9 275 238
108.78/108.84 c 1353484 3720913 240871385 141639605 215 0 1 182 169
124.58/124.67 c 1488901 4138247 275501818 162685175 216 0 1 161 149
138.88/138.92 c 1637859 4453172 308550189 186482511 216 0 9 162 154
155.68/155.79 c 1801712 5078058 349693518 206860386 216 0 2 320 294
169.18/169.24 c 1981950 5558129 383178437 221652330 217 0 1 109 102
185.18/185.23 c 2180211 6251569 420661967 235953582 217 0 5 193 158
204.18/204.29 c 2398298 6839638 464060276 255372614 217 0 1 226 203
230.09/230.17 c 2638193 7326794 523998129 294528581 217 0 7 193 180
230.09/230.19 c solution 1
230.09/230.19
230.09/230.19 v <instantiation type='solution'>
230.09/230.19 v <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[16][4] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[18][4] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[22][4] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[1][4] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[13][4] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[27][4] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[14][4] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[19][4] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[26][4] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[0][4] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[7][4] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[9][4] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[11][4] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[13][4] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[18][4] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[23][4] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[25][4] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4] </list>
230.09/230.19 v <values>0 10 16 18 24 1 25 9 14 19 2 17 22 28 6 3 12 21 26 7 4 11 23 27 13 5 15 11 23 25 6 24 1 16 22 7 26 19 17 4 8 29 20 12 0 9 16 25 19 2 10 22 24 15 1 11 3 17 29 23 12 28 8 21 5 13 6 4 20 26 14 27 7 0 18 15 8 2 25 21 16 9 3 24 20 17 7 0 22 28 18 1 6 13 27 19 5 29 10 14 20 2 27 8 15 21 0 26 7 16 22 4 28 9 17 23 14 5 11 29 24 19 10 1 12 25 13 18 6 3 26 18 12 2 8 27 20 13 3 9 28 21 14 4 10 29 23 15 5 11 0 21 17 14 8 1 18 6 24 10 2 20 15 26 9 3 11 16 27 25 4 22 13 28 7 5 19 23 29 12 6 13 18 25 2 7 17 14 21 3 8 15 12 20 26 9 16 1 22 27 10 0 24 19 28 11 4 5 23 29 12 3 26 8 24 13 25 27 18 4 14 23 28 1 19 15 5 29 10 20 16 9 0 6 21 17 2 11 7 22 18 26 25 0 14 19 24 7 9 1 20 27 8 13 16 21 28 3 12 15 22 10 2 17 6 23 29 4 5 11 24 6 10 16 0 25 1 9 15 5 26 7 21 3 13 27 14 20 4 18 28 12 22 2 17 29 8 19 11 23 0 1 2 3 4 0 4 1 2 3 0 2 3 4 1 0 2 3 4 1 0 1 3 4 2 0 2 1 3 4 1 4 0 2 3 1 4 3 2 0 1 4 3 2 0 1 2 4 3 0 1 3 4 2 0 1 0 2 4 3 2 4 1 3 0 2 1 0 3 4 2 4 1 0 3 2 1 0 4 3 2 1 0 4 3 2 1 0 3 4 3 0 1 2 4 3 0 4 1 2 3 0 4 1 2 3 0 4 1 2 3 0 4 1 2 3 2 0 1 4 4 3 1 0 2 4 2 3 1 0 4 3 2 0 1 4 3 2 0 1 4 3 2 0 1 4 3 2 0 1 0 4 3 2 1 0 3 1 4 2 0 4 3 5 2 0 2 3 5 4 0 4 2 5 1 1 3 4 5 2 1 2 3 4 0 1 3 2 4 0 1 3 2 4 5 2 3 0 4 5 2 0 4 3 5 2 0 1 4 5 2 0 5 1 4 2 4 5 3 0 2 4 5 0 3 3 1 5 2 4 3 2 0 1 4 3 0 2 1 4 3 5 4 0 2 3 4 1 2 0 4 5 1 2 3 4 5 0 2 3 4 2 0 3 1 4 5 0 1 2 4 1 2 3 0 4 0 2 3 1 5 1 4 0 2 5 2 4 0 3 5 2 4 0 3 5 1 3 2 4 </values>
230.09/230.19 v </instantiation>
230.09/230.19
230.09/230.19 c restarts : 83
230.09/230.19 c conflicts : 2638443 (11462 /sec)
230.09/230.19 c decisions : 7328086 (31836 /sec)
230.09/230.19 c propagations : 294552626 (1279640 /sec)
230.09/230.19 c root propagations : 527
230.09/230.19 c filter calls : 524055753 (2276683 /sec)
230.09/230.19 c useless filter calls : 429690242 (81 %)
230.09/230.19 c Memory used : 30.02 MB
230.09/230.19 c CPU time : 230.184 s
230.09/230.19
230.09/230.19 s SATISFIABLE
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 (4852 MiB free)
memory of node 1: 16384 MiB (10848 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294510-1532470523/watcher-4294510-1532470523 -o /tmp/evaluation-result-4294510-1532470523/solver-4294510-1532470523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22597 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294510-1532470523.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=22690, runsolver pid=22687
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 1.08 1.00 1.02 3/187 22691
/proc/meminfo: memFree=16074580/32770624 swapFree=67108860/67108860
[pid=22690] ppid=22687 vsize=30076 memory=6576 CPUtime=0.1 cores=1,3,5,7
/proc/22690/stat : 22690 (cosoco) R 22687 22690 22565 0 -1 4202496 1836 0 0 0 10 0 0 0 20 0 1 0 64615530 30797824 1644 33554432000 4194304 6142532 140726523930896 140726523927528 4995474 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 10584064 140726523933830 140726523933960 140726523933960 140726523936718 0
/proc/22690/statm: 7519 1644 855 476 0 841 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30076 KiB
Current children cumulated memory: 6576 KiB
[startup+0.209313 s]*
/proc/loadavg: 1.08 1.00 1.02 3/187 22691
/proc/meminfo: memFree=16074208/32770624 swapFree=67108860/67108860
[pid=22690] ppid=22687 vsize=30208 memory=6576 CPUtime=0.21 cores=1,3,5,7
/proc/22690/stat : 22690 (cosoco) R 22687 22690 22565 0 -1 4202496 1857 0 0 0 21 0 0 0 20 0 1 0 64615530 30932992 1644 33554432000 4194304 6142532 140726523930896 140726523927528 5058259 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 10584064 140726523933830 140726523933960 140726523933960 140726523936718 0
/proc/22690/statm: 7552 1644 855 476 0 874 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30208 KiB
Current children cumulated memory: 6576 KiB
[startup+0.30875 s]*
/proc/loadavg: 1.08 1.00 1.02 3/187 22691
/proc/meminfo: memFree=16074208/32770624 swapFree=67108860/67108860
[pid=22690] ppid=22687 vsize=30208 memory=6576 CPUtime=0.31 cores=1,3,5,7
/proc/22690/stat : 22690 (cosoco) R 22687 22690 22565 0 -1 4202496 1857 0 0 0 31 0 0 0 20 0 1 0 64615530 30932992 1644 33554432000 4194304 6142532 140726523930896 140726523927528 140461353753696 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 10584064 140726523933830 140726523933960 140726523933960 140726523936718 0
/proc/22690/statm: 7552 1644 855 476 0 874 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30208 KiB
Current children cumulated memory: 6576 KiB
[startup+0.700228 s]
/proc/loadavg: 1.08 1.00 1.02 3/187 22691
/proc/meminfo: memFree=16074208/32770624 swapFree=67108860/67108860
[pid=22690] ppid=22687 vsize=30208 memory=6576 CPUtime=0.69 cores=1,3,5,7
/proc/22690/stat : 22690 (cosoco) R 22687 22690 22565 0 -1 4202496 1865 0 0 0 69 0 0 0 20 0 1 0 64615530 30932992 1644 33554432000 4194304 6142532 140726523930896 140726523927528 5347460 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 10584064 140726523933830 140726523933960 140726523933960 140726523936718 0
/proc/22690/statm: 7552 1644 855 476 0 874 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 30208 KiB
Current children cumulated memory: 6576 KiB
[startup+1.50023 s]
/proc/loadavg: 1.08 1.00 1.02 3/187 22691
/proc/meminfo: memFree=16073960/32770624 swapFree=67108860/67108860
[pid=22690] ppid=22687 vsize=30208 memory=6576 CPUtime=1.49 cores=1,3,5,7
/proc/22690/stat : 22690 (cosoco) R 22687 22690 22565 0 -1 4202496 1865 0 0 0 149 0 0 0 20 0 1 0 64615530 30932992 1644 33554432000 4194304 6142532 140726523930896 140726523928296 5347481 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 10584064 140726523933830 140726523933960 140726523933960 140726523936718 0
/proc/22690/statm: 7552 1644 855 476 0 874 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 30208 KiB
Current children cumulated memory: 6576 KiB
[startup+3.10878 s]
/proc/loadavg: 1.08 1.00 1.02 3/187 22691
/proc/meminfo: memFree=16073536/32770624 swapFree=67108860/67108860
[pid=22690] ppid=22687 vsize=30340 memory=6952 CPUtime=3.1 cores=1,3,5,7
/proc/22690/stat : 22690 (cosoco) R 22687 22690 22565 0 -1 4202496 2711 0 0 0 310 0 0 0 20 0 1 0 64615530 31068160 1738 33554432000 4194304 6142532 140726523930896 140726523928296 5054357 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 10584064 140726523933830 140726523933960 140726523933960 140726523936718 0
/proc/22690/statm: 7585 1738 855 476 0 907 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 30340 KiB
Current children cumulated memory: 6952 KiB
[startup+6.30022 s]
/proc/loadavg: 1.23 1.04 1.03 3/187 22691
/proc/meminfo: memFree=16073420/32770624 swapFree=67108860/67108860
[pid=22690] ppid=22687 vsize=30340 memory=6992 CPUtime=6.29 cores=1,3,5,7
/proc/22690/stat : 22690 (cosoco) R 22687 22690 22565 0 -1 4202496 3525 0 0 0 629 0 0 0 20 0 1 0 64615530 31068160 1748 33554432000 4194304 6142532 140726523930896 140726523928296 4990603 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 10584064 140726523933830 140726523933960 140726523933960 140726523936718 0
/proc/22690/statm: 7585 1748 855 476 0 907 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 30340 KiB
Current children cumulated memory: 6992 KiB
[startup+12.7002 s]
/proc/loadavg: 1.37 1.07 1.05 3/187 22691
/proc/meminfo: memFree=16073916/32770624 swapFree=67108860/67108860
[pid=22690] ppid=22687 vsize=30340 memory=6992 CPUtime=12.69 cores=1,3,5,7
/proc/22690/stat : 22690 (cosoco) R 22687 22690 22565 0 -1 4202496 4340 0 0 0 1269 0 0 0 20 0 1 0 64615530 31068160 1748 33554432000 4194304 6142532 140726523930896 140726523928296 5058185 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 10584064 140726523933830 140726523933960 140726523933960 140726523936718 0
/proc/22690/statm: 7585 1748 855 476 0 907 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 30340 KiB
Current children cumulated memory: 6992 KiB
[startup+25.5002 s]
/proc/loadavg: 1.73 1.16 1.08 3/187 22691
/proc/meminfo: memFree=16073024/32770624 swapFree=67108860/67108860
[pid=22690] ppid=22687 vsize=30472 memory=7056 CPUtime=25.49 cores=1,3,5,7
/proc/22690/stat : 22690 (cosoco) R 22687 22690 22565 0 -1 4202496 6000 0 0 0 2549 0 0 0 20 0 1 0 64615530 31203328 1764 33554432000 4194304 6142532 140726523930896 140726523928296 5347455 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 10584064 140726523933830 140726523933960 140726523933960 140726523936718 0
/proc/22690/statm: 7618 1764 855 476 0 940 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 30472 KiB
Current children cumulated memory: 7056 KiB
[startup+51.1088 s]
/proc/loadavg: 1.87 1.25 1.11 3/187 22691
/proc/meminfo: memFree=16074552/32770624 swapFree=67108860/67108860
[pid=22690] ppid=22687 vsize=30472 memory=7056 CPUtime=51.09 cores=1,3,5,7
/proc/22690/stat : 22690 (cosoco) R 22687 22690 22565 0 -1 4202496 6828 0 0 0 5109 0 0 0 20 0 1 0 64615530 31203328 1764 33554432000 4194304 6142532 140726523930896 140726523928296 5328304 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 10584064 140726523933830 140726523933960 140726523933960 140726523936718 0
/proc/22690/statm: 7618 1764 855 476 0 940 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 30472 KiB
Current children cumulated memory: 7056 KiB
[startup+102.3 s]
/proc/loadavg: 1.94 1.36 1.15 3/187 22692
/proc/meminfo: memFree=16075104/32770624 swapFree=67108860/67108860
[pid=22690] ppid=22687 vsize=30472 memory=7060 CPUtime=102.28 cores=1,3,5,7
/proc/22690/stat : 22690 (cosoco) R 22687 22690 22565 0 -1 4202496 7667 0 0 0 10228 0 0 0 20 0 1 0 64615530 31203328 1765 33554432000 4194304 6142532 140726523930896 140726523928296 5058744 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 10584064 140726523933830 140726523933960 140726523933960 140726523936718 0
/proc/22690/statm: 7618 1765 855 476 0 940 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 30472 KiB
Current children cumulated memory: 7060 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 1.48 1.21 3/187 22693
/proc/meminfo: memFree=16075160/32770624 swapFree=67108860/67108860
[pid=22690] ppid=22687 vsize=30472 memory=7060 CPUtime=162.28 cores=1,3,5,7
/proc/22690/stat : 22690 (cosoco) R 22687 22690 22565 0 -1 4202496 8502 0 0 0 16228 0 0 0 20 0 1 0 64615530 31203328 1765 33554432000 4194304 6142532 140726523930896 140726523928296 5072645 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 10584064 140726523933830 140726523933960 140726523933960 140726523936718 0
/proc/22690/statm: 7618 1765 855 476 0 940 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 30472 KiB
Current children cumulated memory: 7060 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.57 1.26 3/187 22694
/proc/meminfo: memFree=16075184/32770624 swapFree=67108860/67108860
[pid=22690] ppid=22687 vsize=30472 memory=7064 CPUtime=222.28 cores=1,3,5,7
/proc/22690/stat : 22690 (cosoco) R 22687 22690 22565 0 -1 4202496 9334 0 0 0 22228 0 0 0 20 0 1 0 64615530 31203328 1766 33554432000 4194304 6142532 140726523930896 140726523928296 5058268 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 10584064 140726523933830 140726523933960 140726523933960 140726523936718 0
/proc/22690/statm: 7618 1766 855 476 0 940 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 30472 KiB
Current children cumulated memory: 7064 KiB
[startup+230.2 s]
# the end of solver process 22690 was just reported to runsolver
# cumulated CPU time of all completed processes: user=230.184 s, system=0.008999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+224 s]*
/proc/loadavg: 1.99 1.58 1.26 3/187 22694
/proc/meminfo: memFree=16075184/32770624 swapFree=67108860/67108860
[pid=22690] ppid=22687 vsize=30472 memory=7064 CPUtime=223.99 cores=1,3,5,7
/proc/22690/stat : 22690 (cosoco) R 22687 22690 22565 0 -1 4202496 9334 0 0 0 22399 0 0 0 20 0 1 0 64615530 31203328 1766 33554432000 4194304 6142532 140726523930896 140726523928296 5058364 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 10584064 140726523933830 140726523933960 140726523933960 140726523936718 0
/proc/22690/statm: 7618 1766 855 476 0 940 0
Current children cumulated CPU time: 223.99 s
Current children cumulated vsize: 30472 KiB
Current children cumulated memory: 7064 KiB
[startup+227.2 s]
/proc/loadavg: 1.99 1.58 1.26 3/187 22694
/proc/meminfo: memFree=16075184/32770624 swapFree=67108860/67108860
[pid=22690] ppid=22687 vsize=30472 memory=7064 CPUtime=227.18 cores=1,3,5,7
/proc/22690/stat : 22690 (cosoco) R 22687 22690 22565 0 -1 4202496 9334 0 0 0 22718 0 0 0 20 0 1 0 64615530 31203328 1766 33554432000 4194304 6142532 140726523930896 140726523928296 5061191 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 10584064 140726523933830 140726523933960 140726523933960 140726523936718 0
/proc/22690/statm: 7618 1766 855 476 0 940 0
Current children cumulated CPU time: 227.18 s
Current children cumulated vsize: 30472 KiB
Current children cumulated memory: 7064 KiB
[startup+228.8 s]
/proc/loadavg: 1.99 1.58 1.26 3/187 22694
/proc/meminfo: memFree=16075184/32770624 swapFree=67108860/67108860
[pid=22690] ppid=22687 vsize=30472 memory=7064 CPUtime=228.78 cores=1,3,5,7
/proc/22690/stat : 22690 (cosoco) R 22687 22690 22565 0 -1 4202496 9334 0 0 0 22878 0 0 0 20 0 1 0 64615530 31203328 1766 33554432000 4194304 6142532 140726523930896 140726523928296 5336590 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 10584064 140726523933830 140726523933960 140726523933960 140726523936718 0
/proc/22690/statm: 7618 1766 855 476 0 940 0
Current children cumulated CPU time: 228.78 s
Current children cumulated vsize: 30472 KiB
Current children cumulated memory: 7064 KiB
[startup+229.6 s]
/proc/loadavg: 1.99 1.59 1.26 3/187 22694
/proc/meminfo: memFree=16075184/32770624 swapFree=67108860/67108860
[pid=22690] ppid=22687 vsize=30472 memory=7064 CPUtime=229.58 cores=1,3,5,7
/proc/22690/stat : 22690 (cosoco) R 22687 22690 22565 0 -1 4202496 9334 0 0 0 22958 0 0 0 20 0 1 0 64615530 31203328 1766 33554432000 4194304 6142532 140726523930896 140726523928296 5054344 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 10584064 140726523933830 140726523933960 140726523933960 140726523936718 0
/proc/22690/statm: 7618 1766 855 476 0 940 0
Current children cumulated CPU time: 229.58 s
Current children cumulated vsize: 30472 KiB
Current children cumulated memory: 7064 KiB
[startup+230 s]*
/proc/loadavg: 1.99 1.59 1.26 3/187 22694
/proc/meminfo: memFree=16075184/32770624 swapFree=67108860/67108860
[pid=22690] ppid=22687 vsize=30472 memory=7064 CPUtime=229.99 cores=1,3,5,7
/proc/22690/stat : 22690 (cosoco) R 22687 22690 22565 0 -1 4202496 9334 0 0 0 22999 0 0 0 20 0 1 0 64615530 31203328 1766 33554432000 4194304 6142532 140726523930896 140726523928296 5055603 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 10584064 140726523933830 140726523933960 140726523933960 140726523936718 0
/proc/22690/statm: 7618 1766 855 476 0 940 0
Current children cumulated CPU time: 229.99 s
Current children cumulated vsize: 30472 KiB
Current children cumulated memory: 7064 KiB
[startup+230.109 s]
/proc/loadavg: 1.99 1.59 1.26 3/187 22694
/proc/meminfo: memFree=16075184/32770624 swapFree=67108860/67108860
[pid=22690] ppid=22687 vsize=30472 memory=7064 CPUtime=230.09 cores=1,3,5,7
/proc/22690/stat : 22690 (cosoco) R 22687 22690 22565 0 -1 4202496 9334 0 0 0 23009 0 0 0 20 0 1 0 64615530 31203328 1766 33554432000 4194304 6142532 140726523930896 140726523928296 5071360 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 10584064 140726523933830 140726523933960 140726523933960 140726523936718 0
/proc/22690/statm: 7618 1766 855 476 0 940 0
Current children cumulated CPU time: 230.09 s
Current children cumulated vsize: 30472 KiB
Current children cumulated memory: 7064 KiB
Child status: 0
Real time (s): 230.2
CPU time (s): 230.193
CPU user time (s): 230.184
CPU system time (s): 0.008999
CPU usage (%): 99.997
Max. virtual memory (cumulated for all children) (KiB): 30472
Max. memory (cumulated for all children) (KiB): 7064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 230.184
system time used= 0.008999
maximum resident set size= 7400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9443
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= 60
# summary of solver processes directly reported to runsolver:
# pid: 22690
# total CPU time (s): 230.193
# total CPU user time (s): 230.184
# total CPU system time (s): 0.008999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.977557 second user time and 1.31416 second system time
The end
Begin job on node150 at 2018-07-25 00:15:23
IDJOB=4294510
IDBENCH=141391
IDSOLVER=2752
FILE ID=node150/4294510-1532470523
RUNJOBID= node150-1532470521-22597
PBS_JOBID= 21021585
Free space on /tmp= 53104 MiB
SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-06b_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294510-1532470523/watcher-4294510-1532470523 -o /tmp/evaluation-result-4294510-1532470523/solver-4294510-1532470523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22597 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294510-1532470523.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= ed15a4f7a5bcd1b231009209ed1d9727
RANDOM SEED=1631599173
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: 16077292 kB
MemAvailable: 31924908 kB
Buffers: 235168 kB
Cached: 15697024 kB
SwapCached: 0 kB
Active: 1585840 kB
Inactive: 14413208 kB
Active(anon): 25132 kB
Inactive(anon): 61412 kB
Active(file): 1560708 kB
Inactive(file): 14351796 kB
Unevictable: 7756 kB
Mlocked: 7756 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 5844 kB
Writeback: 0 kB
AnonPages: 100900 kB
Mapped: 41028 kB
Shmem: 17032 kB
Slab: 390368 kB
SReclaimable: 363572 kB
SUnreclaim: 26796 kB
KernelStack: 3568 kB
PageTables: 4828 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 358712 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 30720 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 00:19:13