Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco-sat 1.12 | OPT | 1477 | 1682.34 | 1682.26 |
| Name | Knapsack/Knapsack-m1-s60/ Knapsack-60-250-13.xml |
| MD5SUM | 38d75cb998cf411a03c81843abbd85b8 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1477 |
| Best CPU time to get the best result obtained on this benchmark | 86.1866 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 60 |
| Number of constraints | 1 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":60}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 2 |
| Distribution of variable degrees | [{"degree":2,"count":60}] |
| Minimum constraint arity | 60 |
| Maximum constraint arity | 60 |
| Distribution of constraint arities | [{"arity":60,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"sum","count":1}] |
| Optimization problem | YES |
| Type of objective | max SUM |
0.00/0.04 c SAT : Variables: 120 -- Clauses: 120 0.00/0.04 c best=?? lower=0 upper=3285 0.00/0.04 c 0.00/0.04 c This is cosoco 1.12 -- 0.00/0.04 c 0.00/0.04 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265734-1502581520.xml 0.00/0.04 c enable optimization 0.00/0.04 c ========================================[ Problem Statistics ]=========================================== 0.00/0.04 c | 0.00/0.04 c | Parse time : 0.00 s 0.00/0.04 c | 0.00/0.04 c | Variables: 60 0.00/0.04 c | Domain Sizes: 2..2 0.00/0.04 c | 0.00/0.04 c | Constraints: 2 0.00/0.04 c | Arity: 60..60 0.00/0.04 c | 0.00/0.04 c | Types: 0.00/0.04 c | Sum: 2 0.00/0.04 c | 0.00/0.04 c ========================================================================================================= 0.00/0.04 o 0 0.00/0.04 c 1 calls to solver: best=0 lower=1 upper=3285 0.00/0.04 o 98 0.00/0.04 o 100 0.00/0.04 c 3 calls to solver: best=100 lower=101 upper=3285 0.00/0.04 o 140 0.00/0.04 o 155 0.00/0.04 c 5 calls to solver: best=155 lower=156 upper=3285 0.00/0.04 o 205 0.00/0.04 o 219 0.00/0.04 c 7 calls to solver: best=219 lower=220 upper=3285 0.00/0.04 o 230 0.00/0.04 o 249 0.00/0.04 c 9 calls to solver: best=249 lower=250 upper=3285 0.00/0.04 o 272 0.00/0.04 o 277 0.00/0.04 c 11 calls to solver: best=277 lower=278 upper=3285 0.00/0.04 o 302 0.00/0.04 o 329 0.00/0.04 c 13 calls to solver: best=329 lower=330 upper=3285 0.00/0.04 o 337 0.00/0.04 o 340 0.00/0.04 c 15 calls to solver: best=340 lower=341 upper=3285 0.00/0.04 o 409 0.00/0.04 o 435 0.00/0.04 c 17 calls to solver: best=435 lower=436 upper=3285 0.00/0.04 o 509 0.00/0.04 o 560 0.00/0.04 c 19 calls to solver: best=560 lower=561 upper=3285 0.00/0.04 o 567 0.00/0.05 o 571 0.00/0.05 c 21 calls to solver: best=571 lower=572 upper=3285 0.00/0.05 o 602 0.00/0.05 o 650 0.00/0.05 c 23 calls to solver: best=650 lower=651 upper=3285 0.00/0.05 o 656 0.00/0.05 o 670 0.00/0.05 c 25 calls to solver: best=670 lower=671 upper=3285 0.00/0.05 o 682 0.00/0.05 o 740 0.00/0.05 c 27 calls to solver: best=740 lower=741 upper=3285 0.00/0.05 o 743 0.00/0.05 o 774 0.00/0.05 c 29 calls to solver: best=774 lower=775 upper=3285 0.00/0.05 o 781 0.00/0.05 o 792 0.00/0.05 c 31 calls to solver: best=792 lower=793 upper=3285 0.00/0.05 o 812 0.00/0.05 o 825 0.00/0.05 c 33 calls to solver: best=825 lower=826 upper=3285 0.00/0.05 o 863 0.00/0.05 o 870 0.00/0.05 c 35 calls to solver: best=870 lower=871 upper=3285 0.00/0.05 o 916 0.00/0.05 o 917 0.00/0.05 c 37 calls to solver: best=917 lower=918 upper=3285 0.27/0.34 o 920 0.27/0.35 o 953 0.27/0.35 c 39 calls to solver: best=953 lower=954 upper=3285 0.27/0.36 o 958 0.27/0.36 o 959 0.27/0.36 c 41 calls to solver: best=959 lower=960 upper=3285 0.27/0.36 o 965 0.27/0.37 o 1011 0.27/0.37 c 43 calls to solver: best=1011 lower=1012 upper=3285 5.76/5.83 o 1016 5.86/5.96 o 1019 5.86/5.96 c 45 calls to solver: best=1019 lower=1020 upper=3285 7.07/7.11 o 1022 7.16/7.21 o 1024 7.16/7.21 c 47 calls to solver: best=1024 lower=1025 upper=3285 7.16/7.25 o 1049 7.16/7.26 o 1051 7.16/7.26 c 49 calls to solver: best=1051 lower=1052 upper=3285 7.16/7.26 o 1052 7.16/7.27 o 1057 7.16/7.27 c 51 calls to solver: best=1057 lower=1058 upper=3285 7.26/7.35 o 1061 7.26/7.38 o 1066 7.26/7.38 c 53 calls to solver: best=1066 lower=1067 upper=3285 7.46/7.52 o 1085 7.46/7.59 o 1094 7.46/7.59 c 55 calls to solver: best=1094 lower=1095 upper=3285 7.56/7.62 o 1105 7.56/7.66 o 1106 7.56/7.66 c 57 calls to solver: best=1106 lower=1107 upper=3285 7.56/7.68 o 1112 7.66/7.70 o 1125 7.66/7.70 c 59 calls to solver: best=1125 lower=1126 upper=3285 7.66/7.73 o 1139 7.66/7.78 o 1142 7.66/7.78 c 61 calls to solver: best=1142 lower=1143 upper=3285 7.66/7.79 o 1168 7.76/7.80 o 1174 7.76/7.80 c 63 calls to solver: best=1174 lower=1175 upper=3285 7.76/7.81 o 1185 8.26/8.35 o 1188 8.26/8.35 c 65 calls to solver: best=1188 lower=1189 upper=3285 8.56/8.60 o 1192 9.16/9.21 o 1200 9.16/9.21 c 67 calls to solver: best=1200 lower=1201 upper=3285 12.46/12.50 o 1206 17.36/17.48 o 1208 17.36/17.48 c 69 calls to solver: best=1208 lower=1209 upper=3285 19.36/19.42 o 1209 20.16/20.24 o 1214 20.16/20.24 c 71 calls to solver: best=1214 lower=1215 upper=3285 21.66/21.71 o 1219 26.26/26.37 o 1226 26.26/26.37 c 73 calls to solver: best=1226 lower=1227 upper=3285 48.16/48.25 o 1233 50.07/50.18 o 1239 50.07/50.18 c 75 calls to solver: best=1239 lower=1240 upper=3285 60.86/60.92 o 1242 64.66/64.73 o 1246 64.66/64.73 c 77 calls to solver: best=1246 lower=1247 upper=3285 65.86/65.97 o 1249 66.56/66.61 o 1257 66.56/66.61 c 79 calls to solver: best=1257 lower=1258 upper=3285 73.56/73.63 o 1275 74.97/75.01 o 1278 74.97/75.01 c 81 calls to solver: best=1278 lower=1279 upper=3285 89.26/89.37 o 1297 112.16/112.24 o 1315 112.16/112.24 c 83 calls to solver: best=1315 lower=1316 upper=3285 115.86/115.99 o 1316 163.27/163.33 o 1321 163.27/163.33 c 85 calls to solver: best=1321 lower=1322 upper=3285 165.37/165.47 conflict 24lvl : 35 bt29-65:0(33)X105766 175.77/175.84 -> -65:X(33)o 1326 185.98/186.07 o 1328 185.98/186.07 c 87 calls to solver: best=1328 lower=1329 upper=3285 188.57/188.68 o 1342 190.47/190.54 o 1347 190.47/190.54 c 89 calls to solver: best=1347 lower=1348 upper=3285 191.57/191.68 o 1348 192.08/192.12 o 1349 192.08/192.12 c 91 calls to solver: best=1349 lower=1350 upper=3285 200.27/200.33 o 1364 220.77/220.84 o 1375 220.77/220.84 c 93 calls to solver: best=1375 lower=1376 upper=3285 226.47/226.53 o 1386 240.27/240.37 conflict 19lvl : 37 bt35-115:0(35)X106598 268.17/268.29 -> -115:X(35)o 1396 268.17/268.29 c 95 calls to solver: best=1396 lower=1397 upper=3285 273.58/273.63 o 1399 299.28/299.34 o 1427 299.28/299.34 c 97 calls to solver: best=1427 lower=1428 upper=3285 527.79/527.85 o 1431 737.91/737.96 o 1435 737.91/737.96 c 99 calls to solver: best=1435 lower=1436 upper=3285 818.31/818.30 conflict 7lvl : 35 bt32-51:0(22)X108896 819.71/819.78 conflict 5lvl : 28 bt28-15:0(11)X108906 847.22/847.25 o 1436 896.62/896.64 conflict 6lvl : 36 bt33-69:0(20)X109100 992.03/992.00 -> -69:X(20)o 1441 992.03/992.00 c 101 calls to solver: best=1441 lower=1442 upper=3285 1084.33/1084.35 o 1442 1135.34/1135.36 conflict 5lvl : 32 bt26-77:0(18)X109444 1139.54/1139.53 o 1449 1139.54/1139.53 c 103 calls to solver: best=1449 lower=1450 upper=3285 1193.15/1193.11 o 1452 1208.44/1208.46 o 1466 1208.44/1208.46 c 105 calls to solver: best=1466 lower=1467 upper=3285 1220.34/1220.36 o 1477 1331.75/1331.74 conflict 8lvl : 36 bt36-57:0(20)X109848 1622.77/1622.75 conflict 5lvl : 32 bt32-59:0(15)X110236 1647.47/1647.50 -> -59:X(15)conflict 14lvl : 39 bt38-33:0(33)X110244 1669.97/1669.90 conflict 6lvl : 42 bt31-59:0(25)X110261 1682.27/1682.25 conflict 12lvl : 35 bt35-45:0(25)X110270 1682.27/1682.25 c 1682.27/1682.25 c Optimum found : 1477 1682.27/1682.25 c 1682.27/1682.25 1682.27/1682.25 v <instantiation type='solution' cost='1477'> 1682.27/1682.25 v <list>x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[6] x[7] x[8] x[9] </list> 1682.27/1682.25 v <values>0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 </values> 1682.27/1682.25 v </instantiation> 1682.27/1682.25 1682.27/1682.25 c call to solver : 107 1682.27/1682.25 c 1682.27/1682.25 c restarts : 607 1682.27/1682.25 c conflicts : 30728557 (18265 /sec) 1682.27/1682.25 c decisions : 171892281 (102175 /sec) 1682.27/1682.25 c propagations : 1674391275 (995278 /sec) 1682.27/1682.25 c root propagations : 60 1682.27/1682.25 c filter calls : 589238672 (350250 /sec) 1682.27/1682.25 c useless filter calls : 365217032 (61 %) 1682.27/1682.25 c 1682.27/1682.25 c clauses : 2811 1682.27/1682.25 c SAT propagations : 416885 1682.27/1682.25 c SAT conflicts : 572581 (11 learnts) 1682.27/1682.25 c Memory used : 31.01 MB 1682.27/1682.25 c CPU time : 1682.34 s 1682.27/1682.25 1682.27/1682.25 s OPTIMUM FOUND
OK 1477
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 (15094 MiB free)
memory of node 1: 16384 MiB (15283 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265734-1502581520/watcher-4265734-1502581520 -o /tmp/evaluation-result-4265734-1502581520/solver-4265734-1502581520 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502565212-12459 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265734-1502581520.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14959, runsolver pid=14956
[startup+0.100153 s]*
/proc/loadavg: 2.00 2.06 2.06 3/189 14960
/proc/meminfo: memFree=31106212/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31484 memory=3592 CPUtime=0.06 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 1075 0 0 0 6 0 0 0 20 0 1 0 100063235 32239616 898 18446744073709551615 4194304 5972588 140729078010896 140729078007544 5046287 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7871 898 782 435 0 1234 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 31484 KiB
Current children cumulated memory: 3592 KiB
[startup+0.209564 s]*
/proc/loadavg: 2.00 2.06 2.06 3/189 14960
/proc/meminfo: memFree=31106212/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31484 memory=3856 CPUtime=0.17 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 1131 0 0 0 17 0 0 0 20 0 1 0 100063235 32239616 964 18446744073709551615 4194304 5972588 140729078010896 140729078007544 5046712 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7871 964 782 435 0 1234 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 31484 KiB
Current children cumulated memory: 3856 KiB
[startup+0.309092 s]*
/proc/loadavg: 2.00 2.06 2.06 3/189 14960
/proc/meminfo: memFree=31105840/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31616 memory=3856 CPUtime=0.27 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 1182 0 0 0 27 0 0 0 20 0 1 0 100063235 32374784 964 18446744073709551615 4194304 5972588 140729078010896 140729078007544 5280404 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7904 964 782 435 0 1267 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3856 KiB
[startup+0.700269 s]
/proc/loadavg: 2.00 2.06 2.06 3/189 14960
/proc/meminfo: memFree=31105412/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31616 memory=4120 CPUtime=0.66 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 1201 0 0 0 66 0 0 0 20 0 1 0 100063235 32374784 1030 18446744073709551615 4194304 5972588 140729078010896 140729078008344 5048037 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7904 1030 782 435 0 1267 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 4120 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.06 2.06 3/189 14960
/proc/meminfo: memFree=31105412/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31616 memory=4120 CPUtime=1.46 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 1203 0 0 0 146 0 0 0 20 0 1 0 100063235 32374784 1030 18446744073709551615 4194304 5972588 140729078010896 140729077998088 5139264 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7904 1030 782 435 0 1267 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 4120 KiB
[startup+3.10906 s]
/proc/loadavg: 2.00 2.06 2.06 2/185 14969
/proc/meminfo: memFree=31115180/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31616 memory=4172 CPUtime=3.06 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 1369 0 0 0 306 0 0 0 20 0 1 0 100063235 32374784 1043 18446744073709551615 4194304 5972588 140729078010896 140729077998088 5099664 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7904 1043 782 435 0 1267 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 4172 KiB
[startup+6.30026 s]
/proc/loadavg: 2.00 2.06 2.06 3/189 15021
/proc/meminfo: memFree=31114072/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31616 memory=4176 CPUtime=6.26 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 1580 0 0 0 626 0 0 0 20 0 1 0 100063235 32374784 1044 18446744073709551615 4194304 5972588 140729078010896 140729077998088 5139274 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7904 1044 782 435 0 1267 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 4176 KiB
[startup+12.7003 s]
/proc/loadavg: 1.92 2.04 2.06 3/189 15021
/proc/meminfo: memFree=31113784/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31616 memory=4180 CPUtime=12.66 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 1786 0 0 0 1266 0 0 0 20 0 1 0 100063235 32374784 1045 18446744073709551615 4194304 5972588 140729078010896 140729077998088 5046613 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7904 1045 782 435 0 1267 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 4180 KiB
[startup+25.5002 s]
/proc/loadavg: 1.94 2.04 2.06 3/184 15021
/proc/meminfo: memFree=31116820/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31616 memory=4200 CPUtime=25.46 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 2159 0 0 0 2546 0 0 0 20 0 1 0 100063235 32374784 1050 18446744073709551615 4194304 5972588 140729078010896 140729078008344 5045833 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7904 1050 782 435 0 1267 0
Current children cumulated CPU time: 25.46 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 4200 KiB
[startup+51.1091 s]
/proc/loadavg: 1.89 2.02 2.05 3/186 15144
/proc/meminfo: memFree=31118248/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31616 memory=4204 CPUtime=51.07 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 2381 0 0 0 5107 0 0 0 20 0 1 0 100063235 32374784 1051 18446744073709551615 4194304 5972588 140729078010896 140729077998088 5046335 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7904 1051 782 435 0 1267 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 4204 KiB
[startup+102.3 s]
/proc/loadavg: 1.95 2.02 2.05 3/185 15268
/proc/meminfo: memFree=30137188/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31616 memory=4208 CPUtime=102.26 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 2589 0 0 0 10226 0 0 0 20 0 1 0 100063235 32374784 1052 18446744073709551615 4194304 5972588 140729078010896 140729078008344 5046613 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7904 1052 782 435 0 1267 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 4208 KiB
[startup+162.3 s]
/proc/loadavg: 1.94 2.00 2.04 3/185 15270
/proc/meminfo: memFree=30137336/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31616 memory=4220 CPUtime=162.27 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 2783 0 0 0 16227 0 0 0 20 0 1 0 100063235 32374784 1055 18446744073709551615 4194304 5972588 140729078010896 140729078008344 5045825 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7904 1055 782 435 0 1267 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 4220 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/185 15272
/proc/meminfo: memFree=30138176/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31616 memory=4244 CPUtime=222.27 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 3009 0 0 0 22227 0 0 0 20 0 1 0 100063235 32374784 1061 18446744073709551615 4194304 5972588 140729078010896 140729078008344 5046284 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7904 1061 787 435 0 1267 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 4244 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/186 15275
/proc/meminfo: memFree=30137928/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31616 memory=4244 CPUtime=282.28 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 3010 0 0 0 28228 0 0 0 20 0 1 0 100063235 32374784 1061 18446744073709551615 4194304 5972588 140729078010896 140729078008344 5048486 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7904 1061 787 435 0 1267 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 4244 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 15277
/proc/meminfo: memFree=30138468/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31616 memory=4248 CPUtime=342.28 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 3215 0 0 0 34228 0 0 0 20 0 1 0 100063235 32374784 1062 18446744073709551615 4194304 5972588 140729078010896 140729077998088 5099674 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7904 1062 787 435 0 1267 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 4248 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/186 15279
/proc/meminfo: memFree=30137796/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31616 memory=4248 CPUtime=402.28 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 3217 0 0 0 40228 0 0 0 20 0 1 0 100063235 32374784 1062 18446744073709551615 4194304 5972588 140729078010896 140729077998088 5048252 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7904 1062 787 435 0 1267 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 4248 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/186 15281
/proc/meminfo: memFree=30137968/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31616 memory=4252 CPUtime=462.29 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 3407 0 0 0 46229 0 0 0 20 0 1 0 100063235 32374784 1063 18446744073709551615 4194304 5972588 140729078010896 140729077998088 5139333 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7904 1063 787 435 0 1267 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 4252 KiB
################
# More data... #
################
Current children cumulated memory: 4264 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 15336
/proc/meminfo: memFree=30134084/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31748 memory=4264 CPUtime=1242.34 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 4642 0 0 0 124234 0 0 0 20 0 1 0 100063235 32509952 1066 18446744073709551615 4194304 5972588 140729078010896 140729078008344 5045760 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7937 1066 787 435 0 1300 0
Current children cumulated CPU time: 1242.34 s
Current children cumulated vsize: 31748 KiB
Current children cumulated memory: 4264 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 15339
/proc/meminfo: memFree=30133944/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31748 memory=4268 CPUtime=1302.35 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 4841 0 0 0 130235 0 0 0 20 0 1 0 100063235 32509952 1067 18446744073709551615 4194304 5972588 140729078010896 140729078008344 5139264 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7937 1067 787 435 0 1300 0
Current children cumulated CPU time: 1302.35 s
Current children cumulated vsize: 31748 KiB
Current children cumulated memory: 4268 KiB
[startup+1362.3 s]
/proc/loadavg: 2.22 2.06 2.06 3/186 15341
/proc/meminfo: memFree=30134440/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31748 memory=4268 CPUtime=1362.35 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 4850 0 0 0 136235 0 0 0 20 0 1 0 100063235 32509952 1067 18446744073709551615 4194304 5972588 140729078010896 140729078008120 5139312 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7937 1067 787 435 0 1300 0
Current children cumulated CPU time: 1362.35 s
Current children cumulated vsize: 31748 KiB
Current children cumulated memory: 4268 KiB
[startup+1422.3 s]
/proc/loadavg: 2.37 2.15 2.09 3/186 15344
/proc/meminfo: memFree=30134540/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31748 memory=4280 CPUtime=1422.36 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 5045 0 0 0 142236 0 0 0 20 0 1 0 100063235 32509952 1070 18446744073709551615 4194304 5972588 140729078010896 140729078008120 5139319 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7937 1070 787 435 0 1300 0
Current children cumulated CPU time: 1422.36 s
Current children cumulated vsize: 31748 KiB
Current children cumulated memory: 4280 KiB
[startup+1482.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/186 15346
/proc/meminfo: memFree=30134184/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31748 memory=4280 CPUtime=1482.36 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 5045 0 0 0 148236 0 0 0 20 0 1 0 100063235 32509952 1070 18446744073709551615 4194304 5972588 140729078010896 140729078008120 5139490 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7937 1070 787 435 0 1300 0
Current children cumulated CPU time: 1482.36 s
Current children cumulated vsize: 31748 KiB
Current children cumulated memory: 4280 KiB
[startup+1542.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/186 15348
/proc/meminfo: memFree=30134556/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31748 memory=4280 CPUtime=1542.36 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 5231 0 0 0 154236 0 0 0 20 0 1 0 100063235 32509952 1070 18446744073709551615 4194304 5972588 140729078010896 140729078008120 5046005 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7937 1070 787 435 0 1300 0
Current children cumulated CPU time: 1542.36 s
Current children cumulated vsize: 31748 KiB
Current children cumulated memory: 4280 KiB
[startup+1602.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/185 15352
/proc/meminfo: memFree=30134680/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31748 memory=4280 CPUtime=1602.37 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 5245 0 0 0 160237 0 0 0 20 0 1 0 100063235 32509952 1070 18446744073709551615 4194304 5972588 140729078010896 140729078008120 5139281 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7937 1070 787 435 0 1300 0
Current children cumulated CPU time: 1602.37 s
Current children cumulated vsize: 31748 KiB
Current children cumulated memory: 4280 KiB
[startup+1662.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/185 15354
/proc/meminfo: memFree=30134192/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31748 memory=4280 CPUtime=1662.37 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 5447 0 0 0 166237 0 0 0 20 0 1 0 100063235 32509952 1070 18446744073709551615 4194304 5972588 140729078010896 140729078008120 5320873 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7937 1070 787 435 0 1300 0
Current children cumulated CPU time: 1662.37 s
Current children cumulated vsize: 31748 KiB
Current children cumulated memory: 4280 KiB
[startup+1682.26 s]
# the end of solver process 14959 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1682.34 s, system=0.003 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1664 s]*
/proc/loadavg: 2.01 2.07 2.07 3/185 15355
/proc/meminfo: memFree=30134068/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31748 memory=4280 CPUtime=1664.08 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 5449 0 0 0 166408 0 0 0 20 0 1 0 100063235 32509952 1070 18446744073709551615 4194304 5972588 140729078010896 140729078008120 5046403 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7937 1070 787 435 0 1300 0
Current children cumulated CPU time: 1664.08 s
Current children cumulated vsize: 31748 KiB
Current children cumulated memory: 4280 KiB
[startup+1670.4 s]
/proc/loadavg: 2.01 2.07 2.07 3/185 15356
/proc/meminfo: memFree=30134456/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31748 memory=4280 CPUtime=1670.47 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 5449 0 0 0 167047 0 0 0 20 0 1 0 100063235 32509952 1070 18446744073709551615 4194304 5972588 140729078010896 140729078008120 5046476 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7937 1070 787 435 0 1300 0
Current children cumulated CPU time: 1670.47 s
Current children cumulated vsize: 31748 KiB
Current children cumulated memory: 4280 KiB
[startup+1676.8 s]
/proc/loadavg: 2.01 2.07 2.07 3/185 15356
/proc/meminfo: memFree=30134456/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31748 memory=4280 CPUtime=1676.87 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 5449 0 0 0 167687 0 0 0 20 0 1 0 100063235 32509952 1070 18446744073709551615 4194304 5972588 140729078010896 140729078008120 5047908 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7937 1070 787 435 0 1300 0
Current children cumulated CPU time: 1676.87 s
Current children cumulated vsize: 31748 KiB
Current children cumulated memory: 4280 KiB
[startup+1680 s]*
/proc/loadavg: 2.00 2.06 2.07 3/185 15356
/proc/meminfo: memFree=30134456/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31748 memory=4280 CPUtime=1680.08 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 5449 0 0 0 168008 0 0 0 20 0 1 0 100063235 32509952 1070 18446744073709551615 4194304 5972588 140729078010896 140729078008120 5139312 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7937 1070 787 435 0 1300 0
Current children cumulated CPU time: 1680.08 s
Current children cumulated vsize: 31748 KiB
Current children cumulated memory: 4280 KiB
[startup+1681.6 s]
/proc/loadavg: 2.00 2.06 2.07 3/185 15356
/proc/meminfo: memFree=30134456/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31748 memory=4280 CPUtime=1681.67 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 5449 0 0 0 168167 0 0 0 20 0 1 0 100063235 32509952 1070 18446744073709551615 4194304 5972588 140729078010896 140729078008120 5048217 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7937 1070 787 435 0 1300 0
Current children cumulated CPU time: 1681.67 s
Current children cumulated vsize: 31748 KiB
Current children cumulated memory: 4280 KiB
[startup+1682 s]*
/proc/loadavg: 2.00 2.06 2.07 3/185 15356
/proc/meminfo: memFree=30134456/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31748 memory=4280 CPUtime=1682.08 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 5449 0 0 0 168208 0 0 0 20 0 1 0 100063235 32509952 1070 18446744073709551615 4194304 5972588 140729078010896 140729078008120 5046151 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7937 1070 787 435 0 1300 0
Current children cumulated CPU time: 1682.08 s
Current children cumulated vsize: 31748 KiB
Current children cumulated memory: 4280 KiB
[startup+1682.2 s]
/proc/loadavg: 2.00 2.06 2.07 3/185 15356
/proc/meminfo: memFree=30134456/32770624 swapFree=67108860/67108860
[pid=14959] ppid=14956 vsize=31748 memory=4280 CPUtime=1682.27 cores=1,3,5,7
/proc/14959/stat : 14959 (cosoco) R 14956 14959 12395 0 -1 4202496 5449 0 0 0 168227 0 0 0 20 0 1 0 100063235 32509952 1070 18446744073709551615 4194304 5972588 140729078010896 140729078008120 5048000 0 0 1 8405026 0 0 0 17 1 0 0 3 0 0 8070896 8075904 37859328 140729078014404 140729078014504 140729078014504 140729078017998 0
/proc/14959/statm: 7937 1070 787 435 0 1300 0
Current children cumulated CPU time: 1682.27 s
Current children cumulated vsize: 31748 KiB
Current children cumulated memory: 4280 KiB
Child status: 0
Real time (s): 1682.26
CPU time (s): 1682.34
CPU user time (s): 1682.34
CPU system time (s): 0.003
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 31748
Max. memory (cumulated for all children) (KiB): 4280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1682.34
system time used= 0.003
maximum resident set size= 4360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5493
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= 9
involuntary context switches= 452
# summary of solver processes directly reported to runsolver:
# pid: 14959
# total CPU time (s): 1682.34
# total CPU user time (s): 1682.34
# total CPU system time (s): 0.003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46893 second user time and 10.1318 second system time
The end
Begin job on node135 at 2017-08-13 01:31:26 IDJOB=4265734 IDBENCH=133500 IDSOLVER=2655 FILE ID=node135/4265734-1502581520 RUNJOBID= node135-1502565212-12459 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s60/Knapsack-60-250-13.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265734-1502581520/watcher-4265734-1502581520 -o /tmp/evaluation-result-4265734-1502581520/solver-4265734-1502581520 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502565212-12459 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265734-1502581520.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 38d75cb998cf411a03c81843abbd85b8 RANDOM SEED=2093001663 node135.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.21 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.21 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.21 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.21 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: 31106872 kB MemAvailable: 31959432 kB Buffers: 307472 kB Cached: 843620 kB SwapCached: 0 kB Active: 684720 kB Inactive: 535660 kB Active(anon): 69604 kB Inactive(anon): 41332 kB Active(file): 615116 kB Inactive(file): 494328 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2380 kB Writeback: 0 kB AnonPages: 68944 kB Mapped: 56592 kB Shmem: 41656 kB Slab: 145024 kB SReclaimable: 117904 kB SUnreclaim: 27120 kB KernelStack: 3344 kB PageTables: 5892 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 356180 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 62028 MiB End job on node135 at 2017-08-13 01:59:28