| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 1.12 | ? (TO) | 2519.95 | 2520.01 |
| Name | CarSequencing/ CarSequencing-60-01_c18.xml |
| MD5SUM | 78ce7b18c2bc9eefd2fccfc0b2746318 |
| 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 | 20.4936 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1200 |
| Number of constraints | 1379 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 24 |
| Distribution of domain sizes | [{"size":2,"count":1000},{"size":24,"count":200}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 62 |
| 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":19},{"degree":21,"count":19},{"degree":22,"count":19},{"degree":23,"count":19},{"degree":24,"count":125},{"degree":25,"count":14},{"degree":26,"count":14},"...",{"degree":38,"count":8}, {"degree":39,"count":8}, {"degree":40,"count":8}, {"degree":41,"count":8}, {"degree":42,"count":8}, {"degree":43,"count":9}, {"degree":44,"count":125}, {"degree":45,"count":6}, {"degree":46,"count":6}, {"degree":47,"count":6}, {"degree":48,"count":6}, {"degree":49,"count":6}, {"degree":50,"count":6}, {"degree":51,"count":6}, {"degree":52,"count":6}, {"degree":53,"count":6}, {"degree":54,"count":7}, {"degree":55,"count":7}, {"degree":56,"count":48}, {"degree":57,"count":3}, {"degree":58,"count":3}, {"degree":59,"count":3}, {"degree":60,"count":4}, {"degree":61,"count":4}, {"degree":62,"count":27}] |
| 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":32,"count":1},{"arity":35,"count":1},{"arity":38,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"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":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":1178},{"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 1.12 -- 0.10/0.16 c 0.10/0.16 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294953-1532513778.xml 0.10/0.16 c ========================================[ Problem Statistics ]=========================================== 0.10/0.16 c | 0.10/0.16 c | Parse time : 0.15 s 0.10/0.16 c | 0.10/0.16 c | Variables: 1200 0.10/0.16 c | Domain Sizes: 2..24 0.10/0.16 c | 0.10/0.16 c | Constraints: 1402 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: 24 0.10/0.16 c | Extension: 200 (nb tuples: 24..24) -- (shared: 199) 0.10/0.16 c | Sum: 1178 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 1.29/1.33 c 101 1141 211194 81496 0 0 635 670 650 1.68/1.75 c 211 2187 296446 99361 0 0 142 518 395 1.78/1.89 c 332 2710 330050 126930 0 0 148 156 150 1.99/2.09 c 465 3560 375065 153596 0 0 138 351 163 2.18/2.26 c 611 4229 413472 182305 0 0 135 145 140 2.38/2.46 c 771 5022 460601 220906 0 0 134 142 139 2.58/2.68 c 947 5949 514301 263331 0 0 135 142 139 2.99/3.02 c 1140 7452 587331 292057 0 0 136 296 228 3.68/3.72 c 1352 9408 726342 331084 0 0 136 643 348 4.18/4.29 c 1585 10698 851522 362266 0 0 136 688 657 4.78/4.88 c 1841 12575 971589 391388 0 0 184 673 535 5.68/5.77 c 2122 14439 1135328 418792 0 0 131 577 465 6.48/6.53 c 2431 16967 1299566 471833 0 0 208 666 622 7.78/7.86 c 2770 18741 1571600 503304 0 0 107 542 516 8.48/8.58 c 3142 20745 1702532 538583 0 0 108 434 382 9.38/9.48 c 3551 23185 1887264 567069 0 0 155 571 465 10.18/10.24 c 4000 25913 2080391 616486 0 0 306 588 559 11.18/11.20 c 4493 28576 2259387 658245 0 0 299 624 453 12.18/12.26 c 5035 32269 2507378 700325 0 0 110 608 557 13.58/13.62 c 5631 34759 2820502 734665 0 0 339 726 704 16.68/16.71 c 6286 39798 3498632 807702 0 0 346 614 579 19.09/19.20 c 7006 43153 4041459 880843 0 0 335 640 624 21.58/21.61 c 7798 45671 4514403 938737 0 0 278 660 610 25.38/25.41 c 8669 59522 5286616 1014137 0 0 255 802 722 27.68/27.72 c 9627 65500 5767759 1088559 0 0 251 771 715 30.08/30.18 c 10680 73191 6340650 1187274 0 0 347 764 737 33.47/33.58 c 11838 79745 6924715 1234850 0 0 347 506 492 36.37/36.40 c 13111 85530 7517017 1293135 0 0 250 729 709 42.98/43.10 c 14511 91065 8835616 1425097 0 0 647 672 668 47.08/47.13 c 16051 105713 9652311 1534815 0 0 276 764 631 50.47/50.52 c 17745 114561 10383105 1644172 0 0 703 739 723 55.17/55.27 c 19608 129591 11434086 1798382 0 0 294 746 731 60.27/60.33 c 21657 139320 12539008 1912574 0 0 282 762 698 63.67/63.73 c 23910 151171 13318516 2142607 0 0 202 715 648 72.47/72.57 c 26388 168909 14981391 2550327 0 0 209 561 497 78.37/78.46 c 29113 185598 16360110 3066327 0 0 141 736 560 81.27/81.36 c 32110 201031 17298681 3295998 0 0 148 758 725 88.47/88.52 c 35406 222601 18927093 3575885 0 0 349 716 625 99.87/99.99 c 39031 242845 20874513 3789554 0 0 117 477 468 115.47/115.59 c 43018 255644 23666448 4462187 0 0 324 398 391 125.17/125.28 c 47403 272631 25822273 4799024 0 0 142 633 617 134.17/134.24 c 52226 292041 27756437 5072402 0 0 400 632 626 140.87/140.97 c 57531 311357 29439960 5363410 0 0 557 673 639 169.37/169.41 c 63366 349629 35281957 6397219 0 0 126 633 477 180.17/180.20 c 69784 371918 37680924 6737378 0 0 278 655 613 190.57/190.68 c 76843 405849 39862659 7213200 0 0 144 669 570 206.17/206.20 c 84607 436858 43319058 7753641 0 0 130 632 622 233.37/233.48 c 93147 514068 48970963 8754338 0 0 150 628 516 261.98/262.04 c 102541 555716 54367346 10797859 0 0 156 528 481 275.47/275.50 c 112874 600606 57912430 11512824 0 0 241 667 608 285.27/285.38 c 124240 645488 61488506 12351030 0 0 142 727 699 301.57/301.60 c 136742 694379 65564652 13247438 0 0 194 717 664 347.07/347.17 c 150494 762300 73370917 14062841 0 0 169 598 571 363.67/363.79 c 165621 816803 77763901 14990000 0 0 181 691 672 378.37/378.49 c 182260 878981 83185962 15983652 0 0 600 687 673 400.37/400.45 c 200562 928605 89244840 17302673 0 0 578 711 675 419.87/419.99 c 220694 1003094 95358026 18480795 0 0 160 682 661 441.98/442.06 c 242839 1080788 102626983 19987952 0 0 142 704 681 476.47/476.52 c 267198 1192437 110183535 21785466 0 0 137 701 598 526.37/526.40 c 293992 1331106 120630376 23385065 0 0 311 713 605 546.98/547.01 c 323465 1430642 125668029 26330286 0 0 141 169 160 604.27/604.33 c 355885 1580886 139064344 29539465 0 0 143 706 599 637.37/637.41 c 391547 1726282 147470422 36348078 0 0 139 157 151 757.26/757.34 c 430775 1927916 166061198 40408560 0 0 134 461 346 833.26/833.36 c 473925 2229896 181001701 42687729 0 0 139 671 647 993.76/993.83 c 521390 2470211 214432870 46560776 0 0 135 629 556 1175.85/1175.97 c 573601 3076385 251795060 52289343 0 0 145 704 681 1508.96/1509.06 c 631033 4085808 306476120 59674972 0 0 141 640 618 1613.75/1613.87 c 694208 4332376 330993846 61952453 0 0 143 753 744 1866.54/1866.69 c 763700 5357753 387523454 66288008 0 0 143 944 822 2045.74/2045.83 c 840141 6079033 430539421 70034536 0 0 143 954 915 2165.63/2165.74 c 924226 6562041 459535279 76190856 0 0 142 883 668 2320.73/2320.81 c 1016719 6920113 497837258 83120717 0 0 143 923 852 2489.63/2489.77 c 1118461 7296258 537914019 90312549 0 0 143 811 767 2519.93/2520.00 2519.93/2520.00 c *** INTERRUPTED *** 2519.93/2520.00 c restarts : 74 2519.93/2520.00 c conflicts : 1123306 (446 /sec) 2519.93/2520.00 c decisions : 7323939 (2906 /sec) 2519.93/2520.00 c propagations : 91063424 (36137 /sec) 2519.93/2520.00 c root propagations : 0 2519.93/2520.00 c filter calls : 542114890 (215131 /sec) 2519.93/2520.00 c useless filter calls : 518568492 (95 %) 2519.93/2520.00 c Memory used : 41.71 MB 2519.93/2520.00 c CPU time : 2519.93 s 2519.93/2520.00 2519.93/2520.00 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (1586 MiB free)
memory of node 1: 16384 MiB (6069 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294953-1532513778/watcher-4294953-1532513778 -o /tmp/evaluation-result-4294953-1532513778/solver-4294953-1532513778 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21842 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294953-1532513778.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
Current StackSize limit: 8192 KiB
solver pid=23414, runsolver pid=23411
[startup+0.10016 s]*
/proc/loadavg: 2.01 2.04 2.05 3/187 23415
/proc/meminfo: memFree=7831524/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=34932 memory=11264 CPUtime=0.1 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 3026 0 0 0 10 0 0 0 20 0 1 0 68940979 35770368 2816 33554432000 4194304 6142532 140736770550016 140736770546648 140695654526976 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 8733 2816 832 476 0 2055 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34932 KiB
Current children cumulated memory: 11264 KiB
[startup+0.209584 s]*
/proc/loadavg: 2.01 2.04 2.05 3/187 23415
/proc/meminfo: memFree=7828920/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=37168 memory=13628 CPUtime=0.21 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 3614 0 0 0 21 0 0 0 20 0 1 0 68940979 38060032 3407 33554432000 4194304 6142532 140736770550016 140736770546648 5140318 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 9292 3407 876 476 0 2614 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37168 KiB
Current children cumulated memory: 13628 KiB
[startup+0.309184 s]*
/proc/loadavg: 2.01 2.04 2.05 3/187 23415
/proc/meminfo: memFree=7827876/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=37960 memory=14420 CPUtime=0.31 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 3804 0 0 0 31 0 0 0 20 0 1 0 68940979 38871040 3605 33554432000 4194304 6142532 140736770550016 140736770546648 140695644584766 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 9490 3605 876 476 0 2812 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37960 KiB
Current children cumulated memory: 14420 KiB
[startup+0.700276 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 23415
/proc/meminfo: memFree=7826388/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=39544 memory=16004 CPUtime=0.69 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 4212 0 0 0 69 0 0 0 20 0 1 0 68940979 40493056 4001 33554432000 4194304 6142532 140736770550016 140736770546648 5215653 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 9886 4001 876 476 0 3208 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39544 KiB
Current children cumulated memory: 16004 KiB
[startup+1.50031 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 23415
/proc/meminfo: memFree=7825892/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=39676 memory=16268 CPUtime=1.49 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 4234 0 0 0 149 0 0 0 20 0 1 0 68940979 40628224 4067 33554432000 4194304 6142532 140736770550016 140736770546936 5137316 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 9919 4067 876 476 0 3241 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39676 KiB
Current children cumulated memory: 16268 KiB
[startup+3.10898 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 23415
/proc/meminfo: memFree=7824848/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=40072 memory=16824 CPUtime=3.09 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 4898 0 0 0 309 0 0 0 20 0 1 0 68940979 41033728 4206 33554432000 4194304 6142532 140736770550016 140736770547416 5137431 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10018 4206 878 476 0 3340 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40072 KiB
Current children cumulated memory: 16824 KiB
[startup+6.30028 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 23415
/proc/meminfo: memFree=7823848/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=41392 memory=18036 CPUtime=6.28 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 6210 0 0 0 628 0 0 0 20 0 1 0 68940979 42385408 4509 33554432000 4194304 6142532 140736770550016 140736770547416 5137319 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10348 4509 878 476 0 3670 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 41392 KiB
Current children cumulated memory: 18036 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 23415
/proc/meminfo: memFree=7824096/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=41524 memory=18068 CPUtime=12.68 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 7236 0 0 0 1268 0 0 0 20 0 1 0 68940979 42520576 4517 33554432000 4194304 6142532 140736770550016 140736770547416 5137682 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10381 4517 878 476 0 3703 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 41524 KiB
Current children cumulated memory: 18068 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 23415
/proc/meminfo: memFree=7824736/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=41788 memory=18428 CPUtime=25.48 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 9358 0 0 0 2548 0 0 0 20 0 1 0 68940979 42790912 4607 33554432000 4194304 6142532 140736770550016 140736770546824 5215813 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10447 4607 878 476 0 3769 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 41788 KiB
Current children cumulated memory: 18428 KiB
[startup+51.1091 s]
/proc/loadavg: 1.92 2.01 2.04 3/187 23415
/proc/meminfo: memFree=7824620/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=41920 memory=18564 CPUtime=51.08 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 10494 0 0 0 5108 0 0 0 20 0 1 0 68940979 42926080 4641 33554432000 4194304 6142532 140736770550016 140736770547416 5215644 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10480 4641 878 476 0 3802 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 41920 KiB
Current children cumulated memory: 18564 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/187 23416
/proc/meminfo: memFree=7824364/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=41920 memory=18596 CPUtime=102.27 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 11645 0 0 0 10227 0 0 0 20 0 1 0 68940979 42926080 4649 33554432000 4194304 6142532 140736770550016 140736770547416 5215658 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10480 4649 878 476 0 3802 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 41920 KiB
Current children cumulated memory: 18596 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 23417
/proc/meminfo: memFree=7824364/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=41920 memory=18684 CPUtime=162.27 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 12268 0 0 0 16227 0 0 0 20 0 1 0 68940979 42926080 4671 33554432000 4194304 6142532 140736770550016 140736770547416 5137756 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10480 4671 878 476 0 3802 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 41920 KiB
Current children cumulated memory: 18684 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 23418
/proc/meminfo: memFree=7824216/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=41920 memory=18684 CPUtime=222.27 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 12895 0 0 0 22227 0 0 0 20 0 1 0 68940979 42926080 4671 33554432000 4194304 6142532 140736770550016 140736770547416 5215653 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10480 4671 878 476 0 3802 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 41920 KiB
Current children cumulated memory: 18684 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 23427
/proc/meminfo: memFree=7823572/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=42052 memory=18752 CPUtime=282.27 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 13547 0 0 0 28227 0 0 0 20 0 1 0 68940979 43061248 4688 33554432000 4194304 6142532 140736770550016 140736770547416 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10513 4688 878 476 0 3835 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 42052 KiB
Current children cumulated memory: 18752 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 23428
/proc/meminfo: memFree=7823696/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=42052 memory=18752 CPUtime=342.26 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 14172 0 0 0 34226 0 0 0 20 0 1 0 68940979 43061248 4688 33554432000 4194304 6142532 140736770550016 140736770547416 5137779 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10513 4688 878 476 0 3835 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 42052 KiB
Current children cumulated memory: 18752 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 23429
/proc/meminfo: memFree=7823828/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=42052 memory=18752 CPUtime=402.27 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 14818 0 0 0 40226 1 0 0 20 0 1 0 68940979 43061248 4688 33554432000 4194304 6142532 140736770550016 140736770547416 5215819 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10513 4688 878 476 0 3835 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 42052 KiB
Current children cumulated memory: 18752 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 23430
/proc/meminfo: memFree=7823952/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=42052 memory=18760 CPUtime=462.27 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 15458 0 0 0 46226 1 0 0 20 0 1 0 68940979 43061248 4690 33554432000 4194304 6142532 140736770550016 140736770547416 5138688 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10513 4690 878 476 0 3835 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 42052 KiB
Current children cumulated memory: 18760 KiB
################
# More data... #
################
/proc/23414/statm: 10579 4740 878 476 0 3901 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 42316 KiB
Current children cumulated memory: 18960 KiB
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 23531
/proc/meminfo: memFree=7822436/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=42316 memory=19056 CPUtime=1782.24 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 26147 0 0 0 178223 1 0 0 20 0 1 0 68940979 43331584 4764 33554432000 4194304 6142532 140736770550016 140736770547016 5137431 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10579 4764 878 476 0 3901 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 42316 KiB
Current children cumulated memory: 19056 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 23532
/proc/meminfo: memFree=7822420/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=42448 memory=19128 CPUtime=1842.24 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 26598 0 0 0 184223 1 0 0 20 0 1 0 68940979 43466752 4782 33554432000 4194304 6142532 140736770550016 140736770546856 5215584 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10612 4782 878 476 0 3934 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 42448 KiB
Current children cumulated memory: 19128 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23533
/proc/meminfo: memFree=7822280/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=42580 memory=19132 CPUtime=1902.24 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 27351 0 0 0 190223 1 0 0 20 0 1 0 68940979 43601920 4783 33554432000 4194304 6142532 140736770550016 140736770547048 5215658 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10645 4783 878 476 0 3967 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 42580 KiB
Current children cumulated memory: 19132 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23534
/proc/meminfo: memFree=7822452/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=42580 memory=19232 CPUtime=1962.24 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 27717 0 0 0 196223 1 0 0 20 0 1 0 68940979 43601920 4808 33554432000 4194304 6142532 140736770550016 140736770547048 5120760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10645 4808 878 476 0 3967 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 42580 KiB
Current children cumulated memory: 19232 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23535
/proc/meminfo: memFree=7822732/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=42580 memory=19232 CPUtime=2022.24 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 28081 0 0 0 202223 1 0 0 20 0 1 0 68940979 43601920 4808 33554432000 4194304 6142532 140736770550016 140736770547048 5137682 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10645 4808 878 476 0 3967 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 42580 KiB
Current children cumulated memory: 19232 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23544
/proc/meminfo: memFree=7822356/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=42580 memory=19232 CPUtime=2082.24 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 28823 0 0 0 208223 1 0 0 20 0 1 0 68940979 43601920 4808 33554432000 4194304 6142532 140736770550016 140736770547416 5137316 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10645 4808 878 476 0 3967 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 42580 KiB
Current children cumulated memory: 19232 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23545
/proc/meminfo: memFree=7822232/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=42580 memory=19232 CPUtime=2142.23 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 29500 0 0 0 214222 1 0 0 20 0 1 0 68940979 43601920 4808 33554432000 4194304 6142532 140736770550016 140736770547416 5175059 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10645 4808 878 476 0 3967 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 42580 KiB
Current children cumulated memory: 19232 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23546
/proc/meminfo: memFree=7822132/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=42712 memory=19272 CPUtime=2202.23 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 30285 0 0 0 220222 1 0 0 20 0 1 0 68940979 43737088 4818 33554432000 4194304 6142532 140736770550016 140736770547016 5137638 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10678 4818 878 476 0 4000 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 42712 KiB
Current children cumulated memory: 19272 KiB
[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 23547
/proc/meminfo: memFree=7821588/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=42712 memory=19404 CPUtime=2262.23 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 30695 0 0 0 226222 1 0 0 20 0 1 0 68940979 43737088 4851 33554432000 4194304 6142532 140736770550016 140736770547016 5137583 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10678 4851 878 476 0 4000 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 42712 KiB
Current children cumulated memory: 19404 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 23548
/proc/meminfo: memFree=7822024/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=42712 memory=19404 CPUtime=2322.23 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 30991 0 0 0 232222 1 0 0 20 0 1 0 68940979 43737088 4851 33554432000 4194304 6142532 140736770550016 140736770547016 5137465 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10678 4851 878 476 0 4000 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 42712 KiB
Current children cumulated memory: 19404 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 23550
/proc/meminfo: memFree=7821916/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=42712 memory=19404 CPUtime=2382.23 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 31253 0 0 0 238222 1 0 0 20 0 1 0 68940979 43737088 4851 33554432000 4194304 6142532 140736770550016 140736770547416 5139639 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10678 4851 878 476 0 4000 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 42712 KiB
Current children cumulated memory: 19404 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23551
/proc/meminfo: memFree=7822164/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=42712 memory=19404 CPUtime=2442.23 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 31508 0 0 0 244222 1 0 0 20 0 1 0 68940979 43737088 4851 33554432000 4194304 6142532 140736770550016 140736770547416 5137682 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10678 4851 878 476 0 4000 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 42712 KiB
Current children cumulated memory: 19404 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23552
/proc/meminfo: memFree=7822048/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=42712 memory=19404 CPUtime=2502.23 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 31803 0 0 0 250222 1 0 0 20 0 1 0 68940979 43737088 4851 33554432000 4194304 6142532 140736770550016 140736770547416 5215653 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10678 4851 878 476 0 4000 0
Current children cumulated CPU time: 2502.23 s
Current children cumulated vsize: 42712 KiB
Current children cumulated memory: 19404 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 23554
/proc/meminfo: memFree=7821928/32770624 swapFree=67108860/67108860
[pid=23414] ppid=23411 vsize=42712 memory=19404 CPUtime=2519.93 cores=1,3,5,7
/proc/23414/stat : 23414 (cosoco) R 23411 23414 21810 0 -1 4202496 32057 0 0 0 251992 1 0 0 20 0 1 0 68940979 43737088 4851 33554432000 4194304 6142532 140736770550016 140736770547416 5138688 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19705856 140736770557062 140736770557192 140736770557192 140736770559950 0
/proc/23414/statm: 10678 4851 878 476 0 4000 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 42712 KiB
Current children cumulated memory: 19404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 23414 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.93 s, system=0.017999 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.017999
CPU usage (%): 99.9976
Max. virtual memory (cumulated for all children) (KiB): 42712
Max. memory (cumulated for all children) (KiB): 19404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.93
system time used= 0.017999
maximum resident set size= 19468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32107
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= 691
# summary of solver processes directly reported to runsolver:
# pid: 23414
# total CPU time (s): 2519.95
# total CPU user time (s): 2519.93
# total CPU system time (s): 0.017999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.565 second user time and 12.0516 second system time
The end
Begin job on node139 at 2018-07-25 12:16:18 IDJOB=4294953 IDBENCH=141448 IDSOLVER=2752 FILE ID=node139/4294953-1532513778 RUNJOBID= node139-1532498649-21842 PBS_JOBID= 21021588 Free space on /tmp= 38836 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/CarSequencing/CarSequencing-60-01_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294953-1532513778/watcher-4294953-1532513778 -o /tmp/evaluation-result-4294953-1532513778/solver-4294953-1532513778 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21842 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294953-1532513778.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 78ce7b18c2bc9eefd2fccfc0b2746318 RANDOM SEED=807955593 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: 7838960 kB MemAvailable: 31920184 kB Buffers: 212696 kB Cached: 23716776 kB SwapCached: 0 kB Active: 2814000 kB Inactive: 21180320 kB Active(anon): 20636 kB Inactive(anon): 72248 kB Active(file): 2793364 kB Inactive(file): 21108072 kB Unevictable: 7304 kB Mlocked: 7304 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2744 kB Writeback: 0 kB AnonPages: 72048 kB Mapped: 41256 kB Shmem: 25228 kB Slab: 635416 kB SReclaimable: 608248 kB SUnreclaim: 27168 kB KernelStack: 3264 kB PageTables: 5080 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 365000 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 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 12:58:18