Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 1.12 | ? (TO) | 2519.95 | 2520.01 |
Name | CarSequencing/ CarSequencing-70-01_c18.xml |
MD5SUM | 5ebb66a2f72e45e9d6642a776a6cc19c |
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 | 5.09527 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 1402 |
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 | 63 |
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":19},{"degree":25,"count":19},{"degree":26,"count":19},"...",{"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":8}, {"degree":52,"count":8}, {"degree":53,"count":9}, {"degree":54,"count":9}, {"degree":55,"count":53}, {"degree":56,"count":5}, {"degree":57,"count":6}, {"degree":58,"count":6}, {"degree":59,"count":38}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":3}, {"degree":63,"count":81}] |
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":38,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":47,"count":1},{"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":75,"count":1},{"arity":77,"count":2},{"arity":80,"count":3},{"arity":82,"count":1},{"arity":83,"count":2},{"arity":84,"count":1},{"arity":85,"count":1},{"arity":86,"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":1201},{"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-4295007-1532521340.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: 1427 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: 1201 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 1.19/1.20 c 101 1059 173279 48358 0 0 658 729 691 1.59/1.60 c 211 2040 239955 62461 0 0 96 794 687 1.89/1.94 c 332 2593 294014 86113 0 0 50 92 75 2.19/2.28 c 465 3025 349178 123709 0 0 56 74 62 2.59/2.65 c 611 3592 408377 167118 0 0 53 61 56 2.89/2.99 c 771 4145 461011 194561 0 0 52 62 56 3.39/3.42 c 947 4798 535984 261793 0 0 52 61 56 3.79/3.87 c 1140 5501 609448 313338 0 0 51 62 57 4.49/4.58 c 1352 6262 722824 390443 0 0 53 63 57 5.10/5.15 c 1585 7149 823679 470355 0 0 50 61 56 6.00/6.02 c 1841 8108 962554 559092 0 0 49 62 56 7.10/7.12 c 2122 9068 1138803 685702 0 0 48 68 56 7.79/7.84 c 2431 10140 1257727 768034 0 0 48 62 54 8.69/8.74 c 2770 11442 1414577 890737 0 0 45 58 53 10.69/10.72 c 3142 13640 1742678 1091495 0 0 46 962 212 11.89/11.92 c 3551 15304 1928052 1186268 0 0 49 71 55 13.59/13.68 c 4000 17661 2203414 1277839 0 0 48 253 236 15.39/15.47 c 4493 20108 2474826 1364460 0 0 49 217 207 17.39/17.42 c 5035 22663 2767209 1450216 0 0 200 209 204 20.49/20.55 c 5631 25385 3244523 1593159 0 0 192 206 201 23.69/23.80 c 6286 28454 3761089 1746096 0 0 191 203 198 26.29/26.31 c 7006 31915 4163498 1925665 0 0 105 116 111 28.68/28.77 c 7798 35617 4561628 2097117 0 0 97 493 160 30.48/30.58 c 8669 38765 4948735 2172252 0 0 102 389 346 32.58/32.63 c 9627 41708 5339851 2268525 0 0 103 344 316 34.99/35.05 c 10680 43779 5809345 2392144 0 0 103 315 305 36.38/36.40 c 11838 46560 6110309 2450515 0 0 151 356 345 38.99/39.04 c 13111 50028 6559544 2592915 0 0 103 215 211 41.48/41.59 c 14511 53212 7238753 2677586 0 0 106 397 383 44.00/44.02 c 16051 57028 7832254 2783740 0 0 105 517 487 46.59/46.69 c 17745 63186 8387934 2863573 0 0 105 438 416 49.68/49.74 c 19608 69524 9027635 2947427 0 0 106 384 327 51.99/52.09 c 21657 74111 9630072 3081190 0 0 79 535 519 53.99/54.09 c 23910 80385 10320347 3236148 0 0 188 573 520 57.78/57.86 c 26388 87869 11143830 3399959 0 0 186 493 339 61.18/61.21 c 29113 98749 11930765 3510266 0 0 248 676 562 67.78/67.85 c 32110 110185 13185139 3628515 0 0 226 473 463 75.88/75.96 c 35406 121090 15129106 3841832 0 0 403 427 425 91.58/91.69 c 39031 158938 19041591 4096487 0 0 353 463 453 99.48/99.52 c 43018 228748 21092544 4325032 0 0 303 642 541 112.99/113.10 c 47403 252230 23212384 4690955 0 0 212 602 310 120.28/120.31 c 52226 267193 24732047 4985228 0 0 123 560 542 131.38/131.44 c 57531 288774 26651471 5245677 0 0 127 536 406 152.99/153.08 c 63366 307078 30973669 6976675 0 0 105 574 567 167.58/167.67 c 69784 325895 33947202 7425216 0 0 116 560 547 175.68/175.71 c 76843 346708 36068528 7863230 0 0 116 625 609 191.99/192.09 c 84607 383762 38878119 8397514 0 0 96 456 386 204.48/204.54 c 93147 417864 41871097 8807376 0 0 95 603 571 226.28/226.36 c 102541 454436 46281771 9278179 0 0 94 564 539 253.78/253.81 c 112874 512453 51470239 10429837 0 0 95 495 388 286.68/286.72 c 124240 563521 58261444 11748151 0 0 105 517 429 338.48/338.50 c 136742 617181 67987551 14511226 0 0 106 501 403 361.88/361.91 c 150494 673745 73152303 15646988 0 0 96 545 473 381.18/381.25 c 165621 730600 78065706 16364624 0 0 97 572 523 446.68/446.73 c 182260 815227 92517820 19173841 0 0 97 524 467 494.47/494.55 c 200562 863423 104130847 21141409 0 0 107 521 511 527.47/527.58 c 220694 942226 111981437 22198712 0 0 119 553 525 545.37/545.48 c 242839 982037 116685901 23385873 0 0 113 562 545 570.47/570.56 c 267198 1064097 124728128 24681038 0 0 113 551 539 592.67/592.78 c 293992 1112022 130429855 26233487 0 0 114 553 540 659.47/659.58 c 323465 1239096 144268180 28723960 0 0 116 533 447 687.98/688.06 c 355885 1344506 154455943 30796774 0 0 106 589 574 719.17/719.21 c 391547 1457527 164026160 33064781 0 0 103 622 552 818.77/818.85 c 430775 1700901 189350236 35568920 0 0 120 647 589 892.16/892.26 c 473925 1826226 206400399 38715519 0 0 124 623 569 1010.86/1010.90 c 521390 2069407 231504921 42783553 0 0 100 617 496 1145.16/1145.23 c 573601 2235583 260454184 47973275 0 0 100 559 508 1340.45/1340.56 c 631033 2420410 297768860 55482047 0 0 100 602 541 1459.45/1459.52 c 694208 2635681 320206249 60876297 0 0 100 623 470 1592.75/1592.84 c 763700 2889508 349571777 64998062 0 0 114 595 514 1774.05/1774.18 c 840141 3144611 383307621 72613841 0 0 110 392 335 1840.44/1840.54 c 924226 3384063 405973266 77186401 0 0 115 559 546 2017.44/2017.57 c 1016719 3645243 444398338 84259712 0 0 103 518 465 2183.95/2184.02 c 1118461 3973439 488657117 92894254 0 0 104 541 502 2442.84/2442.98 c 1230377 4391451 540643617 114652612 0 0 113 639 443 2519.95/2520.00 2519.95/2520.00 c *** INTERRUPTED *** 2519.95/2520.00 c restarts : 75 2519.95/2520.00 c conflicts : 1283899 (509 /sec) 2519.95/2520.00 c decisions : 4548229 (1805 /sec) 2519.95/2520.00 c propagations : 116516366 (46238 /sec) 2519.95/2520.00 c root propagations : 0 2519.95/2520.00 c filter calls : 557685708 (221310 /sec) 2519.95/2520.00 c useless filter calls : 530309580 (95 %) 2519.95/2520.00 c Memory used : 41.46 MB 2519.95/2520.00 c CPU time : 2519.93 s 2519.95/2520.00 2519.95/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 (1586 MiB free) memory of node 1: 16384 MiB (6065 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295007-1532521340/watcher-4295007-1532521340 -o /tmp/evaluation-result-4295007-1532521340/solver-4295007-1532521340 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21842 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295007-1532521340.xml running on 4 cores: 1,3,5,7 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=24068, runsolver pid=24065 Current StackSize limit: 8192 KiB [startup+0.100155 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 24069 /proc/meminfo: memFree=7828104/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=34936 memory=11396 CPUtime=0.1 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 3010 0 0 0 10 0 0 0 20 0 1 0 69697174 35774464 2849 33554432000 4194304 6142532 140722568079648 140722568076280 140024115608549 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 8734 2849 832 476 0 2056 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 34936 KiB Current children cumulated memory: 11396 KiB [startup+0.209599 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 24069 /proc/meminfo: memFree=7825872/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=37296 memory=13740 CPUtime=0.21 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 3637 0 0 0 21 0 0 0 20 0 1 0 69697174 38191104 3435 33554432000 4194304 6142532 140722568079648 140722568076280 140024115604286 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 9324 3435 876 476 0 2646 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 37296 KiB Current children cumulated memory: 13740 KiB [startup+0.309232 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 24069 /proc/meminfo: memFree=7824756/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=38088 memory=14796 CPUtime=0.31 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 3851 0 0 0 31 0 0 0 20 0 1 0 69697174 39002112 3633 33554432000 4194304 6142532 140722568079648 140722568076280 140024115608549 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 9522 3699 876 476 0 2844 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 38088 KiB Current children cumulated memory: 14796 KiB [startup+0.700275 s] /proc/loadavg: 2.00 2.01 2.05 3/188 24069 /proc/meminfo: memFree=7823268/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=39540 memory=16116 CPUtime=0.69 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 4230 0 0 0 69 0 0 0 20 0 1 0 69697174 40488960 4029 33554432000 4194304 6142532 140722568079648 140722568076728 5215584 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 9885 4029 876 476 0 3207 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 39540 KiB Current children cumulated memory: 16116 KiB [startup+1.50028 s] /proc/loadavg: 2.00 2.01 2.05 3/188 24069 /proc/meminfo: memFree=7822588/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=40332 memory=16908 CPUtime=1.49 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 4429 0 0 0 149 0 0 0 20 0 1 0 69697174 41299968 4227 33554432000 4194304 6142532 140722568079648 140722568076696 5215601 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10083 4227 878 476 0 3405 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 40332 KiB Current children cumulated memory: 16908 KiB [startup+3.10902 s] /proc/loadavg: 2.00 2.01 2.05 3/188 24069 /proc/meminfo: memFree=7821000/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=41256 memory=17940 CPUtime=3.1 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 5901 0 0 0 310 0 0 0 20 0 1 0 69697174 42246144 4485 33554432000 4194304 6142532 140722568079648 140722568077048 5138688 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10314 4485 878 476 0 3636 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 41256 KiB Current children cumulated memory: 17940 KiB [startup+6.30026 s] /proc/loadavg: 2.00 2.01 2.05 3/188 24069 /proc/meminfo: memFree=7821052/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=41256 memory=17940 CPUtime=6.29 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 7247 0 0 0 629 0 0 0 20 0 1 0 69697174 42246144 4485 33554432000 4194304 6142532 140722568079648 140722568077048 5140356 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10314 4485 878 476 0 3636 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 41256 KiB Current children cumulated memory: 17940 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 3/188 24069 /proc/meminfo: memFree=7820468/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42184 memory=18796 CPUtime=12.69 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 10539 0 0 0 1269 0 0 0 20 0 1 0 69697174 43196416 4699 33554432000 4194304 6142532 140722568079648 140722568077048 5215653 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10546 4699 878 476 0 3868 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 42184 KiB Current children cumulated memory: 18796 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.05 3/188 24069 /proc/meminfo: memFree=7820592/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42184 memory=18824 CPUtime=25.49 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 14795 0 0 0 2549 0 0 0 20 0 1 0 69697174 43196416 4706 33554432000 4194304 6142532 140722568079648 140722568077048 5140391 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10546 4706 878 476 0 3868 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 42184 KiB Current children cumulated memory: 18824 KiB [startup+51.1091 s] /proc/loadavg: 2.00 2.01 2.05 3/188 24069 /proc/meminfo: memFree=7819832/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42184 memory=18836 CPUtime=51.09 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 18700 0 0 0 5108 1 0 0 20 0 1 0 69697174 43196416 4709 33554432000 4194304 6142532 140722568079648 140722568077048 5139072 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10546 4709 878 476 0 3868 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 42184 KiB Current children cumulated memory: 18836 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 24070 /proc/meminfo: memFree=7820160/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42316 memory=19008 CPUtime=102.28 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 19414 0 0 0 10227 1 0 0 20 0 1 0 69697174 43331584 4752 33554432000 4194304 6142532 140722568079648 140722568077048 5139613 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10579 4752 878 476 0 3901 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 42316 KiB Current children cumulated memory: 19008 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 24072 /proc/meminfo: memFree=7819684/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42316 memory=19044 CPUtime=162.28 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 20069 0 0 0 16227 1 0 0 20 0 1 0 69697174 43331584 4761 33554432000 4194304 6142532 140722568079648 140722568077048 5139128 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10579 4761 878 476 0 3901 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 42316 KiB Current children cumulated memory: 19044 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 24073 /proc/meminfo: memFree=7820264/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42316 memory=19060 CPUtime=222.28 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 20821 0 0 0 22227 1 0 0 20 0 1 0 69697174 43331584 4765 33554432000 4194304 6142532 140722568079648 140722568077048 5138688 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10579 4765 878 476 0 3901 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 42316 KiB Current children cumulated memory: 19060 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 24074 /proc/meminfo: memFree=7820020/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42316 memory=19060 CPUtime=282.28 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 21409 0 0 0 28227 1 0 0 20 0 1 0 69697174 43331584 4765 33554432000 4194304 6142532 140722568079648 140722568077048 5215649 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10579 4765 878 476 0 3901 0 Current children cumulated CPU time: 282.28 s Current children cumulated vsize: 42316 KiB Current children cumulated memory: 19060 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 24076 /proc/meminfo: memFree=7819032/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42316 memory=19060 CPUtime=342.28 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 22066 0 0 0 34227 1 0 0 20 0 1 0 69697174 43331584 4765 33554432000 4194304 6142532 140722568079648 140722568077048 5215632 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10579 4765 878 476 0 3901 0 Current children cumulated CPU time: 342.28 s Current children cumulated vsize: 42316 KiB Current children cumulated memory: 19060 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 24138 /proc/meminfo: memFree=7819400/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42316 memory=19060 CPUtime=402.28 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 22772 0 0 0 40227 1 0 0 20 0 1 0 69697174 43331584 4765 33554432000 4194304 6142532 140722568079648 140722568077048 5215653 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10579 4765 878 476 0 3901 0 Current children cumulated CPU time: 402.28 s Current children cumulated vsize: 42316 KiB Current children cumulated memory: 19060 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 24147 /proc/meminfo: memFree=7817752/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42316 memory=19060 CPUtime=462.28 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 23413 0 0 0 46227 1 0 0 20 0 1 0 69697174 43331584 4765 33554432000 4194304 6142532 140722568079648 140722568077048 5215819 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10579 4765 878 476 0 3901 0 Current children cumulated CPU time: 462.28 s Current children cumulated vsize: 42316 KiB Current children cumulated memory: 19060 KiB ################ # More data... # ################ /proc/24068/statm: 10579 4772 878 476 0 3901 0 Current children cumulated CPU time: 1722.24 s Current children cumulated vsize: 42316 KiB Current children cumulated memory: 19088 KiB [startup+1782.3 s] /proc/loadavg: 2.05 2.03 2.05 3/192 24206 /proc/meminfo: memFree=7815604/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42316 memory=19088 CPUtime=1782.24 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 36397 0 0 0 178223 1 0 0 20 0 1 0 69697174 43331584 4772 33554432000 4194304 6142532 140722568079648 140722568077048 5215649 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10579 4772 878 476 0 3901 0 Current children cumulated CPU time: 1782.24 s Current children cumulated vsize: 42316 KiB Current children cumulated memory: 19088 KiB [startup+1842.3 s] /proc/loadavg: 2.05 2.04 2.05 3/188 24208 /proc/meminfo: memFree=7818032/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42316 memory=19088 CPUtime=1842.24 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 37095 0 0 0 184223 1 0 0 20 0 1 0 69697174 43331584 4772 33554432000 4194304 6142532 140722568079648 140722568077048 5137617 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10579 4772 878 476 0 3901 0 Current children cumulated CPU time: 1842.24 s Current children cumulated vsize: 42316 KiB Current children cumulated memory: 19088 KiB [startup+1902.3 s] /proc/loadavg: 2.02 2.03 2.05 3/188 24209 /proc/meminfo: memFree=7818340/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42316 memory=19088 CPUtime=1902.24 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 37686 0 0 0 190223 1 0 0 20 0 1 0 69697174 43331584 4772 33554432000 4194304 6142532 140722568079648 140722568077048 5329969 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10579 4772 878 476 0 3901 0 Current children cumulated CPU time: 1902.24 s Current children cumulated vsize: 42316 KiB Current children cumulated memory: 19088 KiB [startup+1962.3 s] /proc/loadavg: 2.62 2.20 2.10 3/188 24211 /proc/meminfo: memFree=7817828/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42316 memory=19088 CPUtime=1962.24 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 38035 0 0 0 196223 1 0 0 20 0 1 0 69697174 43331584 4772 33554432000 4194304 6142532 140722568079648 140722568077048 5215594 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10579 4772 878 476 0 3901 0 Current children cumulated CPU time: 1962.24 s Current children cumulated vsize: 42316 KiB Current children cumulated memory: 19088 KiB [startup+2022.3 s] /proc/loadavg: 2.23 2.16 2.09 3/187 24212 /proc/meminfo: memFree=7818172/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42316 memory=19088 CPUtime=2022.24 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 38734 0 0 0 202223 1 0 0 20 0 1 0 69697174 43331584 4772 33554432000 4194304 6142532 140722568079648 140722568077048 5137685 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10579 4772 878 476 0 3901 0 Current children cumulated CPU time: 2022.24 s Current children cumulated vsize: 42316 KiB Current children cumulated memory: 19088 KiB [startup+2082.3 s] /proc/loadavg: 2.08 2.13 2.09 3/187 24213 /proc/meminfo: memFree=7818548/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42316 memory=19088 CPUtime=2082.25 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 39189 0 0 0 208223 2 0 0 20 0 1 0 69697174 43331584 4772 33554432000 4194304 6142532 140722568079648 140722568077048 5137465 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10579 4772 878 476 0 3901 0 Current children cumulated CPU time: 2082.25 s Current children cumulated vsize: 42316 KiB Current children cumulated memory: 19088 KiB [startup+2142.3 s] /proc/loadavg: 2.03 2.11 2.08 3/187 24215 /proc/meminfo: memFree=7818220/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42316 memory=19088 CPUtime=2142.24 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 39602 0 0 0 214222 2 0 0 20 0 1 0 69697174 43331584 4772 33554432000 4194304 6142532 140722568079648 140722568077048 5140391 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10579 4772 878 476 0 3901 0 Current children cumulated CPU time: 2142.24 s Current children cumulated vsize: 42316 KiB Current children cumulated memory: 19088 KiB [startup+2202.3 s] /proc/loadavg: 2.01 2.09 2.08 3/187 24216 /proc/meminfo: memFree=7818256/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42316 memory=19088 CPUtime=2202.24 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 40301 0 0 0 220222 2 0 0 20 0 1 0 69697174 43331584 4772 33554432000 4194304 6142532 140722568079648 140722568077048 5120784 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10579 4772 878 476 0 3901 0 Current children cumulated CPU time: 2202.24 s Current children cumulated vsize: 42316 KiB Current children cumulated memory: 19088 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.07 2.07 3/187 24224 /proc/meminfo: memFree=7816956/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42316 memory=19088 CPUtime=2262.24 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 40643 0 0 0 226222 2 0 0 20 0 1 0 69697174 43331584 4772 33554432000 4194304 6142532 140722568079648 140722568077048 5138400 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10579 4772 878 476 0 3901 0 Current children cumulated CPU time: 2262.24 s Current children cumulated vsize: 42316 KiB Current children cumulated memory: 19088 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.06 2.06 3/188 24248 /proc/meminfo: memFree=7816084/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42316 memory=19088 CPUtime=2322.24 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 41139 0 0 0 232222 2 0 0 20 0 1 0 69697174 43331584 4772 33554432000 4194304 6142532 140722568079648 140722568077048 5138400 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10579 4772 878 476 0 3901 0 Current children cumulated CPU time: 2322.24 s Current children cumulated vsize: 42316 KiB Current children cumulated memory: 19088 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.05 2.06 3/188 24249 /proc/meminfo: memFree=7817392/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42316 memory=19088 CPUtime=2382.24 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 41769 0 0 0 238222 2 0 0 20 0 1 0 69697174 43331584 4772 33554432000 4194304 6142532 140722568079648 140722568077048 5137685 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10579 4772 878 476 0 3901 0 Current children cumulated CPU time: 2382.24 s Current children cumulated vsize: 42316 KiB Current children cumulated memory: 19088 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.04 2.05 3/188 24250 /proc/meminfo: memFree=7817640/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42448 memory=19088 CPUtime=2442.24 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 42186 0 0 0 244222 2 0 0 20 0 1 0 69697174 43466752 4772 33554432000 4194304 6142532 140722568079648 140722568076680 5120791 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10612 4772 878 476 0 3934 0 Current children cumulated CPU time: 2442.24 s Current children cumulated vsize: 42448 KiB Current children cumulated memory: 19088 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.03 2.05 3/188 24251 /proc/meminfo: memFree=7817524/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42448 memory=19088 CPUtime=2502.24 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 42861 0 0 0 250222 2 0 0 20 0 1 0 69697174 43466752 4772 33554432000 4194304 6142532 140722568079648 140722568077048 5138684 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10612 4772 878 476 0 3934 0 Current children cumulated CPU time: 2502.24 s Current children cumulated vsize: 42448 KiB Current children cumulated memory: 19088 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.03 2.05 3/188 24251 /proc/meminfo: memFree=7817648/32770624 swapFree=67108860/67108860 [pid=24068] ppid=24065 vsize=42448 memory=19088 CPUtime=2519.95 cores=1,3,5,7 /proc/24068/stat : 24068 (cosoco) R 24065 24068 21810 0 -1 4202496 43198 0 0 0 251993 2 0 0 20 0 1 0 69697174 43466752 4772 33554432000 4194304 6142532 140722568079648 140722568077048 5328025 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 19693568 140722568086662 140722568086792 140722568086792 140722568089550 0 /proc/24068/statm: 10612 4772 878 476 0 3934 0 Current children cumulated CPU time: 2519.95 s Current children cumulated vsize: 42448 KiB Current children cumulated memory: 19088 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 24068 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.93 s, system=0.021999 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.95 CPU user time (s): 2519.93 CPU system time (s): 0.021999 CPU usage (%): 99.9978 Max. virtual memory (cumulated for all children) (KiB): 42448 Max. memory (cumulated for all children) (KiB): 19088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.93 system time used= 0.021999 maximum resident set size= 19152 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43248 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= 673 # summary of solver processes directly reported to runsolver: # pid: 24068 # total CPU time (s): 2519.95 # total CPU user time (s): 2519.93 # total CPU system time (s): 0.021999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.5385 second user time and 16.1189 second system time The end
Begin job on node139 at 2018-07-25 14:22:20 IDJOB=4295007 IDBENCH=141454 IDSOLVER=2752 FILE ID=node139/4295007-1532521340 RUNJOBID= node139-1532498649-21842 PBS_JOBID= 21021588 Free space on /tmp= 38840 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/CarSequencing/CarSequencing-70-01_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295007-1532521340/watcher-4295007-1532521340 -o /tmp/evaluation-result-4295007-1532521340/solver-4295007-1532521340 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21842 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295007-1532521340.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5ebb66a2f72e45e9d6642a776a6cc19c 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: 7835840 kB MemAvailable: 31918652 kB Buffers: 213828 kB Cached: 23716992 kB SwapCached: 0 kB Active: 2816544 kB Inactive: 21181524 kB Active(anon): 22920 kB Inactive(anon): 72248 kB Active(file): 2793624 kB Inactive(file): 21109276 kB Unevictable: 7304 kB Mlocked: 7304 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2792 kB Writeback: 0 kB AnonPages: 78648 kB Mapped: 42012 kB Shmem: 25228 kB Slab: 635776 kB SReclaimable: 608372 kB SUnreclaim: 27404 kB KernelStack: 3360 kB PageTables: 5216 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 367124 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 15:04:20