| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 1.12 | ? (TO) | 2519.95 | 2520.01 |
| Name | CarSequencing/ CarSequencing-90-02_c18.xml |
| MD5SUM | a45a1bbd084788784bb8b4db38c38ff4 |
| 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 | 129.751 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1200 |
| Number of constraints | 1453 |
| 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 | 93 |
| 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":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":2}, {"degree":92,"count":3}, {"degree":93,"count":21}] |
| 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":22,"count":1},{"arity":24,"count":1},{"arity":26,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":32,"count":2},{"arity":34,"count":1},{"arity":35,"count":1},{"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":52,"count":1},"...",{"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":1252},{"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-4295061-1532526744.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: 1479 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: 1252 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.59/0.69 c 101 1145 94000 22383 0 0 718 871 828 0.99/1.03 c 211 1616 145488 45369 0 0 64 84 76 1.39/1.44 c 332 2043 208839 70947 0 0 42 50 46 1.79/1.86 c 465 2654 271994 95143 0 0 37 70 54 2.69/2.70 c 611 3887 424733 130512 0 0 35 718 570 3.29/3.32 c 771 4697 522268 159094 0 0 38 387 182 4.10/4.13 c 947 6454 681622 188501 0 0 37 604 456 4.79/4.87 c 1140 7631 799620 234165 0 0 37 387 327 5.79/5.82 c 1352 8736 942709 274920 0 0 36 202 186 7.59/7.68 c 1585 9821 1207566 376721 0 0 49 71 64 9.00/9.01 c 1841 11113 1390478 450245 0 0 54 65 59 10.49/10.51 c 2122 12377 1605421 537953 0 0 52 64 58 12.00/12.03 c 2431 13756 1825710 616468 0 0 46 58 54 13.79/13.89 c 2770 15371 2085766 680395 0 0 39 55 47 15.59/15.65 c 3142 17779 2397418 724961 0 0 32 559 538 16.89/16.91 c 3551 19452 2620969 760561 0 0 33 497 487 17.89/17.91 c 4000 20797 2832923 803092 0 0 33 440 428 19.19/19.27 c 4493 22173 3093328 855728 0 0 33 425 409 26.18/26.29 c 5035 24926 4138260 1406752 0 0 31 260 185 27.88/27.97 c 5631 27211 4404074 1468225 0 0 44 279 194 30.58/30.60 c 6286 33223 4905257 1571219 0 0 44 463 410 32.58/32.65 c 7006 40051 5316695 1641694 0 0 187 561 457 33.68/33.76 c 7798 42773 5508506 1674121 0 0 185 257 235 35.28/35.37 c 8669 45410 5813689 1752139 0 0 57 480 448 39.09/39.13 c 9627 47989 6431301 1926196 0 0 44 373 364 41.38/41.47 c 10680 51405 6925418 2109466 0 0 190 499 371 43.68/43.76 c 11838 55403 7356587 2207533 0 0 83 464 403 46.99/47.07 c 13111 60537 8052445 2333747 0 0 207 454 380 50.09/50.13 c 14511 66030 8625715 2490434 0 0 163 389 362 52.58/52.66 c 16051 72348 9101387 2796366 0 0 113 148 124 55.48/55.52 c 17745 79023 9673732 3253555 0 0 75 91 85 58.18/58.24 c 19608 86349 10186157 3577144 0 0 78 90 85 63.28/63.30 c 21657 94412 11170246 4519949 0 0 76 90 85 66.78/66.87 c 23910 102906 11902695 5101094 0 0 70 89 79 71.09/71.17 c 26388 112917 12718877 5549915 0 0 64 82 73 84.09/84.13 c 29113 126826 14667123 5940549 0 0 57 391 253 90.78/90.83 c 32110 138138 15953037 6222507 0 0 61 432 374 99.19/99.27 c 35406 151121 17399822 6445990 0 0 63 300 260 109.79/109.82 c 39031 163349 19111666 6717629 0 0 65 473 318 129.19/129.21 c 43018 181492 21847691 7538554 0 0 63 167 135 150.69/150.70 c 47403 200496 24867497 8090487 0 0 144 221 173 159.59/159.69 c 52226 211862 26568170 8525279 0 0 65 459 379 169.69/169.71 c 57531 229796 28544661 9178627 0 0 35 465 391 176.69/176.77 c 63366 242843 30023398 9498645 0 0 35 466 443 193.29/193.39 c 69784 263112 32377467 9875480 0 0 112 251 244 213.99/214.02 c 76843 285637 35839294 10513049 0 0 89 281 199 226.38/226.41 c 84607 324447 38611626 10917820 0 0 88 453 380 233.88/233.95 c 93147 339538 40754246 11592818 0 0 88 498 488 649.98/650.09 c 102541 370536 99075946 31737810 0 0 88 170 159 663.98/664.03 c 112874 402094 102420882 32463347 0 0 88 490 463 737.17/737.24 c 124240 445661 113502988 33801396 0 0 102 364 321 757.17/757.24 c 136742 483554 117452298 34564390 0 0 95 427 416 787.08/787.16 c 150494 525125 123534631 35668511 0 0 69 467 437 813.67/813.76 c 165621 584112 130014190 37554241 0 0 36 514 475 883.98/884.03 c 182260 651927 140872357 39190047 0 0 74 238 198 951.47/951.59 c 200562 734462 151475302 40589234 0 0 159 448 274 1049.46/1049.52 c 220694 784965 170870950 55316324 0 0 136 370 323 1179.46/1179.55 c 242839 888722 190332362 58038082 0 0 83 511 283 1257.76/1257.89 c 267198 984403 206319119 63444068 0 0 33 486 440 1313.86/1313.99 c 293992 1058403 216473465 65938661 0 0 109 518 442 1405.46/1405.57 c 323465 1201993 232715533 68130173 0 0 114 454 446 1487.16/1487.25 c 355885 1299129 244169908 69779357 0 0 142 292 276 1594.25/1594.34 c 391547 1421036 261760636 71837015 0 0 141 331 255 1701.25/1701.34 c 430775 1629573 281608700 75274902 0 0 31 480 319 1805.65/1805.75 c 473925 1778358 300624053 84517509 0 0 45 171 147 1893.95/1894.10 c 521390 1992884 317142616 93155778 0 0 65 91 82 2007.54/2007.62 c 573601 2191965 337574132 97958300 0 0 55 337 254 2133.64/2133.74 c 631033 2359905 355107239 100746172 0 0 63 241 237 2479.23/2479.32 c 694208 2605746 409064025 108302824 0 0 62 247 204 2519.94/2520.00 2519.94/2520.00 c *** INTERRUPTED *** 2519.94/2520.00 c restarts : 69 2519.94/2520.00 c conflicts : 704909 (280 /sec) 2519.94/2520.00 c decisions : 2644671 (1050 /sec) 2519.94/2520.00 c propagations : 109577817 (43485 /sec) 2519.94/2520.00 c root propagations : 0 2519.94/2520.00 c filter calls : 415365241 (164833 /sec) 2519.94/2520.00 c useless filter calls : 393069739 (94 %) 2519.94/2520.00 c Memory used : 41.06 MB 2519.94/2520.00 c CPU time : 2519.92 s 2519.94/2520.00 2519.94/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 (6045 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295061-1532526744/watcher-4295061-1532526744 -o /tmp/evaluation-result-4295061-1532526744/solver-4295061-1532526744 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21841 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295061-1532526744.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=24646, runsolver pid=24643
[startup+0.100203 s]*
/proc/loadavg: 2.08 2.03 2.05 3/188 24647
/proc/meminfo: memFree=7822768/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=34972 memory=11440 CPUtime=0.1 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 3018 0 0 0 10 0 0 0 20 0 1 0 70237574 35811328 2860 33554432000 4194304 6142532 140735590492800 140735590489432 140308582616037 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 8743 2860 832 476 0 2065 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34972 KiB
Current children cumulated memory: 11440 KiB
[startup+0.209734 s]*
/proc/loadavg: 2.08 2.03 2.05 3/188 24647
/proc/meminfo: memFree=7820280/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=37284 memory=14008 CPUtime=0.2 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 3659 0 0 0 20 0 0 0 20 0 1 0 70237574 38178816 3502 33554432000 4194304 6142532 140735590492800 140735590489432 5137316 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 9321 3502 876 476 0 2643 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37284 KiB
Current children cumulated memory: 14008 KiB
[startup+0.309412 s]*
/proc/loadavg: 2.08 2.03 2.05 3/188 24647
/proc/meminfo: memFree=7819536/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=38208 memory=14800 CPUtime=0.3 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 3879 0 0 0 30 0 0 0 20 0 1 0 70237574 39124992 3700 33554432000 4194304 6142532 140735590492800 140735590489432 140308582616037 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 9552 3700 876 476 0 2874 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38208 KiB
Current children cumulated memory: 14800 KiB
[startup+0.700312 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 24647
/proc/meminfo: memFree=7817040/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=40584 memory=17176 CPUtime=0.69 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 4470 0 0 0 69 0 0 0 20 0 1 0 70237574 41558016 4294 33554432000 4194304 6142532 140735590492800 140735590489832 5319106 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10146 4294 876 476 0 3468 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40584 KiB
Current children cumulated memory: 17176 KiB
[startup+1.50034 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 24647
/proc/meminfo: memFree=7816792/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=40584 memory=17176 CPUtime=1.49 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 4470 0 0 0 149 0 0 0 20 0 1 0 70237574 41558016 4294 33554432000 4194304 6142532 140735590492800 140735590490200 5013910 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10146 4294 876 476 0 3468 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40584 KiB
Current children cumulated memory: 17176 KiB
[startup+3.10967 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 24647
/proc/meminfo: memFree=7816272/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=41380 memory=18040 CPUtime=3.1 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 7449 0 0 0 309 1 0 0 20 0 1 0 70237574 42373120 4510 33554432000 4194304 6142532 140735590492800 140735590490200 5137779 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10345 4510 878 476 0 3667 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 41380 KiB
Current children cumulated memory: 18040 KiB
[startup+6.30033 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 24647
/proc/meminfo: memFree=7815676/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=41644 memory=18364 CPUtime=6.29 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 10576 0 0 0 628 1 0 0 20 0 1 0 70237574 42643456 4591 33554432000 4194304 6142532 140735590492800 140735590490200 5139440 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10411 4591 878 476 0 3733 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 41644 KiB
Current children cumulated memory: 18364 KiB
[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 24647
/proc/meminfo: memFree=7815800/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=41644 memory=18364 CPUtime=12.69 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 12024 0 0 0 1268 1 0 0 20 0 1 0 70237574 42643456 4591 33554432000 4194304 6142532 140735590492800 140735590490200 5215594 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10411 4591 878 476 0 3733 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 41644 KiB
Current children cumulated memory: 18364 KiB
[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 24647
/proc/meminfo: memFree=7815924/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=41908 memory=18608 CPUtime=25.48 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 17282 0 0 0 2547 1 0 0 20 0 1 0 70237574 42913792 4652 33554432000 4194304 6142532 140735590492800 140735590490200 4990603 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10477 4652 878 476 0 3799 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 41908 KiB
Current children cumulated memory: 18608 KiB
[startup+51.1093 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 24647
/proc/meminfo: memFree=7815428/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18700 CPUtime=51.09 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 21862 0 0 0 5108 1 0 0 20 0 1 0 70237574 43048960 4675 33554432000 4194304 6142532 140735590492800 140735590490200 5137673 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4675 878 476 0 3832 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18700 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 24648
/proc/meminfo: memFree=7814920/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18700 CPUtime=102.29 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 22499 0 0 0 10227 2 0 0 20 0 1 0 70237574 43048960 4675 33554432000 4194304 6142532 140735590492800 140735590490200 5137685 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4675 878 476 0 3832 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18700 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 24650
/proc/meminfo: memFree=7815512/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18716 CPUtime=162.29 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 23153 0 0 0 16227 2 0 0 20 0 1 0 70237574 43048960 4679 33554432000 4194304 6142532 140735590492800 140735590490200 5138400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4679 878 476 0 3832 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18716 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24652
/proc/meminfo: memFree=7815000/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18716 CPUtime=222.29 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 23783 0 0 0 22227 2 0 0 20 0 1 0 70237574 43048960 4679 33554432000 4194304 6142532 140735590492800 140735590490200 5137605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4679 878 476 0 3832 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18716 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24653
/proc/meminfo: memFree=7815000/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18728 CPUtime=282.28 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 24200 0 0 0 28226 2 0 0 20 0 1 0 70237574 43048960 4682 33554432000 4194304 6142532 140735590492800 140735590490200 5215601 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4682 878 476 0 3832 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18728 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24655
/proc/meminfo: memFree=7814776/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18728 CPUtime=342.28 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 24546 0 0 0 34226 2 0 0 20 0 1 0 70237574 43048960 4682 33554432000 4194304 6142532 140735590492800 140735590490200 5138688 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4682 878 476 0 3832 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18728 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24656
/proc/meminfo: memFree=7815020/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18728 CPUtime=402.28 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 24890 0 0 0 40226 2 0 0 20 0 1 0 70237574 43048960 4682 33554432000 4194304 6142532 140735590492800 140735590490200 5215827 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4682 878 476 0 3832 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18728 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24665
/proc/meminfo: memFree=7813912/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18728 CPUtime=462.28 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 25235 0 0 0 46226 2 0 0 20 0 1 0 70237574 43048960 4682 33554432000 4194304 6142532 140735590492800 140735590490200 5215601 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4682 878 476 0 3832 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18728 KiB
################
# More data... #
################
/proc/24646/statm: 10510 4688 878 476 0 3832 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18752 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.10 2.10 3/188 24726
/proc/meminfo: memFree=7814556/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18752 CPUtime=1782.25 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 36632 0 0 0 178223 2 0 0 20 0 1 0 70237574 43048960 4688 33554432000 4194304 6142532 140735590492800 140735590490200 5215649 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4688 878 476 0 3832 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18752 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.08 2.09 3/188 24727
/proc/meminfo: memFree=7814628/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18752 CPUtime=1842.25 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 36995 0 0 0 184223 2 0 0 20 0 1 0 70237574 43048960 4688 33554432000 4194304 6142532 140735590492800 140735590490200 5137685 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4688 878 476 0 3832 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18752 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.07 2.08 3/188 24728
/proc/meminfo: memFree=7814628/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18752 CPUtime=1902.24 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 37321 0 0 0 190222 2 0 0 20 0 1 0 70237574 43048960 4688 33554432000 4194304 6142532 140735590492800 140735590490200 5215632 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4688 878 476 0 3832 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18752 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.06 2.08 3/187 24730
/proc/meminfo: memFree=7814208/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18752 CPUtime=1962.24 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 37885 0 0 0 196222 2 0 0 20 0 1 0 70237574 43048960 4688 33554432000 4194304 6142532 140735590492800 140735590490200 5215644 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4688 878 476 0 3832 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18752 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/187 24731
/proc/meminfo: memFree=7814576/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18752 CPUtime=2022.24 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 38480 0 0 0 202222 2 0 0 20 0 1 0 70237574 43048960 4688 33554432000 4194304 6142532 140735590492800 140735590490200 5139128 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4688 878 476 0 3832 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18752 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/187 24732
/proc/meminfo: memFree=7814584/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18752 CPUtime=2082.24 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 38807 0 0 0 208222 2 0 0 20 0 1 0 70237574 43048960 4688 33554432000 4194304 6142532 140735590492800 140735590490200 5139128 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4688 878 476 0 3832 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18752 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/187 24734
/proc/meminfo: memFree=7813964/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18752 CPUtime=2142.24 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 39380 0 0 0 214222 2 0 0 20 0 1 0 70237574 43048960 4688 33554432000 4194304 6142532 140735590492800 140735590490200 5139613 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4688 878 476 0 3832 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18752 KiB
[startup+2202.3 s]
/proc/loadavg: 1.96 2.01 2.05 3/187 24859
/proc/meminfo: memFree=7816176/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18752 CPUtime=2202.24 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 39704 0 0 0 220222 2 0 0 20 0 1 0 70237574 43048960 4688 33554432000 4194304 6142532 140735590492800 140735590490200 5215632 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4688 878 476 0 3832 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18752 KiB
[startup+2262.3 s]
/proc/loadavg: 1.99 2.01 2.05 3/188 24868
/proc/meminfo: memFree=7815752/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18752 CPUtime=2262.23 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 40032 0 0 0 226221 2 0 0 20 0 1 0 70237574 43048960 4688 33554432000 4194304 6142532 140735590492800 140735590490200 5138400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4688 878 476 0 3832 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18752 KiB
[startup+2322.3 s]
/proc/loadavg: 1.99 2.01 2.05 3/188 24869
/proc/meminfo: memFree=7816500/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18752 CPUtime=2322.23 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 40360 0 0 0 232221 2 0 0 20 0 1 0 70237574 43048960 4688 33554432000 4194304 6142532 140735590492800 140735590490200 5120760 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4688 878 476 0 3832 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18752 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24870
/proc/meminfo: memFree=7816756/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18752 CPUtime=2382.23 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 40734 0 0 0 238221 2 0 0 20 0 1 0 70237574 43048960 4688 33554432000 4194304 6142532 140735590492800 140735590490200 5215658 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4688 878 476 0 3832 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18752 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24871
/proc/meminfo: memFree=7816672/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18752 CPUtime=2442.23 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 41094 0 0 0 244221 2 0 0 20 0 1 0 70237574 43048960 4688 33554432000 4194304 6142532 140735590492800 140735590490200 5140361 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4688 878 476 0 3832 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18752 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24872
/proc/meminfo: memFree=7816656/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18752 CPUtime=2502.23 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 41598 0 0 0 250221 2 0 0 20 0 1 0 70237574 43048960 4688 33554432000 4194304 6142532 140735590492800 140735590490200 5139128 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4688 878 476 0 3832 0
Current children cumulated CPU time: 2502.23 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18752 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 24872
/proc/meminfo: memFree=7816904/32770624 swapFree=67108860/67108860
[pid=24646] ppid=24643 vsize=42040 memory=18752 CPUtime=2519.94 cores=0,2,4,6
/proc/24646/stat : 24646 (cosoco) R 24643 24646 21810 0 -1 4202496 41921 0 0 0 251992 2 0 0 20 0 1 0 70237574 43048960 4688 33554432000 4194304 6142532 140735590492800 140735590490200 5137685 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11636736 140735590499462 140735590499592 140735590499592 140735590502350 0
/proc/24646/statm: 10510 4688 878 476 0 3832 0
Current children cumulated CPU time: 2519.94 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 18752 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 24646 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.92 s, system=0.029999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.95
CPU user time (s): 2519.92
CPU system time (s): 0.029999
CPU usage (%): 99.9977
Max. virtual memory (cumulated for all children) (KiB): 42040
Max. memory (cumulated for all children) (KiB): 18752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.92
system time used= 0.029999
maximum resident set size= 18816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41971
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= 649
# summary of solver processes directly reported to runsolver:
# pid: 24646
# total CPU time (s): 2519.95
# total CPU user time (s): 2519.92
# total CPU system time (s): 0.029999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4583 second user time and 15.0844 second system time
The end
Begin job on node139 at 2018-07-25 15:52:24 IDJOB=4295061 IDBENCH=141460 IDSOLVER=2752 FILE ID=node139/4295061-1532526744 RUNJOBID= node139-1532498649-21841 PBS_JOBID= 21021588 Free space on /tmp= 38840 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/CarSequencing/CarSequencing-90-02_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295061-1532526744/watcher-4295061-1532526744 -o /tmp/evaluation-result-4295061-1532526744/solver-4295061-1532526744 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21841 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295061-1532526744.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a45a1bbd084788784bb8b4db38c38ff4 RANDOM SEED=409307394 node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 7831108 kB MemAvailable: 31916152 kB Buffers: 214580 kB Cached: 23718472 kB SwapCached: 0 kB Active: 2818972 kB Inactive: 21182324 kB Active(anon): 23920 kB Inactive(anon): 72248 kB Active(file): 2795052 kB Inactive(file): 21110076 kB Unevictable: 7304 kB Mlocked: 7304 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2632 kB Writeback: 0 kB AnonPages: 75320 kB Mapped: 41660 kB Shmem: 25228 kB Slab: 636252 kB SReclaimable: 608376 kB SUnreclaim: 27876 kB KernelStack: 3424 kB PageTables: 5184 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 368284 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 20480 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 38836 MiB End job on node139 at 2018-07-25 16:34:24