Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 1.12 | ? (TO) | 2519.96 | 2520.01 |
Name | CarSequencing/ CarSequencing-90-01_c18.xml |
MD5SUM | cda201995a07a9b7663412ba5f5fbb4e |
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 | 156.426 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 1459 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 27 |
Distribution of domain sizes | [{"size":2,"count":1000},{"size":27,"count":200}] |
Minimum variable degree | 2 |
Maximum variable degree | 92 |
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":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":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":2}, {"degree":85,"count":2}, {"degree":86,"count":2}, {"degree":87,"count":2}, {"degree":88,"count":2}, {"degree":89,"count":2}, {"degree":90,"count":2}, {"degree":91,"count":3}, {"degree":92,"count":23}] |
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":20,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":26,"count":3},{"arity":28,"count":1},{"arity":29,"count":2},{"arity":30,"count":2},{"arity":32,"count":3},{"arity":34,"count":1},{"arity":35,"count":3},{"arity":36,"count":1},{"arity":38,"count":3},{"arity":40,"count":2},{"arity":41,"count":2},{"arity":42,"count":1},{"arity":44,"count":3},{"arity":45,"count":1},{"arity":46,"count":1},{"arity":47,"count":2},{"arity":48,"count":1},{"arity":50,"count":4},"...",{"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":1258},{"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-4295043-1532524223.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..27 0.10/0.18 c | 0.10/0.18 c | Constraints: 1485 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: 27 0.10/0.18 c | Extension: 200 (nb tuples: 27..27) -- (shared: 199) 0.10/0.18 c | Sum: 1258 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.69/0.70 c 101 986 86885 26569 0 0 644 654 642 1.00/1.08 c 211 1385 147468 51884 0 0 36 49 40 1.39/1.48 c 332 1880 206889 71574 0 0 26 53 36 2.00/2.09 c 465 3110 314061 101591 0 0 22 757 649 3.29/3.33 c 611 4112 488427 128029 0 0 38 254 243 4.19/4.28 c 771 5557 631104 156493 0 0 33 902 284 5.19/5.21 c 947 7145 806909 185535 0 0 39 766 717 5.79/5.81 c 1140 8360 925529 206340 0 0 35 537 473 6.49/6.50 c 1352 9449 1062556 227350 0 0 34 532 521 7.19/7.21 c 1585 10422 1202236 249596 0 0 38 414 397 7.78/7.85 c 1841 11582 1324060 271521 0 0 39 475 414 8.58/8.67 c 2122 12826 1461752 321852 0 0 52 262 235 9.18/9.21 c 2431 14127 1559630 369248 0 0 57 98 77 9.78/9.89 c 2770 15954 1679564 422254 0 0 49 101 87 10.58/10.60 c 3142 17811 1834044 439064 0 0 49 327 310 12.09/12.17 c 3551 18886 2100621 496188 0 0 49 249 238 14.48/14.53 c 4000 20685 2554502 560626 0 0 207 278 270 16.99/17.01 c 4493 22949 3008078 644282 0 0 49 290 281 18.09/18.12 c 5035 24437 3214791 688180 0 0 49 307 298 19.18/19.29 c 5631 26091 3429522 746729 0 0 82 364 248 20.99/21.01 c 6286 27814 3752753 803468 0 0 89 284 272 24.28/24.31 c 7006 30429 4246182 876465 0 0 82 203 195 26.38/26.50 c 7798 33063 4655213 915246 0 0 103 348 312 27.99/28.05 c 8669 36720 5005664 956206 0 0 122 303 290 30.38/30.47 c 9627 39436 5416461 1107483 0 0 88 103 98 32.39/32.40 c 10680 41754 5778440 1203160 0 0 72 323 165 35.10/35.12 c 11838 44538 6251417 1368954 0 0 81 261 106 38.69/38.78 c 13111 50000 6913800 1532264 0 0 43 175 161 41.89/41.93 c 14511 56577 7465287 1768950 0 0 50 66 60 44.19/44.23 c 16051 59544 7964288 1884596 0 0 47 322 296 47.89/47.93 c 17745 63200 8720132 2005308 0 0 48 327 307 51.69/51.75 c 19608 66985 9460970 2092273 0 0 48 324 316 56.10/56.13 c 21657 73723 10427259 2214469 0 0 48 340 327 65.10/65.14 c 23910 85358 11771503 2456635 0 0 48 190 172 70.59/70.67 c 26388 94798 13075793 2650200 0 0 56 398 376 83.29/83.36 c 29113 102495 15078157 3010686 0 0 49 327 252 93.29/93.35 c 32110 110406 16757607 3247879 0 0 47 367 322 98.59/98.67 c 35406 121858 17754842 3403137 0 0 54 300 275 104.39/104.44 c 39031 135317 19214760 3665735 0 0 51 379 347 115.19/115.22 c 43018 143290 21083592 4445467 0 0 50 377 326 147.89/147.98 c 47403 152876 26082484 6924122 0 0 48 307 298 157.58/157.62 c 52226 165668 27810626 7169782 0 0 53 328 292 168.38/168.46 c 57531 185717 29656445 7482320 0 0 55 236 202 184.88/184.90 c 63366 207837 32466317 7951059 0 0 63 193 161 209.99/210.02 c 69784 244626 36568666 9027412 0 0 43 307 116 229.28/229.33 c 76843 268454 39961015 9485612 0 0 42 172 158 247.48/247.56 c 84607 300580 43100825 10088964 0 0 50 173 141 261.78/261.86 c 93147 328427 45644323 10491546 0 0 43 212 187 280.78/280.89 c 102541 352766 49446112 11152899 0 0 45 216 209 301.48/301.58 c 112874 378325 53846282 11812588 0 0 49 324 300 330.38/330.41 c 124240 401877 59403435 12534020 0 0 45 320 295 348.18/348.29 c 136742 439088 63951921 13286332 0 0 48 312 288 374.18/374.28 c 150494 475879 68902721 14294904 0 0 45 322 256 406.28/406.39 c 165621 502419 75682585 15502599 0 0 43 293 283 429.18/429.22 c 182260 556481 80257349 16034286 0 0 43 218 210 478.47/478.50 c 200562 604928 89031600 17439236 0 0 44 182 177 538.27/538.35 c 220694 676081 98926681 19098622 0 0 54 165 132 588.37/588.45 c 242839 751107 109219483 20819098 0 0 55 310 264 641.08/641.15 c 267198 789838 118613511 22525696 0 0 50 271 258 704.57/704.69 c 293992 839568 130078173 24213366 0 0 66 256 244 813.17/813.23 c 323465 1007577 146977750 27695044 0 0 72 111 101 869.87/869.96 c 355885 1111800 157368511 28902168 0 0 47 202 187 942.86/943.00 c 391547 1201258 170875281 30629736 0 0 47 332 216 1093.56/1093.66 c 430775 1326495 195146281 37440048 0 0 39 157 148 1212.36/1212.49 c 473925 1528125 224458194 41541252 0 0 68 294 280 1346.26/1346.36 c 521390 1693189 246303752 46436242 0 0 53 141 113 1430.06/1430.15 c 573601 1887459 268962471 49750364 0 0 45 283 274 1599.97/1600.10 c 631033 2020185 297909209 55020072 0 0 44 159 150 1756.46/1756.55 c 694208 2196872 325719884 59759996 0 0 50 160 144 1856.06/1856.11 c 763700 2331659 348945139 63631500 0 0 53 271 261 1960.45/1960.51 c 840141 2505633 375327961 67494296 0 0 47 320 306 2116.96/2117.04 c 924226 2705889 404087658 72750446 0 0 49 353 231 2398.05/2398.18 c 1016719 2936975 456563112 104512293 0 0 56 358 282 2519.95/2520.00 2519.95/2520.00 c *** INTERRUPTED *** 2519.95/2520.00 c restarts : 73 2519.95/2520.00 c conflicts : 1095117 (435 /sec) 2519.95/2520.00 c decisions : 3136405 (1245 /sec) 2519.95/2520.00 c propagations : 109030246 (43267 /sec) 2519.95/2520.00 c root propagations : 0 2519.95/2520.00 c filter calls : 479329866 (190215 /sec) 2519.95/2520.00 c useless filter calls : 455934621 (95 %) 2519.95/2520.00 c Memory used : 41.48 MB 2519.95/2520.00 c CPU time : 2519.93 s 2519.95/2520.00 2519.95/2520.00 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (1601 MiB free) memory of node 1: 16384 MiB (6057 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295043-1532524223/watcher-4295043-1532524223 -o /tmp/evaluation-result-4295043-1532524223/solver-4295043-1532524223 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21841 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295043-1532524223.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=24450, runsolver pid=24447 [startup+0.100199 s]* /proc/loadavg: 2.00 2.01 2.04 3/188 24451 /proc/meminfo: memFree=7834796/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=34976 memory=11436 CPUtime=0.1 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 3027 0 0 0 10 0 0 0 20 0 1 0 69985517 35815424 2859 33554432000 4194304 6142532 140725024883264 140725024879896 139769296112613 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 8744 2859 832 476 0 2066 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 34976 KiB Current children cumulated memory: 11436 KiB [startup+0.209856 s]* /proc/loadavg: 2.00 2.01 2.04 3/188 24451 /proc/meminfo: memFree=7832192/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=37452 memory=13912 CPUtime=0.21 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 3695 0 0 0 21 0 0 0 20 0 1 0 69985517 38350848 3478 33554432000 4194304 6142532 140725024883264 140725024879896 5215644 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 9363 3478 860 476 0 2685 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 37452 KiB Current children cumulated memory: 13912 KiB [startup+0.309518 s]* /proc/loadavg: 2.00 2.01 2.04 3/188 24451 /proc/meminfo: memFree=7831076/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=38508 memory=14968 CPUtime=0.31 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 3963 0 0 0 31 0 0 0 20 0 1 0 69985517 39432192 3742 33554432000 4194304 6142532 140725024883264 140725024879896 139769296112613 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 9627 3742 876 476 0 2949 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 38508 KiB Current children cumulated memory: 14968 KiB [startup+0.700337 s] /proc/loadavg: 2.00 2.01 2.04 3/188 24451 /proc/meminfo: memFree=7829960/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=39828 memory=16288 CPUtime=0.69 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 4275 0 0 0 69 0 0 0 20 0 1 0 69985517 40783872 4072 33554432000 4194304 6142532 140725024883264 140725024880152 5138400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 9957 4072 876 476 0 3279 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 39828 KiB Current children cumulated memory: 16288 KiB [startup+1.50034 s] /proc/loadavg: 2.00 2.01 2.04 3/188 24451 /proc/meminfo: memFree=7829716/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=39828 memory=16288 CPUtime=1.49 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 4277 0 0 0 149 0 0 0 20 0 1 0 69985517 40783872 4072 33554432000 4194304 6142532 140725024883264 140725024880664 5137316 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 9957 4072 876 476 0 3279 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 39828 KiB Current children cumulated memory: 16288 KiB [startup+3.10945 s] /proc/loadavg: 2.00 2.01 2.04 3/188 24451 /proc/meminfo: memFree=7828600/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=40884 memory=17616 CPUtime=3.1 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 7341 0 0 0 310 0 0 0 20 0 1 0 69985517 41865216 4404 33554432000 4194304 6142532 140725024883264 140725024880664 5215827 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10221 4404 878 476 0 3543 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 40884 KiB Current children cumulated memory: 17616 KiB [startup+6.30033 s] /proc/loadavg: 2.00 2.01 2.04 3/188 24451 /proc/meminfo: memFree=7826892/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19044 CPUtime=6.29 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 10813 0 0 0 629 0 0 0 20 0 1 0 69985517 43495424 4761 33554432000 4194304 6142532 140725024883264 140725024880312 5120784 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4761 878 476 0 3941 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19044 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.04 3/188 24451 /proc/meminfo: memFree=7827020/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19120 CPUtime=12.68 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 14178 0 0 0 1268 0 0 0 20 0 1 0 69985517 43495424 4780 33554432000 4194304 6142532 140725024883264 140725024880664 5215658 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4780 878 476 0 3941 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19120 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.04 3/188 24451 /proc/meminfo: memFree=7826512/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=25.48 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 18141 0 0 0 2548 0 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5215601 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB [startup+51.1093 s] /proc/loadavg: 2.00 2.01 2.04 3/188 24451 /proc/meminfo: memFree=7826760/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=51.1 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 18929 0 0 0 5109 1 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5120760 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.04 3/188 24452 /proc/meminfo: memFree=7827180/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=102.29 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 19668 0 0 0 10228 1 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5138684 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.04 3/188 24453 /proc/meminfo: memFree=7827180/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=162.28 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 20364 0 0 0 16227 1 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5215827 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.04 3/188 24454 /proc/meminfo: memFree=7827056/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=222.28 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 21087 0 0 0 22227 1 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5215644 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.04 3/187 24455 /proc/meminfo: memFree=7827320/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=282.28 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 21776 0 0 0 28227 1 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5138400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 282.28 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.04 3/187 24456 /proc/meminfo: memFree=7826956/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=342.28 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 22518 0 0 0 34227 1 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5137319 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 342.28 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.04 3/187 24457 /proc/meminfo: memFree=7827000/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=402.28 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 23216 0 0 0 40227 1 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5138400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 402.28 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.04 3/187 24458 /proc/meminfo: memFree=7827008/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=462.28 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 23924 0 0 0 46227 1 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5138869 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 462.28 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB ################ # More data... # ################ /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 1722.26 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB [startup+1782.3 s] /proc/loadavg: 2.40 2.17 2.09 3/188 24505 /proc/meminfo: memFree=7825312/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=1782.26 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 36396 0 0 0 178224 2 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5120791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 1782.26 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB [startup+1842.3 s] /proc/loadavg: 2.15 2.14 2.09 3/188 24506 /proc/meminfo: memFree=7826220/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=1842.25 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 36800 0 0 0 184223 2 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 4990607 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 1842.25 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB [startup+1902.3 s] /proc/loadavg: 2.05 2.11 2.08 3/188 24507 /proc/meminfo: memFree=7826328/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=1902.25 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 37681 0 0 0 190223 2 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5137319 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 1902.25 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB [startup+1962.3 s] /proc/loadavg: 2.02 2.09 2.08 3/188 24508 /proc/meminfo: memFree=7826312/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=1962.25 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 38392 0 0 0 196223 2 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5138717 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 1962.25 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB [startup+2022.3 s] /proc/loadavg: 2.01 2.07 2.07 3/188 24509 /proc/meminfo: memFree=7826420/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=2022.25 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 38805 0 0 0 202223 2 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5215810 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 2022.25 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.06 2.06 3/187 24510 /proc/meminfo: memFree=7826172/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=2082.25 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 39434 0 0 0 208223 2 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5138688 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 2082.25 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.05 2.06 3/187 24511 /proc/meminfo: memFree=7826412/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=2142.25 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 40119 0 0 0 214223 2 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5137685 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 2142.25 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.04 2.05 3/187 24572 /proc/meminfo: memFree=7815084/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=2202.24 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 40549 0 0 0 220222 2 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5137685 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 2202.24 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.04 2.05 3/187 24573 /proc/meminfo: memFree=7815724/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=2262.24 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 40983 0 0 0 226222 2 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5215584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 2262.24 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 24574 /proc/meminfo: memFree=7815852/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=2322.24 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 41410 0 0 0 232222 2 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5139440 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 2322.24 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.02 2.05 3/188 24583 /proc/meminfo: memFree=7814312/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=2382.24 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 41976 0 0 0 238222 2 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5138688 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 2382.24 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.02 2.05 3/188 24584 /proc/meminfo: memFree=7815064/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=2442.24 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 42673 0 0 0 244222 2 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5137779 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 2442.24 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 24585 /proc/meminfo: memFree=7815188/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=2502.24 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 43130 0 0 0 250222 2 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5137685 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 2502.24 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 24586 /proc/meminfo: memFree=7815196/32770624 swapFree=67108860/67108860 [pid=24450] ppid=24447 vsize=42476 memory=19124 CPUtime=2519.95 cores=0,2,4,6 /proc/24450/stat : 24450 (cosoco) R 24447 24450 21810 0 -1 4202496 43490 0 0 0 251993 2 0 0 20 0 1 0 69985517 43495424 4781 33554432000 4194304 6142532 140725024883264 140725024880664 5215653 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34516992 140725024887942 140725024888072 140725024888072 140725024890830 0 /proc/24450/statm: 10619 4781 878 476 0 3941 0 Current children cumulated CPU time: 2519.95 s Current children cumulated vsize: 42476 KiB Current children cumulated memory: 19124 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 24450 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.93 s, system=0.025999 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520.01 CPU time (s): 2519.96 CPU user time (s): 2519.93 CPU system time (s): 0.025999 CPU usage (%): 99.9979 Max. virtual memory (cumulated for all children) (KiB): 42476 Max. memory (cumulated for all children) (KiB): 19124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.93 system time used= 0.025999 maximum resident set size= 19188 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43540 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 21 involuntary context switches= 632 # summary of solver processes directly reported to runsolver: # pid: 24450 # total CPU time (s): 2519.96 # total CPU user time (s): 2519.93 # total CPU system time (s): 0.025999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.97523 second user time and 15.649 second system time The end
Begin job on node139 at 2018-07-25 15:10:23 IDJOB=4295043 IDBENCH=141458 IDSOLVER=2752 FILE ID=node139/4295043-1532524223 RUNJOBID= node139-1532498649-21841 PBS_JOBID= 21021588 Free space on /tmp= 38840 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/CarSequencing/CarSequencing-90-01_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295043-1532524223/watcher-4295043-1532524223 -o /tmp/evaluation-result-4295043-1532524223/solver-4295043-1532524223 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21841 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295043-1532524223.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cda201995a07a9b7663412ba5f5fbb4e RANDOM SEED=637048582 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: 7842968 kB MemAvailable: 31927152 kB Buffers: 214240 kB Cached: 23717872 kB SwapCached: 0 kB Active: 2806784 kB Inactive: 21181904 kB Active(anon): 12248 kB Inactive(anon): 72248 kB Active(file): 2794536 kB Inactive(file): 21109656 kB Unevictable: 7304 kB Mlocked: 7304 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2828 kB Writeback: 0 kB AnonPages: 63336 kB Mapped: 41316 kB Shmem: 25228 kB Slab: 636084 kB SReclaimable: 608452 kB SUnreclaim: 27632 kB KernelStack: 3376 kB PageTables: 5116 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 356588 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 38836 MiB End job on node139 at 2018-07-25 15:52:24