Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 1.12 | ? (TO) | 2519.93 | 2520.01 |
Name | CarSequencing/ CarSequencing-80-02_c18.xml |
MD5SUM | 201da62bda966dccc44cd0c6ff0d4af7 |
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 | 19.6691 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 1431 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":2,"count":1000},{"size":25,"count":200}] |
Minimum variable degree | 2 |
Maximum variable degree | 75 |
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":51,"count":8}, {"degree":52,"count":9}, {"degree":53,"count":9}, {"degree":54,"count":56}, {"degree":55,"count":5}, {"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":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":3}, {"degree":75,"count":57}] |
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":35,"count":1},{"arity":38,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":2},{"arity":47,"count":1},{"arity":50,"count":3},{"arity":53,"count":2},{"arity":55,"count":2},{"arity":56,"count":2},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"count":3},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":4},{"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":1230},{"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.09/0.17 c root propagations : 0 0.09/0.17 c restarts enabled, print stats at every restarts 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c This is cosoco 1.12 -- 0.09/0.17 c 0.09/0.17 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294971-1532516299.xml 0.09/0.17 c ========================================[ Problem Statistics ]=========================================== 0.09/0.17 c | 0.09/0.17 c | Parse time : 0.16 s 0.09/0.17 c | 0.09/0.17 c | Variables: 1200 0.09/0.17 c | Domain Sizes: 2..25 0.09/0.17 c | 0.09/0.17 c | Constraints: 1455 0.09/0.17 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.09/0.17 c | 0.09/0.17 c | Types: 0.09/0.17 c | Exactly K: 25 0.09/0.17 c | Extension: 200 (nb tuples: 25..25) -- (shared: 199) 0.09/0.17 c | Sum: 1230 0.09/0.17 c | 0.09/0.17 c ========================================================================================================= 0.09/0.17 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.69/0.76 c 101 1340 104075 24431 0 0 878 921 881 1.19/1.28 c 211 1968 180788 42688 0 0 94 105 99 1.79/1.83 c 332 2635 262180 65354 0 0 67 124 95 2.69/2.75 c 465 4247 422022 102030 0 0 66 946 546 3.39/3.49 c 611 5984 551790 121001 0 0 70 919 816 4.10/4.12 c 771 7050 656839 147346 0 0 84 193 183 4.79/4.85 c 947 8073 770283 181917 0 0 55 66 62 5.59/5.65 c 1140 10041 920757 207642 0 0 54 782 606 6.29/6.37 c 1352 11185 1037888 237738 0 0 60 331 299 6.89/6.92 c 1585 12288 1132323 269522 0 0 59 210 202 7.39/7.47 c 1841 13335 1222428 292504 0 0 86 215 193 8.00/8.09 c 2122 14741 1324678 328971 0 0 40 85 72 10.10/10.17 c 2431 16475 1632633 382586 0 0 40 486 297 10.89/10.97 c 2770 18618 1764836 431395 0 0 41 83 74 12.29/12.34 c 3142 20615 1981250 467553 0 0 40 507 269 13.39/13.40 c 3551 22106 2138488 489124 0 0 40 353 345 14.39/14.44 c 4000 23832 2362967 538620 0 0 164 389 343 15.49/15.51 c 4493 25315 2568047 574358 0 0 64 324 313 16.39/16.48 c 5035 27081 2811133 614501 0 0 69 427 413 17.69/17.70 c 5631 29217 3038794 654237 0 0 126 438 335 19.79/19.88 c 6286 38484 3480987 706055 0 0 40 670 509 21.39/21.40 c 7006 40735 3708652 736280 0 0 235 270 246 25.69/25.71 c 7798 43616 4416372 900814 0 0 206 617 422 28.19/28.22 c 8669 48666 4836867 992858 0 0 71 325 291 29.39/29.48 c 9627 52126 5213856 1070877 0 0 64 631 616 31.39/31.47 c 10680 57655 5656413 1140547 0 0 180 699 674 33.09/33.14 c 11838 61159 6028816 1187237 0 0 64 594 566 35.79/35.88 c 13111 67760 6528726 1292276 0 0 185 721 425 38.79/38.87 c 14511 72023 6971945 1349229 0 0 321 355 334 42.18/42.28 c 16051 76517 7475915 1413660 0 0 233 249 244 44.58/44.68 c 17745 80986 7938756 1470941 0 0 186 324 315 48.38/48.42 c 19608 87721 8576991 1587153 0 0 79 235 205 53.09/53.17 c 21657 96520 9373073 1769787 0 0 83 204 167 57.58/57.63 c 23910 106429 10170830 2122721 0 0 52 66 61 63.99/64.01 c 26388 117913 11182375 2380590 0 0 54 274 184 68.58/68.60 c 29113 126217 11933257 2531202 0 0 53 249 210 73.18/73.27 c 32110 136196 12774078 2660458 0 0 61 257 241 80.78/80.86 c 35406 149965 14573730 2912395 0 0 61 382 345 88.78/88.83 c 39031 164218 15983288 3242609 0 0 58 284 233 99.09/99.12 c 43018 178302 17831428 3606694 0 0 58 430 248 109.38/109.46 c 47403 191945 19607679 3862006 0 0 56 233 211 115.78/115.84 c 52226 209325 20994248 4091227 0 0 58 295 269 129.58/129.69 c 57531 225402 23311854 4535923 0 0 56 233 203 142.18/142.26 c 63366 248488 25522847 4966862 0 0 77 445 221 154.18/154.26 c 69784 272223 27600523 5529753 0 0 59 264 216 168.28/168.32 c 76843 294106 30576302 6147341 0 0 65 458 307 178.99/179.07 c 84607 316048 33800725 6715991 0 0 85 461 442 190.99/191.03 c 93147 337333 36053063 7026790 0 0 53 377 349 203.98/204.03 c 102541 360869 39282010 7557393 0 0 56 490 475 218.58/218.62 c 112874 388530 41856228 8116993 0 0 49 352 285 236.98/237.07 c 124240 428265 45384154 8924169 0 0 55 526 371 257.78/257.80 c 136742 472793 49750301 9581344 0 0 49 412 368 285.77/285.85 c 150494 512647 54044136 10157867 0 0 94 284 273 316.17/316.23 c 165621 557849 59141821 10951499 0 0 67 333 285 335.17/335.28 c 182260 608779 64294861 12127630 0 0 62 442 400 359.27/359.35 c 200562 664493 70356413 13131610 0 0 77 517 468 411.98/412.10 c 220694 747371 81123756 15819171 0 0 66 558 483 428.98/429.05 c 242839 805865 87193346 17051384 0 0 74 633 620 454.98/455.04 c 267198 858142 93305539 18430213 0 0 56 609 590 489.57/489.60 c 293992 954621 103623546 19544637 0 0 56 751 731 524.98/525.10 c 323465 1084409 112740397 21488648 0 0 58 722 649 615.36/615.49 c 355885 1241258 127303338 26791469 0 0 76 389 353 685.66/685.76 c 391547 1367885 140803788 28042787 0 0 58 547 470 746.16/746.23 c 430775 1513833 153555956 30223775 0 0 57 471 436 901.57/901.65 c 473925 1791527 177454278 35558450 0 0 53 370 220 940.86/940.99 c 521390 1938176 186246218 36644309 0 0 53 423 405 1082.97/1083.04 c 573601 2114863 212499944 41100328 0 0 53 493 303 1170.16/1170.20 c 631033 2317779 232494674 45966754 0 0 139 463 433 1344.65/1344.76 c 694208 2636616 260235835 53005915 0 0 74 209 186 1457.06/1457.18 c 763700 2964080 284181734 58802668 0 0 110 465 328 1655.95/1656.06 c 840141 3416782 317318025 71400808 0 0 72 222 206 1793.84/1793.96 c 924226 3675248 341354867 74438246 0 0 72 439 388 2027.04/2027.19 c 1016719 3986951 387629427 84014022 0 0 74 399 363 2219.52/2219.66 c 1118461 4364197 426670224 89685166 0 0 74 528 368 2357.93/2358.10 c 1230377 4673636 457558210 95354518 0 0 58 509 481 2513.81/2513.91 c 1353484 5036809 492006659 100867041 0 0 67 452 416 2519.92/2520.00 2519.92/2520.00 c *** INTERRUPTED *** 2519.92/2520.00 c restarts : 76 2519.92/2520.00 c conflicts : 1355115 (538 /sec) 2519.92/2520.00 c decisions : 5048166 (2003 /sec) 2519.92/2520.00 c propagations : 101014577 (40087 /sec) 2519.92/2520.00 c root propagations : 0 2519.92/2520.00 c filter calls : 492802854 (195564 /sec) 2519.92/2520.00 c useless filter calls : 468087821 (94 %) 2519.92/2520.00 c Memory used : 41.96 MB 2519.92/2520.00 c CPU time : 2519.91 s 2519.92/2520.00 2519.92/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 (1587 MiB free) memory of node 1: 16384 MiB (6068 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294971-1532516299/watcher-4294971-1532516299 -o /tmp/evaluation-result-4294971-1532516299/solver-4294971-1532516299 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21842 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294971-1532516299.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=23614, runsolver pid=23611 [startup+0.100155 s]* /proc/loadavg: 2.00 2.01 2.05 3/187 23615 /proc/meminfo: memFree=7830348/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=34948 memory=11416 CPUtime=0.09 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 3016 0 0 0 9 0 0 0 20 0 1 0 69193048 35786752 2854 33554432000 4194304 6142532 140732136596304 140732136592936 5628329 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 8737 2854 832 476 0 2059 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 34948 KiB Current children cumulated memory: 11416 KiB [startup+0.209583 s]* /proc/loadavg: 2.00 2.01 2.05 3/187 23615 /proc/meminfo: memFree=7827744/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=37416 memory=13876 CPUtime=0.2 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 3677 0 0 0 20 0 0 0 20 0 1 0 69193048 38313984 3469 33554432000 4194304 6142532 140732136596304 140732136593192 5175070 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 9354 3469 876 476 0 2676 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 37416 KiB Current children cumulated memory: 13876 KiB [startup+0.309182 s]* /proc/loadavg: 2.00 2.01 2.05 3/187 23615 /proc/meminfo: memFree=7827016/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=38208 memory=14668 CPUtime=0.3 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 3877 0 0 0 30 0 0 0 20 0 1 0 69193048 39124992 3667 33554432000 4194304 6142532 140732136596304 140732136593192 5138688 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 9552 3667 876 476 0 2874 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 38208 KiB Current children cumulated memory: 14668 KiB [startup+0.700281 s] /proc/loadavg: 2.00 2.01 2.05 3/187 23615 /proc/meminfo: memFree=7824412/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=40456 memory=17088 CPUtime=0.69 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 4451 0 0 0 69 0 0 0 20 0 1 0 69193048 41426944 4272 33554432000 4194304 6142532 140732136596304 140732136593192 5215647 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10114 4272 876 476 0 3436 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 40456 KiB Current children cumulated memory: 17088 KiB [startup+1.50028 s] /proc/loadavg: 2.00 2.01 2.05 3/187 23615 /proc/meminfo: memFree=7824412/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=40456 memory=17088 CPUtime=1.49 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 4453 0 0 0 149 0 0 0 20 0 1 0 69193048 41426944 4272 33554432000 4194304 6142532 140732136596304 140732136593704 5137756 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10114 4272 876 476 0 3436 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 40456 KiB Current children cumulated memory: 17088 KiB [startup+3.10918 s] /proc/loadavg: 2.00 2.01 2.05 3/187 23615 /proc/meminfo: memFree=7822512/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42176 memory=18832 CPUtime=3.1 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 7879 0 0 0 309 1 0 0 20 0 1 0 69193048 43188224 4708 33554432000 4194304 6142532 140732136596304 140732136593704 5137583 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10544 4708 878 476 0 3866 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 42176 KiB Current children cumulated memory: 18832 KiB [startup+6.30027 s] /proc/loadavg: 2.00 2.01 2.05 3/187 23615 /proc/meminfo: memFree=7822364/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42572 memory=19252 CPUtime=6.29 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 11383 0 0 0 628 1 0 0 20 0 1 0 69193048 43593728 4813 33554432000 4194304 6142532 140732136596304 140732136593224 5215644 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10643 4813 878 476 0 3965 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 42572 KiB Current children cumulated memory: 19252 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 3/187 23615 /proc/meminfo: memFree=7822364/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42572 memory=19284 CPUtime=12.69 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 14724 0 0 0 1268 1 0 0 20 0 1 0 69193048 43593728 4821 33554432000 4194304 6142532 140732136596304 140732136593704 5137617 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10643 4821 878 476 0 3965 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 42572 KiB Current children cumulated memory: 19284 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.05 3/187 23615 /proc/meminfo: memFree=7822240/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42572 memory=19340 CPUtime=25.49 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 20682 0 0 0 2548 1 0 0 20 0 1 0 69193048 43593728 4835 33554432000 4194304 6142532 140732136596304 140732136593704 5215653 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10643 4835 878 476 0 3965 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 42572 KiB Current children cumulated memory: 19340 KiB [startup+51.1089 s] /proc/loadavg: 2.00 2.01 2.05 3/187 23615 /proc/meminfo: memFree=7821300/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19612 CPUtime=51.09 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 23702 0 0 0 5108 1 0 0 20 0 1 0 69193048 43999232 4903 33554432000 4194304 6142532 140732136596304 140732136593704 5215649 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4903 878 476 0 4064 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19612 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 23624 /proc/meminfo: memFree=7820616/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19612 CPUtime=102.28 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 25034 0 0 0 10227 1 0 0 20 0 1 0 69193048 43999232 4903 33554432000 4194304 6142532 140732136596304 140732136593704 5318976 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4903 878 476 0 4064 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19612 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/189 23648 /proc/meminfo: memFree=7820552/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19612 CPUtime=162.28 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 25870 0 0 0 16227 1 0 0 20 0 1 0 69193048 43999232 4903 33554432000 4194304 6142532 140732136596304 140732136593704 5137728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4903 878 476 0 4064 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19612 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.05 3/189 23649 /proc/meminfo: memFree=7821220/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19612 CPUtime=222.28 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 26716 0 0 0 22227 1 0 0 20 0 1 0 69193048 43999232 4903 33554432000 4194304 6142532 140732136596304 140732136593704 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4903 878 476 0 4064 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19612 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/189 23650 /proc/meminfo: memFree=7821344/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19612 CPUtime=282.28 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 27545 0 0 0 28227 1 0 0 20 0 1 0 69193048 43999232 4903 33554432000 4194304 6142532 140732136596304 140732136593704 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4903 878 476 0 4064 0 Current children cumulated CPU time: 282.28 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19612 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/189 23651 /proc/meminfo: memFree=7821824/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19612 CPUtime=342.27 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 28396 0 0 0 34226 1 0 0 20 0 1 0 69193048 43999232 4903 33554432000 4194304 6142532 140732136596304 140732136593704 5215813 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4903 878 476 0 4064 0 Current children cumulated CPU time: 342.27 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19612 KiB [startup+402.3 s] /proc/loadavg: 1.96 2.00 2.04 3/189 23716 /proc/meminfo: memFree=7820984/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19612 CPUtime=402.27 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 29232 0 0 0 40226 1 0 0 20 0 1 0 69193048 43999232 4903 33554432000 4194304 6142532 140732136596304 140732136593704 5137728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4903 878 476 0 4064 0 Current children cumulated CPU time: 402.27 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19612 KiB [startup+462.3 s] /proc/loadavg: 1.98 2.00 2.04 3/188 23717 /proc/meminfo: memFree=7821124/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19612 CPUtime=462.27 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 30098 0 0 0 46226 1 0 0 20 0 1 0 69193048 43999232 4903 33554432000 4194304 6142532 140732136596304 140732136593704 5137685 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4903 878 476 0 4064 0 Current children cumulated CPU time: 462.27 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19612 KiB ################ # More data... # ################ /proc/23614/statm: 10742 4914 878 476 0 4064 0 Current children cumulated CPU time: 1722.24 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19656 KiB [startup+1782.3 s] /proc/loadavg: 2.05 2.04 2.05 3/187 23758 /proc/meminfo: memFree=7820408/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19656 CPUtime=1782.24 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 45090 0 0 0 178222 2 0 0 20 0 1 0 69193048 43999232 4914 33554432000 4194304 6142532 140732136596304 140732136593704 5120760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4914 878 476 0 4064 0 Current children cumulated CPU time: 1782.24 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19656 KiB [startup+1842.3 s] /proc/loadavg: 2.05 2.04 2.05 3/187 23760 /proc/meminfo: memFree=7820032/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19656 CPUtime=1842.24 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 45981 0 0 0 184222 2 0 0 20 0 1 0 69193048 43999232 4914 33554432000 4194304 6142532 140732136596304 140732136593704 5120824 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4914 878 476 0 4064 0 Current children cumulated CPU time: 1842.24 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19656 KiB [startup+1902.3 s] /proc/loadavg: 2.05 2.05 2.05 3/187 23761 /proc/meminfo: memFree=7819912/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19656 CPUtime=1902.24 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 46600 0 0 0 190222 2 0 0 20 0 1 0 69193048 43999232 4914 33554432000 4194304 6142532 140732136596304 140732136593704 5175059 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4914 878 476 0 4064 0 Current children cumulated CPU time: 1902.24 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19656 KiB [startup+1962.3 s] /proc/loadavg: 2.05 2.05 2.05 3/189 23771 /proc/meminfo: memFree=7819888/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19656 CPUtime=1962.23 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 47112 0 0 0 196221 2 0 0 20 0 1 0 69193048 43999232 4914 33554432000 4194304 6142532 140732136596304 140732136593704 5175056 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4914 878 476 0 4064 0 Current children cumulated CPU time: 1962.23 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19656 KiB [startup+2022.3 s] /proc/loadavg: 2.05 2.06 2.05 3/189 23772 /proc/meminfo: memFree=7820260/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19656 CPUtime=2022.23 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 47596 0 0 0 202221 2 0 0 20 0 1 0 69193048 43999232 4914 33554432000 4194304 6142532 140732136596304 140732136593704 5140391 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4914 878 476 0 4064 0 Current children cumulated CPU time: 2022.23 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19656 KiB [startup+2082.3 s] /proc/loadavg: 2.02 2.05 2.05 3/189 23773 /proc/meminfo: memFree=7820204/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19656 CPUtime=2082.23 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 48273 0 0 0 208221 2 0 0 20 0 1 0 69193048 43999232 4914 33554432000 4194304 6142532 140732136596304 140732136593704 5120836 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4914 878 476 0 4064 0 Current children cumulated CPU time: 2082.23 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19656 KiB [startup+2142.3 s] /proc/loadavg: 2.01 2.04 2.05 3/189 23774 /proc/meminfo: memFree=7820212/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19656 CPUtime=2142.23 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 48838 0 0 0 214221 2 0 0 20 0 1 0 69193048 43999232 4914 33554432000 4194304 6142532 140732136596304 140732136593704 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4914 878 476 0 4064 0 Current children cumulated CPU time: 2142.23 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19656 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.03 2.05 3/189 23775 /proc/meminfo: memFree=7820164/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19656 CPUtime=2202.22 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 49576 0 0 0 220220 2 0 0 20 0 1 0 69193048 43999232 4914 33554432000 4194304 6142532 140732136596304 140732136593704 5215810 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4914 878 476 0 4064 0 Current children cumulated CPU time: 2202.22 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19656 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 23776 /proc/meminfo: memFree=7820240/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19656 CPUtime=2262.22 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 50425 0 0 0 226220 2 0 0 20 0 1 0 69193048 43999232 4914 33554432000 4194304 6142532 140732136596304 140732136593704 5137685 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4914 878 476 0 4064 0 Current children cumulated CPU time: 2262.22 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19656 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 23777 /proc/meminfo: memFree=7820364/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19656 CPUtime=2322.22 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 50900 0 0 0 232220 2 0 0 20 0 1 0 69193048 43999232 4914 33554432000 4194304 6142532 140732136596304 140732136593704 5140429 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4914 878 476 0 4064 0 Current children cumulated CPU time: 2322.22 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19656 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 23778 /proc/meminfo: memFree=7819868/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19656 CPUtime=2382.22 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 51734 0 0 0 238220 2 0 0 20 0 1 0 69193048 43999232 4914 33554432000 4194304 6142532 140732136596304 140732136593704 5336586 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4914 878 476 0 4064 0 Current children cumulated CPU time: 2382.22 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19656 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 23779 /proc/meminfo: memFree=7820124/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19656 CPUtime=2442.22 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 52456 0 0 0 244220 2 0 0 20 0 1 0 69193048 43999232 4914 33554432000 4194304 6142532 140732136596304 140732136593704 5138400 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4914 878 476 0 4064 0 Current children cumulated CPU time: 2442.22 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19656 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 23780 /proc/meminfo: memFree=7820252/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19656 CPUtime=2502.21 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 52955 0 0 0 250219 2 0 0 20 0 1 0 69193048 43999232 4914 33554432000 4194304 6142532 140732136596304 140732136593704 5139587 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4914 878 476 0 4064 0 Current children cumulated CPU time: 2502.21 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19656 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.01 2.05 3/189 23789 /proc/meminfo: memFree=7818804/32770624 swapFree=67108860/67108860 [pid=23614] ppid=23611 vsize=42968 memory=19656 CPUtime=2519.92 cores=1,3,5,7 /proc/23614/stat : 23614 (cosoco) R 23611 23614 21810 0 -1 4202496 53582 0 0 0 251990 2 0 0 20 0 1 0 69193048 43999232 4914 33554432000 4194304 6142532 140732136596304 140732136593704 5137617 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35893248 140732136604806 140732136604936 140732136604936 140732136607694 0 /proc/23614/statm: 10742 4914 878 476 0 4064 0 Current children cumulated CPU time: 2519.92 s Current children cumulated vsize: 42968 KiB Current children cumulated memory: 19656 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 23614 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.91 s, system=0.024999 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.93 CPU user time (s): 2519.91 CPU system time (s): 0.024999 CPU usage (%): 99.997 Max. virtual memory (cumulated for all children) (KiB): 42968 Max. memory (cumulated for all children) (KiB): 19656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.91 system time used= 0.024999 maximum resident set size= 19720 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 53632 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= 20 involuntary context switches= 641 # summary of solver processes directly reported to runsolver: # pid: 23614 # total CPU time (s): 2519.93 # total CPU user time (s): 2519.91 # total CPU system time (s): 0.024999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.12709 second user time and 16.371 second system time The end
Begin job on node139 at 2018-07-25 12:58:19 IDJOB=4294971 IDBENCH=141450 IDSOLVER=2752 FILE ID=node139/4294971-1532516299 RUNJOBID= node139-1532498649-21842 PBS_JOBID= 21021588 Free space on /tmp= 38840 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/CarSequencing/CarSequencing-80-02_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294971-1532516299/watcher-4294971-1532516299 -o /tmp/evaluation-result-4294971-1532516299/solver-4294971-1532516299 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21842 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294971-1532516299.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 201da62bda966dccc44cd0c6ff0d4af7 RANDOM SEED=405747829 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: 7838248 kB MemAvailable: 31918640 kB Buffers: 213048 kB Cached: 23715064 kB SwapCached: 0 kB Active: 2813500 kB Inactive: 21180644 kB Active(anon): 21316 kB Inactive(anon): 72248 kB Active(file): 2792184 kB Inactive(file): 21108396 kB Unevictable: 7304 kB Mlocked: 7304 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2748 kB Writeback: 0 kB AnonPages: 87568 kB Mapped: 40996 kB Shmem: 25228 kB Slab: 635620 kB SReclaimable: 608272 kB SUnreclaim: 27348 kB KernelStack: 3360 kB PageTables: 4928 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 365812 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 32768 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 13:40:19