| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 1.12 | ? (TO) | 2519.6 | 2520.01 |
| Name | CarSequencing/ CarSequencing-65-02_c18.xml |
| MD5SUM | 5b8cef4a239c531d2bd2d2ec1c21b605 |
| 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 | 0.251994 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1200 |
| Number of constraints | 1377 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 22 |
| Distribution of domain sizes | [{"size":2,"count":1000},{"size":22,"count":200}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 56 |
| 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":32,"count":19}, {"degree":33,"count":19}, {"degree":34,"count":19}, {"degree":35,"count":19}, {"degree":36,"count":64}, {"degree":37,"count":14}, {"degree":38,"count":144}, {"degree":39,"count":13}, {"degree":40,"count":102}, {"degree":41,"count":9}, {"degree":42,"count":24}, {"degree":43,"count":3}, {"degree":44,"count":3}, {"degree":45,"count":3}, {"degree":46,"count":3}, {"degree":47,"count":3}, {"degree":48,"count":3}, {"degree":49,"count":3}, {"degree":50,"count":3}, {"degree":51,"count":3}, {"degree":52,"count":3}, {"degree":53,"count":3}, {"degree":54,"count":4}, {"degree":55,"count":4}, {"degree":56,"count":45}] |
| 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":25,"count":1},{"arity":30,"count":1},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":45,"count":1},{"arity":47,"count":1},{"arity":50,"count":2},{"arity":53,"count":1},{"arity":55,"count":2},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":60,"count":2},{"arity":62,"count":1},{"arity":65,"count":3},{"arity":68,"count":1},{"arity":70,"count":2},{"arity":71,"count":1},{"arity":74,"count":1},{"arity":75,"count":2},{"arity":77,"count":1},{"arity":80,"count":3},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}] |
| Number of extensional constraints | 200 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":200},{"type":"sum","count":1176},{"type":"cardinality","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 0.00/0.01 c 0.10/0.16 c root propagations : 0 0.10/0.16 c restarts enabled, print stats at every restarts 0.10/0.16 c 0.10/0.16 c 0.10/0.16 c 0.10/0.16 c This is cosoco 1.12 -- 0.10/0.16 c 0.10/0.16 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295088-1532529265.xml 0.10/0.16 c ========================================[ Problem Statistics ]=========================================== 0.10/0.16 c | 0.10/0.16 c | Parse time : 0.15 s 0.10/0.16 c | 0.10/0.16 c | Variables: 1200 0.10/0.16 c | Domain Sizes: 2..22 0.10/0.16 c | 0.10/0.16 c | Constraints: 1398 0.10/0.16 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.10/0.16 c | 0.10/0.16 c | Types: 0.10/0.16 c | Exactly K: 22 0.10/0.16 c | Extension: 200 (nb tuples: 22..22) -- (shared: 199) 0.10/0.16 c | Sum: 1176 0.10/0.16 c | 0.10/0.16 c ========================================================================================================= 0.10/0.16 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.59/0.61 c 101 1571 88123 19443 0 0 884 934 892 0.79/0.89 c 211 2660 140304 56010 0 0 40 191 143 1.48/1.55 c 332 4535 263867 73877 0 0 41 1011 903 1.99/2.08 c 465 5556 351950 91859 0 0 37 312 298 2.58/2.62 c 611 6569 431993 105146 0 0 34 432 352 3.18/3.30 c 771 8199 546634 145758 0 0 34 474 224 3.88/3.91 c 947 9159 652756 166326 0 0 249 451 414 4.58/4.67 c 1140 10524 756046 184610 0 0 143 327 295 5.48/5.51 c 1352 12511 879850 204736 0 0 144 322 311 6.18/6.28 c 1585 13941 995691 222728 0 0 152 295 268 8.59/8.68 c 1841 15613 1389114 433217 0 0 42 267 183 9.49/9.51 c 2122 16946 1541079 465871 0 0 39 440 387 11.19/11.20 c 2431 22087 1818921 534656 0 0 144 262 222 12.59/12.66 c 2770 24200 2078889 572879 0 0 182 358 330 13.39/13.41 c 3142 25414 2218475 625084 0 0 55 418 378 14.79/14.86 c 3551 28230 2507056 660797 0 0 159 384 349 16.29/16.35 c 4000 30282 2726901 718872 0 0 190 269 247 18.89/18.97 c 4493 33776 3125220 829079 0 0 195 395 255 21.19/21.22 c 5035 35798 3434988 913630 0 0 194 254 240 21.99/22.03 c 5631 37545 3622288 944318 0 0 74 434 422 24.38/24.48 c 6286 39962 4005150 1037363 0 0 90 332 255 25.99/26.04 c 7006 42895 4294994 1082530 0 0 101 255 252 32.18/32.28 c 7798 48057 5355557 1478657 0 0 53 280 255 33.38/33.44 c 8669 50050 5611379 1514111 0 0 195 457 445 35.58/35.65 c 9627 54113 5962005 1564191 0 0 47 456 251 37.09/37.13 c 10680 57547 6292637 1616698 0 0 64 432 423 39.48/39.58 c 11838 63440 6780511 1679524 0 0 51 361 326 45.68/45.75 c 13111 84665 7891814 2154371 0 0 64 229 183 52.87/53.00 c 14511 99810 9062846 2516413 0 0 161 422 250 56.17/56.28 c 16051 106779 9750002 2651287 0 0 81 362 347 58.67/58.77 c 17745 111413 10290250 2754396 0 0 47 413 405 63.08/63.19 c 19608 116918 11059780 2893988 0 0 52 424 356 70.27/70.30 c 21657 130038 12157074 3182415 0 0 189 272 246 77.77/77.87 c 23910 146218 13514490 3491678 0 0 39 386 316 85.27/85.36 c 26388 157504 14603048 3769707 0 0 75 313 255 91.56/91.67 c 29113 171614 15734376 4030414 0 0 74 288 274 98.56/98.60 c 32110 182852 17218335 4237894 0 0 195 423 407 107.97/108.07 c 35406 198867 18635858 4543865 0 0 72 274 254 115.07/115.13 c 39031 218982 20151789 4839387 0 0 71 385 364 133.86/133.93 c 43018 235027 22966151 5991533 0 0 47 249 229 141.15/141.23 c 47403 254815 24453936 6190563 0 0 189 395 370 146.96/147.06 c 52226 266240 25721282 6390457 0 0 50 452 430 157.75/157.80 c 57531 288006 27971312 6704792 0 0 64 420 373 175.45/175.58 c 63366 312128 30677172 8044431 0 0 32 279 248 186.25/186.37 c 69784 336482 32809391 8452901 0 0 199 347 337 195.55/195.61 c 76843 357387 34575735 8828997 0 0 73 452 370 227.75/227.84 c 84607 450237 40379436 11675180 0 0 74 252 222 236.25/236.36 c 93147 479825 42477793 12051761 0 0 35 467 451 244.84/244.94 c 102541 503922 44541635 12482141 0 0 225 501 475 263.84/263.93 c 112874 561868 48578648 13128435 0 0 200 465 432 290.94/291.05 c 124240 632571 53788738 14644003 0 0 92 457 379 325.33/325.48 c 136742 683119 58764789 15690951 0 0 93 341 304 347.62/347.76 c 150494 751307 64863591 16504356 0 0 93 490 481 379.52/379.62 c 165621 808377 71647973 17629170 0 0 29 506 483 446.10/446.22 c 182260 942454 81945830 22948141 0 0 90 339 306 520.59/520.75 c 200562 1019848 94421453 25462993 0 0 91 422 339 555.28/555.41 c 220694 1128753 101555750 27200686 0 0 91 491 432 614.88/615.05 c 242839 1223239 113380498 29115695 0 0 29 487 458 654.77/654.92 c 267198 1337435 122725109 30335831 0 0 76 482 477 749.96/750.12 c 293992 1493317 135631291 33700911 0 0 61 328 318 865.53/865.75 c 323465 1716277 152741820 40838085 0 0 61 333 298 915.22/915.49 c 355885 1869802 163919426 42278477 0 0 31 471 444 1021.70/1021.97 c 391547 2024234 180743080 45699789 0 0 80 336 321 1144.68/1144.92 c 430775 2231243 203247346 49636507 0 0 223 458 414 1276.26/1276.50 c 473925 2444526 227649914 56743663 0 0 93 408 367 1315.95/1316.25 c 521390 2575353 238800222 58461871 0 0 81 502 494 1412.74/1413.10 c 573601 2813090 260459756 61243680 0 0 56 484 430 1501.82/1502.11 c 631033 3120468 282550528 64440314 0 0 95 499 465 1642.10/1642.44 c 694208 3514038 308869673 71816537 0 0 39 514 346 1873.76/1874.11 c 763700 3884390 342981346 82649347 0 0 55 327 276 2070.92/2071.30 c 840141 4187156 382268827 89908434 0 0 81 463 439 2191.20/2191.63 c 924226 4509487 411510139 92780615 0 0 79 480 478 2387.60/2388.08 c 1016719 5011903 454242861 101817443 0 0 78 432 405 2519.59/2520.00 2519.59/2520.00 c *** INTERRUPTED *** 2519.59/2520.00 c restarts : 73 2519.59/2520.00 c conflicts : 1041846 (414 /sec) 2519.59/2520.00 c decisions : 5144190 (2042 /sec) 2519.59/2520.00 c propagations : 107158278 (42531 /sec) 2519.59/2520.00 c root propagations : 0 2519.59/2520.00 c filter calls : 480930790 (190880 /sec) 2519.59/2520.00 c useless filter calls : 452539753 (94 %) 2519.59/2520.00 c Memory used : 40.97 MB 2519.59/2520.00 c CPU time : 2519.55 s 2519.59/2520.00 2519.59/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 (6046 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295088-1532529265/watcher-4295088-1532529265 -o /tmp/evaluation-result-4295088-1532529265/solver-4295088-1532529265 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21841 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295088-1532529265.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=24932, runsolver pid=24929
[startup+0.100109 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 24933
/proc/meminfo: memFree=7823444/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=34840 memory=11304 CPUtime=0.1 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 3012 0 0 0 10 0 0 0 20 0 1 0 70489634 35676160 2826 33554432000 4194304 6142532 140727027713072 140727027709704 5750259 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 8710 2826 832 476 0 2032 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34840 KiB
Current children cumulated memory: 11304 KiB
[startup+0.209693 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 24933
/proc/meminfo: memFree=7821584/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=36800 memory=13396 CPUtime=0.2 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 3523 0 0 0 20 0 0 0 20 0 1 0 70489634 37683200 3349 33554432000 4194304 6142532 140727027713072 140727027709704 5175098 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 9200 3349 876 476 0 2522 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36800 KiB
Current children cumulated memory: 13396 KiB
[startup+0.309236 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 24933
/proc/meminfo: memFree=7820468/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=37856 memory=14452 CPUtime=0.3 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 3794 0 0 0 30 0 0 0 20 0 1 0 70489634 38764544 3613 33554432000 4194304 6142532 140727027713072 140727027709704 140379088690149 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 9464 3613 876 476 0 2786 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37856 KiB
Current children cumulated memory: 14452 KiB
[startup+0.70023 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24933
/proc/meminfo: memFree=7818460/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=39836 memory=16300 CPUtime=0.69 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 4286 0 0 0 69 0 0 0 20 0 1 0 70489634 40792064 4075 33554432000 4194304 6142532 140727027713072 140727027710024 5215658 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 9959 4075 876 476 0 3281 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39836 KiB
Current children cumulated memory: 16300 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24933
/proc/meminfo: memFree=7818460/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41816 memory=18412 CPUtime=1.48 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 4795 0 0 0 148 0 0 0 20 0 1 0 70489634 42819584 4603 33554432000 4194304 6142532 140727027713072 140727027709992 5215611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10454 4603 878 476 0 3776 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41816 KiB
Current children cumulated memory: 18412 KiB
[startup+3.10923 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24933
/proc/meminfo: memFree=7816352/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41816 memory=18564 CPUtime=3.09 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 7608 0 0 0 309 0 0 0 20 0 1 0 70489634 42819584 4641 33554432000 4194304 6142532 140727027713072 140727027710472 5138400 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10454 4641 878 476 0 3776 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41816 KiB
Current children cumulated memory: 18564 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24933
/proc/meminfo: memFree=7816056/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41816 memory=18564 CPUtime=6.28 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 10829 0 0 0 628 0 0 0 20 0 1 0 70489634 42819584 4641 33554432000 4194304 6142532 140727027713072 140727027710472 5120760 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10454 4641 878 476 0 3776 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 41816 KiB
Current children cumulated memory: 18564 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24933
/proc/meminfo: memFree=7816308/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41816 memory=18564 CPUtime=12.69 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 13971 0 0 0 1268 1 0 0 20 0 1 0 70489634 42819584 4641 33554432000 4194304 6142532 140727027713072 140727027710472 5137685 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10454 4641 878 476 0 3776 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 41816 KiB
Current children cumulated memory: 18564 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24933
/proc/meminfo: memFree=7816432/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41816 memory=18564 CPUtime=25.48 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 19993 0 0 0 2547 1 0 0 20 0 1 0 70489634 42819584 4641 33554432000 4194304 6142532 140727027713072 140727027710472 5215649 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10454 4641 878 476 0 3776 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 41816 KiB
Current children cumulated memory: 18564 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24933
/proc/meminfo: memFree=7816464/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41816 memory=18564 CPUtime=51.08 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 22157 0 0 0 5107 1 0 0 20 0 1 0 70489634 42819584 4641 33554432000 4194304 6142532 140727027713072 140727027710472 5139120 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10454 4641 878 476 0 3776 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 41816 KiB
Current children cumulated memory: 18564 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24934
/proc/meminfo: memFree=7816628/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41816 memory=18568 CPUtime=102.26 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 23599 0 0 0 10225 1 0 0 20 0 1 0 70489634 42819584 4642 33554432000 4194304 6142532 140727027713072 140727027710472 5138416 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10454 4642 878 476 0 3776 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 41816 KiB
Current children cumulated memory: 18568 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24935
/proc/meminfo: memFree=7816484/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41816 memory=18568 CPUtime=162.25 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 24663 0 0 0 16224 1 0 0 20 0 1 0 70489634 42819584 4642 33554432000 4194304 6142532 140727027713072 140727027710472 5140361 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10454 4642 878 476 0 3776 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 41816 KiB
Current children cumulated memory: 18568 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24936
/proc/meminfo: memFree=7816228/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41816 memory=18568 CPUtime=222.25 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 25709 0 0 0 22223 2 0 0 20 0 1 0 70489634 42819584 4642 33554432000 4194304 6142532 140727027713072 140727027710472 5140391 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10454 4642 878 476 0 3776 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 41816 KiB
Current children cumulated memory: 18568 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24937
/proc/meminfo: memFree=7815832/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41816 memory=18568 CPUtime=282.24 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 26784 0 0 0 28222 2 0 0 20 0 1 0 70489634 42819584 4642 33554432000 4194304 6142532 140727027713072 140727027710472 5137682 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10454 4642 878 476 0 3776 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 41816 KiB
Current children cumulated memory: 18568 KiB
[startup+342.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 24945
/proc/meminfo: memFree=7814476/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41816 memory=18572 CPUtime=342.22 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 27826 0 0 0 34220 2 0 0 20 0 1 0 70489634 42819584 4643 33554432000 4194304 6142532 140727027713072 140727027710472 5138400 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10454 4643 878 476 0 3776 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 41816 KiB
Current children cumulated memory: 18572 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 24946
/proc/meminfo: memFree=7814980/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41948 memory=18604 CPUtime=402.21 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 28900 0 0 0 40219 2 0 0 20 0 1 0 70489634 42954752 4651 33554432000 4194304 6142532 140727027713072 140727027710472 5139123 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10487 4651 878 476 0 3809 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 18604 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 24947
/proc/meminfo: memFree=7814980/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41948 memory=18604 CPUtime=462.2 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 29854 0 0 0 46218 2 0 0 20 0 1 0 70489634 42954752 4651 33554432000 4194304 6142532 140727027713072 140727027710472 5138704 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10487 4651 878 476 0 3809 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 18604 KiB
################
# More data... #
################
/proc/24932/statm: 10487 4667 878 476 0 3809 0
Current children cumulated CPU time: 1721.98 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 18668 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25010
/proc/meminfo: memFree=7814452/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41948 memory=18668 CPUtime=1781.97 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 42452 0 0 0 178193 4 0 0 20 0 1 0 70489634 42954752 4667 33554432000 4194304 6142532 140727027713072 140727027710472 5215827 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10487 4667 878 476 0 3809 0
Current children cumulated CPU time: 1781.97 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 18668 KiB
[startup+1842.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 25011
/proc/meminfo: memFree=7814576/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41948 memory=18668 CPUtime=1841.96 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 42966 0 0 0 184192 4 0 0 20 0 1 0 70489634 42954752 4667 33554432000 4194304 6142532 140727027713072 140727027710472 5215649 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10487 4667 878 476 0 3809 0
Current children cumulated CPU time: 1841.96 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 18668 KiB
[startup+1902.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/188 25012
/proc/meminfo: memFree=7814352/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41948 memory=18668 CPUtime=1901.95 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 43541 0 0 0 190191 4 0 0 20 0 1 0 70489634 42954752 4667 33554432000 4194304 6142532 140727027713072 140727027710472 5139644 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10487 4667 878 476 0 3809 0
Current children cumulated CPU time: 1901.95 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 18668 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 25013
/proc/meminfo: memFree=7814732/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41948 memory=18668 CPUtime=1961.94 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 43939 0 0 0 196190 4 0 0 20 0 1 0 70489634 42954752 4667 33554432000 4194304 6142532 140727027713072 140727027710472 5215632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10487 4667 878 476 0 3809 0
Current children cumulated CPU time: 1961.94 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 18668 KiB
[startup+2022.3 s]
/proc/loadavg: 2.51 2.14 2.09 3/187 25014
/proc/meminfo: memFree=7814384/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41948 memory=18668 CPUtime=2021.93 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 44330 0 0 0 202189 4 0 0 20 0 1 0 70489634 42954752 4667 33554432000 4194304 6142532 140727027713072 140727027710472 5013907 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10487 4667 878 476 0 3809 0
Current children cumulated CPU time: 2021.93 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 18668 KiB
[startup+2082.3 s]
/proc/loadavg: 2.26 2.14 2.09 3/187 25015
/proc/meminfo: memFree=7814384/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41948 memory=18668 CPUtime=2081.92 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 44922 0 0 0 208188 4 0 0 20 0 1 0 70489634 42954752 4667 33554432000 4194304 6142532 140727027713072 140727027710472 5137316 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10487 4667 878 476 0 3809 0
Current children cumulated CPU time: 2081.92 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 18668 KiB
[startup+2142.3 s]
/proc/loadavg: 2.09 2.12 2.08 3/188 25024
/proc/meminfo: memFree=7813756/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41948 memory=18668 CPUtime=2141.91 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 45307 0 0 0 214187 4 0 0 20 0 1 0 70489634 42954752 4667 33554432000 4194304 6142532 140727027713072 140727027710472 5137605 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10487 4667 878 476 0 3809 0
Current children cumulated CPU time: 2141.91 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 18668 KiB
[startup+2202.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/188 26125
/proc/meminfo: memFree=7775152/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41948 memory=18668 CPUtime=2201.9 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 45894 0 0 0 220185 5 0 0 20 0 1 0 70489634 42954752 4667 33554432000 4194304 6142532 140727027713072 140727027710472 5215827 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10487 4667 878 476 0 3809 0
Current children cumulated CPU time: 2201.9 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 18668 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/188 26126
/proc/meminfo: memFree=7773812/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41948 memory=18668 CPUtime=2261.89 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 46391 0 0 0 226184 5 0 0 20 0 1 0 70489634 42954752 4667 33554432000 4194304 6142532 140727027713072 140727027710472 5137628 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10487 4667 878 476 0 3809 0
Current children cumulated CPU time: 2261.89 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 18668 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/188 26127
/proc/meminfo: memFree=7773772/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41948 memory=18668 CPUtime=2321.89 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 46829 0 0 0 232184 5 0 0 20 0 1 0 70489634 42954752 4667 33554432000 4194304 6142532 140727027713072 140727027710472 5215644 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10487 4667 878 476 0 3809 0
Current children cumulated CPU time: 2321.89 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 18668 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 26128
/proc/meminfo: memFree=7773648/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41948 memory=18668 CPUtime=2381.89 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 47268 0 0 0 238184 5 0 0 20 0 1 0 70489634 42954752 4667 33554432000 4194304 6142532 140727027713072 140727027710472 5215584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10487 4667 878 476 0 3809 0
Current children cumulated CPU time: 2381.89 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 18668 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 26129
/proc/meminfo: memFree=7773672/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41948 memory=18668 CPUtime=2441.89 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 47860 0 0 0 244184 5 0 0 20 0 1 0 70489634 42954752 4667 33554432000 4194304 6142532 140727027713072 140727027710472 4990616 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10487 4667 878 476 0 3809 0
Current children cumulated CPU time: 2441.89 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 18668 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 26130
/proc/meminfo: memFree=7773796/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41948 memory=18668 CPUtime=2501.89 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 48255 0 0 0 250184 5 0 0 20 0 1 0 70489634 42954752 4667 33554432000 4194304 6142532 140727027713072 140727027710472 5215639 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10487 4667 878 476 0 3809 0
Current children cumulated CPU time: 2501.89 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 18668 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 26130
/proc/meminfo: memFree=7773796/32770624 swapFree=67108860/67108860
[pid=24932] ppid=24929 vsize=41948 memory=18668 CPUtime=2519.59 cores=0,2,4,6
/proc/24932/stat : 24932 (cosoco) R 24929 24932 21810 0 -1 4202496 48642 0 0 0 251954 5 0 0 20 0 1 0 70489634 42954752 4667 33554432000 4194304 6142532 140727027713072 140727027710472 5215810 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 21241856 140727027717254 140727027717384 140727027717384 140727027720142 0
/proc/24932/statm: 10487 4667 878 476 0 3809 0
Current children cumulated CPU time: 2519.59 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 18668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 24932 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.55 s, system=0.054991 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.6
CPU user time (s): 2519.55
CPU system time (s): 0.054991
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 41948
Max. memory (cumulated for all children) (KiB): 18668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.55
system time used= 0.054991
maximum resident set size= 18732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48692
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= 2603
# summary of solver processes directly reported to runsolver:
# pid: 24932
# total CPU time (s): 2519.6
# total CPU user time (s): 2519.55
# total CPU system time (s): 0.054991
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.13837 second user time and 16.8484 second system time
The end
Begin job on node139 at 2018-07-25 16:34:25 IDJOB=4295088 IDBENCH=141463 IDSOLVER=2752 FILE ID=node139/4295088-1532529265 RUNJOBID= node139-1532498649-21841 PBS_JOBID= 21021588 Free space on /tmp= 38840 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/CarSequencing/CarSequencing-65-02_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295088-1532529265/watcher-4295088-1532529265 -o /tmp/evaluation-result-4295088-1532529265/solver-4295088-1532529265 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21841 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295088-1532529265.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5b8cef4a239c531d2bd2d2ec1c21b605 RANDOM SEED=1442520722 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: 7832504 kB MemAvailable: 31919068 kB Buffers: 214932 kB Cached: 23719388 kB SwapCached: 0 kB Active: 2819740 kB Inactive: 21182904 kB Active(anon): 23736 kB Inactive(anon): 72248 kB Active(file): 2796004 kB Inactive(file): 21110656 kB Unevictable: 7304 kB Mlocked: 7304 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2724 kB Writeback: 0 kB AnonPages: 74492 kB Mapped: 41632 kB Shmem: 25228 kB Slab: 636040 kB SReclaimable: 608364 kB SUnreclaim: 27676 kB KernelStack: 3344 kB PageTables: 5212 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 367472 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 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 17:16:25