Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | ? (TO) | 2520.01 | 2519.8 |
Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-85-05.xml |
MD5SUM | 5a3f618f89c6aa3a803c36caec9b03ca |
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 | 78.4996 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 1453 |
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 | 89 |
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":18},"...",{"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":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":2}, {"degree":85,"count":2}, {"degree":86,"count":2}, {"degree":87,"count":2}, {"degree":88,"count":3}, {"degree":89,"count":29}] |
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":29,"count":1},{"arity":30,"count":1},{"arity":32,"count":2},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":38,"count":3},{"arity":40,"count":3},{"arity":41,"count":2},{"arity":42,"count":1},{"arity":44,"count":3},{"arity":45,"count":2},{"arity":46,"count":1},{"arity":47,"count":2},{"arity":48,"count":1},{"arity":50,"count":5},{"arity":52,"count":1},{"arity":53,"count":2},{"arity":54,"count":1},{"arity":55,"count":2},{"arity":56,"count":3},"...",{"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":1252},{"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.09/0.16 c root propagations : 0 0.09/0.16 c restarts enabled, print stats at every restarts 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c This is cosoco 2.00 -- 0.09/0.16 c 0.09/0.16 c command line: cosoco -lc -model -restarts -stick HOME/instance-4407975-1569800089.xml 0.09/0.16 c ========================================[ Problem Statistics ]=========================================== 0.09/0.16 c | 0.09/0.16 c | Parse time : 0.15 s 0.09/0.16 c | 0.09/0.16 c | Variables: 1200 0.09/0.16 c | Domain Sizes: 2..26 0.09/0.16 c | 0.09/0.16 c | Constraints: 1478 0.09/0.16 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.09/0.16 c | 0.09/0.16 c | Types: 0.09/0.16 c | Exactly K: 26 0.09/0.16 c | Extension: 200 (nb tuples: 26..26) -- (shared: 199) 0.09/0.16 c | Sum: 1252 0.09/0.16 c | 0.09/0.16 c ========================================================================================================= 0.09/0.16 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.60/0.66 c 101 1142 84270 23248 0 0 741 769 742 1.00/1.07 c 211 1802 150130 50633 0 0 65 128 109 1.29/1.35 c 332 2483 199156 73964 0 0 102 152 135 1.89/1.95 c 465 4107 308027 106570 0 0 137 972 302 2.39/2.49 c 611 5677 403722 123755 0 0 215 906 884 2.69/2.72 c 771 6578 453890 151940 0 0 153 165 161 3.00/3.01 c 947 7692 518385 190216 0 0 149 157 153 3.29/3.31 c 1140 8632 587823 236857 0 0 138 156 147 3.59/3.63 c 1352 9664 662823 272673 0 0 137 145 140 3.89/3.99 c 1585 11027 743918 309358 0 0 133 146 142 4.49/4.58 c 1841 12605 862841 326632 0 0 147 514 486 5.89/5.96 c 2122 13959 1134244 377119 0 0 407 450 420 6.89/6.94 c 2431 15084 1330216 406397 0 0 179 400 386 7.49/7.59 c 2770 16124 1469276 433845 0 0 401 416 407 9.10/9.15 c 3142 17409 1791579 475452 0 0 178 433 422 9.69/9.74 c 3551 18680 1929585 506453 0 0 201 443 431 11.19/11.29 c 4000 20084 2259386 557329 0 0 310 452 443 12.00/12.01 c 4493 21546 2419342 586852 0 0 189 440 434 13.39/13.47 c 5035 23157 2718755 623175 0 0 204 447 436 15.49/15.50 c 5631 25297 3175419 688688 0 0 216 448 434 17.59/17.63 c 6286 27574 3670545 740302 0 0 212 447 437 19.59/19.65 c 7006 29966 4091046 800888 0 0 256 451 442 21.29/21.33 c 7798 32276 4459203 848594 0 0 274 482 471 23.39/23.49 c 8669 35307 4942159 938362 0 0 299 477 470 25.59/25.65 c 9627 38837 5391395 1000807 0 0 326 508 493 29.59/29.60 c 10680 42608 6298330 1108438 0 0 323 517 499 33.00/33.08 c 11838 46234 7093858 1225504 0 0 471 563 529 37.39/37.49 c 13111 49535 8093421 1373819 0 0 529 548 540 42.89/42.94 c 14511 57180 9221477 1498539 0 0 523 565 546 45.39/45.45 c 16051 64226 9906605 1637754 0 0 368 562 553 48.79/48.84 c 17745 69949 10603367 1729539 0 0 369 552 535 55.10/55.14 c 19608 81121 12111977 1900910 0 0 404 598 570 62.00/62.08 c 21657 87045 13683119 2061509 0 0 599 623 609 69.39/69.40 c 23910 93337 15303455 2306136 0 0 628 672 667 76.00/76.07 c 26388 112727 16772469 2604271 0 0 569 697 639 79.49/79.55 c 29113 122606 17806349 2910184 0 0 312 684 640 86.79/86.85 c 32110 139891 19393115 3305926 0 0 592 686 662 95.69/95.78 c 35406 155859 21511306 3785009 0 0 572 674 643 109.19/109.28 c 39031 167567 24442830 4175381 0 0 377 698 629 123.89/123.99 c 43018 179191 27544634 4525004 0 0 505 689 674 132.30/132.30 c 47403 196447 29262496 4958576 0 0 444 686 569 139.60/139.63 c 52226 217023 30737238 5382608 0 0 153 576 403 157.30/157.38 c 57531 240918 34685367 6056547 0 0 424 582 527 167.80/167.84 c 63366 256348 37004605 6681921 0 0 522 640 618 183.11/183.13 c 69784 277302 40340029 7455614 0 0 382 601 560 198.61/198.65 c 76843 306327 43936299 8215304 0 0 295 602 574 212.61/212.64 c 84607 331462 47737932 9448441 0 0 485 651 622 228.31/228.34 c 93147 359804 51780622 10535182 0 0 586 664 632 243.51/243.57 c 102541 385213 56039606 11617813 0 0 355 697 675 267.12/267.19 c 112874 433510 61173238 12554128 0 0 537 671 602 309.51/309.50 c 124240 495406 70795281 14241783 0 0 588 660 631 335.82/335.83 c 136742 563159 77075254 15487866 0 0 598 670 638 363.82/363.86 c 150494 638312 84376663 17014492 0 0 173 816 732 394.82/394.83 c 165621 748167 92405988 18115669 0 0 774 830 805 411.42/411.42 c 182260 826131 97783703 18998758 0 0 135 760 724 446.73/446.75 c 200562 946768 106526760 21007594 0 0 392 807 782 505.23/505.20 c 220694 1060955 115943018 23117016 0 0 332 632 431 558.34/558.32 c 242839 1178200 125279876 25062945 0 0 247 463 368 655.74/655.70 c 267198 1325177 144589817 27566259 0 0 311 764 745 730.65/730.64 c 293992 1490668 161689749 30840675 0 0 856 955 912 834.26/834.23 c 323465 1727038 182906115 34047989 0 0 848 927 897 933.87/933.87 c 355885 1952409 204879501 36527569 0 0 864 915 897 1072.88/1072.85 c 391547 2373166 231870692 39696286 0 0 773 956 877 1192.39/1192.32 c 430775 2629766 256052217 42727395 0 0 782 966 847 1404.90/1404.84 c 473925 3158477 299573709 49871539 0 0 812 959 893 1720.83/1720.75 c 521390 3565431 362542609 64062494 0 0 335 760 630 1896.35/1896.20 c 573601 4015229 397823140 69406984 0 0 561 722 637 2035.86/2035.72 c 631033 4286972 427625984 74811991 0 0 647 698 681 2232.57/2232.43 c 694208 4694099 468239165 81718238 0 0 651 704 683 2361.29/2361.16 c 763700 5036730 501025386 89460116 0 0 675 813 781 2460.99/2460.80 c 840141 5255879 526195425 94130264 0 0 675 913 859 2520.00/2519.80 2520.00/2519.80 c *** INTERRUPTED *** 2520.00/2519.80 c restarts : 71 2520.00/2519.80 c conflicts : 865038 (343 /sec) 2520.00/2519.80 c decisions : 5419136 (2150 /sec) 2520.00/2519.80 c propagations : 96830540 (38425 /sec) 2520.00/2519.80 c root propagations : 0 2520.00/2519.80 c filter calls : 540430692 (214458 /sec) 2520.00/2519.80 c useless filter calls : 516169115 (95 %) 2520.00/2519.80 c Memory used : 43.09 MB 2520.00/2519.80 c CPU time : 2519.98 s 2520.00/2519.80 c real time : 2519.8 s 2520.00/2519.80 2520.00/2519.80 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 (15010 MiB free) memory of node 1: 16384 MiB (14579 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407975-1569800089/watcher-4407975-1569800089 -o /tmp/evaluation-result-4407975-1569800089/solver-4407975-1569800089 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1569787351-18444 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4407975-1569800089.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 Current StackSize limit: 8192 KiB solver pid=20674, runsolver pid=20671 [startup+0.100203 s]* /proc/loadavg: 2.14 2.05 2.05 3/199 20675 /proc/meminfo: memFree=30291372/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=35168 memory=11504 CPUtime=0.09 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 3069 0 0 0 9 0 0 0 20 0 1 0 555922725 36012032 2876 33554432000 4194304 6211132 140721162767104 140721162763640 5539535 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 8792 2876 849 493 0 2097 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 35168 KiB Current children cumulated memory: 11504 KiB [startup+0.209527 s]* /proc/loadavg: 2.14 2.05 2.05 3/199 20675 /proc/meminfo: memFree=30288892/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=37768 memory=14232 CPUtime=0.21 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 3784 0 0 0 20 1 0 0 20 0 1 0 555922725 38674432 3558 33554432000 4194304 6211132 140721162767104 140721162763640 5155385 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 9442 3558 894 493 0 2747 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 37768 KiB Current children cumulated memory: 14232 KiB [startup+0.309402 s]* /proc/loadavg: 2.14 2.05 2.05 3/199 20675 /proc/meminfo: memFree=30287740/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=38568 memory=15024 CPUtime=0.31 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 3981 0 0 0 30 1 0 0 20 0 1 0 555922725 39493632 3756 33554432000 4194304 6211132 140721162767104 140721162763640 139732247899109 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 9642 3756 894 493 0 2947 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 38568 KiB Current children cumulated memory: 15024 KiB [startup+0.700353 s] /proc/loadavg: 2.14 2.05 2.05 3/199 20675 /proc/meminfo: memFree=30286004/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=40020 memory=16608 CPUtime=0.69 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 4357 0 0 0 68 1 0 0 20 0 1 0 555922725 40980480 4152 33554432000 4194304 6211132 140721162767104 140721162764536 5156492 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 10005 4152 894 493 0 3310 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 40020 KiB Current children cumulated memory: 16608 KiB [startup+1.50034 s] /proc/loadavg: 2.14 2.05 2.05 3/199 20675 /proc/meminfo: memFree=30285748/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=40020 memory=16608 CPUtime=1.49 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 4357 0 0 0 148 1 0 0 20 0 1 0 555922725 40980480 4152 33554432000 4194304 6211132 140721162767104 140721162765064 5250321 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 10005 4152 894 493 0 3310 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 40020 KiB Current children cumulated memory: 16608 KiB [startup+3.1093 s] /proc/loadavg: 2.14 2.05 2.05 3/199 20675 /proc/meminfo: memFree=30282528/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=43056 memory=19752 CPUtime=3.1 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 8368 0 0 0 309 1 0 0 20 0 1 0 555922725 44089344 4938 33554432000 4194304 6211132 140721162767104 140721162764568 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 10764 4938 895 493 0 4069 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 43056 KiB Current children cumulated memory: 19752 KiB [startup+6.30033 s] /proc/loadavg: 2.13 2.05 2.05 3/199 20675 /proc/meminfo: memFree=30282372/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=43056 memory=19752 CPUtime=6.29 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 11904 0 0 0 628 1 0 0 20 0 1 0 555922725 44089344 4938 33554432000 4194304 6211132 140721162767104 140721162765064 5155571 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 10764 4938 895 493 0 4069 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 43056 KiB Current children cumulated memory: 19752 KiB [startup+12.7003 s] /proc/loadavg: 2.12 2.05 2.05 3/199 20676 /proc/meminfo: memFree=30282372/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=43056 memory=19752 CPUtime=12.69 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 15405 0 0 0 1268 1 0 0 20 0 1 0 555922725 44089344 4938 33554432000 4194304 6211132 140721162767104 140721162765064 5156497 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 10764 4938 895 493 0 4069 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 43056 KiB Current children cumulated memory: 19752 KiB [startup+25.5003 s] /proc/loadavg: 2.10 2.05 2.05 3/199 20676 /proc/meminfo: memFree=30282124/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=43056 memory=19752 CPUtime=25.49 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 22386 0 0 0 2548 1 0 0 20 0 1 0 555922725 44089344 4938 33554432000 4194304 6211132 140721162767104 140721162765064 5250273 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 10764 4938 895 493 0 4069 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 43056 KiB Current children cumulated memory: 19752 KiB [startup+51.109 s] /proc/loadavg: 2.06 2.04 2.05 3/199 20678 /proc/meminfo: memFree=30282424/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=43056 memory=19752 CPUtime=51.1 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 26023 0 0 0 5109 1 0 0 20 0 1 0 555922725 44089344 4938 33554432000 4194304 6211132 140721162767104 140721162765064 5136324 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 10764 4938 895 493 0 4069 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 43056 KiB Current children cumulated memory: 19752 KiB [startup+102.3 s] /proc/loadavg: 2.03 2.04 2.05 3/200 20683 /proc/meminfo: memFree=30280888/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=43320 memory=19952 CPUtime=102.29 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 29735 0 0 0 10228 1 0 0 20 0 1 0 555922725 44359680 4988 33554432000 4194304 6211132 140721162767104 140721162764568 5250491 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 10830 4988 895 493 0 4135 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 43320 KiB Current children cumulated memory: 19952 KiB [startup+162.3 s] /proc/loadavg: 2.06 2.04 2.05 4/201 20689 /proc/meminfo: memFree=30281264/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=43320 memory=19980 CPUtime=162.3 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 30171 0 0 0 16228 2 0 0 20 0 1 0 555922725 44359680 4995 33554432000 4194304 6211132 140721162767104 140721162765064 5155711 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 10830 4995 895 493 0 4135 0 Current children cumulated CPU time: 162.3 s Current children cumulated vsize: 43320 KiB Current children cumulated memory: 19980 KiB [startup+222.3 s] /proc/loadavg: 2.02 2.04 2.05 3/200 20693 /proc/meminfo: memFree=30281484/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=43320 memory=19984 CPUtime=222.31 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 30589 0 0 0 22229 2 0 0 20 0 1 0 555922725 44359680 4996 33554432000 4194304 6211132 140721162767104 140721162765064 5156508 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 10830 4996 895 493 0 4135 0 Current children cumulated CPU time: 222.31 s Current children cumulated vsize: 43320 KiB Current children cumulated memory: 19984 KiB [startup+282.3 s] /proc/loadavg: 2.01 2.03 2.05 3/200 20697 /proc/meminfo: memFree=30281752/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=43320 memory=19984 CPUtime=282.31 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 30603 0 0 0 28229 2 0 0 20 0 1 0 555922725 44359680 4996 33554432000 4194304 6211132 140721162767104 140721162765064 5250256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 10830 4996 895 493 0 4135 0 Current children cumulated CPU time: 282.31 s Current children cumulated vsize: 43320 KiB Current children cumulated memory: 19984 KiB [startup+342.3 s] /proc/loadavg: 2.08 2.04 2.05 3/201 20703 /proc/meminfo: memFree=30281392/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=43320 memory=19996 CPUtime=342.32 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 31039 0 0 0 34230 2 0 0 20 0 1 0 555922725 44359680 4999 33554432000 4194304 6211132 140721162767104 140721162765064 5136288 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 10830 4999 895 493 0 4135 0 Current children cumulated CPU time: 342.32 s Current children cumulated vsize: 43320 KiB Current children cumulated memory: 19996 KiB [startup+402.3 s] /proc/loadavg: 2.11 2.07 2.06 3/200 20715 /proc/meminfo: memFree=30281056/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=43584 memory=20036 CPUtime=402.32 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 31097 0 0 0 40230 2 0 0 20 0 1 0 555922725 44630016 5009 33554432000 4194304 6211132 140721162767104 140721162765064 5193742 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 10896 5009 895 493 0 4201 0 Current children cumulated CPU time: 402.32 s Current children cumulated vsize: 43584 KiB Current children cumulated memory: 20036 KiB [startup+462.3 s] /proc/loadavg: 2.09 2.07 2.06 3/200 20719 /proc/meminfo: memFree=30281488/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=43584 memory=20272 CPUtime=462.33 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 31593 0 0 0 46231 2 0 0 20 0 1 0 555922725 44630016 5068 33554432000 4194304 6211132 140721162767104 140721162765064 5158208 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 10896 5068 895 493 0 4201 0 Current children cumulated CPU time: 462.33 s Current children cumulated vsize: 43584 KiB Current children cumulated memory: 20272 KiB ################ # More data... # ################ /proc/20674/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 1722.43 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 20865 /proc/meminfo: memFree=30278976/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=44120 memory=20840 CPUtime=1782.44 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 37222 0 0 0 178242 2 0 0 20 0 1 0 555922725 45178880 5210 33554432000 4194304 6211132 140721162767104 140721162765064 5156497 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 1782.44 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 20871 /proc/meminfo: memFree=30279120/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=44120 memory=20840 CPUtime=1842.44 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 37251 0 0 0 184242 2 0 0 20 0 1 0 555922725 45178880 5210 33554432000 4194304 6211132 140721162767104 140721162765064 5250256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 1842.44 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 20875 /proc/meminfo: memFree=30278920/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=44120 memory=20840 CPUtime=1902.45 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 37754 0 0 0 190243 2 0 0 20 0 1 0 555922725 45178880 5210 33554432000 4194304 6211132 140721162767104 140721162765064 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 1902.45 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 4/200 20880 /proc/meminfo: memFree=30278876/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=44120 memory=20840 CPUtime=1962.45 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 37755 0 0 0 196243 2 0 0 20 0 1 0 555922725 45178880 5210 33554432000 4194304 6211132 140721162767104 140721162765064 5155711 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 1962.45 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 20885 /proc/meminfo: memFree=30279040/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=44120 memory=20840 CPUtime=2022.46 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 38085 0 0 0 202244 2 0 0 20 0 1 0 555922725 45178880 5210 33554432000 4194304 6211132 140721162767104 140721162765064 5155555 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 2022.46 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 20889 /proc/meminfo: memFree=30278792/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=44120 memory=20840 CPUtime=2082.46 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 38280 0 0 0 208244 2 0 0 20 0 1 0 555922725 45178880 5210 33554432000 4194304 6211132 140721162767104 140721162765064 5250321 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 2082.46 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 20895 /proc/meminfo: memFree=30278880/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=44120 memory=20840 CPUtime=2142.46 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 38539 0 0 0 214244 2 0 0 20 0 1 0 555922725 45178880 5210 33554432000 4194304 6211132 140721162767104 140721162765064 5250482 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 2142.46 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 20906 /proc/meminfo: memFree=30279112/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=44120 memory=20840 CPUtime=2202.47 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 38541 0 0 0 220245 2 0 0 20 0 1 0 555922725 45178880 5210 33554432000 4194304 6211132 140721162767104 140721162765064 5156497 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 2202.47 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 20910 /proc/meminfo: memFree=30278804/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=44120 memory=20840 CPUtime=2262.47 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 39138 0 0 0 226245 2 0 0 20 0 1 0 555922725 45178880 5210 33554432000 4194304 6211132 140721162767104 140721162765064 5250256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 2262.47 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 20916 /proc/meminfo: memFree=30278560/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=44120 memory=20840 CPUtime=2322.48 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 39138 0 0 0 232246 2 0 0 20 0 1 0 555922725 45178880 5210 33554432000 4194304 6211132 140721162767104 140721162765064 5155373 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 2322.48 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 20920 /proc/meminfo: memFree=30278548/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=44120 memory=20840 CPUtime=2382.48 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 39739 0 0 0 238246 2 0 0 20 0 1 0 555922725 45178880 5210 33554432000 4194304 6211132 140721162767104 140721162765064 5156288 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 2382.48 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 20985 /proc/meminfo: memFree=30292048/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=44120 memory=20840 CPUtime=2442.49 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 39750 0 0 0 244247 2 0 0 20 0 1 0 555922725 45178880 5210 33554432000 4194304 6211132 140721162767104 140721162765064 5250256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 2442.49 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 20991 /proc/meminfo: memFree=30290676/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=44120 memory=20840 CPUtime=2502.49 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 40359 0 0 0 250247 2 0 0 20 0 1 0 555922725 45178880 5210 33554432000 4194304 6211132 140721162767104 140721162765064 5155373 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 2502.49 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2519.8 s] /proc/loadavg: 2.00 2.01 2.05 3/199 20991 /proc/meminfo: memFree=30291012/32770624 swapFree=67002480/67108860 [pid=20674] ppid=20671 vsize=44120 memory=20840 CPUtime=2520 cores=0,2,4,6 /proc/20674/stat : 20674 (cosoco) R 20671 20674 18413 0 -1 4202496 40360 0 0 0 251998 2 0 0 20 0 1 0 555922725 45178880 5210 33554432000 4194304 6211132 140721162767104 140721162765064 5250482 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40980480 140721162769419 140721162769521 140721162769521 140721162772430 0 /proc/20674/statm: 11030 5210 895 493 0 4335 0 Current children cumulated CPU time: 2520 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20840 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2519.8 s] # the end of solver process 20674 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.98 s, system=0.028002 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2519.8 CPU time (s): 2520.01 CPU user time (s): 2519.98 CPU system time (s): 0.028002 CPU usage (%): 100.008 Max. virtual memory (cumulated for all children) (KiB): 44120 Max. memory (cumulated for all children) (KiB): 20840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.98 system time used= 0.028002 maximum resident set size= 20908 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40398 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= 20 involuntary context switches= 3172 # summary of solver processes directly reported to runsolver: # pid: 20674 # total CPU time (s): 2520.01 # total CPU user time (s): 2519.98 # total CPU system time (s): 0.028002 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.16704 second user time and 17.0322 second system time The end
Begin job on node146 at 2019-09-30 01:34:07 IDJOB=4407975 IDBENCH=128124 IDSOLVER=2874 FILE ID=node146/4407975-1569800089 RUNJOBID= node146-1569787351-18444 PBS_JOBID= 21705819 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-85-05.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407975-1569800089/watcher-4407975-1569800089 -o /tmp/evaluation-result-4407975-1569800089/solver-4407975-1569800089 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1569787351-18444 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4407975-1569800089.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5a3f618f89c6aa3a803c36caec9b03ca RANDOM SEED=1665895201 node146.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 : 5332.90 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 : 5332.90 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 : 5332.90 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 : 5332.90 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: 30299080 kB MemAvailable: 31858272 kB Buffers: 182984 kB Cached: 1712540 kB SwapCached: 3684 kB Active: 1632076 kB Inactive: 285816 kB Active(anon): 36016 kB Inactive(anon): 66808 kB Active(file): 1596060 kB Inactive(file): 219008 kB Unevictable: 109344 kB Mlocked: 109344 kB SwapTotal: 67108860 kB SwapFree: 67002480 kB Dirty: 2816 kB Writeback: 0 kB AnonPages: 144780 kB Mapped: 28308 kB Shmem: 72256 kB Slab: 149244 kB SReclaimable: 119920 kB SUnreclaim: 29324 kB KernelStack: 3760 kB PageTables: 5280 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 584820 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 96256 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 62024 MiB End job on node146 at 2019-09-30 02:16:07