| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 1.12 | ? (TO) | 2519.9 | 2520.01 |
| Name | CarSequencing/ CarSequencing-06-76_c18.xml |
| MD5SUM | b12b47f7e650fdaeab738d4a819b9f4b |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 110.197 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 600 |
| Number of constraints | 727 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 22 |
| Distribution of domain sizes | [{"size":2,"count":500},{"size":22,"count":100}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 53 |
| Distribution of variable degrees | [{"degree":2,"count":100},{"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":19},{"degree":16,"count":19},{"degree":17,"count":19},{"degree":18,"count":19},{"degree":19,"count":49},{"degree":20,"count":14},{"degree":21,"count":14},{"degree":22,"count":14},{"degree":23,"count":14},{"degree":24,"count":19},{"degree":25,"count":8},{"degree":26,"count":8},"...",{"degree":29,"count":31}, {"degree":30,"count":5}, {"degree":31,"count":5}, {"degree":32,"count":5}, {"degree":33,"count":5}, {"degree":34,"count":5}, {"degree":35,"count":6}, {"degree":36,"count":6}, {"degree":37,"count":4}, {"degree":38,"count":2}, {"degree":39,"count":2}, {"degree":40,"count":2}, {"degree":41,"count":2}, {"degree":42,"count":2}, {"degree":43,"count":2}, {"degree":44,"count":2}, {"degree":45,"count":2}, {"degree":46,"count":2}, {"degree":47,"count":2}, {"degree":48,"count":2}, {"degree":49,"count":2}, {"degree":50,"count":2}, {"degree":51,"count":2}, {"degree":52,"count":3}, {"degree":53,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 100 |
| Distribution of constraint arities | [{"arity":2,"count":100},{"arity":3,"count":196},{"arity":4,"count":2},{"arity":5,"count":192},{"arity":6,"count":101},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":10,"count":2},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":2},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":2},{"arity":22,"count":2},{"arity":24,"count":1},{"arity":25,"count":2},{"arity":26,"count":1},{"arity":28,"count":3},{"arity":30,"count":2},{"arity":31,"count":2},{"arity":32,"count":1},{"arity":34,"count":3},"...",{"arity":67,"count":2}, {"arity":68,"count":1}, {"arity":70,"count":5}, {"arity":72,"count":1}, {"arity":73,"count":2}, {"arity":74,"count":1}, {"arity":75,"count":2}, {"arity":76,"count":3}, {"arity":78,"count":1}, {"arity":79,"count":2}, {"arity":80,"count":3}, {"arity":82,"count":3}, {"arity":84,"count":1}, {"arity":85,"count":4}, {"arity":86,"count":1}, {"arity":88,"count":3}, {"arity":90,"count":3}, {"arity":91,"count":2}, {"arity":92,"count":1}, {"arity":94,"count":3}, {"arity":95,"count":2}, {"arity":96,"count":1}, {"arity":97,"count":2}, {"arity":98,"count":1}, {"arity":100,"count":6}] |
| Number of extensional constraints | 100 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":100},{"type":"sum","count":626},{"type":"cardinality","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c Create Cardinality(vars,values,occurs) constraint using 100 Exactly/AtMost.. constraint 0.00/0.00 c 0.00/0.06 c root propagations : 0 0.00/0.06 c restarts enabled, print stats at every restarts 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c This is cosoco 1.12 -- 0.00/0.06 c 0.00/0.06 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294989-1532518819.xml 0.00/0.06 c ========================================[ Problem Statistics ]=========================================== 0.00/0.06 c | 0.00/0.06 c | Parse time : 0.06 s 0.00/0.06 c | 0.00/0.06 c | Variables: 600 0.00/0.06 c | Domain Sizes: 2..22 0.00/0.06 c | 0.00/0.06 c | Constraints: 748 0.00/0.06 c | Arity: 2..100 -- Binary: 100 -- Ternary: 196 0.00/0.06 c | 0.00/0.06 c | Types: 0.00/0.06 c | Exactly K: 22 0.00/0.06 c | Extension: 100 (nb tuples: 22..22) -- (shared: 99) 0.00/0.06 c | Sum: 626 0.00/0.06 c | 0.00/0.06 c ========================================================================================================= 0.00/0.06 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.23 c 101 1018 75240 16079 0 0 371 414 378 0.31/0.32 c 211 1563 117199 24916 0 0 110 213 196 0.41/0.41 c 332 1986 159163 39145 0 0 111 166 155 0.51/0.60 c 465 2429 222461 55050 0 0 109 136 123 0.69/0.75 c 611 2999 275835 69277 0 0 8 113 78 0.79/0.88 c 771 3607 330400 79218 0 0 94 153 146 1.00/1.10 c 947 4149 403127 94625 0 0 5 48 32 1.19/1.29 c 1140 4932 477470 110010 0 0 11 121 47 1.39/1.46 c 1352 6205 558993 130057 0 0 7 191 157 1.59/1.62 c 1585 6973 637969 158947 0 0 6 160 152 1.79/1.85 c 1841 8214 735472 178903 0 0 6 135 116 2.00/2.04 c 2122 9080 818480 193356 0 0 65 75 71 2.19/2.29 c 2431 9835 929330 217455 0 0 81 98 93 2.39/2.49 c 2770 10431 1016292 244166 0 0 96 106 103 2.69/2.78 c 3142 11190 1137835 270330 0 0 103 114 110 3.00/3.05 c 3551 12343 1247783 297714 0 0 6 82 77 3.29/3.39 c 4000 13796 1405424 336140 0 0 12 116 90 3.69/3.74 c 4493 15046 1572693 377800 0 0 14 113 97 4.10/4.15 c 5035 16561 1724277 405262 0 0 9 66 58 4.69/4.73 c 5631 22445 1957932 448049 0 0 6 151 130 5.19/5.28 c 6286 25125 2191157 497556 0 0 13 107 96 5.89/5.90 c 7006 27595 2467388 573711 0 0 14 138 61 6.59/6.68 c 7798 30760 2759528 638367 0 0 8 64 43 7.29/7.39 c 8669 34051 3168200 730792 0 0 3 138 124 7.89/7.99 c 9627 37169 3448755 781589 0 0 3 71 61 8.58/8.63 c 10680 39842 3784650 877003 0 0 3 125 109 9.18/9.23 c 11838 42140 4058712 964170 0 0 4 127 110 10.38/10.40 c 13111 44961 4563682 1064445 0 0 34 126 118 11.38/11.47 c 14511 48358 5048157 1176904 0 0 7 121 81 12.09/12.13 c 16051 52309 5389714 1245999 0 0 35 141 140 12.88/13.00 c 17745 56382 5796055 1343292 0 0 39 130 124 14.38/14.49 c 19608 61382 6384485 1453361 0 0 8 99 87 15.78/15.80 c 21657 67717 7045468 1664740 0 0 8 156 135 17.18/17.23 c 23910 73554 7752865 1883600 0 0 8 158 140 18.99/19.05 c 26388 81040 8645756 2079032 0 0 6 160 140 20.38/20.48 c 29113 85851 9273901 2250514 0 0 6 161 158 22.78/22.83 c 32110 93895 10321592 2501081 0 0 8 169 159 24.68/24.74 c 35406 103134 11273647 2831775 0 0 4 185 156 27.28/27.38 c 39031 114285 12333748 3088082 0 0 5 166 116 32.28/32.34 c 43018 137943 14217148 3755649 0 0 6 146 131 35.88/35.92 c 47403 153232 15749280 4097914 0 0 12 155 134 39.18/39.22 c 52226 168812 17196343 4410571 0 0 63 182 124 42.28/42.37 c 57531 185064 18739768 4695955 0 0 11 149 138 45.18/45.23 c 63366 204107 20254368 4965371 0 0 8 122 108 48.38/48.46 c 69784 225360 21963719 5276826 0 0 9 96 79 54.17/54.25 c 76843 242873 24665399 5838494 0 0 5 104 97 59.47/59.58 c 84607 260285 27028422 6618777 0 0 3 105 97 66.17/66.21 c 93147 280927 30098849 7133688 0 0 77 111 104 71.17/71.25 c 102541 311100 32736080 7606626 0 0 13 100 90 76.47/76.57 c 112874 330648 35010233 8095179 0 0 14 70 69 82.77/82.86 c 124240 359396 38336553 9070737 0 0 17 118 107 90.98/91.09 c 136742 398545 42812710 10262537 0 0 7 136 124 97.98/98.07 c 150494 437084 46457191 10961822 0 0 8 100 88 106.97/107.04 c 165621 470485 50086881 11703266 0 0 10 79 68 115.97/116.08 c 182260 506513 54040240 12512882 0 0 10 83 76 132.66/132.72 c 200562 561963 61305816 14213468 0 0 8 114 74 144.86/144.93 c 220694 616770 67394438 15894901 0 0 35 134 101 158.97/159.06 c 242839 686056 74046026 17003716 0 0 37 94 83 168.65/168.79 c 267198 740667 79855335 18424798 0 0 10 129 116 180.25/180.37 c 293992 791746 85845723 20062981 0 0 8 122 104 205.96/206.04 c 323465 882915 97729168 22339656 0 0 5 120 105 222.95/223.08 c 355885 953827 106929897 24667761 0 0 3 164 152 244.64/244.73 c 391547 1052209 116410511 26257248 0 0 3 110 98 274.95/275.06 c 430775 1179192 129235594 28708477 0 0 10 154 89 307.44/307.54 c 473925 1315311 145218893 31726015 0 0 5 132 113 335.84/335.90 c 521390 1439077 160010375 34823184 0 0 5 163 123 367.74/367.82 c 573601 1553765 175685213 37947492 0 0 6 142 135 392.94/393.10 c 631033 1706756 191198677 42279229 0 0 6 165 153 461.33/461.48 c 694208 1921626 220026270 48367508 0 0 6 143 109 507.73/507.81 c 763700 2136439 241528536 54454086 0 0 8 174 117 558.63/558.74 c 840141 2414613 265273568 59374935 0 0 5 108 94 604.33/604.49 c 924226 2664832 288973058 65091699 0 0 11 143 108 677.53/677.62 c 1016719 3022321 318682106 73764730 0 0 9 123 69 729.62/729.79 c 1118461 3276245 345678141 80545691 0 0 7 161 148 801.82/801.93 c 1230377 3600168 378326122 87558764 0 0 6 144 113 864.72/864.82 c 1353484 4039429 411820680 93755105 0 0 10 146 130 965.22/965.30 c 1488901 4448198 459095042 106206319 0 0 6 163 100 1078.12/1078.20 c 1637859 4809061 515275496 121220723 0 0 7 165 152 1160.42/1160.50 c 1801712 5114408 557097089 131650214 0 0 7 168 161 1280.72/1280.85 c 1981950 5599527 611619385 142178435 0 0 7 170 120 1381.41/1381.50 c 2180211 6174505 671484090 157753792 0 0 13 190 169 1503.41/1503.57 c 2398298 6813175 737559068 173974877 0 0 9 188 157 1634.01/1634.11 c 2638193 7612547 804577245 185943998 0 0 18 171 148 1802.70/1802.85 c 2902077 8528217 887473982 204827757 0 0 9 131 88 1995.39/1995.51 c 3192349 9311688 984075308 232993784 0 0 4 131 116 2190.59/2190.73 c 3511648 10280864 1090686207 252551880 0 0 49 190 172 2350.89/2351.09 c 3862876 11188157 1167101768 268031855 0 0 5 157 156 2519.88/2520.00 2519.88/2520.00 c *** INTERRUPTED *** 2519.88/2520.00 c restarts : 87 2519.88/2520.00 c conflicts : 4190127 (1663 /sec) 2519.88/2520.00 c decisions : 12337779 (4896 /sec) 2519.88/2520.00 c propagations : 283256852 (112409 /sec) 2519.88/2520.00 c root propagations : 0 2519.88/2520.00 c filter calls : 1257525718 (499042 /sec) 2519.88/2520.00 c useless filter calls : 1179879597 (93 %) 2519.88/2520.00 c Memory used : 30.42 MB 2519.88/2520.00 c CPU time : 2519.88 s 2519.88/2520.00 2519.88/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 (1585 MiB free)
memory of node 1: 16384 MiB (6067 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294989-1532518819/watcher-4294989-1532518819 -o /tmp/evaluation-result-4294989-1532518819/solver-4294989-1532518819 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21842 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294989-1532518819.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23849, runsolver pid=23846
Current StackSize limit: 8192 KiB
[startup+0.100155 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 23850
/proc/meminfo: memFree=7832336/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31016 memory=7484 CPUtime=0.1 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 2083 0 0 0 10 0 0 0 20 0 1 0 69445110 31760384 1871 33554432000 4194304 6142532 140724375174464 140724375171096 5137756 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7754 1871 876 476 0 1076 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31016 KiB
Current children cumulated memory: 7484 KiB
[startup+0.2096 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 23850
/proc/meminfo: memFree=7831664/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7748 CPUtime=0.21 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 2104 0 0 0 21 0 0 0 20 0 1 0 69445110 31895552 1937 33554432000 4194304 6142532 140724375174464 140724375171096 5139021 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1937 876 476 0 1109 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7748 KiB
[startup+0.309098 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 23850
/proc/meminfo: memFree=7831664/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7748 CPUtime=0.31 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 2116 0 0 0 31 0 0 0 20 0 1 0 69445110 31895552 1937 33554432000 4194304 6142532 140724375174464 140724375171096 5215584 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1937 876 476 0 1109 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7748 KiB
[startup+0.700269 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 23850
/proc/meminfo: memFree=7831664/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7748 CPUtime=0.69 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 2120 0 0 0 69 0 0 0 20 0 1 0 69445110 31895552 1937 33554432000 4194304 6142532 140724375174464 140724375171096 5215632 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1937 876 476 0 1109 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7748 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 23850
/proc/meminfo: memFree=7831432/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7748 CPUtime=1.49 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 2124 0 0 0 149 0 0 0 20 0 1 0 69445110 31895552 1937 33554432000 4194304 6142532 140724375174464 140724375171864 5140429 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1937 876 476 0 1109 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7748 KiB
[startup+3.10908 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 23850
/proc/meminfo: memFree=7831244/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7880 CPUtime=3.1 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 3120 0 0 0 310 0 0 0 20 0 1 0 69445110 31895552 1970 33554432000 4194304 6142532 140724375174464 140724375171864 5215632 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1970 878 476 0 1109 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7880 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 23850
/proc/meminfo: memFree=7831348/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7880 CPUtime=6.29 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 4114 0 0 0 629 0 0 0 20 0 1 0 69445110 31895552 1970 33554432000 4194304 6142532 140724375174464 140724375171864 5140380 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1970 878 476 0 1109 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7880 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 23850
/proc/meminfo: memFree=7830664/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7880 CPUtime=12.68 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 5109 0 0 0 1268 0 0 0 20 0 1 0 69445110 31895552 1970 33554432000 4194304 6142532 140724375174464 140724375171864 5215810 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1970 878 476 0 1109 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7880 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 23850
/proc/meminfo: memFree=7831780/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7884 CPUtime=25.48 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 6098 0 0 0 2548 0 0 0 20 0 1 0 69445110 31895552 1971 33554432000 4194304 6142532 140724375174464 140724375171864 5138688 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1971 878 476 0 1109 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7884 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 23850
/proc/meminfo: memFree=7831968/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7888 CPUtime=51.08 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 6588 0 0 0 5108 0 0 0 20 0 1 0 69445110 31895552 1972 33554432000 4194304 6142532 140724375174464 140724375171864 5139123 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1972 878 476 0 1109 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7888 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 23851
/proc/meminfo: memFree=7832100/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7888 CPUtime=102.27 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 7091 0 0 0 10227 0 0 0 20 0 1 0 69445110 31895552 1972 33554432000 4194304 6142532 140724375174464 140724375171864 5139072 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1972 878 476 0 1109 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7888 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 23852
/proc/meminfo: memFree=7832268/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7888 CPUtime=162.26 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 7586 0 0 0 16226 0 0 0 20 0 1 0 69445110 31895552 1972 33554432000 4194304 6142532 140724375174464 140724375171864 5137316 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1972 878 476 0 1109 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7888 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 23853
/proc/meminfo: memFree=7832144/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7888 CPUtime=222.25 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 8081 0 0 0 22225 0 0 0 20 0 1 0 69445110 31895552 1972 33554432000 4194304 6142532 140724375174464 140724375171864 5328016 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1972 878 476 0 1109 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7888 KiB
[startup+282.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/188 23854
/proc/meminfo: memFree=7831876/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7888 CPUtime=282.24 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 8576 0 0 0 28224 0 0 0 20 0 1 0 69445110 31895552 1972 33554432000 4194304 6142532 140724375174464 140724375171864 5215653 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1972 878 476 0 1109 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7888 KiB
[startup+342.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/187 23855
/proc/meminfo: memFree=7831944/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7888 CPUtime=342.24 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 9072 0 0 0 34224 0 0 0 20 0 1 0 69445110 31895552 1972 33554432000 4194304 6142532 140724375174464 140724375171864 5328025 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1972 878 476 0 1109 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7888 KiB
[startup+402.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 23917
/proc/meminfo: memFree=7832344/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7888 CPUtime=402.23 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 9567 0 0 0 40223 0 0 0 20 0 1 0 69445110 31895552 1972 33554432000 4194304 6142532 140724375174464 140724375171864 5215819 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1972 878 476 0 1109 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7888 KiB
[startup+462.3 s]
/proc/loadavg: 1.96 1.99 2.03 3/187 23918
/proc/meminfo: memFree=7831764/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7888 CPUtime=462.23 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 10062 0 0 0 46223 0 0 0 20 0 1 0 69445110 31895552 1972 33554432000 4194304 6142532 140724375174464 140724375171864 5138400 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1972 878 476 0 1109 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7888 KiB
################
# More data... #
################
/proc/23849/statm: 7787 1976 878 476 0 1109 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7904 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 23987
/proc/meminfo: memFree=7829328/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7904 CPUtime=1782.2 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 20049 0 0 0 178219 1 0 0 20 0 1 0 69445110 31895552 1976 33554432000 4194304 6142532 140724375174464 140724375171864 5138400 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1976 878 476 0 1109 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7904 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 23988
/proc/meminfo: memFree=7830616/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7904 CPUtime=1842.2 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 20545 0 0 0 184219 1 0 0 20 0 1 0 69445110 31895552 1976 33554432000 4194304 6142532 140724375174464 140724375171864 5215611 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1976 878 476 0 1109 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7904 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23989
/proc/meminfo: memFree=7830616/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7904 CPUtime=1902.2 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 20890 0 0 0 190219 1 0 0 20 0 1 0 69445110 31895552 1976 33554432000 4194304 6142532 140724375174464 140724375171864 5120767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1976 878 476 0 1109 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7904 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23990
/proc/meminfo: memFree=7830740/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7904 CPUtime=1962.19 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 21261 0 0 0 196218 1 0 0 20 0 1 0 69445110 31895552 1976 33554432000 4194304 6142532 140724375174464 140724375171864 5137598 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1976 878 476 0 1109 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7904 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23991
/proc/meminfo: memFree=7830864/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7904 CPUtime=2022.19 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 21760 0 0 0 202218 1 0 0 20 0 1 0 69445110 31895552 1976 33554432000 4194304 6142532 140724375174464 140724375171864 5120796 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1976 878 476 0 1109 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7904 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 23992
/proc/meminfo: memFree=7831976/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7904 CPUtime=2082.19 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 22103 0 0 0 208218 1 0 0 20 0 1 0 69445110 31895552 1976 33554432000 4194304 6142532 140724375174464 140724375171864 5137312 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1976 878 476 0 1109 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7904 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23994
/proc/meminfo: memFree=7830580/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7904 CPUtime=2142.19 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 22450 0 0 0 214218 1 0 0 20 0 1 0 69445110 31895552 1976 33554432000 4194304 6142532 140724375174464 140724375171864 5137605 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1976 878 476 0 1109 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7904 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23995
/proc/meminfo: memFree=7830956/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7904 CPUtime=2202.19 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 22954 0 0 0 220218 1 0 0 20 0 1 0 69445110 31895552 1976 33554432000 4194304 6142532 140724375174464 140724375171864 5175056 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1976 878 476 0 1109 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7904 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23996
/proc/meminfo: memFree=7830972/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7904 CPUtime=2262.19 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 23253 0 0 0 226218 1 0 0 20 0 1 0 69445110 31895552 1976 33554432000 4194304 6142532 140724375174464 140724375171864 5137685 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1976 878 476 0 1109 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7904 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23997
/proc/meminfo: memFree=7830832/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7904 CPUtime=2322.18 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 23556 0 0 0 232217 1 0 0 20 0 1 0 69445110 31895552 1976 33554432000 4194304 6142532 140724375174464 140724375171864 5120760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1976 878 476 0 1109 0
Current children cumulated CPU time: 2322.18 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7904 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24006
/proc/meminfo: memFree=7829520/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7904 CPUtime=2382.18 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 24055 0 0 0 238217 1 0 0 20 0 1 0 69445110 31895552 1976 33554432000 4194304 6142532 140724375174464 140724375171864 5138400 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1976 878 476 0 1109 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7904 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24007
/proc/meminfo: memFree=7830344/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7904 CPUtime=2442.18 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 24368 0 0 0 244217 1 0 0 20 0 1 0 69445110 31895552 1976 33554432000 4194304 6142532 140724375174464 140724375171864 5139604 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1976 878 476 0 1109 0
Current children cumulated CPU time: 2442.18 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7904 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24008
/proc/meminfo: memFree=7830284/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7904 CPUtime=2502.18 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 24664 0 0 0 250217 1 0 0 20 0 1 0 69445110 31895552 1976 33554432000 4194304 6142532 140724375174464 140724375171864 4990698 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1976 878 476 0 1109 0
Current children cumulated CPU time: 2502.18 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7904 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 24008
/proc/meminfo: memFree=7830408/32770624 swapFree=67108860/67108860
[pid=23849] ppid=23846 vsize=31148 memory=7904 CPUtime=2519.88 cores=1,3,5,7
/proc/23849/stat : 23849 (cosoco) R 23846 23849 21810 0 -1 4202496 24953 0 0 0 251987 1 0 0 20 0 1 0 69445110 31895552 1976 33554432000 4194304 6142532 140724375174464 140724375171864 5139639 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29896704 140724375180422 140724375180552 140724375180552 140724375183310 0
/proc/23849/statm: 7787 1976 878 476 0 1109 0
Current children cumulated CPU time: 2519.88 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7904 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 23849 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.88 s, system=0.016999 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.9
CPU user time (s): 2519.88
CPU system time (s): 0.016999
CPU usage (%): 99.9955
Max. virtual memory (cumulated for all children) (KiB): 31148
Max. memory (cumulated for all children) (KiB): 7904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.88
system time used= 0.016999
maximum resident set size= 7968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25003
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= 16
involuntary context switches= 788
# summary of solver processes directly reported to runsolver:
# pid: 23849
# total CPU time (s): 2519.9
# total CPU user time (s): 2519.88
# total CPU system time (s): 0.016999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.08471 second user time and 15.5349 second system time
The end
Begin job on node139 at 2018-07-25 13:40:19 IDJOB=4294989 IDBENCH=141452 IDSOLVER=2752 FILE ID=node139/4294989-1532518819 RUNJOBID= node139-1532498649-21842 PBS_JOBID= 21021588 Free space on /tmp= 38840 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/CarSequencing/CarSequencing-06-76_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294989-1532518819/watcher-4294989-1532518819 -o /tmp/evaluation-result-4294989-1532518819/solver-4294989-1532518819 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21842 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294989-1532518819.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b12b47f7e650fdaeab738d4a819b9f4b RANDOM SEED=1615477181 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: 7836084 kB MemAvailable: 31917684 kB Buffers: 213432 kB Cached: 23716224 kB SwapCached: 0 kB Active: 2815648 kB Inactive: 21181324 kB Active(anon): 22988 kB Inactive(anon): 72248 kB Active(file): 2792660 kB Inactive(file): 21109076 kB Unevictable: 7304 kB Mlocked: 7304 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2828 kB Writeback: 0 kB AnonPages: 74544 kB Mapped: 41484 kB Shmem: 25228 kB Slab: 635656 kB SReclaimable: 608324 kB SUnreclaim: 27332 kB KernelStack: 3360 kB PageTables: 5208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 367204 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 14:22:20