Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco-mini 1.12 | SAT (TO) | 1467 | 2400.0601 | 2400.1101 |
| Name | Knapsack/Knapsack-m1-s60/ Knapsack-60-250-13.xml |
| MD5SUM | 38d75cb998cf411a03c81843abbd85b8 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1467 |
| Best CPU time to get the best result obtained on this benchmark | 2400.01 |
| 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.00 c best=?? lower=0 upper=3285 0.00/0.00 c 0.00/0.00 c This is cosoco 1.12 -- 0.00/0.00 c 0.00/0.00 c command line: cosoco -lc -model -restarts HOME/instance-4267075-1502610331.xml 0.00/0.00 c enable optimization 0.00/0.00 c ========================================[ Problem Statistics ]=========================================== 0.00/0.00 c | 0.00/0.00 c | Parse time : 0.00 s 0.00/0.00 c | 0.00/0.00 c | Variables: 60 0.00/0.00 c | Domain Sizes: 2..2 0.00/0.00 c | 0.00/0.00 c | Constraints: 2 0.00/0.00 c | Arity: 60..60 0.00/0.00 c | 0.00/0.00 c | Types: 0.00/0.00 c | Sum: 2 0.00/0.00 c | 0.00/0.00 c ========================================================================================================= 0.00/0.00 o 0 0.00/0.00 c 1 calls to solver: best=0 lower=1 upper=3285 0.00/0.00 o 98 0.00/0.00 o 100 0.00/0.00 c 3 calls to solver: best=100 lower=101 upper=3285 0.00/0.00 o 140 0.00/0.00 o 155 0.00/0.00 c 5 calls to solver: best=155 lower=156 upper=3285 0.00/0.00 o 205 0.00/0.00 o 219 0.00/0.00 c 7 calls to solver: best=219 lower=220 upper=3285 0.00/0.00 o 230 0.00/0.00 o 249 0.00/0.00 c 9 calls to solver: best=249 lower=250 upper=3285 0.00/0.00 o 272 0.00/0.00 o 277 0.00/0.00 c 11 calls to solver: best=277 lower=278 upper=3285 0.00/0.00 o 302 0.00/0.00 o 329 0.00/0.00 c 13 calls to solver: best=329 lower=330 upper=3285 0.00/0.00 o 337 0.00/0.01 o 340 0.00/0.01 c 15 calls to solver: best=340 lower=341 upper=3285 0.00/0.01 o 409 0.00/0.01 o 435 0.00/0.01 c 17 calls to solver: best=435 lower=436 upper=3285 0.00/0.01 o 509 0.00/0.01 o 560 0.00/0.01 c 19 calls to solver: best=560 lower=561 upper=3285 0.00/0.01 o 567 0.00/0.01 o 571 0.00/0.01 c 21 calls to solver: best=571 lower=572 upper=3285 0.00/0.01 o 602 0.00/0.01 o 650 0.00/0.01 c 23 calls to solver: best=650 lower=651 upper=3285 0.00/0.01 o 656 0.00/0.01 o 670 0.00/0.01 c 25 calls to solver: best=670 lower=671 upper=3285 0.00/0.01 o 682 0.00/0.01 o 740 0.00/0.01 c 27 calls to solver: best=740 lower=741 upper=3285 0.00/0.01 o 743 0.00/0.01 o 774 0.00/0.01 c 29 calls to solver: best=774 lower=775 upper=3285 0.00/0.01 o 781 0.00/0.01 o 792 0.00/0.01 c 31 calls to solver: best=792 lower=793 upper=3285 0.00/0.01 o 812 0.00/0.01 o 825 0.00/0.01 c 33 calls to solver: best=825 lower=826 upper=3285 0.00/0.01 o 863 0.00/0.01 o 870 0.00/0.01 c 35 calls to solver: best=870 lower=871 upper=3285 0.00/0.01 o 916 0.10/0.19 o 921 0.10/0.19 c 37 calls to solver: best=921 lower=922 upper=3285 0.10/0.19 o 937 0.10/0.20 o 939 0.10/0.20 c 39 calls to solver: best=939 lower=940 upper=3285 0.10/0.21 o 942 0.10/0.21 o 961 0.10/0.21 c 41 calls to solver: best=961 lower=962 upper=3285 0.21/0.22 o 966 0.21/0.25 o 971 0.21/0.25 c 43 calls to solver: best=971 lower=972 upper=3285 0.21/0.25 o 990 0.21/0.26 o 1018 0.21/0.26 c 45 calls to solver: best=1018 lower=1019 upper=3285 0.51/0.55 o 1019 0.51/0.60 o 1027 0.51/0.60 c 47 calls to solver: best=1027 lower=1028 upper=3285 0.69/0.73 o 1032 0.89/0.92 o 1049 0.89/0.92 c 49 calls to solver: best=1049 lower=1050 upper=3285 0.89/0.93 o 1060 0.89/0.96 o 1085 0.89/0.96 c 51 calls to solver: best=1085 lower=1086 upper=3285 0.89/0.97 o 1102 2.29/2.36 o 1103 2.29/2.36 c 53 calls to solver: best=1103 lower=1104 upper=3285 2.49/2.51 o 1106 2.49/2.57 o 1107 2.49/2.57 c 55 calls to solver: best=1107 lower=1108 upper=3285 2.59/2.62 o 1110 2.79/2.89 o 1112 2.79/2.89 c 57 calls to solver: best=1112 lower=1113 upper=3285 3.29/3.34 o 1113 3.59/3.61 o 1126 3.59/3.61 c 59 calls to solver: best=1126 lower=1127 upper=3285 3.69/3.76 o 1128 3.79/3.81 o 1134 3.79/3.81 c 61 calls to solver: best=1134 lower=1135 upper=3285 4.00/4.01 o 1137 4.00/4.08 o 1139 4.00/4.08 c 63 calls to solver: best=1139 lower=1140 upper=3285 5.10/5.15 o 1147 12.00/12.04 o 1152 12.00/12.04 c 65 calls to solver: best=1152 lower=1153 upper=3285 12.19/12.30 o 1153 12.39/12.44 o 1157 12.39/12.44 c 67 calls to solver: best=1157 lower=1158 upper=3285 13.00/13.09 o 1163 13.49/13.58 o 1168 13.49/13.58 c 69 calls to solver: best=1168 lower=1169 upper=3285 13.69/13.71 o 1173 13.79/13.81 o 1177 13.79/13.81 c 71 calls to solver: best=1177 lower=1178 upper=3285 13.79/13.87 o 1180 14.00/14.09 o 1191 14.00/14.09 c 73 calls to solver: best=1191 lower=1192 upper=3285 14.19/14.29 o 1195 14.59/14.67 o 1204 14.59/14.67 c 75 calls to solver: best=1204 lower=1205 upper=3285 15.39/15.49 o 1223 15.69/15.76 o 1249 15.69/15.76 c 77 calls to solver: best=1249 lower=1250 upper=3285 16.00/16.09 o 1250 16.19/16.27 o 1263 16.19/16.27 c 79 calls to solver: best=1263 lower=1264 upper=3285 16.89/16.99 o 1266 17.29/17.33 o 1271 17.29/17.33 c 81 calls to solver: best=1271 lower=1272 upper=3285 17.89/17.97 o 1273 25.69/25.72 o 1274 25.69/25.72 c 83 calls to solver: best=1274 lower=1275 upper=3285 31.19/31.26 o 1284 31.29/31.32 o 1301 31.29/31.32 c 85 calls to solver: best=1301 lower=1302 upper=3285 127.00/127.04 o 1302 128.89/128.90 o 1303 128.89/128.90 c 87 calls to solver: best=1303 lower=1304 upper=3285 163.79/163.88 o 1325 182.69/182.72 o 1329 182.69/182.72 c 89 calls to solver: best=1329 lower=1330 upper=3285 195.79/195.87 o 1331 419.18/419.24 o 1335 419.18/419.24 c 91 calls to solver: best=1335 lower=1336 upper=3285 419.28/419.31 o 1341 454.09/454.19 o 1343 454.09/454.19 c 93 calls to solver: best=1343 lower=1344 upper=3285 482.18/482.25 o 1345 502.99/503.02 o 1347 502.99/503.02 c 95 calls to solver: best=1347 lower=1348 upper=3285 518.78/518.89 o 1350 527.18/527.24 o 1357 527.18/527.24 c 97 calls to solver: best=1357 lower=1358 upper=3285 532.48/532.55 o 1366 547.88/547.92 o 1369 547.88/547.92 c 99 calls to solver: best=1369 lower=1370 upper=3285 561.48/561.56 o 1372 613.99/614.10 o 1381 613.99/614.10 c 101 calls to solver: best=1381 lower=1382 upper=3285 632.58/632.66 o 1399 643.38/643.44 o 1411 643.38/643.44 c 103 calls to solver: best=1411 lower=1412 upper=3285 648.68/648.76 o 1416 1004.08/1004.19 o 1417 1004.08/1004.19 c 105 calls to solver: best=1417 lower=1418 upper=3285 1186.37/1186.42 o 1419 1215.47/1215.51 o 1421 1215.47/1215.51 c 107 calls to solver: best=1421 lower=1422 upper=3285 1244.27/1244.36 o 1424 1521.66/1521.75 o 1427 1521.66/1521.75 c 109 calls to solver: best=1427 lower=1428 upper=3285 1585.26/1585.39 o 1430 1706.06/1706.17 o 1433 1706.06/1706.17 c 111 calls to solver: best=1433 lower=1434 upper=3285 1978.65/1978.77 o 1436 2080.75/2080.88 o 1439 2080.75/2080.88 c 113 calls to solver: best=1439 lower=1440 upper=3285 2139.55/2139.69 o 1444 2230.64/2230.79 o 1466 2230.64/2230.79 c 115 calls to solver: best=1466 lower=1467 upper=3285 2338.34/2338.49 o 1467 2400.05/2400.10 2400.05/2400.10 c *** INTERRUPTED *** 2400.05/2400.10 c restarts : 112 2400.05/2400.10 c conflicts : 43346105 (18060 /sec) 2400.05/2400.10 c decisions : 247350995 (103061 /sec) 2400.05/2400.10 c propagations : 2466117836 (1027526 /sec) 2400.05/2400.10 c root propagations : 60 2400.05/2400.10 c filter calls : 848866580 (353686 /sec) 2400.05/2400.10 c useless filter calls : 523387898 (61 %) 2400.05/2400.10 c Memory used : 26.15 MB 2400.05/2400.10 c CPU time : 2400.05 s 2400.05/2400.10 2400.05/2400.10 c nb Solutions = 116 2400.05/2400.10 s SATISFIABLE 2400.05/2400.10 c Best value found: 1467 2400.05/2400.10 2400.05/2400.10 2400.05/2400.10 v <instantiation type='solution' cost='1467'> 2400.05/2400.10 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> 2400.05/2400.10 v <values>0 0 1 1 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 </values> 2400.05/2400.10 v </instantiation> 2400.05/2400.10
OK 1467
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 (14133 MiB free)
memory of node 1: 16384 MiB (12351 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267075-1502610331/watcher-4267075-1502610331 -o /tmp/evaluation-result-4267075-1502610331/solver-4267075-1502610331 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502602193-30974 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267075-1502610331.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=31981, runsolver pid=31978
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 2.24 2.06 2.04 3/187 31982
/proc/meminfo: memFree=27120468/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3300 CPUtime=0.1 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 1019 0 0 0 10 0 0 0 20 0 1 0 94120902 27418624 825 33554432000 4194304 5748600 140731953035200 140731953031848 5119566 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3300 KiB
[startup+0.209081 s]*
/proc/loadavg: 2.24 2.06 2.04 3/187 31982
/proc/meminfo: memFree=27120344/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3300 CPUtime=0.21 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 1019 0 0 0 21 0 0 0 20 0 1 0 94120902 27418624 825 33554432000 4194304 5748600 140731953035200 140731953031848 4949171 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3300 KiB
[startup+0.308833 s]*
/proc/loadavg: 2.24 2.06 2.04 3/187 31982
/proc/meminfo: memFree=27120344/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3300 CPUtime=0.31 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 1019 0 0 0 31 0 0 0 20 0 1 0 94120902 27418624 825 33554432000 4194304 5748600 140731953035200 140731953031848 5025706 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3300 KiB
[startup+0.7003 s]
/proc/loadavg: 2.24 2.06 2.04 3/187 31982
/proc/meminfo: memFree=27120048/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3300 CPUtime=0.69 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 1019 0 0 0 69 0 0 0 20 0 1 0 94120902 27418624 825 33554432000 4194304 5748600 140731953035200 140731953022472 5025692 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3300 KiB
[startup+1.50032 s]
/proc/loadavg: 2.24 2.06 2.04 3/187 31982
/proc/meminfo: memFree=27119948/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3300 CPUtime=1.49 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 1019 0 0 0 149 0 0 0 20 0 1 0 94120902 27418624 825 33554432000 4194304 5748600 140731953035200 140731953022472 5025695 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3300 KiB
[startup+3.1088 s]
/proc/loadavg: 2.24 2.06 2.04 3/187 31982
/proc/meminfo: memFree=27119952/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=3.1 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 1060 0 0 0 310 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953022472 4948008 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+6.30027 s]
/proc/loadavg: 2.14 2.05 2.04 3/187 31982
/proc/meminfo: memFree=27119856/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=6.29 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 1101 0 0 0 629 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953022472 5025692 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+12.7003 s]
/proc/loadavg: 2.13 2.05 2.04 3/187 31982
/proc/meminfo: memFree=27119860/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=12.69 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 1142 0 0 0 1269 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953022472 5025858 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+25.5003 s]
/proc/loadavg: 2.10 2.04 2.04 3/187 31982
/proc/meminfo: memFree=27120108/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=25.49 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 1208 0 0 0 2549 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953032728 5025692 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+51.1088 s]
/proc/loadavg: 2.07 2.04 2.04 3/187 31982
/proc/meminfo: memFree=27120224/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=51.1 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 1249 0 0 0 5110 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953022472 4949952 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.04 3/187 31983
/proc/meminfo: memFree=27120152/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=102.29 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 1274 0 0 0 10229 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953022472 5000368 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+162.3 s]
/proc/loadavg: 2.58 2.21 2.10 3/187 31984
/proc/meminfo: memFree=27120156/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=162.29 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 1315 0 0 0 16229 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953022472 5119552 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+222.3 s]
/proc/loadavg: 2.21 2.17 2.09 3/187 31985
/proc/meminfo: memFree=27119940/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=222.29 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 1356 0 0 0 22229 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953032728 5122548 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+282.3 s]
/proc/loadavg: 2.08 2.14 2.08 3/187 31986
/proc/meminfo: memFree=27119944/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=282.29 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 1381 0 0 0 28229 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953032728 4948241 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+342.3 s]
/proc/loadavg: 2.03 2.11 2.08 3/187 31987
/proc/meminfo: memFree=27119576/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=342.28 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 1406 0 0 0 34228 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953032728 4948241 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.09 2.07 3/187 31988
/proc/meminfo: memFree=27119456/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=402.28 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 1431 0 0 0 40228 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953032728 4947263 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.08 2.07 3/187 31989
/proc/meminfo: memFree=27119788/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=462.28 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 1472 0 0 0 46228 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953022472 4948704 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
################
# More data... #
################
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 1662.26 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32028
/proc/meminfo: memFree=27118864/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=1722.26 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 2139 0 0 0 172226 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953022472 4947134 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32037
/proc/meminfo: memFree=27118852/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=1782.25 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 2164 0 0 0 178225 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953022472 5025858 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+1842.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/189 32061
/proc/meminfo: memFree=27118120/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=1842.25 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 2189 0 0 0 184225 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953022472 4947510 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/189 32062
/proc/meminfo: memFree=27118188/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=1902.25 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 2214 0 0 0 190225 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953022472 4947588 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 32063
/proc/meminfo: memFree=27118192/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=1962.25 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 2239 0 0 0 196225 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953022472 4947896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 32064
/proc/meminfo: memFree=27117924/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=2022.25 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 2279 0 0 0 202225 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953032728 5025692 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32065
/proc/meminfo: memFree=27118060/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=2082.25 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 2320 0 0 0 208225 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953032728 5025695 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32066
/proc/meminfo: memFree=27117964/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=2142.25 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 2360 0 0 0 214225 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953032728 5025875 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32067
/proc/meminfo: memFree=27118496/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=2202.25 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 2385 0 0 0 220225 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953032728 5025706 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32068
/proc/meminfo: memFree=27118376/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=2262.24 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 2426 0 0 0 226224 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953022472 4947593 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32069
/proc/meminfo: memFree=27118488/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=2322.24 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 2451 0 0 0 232224 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953022472 4949223 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32078
/proc/meminfo: memFree=27117472/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=2382.24 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 2491 0 0 0 238224 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953032728 5025701 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32139
/proc/meminfo: memFree=26837992/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=2400.05 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 2516 0 0 0 240005 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953032728 5025873 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 31981 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.05 s, system=0.006999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32139
/proc/meminfo: memFree=26837992/32770624 swapFree=67108860/67108860
[pid=31981] ppid=31978 vsize=26776 memory=3428 CPUtime=2400.05 cores=1,3,5,7
/proc/31981/stat : 31981 (cosoco) R 31978 31981 30942 0 -1 4202496 2516 0 0 0 240005 0 0 0 20 0 1 0 94120902 27418624 857 33554432000 4194304 5748600 140731953035200 140731953032728 5025873 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 31944704 140731953042623 140731953042718 140731953042718 140731953045454 0
/proc/31981/statm: 6694 857 758 380 0 112 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3428 KiB
Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.06
CPU user time (s): 2400.05
CPU system time (s): 0.006999
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 26776
Max. memory (cumulated for all children) (KiB): 3428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.006999
maximum resident set size= 3504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2571
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= 6
involuntary context switches= 1803
# summary of solver processes directly reported to runsolver:
# pid: 31981
# total CPU time (s): 2400.06
# total CPU user time (s): 2400.05
# total CPU system time (s): 0.006999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.14115 second user time and 14.9737 second system time
The end
Begin job on node114 at 2017-08-13 09:31:12 IDJOB=4267075 IDBENCH=133500 IDSOLVER=2657 FILE ID=node114/4267075-1502610331 RUNJOBID= node114-1502602193-30974 PBS_JOBID= 20628297 Free space on /tmp= 61696 MiB SOLVER NAME= cosoco-mini 1.12 BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s60/Knapsack-60-250-13.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267075-1502610331/watcher-4267075-1502610331 -o /tmp/evaluation-result-4267075-1502610331/solver-4267075-1502610331 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502602193-30974 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267075-1502610331.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 38d75cb998cf411a03c81843abbd85b8 RANDOM SEED=154483248 node114.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 : 5332.98 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 : 5332.98 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 : 5332.98 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 : 5332.98 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: 27121000 kB MemAvailable: 31990940 kB Buffers: 140996 kB Cached: 5019312 kB SwapCached: 0 kB Active: 379704 kB Inactive: 4836220 kB Active(anon): 58368 kB Inactive(anon): 25036 kB Active(file): 321336 kB Inactive(file): 4811184 kB Unevictable: 6520 kB Mlocked: 6520 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2232 kB Writeback: 0 kB AnonPages: 53572 kB Mapped: 44656 kB Shmem: 25224 kB Slab: 132200 kB SReclaimable: 106512 kB SUnreclaim: 25688 kB KernelStack: 3568 kB PageTables: 5384 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 351524 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61696 MiB End job on node114 at 2017-08-13 10:11:13