Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | ? (TO) | 2520.02 | 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.10/0.16 c root propagations : 0 0.10/0.16 c restarts enabled, print stats at every restarts 0.10/0.16 c 0.10/0.16 c 0.10/0.16 c 0.10/0.16 c This is cosoco 2.00 -- 0.10/0.16 c 0.10/0.16 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389435-1568339392.xml 0.10/0.16 c ========================================[ Problem Statistics ]=========================================== 0.10/0.16 c | 0.10/0.16 c | Parse time : 0.14 s 0.10/0.16 c | 0.10/0.16 c | Variables: 1200 0.10/0.16 c | Domain Sizes: 2..26 0.10/0.16 c | 0.10/0.16 c | Constraints: 1478 0.10/0.16 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.10/0.16 c | 0.10/0.16 c | Types: 0.10/0.16 c | Exactly K: 26 0.10/0.16 c | Extension: 200 (nb tuples: 26..26) -- (shared: 199) 0.10/0.16 c | Sum: 1252 0.10/0.16 c | 0.10/0.16 c ========================================================================================================= 0.10/0.16 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.60/0.64 c 101 1142 84270 23248 0 0 741 769 742 1.00/1.05 c 211 1802 150130 50633 0 0 65 128 109 1.29/1.33 c 332 2483 199156 73964 0 0 102 152 135 1.89/1.92 c 465 4107 308027 106570 0 0 137 972 302 2.39/2.45 c 611 5677 403722 123755 0 0 215 906 884 2.59/2.68 c 771 6578 453890 151940 0 0 153 165 161 2.89/2.97 c 947 7692 518385 190216 0 0 149 157 153 3.19/3.26 c 1140 8632 587823 236857 0 0 138 156 147 3.49/3.59 c 1352 9664 662823 272673 0 0 137 145 140 3.89/3.94 c 1585 11027 743918 309358 0 0 133 146 142 4.49/4.51 c 1841 12605 862841 326632 0 0 147 514 486 5.79/5.89 c 2122 13959 1134244 377119 0 0 407 450 420 6.79/6.85 c 2431 15084 1330216 406397 0 0 179 400 386 7.39/7.48 c 2770 16124 1469276 433845 0 0 401 416 407 9.00/9.02 c 3142 17409 1791579 475452 0 0 178 433 422 9.59/9.61 c 3551 18680 1929585 506453 0 0 201 443 431 11.10/11.13 c 4000 20084 2259386 557329 0 0 310 452 443 11.79/11.85 c 4493 21546 2419342 586852 0 0 189 440 434 13.19/13.29 c 5035 23157 2718755 623175 0 0 204 447 436 15.29/15.30 c 5631 25297 3175419 688688 0 0 216 448 434 17.39/17.40 c 6286 27574 3670545 740302 0 0 212 447 437 19.29/19.39 c 7006 29966 4091046 800888 0 0 256 451 442 21.00/21.05 c 7798 32276 4459203 848594 0 0 274 482 471 23.10/23.19 c 8669 35307 4942159 938362 0 0 299 477 470 25.29/25.32 c 9627 38837 5391395 1000807 0 0 326 508 493 29.19/29.21 c 10680 42608 6298330 1108438 0 0 323 517 499 32.59/32.65 c 11838 46234 7093858 1225504 0 0 471 563 529 36.99/37.01 c 13111 49535 8093421 1373819 0 0 529 548 540 42.39/42.40 c 14511 57180 9221477 1498539 0 0 523 565 546 44.78/44.87 c 16051 64226 9906605 1637754 0 0 368 562 553 48.18/48.22 c 17745 69949 10603367 1729539 0 0 369 552 535 54.38/54.45 c 19608 81121 12111977 1900910 0 0 404 598 570 61.28/61.30 c 21657 87045 13683119 2061509 0 0 599 623 609 68.49/68.52 c 23910 93337 15303455 2306136 0 0 628 672 667 75.09/75.11 c 26388 112727 16772469 2604271 0 0 569 697 639 78.49/78.55 c 29113 122606 17806349 2910184 0 0 312 684 640 85.69/85.74 c 32110 139891 19393115 3305926 0 0 592 686 662 94.48/94.50 c 35406 155859 21511306 3785009 0 0 572 674 643 107.68/107.77 c 39031 167567 24442830 4175381 0 0 377 698 629 122.18/122.29 c 43018 179191 27544634 4525004 0 0 505 689 674 130.48/130.51 c 47403 196447 29262496 4958576 0 0 444 686 569 137.69/137.70 c 52226 217023 30737238 5382608 0 0 153 576 403 155.19/155.25 c 57531 240918 34685367 6056547 0 0 424 582 527 165.59/165.64 c 63366 256348 37004605 6681921 0 0 522 640 618 180.69/180.77 c 69784 277302 40340029 7455614 0 0 382 601 560 196.10/196.13 c 76843 306327 43936299 8215304 0 0 295 602 574 210.00/210.01 c 84607 331462 47737932 9448441 0 0 485 651 622 225.49/225.54 c 93147 359804 51780622 10535182 0 0 586 664 632 240.49/240.58 c 102541 385213 56039606 11617813 0 0 355 697 675 263.90/263.99 c 112874 433510 61173238 12554128 0 0 537 671 602 305.70/305.79 c 124240 495406 70795281 14241783 0 0 588 660 631 331.80/331.86 c 136742 563159 77075254 15487866 0 0 598 670 638 359.71/359.70 c 150494 638312 84376663 17014492 0 0 173 816 732 390.41/390.45 c 165621 748167 92405988 18115669 0 0 774 830 805 406.91/406.91 c 182260 826131 97783703 18998758 0 0 135 760 724 441.91/441.99 c 200562 946768 106526760 21007594 0 0 392 807 782 498.62/498.65 c 220694 1060955 115943018 23117016 0 0 332 632 431 550.82/550.86 c 242839 1178200 125279876 25062945 0 0 247 463 368 647.23/647.20 c 267198 1325177 144589817 27566259 0 0 311 764 745 721.35/721.36 c 293992 1490668 161689749 30840675 0 0 856 955 912 823.86/823.85 c 323465 1727038 182906115 34047989 0 0 848 927 897 922.26/922.23 c 355885 1952409 204879501 36527569 0 0 864 915 897 1059.98/1059.90 c 391547 2373166 231870692 39696286 0 0 773 956 877 1178.20/1178.14 c 430775 2629766 256052217 42727395 0 0 782 966 847 1388.61/1388.55 c 473925 3158477 299573709 49871539 0 0 812 959 893 1699.84/1699.79 c 521390 3565431 362542609 64062494 0 0 335 760 630 1873.05/1873.00 c 573601 4015229 397823140 69406984 0 0 561 722 637 2011.27/2011.11 c 631033 4286972 427625984 74811991 0 0 647 698 681 2206.19/2206.05 c 694208 4694099 468239165 81718238 0 0 651 704 683 2334.09/2333.92 c 763700 5036730 501025386 89460116 0 0 675 813 781 2432.80/2432.67 c 840141 5255879 526195425 94130264 0 0 675 913 859 2520.01/2519.80 2520.01/2519.80 c *** INTERRUPTED *** 2520.01/2519.80 c restarts : 71 2520.01/2519.80 c conflicts : 879460 (349 /sec) 2520.01/2519.80 c decisions : 5523637 (2192 /sec) 2520.01/2519.80 c propagations : 98412893 (39053 /sec) 2520.01/2519.80 c root propagations : 0 2520.01/2519.80 c filter calls : 548152040 (217521 /sec) 2520.01/2519.80 c useless filter calls : 523397213 (95 %) 2520.01/2519.80 c Memory used : 43.09 MB 2520.01/2519.80 c CPU time : 2519.99 s 2520.01/2519.80 c real time : 2519.8 s 2520.01/2519.80 2520.01/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 (15341 MiB free) memory of node 1: 16384 MiB (15579 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389435-1568339392/watcher-4389435-1568339392 -o /tmp/evaluation-result-4389435-1568339392/solver-4389435-1568339392 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568308483-14143 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389435-1568339392.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=19871, runsolver pid=19868 Current StackSize limit: 8192 KiB [startup+0.100197 s]* /proc/loadavg: 2.00 2.01 2.05 3/198 19872 /proc/meminfo: memFree=31656040/32770624 swapFree=66935580/67108860 [pid=19871] ppid=19868 vsize=35168 memory=11492 CPUtime=0.1 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 3074 0 0 0 9 1 0 0 20 0 1 0 410197644 36012032 2873 33554432000 4194304 6210612 140733224782448 140733224778984 139681104628709 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 8792 2873 846 493 0 2097 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 35168 KiB Current children cumulated memory: 11492 KiB [startup+0.209786 s]* /proc/loadavg: 2.00 2.01 2.05 3/198 19872 /proc/meminfo: memFree=31653064/32770624 swapFree=66935580/67108860 [pid=19871] ppid=19868 vsize=37768 memory=14484 CPUtime=0.21 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 3787 0 0 0 20 1 0 0 20 0 1 0 410197644 38674432 3621 33554432000 4194304 6210612 140733224782448 140733224778984 5409284 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 9442 3621 889 493 0 2747 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 37768 KiB Current children cumulated memory: 14484 KiB [startup+0.30941 s]* /proc/loadavg: 2.00 2.01 2.05 3/198 19872 /proc/meminfo: memFree=31652160/32770624 swapFree=66935580/67108860 [pid=19871] ppid=19868 vsize=38568 memory=15276 CPUtime=0.31 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 3988 0 0 0 30 1 0 0 20 0 1 0 410197644 39493632 3819 33554432000 4194304 6210612 140733224782448 140733224779992 5154985 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 9642 3819 889 493 0 2947 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 38568 KiB Current children cumulated memory: 15276 KiB [startup+0.700349 s] /proc/loadavg: 2.00 2.01 2.05 3/198 19872 /proc/meminfo: memFree=31650556/32770624 swapFree=66935580/67108860 [pid=19871] ppid=19868 vsize=40020 memory=16596 CPUtime=0.69 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 4353 0 0 0 68 1 0 0 20 0 1 0 410197644 40980480 4149 33554432000 4194304 6210612 140733224782448 140733224779992 5391921 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 10005 4149 889 493 0 3310 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 40020 KiB Current children cumulated memory: 16596 KiB [startup+1.50034 s] /proc/loadavg: 2.00 2.01 2.05 3/198 19872 /proc/meminfo: memFree=31650556/32770624 swapFree=66935580/67108860 [pid=19871] ppid=19868 vsize=40020 memory=16596 CPUtime=1.49 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 4353 0 0 0 148 1 0 0 20 0 1 0 410197644 40980480 4149 33554432000 4194304 6210612 140733224782448 140733224780408 5154969 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 10005 4149 889 493 0 3310 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 40020 KiB Current children cumulated memory: 16596 KiB [startup+3.10953 s] /proc/loadavg: 2.00 2.01 2.05 3/198 19872 /proc/meminfo: memFree=31647580/32770624 swapFree=66935580/67108860 [pid=19871] ppid=19868 vsize=43056 memory=19736 CPUtime=3.1 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 8362 0 0 0 309 1 0 0 20 0 1 0 410197644 44089344 4934 33554432000 4194304 6210612 140733224782448 140733224780408 5156476 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 10764 4934 891 493 0 4069 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 43056 KiB Current children cumulated memory: 19736 KiB [startup+6.30033 s] /proc/loadavg: 2.00 2.01 2.05 3/198 19873 /proc/meminfo: memFree=31647660/32770624 swapFree=66935580/67108860 [pid=19871] ppid=19868 vsize=43056 memory=19736 CPUtime=6.29 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 11897 0 0 0 628 1 0 0 20 0 1 0 410197644 44089344 4934 33554432000 4194304 6210612 140733224782448 140733224780408 5155872 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 10764 4934 891 493 0 4069 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 43056 KiB Current children cumulated memory: 19736 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 3/199 19875 /proc/meminfo: memFree=31647372/32770624 swapFree=66935580/67108860 [pid=19871] ppid=19868 vsize=43056 memory=19736 CPUtime=12.69 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 15398 0 0 0 1268 1 0 0 20 0 1 0 410197644 44089344 4934 33554432000 4194304 6210612 140733224782448 140733224780408 5135888 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 10764 4934 891 493 0 4069 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 43056 KiB Current children cumulated memory: 19736 KiB [startup+25.5004 s] /proc/loadavg: 2.00 2.01 2.05 3/198 19875 /proc/meminfo: memFree=31646832/32770624 swapFree=66935580/67108860 [pid=19871] ppid=19868 vsize=43056 memory=19736 CPUtime=25.49 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 22393 0 0 0 2548 1 0 0 20 0 1 0 410197644 44089344 4934 33554432000 4194304 6210612 140733224782448 140733224780408 5249674 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 10764 4934 891 493 0 4069 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 43056 KiB Current children cumulated memory: 19736 KiB [startup+51.1091 s] /proc/loadavg: 2.00 2.01 2.05 3/198 19875 /proc/meminfo: memFree=31647032/32770624 swapFree=66935580/67108860 [pid=19871] ppid=19868 vsize=43056 memory=19736 CPUtime=51.09 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 26018 0 0 0 5108 1 0 0 20 0 1 0 410197644 44089344 4934 33554432000 4194304 6210612 140733224782448 140733224780408 5249724 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 10764 4934 891 493 0 4069 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 43056 KiB Current children cumulated memory: 19736 KiB [startup+102.3 s] /proc/loadavg: 1.96 2.00 2.04 3/199 19881 /proc/meminfo: memFree=31646484/32770624 swapFree=66935580/67108860 [pid=19871] ppid=19868 vsize=43320 memory=19936 CPUtime=102.28 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 29726 0 0 0 10227 1 0 0 20 0 1 0 410197644 44359680 4984 33554432000 4194304 6210612 140733224782448 140733224779912 5155872 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 10830 4984 891 493 0 4135 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 43320 KiB Current children cumulated memory: 19936 KiB [startup+162.3 s] /proc/loadavg: 1.99 2.00 2.04 3/199 19893 /proc/meminfo: memFree=31646804/32770624 swapFree=66935584/67108860 [pid=19871] ppid=19868 vsize=43320 memory=19964 CPUtime=162.29 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 30154 0 0 0 16228 1 0 0 20 0 1 0 410197644 44359680 4991 33554432000 4194304 6210612 140733224782448 140733224780408 5008850 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 10830 4991 891 493 0 4135 0 Current children cumulated CPU time: 162.29 s Current children cumulated vsize: 43320 KiB Current children cumulated memory: 19964 KiB [startup+222.3 s] /proc/loadavg: 1.99 2.00 2.04 3/199 19897 /proc/meminfo: memFree=31646604/32770624 swapFree=66935584/67108860 [pid=19871] ppid=19868 vsize=43320 memory=19968 CPUtime=222.29 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 30571 0 0 0 22228 1 0 0 20 0 1 0 410197644 44359680 4992 33554432000 4194304 6210612 140733224782448 140733224780408 5192892 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 10830 4992 891 493 0 4135 0 Current children cumulated CPU time: 222.29 s Current children cumulated vsize: 43320 KiB Current children cumulated memory: 19968 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.04 3/200 19903 /proc/meminfo: memFree=31647232/32770624 swapFree=66935584/67108860 [pid=19871] ppid=19868 vsize=43320 memory=19980 CPUtime=282.3 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 30581 0 0 0 28229 1 0 0 20 0 1 0 410197644 44359680 4995 33554432000 4194304 6210612 140733224782448 140733224780408 5154973 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 10830 4995 891 493 0 4135 0 Current children cumulated CPU time: 282.3 s Current children cumulated vsize: 43320 KiB Current children cumulated memory: 19980 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.04 3/199 19907 /proc/meminfo: memFree=31647120/32770624 swapFree=66935584/67108860 [pid=19871] ppid=19868 vsize=43320 memory=19980 CPUtime=342.3 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 31014 0 0 0 34229 1 0 0 20 0 1 0 410197644 44359680 4995 33554432000 4194304 6210612 140733224782448 140733224780408 5249738 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 10830 4995 891 493 0 4135 0 Current children cumulated CPU time: 342.3 s Current children cumulated vsize: 43320 KiB Current children cumulated memory: 19980 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.04 3/199 19911 /proc/meminfo: memFree=31646580/32770624 swapFree=66935584/67108860 [pid=19871] ppid=19868 vsize=43584 memory=20108 CPUtime=402.31 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 31070 0 0 0 40230 1 0 0 20 0 1 0 410197644 44630016 5027 33554432000 4194304 6210612 140733224782448 140733224780408 5135938 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 10896 5027 891 493 0 4201 0 Current children cumulated CPU time: 402.31 s Current children cumulated vsize: 43584 KiB Current children cumulated memory: 20108 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.04 3/199 19918 /proc/meminfo: memFree=31646332/32770624 swapFree=66935588/67108860 [pid=19871] ppid=19868 vsize=43584 memory=20256 CPUtime=462.31 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 31570 0 0 0 46230 1 0 0 20 0 1 0 410197644 44630016 5064 33554432000 4194304 6210612 140733224782448 140733224780408 5156108 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 10896 5064 891 493 0 4201 0 Current children cumulated CPU time: 462.31 s Current children cumulated vsize: 43584 KiB Current children cumulated memory: 20256 KiB ################ # More data... # ################ /proc/19871/statm: 11030 5206 891 493 0 4335 0 Current children cumulated CPU time: 1722.44 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20824 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.06 2.08 3/199 20056 /proc/meminfo: memFree=31644348/32770624 swapFree=66935616/67108860 [pid=19871] ppid=19868 vsize=44120 memory=20824 CPUtime=1782.44 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 37449 0 0 0 178242 2 0 0 20 0 1 0 410197644 45178880 5206 33554432000 4194304 6210612 140733224782448 140733224780408 5154977 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 11030 5206 891 493 0 4335 0 Current children cumulated CPU time: 1782.44 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20824 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.05 2.07 3/199 20060 /proc/meminfo: memFree=31644784/32770624 swapFree=66935616/67108860 [pid=19871] ppid=19868 vsize=44120 memory=20824 CPUtime=1842.45 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 37458 0 0 0 184243 2 0 0 20 0 1 0 410197644 45178880 5206 33554432000 4194304 6210612 140733224782448 140733224780408 5249712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 11030 5206 891 493 0 4335 0 Current children cumulated CPU time: 1842.45 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20824 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.04 2.06 3/200 20066 /proc/meminfo: memFree=31645036/32770624 swapFree=66935616/67108860 [pid=19871] ppid=19868 vsize=44120 memory=20824 CPUtime=1902.45 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 37977 0 0 0 190243 2 0 0 20 0 1 0 410197644 45178880 5206 33554432000 4194304 6210612 140733224782448 140733224780408 5249907 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 11030 5206 891 493 0 4335 0 Current children cumulated CPU time: 1902.45 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20824 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.03 2.06 3/199 20075 /proc/meminfo: memFree=31644492/32770624 swapFree=66935620/67108860 [pid=19871] ppid=19868 vsize=44120 memory=20824 CPUtime=1962.46 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 37977 0 0 0 196244 2 0 0 20 0 1 0 410197644 45178880 5206 33554432000 4194304 6210612 140733224782448 140733224780408 5156072 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 11030 5206 891 493 0 4335 0 Current children cumulated CPU time: 1962.46 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20824 KiB [startup+2022.3 s] /proc/loadavg: 1.92 2.01 2.05 3/199 20140 /proc/meminfo: memFree=31660220/32770624 swapFree=66935620/67108860 [pid=19871] ppid=19868 vsize=44120 memory=20824 CPUtime=2022.46 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 38512 0 0 0 202244 2 0 0 20 0 1 0 410197644 45178880 5206 33554432000 4194304 6210612 140733224782448 140733224780408 5155157 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 11030 5206 891 493 0 4335 0 Current children cumulated CPU time: 2022.46 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20824 KiB [startup+2082.3 s] /proc/loadavg: 1.91 1.98 2.04 3/200 20146 /proc/meminfo: memFree=31658652/32770624 swapFree=66935620/67108860 [pid=19871] ppid=19868 vsize=44120 memory=20824 CPUtime=2082.47 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 38512 0 0 0 208245 2 0 0 20 0 1 0 410197644 45178880 5206 33554432000 4194304 6210612 140733224782448 140733224780408 5157084 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 11030 5206 891 493 0 4335 0 Current children cumulated CPU time: 2082.47 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20824 KiB [startup+2142.3 s] /proc/loadavg: 1.97 1.99 2.04 3/199 20150 /proc/meminfo: memFree=31659100/32770624 swapFree=66935620/67108860 [pid=19871] ppid=19868 vsize=44120 memory=20824 CPUtime=2142.48 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 38837 0 0 0 214246 2 0 0 20 0 1 0 410197644 45178880 5206 33554432000 4194304 6210612 140733224782448 140733224780408 5156097 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 11030 5206 891 493 0 4335 0 Current children cumulated CPU time: 2142.48 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20824 KiB [startup+2202.3 s] /proc/loadavg: 1.99 1.99 2.04 3/199 20154 /proc/meminfo: memFree=31658664/32770624 swapFree=66935620/67108860 [pid=19871] ppid=19868 vsize=44120 memory=20824 CPUtime=2202.48 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 38839 0 0 0 220246 2 0 0 20 0 1 0 410197644 45178880 5206 33554432000 4194304 6210612 140733224782448 140733224780408 5155888 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 11030 5206 891 493 0 4335 0 Current children cumulated CPU time: 2202.48 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20824 KiB [startup+2262.3 s] /proc/loadavg: 2.00 1.99 2.04 3/200 20161 /proc/meminfo: memFree=31658892/32770624 swapFree=66935624/67108860 [pid=19871] ppid=19868 vsize=44120 memory=20824 CPUtime=2262.49 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 39501 0 0 0 226247 2 0 0 20 0 1 0 410197644 45178880 5206 33554432000 4194304 6210612 140733224782448 140733224780408 5155856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 11030 5206 891 493 0 4335 0 Current children cumulated CPU time: 2262.49 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20824 KiB [startup+2322.3 s] /proc/loadavg: 2.00 1.99 2.04 3/199 20165 /proc/meminfo: memFree=31658636/32770624 swapFree=66935624/67108860 [pid=19871] ppid=19868 vsize=44120 memory=20824 CPUtime=2322.49 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 39551 0 0 0 232247 2 0 0 20 0 1 0 410197644 45178880 5206 33554432000 4194304 6210612 140733224782448 140733224780408 5249890 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 11030 5206 891 493 0 4335 0 Current children cumulated CPU time: 2322.49 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20824 KiB [startup+2382.3 s] /proc/loadavg: 2.05 2.00 2.04 3/199 20169 /proc/meminfo: memFree=31658720/32770624 swapFree=66935624/67108860 [pid=19871] ppid=19868 vsize=44120 memory=20824 CPUtime=2382.5 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 40183 0 0 0 238248 2 0 0 20 0 1 0 410197644 45178880 5206 33554432000 4194304 6210612 140733224782448 140733224780408 5249733 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 11030 5206 891 493 0 4335 0 Current children cumulated CPU time: 2382.5 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20824 KiB [startup+2442.3 s] /proc/loadavg: 2.05 2.01 2.05 3/200 20176 /proc/meminfo: memFree=31658836/32770624 swapFree=66935624/67108860 [pid=19871] ppid=19868 vsize=44120 memory=20824 CPUtime=2442.5 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 40319 0 0 0 244248 2 0 0 20 0 1 0 410197644 45178880 5206 33554432000 4194304 6210612 140733224782448 140733224780408 5249681 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 11030 5206 891 493 0 4335 0 Current children cumulated CPU time: 2442.5 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20824 KiB [startup+2502.3 s] /proc/loadavg: 2.05 2.03 2.05 3/199 20180 /proc/meminfo: memFree=31658176/32770624 swapFree=66935624/67108860 [pid=19871] ppid=19868 vsize=44120 memory=20824 CPUtime=2502.51 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 40733 0 0 0 250249 2 0 0 20 0 1 0 410197644 45178880 5206 33554432000 4194304 6210612 140733224782448 140733224780408 5249738 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 11030 5206 891 493 0 4335 0 Current children cumulated CPU time: 2502.51 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20824 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2519.8 s] /proc/loadavg: 2.11 2.04 2.05 3/199 20185 /proc/meminfo: memFree=31658356/32770624 swapFree=66935628/67108860 [pid=19871] ppid=19868 vsize=44120 memory=20824 CPUtime=2520.01 cores=0,2,4,6 /proc/19871/stat : 19871 (cosoco) R 19868 19871 14112 0 -1 4202496 40733 0 0 0 251999 2 0 0 20 0 1 0 410197644 45178880 5206 33554432000 4194304 6210612 140733224782448 140733224780408 5249729 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40529920 140733224784907 140733224785009 140733224785009 140733224787918 0 /proc/19871/statm: 11030 5206 891 493 0 4335 0 Current children cumulated CPU time: 2520.01 s Current children cumulated vsize: 44120 KiB Current children cumulated memory: 20824 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2519.8 s] # the end of solver process 19871 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.99 s, system=0.022001 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.02 CPU user time (s): 2519.99 CPU system time (s): 0.022001 CPU usage (%): 100.009 Max. virtual memory (cumulated for all children) (KiB): 44120 Max. memory (cumulated for all children) (KiB): 20824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.99 system time used= 0.022001 maximum resident set size= 20904 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40780 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= 3127 # summary of solver processes directly reported to runsolver: # pid: 19871 # total CPU time (s): 2520.02 # total CPU user time (s): 2519.99 # total CPU system time (s): 0.022001 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.37369 second user time and 16.3134 second system time The end
Begin job on node105 at 2019-09-13 02:48:18 IDJOB=4389435 IDBENCH=128124 IDSOLVER=2829 FILE ID=node105/4389435-1568339392 RUNJOBID= node105-1568308483-14143 PBS_JOBID= 21701128 Free space on /tmp= 54368 MiB SOLVER NAME= cosoco 2 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-4389435-1568339392/watcher-4389435-1568339392 -o /tmp/evaluation-result-4389435-1568339392/solver-4389435-1568339392 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568308483-14143 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389435-1568339392.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5a3f618f89c6aa3a803c36caec9b03ca RANDOM SEED=621522421 node105.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.00 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.00 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.00 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.00 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: 31663872 kB MemAvailable: 31841268 kB Buffers: 128268 kB Cached: 338220 kB SwapCached: 68944 kB Active: 241620 kB Inactive: 310068 kB Active(anon): 28140 kB Inactive(anon): 89600 kB Active(file): 213480 kB Inactive(file): 220468 kB Unevictable: 111240 kB Mlocked: 111240 kB SwapTotal: 67108860 kB SwapFree: 66935580 kB Dirty: 2872 kB Writeback: 0 kB AnonPages: 129360 kB Mapped: 36920 kB Shmem: 23244 kB Slab: 146852 kB SReclaimable: 118568 kB SUnreclaim: 28284 kB KernelStack: 3536 kB PageTables: 5268 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 535656 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 54364 MiB End job on node105 at 2019-09-13 03:30:18