Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 1.12 | ? (TO) | 2519.94 | 2520.01 |
Name | CarSequencing/ CarSequencing-65-01_c18.xml |
MD5SUM | 48ac70ebdae407305a9c210468be8830 |
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 | 46.4087 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 1389 |
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 | 61 |
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":19},{"degree":23,"count":19},{"degree":24,"count":20},{"degree":25,"count":20},{"degree":26,"count":115},"...",{"degree":37,"count":8}, {"degree":38,"count":8}, {"degree":39,"count":8}, {"degree":40,"count":8}, {"degree":41,"count":8}, {"degree":42,"count":8}, {"degree":43,"count":8}, {"degree":44,"count":8}, {"degree":45,"count":8}, {"degree":46,"count":8}, {"degree":47,"count":8}, {"degree":48,"count":8}, {"degree":49,"count":8}, {"degree":50,"count":8}, {"degree":51,"count":9}, {"degree":52,"count":109}, {"degree":53,"count":6}, {"degree":54,"count":6}, {"degree":55,"count":7}, {"degree":56,"count":7}, {"degree":57,"count":45}, {"degree":58,"count":3}, {"degree":59,"count":4}, {"degree":60,"count":4}, {"degree":61,"count":30}] |
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":32,"count":1},{"arity":35,"count":1},{"arity":38,"count":1},{"arity":41,"count":1},{"arity":44,"count":2},{"arity":47,"count":2},{"arity":50,"count":2},{"arity":53,"count":2},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":62,"count":2},{"arity":65,"count":2},{"arity":68,"count":2},{"arity":71,"count":2},{"arity":74,"count":2},{"arity":77,"count":2},{"arity":80,"count":2},{"arity":83,"count":2},{"arity":86,"count":2},{"arity":89,"count":2},{"arity":92,"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":1188},{"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-4294998-1532519182.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: 1414 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: 1188 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.06 c 101 914 141024 41756 0 0 559 651 594 1.29/1.30 c 211 1669 183464 73763 0 0 412 449 422 1.59/1.63 c 332 2166 243068 84746 0 0 125 253 150 1.89/1.98 c 465 2777 313427 96323 0 0 122 341 319 2.48/2.55 c 611 3507 428236 114500 0 0 220 416 406 2.99/3.04 c 771 4251 515897 132441 0 0 306 404 322 3.78/3.80 c 947 6874 653660 155772 0 0 109 574 430 4.58/4.60 c 1140 8275 784349 200647 0 0 168 527 504 5.19/5.20 c 1352 9423 895900 221473 0 0 177 487 460 5.89/5.98 c 1585 10885 1025627 254233 0 0 247 381 374 6.59/6.67 c 1841 12090 1138047 302673 0 0 161 171 167 7.39/7.48 c 2122 13473 1270355 372532 0 0 137 148 142 8.29/8.36 c 2431 14954 1422223 483657 0 0 125 137 132 8.79/8.88 c 2770 16424 1551597 516478 0 0 129 608 578 9.79/9.88 c 3142 20475 1764193 569404 0 0 129 801 761 10.89/10.91 c 3551 23508 1971404 611747 0 0 130 673 659 11.89/11.93 c 4000 25895 2149818 700881 0 0 121 135 132 12.89/12.99 c 4493 28597 2344652 817163 0 0 120 135 131 14.19/14.20 c 5035 31510 2589327 1007227 0 0 124 134 130 15.49/15.56 c 5631 34417 2846865 1184868 0 0 114 128 122 17.09/17.13 c 6286 38039 3132288 1345716 0 0 108 121 116 18.68/18.75 c 7006 41661 3437998 1548858 0 0 108 121 116 20.68/20.74 c 7798 45638 3798430 1769739 0 0 103 118 113 23.09/23.17 c 8669 50200 4220966 1981714 0 0 94 108 103 26.09/26.16 c 9627 55490 4741061 2219194 0 0 82 97 92 29.18/29.25 c 10680 61148 5248436 2451721 0 0 81 96 90 32.48/32.53 c 11838 67022 5778086 2651195 0 0 79 91 85 36.48/36.52 c 13111 73426 6429701 2900504 0 0 74 542 136 40.99/41.07 c 14511 80904 7195585 3193124 0 0 67 89 84 46.28/46.39 c 16051 90874 8082991 3495893 0 0 69 92 83 53.58/53.69 c 17745 100354 9251900 3689244 0 0 66 605 530 56.77/56.86 c 19608 113487 9978553 3839028 0 0 74 849 786 61.47/61.58 c 21657 132576 11082102 3989278 0 0 71 560 517 65.87/65.95 c 23910 139907 11912090 4181493 0 0 70 634 469 68.27/68.35 c 26388 144752 12539449 4301527 0 0 71 643 636 72.57/72.63 c 29113 156307 13318848 4457269 0 0 71 484 417 75.37/75.45 c 32110 165750 14334780 4718758 0 0 72 704 692 81.17/81.27 c 35406 177263 15580704 4930019 0 0 71 653 603 85.37/85.41 c 39031 186396 16746205 5273304 0 0 69 670 644 92.57/92.66 c 43018 207802 18259422 5631401 0 0 71 627 584 101.27/101.39 c 47403 222594 19832884 6100936 0 0 73 541 458 111.37/111.49 c 52226 234004 21945147 6612863 0 0 371 582 552 124.27/124.34 c 57531 258866 24192631 7441866 0 0 340 357 351 140.17/140.25 c 63366 280253 27286848 8341140 0 0 70 558 452 149.57/149.69 c 69784 302284 29287052 8723824 0 0 74 643 602 163.27/163.34 c 76843 316525 32055916 9232176 0 0 80 587 574 183.87/183.91 c 84607 345490 35629141 9742337 0 0 78 549 517 199.77/199.88 c 93147 370499 38695691 10352868 0 0 76 611 540 219.47/219.59 c 102541 408017 42510431 11330927 0 0 76 488 410 248.27/248.30 c 112874 452350 48813497 12748237 0 0 68 581 518 262.27/262.36 c 124240 484072 52998960 13631231 0 0 73 655 634 269.47/269.56 c 136742 508293 55382910 14299232 0 0 67 681 673 284.86/284.96 c 150494 557477 60102421 15361130 0 0 84 689 653 315.86/315.96 c 165621 606228 66517764 16744215 0 0 65 502 489 346.77/346.87 c 182260 649270 72937808 18657570 0 0 72 471 466 398.27/398.30 c 200562 705229 83740533 20432445 0 0 76 413 390 413.57/413.65 c 220694 749209 89053379 22124304 0 0 77 469 465 441.98/442.10 c 242839 804675 96997427 23897741 0 0 77 478 473 466.57/466.66 c 267198 864231 104798490 25451347 0 0 132 489 477 484.77/484.82 c 293992 919533 110468857 27206315 0 0 132 494 481 503.47/503.56 c 323465 974531 116720520 28906942 0 0 133 503 493 545.47/545.52 c 355885 1053939 126857660 30670612 0 0 131 476 444 573.37/573.48 c 391547 1127598 135812240 33139607 0 0 140 531 517 615.57/615.64 c 430775 1206423 147034049 35580665 0 0 144 522 515 673.87/673.90 c 473925 1331556 161711121 38531112 0 0 161 527 507 719.66/719.76 c 521390 1432266 173801666 41061266 0 0 161 645 590 773.26/773.34 c 573601 1539978 188699514 44716633 0 0 177 663 645 928.76/928.87 c 631033 1753251 216484787 49328707 0 0 109 452 416 1076.56/1076.65 c 694208 1985980 241151222 57357841 0 0 114 286 227 1274.85/1274.90 c 763700 2339187 276648402 74049439 0 0 70 98 90 1480.96/1481.06 c 840141 2703358 311797975 86942159 0 0 70 101 88 1582.55/1582.60 c 924226 2916482 336852228 92043982 0 0 70 654 611 1749.54/1749.67 c 1016719 3241423 368098140 96336122 0 0 71 415 401 1890.24/1890.31 c 1118461 3455771 398554861 107258298 0 0 67 379 370 1977.24/1977.36 c 1230377 3701265 425943193 114955735 0 0 73 476 462 2266.83/2266.95 c 1353484 4104600 483043811 150481794 0 0 71 487 374 2519.93/2520.00 2519.93/2520.00 c *** INTERRUPTED *** 2519.93/2520.00 c restarts : 76 2519.93/2520.00 c conflicts : 1441258 (572 /sec) 2519.93/2520.00 c decisions : 4428841 (1758 /sec) 2519.93/2520.00 c propagations : 180688765 (71704 /sec) 2519.93/2520.00 c root propagations : 0 2519.93/2520.00 c filter calls : 528558367 (209752 /sec) 2519.93/2520.00 c useless filter calls : 497263118 (94 %) 2519.93/2520.00 c Memory used : 40.93 MB 2519.93/2520.00 c CPU time : 2519.92 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 (1601 MiB free) memory of node 1: 16384 MiB (6061 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294998-1532519182/watcher-4294998-1532519182 -o /tmp/evaluation-result-4294998-1532519182/solver-4294998-1532519182 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21841 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294998-1532519182.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=23916, runsolver pid=23913 [startup+0.100111 s]* /proc/loadavg: 1.99 2.00 2.04 3/187 23917 /proc/meminfo: memFree=7839216/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=34940 memory=11400 CPUtime=0.1 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 3012 0 0 0 10 0 0 0 20 0 1 0 69481379 35778560 2850 33554432000 4194304 6142532 140721488181680 140721488178312 140285140007909 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 8735 2850 832 476 0 2057 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 34940 KiB Current children cumulated memory: 11400 KiB [startup+0.209607 s]* /proc/loadavg: 1.99 2.00 2.04 3/187 23917 /proc/meminfo: memFree=7836612/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=37152 memory=13876 CPUtime=0.2 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 3633 0 0 0 20 0 0 0 20 0 1 0 69481379 38043648 3469 33554432000 4194304 6142532 140721488181680 140721488178312 140285140007909 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 9288 3469 876 476 0 2610 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 37152 KiB Current children cumulated memory: 13876 KiB [startup+0.309101 s]* /proc/loadavg: 1.99 2.00 2.04 4/187 23917 /proc/meminfo: memFree=7835868/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=38208 memory=14668 CPUtime=0.3 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 3885 0 0 0 30 0 0 0 20 0 1 0 69481379 39124992 3667 33554432000 4194304 6142532 140721488181680 140721488178312 5215819 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 9552 3667 876 476 0 2874 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 38208 KiB Current children cumulated memory: 14668 KiB [startup+0.700234 s] /proc/loadavg: 1.99 2.00 2.04 3/187 23917 /proc/meminfo: memFree=7834752/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=39132 memory=15724 CPUtime=0.69 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 4125 0 0 0 69 0 0 0 20 0 1 0 69481379 40071168 3931 33554432000 4194304 6142532 140721488181680 140721488178312 5137682 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 9783 3931 876 476 0 3105 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 39132 KiB Current children cumulated memory: 15724 KiB [startup+1.50024 s] /proc/loadavg: 1.99 2.00 2.04 3/187 23917 /proc/meminfo: memFree=7834228/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=39528 memory=15988 CPUtime=1.49 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 4209 0 0 0 149 0 0 0 20 0 1 0 69481379 40476672 3997 33554432000 4194304 6142532 140721488181680 140721488178648 5327648 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 9882 3997 876 476 0 3204 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 39528 KiB Current children cumulated memory: 15988 KiB [startup+3.10923 s] /proc/loadavg: 1.99 2.00 2.04 3/187 23917 /proc/meminfo: memFree=7833608/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=39924 memory=16588 CPUtime=3.09 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 7037 0 0 0 309 0 0 0 20 0 1 0 69481379 40882176 4147 33554432000 4194304 6142532 140721488181680 140721488179080 5215819 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 9981 4147 878 476 0 3303 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 39924 KiB Current children cumulated memory: 16588 KiB [startup+6.30022 s] /proc/loadavg: 1.99 2.00 2.04 3/187 23917 /proc/meminfo: memFree=7833080/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=40452 memory=17104 CPUtime=6.29 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 9848 0 0 0 628 1 0 0 20 0 1 0 69481379 41422848 4276 33554432000 4194304 6142532 140721488181680 140721488179080 5137736 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10113 4276 878 476 0 3435 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 40452 KiB Current children cumulated memory: 17104 KiB [startup+12.7002 s] /proc/loadavg: 1.99 2.00 2.04 3/187 23917 /proc/meminfo: memFree=7832220/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41376 memory=18100 CPUtime=12.69 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 13071 0 0 0 1268 1 0 0 20 0 1 0 69481379 42369024 4525 33554432000 4194304 6142532 140721488181680 140721488179080 5120796 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10344 4525 878 476 0 3666 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 41376 KiB Current children cumulated memory: 18100 KiB [startup+25.5002 s] /proc/loadavg: 1.99 2.00 2.04 3/187 23917 /proc/meminfo: memFree=7832344/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41376 memory=18132 CPUtime=25.48 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 15786 0 0 0 2547 1 0 0 20 0 1 0 69481379 42369024 4533 33554432000 4194304 6142532 140721488181680 140721488179080 5140361 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10344 4533 878 476 0 3666 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 41376 KiB Current children cumulated memory: 18132 KiB [startup+51.1092 s] /proc/loadavg: 1.91 1.98 2.03 3/187 23917 /proc/meminfo: memFree=7832468/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41376 memory=18136 CPUtime=51.08 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 19848 0 0 0 5107 1 0 0 20 0 1 0 69481379 42369024 4534 33554432000 4194304 6142532 140721488181680 140721488179080 5215601 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10344 4534 878 476 0 3666 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 41376 KiB Current children cumulated memory: 18136 KiB [startup+102.3 s] /proc/loadavg: 1.96 1.99 2.03 3/187 23918 /proc/meminfo: memFree=7831772/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41904 memory=18564 CPUtime=102.27 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 21051 0 0 0 10226 1 0 0 20 0 1 0 69481379 42909696 4641 33554432000 4194304 6142532 140721488181680 140721488179080 5138416 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10476 4641 878 476 0 3798 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18564 KiB [startup+162.3 s] /proc/loadavg: 1.99 1.99 2.03 3/187 23919 /proc/meminfo: memFree=7831524/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41904 memory=18568 CPUtime=162.27 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 21614 0 0 0 16226 1 0 0 20 0 1 0 69481379 42909696 4642 33554432000 4194304 6142532 140721488181680 140721488179080 5138711 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10476 4642 878 476 0 3798 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18568 KiB [startup+222.3 s] /proc/loadavg: 1.99 1.99 2.03 3/187 23927 /proc/meminfo: memFree=7830240/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41904 memory=18568 CPUtime=222.27 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 22187 0 0 0 22226 1 0 0 20 0 1 0 69481379 42909696 4642 33554432000 4194304 6142532 140721488181680 140721488179080 5138664 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10476 4642 878 476 0 3798 0 Current children cumulated CPU time: 222.27 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18568 KiB [startup+282.3 s] /proc/loadavg: 2.00 1.99 2.03 3/187 23928 /proc/meminfo: memFree=7831248/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41904 memory=18568 CPUtime=282.26 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 22791 0 0 0 28225 1 0 0 20 0 1 0 69481379 42909696 4642 33554432000 4194304 6142532 140721488181680 140721488179080 5137685 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10476 4642 878 476 0 3798 0 Current children cumulated CPU time: 282.26 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18568 KiB [startup+342.3 s] /proc/loadavg: 2.00 1.99 2.03 3/187 23929 /proc/meminfo: memFree=7831324/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41904 memory=18568 CPUtime=342.27 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 23337 0 0 0 34225 2 0 0 20 0 1 0 69481379 42909696 4642 33554432000 4194304 6142532 140721488181680 140721488179080 5138400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10476 4642 878 476 0 3798 0 Current children cumulated CPU time: 342.27 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18568 KiB [startup+402.3 s] /proc/loadavg: 2.00 1.99 2.03 3/187 23930 /proc/meminfo: memFree=7831324/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41904 memory=18568 CPUtime=402.27 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 23931 0 0 0 40225 2 0 0 20 0 1 0 69481379 42909696 4642 33554432000 4194304 6142532 140721488181680 140721488179080 5215810 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10476 4642 878 476 0 3798 0 Current children cumulated CPU time: 402.27 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18568 KiB [startup+462.3 s] /proc/loadavg: 2.00 1.99 2.03 3/187 23931 /proc/meminfo: memFree=7831504/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41904 memory=18568 CPUtime=462.27 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 24528 0 0 0 46225 2 0 0 20 0 1 0 69481379 42909696 4642 33554432000 4194304 6142532 140721488181680 140721488179080 5120784 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10476 4642 878 476 0 3798 0 Current children cumulated CPU time: 462.27 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18568 KiB ################ # More data... # ################ /proc/23916/statm: 10476 4660 878 476 0 3798 0 Current children cumulated CPU time: 1722.24 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18640 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 23994 /proc/meminfo: memFree=7830580/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41904 memory=18640 CPUtime=1782.24 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 34260 0 0 0 178222 2 0 0 20 0 1 0 69481379 42909696 4660 33554432000 4194304 6142532 140721488181680 140721488179080 5137685 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10476 4660 878 476 0 3798 0 Current children cumulated CPU time: 1782.24 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18640 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 23995 /proc/meminfo: memFree=7830956/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41904 memory=18640 CPUtime=1842.24 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 34576 0 0 0 184222 2 0 0 20 0 1 0 69481379 42909696 4660 33554432000 4194304 6142532 140721488181680 140721488179080 5137685 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10476 4660 878 476 0 3798 0 Current children cumulated CPU time: 1842.24 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18640 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 23996 /proc/meminfo: memFree=7830972/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41904 memory=18640 CPUtime=1902.24 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 35171 0 0 0 190222 2 0 0 20 0 1 0 69481379 42909696 4660 33554432000 4194304 6142532 140721488181680 140721488179080 5137316 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10476 4660 878 476 0 3798 0 Current children cumulated CPU time: 1902.24 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18640 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 23997 /proc/meminfo: memFree=7830956/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41904 memory=18640 CPUtime=1962.24 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 35547 0 0 0 196222 2 0 0 20 0 1 0 69481379 42909696 4660 33554432000 4194304 6142532 140721488181680 140721488179080 5121087 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10476 4660 878 476 0 3798 0 Current children cumulated CPU time: 1962.24 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18640 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 24006 /proc/meminfo: memFree=7829644/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41904 memory=18640 CPUtime=2022.24 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 36144 0 0 0 202222 2 0 0 20 0 1 0 69481379 42909696 4660 33554432000 4194304 6142532 140721488181680 140721488179080 5215632 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10476 4660 878 476 0 3798 0 Current children cumulated CPU time: 2022.24 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18640 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 24007 /proc/meminfo: memFree=7830344/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41904 memory=18640 CPUtime=2082.24 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 36471 0 0 0 208222 2 0 0 20 0 1 0 69481379 42909696 4660 33554432000 4194304 6142532 140721488181680 140721488179080 5215827 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10476 4660 878 476 0 3798 0 Current children cumulated CPU time: 2082.24 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18640 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 24008 /proc/meminfo: memFree=7830284/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41904 memory=18640 CPUtime=2142.23 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 36845 0 0 0 214221 2 0 0 20 0 1 0 69481379 42909696 4660 33554432000 4194304 6142532 140721488181680 140721488179080 5137312 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10476 4660 878 476 0 3798 0 Current children cumulated CPU time: 2142.23 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18640 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 24069 /proc/meminfo: memFree=7820088/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41904 memory=18640 CPUtime=2202.23 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 37219 0 0 0 220221 2 0 0 20 0 1 0 69481379 42909696 4660 33554432000 4194304 6142532 140721488181680 140721488179080 5137682 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10476 4660 878 476 0 3798 0 Current children cumulated CPU time: 2202.23 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18640 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 24070 /proc/meminfo: memFree=7820284/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41904 memory=18640 CPUtime=2262.23 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 37740 0 0 0 226221 2 0 0 20 0 1 0 69481379 42909696 4660 33554432000 4194304 6142532 140721488181680 140721488179080 5120847 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10476 4660 878 476 0 3798 0 Current children cumulated CPU time: 2262.23 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18640 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 24072 /proc/meminfo: memFree=7819808/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41904 memory=18640 CPUtime=2322.23 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 38127 0 0 0 232221 2 0 0 20 0 1 0 69481379 42909696 4660 33554432000 4194304 6142532 140721488181680 140721488179080 5137595 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10476 4660 878 476 0 3798 0 Current children cumulated CPU time: 2322.23 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18640 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 24073 /proc/meminfo: memFree=7820264/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41904 memory=18640 CPUtime=2382.23 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 38418 0 0 0 238221 2 0 0 20 0 1 0 69481379 42909696 4660 33554432000 4194304 6142532 140721488181680 140721488179080 5137682 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10476 4660 878 476 0 3798 0 Current children cumulated CPU time: 2382.23 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18640 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 24074 /proc/meminfo: memFree=7820020/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41904 memory=18640 CPUtime=2442.22 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 38717 0 0 0 244220 2 0 0 20 0 1 0 69481379 42909696 4660 33554432000 4194304 6142532 140721488181680 140721488179080 5215632 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10476 4660 878 476 0 3798 0 Current children cumulated CPU time: 2442.22 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18640 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 24076 /proc/meminfo: memFree=7819180/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41904 memory=18640 CPUtime=2502.22 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 39012 0 0 0 250220 2 0 0 20 0 1 0 69481379 42909696 4660 33554432000 4194304 6142532 140721488181680 140721488179080 5137638 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10476 4660 878 476 0 3798 0 Current children cumulated CPU time: 2502.22 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18640 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.01 2.05 3/187 24077 /proc/meminfo: memFree=7819432/32770624 swapFree=67108860/67108860 [pid=23916] ppid=23913 vsize=41904 memory=18640 CPUtime=2519.93 cores=0,2,4,6 /proc/23916/stat : 23916 (cosoco) R 23913 23916 21810 0 -1 4202496 39302 0 0 0 251991 2 0 0 20 0 1 0 69481379 42909696 4660 33554432000 4194304 6142532 140721488181680 140721488179080 5138400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15765504 140721488184454 140721488184584 140721488184584 140721488187342 0 /proc/23916/statm: 10476 4660 878 476 0 3798 0 Current children cumulated CPU time: 2519.93 s Current children cumulated vsize: 41904 KiB Current children cumulated memory: 18640 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 23916 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.92 s, system=0.025999 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.92 CPU system time (s): 0.025999 CPU usage (%): 99.9973 Max. virtual memory (cumulated for all children) (KiB): 41904 Max. memory (cumulated for all children) (KiB): 18640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.92 system time used= 0.025999 maximum resident set size= 18704 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39351 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= 21 involuntary context switches= 750 # summary of solver processes directly reported to runsolver: # pid: 23916 # total CPU time (s): 2519.94 # total CPU user time (s): 2519.92 # total CPU system time (s): 0.025999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.75477 second user time and 15.6631 second system time The end
Begin job on node139 at 2018-07-25 13:46:22 IDJOB=4294998 IDBENCH=141453 IDSOLVER=2752 FILE ID=node139/4294998-1532519182 RUNJOBID= node139-1532498649-21841 PBS_JOBID= 21021588 Free space on /tmp= 38840 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/CarSequencing/CarSequencing-65-01_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294998-1532519182/watcher-4294998-1532519182 -o /tmp/evaluation-result-4294998-1532519182/solver-4294998-1532519182 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21841 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294998-1532519182.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 48ac70ebdae407305a9c210468be8830 RANDOM SEED=180104453 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: 7847276 kB MemAvailable: 31929028 kB Buffers: 213496 kB Cached: 23715924 kB SwapCached: 0 kB Active: 2805512 kB Inactive: 21181080 kB Active(anon): 12456 kB Inactive(anon): 72248 kB Active(file): 2793056 kB Inactive(file): 21108832 kB Unevictable: 7304 kB Mlocked: 7304 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2732 kB Writeback: 0 kB AnonPages: 77712 kB Mapped: 41032 kB Shmem: 25228 kB Slab: 635828 kB SReclaimable: 608324 kB SUnreclaim: 27504 kB KernelStack: 3360 kB PageTables: 4908 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 356428 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 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 14:28:22