| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 1.12 | ? (TO) | 2519.92 | 2520.01 |
| Name | CarSequencing/ CarSequencing-80-01_c18.xml |
| MD5SUM | 1fae7142163c3dd6bc5a43a0b85b79be |
| 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 | 48.3324 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1200 |
| Number of constraints | 1429 |
| 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 | 78 |
| Distribution of variable degrees | [{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":54,"count":9}, {"degree":55,"count":9}, {"degree":56,"count":51}, {"degree":57,"count":6}, {"degree":58,"count":41}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":3}, {"degree":78,"count":51}] |
| 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":40,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":1},{"arity":47,"count":2},{"arity":50,"count":3},{"arity":52,"count":1},{"arity":53,"count":2},{"arity":54,"count":1},{"arity":55,"count":1},{"arity":56,"count":3},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"count":2},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":3},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":3},{"arity":71,"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":1228},{"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.18 c root propagations : 0 0.10/0.18 c restarts enabled, print stats at every restarts 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c This is cosoco 1.12 -- 0.10/0.18 c 0.10/0.18 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295052-1532526382.xml 0.10/0.18 c ========================================[ Problem Statistics ]=========================================== 0.10/0.18 c | 0.10/0.18 c | Parse time : 0.17 s 0.10/0.18 c | 0.10/0.18 c | Variables: 1200 0.10/0.18 c | Domain Sizes: 2..26 0.10/0.18 c | 0.10/0.18 c | Constraints: 1454 0.10/0.18 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.10/0.18 c | 0.10/0.18 c | Types: 0.10/0.18 c | Exactly K: 26 0.10/0.18 c | Extension: 200 (nb tuples: 26..26) -- (shared: 199) 0.10/0.18 c | Sum: 1228 0.10/0.18 c | 0.10/0.18 c ========================================================================================================= 0.10/0.18 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.79/0.81 c 101 1099 106950 28500 0 0 732 746 732 1.09/1.18 c 211 1524 166889 52399 0 0 59 66 61 1.89/1.92 c 332 2766 287241 78110 0 0 44 772 437 2.69/2.75 c 465 4139 425955 97507 0 0 213 806 752 3.39/3.42 c 611 5369 542028 116353 0 0 757 864 794 3.89/4.00 c 771 8057 668229 144566 0 0 950 1044 984 5.00/5.07 c 947 10704 863132 174970 0 0 497 725 696 5.49/5.53 c 1140 11707 943891 226451 0 0 143 155 148 6.00/6.07 c 1352 12754 1036390 290315 0 0 123 132 127 6.49/6.59 c 1585 13905 1131049 380778 0 0 124 133 127 7.00/7.08 c 1841 15148 1223315 470701 0 0 124 133 128 7.79/7.88 c 2122 16435 1372679 626044 0 0 119 132 126 8.49/8.55 c 2431 17938 1499018 763325 0 0 119 131 125 9.29/9.37 c 2770 19506 1645946 908285 0 0 117 128 123 10.39/10.41 c 3142 21238 1833853 1102641 0 0 115 126 121 11.59/11.65 c 3551 23352 2037377 1238710 0 0 114 125 120 12.79/12.87 c 4000 25331 2265847 1488234 0 0 113 126 121 14.10/14.14 c 4493 27703 2483678 1680259 0 0 114 125 119 15.69/15.73 c 5035 30101 2782000 1989426 0 0 112 125 118 17.29/17.35 c 5631 32913 3069784 2266244 0 0 107 122 116 18.88/18.90 c 6286 36081 3331485 2486353 0 0 108 122 116 20.88/20.96 c 7006 39518 3669644 2716825 0 0 109 121 116 23.18/23.21 c 7798 43074 4053702 3020154 0 0 107 121 116 25.78/25.86 c 8669 47178 4512039 3403631 0 0 110 121 116 29.18/29.26 c 9627 51893 5119482 3999903 0 0 111 123 117 32.38/32.45 c 10680 57245 5674408 4415856 0 0 108 121 115 35.18/35.28 c 11838 62628 6168102 4848170 0 0 109 122 115 38.57/38.66 c 13111 69167 6730523 5282187 0 0 109 121 115 43.47/43.59 c 14511 75764 7634436 6115070 0 0 101 122 114 47.47/47.52 c 16051 82615 8320795 6667560 0 0 107 119 114 52.27/52.35 c 17745 90191 9170020 7303688 0 0 107 121 115 57.67/57.72 c 19608 99313 10069809 7916288 0 0 109 120 115 62.67/62.76 c 21657 108908 10914196 8521142 0 0 106 120 114 69.37/69.44 c 23910 118646 12081753 9362711 0 0 102 133 111 81.47/81.52 c 26388 130149 14219501 11333169 0 0 94 118 110 89.77/89.84 c 29113 143197 15663026 12528940 0 0 102 114 110 98.77/98.88 c 32110 157624 17205906 13719684 0 0 97 118 110 108.37/108.49 c 35406 173624 18807635 14692473 0 0 97 116 110 118.57/118.66 c 39031 190672 20541157 16008953 0 0 99 121 109 131.17/131.24 c 43018 208916 22749827 17672727 0 0 96 117 109 149.17/149.21 c 47403 228169 25930078 20400629 0 0 102 129 110 173.67/173.74 c 52226 250718 30139435 23726312 0 0 100 117 109 193.08/193.19 c 57531 274955 33378598 25906321 0 0 99 115 109 210.57/210.65 c 63366 302745 36329391 28043481 0 0 101 123 109 247.27/247.33 c 69784 333933 42520819 32541026 0 0 94 125 107 269.17/269.20 c 76843 366951 46201150 35170256 0 0 95 116 106 294.47/294.51 c 84607 403882 50416507 37919912 0 0 94 116 106 321.26/321.36 c 93147 442994 55005879 41061660 0 0 94 128 105 377.26/377.30 c 102541 488480 64394588 48276360 0 0 88 122 106 417.76/417.86 c 112874 537216 71320356 53671372 0 0 93 125 105 462.66/462.73 c 124240 592815 78549167 58124557 0 0 91 110 102 502.56/502.63 c 136742 650611 84806695 61420060 0 0 90 111 102 582.76/582.81 c 150494 717230 97938712 70252764 0 0 92 117 102 641.55/641.61 c 165621 792437 107763713 76902141 0 0 80 120 101 696.85/696.91 c 182260 870126 116938994 82947195 0 0 86 114 100 792.55/792.69 c 200562 954420 132028204 90956461 0 0 86 111 99 866.55/866.65 c 220694 1051378 144513818 99249216 0 0 83 109 98 948.54/948.67 c 242839 1158473 157876848 107030099 0 0 84 107 98 1065.05/1065.19 c 267198 1269476 176281632 116736310 0 0 82 105 96 1179.84/1179.91 c 293992 1387749 194682453 126490018 0 0 78 107 95 1282.43/1282.50 c 323465 1512335 212231259 137681813 0 0 78 122 95 1383.23/1383.34 c 355885 1666499 233897573 143102208 0 0 78 740 550 1495.63/1495.74 c 391547 1826448 259959055 146731380 0 0 81 523 486 1581.93/1582.10 c 430775 2002610 279672507 151089328 0 0 79 620 566 1649.22/1649.39 c 473925 2189239 293438662 155972349 0 0 82 278 264 1722.22/1722.31 c 521390 2380110 307778979 161234654 0 0 82 250 238 1875.32/1875.41 c 573601 2657624 343597599 166524028 0 0 82 757 575 1944.92/1945.06 c 631033 2831025 361927711 168923769 0 0 83 710 655 2059.61/2059.76 c 694208 3251116 391514485 173329862 0 0 79 609 519 2183.51/2183.65 c 763700 3583586 425347823 177701863 0 0 76 658 618 2307.01/2307.13 c 840141 3910882 451401603 184126934 0 0 77 436 400 2401.10/2401.24 c 924226 4200188 474791868 186995789 0 0 109 529 520 2519.90/2520.00 2519.90/2520.00 c *** INTERRUPTED *** 2519.90/2520.00 c restarts : 72 2519.90/2520.00 c conflicts : 939607 (373 /sec) 2519.90/2520.00 c decisions : 4244265 (1684 /sec) 2519.90/2520.00 c propagations : 192916535 (76557 /sec) 2519.90/2520.00 c root propagations : 0 2519.90/2520.00 c filter calls : 493647671 (195900 /sec) 2519.90/2520.00 c useless filter calls : 467121397 (94 %) 2519.90/2520.00 c Memory used : 42.10 MB 2519.90/2520.00 c CPU time : 2519.9 s 2519.90/2520.00 2519.90/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 (6062 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295052-1532526382/watcher-4295052-1532526382 -o /tmp/evaluation-result-4295052-1532526382/solver-4295052-1532526382 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21842 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295052-1532526382.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=24571, runsolver pid=24568
Current StackSize limit: 8192 KiB
[startup+0.10016 s]*
/proc/loadavg: 2.00 2.05 2.06 3/187 24572
/proc/meminfo: memFree=7824272/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=34940 memory=11404 CPUtime=0.1 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 3012 0 0 0 10 0 0 0 20 0 1 0 70201393 35778560 2851 33554432000 4194304 6142532 140722245665136 140722245661768 140718728260581 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 8735 2851 832 476 0 2057 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34940 KiB
Current children cumulated memory: 11404 KiB
[startup+0.20973 s]*
/proc/loadavg: 2.00 2.05 2.06 3/187 24572
/proc/meminfo: memFree=7822040/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=37412 memory=14008 CPUtime=0.21 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 3677 0 0 0 21 0 0 0 20 0 1 0 70201393 38309888 3502 33554432000 4194304 6142532 140722245665136 140722245661768 140718728260581 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 9353 3502 876 476 0 2675 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37412 KiB
Current children cumulated memory: 14008 KiB
[startup+0.309317 s]*
/proc/loadavg: 2.00 2.05 2.06 3/187 24572
/proc/meminfo: memFree=7820924/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=38336 memory=14800 CPUtime=0.31 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 3899 0 0 0 31 0 0 0 20 0 1 0 70201393 39256064 3700 33554432000 4194304 6142532 140722245665136 140722245661768 5140382 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 9584 3700 876 476 0 2906 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38336 KiB
Current children cumulated memory: 14800 KiB
[startup+0.700279 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 24572
/proc/meminfo: memFree=7819148/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=39796 memory=16384 CPUtime=0.69 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 4273 0 0 0 69 0 0 0 20 0 1 0 70201393 40751104 4096 33554432000 4194304 6142532 140722245665136 140722245661768 5139100 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 9949 4096 876 476 0 3271 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39796 KiB
Current children cumulated memory: 16384 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 24572
/proc/meminfo: memFree=7819120/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=40192 memory=16648 CPUtime=1.49 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 4377 0 0 0 149 0 0 0 20 0 1 0 70201393 41156608 4162 33554432000 4194304 6142532 140722245665136 140722245662136 5215594 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10048 4162 878 476 0 3370 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40192 KiB
Current children cumulated memory: 16648 KiB
[startup+3.10943 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 24572
/proc/meminfo: memFree=7817488/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=41776 memory=18368 CPUtime=3.1 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 7712 0 0 0 309 1 0 0 20 0 1 0 70201393 42778624 4592 33554432000 4194304 6142532 140722245665136 140722245662536 5138400 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10444 4592 878 476 0 3766 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 41776 KiB
Current children cumulated memory: 18368 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 24572
/proc/meminfo: memFree=7815904/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=42976 memory=19716 CPUtime=6.29 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 11640 0 0 0 628 1 0 0 20 0 1 0 70201393 44007424 4929 33554432000 4194304 6142532 140722245665136 140722245662536 5137682 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10744 4929 878 476 0 4066 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 42976 KiB
Current children cumulated memory: 19716 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 24572
/proc/meminfo: memFree=7815904/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=42976 memory=19716 CPUtime=12.69 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 13316 0 0 0 1268 1 0 0 20 0 1 0 70201393 44007424 4929 33554432000 4194304 6142532 140722245665136 140722245662536 5138857 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10744 4929 878 476 0 4066 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 42976 KiB
Current children cumulated memory: 19716 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 24572
/proc/meminfo: memFree=7816028/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=42976 memory=19716 CPUtime=25.48 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 16447 0 0 0 2547 1 0 0 20 0 1 0 70201393 44007424 4929 33554432000 4194304 6142532 140722245665136 140722245662536 5137682 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10744 4929 878 476 0 4066 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 42976 KiB
Current children cumulated memory: 19716 KiB
[startup+51.1091 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 24572
/proc/meminfo: memFree=7814960/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=42976 memory=19716 CPUtime=51.08 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 16735 0 0 0 5107 1 0 0 20 0 1 0 70201393 44007424 4929 33554432000 4194304 6142532 140722245665136 140722245662536 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10744 4929 878 476 0 4066 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 42976 KiB
Current children cumulated memory: 19716 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 24573
/proc/meminfo: memFree=7815600/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=42976 memory=19716 CPUtime=102.27 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 16912 0 0 0 10226 1 0 0 20 0 1 0 70201393 44007424 4929 33554432000 4194304 6142532 140722245665136 140722245662536 5215584 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10744 4929 878 476 0 4066 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 42976 KiB
Current children cumulated memory: 19716 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 24574
/proc/meminfo: memFree=7815852/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=42976 memory=19716 CPUtime=162.27 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 17089 0 0 0 16226 1 0 0 20 0 1 0 70201393 44007424 4929 33554432000 4194304 6142532 140722245665136 140722245662536 5215810 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10744 4929 878 476 0 4066 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 42976 KiB
Current children cumulated memory: 19716 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 24583
/proc/meminfo: memFree=7814312/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=42976 memory=19716 CPUtime=222.27 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 17265 0 0 0 22226 1 0 0 20 0 1 0 70201393 44007424 4929 33554432000 4194304 6142532 140722245665136 140722245662536 5137685 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10744 4929 878 476 0 4066 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 42976 KiB
Current children cumulated memory: 19716 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 24584
/proc/meminfo: memFree=7815064/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=42976 memory=19716 CPUtime=282.27 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 17436 0 0 0 28226 1 0 0 20 0 1 0 70201393 44007424 4929 33554432000 4194304 6142532 140722245665136 140722245662536 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10744 4929 878 476 0 4066 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 42976 KiB
Current children cumulated memory: 19716 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24585
/proc/meminfo: memFree=7815188/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=42976 memory=19716 CPUtime=342.26 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 17608 0 0 0 34225 1 0 0 20 0 1 0 70201393 44007424 4929 33554432000 4194304 6142532 140722245665136 140722245662536 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10744 4929 878 476 0 4066 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 42976 KiB
Current children cumulated memory: 19716 KiB
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 24647
/proc/meminfo: memFree=7815552/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=42976 memory=19716 CPUtime=402.26 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 17778 0 0 0 40225 1 0 0 20 0 1 0 70201393 44007424 4929 33554432000 4194304 6142532 140722245665136 140722245662536 5139639 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10744 4929 878 476 0 4066 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 42976 KiB
Current children cumulated memory: 19716 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 24648
/proc/meminfo: memFree=7814920/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=42976 memory=19716 CPUtime=462.26 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 17947 0 0 0 46225 1 0 0 20 0 1 0 70201393 44007424 4929 33554432000 4194304 6142532 140722245665136 140722245662536 5137682 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10744 4929 878 476 0 4066 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 42976 KiB
Current children cumulated memory: 19716 KiB
################
# More data... #
################
/proc/24571/statm: 10744 4929 878 476 0 4066 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 42976 KiB
Current children cumulated memory: 19716 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 24712
/proc/meminfo: memFree=7814924/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=42976 memory=19716 CPUtime=1782.22 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 22551 0 0 0 178221 1 0 0 20 0 1 0 70201393 44007424 4929 33554432000 4194304 6142532 140722245665136 140722245662536 5120791 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10744 4929 878 476 0 4066 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 42976 KiB
Current children cumulated memory: 19716 KiB
[startup+1842.3 s]
/proc/loadavg: 2.24 2.07 2.06 3/187 24713
/proc/meminfo: memFree=7815048/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=43108 memory=19744 CPUtime=1842.22 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 22750 0 0 0 184221 1 0 0 20 0 1 0 70201393 44142592 4936 33554432000 4194304 6142532 140722245665136 140722245662008 5138400 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10777 4936 878 476 0 4099 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 43108 KiB
Current children cumulated memory: 19744 KiB
[startup+1902.3 s]
/proc/loadavg: 2.59 2.23 2.12 3/187 24714
/proc/meminfo: memFree=7815060/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=43108 memory=19828 CPUtime=1902.21 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 23135 0 0 0 190220 1 0 0 20 0 1 0 70201393 44142592 4957 33554432000 4194304 6142532 140722245665136 140722245662536 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10777 4957 878 476 0 4099 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 43108 KiB
Current children cumulated memory: 19828 KiB
[startup+1962.3 s]
/proc/loadavg: 2.22 2.19 2.11 3/187 24715
/proc/meminfo: memFree=7815064/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=43108 memory=19852 CPUtime=1962.21 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 23524 0 0 0 196220 1 0 0 20 0 1 0 70201393 44142592 4963 33554432000 4194304 6142532 140722245665136 140722245662536 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10777 4963 878 476 0 4099 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 43108 KiB
Current children cumulated memory: 19852 KiB
[startup+2022.3 s]
/proc/loadavg: 2.08 2.15 2.11 3/188 24724
/proc/meminfo: memFree=7813808/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=43108 memory=19852 CPUtime=2022.21 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 23729 0 0 0 202220 1 0 0 20 0 1 0 70201393 44142592 4963 33554432000 4194304 6142532 140722245665136 140722245662536 5336753 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10777 4963 878 476 0 4099 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 43108 KiB
Current children cumulated memory: 19852 KiB
[startup+2082.3 s]
/proc/loadavg: 2.03 2.12 2.10 3/188 24725
/proc/meminfo: memFree=7814316/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=43108 memory=19852 CPUtime=2082.21 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 24120 0 0 0 208220 1 0 0 20 0 1 0 70201393 44142592 4963 33554432000 4194304 6142532 140722245665136 140722245662536 5140288 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10777 4963 878 476 0 4099 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 43108 KiB
Current children cumulated memory: 19852 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.10 2.10 3/188 24726
/proc/meminfo: memFree=7814556/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=43108 memory=19852 CPUtime=2142.21 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 24271 0 0 0 214220 1 0 0 20 0 1 0 70201393 44142592 4963 33554432000 4194304 6142532 140722245665136 140722245662536 5137673 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10777 4963 878 476 0 4099 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 43108 KiB
Current children cumulated memory: 19852 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.08 2.09 3/188 24727
/proc/meminfo: memFree=7814628/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=43108 memory=19852 CPUtime=2202.21 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 24665 0 0 0 220220 1 0 0 20 0 1 0 70201393 44142592 4963 33554432000 4194304 6142532 140722245665136 140722245662536 5175088 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10777 4963 878 476 0 4099 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 43108 KiB
Current children cumulated memory: 19852 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.07 2.08 3/188 24728
/proc/meminfo: memFree=7814628/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=43108 memory=19852 CPUtime=2262.2 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 24818 0 0 0 226219 1 0 0 20 0 1 0 70201393 44142592 4963 33554432000 4194304 6142532 140722245665136 140722245662536 5215639 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10777 4963 878 476 0 4099 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 43108 KiB
Current children cumulated memory: 19852 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.06 2.08 3/187 24730
/proc/meminfo: memFree=7814068/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=43108 memory=19852 CPUtime=2322.2 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 25142 0 0 0 232219 1 0 0 20 0 1 0 70201393 44142592 4963 33554432000 4194304 6142532 140722245665136 140722245662536 5137756 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10777 4963 878 476 0 4099 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 43108 KiB
Current children cumulated memory: 19852 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/187 24731
/proc/meminfo: memFree=7814576/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=43108 memory=19852 CPUtime=2382.2 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 25255 0 0 0 238219 1 0 0 20 0 1 0 70201393 44142592 4963 33554432000 4194304 6142532 140722245665136 140722245662536 5175056 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10777 4963 878 476 0 4099 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 43108 KiB
Current children cumulated memory: 19852 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/187 24732
/proc/meminfo: memFree=7814584/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=43108 memory=19852 CPUtime=2442.2 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 25557 0 0 0 244219 1 0 0 20 0 1 0 70201393 44142592 4963 33554432000 4194304 6142532 140722245665136 140722245662536 5137319 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10777 4963 878 476 0 4099 0
Current children cumulated CPU time: 2442.2 s
Current children cumulated vsize: 43108 KiB
Current children cumulated memory: 19852 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/187 24734
/proc/meminfo: memFree=7813824/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=43108 memory=19852 CPUtime=2502.2 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 25699 0 0 0 250219 1 0 0 20 0 1 0 70201393 44142592 4963 33554432000 4194304 6142532 140722245665136 140722245662536 5138684 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10777 4963 878 476 0 4099 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 43108 KiB
Current children cumulated memory: 19852 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.06 3/187 24734
/proc/meminfo: memFree=7814452/32770624 swapFree=67108860/67108860
[pid=24571] ppid=24568 vsize=43108 memory=19852 CPUtime=2519.9 cores=1,3,5,7
/proc/24571/stat : 24571 (cosoco) R 24568 24571 21810 0 -1 4202496 25817 0 0 0 251989 1 0 0 20 0 1 0 70201393 44142592 4963 33554432000 4194304 6142532 140722245665136 140722245662536 5215649 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24698880 140722245670022 140722245670152 140722245670152 140722245672910 0
/proc/24571/statm: 10777 4963 878 476 0 4099 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 43108 KiB
Current children cumulated memory: 19852 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 24571 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.9 s, system=0.018999 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.92
CPU user time (s): 2519.9
CPU system time (s): 0.018999
CPU usage (%): 99.9964
Max. virtual memory (cumulated for all children) (KiB): 43108
Max. memory (cumulated for all children) (KiB): 19852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.9
system time used= 0.018999
maximum resident set size= 19916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25867
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= 682
# summary of solver processes directly reported to runsolver:
# pid: 24571
# total CPU time (s): 2519.92
# total CPU user time (s): 2519.9
# total CPU system time (s): 0.018999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.48549 second user time and 16.5677 second system time
The end
Begin job on node139 at 2018-07-25 15:46:22 IDJOB=4295052 IDBENCH=141459 IDSOLVER=2752 FILE ID=node139/4295052-1532526382 RUNJOBID= node139-1532498649-21842 PBS_JOBID= 21021588 Free space on /tmp= 38840 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/CarSequencing/CarSequencing-80-01_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295052-1532526382/watcher-4295052-1532526382 -o /tmp/evaluation-result-4295052-1532526382/solver-4295052-1532526382 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21842 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295052-1532526382.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1fae7142163c3dd6bc5a43a0b85b79be RANDOM SEED=409307394 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: 7831828 kB MemAvailable: 31916588 kB Buffers: 214480 kB Cached: 23718528 kB SwapCached: 0 kB Active: 2818132 kB Inactive: 21182268 kB Active(anon): 23324 kB Inactive(anon): 72248 kB Active(file): 2794808 kB Inactive(file): 21110020 kB Unevictable: 7304 kB Mlocked: 7304 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2788 kB Writeback: 0 kB AnonPages: 78956 kB Mapped: 41292 kB Shmem: 25228 kB Slab: 636116 kB SReclaimable: 608392 kB SUnreclaim: 27724 kB KernelStack: 3552 kB PageTables: 5132 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 367688 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 16:28:22