0.09/0.13 c SAT : Variables: 1969 -- Clauses: 21802
0.09/0.13 c root propagations : 0
0.09/0.13 c restarts enabled, print stats at every restarts
0.09/0.13 c
0.09/0.13 c
0.09/0.13 c
0.09/0.13 c This is cosoco 1.0 --
0.09/0.13 c
0.09/0.13 c ========================================[ Problem Statistics ]===========================================
0.09/0.13 c |
0.09/0.13 c | Parse time : 0.13 s
0.09/0.13 c |
0.09/0.13 c | Variables: 88
0.09/0.13 c | Domain Sizes: 13..24
0.09/0.13 c |
0.09/0.13 c | Constraints: 87
0.09/0.13 c | Arity: 3..13 -- Ternary: 76
0.09/0.13 c |
0.09/0.13 c | Types:
0.09/0.13 c | All Different: 11
0.09/0.13 c | Intension: 76
0.09/0.13 c |
0.09/0.13 c =========================================================================================================
0.09/0.13 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.09/0.15 c 10 58 3314 5353 0 3 16 26 19
0.09/0.16 c 20 134 6414 10205 0 6 26 37 28
0.09/0.17 c 30 205 9614 16271 0 12 16 36 21
0.09/0.18 c 40 272 12492 21640 0 19 16 29 19
0.09/0.19 c 50 334 15720 26948 0 23 22 29 24
0.19/0.20 c 60 379 19626 33211 0 27 17 21 17
0.19/0.21 c 70 415 21916 37810 0 32 16 23 17
0.19/0.22 c 80 455 25673 43733 0 36 17 22 16
0.19/0.24 c 90 508 29228 50078 0 38 18 26 20
0.19/0.24 c 100 544 31810 54248 0 40 17 19 16
0.19/0.25 c 101 559 32561 55938 0 41 15 15 7
0.19/0.26 c 110 598 35882 61076 0 44 13 18 13
0.19/0.27 c 120 636 38407 66026 0 49 14 20 15
0.19/0.28 c 130 682 41753 71317 0 54 18 21 17
0.19/0.29 c 140 730 45687 77984 0 58 14 22 15
0.29/0.30 c 150 784 49108 83286 0 64 15 24 17
0.29/0.31 c 160 828 51828 88324 0 66 19 22 19
0.29/0.32 c 170 888 55148 94085 0 71 19 22 18
0.29/0.33 c 180 938 58731 100473 0 75 15 22 17
0.29/0.34 c 190 982 63226 107590 0 81 16 19 15
0.29/0.35 c 200 1025 66959 114138 0 86 17 22 17
0.29/0.36 c 210 1064 70372 120242 0 87 20 26 19
0.29/0.37 c 211 1084 71222 121996 0 88 20 20 10
0.29/0.38 c 220 1127 74714 127898 0 91 18 25 17
0.29/0.39 c 230 1171 77436 132682 0 97 21 23 20
0.39/0.40 c 240 1213 80702 138642 0 100 12 19 15
0.39/0.41 c 250 1267 85186 145920 0 105 16 22 16
0.39/0.42 c 260 1310 88169 151361 0 109 17 22 17
0.39/0.43 c 270 1355 91762 157439 0 114 14 21 16
0.39/0.44 c 280 1403 95520 163447 0 119 14 18 14
0.39/0.45 c 290 1451 98496 168556 0 121 19 23 18
0.39/0.47 c 300 1514 102730 175413 0 123 17 22 18
0.39/0.48 c 310 1565 106222 181024 0 125 11 19 15
0.39/0.49 c 320 1604 109102 185842 0 131 16 24 18
0.49/0.50 c 330 1645 112914 192211 0 135 16 18 15
0.49/0.50 c 332 1668 114284 194620 0 137 19 22 13
0.49/0.51 c 340 1699 116490 198569 0 139 11 20 14
0.49/0.52 c 350 1748 119824 204396 0 141 20 23 19
0.49/0.53 c 360 1789 123896 210714 0 144 14 20 15
0.49/0.54 c 370 1830 126736 215268 0 147 16 20 16
0.49/0.55 c 380 1880 130359 221113 0 149 17 22 17
0.49/0.56 c 390 1917 133494 226491 0 155 18 21 18
0.49/0.58 c 400 1973 137372 232490 0 158 15 22 17
0.49/0.59 c 410 2012 140387 237802 0 159 18 19 17
0.59/0.60 c 420 2055 143799 243133 0 161 16 22 16
0.59/0.61 c 430 2106 147180 248870 0 165 14 19 16
0.59/0.62 c 440 2157 151432 256268 0 170 16 19 16
0.59/0.63 c 450 2207 154763 261883 0 174 16 20 17
0.59/0.64 c 460 2254 159047 268548 0 179 15 22 15
0.59/0.65 c 465 2288 161587 272608 0 183 17 21 15
0.59/0.66 c 470 2328 163970 276748 0 185 21 23 18
0.59/0.67 c 480 2370 167072 282293 0 189 12 23 16
0.59/0.68 c 490 2420 170688 288401 0 196 14 23 17
0.59/0.69 c 500 2463 173808 294009 0 200 12 20 13
0.69/0.70 c 510 2509 177455 300161 0 206 15 21 14
0.69/0.72 c 520 2566 181546 306494 0 210 17 24 18
0.69/0.73 c 530 2603 184823 312459 0 217 18 23 18
0.69/0.74 c 540 2640 187711 317403 0 219 12 19 16
0.69/0.75 c 550 2696 191912 324448 0 224 14 21 16
0.69/0.76 c 560 2747 195064 330064 0 227 16 23 17
0.69/0.77 c 570 2802 198710 335772 0 230 19 24 19
0.69/0.78 c 580 2862 202327 342257 0 234 19 25 19
0.69/0.79 c 590 2903 205560 347705 0 236 15 21 16
0.79/0.80 c 600 2943 207909 352105 0 239 16 22 18
0.79/0.81 c 610 2988 211179 357640 0 244 17 21 16
0.79/0.81 c 611 3006 212203 359519 0 245 18 18 9
0.79/0.82 c 620 3055 215544 365147 0 247 16 22 17
0.79/0.83 c 630 3109 218842 370386 0 250 17 23 18
0.79/0.84 c 640 3153 222028 375662 0 253 17 23 18
0.79/0.85 c 650 3196 224685 380268 0 256 17 21 17
0.79/0.86 c 660 3251 228770 386920 0 261 16 22 17
0.79/0.87 c 670 3290 231113 391169 0 263 18 22 18
0.79/0.89 c 680 3340 234876 397965 0 267 11 19 13
0.89/0.90 c 690 3390 239074 404882 0 271 16 20 16
0.89/0.91 c 700 3440 242481 410355 0 274 19 23 19
0.89/0.92 c 710 3483 245328 415027 0 279 16 22 17
0.89/0.93 c 720 3534 248360 419910 0 282 20 23 19
0.89/0.94 c 730 3592 251871 425539 0 286 16 22 17
0.89/0.95 c 740 3661 256277 432659 0 289 20 24 19
0.89/0.96 c 750 3725 260686 440214 0 294 18 25 19
0.89/0.97 c 760 3775 264328 446380 0 296 14 23 16
0.89/0.98 c 770 3827 267544 451454 0 301 18 21 18
0.89/0.99 c 771 3843 268344 453048 0 302 16 16 8
0.99/1.00 c 780 3889 271415 458377 0 306 16 22 19
0.99/1.01 c 790 3938 275307 464837 0 310 16 20 16
0.99/1.02 c 800 3999 279866 472437 0 313 16 24 18
0.99/1.04 c 810 4053 283211 478273 0 316 21 27 22
0.99/1.05 c 820 4098 286487 483916 0 320 15 22 17
0.99/1.06 c 830 4160 290148 490189 0 326 17 23 18
0.99/1.07 c 840 4206 293834 495844 0 329 11 22 16
0.99/1.08 c 850 4257 296949 501170 0 334 18 25 19
0.99/1.09 c 860 4310 300020 506383 0 338 21 30 21
0.99/1.10 c 870 4359 303539 512432 0 342 17 23 17
1.10/1.11 c 880 4411 306918 518377 0 348 20 28 22
1.10/1.12 c 890 4463 310301 523988 0 353 15 22 16
1.10/1.13 c 900 4519 313485 529246 0 356 20 30 21
1.10/1.14 c 910 4570 317037 535400 0 360 17 26 19
1.10/1.15 c 920 4610 320381 541398 0 363 12 25 17
1.10/1.17 c 930 4669 324470 547994 0 366 16 22 17
1.10/1.18 c 940 4720 327447 553466 0 372 20 25 20
1.10/1.18 c 947 4769 330066 557770 0 373 20 20 17
1.10/1.19 c 950 4798 331516 560220 0 375 23 23 17
1.10/1.20 c 960 4849 334575 565679 0 377 21 27 21
1.20/1.21 c 970 4905 337650 570692 0 380 22 24 20
1.20/1.22 c 980 4970 341504 576963 0 385 16 23 18
1.20/1.23 c 990 5024 345106 583490 0 390 14 23 17
1.20/1.24 c 1000 5066 347495 587915 0 393 22 26 21
1.20/1.25 c 1010 5131 351624 594713 0 398 19 27 20
1.20/1.26 c 1020 5176 354548 599738 0 402 22 28 22
1.20/1.27 c 1030 5222 357605 605057 0 406 19 25 18
1.20/1.28 c 1040 5269 360982 610057 0 410 17 21 17
1.20/1.29 c 1050 5315 363849 615375 0 412 18 25 18
1.29/1.30 c 1060 5367 367614 621379 0 417 15 23 16
1.29/1.31 c 1070 5423 370477 626110 0 423 20 30 22
1.29/1.32 c 1080 5474 373807 631521 0 427 20 22 18
1.29/1.33 c 1090 5532 376995 636813 0 432 12 23 17
1.29/1.34 c 1100 5576 380117 642254 0 439 18 27 19
1.29/1.35 c 1110 5618 382962 647311 0 444 16 27 19
1.29/1.36 c 1120 5679 386377 652746 0 447 24 28 23
1.29/1.37 c 1130 5739 389424 658118 0 449 20 27 23
1.29/1.38 c 1140 5786 392672 663227 0 453 13 22 17
1.29/1.39 c 1141 5804 393800 665164 0 454 18 18 9
1.39/1.40 c 1150 5857 397096 670654 0 458 13 27 18
1.39/1.41 c 1160 5910 400411 675995 0 462 18 22 18
1.39/1.42 c 1170 5959 403468 681512 0 467 20 23 19
1.39/1.43 c 1180 6009 407043 687195 0 471 19 28 22
1.39/1.44 c 1190 6062 409427 691388 0 474 13 28 21
1.39/1.45 c 1200 6112 412619 696550 0 477 15 24 18
1.39/1.46 c 1210 6168 416343 702508 0 482 19 22 19
1.39/1.47 c 1220 6213 419480 707896 0 484 20 25 19
1.39/1.48 c 1230 6260 422915 713424 0 490 13 22 17
1.39/1.49 c 1240 6326 427207 720234 0 494 15 24 19
1.49/1.50 c 1250 6377 430861 725914 0 497 13 24 18
1.49/1.51 c 1260 6444 434139 730888 0 499 12 22 18
1.49/1.52 c 1270 6502 437401 736352 0 503 20 26 20
1.49/1.53 c 1280 6548 440367 741003 0 506 11 22 17
1.49/1.54 c 1290 6604 444106 747442 0 510 22 26 20
1.49/1.55 c 1300 6653 447164 752771 0 515 16 26 18
1.49/1.56 c solution 1
1.49/1.56
1.49/1.56 v <instantiation type='solution'>
1.49/1.56 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] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] y[44] y[45] y[46] y[47] y[48] y[49] y[50] y[51] y[52] y[53] y[54] y[55] y[56] y[57] y[58] y[59] y[60] y[61] y[62] y[63] y[64] y[65] y[66] y[67] y[68] y[69] y[70] y[71] y[72] y[73] y[74] </list>
1.49/1.56 v <values>1 13 12 10 6 11 8 2 3 5 9 4 7 -12 1 2 4 -5 3 6 -1 -2 -4 5 -3 -11 3 6 -1 -2 9 5 -3 -6 1 2 -9 7 1 2 4 8 3 -7 -1 -2 -5 2 4 8 3 6 -1 -2 -4 -10 5 10 7 1 2 4 -5 -7 11 9 5 -3 7 1 -1 10 7 1 2 4 -2 8 3 6 -1 -4 4 8 3 -8 9 5 </values>
1.49/1.56 v </instantiation>
1.49/1.56
1.49/1.56 c restarts : 138
1.49/1.56 c conflicts : 1308 (837 /sec)
1.49/1.56 c decisions : 6767 (4329 /sec)
1.49/1.56 c propagations : 757530 (484577 /sec)
1.49/1.56 c root propagations : 0
1.49/1.56 c filter calls : 450055 (287891 /sec)
1.49/1.56 c useless filter calls : 161367 (35 %)
1.49/1.56 c
1.49/1.56 c clauses : 22330
1.49/1.56 c SAT propagations : 1143
1.49/1.56 c SAT conflicts : 0 (0 learnts)
1.49/1.56 c Memory used : 32.13 MB
1.49/1.56 c CPU time : 1.56324 s
1.49/1.56
1.49/1.56 s SATISFIABLE
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240109-1500623809/watcher-4240109-1500623809 -o /tmp/evaluation-result-4240109-1500623809/solver-4240109-1500623809 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500623789-5345 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240109-1500623809.xml
pid=5560
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.38 0.10 0.07 3/186 5563
/proc/meminfo: memFree=31569876/32770624 swapFree=6304/419900
[pid=5563] ppid=5560 vsize=27124 CPUtime=0 cores=1,3,5,7
/proc/5563/stat : 5563 (cosoco) R 5560 5563 5313 0 -1 4202496 1004 0 0 0 0 0 0 0 20 0 1 0 17127912 27774976 832 33554432000 4194304 5970956 140724085990384 140724085987032 5414240 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 23277568 140724085994684 140724085994819 140724085994819 140724085997518 0
/proc/5563/statm: 6781 832 710 434 0 145 0
[startup+0.100112 s]
/proc/loadavg: 0.38 0.10 0.07 3/186 5563
/proc/meminfo: memFree=31569876/32770624 swapFree=6304/419900
[pid=5563] ppid=5560 vsize=27368 CPUtime=0.09 cores=1,3,5,7
/proc/5563/stat : 5563 (cosoco) R 5560 5563 5313 0 -1 4202496 1117 0 0 0 9 0 0 0 20 0 1 0 17127912 28024832 954 33554432000 4194304 5970956 140724085990384 140724085984216 140111975828328 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 23277568 140724085994684 140724085994819 140724085994819 140724085997518 0
/proc/5563/statm: 6842 954 787 434 0 206 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27368
[startup+0.200246 s]
/proc/loadavg: 0.38 0.10 0.07 3/186 5563
/proc/meminfo: memFree=31569876/32770624 swapFree=6304/419900
[pid=5563] ppid=5560 vsize=32896 CPUtime=0.19 cores=1,3,5,7
/proc/5563/stat : 5563 (cosoco) R 5560 5563 5313 0 -1 4202496 1549 0 0 0 19 0 0 0 20 0 1 0 17127912 33685504 1349 33554432000 4194304 5970956 140724085990384 140724085987720 4967883 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 23277568 140724085994684 140724085994819 140724085994819 140724085997518 0
/proc/5563/statm: 8224 1349 832 434 0 1588 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32896
[startup+0.300204 s]
/proc/loadavg: 0.38 0.10 0.07 3/186 5563
/proc/meminfo: memFree=31569876/32770624 swapFree=6304/419900
[pid=5563] ppid=5560 vsize=32896 CPUtime=0.29 cores=1,3,5,7
/proc/5563/stat : 5563 (cosoco) R 5560 5563 5313 0 -1 4202496 1552 0 0 0 29 0 0 0 20 0 1 0 17127912 33685504 1349 33554432000 4194304 5970956 140724085990384 140724085987720 5052085 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 23277568 140724085994684 140724085994819 140724085994819 140724085997518 0
/proc/5563/statm: 8224 1349 832 434 0 1588 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32896
[startup+0.700173 s]
/proc/loadavg: 0.38 0.10 0.07 3/186 5563
/proc/meminfo: memFree=31569876/32770624 swapFree=6304/419900
[pid=5563] ppid=5560 vsize=32896 CPUtime=0.69 cores=1,3,5,7
/proc/5563/stat : 5563 (cosoco) R 5560 5563 5313 0 -1 4202496 1560 0 0 0 69 0 0 0 20 0 1 0 17127912 33685504 1349 33554432000 4194304 5970956 140724085990384 140724085987720 5052093 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 23277568 140724085994684 140724085994819 140724085994819 140724085997518 0
/proc/5563/statm: 8224 1349 832 434 0 1588 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32896
[startup+1.50017 s]
/proc/loadavg: 0.43 0.11 0.08 3/187 5564
/proc/meminfo: memFree=31567768/32770624 swapFree=6304/419900
[pid=5563] ppid=5560 vsize=32896 CPUtime=1.49 cores=1,3,5,7
/proc/5563/stat : 5563 (cosoco) R 5560 5563 5313 0 -1 4202496 1573 0 0 0 149 0 0 0 20 0 1 0 17127912 33685504 1349 33554432000 4194304 5970956 140724085990384 140724085987720 4968171 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 23277568 140724085994684 140724085994819 140724085994819 140724085997518 0
/proc/5563/statm: 8224 1349 832 434 0 1588 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32896
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5563 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50017 s]
/proc/loadavg: 0.43 0.11 0.08 3/187 5564
/proc/meminfo: memFree=31567768/32770624 swapFree=6304/419900
[pid=5563] ppid=5560 vsize=32896 CPUtime=1.49 cores=1,3,5,7
/proc/5563/stat : 5563 (cosoco) R 5560 5563 5313 0 -1 4202496 1573 0 0 0 149 0 0 0 20 0 1 0 17127912 33685504 1349 33554432000 4194304 5970956 140724085990384 140724085987720 4968171 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 23277568 140724085994684 140724085994819 140724085994819 140724085997518 0
/proc/5563/statm: 8224 1349 832 434 0 1588 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32896
Child status: 0
Real time (s): 1.5667
CPU time (s): 1.5646
CPU user time (s): 1.56359
CPU system time (s): 0.001013
CPU usage (%): 99.8665
Max. virtual memory (cumulated for all children) (KiB): 32896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.56359
system time used= 0.001013
maximum resident set size= 5740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1595
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= 81
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.01241 second user time and 0.019305 second system time
The end
Begin job on node104 at 2017-07-21 09:56:49
IDJOB=4240109
IDBENCH=120417
IDSOLVER=2621
FILE ID=node104/4240109-1500623809
RUNJOBID= node104-1500623789-5345
PBS_JOBID= 20623023
Free space on /tmp= 62020 MiB
SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/CostasArray/CostasArray-m1-s1/CostasArray-13.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240109-1500623809/watcher-4240109-1500623809 -o /tmp/evaluation-result-4240109-1500623809/solver-4240109-1500623809 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500623789-5345 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240109-1500623809.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= de2f443ecf68ff3052dd9905ee2aa615
RANDOM SEED=1414596134
node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/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.50
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 : 1600.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 : 1600.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.50
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 : 1600.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 : 1600.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.50
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 : 1600.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 : 1600.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.50
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 : 1600.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: 31570744 kB
MemAvailable: 32003668 kB
Buffers: 156820 kB
Cached: 564820 kB
SwapCached: 0 kB
Active: 344124 kB
Inactive: 436824 kB
Active(anon): 62104 kB
Inactive(anon): 16924 kB
Active(file): 282020 kB
Inactive(file): 419900 kB
Unevictable: 6304 kB
Mlocked: 6312 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 5004 kB
Writeback: 0 kB
AnonPages: 65356 kB
Mapped: 34736 kB
Shmem: 17044 kB
Slab: 118324 kB
SReclaimable: 93676 kB
SUnreclaim: 24648 kB
KernelStack: 3264 kB
PageTables: 5048 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 343672 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 122240 kB
DirectMap2M: 33423360 kB
Free space on /tmp at the end= 62016 MiB
End job on node104 at 2017-07-21 09:56:50