0.04/0.15 c SAT : Variables: 1969 -- Clauses: 21802
0.04/0.15 c root propagations : 0
0.04/0.15 c restarts enabled, print stats at every restarts
0.04/0.15 c
0.04/0.15 c
0.04/0.15 c
0.04/0.15 c This is cosoco 1.12 --
0.04/0.15 c
0.04/0.15 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266018-1502568635.xml
0.04/0.15 c ========================================[ Problem Statistics ]===========================================
0.04/0.15 c |
0.04/0.15 c | Parse time : 0.09 s
0.04/0.15 c |
0.04/0.15 c | Variables: 88
0.04/0.15 c | Domain Sizes: 13..24
0.04/0.15 c |
0.04/0.15 c | Constraints: 87
0.04/0.15 c | Arity: 3..13 -- Ternary: 76
0.04/0.15 c |
0.04/0.15 c | Types:
0.04/0.15 c | All Different: 11
0.04/0.15 c | Intension: 76
0.04/0.15 c |
0.04/0.15 c =========================================================================================================
0.04/0.15 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.04/0.16 c 10 58 3314 5353 0 3 16 26 19
0.04/0.17 c 20 134 6414 10205 0 6 26 37 28
0.04/0.18 c 30 205 9614 16271 0 12 16 36 21
0.04/0.19 c 40 272 12492 21640 0 19 16 29 19
0.04/0.20 c 50 334 15720 26948 0 23 22 29 24
0.04/0.21 c 60 379 19626 33211 0 27 17 21 17
0.15/0.22 c 70 415 21916 37810 0 32 16 23 17
0.15/0.23 c 80 455 25673 43733 0 36 17 22 16
0.15/0.24 c 90 508 29228 50078 0 38 18 26 20
0.15/0.25 c 100 544 31810 54248 0 40 17 19 16
0.15/0.26 c 101 559 32561 55938 0 41 15 15 7
0.15/0.27 c 110 598 35882 61076 0 44 13 18 13
0.15/0.27 c 120 636 38407 66026 0 49 14 20 15
0.15/0.28 c 130 682 41753 71317 0 54 18 21 17
0.15/0.30 c 140 730 45687 77984 0 58 14 22 15
0.15/0.31 c 150 784 49108 83286 0 64 15 24 17
0.25/0.32 c 160 828 51828 88324 0 66 19 22 19
0.25/0.33 c 170 888 55148 94085 0 71 19 22 18
0.25/0.34 c 180 938 58731 100473 0 75 15 22 17
0.25/0.35 c 190 982 63226 107590 0 81 16 19 15
0.25/0.36 c 200 1025 66959 114138 0 86 17 22 17
0.25/0.37 c 210 1064 70372 120242 0 87 20 26 19
0.25/0.38 c 211 1084 71222 121996 0 88 20 20 10
0.25/0.39 c 220 1127 74714 127898 0 91 18 25 17
0.25/0.40 c 230 1171 77436 132682 0 97 21 23 20
0.25/0.41 c 240 1213 80702 138642 0 100 12 19 15
0.35/0.42 c 250 1267 85186 145920 0 105 16 22 16
0.35/0.43 c 260 1310 88169 151361 0 109 17 22 17
0.35/0.45 c 270 1355 91762 157439 0 114 14 21 16
0.35/0.46 c 280 1403 95520 163447 0 119 14 18 14
0.35/0.46 c 290 1451 98496 168556 0 121 19 23 18
0.35/0.48 c 300 1514 102730 175413 0 123 17 22 18
0.35/0.49 c 310 1565 106222 181024 0 125 11 19 15
0.35/0.50 c 320 1604 109102 185842 0 131 16 24 18
0.35/0.51 c 330 1645 112914 192211 0 135 16 18 15
0.45/0.52 c 332 1668 114284 194620 0 137 19 22 13
0.45/0.53 c 340 1699 116490 198569 0 139 11 20 14
0.45/0.54 c 350 1748 119824 204396 0 141 20 23 19
0.45/0.55 c 360 1789 123896 210714 0 144 14 20 15
0.45/0.56 c 370 1830 126736 215268 0 147 16 20 16
0.45/0.57 c 380 1880 130359 221113 0 149 17 22 17
0.45/0.58 c 390 1917 133494 226491 0 155 18 21 18
0.45/0.59 c 400 1973 137372 232490 0 158 15 22 17
0.45/0.60 c 410 2012 140387 237802 0 159 18 19 17
0.54/0.61 c 420 2055 143799 243133 0 161 16 22 16
0.54/0.62 c 430 2106 147180 248870 0 165 14 19 16
0.54/0.63 c 440 2157 151432 256268 0 170 16 19 16
0.54/0.65 c 450 2207 154763 261883 0 174 16 20 17
0.54/0.66 c 460 2254 159047 268548 0 179 15 22 15
0.54/0.67 c 465 2288 161587 272608 0 183 17 21 15
0.54/0.68 c 470 2328 163970 276748 0 185 21 23 18
0.54/0.68 c 480 2370 167072 282293 0 189 12 23 16
0.63/0.70 c 490 2420 170688 288401 0 196 14 23 17
0.63/0.71 c 500 2463 173808 294009 0 200 12 20 13
0.63/0.72 c 510 2509 177455 300161 0 206 15 21 14
0.63/0.73 c 520 2566 181546 306494 0 210 17 24 18
0.63/0.74 c 530 2603 184823 312459 0 217 18 23 18
0.63/0.75 c 540 2640 187711 317403 0 219 12 19 16
0.63/0.77 c 550 2696 191912 324448 0 224 14 21 16
0.63/0.78 c 560 2747 195064 330064 0 227 16 23 17
0.63/0.79 c 570 2802 198710 335772 0 230 19 24 19
0.73/0.80 c 580 2862 202327 342257 0 234 19 25 19
0.73/0.81 c 590 2903 205560 347705 0 236 15 21 16
0.73/0.82 c 600 2943 207909 352105 0 239 16 22 18
0.73/0.83 c 610 2988 211179 357640 0 244 17 21 16
0.73/0.83 c 611 3006 212203 359519 0 245 18 18 9
0.73/0.84 c 620 3055 215544 365147 0 247 16 22 17
0.73/0.85 c 630 3109 218842 370386 0 250 17 23 18
0.73/0.86 c 640 3153 222028 375662 0 253 17 23 18
0.73/0.87 c 650 3196 224685 380268 0 256 17 21 17
0.73/0.88 c 660 3251 228770 386920 0 261 16 22 17
0.73/0.89 c 670 3290 231113 391169 0 263 18 22 18
0.83/0.90 c 680 3340 234876 397965 0 267 11 19 13
0.83/0.92 c 690 3390 239074 404882 0 271 16 20 16
0.83/0.93 c 700 3440 242481 410355 0 274 19 23 19
0.83/0.94 c 710 3483 245328 415027 0 279 16 22 17
0.83/0.95 c 720 3534 248360 419910 0 282 20 23 19
0.83/0.96 c 730 3592 251871 425539 0 286 16 22 17
0.83/0.97 c 740 3661 256277 432659 0 289 20 24 19
0.83/0.98 c 750 3725 260686 440214 0 294 18 25 19
0.83/0.99 c 760 3775 264328 446380 0 296 14 23 16
0.94/1.01 c 770 3827 267544 451454 0 301 18 21 18
0.94/1.01 c 771 3843 268344 453048 0 302 16 16 8
0.94/1.02 c 780 3889 271415 458377 0 306 16 22 19
0.94/1.03 c 790 3938 275307 464837 0 310 16 20 16
0.94/1.04 c 800 3999 279866 472437 0 313 16 24 18
0.94/1.06 c 810 4053 283211 478273 0 316 21 27 22
0.94/1.07 c 820 4098 286487 483916 0 320 15 22 17
0.94/1.08 c 830 4160 290148 490189 0 326 17 23 18
0.94/1.09 c 840 4206 293834 495844 0 329 11 22 16
0.94/1.10 c 850 4257 296949 501170 0 334 18 25 19
1.04/1.11 c 860 4310 300020 506383 0 338 21 30 21
1.04/1.12 c 870 4359 303539 512432 0 342 17 23 17
1.04/1.13 c 880 4411 306918 518377 0 348 20 28 22
1.04/1.14 c 890 4463 310301 523988 0 353 15 22 16
1.04/1.15 c 900 4519 313485 529246 0 356 20 30 21
1.04/1.16 c 910 4570 317037 535400 0 360 17 26 19
1.04/1.18 c 920 4610 320381 541398 0 363 12 25 17
1.04/1.19 c 930 4669 324470 547994 0 366 16 22 17
1.13/1.20 c 940 4720 327447 553466 0 372 20 25 20
1.13/1.21 c 947 4769 330066 557770 0 373 20 20 17
1.13/1.21 c 950 4798 331516 560220 0 375 23 23 17
1.13/1.22 c 960 4849 334575 565679 0 377 21 27 21
1.13/1.23 c 970 4905 337650 570692 0 380 22 24 20
1.13/1.25 c 980 4970 341504 576963 0 385 16 23 18
1.13/1.26 c 990 5024 345106 583490 0 390 14 23 17
1.13/1.26 c 1000 5066 347495 587915 0 393 22 26 21
1.13/1.28 c 1010 5131 351624 594713 0 398 19 27 20
1.13/1.29 c 1020 5176 354548 599738 0 402 22 28 22
1.23/1.30 c 1030 5222 357605 605057 0 406 19 25 18
1.23/1.31 c 1040 5269 360982 610057 0 410 17 21 17
1.23/1.32 c 1050 5315 363849 615375 0 412 18 25 18
1.23/1.33 c 1060 5367 367614 621379 0 417 15 23 16
1.23/1.34 c 1070 5423 370477 626110 0 423 20 30 22
1.23/1.35 c 1080 5474 373807 631521 0 427 20 22 18
1.23/1.36 c 1090 5532 376995 636813 0 432 12 23 17
1.23/1.37 c 1100 5576 380117 642254 0 439 18 27 19
1.23/1.38 c 1110 5618 382962 647311 0 444 16 27 19
1.23/1.39 c 1120 5679 386377 652746 0 447 24 28 23
1.33/1.40 c 1130 5739 389424 658118 0 449 20 27 23
1.33/1.41 c 1140 5786 392672 663227 0 453 13 22 17
1.33/1.41 c 1141 5804 393800 665164 0 454 18 18 9
1.33/1.42 c 1150 5857 397096 670654 0 458 13 27 18
1.33/1.43 c 1160 5910 400411 675995 0 462 18 22 18
1.33/1.44 c 1170 5959 403468 681512 0 467 20 23 19
1.33/1.46 c 1180 6009 407043 687195 0 471 19 28 22
1.33/1.46 c 1190 6062 409427 691388 0 474 13 28 21
1.33/1.48 c 1200 6112 412619 696550 0 477 15 24 18
1.33/1.49 c 1210 6168 416343 702508 0 482 19 22 19
1.33/1.50 c 1220 6213 419480 707896 0 484 20 25 19
1.43/1.51 c 1230 6260 422915 713424 0 490 13 22 17
1.43/1.52 c 1240 6326 427207 720234 0 494 15 24 19
1.43/1.53 c 1250 6377 430861 725914 0 497 13 24 18
1.43/1.54 c 1260 6444 434139 730888 0 499 12 22 18
1.43/1.55 c 1270 6502 437401 736352 0 503 20 26 20
1.43/1.56 c 1280 6548 440367 741003 0 506 11 22 17
1.43/1.57 c 1290 6604 444106 747442 0 510 22 26 20
1.43/1.58 c 1300 6653 447164 752771 0 515 16 26 18
1.43/1.59 c solution 1
1.43/1.59
1.43/1.59 v <instantiation type='solution'>
1.43/1.59 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.43/1.59 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.43/1.59 v </instantiation>
1.43/1.59
1.43/1.59 c restarts : 138
1.43/1.59 c conflicts : 1308 (854 /sec)
1.43/1.59 c decisions : 6767 (4418 /sec)
1.43/1.59 c propagations : 757530 (494605 /sec)
1.43/1.59 c root propagations : 0
1.43/1.59 c filter calls : 450055 (293849 /sec)
1.43/1.59 c useless filter calls : 161367 (35 %)
1.43/1.59 c
1.43/1.59 c clauses : 22330
1.43/1.59 c SAT propagations : 1143
1.43/1.59 c SAT conflicts : 0 (0 learnts)
1.43/1.59 c Memory used : 32.14 MB
1.43/1.59 c CPU time : 1.53153 s
1.43/1.59
1.43/1.59 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 (15173 MiB free)
memory of node 1: 16384 MiB (15429 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266018-1502568635/watcher-4266018-1502568635 -o /tmp/evaluation-result-4266018-1502568635/solver-4266018-1502568635 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502565162-12623 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266018-1502568635.xml
running on 4 cores: 0,2,4,6
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=13751, runsolver pid=13748
Current StackSize limit: 8192 KiB
[startup+0.100744 s]*
/proc/loadavg: 2.04 2.01 1.91 3/181 13752
/proc/meminfo: memFree=31337020/32770624 swapFree=67105588/67108860
[pid=13751] ppid=13748 vsize=27248 memory=3708 CPUtime=0.04 cores=0,2,4,6
/proc/13751/stat : 13751 (cosoco) R 13748 13751 12560 0 -1 4202496 1117 0 0 0 4 0 0 0 20 0 1 0 59058925 27901952 927 18446744073709551615 4194304 5972588 140732261930832 140732261924632 140151112682469 0 0 1 0 0 0 0 17 0 0 0 5 0 0 8070896 8075904 10436608 140732261933508 140732261933608 140732261933608 140732261937102 0
/proc/13751/statm: 6812 927 792 435 0 175 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 27248 KiB
Current children cumulated memory: 3708 KiB
[startup+0.20904 s]*
/proc/loadavg: 2.04 2.01 1.91 3/181 13752
/proc/meminfo: memFree=31335264/32770624 swapFree=67105588/67108860
[pid=13751] ppid=13748 vsize=32904 memory=5408 CPUtime=0.15 cores=0,2,4,6
/proc/13751/stat : 13751 (cosoco) R 13748 13751 12560 0 -1 4202496 1555 0 0 0 15 0 0 0 20 0 1 0 59058925 33693696 1352 18446744073709551615 4194304 5972588 140732261930832 140732261924632 4965560 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 10436608 140732261933508 140732261933608 140732261933608 140732261937102 0
/proc/13751/statm: 8226 1352 834 435 0 1589 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 32904 KiB
Current children cumulated memory: 5408 KiB
[startup+0.308672 s]*
/proc/loadavg: 2.04 2.01 1.91 3/181 13752
/proc/meminfo: memFree=31335264/32770624 swapFree=67105588/67108860
[pid=13751] ppid=13748 vsize=32904 memory=5408 CPUtime=0.25 cores=0,2,4,6
/proc/13751/stat : 13751 (cosoco) R 13748 13751 12560 0 -1 4202496 1558 0 0 0 25 0 0 0 20 0 1 0 59058925 33693696 1352 18446744073709551615 4194304 5972588 140732261930832 140732261924632 4968801 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 10436608 140732261933508 140732261933608 140732261933608 140732261937102 0
/proc/13751/statm: 8226 1352 834 435 0 1589 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 32904 KiB
Current children cumulated memory: 5408 KiB
[startup+0.700228 s]
/proc/loadavg: 2.04 2.01 1.91 3/181 13752
/proc/meminfo: memFree=31335556/32770624 swapFree=67105588/67108860
[pid=13751] ppid=13748 vsize=32904 memory=5408 CPUtime=0.63 cores=0,2,4,6
/proc/13751/stat : 13751 (cosoco) R 13748 13751 12560 0 -1 4202496 1565 0 0 0 63 0 0 0 20 0 1 0 59058925 33693696 1352 18446744073709551615 4194304 5972588 140732261930832 140732261928136 5071792 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 10436608 140732261933508 140732261933608 140732261933608 140732261937102 0
/proc/13751/statm: 8226 1352 834 435 0 1589 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 32904 KiB
Current children cumulated memory: 5408 KiB
[startup+1.50023 s]
/proc/loadavg: 2.04 2.01 1.91 3/181 13752
/proc/meminfo: memFree=31335460/32770624 swapFree=67105588/67108860
[pid=13751] ppid=13748 vsize=32904 memory=5408 CPUtime=1.43 cores=0,2,4,6
/proc/13751/stat : 13751 (cosoco) R 13748 13751 12560 0 -1 4202496 1578 0 0 0 143 0 0 0 20 0 1 0 59058925 33693696 1352 18446744073709551615 4194304 5972588 140732261930832 140732261928136 5099648 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 10436608 140732261933508 140732261933608 140732261933608 140732261937102 0
/proc/13751/statm: 8226 1352 834 435 0 1589 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 32904 KiB
Current children cumulated memory: 5408 KiB
[startup+1.5958 s]
# the end of solver process 13751 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.53158 s, system=0.004999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50023 s]
/proc/loadavg: 2.04 2.01 1.91 3/181 13752
/proc/meminfo: memFree=31335460/32770624 swapFree=67105588/67108860
[pid=13751] ppid=13748 vsize=32904 memory=5408 CPUtime=1.43 cores=0,2,4,6
/proc/13751/stat : 13751 (cosoco) R 13748 13751 12560 0 -1 4202496 1578 0 0 0 143 0 0 0 20 0 1 0 59058925 33693696 1352 18446744073709551615 4194304 5972588 140732261930832 140732261928136 5099648 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 10436608 140732261933508 140732261933608 140732261933608 140732261937102 0
/proc/13751/statm: 8226 1352 834 435 0 1589 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 32904 KiB
Current children cumulated memory: 5408 KiB
Child status: 0
Real time (s): 1.59583
CPU time (s): 1.53658
CPU user time (s): 1.53158
CPU system time (s): 0.004999
CPU usage (%): 96.2875
Max. virtual memory (cumulated for all children) (KiB): 32904
Max. memory (cumulated for all children) (KiB): 5408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.53158
system time used= 0.004999
maximum resident set size= 5744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1599
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= 10
involuntary context switches= 10
# summary of solver processes directly reported to runsolver:
# pid: 13751
# total CPU time (s): 1.53658
# total CPU user time (s): 1.53158
# total CPU system time (s): 0.004999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030414 second user time and 0.052944 second system time
The end
Begin job on node126 at 2017-08-12 21:56:34
IDJOB=4266018
IDBENCH=120417
IDSOLVER=2655
FILE ID=node126/4266018-1502568635
RUNJOBID= node126-1502565162-12623
PBS_JOBID=
Free space on /tmp= 62028 MiB
SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/CostasArray/CostasArray-m1-s1/CostasArray-13.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266018-1502568635/watcher-4266018-1502568635 -o /tmp/evaluation-result-4266018-1502568635/solver-4266018-1502568635 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502565162-12623 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266018-1502568635.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= de2f443ecf68ff3052dd9905ee2aa615
RANDOM SEED=1503034614
node126.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.81
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.81
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.81
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.81
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: 31337640 kB
MemAvailable: 31980496 kB
Buffers: 307076 kB
Cached: 607772 kB
SwapCached: 524 kB
Active: 568508 kB
Inactive: 406692 kB
Active(anon): 14312 kB
Inactive(anon): 71320 kB
Active(file): 554196 kB
Inactive(file): 335372 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 67108860 kB
SwapFree: 67105588 kB
Dirty: 2520 kB
Writeback: 0 kB
AnonPages: 57652 kB
Mapped: 46316 kB
Shmem: 25248 kB
Slab: 164284 kB
SReclaimable: 138244 kB
SUnreclaim: 26040 kB
KernelStack: 3216 kB
PageTables: 4900 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 330808 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: 101760 kB
DirectMap2M: 33443840 kB
Free space on /tmp at the end= 62028 MiB
End job on node126 at 2017-08-12 21:56:35