Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 1.12 | ? (TO) | 2519.94 | 2520.01 |
Name | CarSequencing/ CarSequencing-75-01_c18.xml |
MD5SUM | 440a7f21d9ad6b426785aa5fd584fc01 |
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 | 35.1949 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 1416 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":2,"count":1000},{"size":26,"count":200}] |
Minimum variable degree | 2 |
Maximum variable degree | 73 |
Distribution of variable degrees | [{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":19},"...",{"degree":49,"count":8}, {"degree":50,"count":8}, {"degree":51,"count":8}, {"degree":52,"count":9}, {"degree":53,"count":9}, {"degree":54,"count":56}, {"degree":55,"count":5}, {"degree":56,"count":6}, {"degree":57,"count":6}, {"degree":58,"count":41}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":3}, {"degree":73,"count":61}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 200 |
Distribution of constraint arities | [{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":47,"count":1},{"arity":50,"count":1},{"arity":53,"count":2},{"arity":55,"count":1},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":60,"count":1},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":3},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":2},{"arity":71,"count":2},{"arity":72,"count":1},{"arity":74,"count":3},{"arity":75,"count":1},{"arity":76,"count":1},{"arity":77,"count":2},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}] |
Number of extensional constraints | 200 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":200},{"type":"sum","count":1215},{"type":"cardinality","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 0.00/0.01 c 0.10/0.17 c root propagations : 0 0.10/0.17 c restarts enabled, print stats at every restarts 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c This is cosoco 1.12 -- 0.10/0.17 c 0.10/0.17 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294980-1532516662.xml 0.10/0.17 c ========================================[ Problem Statistics ]=========================================== 0.10/0.17 c | 0.10/0.17 c | Parse time : 0.16 s 0.10/0.17 c | 0.10/0.17 c | Variables: 1200 0.10/0.17 c | Domain Sizes: 2..26 0.10/0.17 c | 0.10/0.17 c | Constraints: 1441 0.10/0.17 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.10/0.17 c | 0.10/0.17 c | Types: 0.10/0.17 c | Exactly K: 26 0.10/0.17 c | Extension: 200 (nb tuples: 26..26) -- (shared: 199) 0.10/0.17 c | Sum: 1215 0.10/0.17 c | 0.10/0.17 c ========================================================================================================= 0.10/0.17 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.99/1.08 c 101 1078 156195 46300 0 0 725 776 757 1.29/1.32 c 211 1516 195464 63402 0 0 70 99 88 1.49/1.59 c 332 1971 237650 89819 0 0 59 68 63 1.79/1.88 c 465 2432 284140 118513 0 0 59 70 63 2.19/2.23 c 611 2991 343604 161851 0 0 57 69 63 2.49/2.58 c 771 3583 400761 194944 0 0 57 69 64 2.89/2.97 c 947 4212 466676 246009 0 0 59 77 63 3.39/3.41 c 1140 4916 541780 308623 0 0 58 70 63 3.79/3.87 c 1352 5683 615445 350518 0 0 59 68 63 4.39/4.43 c 1585 6581 706653 415280 0 0 58 69 63 4.99/5.07 c 1841 7549 814218 500141 0 0 55 70 62 6.09/6.15 c 2122 8432 997052 649027 0 0 58 74 63 6.99/7.07 c 2431 9556 1140821 732540 0 0 57 66 61 8.78/8.85 c 2770 10718 1437341 975665 0 0 55 78 61 10.58/10.64 c 3142 12106 1729292 1193640 0 0 55 66 59 12.09/12.15 c 3551 13802 1979924 1329720 0 0 53 360 123 13.28/13.34 c 4000 15528 2170878 1434518 0 0 52 63 57 14.48/14.57 c 4493 17954 2388432 1489126 0 0 51 425 354 15.88/15.97 c 5035 19740 2684697 1543252 0 0 52 463 436 16.68/16.78 c 5631 22418 2920732 1612188 0 0 52 508 481 18.88/18.99 c 6286 24866 3361167 1717736 0 0 76 464 440 20.58/20.61 c 7006 28203 3623606 1857025 0 0 76 290 175 24.38/24.40 c 7798 32907 4446228 1965347 0 0 76 642 618 27.59/27.67 c 8669 36987 4979023 2192630 0 0 50 281 262 30.69/30.75 c 9627 41425 5474982 2378455 0 0 52 254 248 35.10/35.11 c 10680 46558 6163394 2662844 0 0 76 218 213 38.29/38.36 c 11838 51800 6668955 2970702 0 0 103 122 116 43.49/43.54 c 13111 57852 7511726 3533595 0 0 103 121 112 49.69/49.79 c 14511 63998 8546409 4291792 0 0 101 123 112 56.59/56.62 c 16051 70796 9675565 5021836 0 0 104 117 112 65.10/65.19 c 17745 78198 11179785 6218708 0 0 103 127 113 71.00/71.01 c 19608 87223 12143714 6847373 0 0 100 117 111 76.89/76.95 c 21657 96451 13165712 7582786 0 0 103 117 109 83.69/83.75 c 23910 106841 14363976 8516760 0 0 100 126 110 93.69/93.72 c 26388 118803 15961237 9436125 0 0 99 115 109 102.49/102.55 c 29113 131325 17406269 10258901 0 0 97 116 109 112.29/112.33 c 32110 145100 19079705 11431779 0 0 95 116 108 128.79/128.85 c 35406 160314 21824384 13284927 0 0 100 114 109 140.39/140.43 c 39031 177148 23744744 14383858 0 0 98 121 107 154.09/154.17 c 43018 196494 26054628 15781944 0 0 92 111 104 168.58/168.66 c 47403 217008 28318494 16967016 0 0 95 109 104 184.99/185.08 c 52226 239097 31000339 18481654 0 0 94 115 104 220.18/220.24 c 57531 263032 36706309 21798793 0 0 92 112 103 241.58/241.65 c 63366 289665 40160455 23473444 0 0 90 108 101 281.88/281.93 c 69784 318811 46598590 26926870 0 0 93 108 102 310.99/311.09 c 76843 348608 51204754 29394597 0 0 88 110 100 369.28/369.34 c 84607 384379 60355797 33972776 0 0 85 108 96 411.18/411.24 c 93147 422484 66851756 36627490 0 0 81 102 95 430.68/430.70 c 102541 460506 71428049 37336359 0 0 85 513 486 449.58/449.62 c 112874 483074 75877612 38067348 0 0 89 328 319 475.18/475.28 c 124240 507462 82466493 39114002 0 0 90 345 335 495.38/495.40 c 136742 552410 87805690 39948590 0 0 89 524 381 516.38/516.49 c 150494 592059 92200078 40572263 0 0 89 305 295 540.47/540.59 c 165621 638731 97430689 41672943 0 0 90 480 415 558.98/559.08 c 182260 672454 102028777 42679729 0 0 87 517 500 579.57/579.69 c 200562 716525 106982987 43939246 0 0 88 508 498 672.37/672.49 c 220694 810521 130556042 46731610 0 0 88 511 499 693.27/693.30 c 242839 865307 136064670 47548791 0 0 91 535 515 728.37/728.44 c 267198 930994 143708576 48837620 0 0 92 327 321 763.37/763.43 c 293992 1003674 153588702 50274428 0 0 85 479 437 794.77/794.81 c 323465 1092517 162356823 51674336 0 0 79 582 566 825.87/825.94 c 355885 1223912 171580967 53467477 0 0 76 640 570 863.17/863.21 c 391547 1367316 181041887 55161773 0 0 79 561 464 899.36/899.44 c 430775 1455274 190812233 58149776 0 0 80 589 491 950.66/950.72 c 473925 1539096 203431439 61083304 0 0 80 606 599 1040.46/1040.54 c 521390 1675752 224802180 64349277 0 0 79 563 546 1106.26/1106.37 c 573601 1850366 242813463 68082307 0 0 80 555 507 1206.46/1206.54 c 631033 2014396 263679668 72778608 0 0 79 475 432 1341.06/1341.19 c 694208 2211012 290793940 76409882 0 0 83 512 420 1710.34/1710.49 c 763700 2516917 352361807 104974855 0 0 79 308 288 2149.53/2149.63 c 840141 2860580 424524884 143097905 0 0 79 251 237 2519.93/2520.00 2519.93/2520.00 c *** INTERRUPTED *** 2519.93/2520.00 c restarts : 71 2519.93/2520.00 c conflicts : 903682 (359 /sec) 2519.93/2520.00 c decisions : 3145462 (1248 /sec) 2519.93/2520.00 c propagations : 176380311 (69994 /sec) 2519.93/2520.00 c root propagations : 0 2519.93/2520.00 c filter calls : 484663094 (192332 /sec) 2519.93/2520.00 c useless filter calls : 452758931 (93 %) 2519.93/2520.00 c Memory used : 40.92 MB 2519.93/2520.00 c CPU time : 2519.93 s 2519.93/2520.00 2519.93/2520.00 s UNKNOWN
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 (1600 MiB free) memory of node 1: 16384 MiB (6051 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294980-1532516662/watcher-4294980-1532516662 -o /tmp/evaluation-result-4294980-1532516662/solver-4294980-1532516662 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21841 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294980-1532516662.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=23715, runsolver pid=23712 Current StackSize limit: 8192 KiB [startup+0.100169 s]* /proc/loadavg: 2.00 2.01 2.05 3/189 23716 /proc/meminfo: memFree=7828040/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=34928 memory=11396 CPUtime=0.1 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 3016 0 0 0 10 0 0 0 20 0 1 0 69229325 35766272 2849 33554432000 4194304 6142532 140737216216016 140737216212648 140009380608997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 8732 2849 832 476 0 2054 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 34928 KiB Current children cumulated memory: 11396 KiB [startup+0.209823 s]* /proc/loadavg: 1.92 2.00 2.04 3/189 23716 /proc/meminfo: memFree=7825808/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=37396 memory=13988 CPUtime=0.2 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 3663 0 0 0 20 0 0 0 20 0 1 0 69229325 38293504 3497 33554432000 4194304 6142532 140737216216016 140737216212648 5137598 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 9349 3497 876 476 0 2671 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 37396 KiB Current children cumulated memory: 13988 KiB [startup+0.309433 s]* /proc/loadavg: 1.92 2.00 2.04 3/189 23716 /proc/meminfo: memFree=7824692/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=38192 memory=14780 CPUtime=0.3 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 3876 0 0 0 30 0 0 0 20 0 1 0 69229325 39108608 3695 33554432000 4194304 6142532 140737216216016 140737216212648 140009380608997 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 9548 3695 876 476 0 2870 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 38192 KiB Current children cumulated memory: 14780 KiB [startup+0.700339 s] /proc/loadavg: 1.92 2.00 2.04 3/189 23716 /proc/meminfo: memFree=7823076/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=39912 memory=16628 CPUtime=0.69 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 4318 0 0 0 69 0 0 0 20 0 1 0 69229325 40869888 4157 33554432000 4194304 6142532 140737216216016 140737216213064 5138400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 9978 4157 876 476 0 3300 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 39912 KiB Current children cumulated memory: 16628 KiB [startup+1.50034 s] /proc/loadavg: 1.92 2.00 2.04 3/189 23716 /proc/meminfo: memFree=7822436/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=40312 memory=16892 CPUtime=1.49 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 4412 0 0 0 149 0 0 0 20 0 1 0 69229325 41279488 4223 33554432000 4194304 6142532 140737216216016 140737216213064 5137728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10078 4223 876 476 0 3400 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 40312 KiB Current children cumulated memory: 16892 KiB [startup+3.1092 s] /proc/loadavg: 1.92 2.00 2.04 3/189 23716 /proc/meminfo: memFree=7822436/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=40312 memory=17024 CPUtime=3.09 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 5622 0 0 0 309 0 0 0 20 0 1 0 69229325 41279488 4256 33554432000 4194304 6142532 140737216216016 140737216213416 5140318 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10078 4256 878 476 0 3400 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 40312 KiB Current children cumulated memory: 17024 KiB [startup+6.30033 s] /proc/loadavg: 1.93 2.00 2.04 3/189 23716 /proc/meminfo: memFree=7822152/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=40312 memory=17024 CPUtime=6.29 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 6985 0 0 0 629 0 0 0 20 0 1 0 69229325 41279488 4256 33554432000 4194304 6142532 140737216216016 140737216213416 5139620 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10078 4256 878 476 0 3400 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 40312 KiB Current children cumulated memory: 17024 KiB [startup+12.7003 s] /proc/loadavg: 1.93 2.00 2.04 3/189 23716 /proc/meminfo: memFree=7822024/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=40312 memory=17024 CPUtime=12.68 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 9754 0 0 0 1268 0 0 0 20 0 1 0 69229325 41279488 4256 33554432000 4194304 6142532 140737216216016 140737216213416 5137316 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10078 4256 878 476 0 3400 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 40312 KiB Current children cumulated memory: 17024 KiB [startup+25.5003 s] /proc/loadavg: 1.95 2.00 2.04 3/189 23716 /proc/meminfo: memFree=7820984/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41500 memory=18240 CPUtime=25.49 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 15876 0 0 0 2548 1 0 0 20 0 1 0 69229325 42496000 4560 33554432000 4194304 6142532 140737216216016 140737216212904 4991065 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10375 4560 878 476 0 3697 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 41500 KiB Current children cumulated memory: 18240 KiB [startup+51.1091 s] /proc/loadavg: 1.97 2.00 2.04 3/188 23716 /proc/meminfo: memFree=7820556/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41500 memory=18244 CPUtime=51.1 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 17425 0 0 0 5109 1 0 0 20 0 1 0 69229325 42496000 4561 33554432000 4194304 6142532 140737216216016 140737216213416 5139458 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10375 4561 878 476 0 3697 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 41500 KiB Current children cumulated memory: 18244 KiB [startup+102.3 s] /proc/loadavg: 1.99 2.00 2.04 3/187 23717 /proc/meminfo: memFree=7821116/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41500 memory=18244 CPUtime=102.29 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 17738 0 0 0 10228 1 0 0 20 0 1 0 69229325 42496000 4561 33554432000 4194304 6142532 140737216216016 140737216213416 5137319 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10375 4561 878 476 0 3697 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 41500 KiB Current children cumulated memory: 18244 KiB [startup+162.3 s] /proc/loadavg: 1.99 2.00 2.04 3/187 23718 /proc/meminfo: memFree=7820772/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41500 memory=18244 CPUtime=162.28 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 18054 0 0 0 16227 1 0 0 20 0 1 0 69229325 42496000 4561 33554432000 4194304 6142532 140737216216016 140737216213416 5215584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10375 4561 878 476 0 3697 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 41500 KiB Current children cumulated memory: 18244 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 23719 /proc/meminfo: memFree=7820892/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41500 memory=18244 CPUtime=222.28 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 18343 0 0 0 22227 1 0 0 20 0 1 0 69229325 42496000 4561 33554432000 4194304 6142532 140737216216016 140737216213416 5215601 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10375 4561 878 476 0 3697 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 41500 KiB Current children cumulated memory: 18244 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 23722 /proc/meminfo: memFree=7820816/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41500 memory=18244 CPUtime=282.28 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 18632 0 0 0 28227 1 0 0 20 0 1 0 69229325 42496000 4561 33554432000 4194304 6142532 140737216216016 140737216213416 5138400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10375 4561 878 476 0 3697 0 Current children cumulated CPU time: 282.28 s Current children cumulated vsize: 41500 KiB Current children cumulated memory: 18244 KiB [startup+342.3 s] /proc/loadavg: 2.41 2.12 2.08 3/188 23731 /proc/meminfo: memFree=7819592/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41500 memory=18244 CPUtime=342.28 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 18911 0 0 0 34227 1 0 0 20 0 1 0 69229325 42496000 4561 33554432000 4194304 6142532 140737216216016 140737216213416 5137595 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10375 4561 878 476 0 3697 0 Current children cumulated CPU time: 342.28 s Current children cumulated vsize: 41500 KiB Current children cumulated memory: 18244 KiB [startup+402.3 s] /proc/loadavg: 2.15 2.10 2.07 3/188 23732 /proc/meminfo: memFree=7820488/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41500 memory=18244 CPUtime=402.28 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 19185 0 0 0 40227 1 0 0 20 0 1 0 69229325 42496000 4561 33554432000 4194304 6142532 140737216216016 140737216213416 5137685 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10375 4561 878 476 0 3697 0 Current children cumulated CPU time: 402.28 s Current children cumulated vsize: 41500 KiB Current children cumulated memory: 18244 KiB [startup+462.3 s] /proc/loadavg: 2.05 2.08 2.07 3/188 23733 /proc/meminfo: memFree=7820496/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41632 memory=18280 CPUtime=462.28 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 19903 0 0 0 46227 1 0 0 20 0 1 0 69229325 42631168 4570 33554432000 4194304 6142532 140737216216016 140737216213416 5215611 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10408 4570 878 476 0 3730 0 Current children cumulated CPU time: 462.28 s Current children cumulated vsize: 41632 KiB Current children cumulated memory: 18280 KiB ################ # More data... # ################ /proc/23715/statm: 10474 4650 878 476 0 3796 0 Current children cumulated CPU time: 1722.24 s Current children cumulated vsize: 41896 KiB Current children cumulated memory: 18600 KiB [startup+1782.3 s] /proc/loadavg: 2.01 2.04 2.05 3/189 23774 /proc/meminfo: memFree=7820336/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41896 memory=18600 CPUtime=1782.24 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 25487 0 0 0 178223 1 0 0 20 0 1 0 69229325 42901504 4650 33554432000 4194304 6142532 140737216216016 140737216213416 5215658 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10474 4650 878 476 0 3796 0 Current children cumulated CPU time: 1782.24 s Current children cumulated vsize: 41896 KiB Current children cumulated memory: 18600 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 23775 /proc/meminfo: memFree=7820180/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41896 memory=18600 CPUtime=1842.24 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 25561 0 0 0 184223 1 0 0 20 0 1 0 69229325 42901504 4650 33554432000 4194304 6142532 140737216216016 140737216213416 5215601 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10474 4650 878 476 0 3796 0 Current children cumulated CPU time: 1842.24 s Current children cumulated vsize: 41896 KiB Current children cumulated memory: 18600 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 23776 /proc/meminfo: memFree=7820240/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41896 memory=18600 CPUtime=1902.24 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 25635 0 0 0 190223 1 0 0 20 0 1 0 69229325 42901504 4650 33554432000 4194304 6142532 140737216216016 140737216213416 5137682 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10474 4650 878 476 0 3796 0 Current children cumulated CPU time: 1902.24 s Current children cumulated vsize: 41896 KiB Current children cumulated memory: 18600 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 23777 /proc/meminfo: memFree=7820364/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41896 memory=18600 CPUtime=1962.24 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 25711 0 0 0 196223 1 0 0 20 0 1 0 69229325 42901504 4650 33554432000 4194304 6142532 140737216216016 140737216213416 5215584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10474 4650 878 476 0 3796 0 Current children cumulated CPU time: 1962.24 s Current children cumulated vsize: 41896 KiB Current children cumulated memory: 18600 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 23778 /proc/meminfo: memFree=7819992/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41896 memory=18600 CPUtime=2022.23 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 25785 0 0 0 202222 1 0 0 20 0 1 0 69229325 42901504 4650 33554432000 4194304 6142532 140737216216016 140737216213416 5138400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10474 4650 878 476 0 3796 0 Current children cumulated CPU time: 2022.23 s Current children cumulated vsize: 41896 KiB Current children cumulated memory: 18600 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 23779 /proc/meminfo: memFree=7820124/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41896 memory=18600 CPUtime=2082.23 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 25861 0 0 0 208222 1 0 0 20 0 1 0 69229325 42901504 4650 33554432000 4194304 6142532 140737216216016 140737216213416 5137316 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10474 4650 878 476 0 3796 0 Current children cumulated CPU time: 2082.23 s Current children cumulated vsize: 41896 KiB Current children cumulated memory: 18600 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/189 23789 /proc/meminfo: memFree=7818608/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41896 memory=18600 CPUtime=2142.23 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 25935 0 0 0 214222 1 0 0 20 0 1 0 69229325 42901504 4650 33554432000 4194304 6142532 140737216216016 140737216213416 5215658 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10474 4650 878 476 0 3796 0 Current children cumulated CPU time: 2142.23 s Current children cumulated vsize: 41896 KiB Current children cumulated memory: 18600 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/189 23850 /proc/meminfo: memFree=7831968/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41896 memory=18600 CPUtime=2202.23 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 26024 0 0 0 220222 1 0 0 20 0 1 0 69229325 42901504 4650 33554432000 4194304 6142532 140737216216016 140737216213416 5137446 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10474 4650 878 476 0 3796 0 Current children cumulated CPU time: 2202.23 s Current children cumulated vsize: 41896 KiB Current children cumulated memory: 18600 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/189 23851 /proc/meminfo: memFree=7832100/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41896 memory=18600 CPUtime=2262.23 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 26096 0 0 0 226222 1 0 0 20 0 1 0 69229325 42901504 4650 33554432000 4194304 6142532 140737216216016 140737216213416 5138725 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10474 4650 878 476 0 3796 0 Current children cumulated CPU time: 2262.23 s Current children cumulated vsize: 41896 KiB Current children cumulated memory: 18600 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/189 23852 /proc/meminfo: memFree=7832268/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41896 memory=18600 CPUtime=2322.23 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 26168 0 0 0 232222 1 0 0 20 0 1 0 69229325 42901504 4650 33554432000 4194304 6142532 140737216216016 140737216213416 5138416 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10474 4650 878 476 0 3796 0 Current children cumulated CPU time: 2322.23 s Current children cumulated vsize: 41896 KiB Current children cumulated memory: 18600 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/189 23853 /proc/meminfo: memFree=7832144/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41896 memory=18600 CPUtime=2382.23 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 26238 0 0 0 238222 1 0 0 20 0 1 0 69229325 42901504 4650 33554432000 4194304 6142532 140737216216016 140737216213416 5138400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10474 4650 878 476 0 3796 0 Current children cumulated CPU time: 2382.23 s Current children cumulated vsize: 41896 KiB Current children cumulated memory: 18600 KiB [startup+2442.3 s] /proc/loadavg: 1.95 2.00 2.04 3/188 23854 /proc/meminfo: memFree=7831892/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41896 memory=18600 CPUtime=2442.23 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 26310 0 0 0 244222 1 0 0 20 0 1 0 69229325 42901504 4650 33554432000 4194304 6142532 140737216216016 140737216213416 5138400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10474 4650 878 476 0 3796 0 Current children cumulated CPU time: 2442.23 s Current children cumulated vsize: 41896 KiB Current children cumulated memory: 18600 KiB [startup+2502.3 s] /proc/loadavg: 1.98 2.00 2.04 3/187 23855 /proc/meminfo: memFree=7831944/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41896 memory=18600 CPUtime=2502.23 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 26382 0 0 0 250222 1 0 0 20 0 1 0 69229325 42901504 4650 33554432000 4194304 6142532 140737216216016 140737216213416 5137465 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10474 4650 878 476 0 3796 0 Current children cumulated CPU time: 2502.23 s Current children cumulated vsize: 41896 KiB Current children cumulated memory: 18600 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 1.99 2.00 2.04 3/187 23856 /proc/meminfo: memFree=7831944/32770624 swapFree=67108860/67108860 [pid=23715] ppid=23712 vsize=41896 memory=18600 CPUtime=2519.93 cores=0,2,4,6 /proc/23715/stat : 23715 (cosoco) R 23712 23715 21810 0 -1 4202496 26452 0 0 0 251992 1 0 0 20 0 1 0 69229325 42901504 4650 33554432000 4194304 6142532 140737216216016 140737216213416 5137736 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 16269312 140737216218246 140737216218376 140737216218376 140737216221134 0 /proc/23715/statm: 10474 4650 878 476 0 3796 0 Current children cumulated CPU time: 2519.93 s Current children cumulated vsize: 41896 KiB Current children cumulated memory: 18600 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 23715 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.93 s, system=0.011999 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520.01 CPU time (s): 2519.94 CPU user time (s): 2519.93 CPU system time (s): 0.011999 CPU usage (%): 99.9973 Max. virtual memory (cumulated for all children) (KiB): 41896 Max. memory (cumulated for all children) (KiB): 18600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.93 system time used= 0.011999 maximum resident set size= 18664 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26502 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= 22 involuntary context switches= 680 # summary of solver processes directly reported to runsolver: # pid: 23715 # total CPU time (s): 2519.94 # total CPU user time (s): 2519.93 # total CPU system time (s): 0.011999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.30155 second user time and 16.2026 second system time The end
Begin job on node139 at 2018-07-25 13:04:22 IDJOB=4294980 IDBENCH=141451 IDSOLVER=2752 FILE ID=node139/4294980-1532516662 RUNJOBID= node139-1532498649-21841 PBS_JOBID= 21021588 Free space on /tmp= 38840 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/CarSequencing/CarSequencing-75-01_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294980-1532516662/watcher-4294980-1532516662 -o /tmp/evaluation-result-4294980-1532516662/solver-4294980-1532516662 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21841 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294980-1532516662.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 440a7f21d9ad6b426785aa5fd584fc01 RANDOM SEED=1615477181 node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.80 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.80 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.80 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.80 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: 7836184 kB MemAvailable: 31916828 kB Buffers: 213128 kB Cached: 23715272 kB SwapCached: 0 kB Active: 2816116 kB Inactive: 21180732 kB Active(anon): 23732 kB Inactive(anon): 72248 kB Active(file): 2792384 kB Inactive(file): 21108484 kB Unevictable: 7304 kB Mlocked: 7304 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2436 kB Writeback: 0 kB AnonPages: 93472 kB Mapped: 41640 kB Shmem: 25228 kB Slab: 635452 kB SReclaimable: 608236 kB SUnreclaim: 27216 kB KernelStack: 3600 kB PageTables: 5200 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 368276 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 38836 MiB End job on node139 at 2018-07-25 13:46:22