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 | OPT | 1429 | 1094.23 | 1094.55 |
| Name | Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml |
| MD5SUM | e3af77ac2ce2de59a61fc382fed7941a |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1429 |
| Best CPU time to get the best result obtained on this benchmark | 1086.89 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 50 |
| Number of constraints | 1 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":50}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 2 |
| Distribution of variable degrees | [{"degree":2,"count":50}] |
| Minimum constraint arity | 50 |
| Maximum constraint arity | 50 |
| Distribution of constraint arities | [{"arity":50,"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.10 c best=?? lower=0 upper=2875 0.00/0.10 c 0.00/0.10 c This is cosoco 1.12 -- 0.00/0.10 c 0.00/0.10 c command line: cosoco -lc -model -restarts HOME/instance-4267068-1502610021.xml 0.00/0.10 c enable optimization 0.00/0.10 c ========================================[ Problem Statistics ]=========================================== 0.00/0.10 c | 0.00/0.10 c | Parse time : 0.00 s 0.00/0.10 c | 0.00/0.10 c | Variables: 50 0.00/0.10 c | Domain Sizes: 2..2 0.00/0.10 c | 0.00/0.10 c | Constraints: 2 0.00/0.10 c | Arity: 50..50 0.00/0.10 c | 0.00/0.10 c | Types: 0.00/0.10 c | Sum: 2 0.00/0.10 c | 0.00/0.10 c ========================================================================================================= 0.00/0.10 o 0 0.00/0.10 c 1 calls to solver: best=0 lower=1 upper=2875 0.00/0.10 o 24 0.00/0.10 o 68 0.00/0.10 c 3 calls to solver: best=68 lower=69 upper=2875 0.00/0.10 o 100 0.00/0.10 o 113 0.00/0.10 c 5 calls to solver: best=113 lower=114 upper=2875 0.00/0.10 o 114 0.00/0.10 o 125 0.00/0.10 c 7 calls to solver: best=125 lower=126 upper=2875 0.00/0.10 o 150 0.00/0.10 o 164 0.00/0.10 c 9 calls to solver: best=164 lower=165 upper=2875 0.00/0.10 o 183 0.00/0.10 o 205 0.00/0.10 c 11 calls to solver: best=205 lower=206 upper=2875 0.00/0.10 o 228 0.00/0.10 o 246 0.00/0.10 c 13 calls to solver: best=246 lower=247 upper=2875 0.00/0.10 o 274 0.00/0.10 o 289 0.00/0.10 c 15 calls to solver: best=289 lower=290 upper=2875 0.00/0.10 o 332 0.00/0.10 o 343 0.00/0.10 c 17 calls to solver: best=343 lower=344 upper=2875 0.00/0.10 o 352 0.00/0.10 o 354 0.00/0.10 c 19 calls to solver: best=354 lower=355 upper=2875 0.00/0.10 o 367 0.00/0.10 o 371 0.00/0.10 c 21 calls to solver: best=371 lower=372 upper=2875 0.00/0.10 o 408 0.00/0.10 o 418 0.00/0.10 c 23 calls to solver: best=418 lower=419 upper=2875 0.00/0.10 o 433 0.00/0.10 o 444 0.00/0.10 c 25 calls to solver: best=444 lower=445 upper=2875 0.00/0.11 o 455 0.00/0.11 o 500 0.00/0.11 c 27 calls to solver: best=500 lower=501 upper=2875 0.00/0.11 o 515 0.00/0.11 o 520 0.00/0.11 c 29 calls to solver: best=520 lower=521 upper=2875 0.00/0.11 o 521 0.00/0.11 o 525 0.00/0.11 c 31 calls to solver: best=525 lower=526 upper=2875 0.00/0.11 o 573 0.00/0.11 o 599 0.00/0.11 c 33 calls to solver: best=599 lower=600 upper=2875 0.00/0.11 o 630 0.00/0.11 o 654 0.00/0.11 c 35 calls to solver: best=654 lower=655 upper=2875 0.00/0.11 o 676 0.00/0.11 o 693 0.00/0.11 c 37 calls to solver: best=693 lower=694 upper=2875 0.00/0.11 o 707 0.00/0.11 o 751 0.00/0.11 c 39 calls to solver: best=751 lower=752 upper=2875 0.00/0.11 o 785 0.00/0.11 o 791 0.00/0.11 c 41 calls to solver: best=791 lower=792 upper=2875 0.00/0.11 o 817 0.00/0.11 o 840 0.00/0.11 c 43 calls to solver: best=840 lower=841 upper=2875 0.00/0.11 o 872 0.00/0.11 o 885 0.00/0.11 c 45 calls to solver: best=885 lower=886 upper=2875 0.00/0.11 o 917 0.00/0.11 o 926 0.00/0.11 c 47 calls to solver: best=926 lower=927 upper=2875 0.00/0.11 o 927 0.00/0.11 o 942 0.00/0.11 c 49 calls to solver: best=942 lower=943 upper=2875 0.00/0.11 o 944 0.00/0.11 o 954 0.00/0.11 c 51 calls to solver: best=954 lower=955 upper=2875 0.00/0.11 o 955 0.00/0.12 o 965 0.00/0.12 c 53 calls to solver: best=965 lower=966 upper=2875 0.21/0.35 o 971 0.50/0.64 o 974 0.50/0.64 c 55 calls to solver: best=974 lower=975 upper=2875 0.50/0.65 o 983 0.50/0.65 o 987 0.50/0.65 c 57 calls to solver: best=987 lower=988 upper=2875 0.50/0.66 o 1002 0.50/0.66 o 1008 0.50/0.66 c 59 calls to solver: best=1008 lower=1009 upper=2875 0.60/0.70 o 1013 0.60/0.75 o 1014 0.60/0.75 c 61 calls to solver: best=1014 lower=1015 upper=2875 0.80/0.94 o 1015 0.90/1.04 o 1032 0.90/1.04 c 63 calls to solver: best=1032 lower=1033 upper=2875 0.90/1.05 o 1033 1.00/1.14 o 1041 1.00/1.14 c 65 calls to solver: best=1041 lower=1042 upper=2875 1.00/1.17 o 1049 1.00/1.19 o 1052 1.00/1.19 c 67 calls to solver: best=1052 lower=1053 upper=2875 1.09/1.21 o 1061 1.09/1.21 o 1070 1.09/1.21 c 69 calls to solver: best=1070 lower=1071 upper=2875 1.09/1.23 o 1085 1.09/1.25 o 1093 1.09/1.25 c 71 calls to solver: best=1093 lower=1094 upper=2875 1.09/1.25 o 1114 1.09/1.26 o 1117 1.09/1.26 c 73 calls to solver: best=1117 lower=1118 upper=2875 1.19/1.38 o 1125 1.49/1.61 o 1138 1.49/1.61 c 75 calls to solver: best=1138 lower=1139 upper=2875 2.39/2.52 o 1159 2.59/2.70 o 1162 2.59/2.70 c 77 calls to solver: best=1162 lower=1163 upper=2875 2.90/3.02 o 1170 4.49/4.62 o 1173 4.49/4.62 c 79 calls to solver: best=1173 lower=1174 upper=2875 5.79/5.98 o 1188 28.29/28.44 o 1193 28.29/28.44 c 81 calls to solver: best=1193 lower=1194 upper=2875 33.19/33.31 o 1196 57.39/57.53 o 1198 57.39/57.53 c 83 calls to solver: best=1198 lower=1199 upper=2875 79.38/79.59 o 1207 84.38/84.56 o 1208 84.38/84.56 c 85 calls to solver: best=1208 lower=1209 upper=2875 95.99/96.19 o 1210 106.48/106.63 o 1213 106.48/106.63 c 87 calls to solver: best=1213 lower=1214 upper=2875 111.88/112.06 o 1214 115.77/115.92 o 1218 115.77/115.92 c 89 calls to solver: best=1218 lower=1219 upper=2875 119.17/119.33 o 1219 119.77/119.97 o 1221 119.77/119.97 c 91 calls to solver: best=1221 lower=1222 upper=2875 120.47/120.66 o 1229 121.98/122.19 o 1241 121.98/122.19 c 93 calls to solver: best=1241 lower=1242 upper=2875 124.07/124.22 o 1249 139.57/139.73 o 1251 139.57/139.73 c 95 calls to solver: best=1251 lower=1252 upper=2875 142.98/143.17 o 1266 199.26/199.40 o 1271 199.26/199.40 c 97 calls to solver: best=1271 lower=1272 upper=2875 207.66/207.81 o 1285 230.65/230.89 o 1298 230.65/230.89 c 99 calls to solver: best=1298 lower=1299 upper=2875 242.86/243.01 o 1300 266.64/266.86 o 1305 266.64/266.86 c 101 calls to solver: best=1305 lower=1306 upper=2875 361.62/361.88 o 1307 374.83/375.08 o 1311 374.83/375.08 c 103 calls to solver: best=1311 lower=1312 upper=2875 411.61/411.80 o 1315 431.01/431.22 o 1316 431.01/431.22 c 105 calls to solver: best=1316 lower=1317 upper=2875 467.40/467.64 o 1332 482.91/483.12 o 1335 482.91/483.12 c 107 calls to solver: best=1335 lower=1336 upper=2875 542.39/542.66 o 1340 555.48/555.72 o 1347 555.48/555.72 c 109 calls to solver: best=1347 lower=1348 upper=2875 564.79/565.04 o 1366 635.47/635.79 o 1368 635.47/635.79 c 111 calls to solver: best=1368 lower=1369 upper=2875 693.66/693.91 o 1369 715.15/715.42 o 1370 715.15/715.42 c 113 calls to solver: best=1370 lower=1371 upper=2875 730.25/730.51 o 1373 736.55/736.81 o 1377 736.55/736.81 c 115 calls to solver: best=1377 lower=1378 upper=2875 739.65/739.93 o 1379 742.14/742.40 o 1383 742.14/742.40 c 117 calls to solver: best=1383 lower=1384 upper=2875 837.73/838.07 o 1391 917.82/918.15 o 1398 917.82/918.15 c 119 calls to solver: best=1398 lower=1399 upper=2875 929.91/930.24 o 1400 971.50/971.86 o 1402 971.50/971.86 c 121 calls to solver: best=1402 lower=1403 upper=2875 981.90/982.29 o 1411 1024.19/1024.59 o 1424 1024.19/1024.59 c 123 calls to solver: best=1424 lower=1425 upper=2875 1051.48/1051.81 o 1426 1069.38/1069.71 o 1429 1069.38/1069.71 c 125 calls to solver: best=1429 lower=1430 upper=2875 1094.17/1094.55 c 1094.17/1094.55 c Optimum found : 1429 1094.17/1094.55 c 1094.17/1094.55 1094.17/1094.55 v <instantiation type='solution' cost='1429'> 1094.17/1094.55 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[5] x[6] x[7] x[8] x[9] </list> 1094.17/1094.55 v <values>1 1 1 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 1 0 1 0 </values> 1094.17/1094.55 v </instantiation> 1094.17/1094.55 1094.17/1094.55 c call to solver : 126 1094.17/1094.55 c 1094.17/1094.55 c restarts : 106 1094.17/1094.55 c conflicts : 24961934 (22812 /sec) 1094.17/1094.55 c decisions : 134450436 (122873 /sec) 1094.17/1094.55 c propagations : 1175035013 (1073849 /sec) 1094.17/1094.55 c root propagations : 50 1094.17/1094.55 c filter calls : 465898074 (425778 /sec) 1094.17/1094.55 c useless filter calls : 286273691 (61 %) 1094.17/1094.55 c Memory used : 26.15 MB 1094.17/1094.55 c CPU time : 1094.23 s 1094.17/1094.55 1094.17/1094.55 s OPTIMUM FOUND
OK 1429
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 (11494 MiB free)
memory of node 1: 16384 MiB (6678 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267068-1502610021/watcher-4267068-1502610021 -o /tmp/evaluation-result-4267068-1502610021/solver-4267068-1502610021 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502596287-9624 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267068-1502610021.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=11992, runsolver pid=11989
[startup+0.100091 s]*
/proc/loadavg: 4.94 3.75 2.79 6/198 11993
/proc/meminfo: memFree=18609424/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3304 CPUtime=0 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1015 0 0 0 0 0 0 0 20 0 1 0 108508475 27418624 826 18446744073709551615 4194304 5748600 140726555880976 140726555877624 140589065800800 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 826 732 380 0 112 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3304 KiB
[startup+0.209781 s]*
/proc/loadavg: 4.94 3.75 2.79 6/198 11993
/proc/meminfo: memFree=18609424/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3304 CPUtime=0.11 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1015 0 0 0 11 0 0 0 20 0 1 0 108508475 27418624 826 18446744073709551615 4194304 5748600 140726555880976 140726555877624 5025649 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 826 732 380 0 112 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3304 KiB
[startup+0.309219 s]*
/proc/loadavg: 4.94 3.75 2.79 6/198 11993
/proc/meminfo: memFree=18609424/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3304 CPUtime=0.21 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1015 0 0 0 21 0 0 0 20 0 1 0 108508475 27418624 826 18446744073709551615 4194304 5748600 140726555880976 140726555877624 4949338 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 826 732 380 0 112 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3304 KiB
[startup+0.700224 s]
/proc/loadavg: 4.94 3.75 2.79 6/198 11993
/proc/meminfo: memFree=18609424/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3304 CPUtime=0.6 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1015 0 0 0 60 0 0 0 20 0 1 0 108508475 27418624 826 18446744073709551615 4194304 5748600 140726555880976 140726555877624 4948236 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 826 732 380 0 112 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3304 KiB
[startup+1.50022 s]
/proc/loadavg: 4.94 3.75 2.79 3/198 11993
/proc/meminfo: memFree=18609056/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3304 CPUtime=1.39 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1015 0 0 0 139 0 0 0 20 0 1 0 108508475 27418624 826 18446744073709551615 4194304 5748600 140726555880976 140726555878504 5025873 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 826 732 380 0 112 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3304 KiB
[startup+3.10914 s]
/proc/loadavg: 4.94 3.77 2.80 6/198 11993
/proc/meminfo: memFree=18608908/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3304 CPUtime=3 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1052 0 0 0 300 0 0 0 20 0 1 0 108508475 27418624 826 18446744073709551615 4194304 5748600 140726555880976 140726555868248 4948712 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 826 732 380 0 112 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3304 KiB
[startup+6.30033 s]
/proc/loadavg: 4.94 3.77 2.80 6/198 11993
/proc/meminfo: memFree=18608908/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=6.19 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1089 0 0 0 619 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555878504 5119688 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+12.7003 s]
/proc/loadavg: 4.95 3.79 2.81 6/198 11993
/proc/meminfo: memFree=18608908/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=12.59 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1109 0 0 0 1259 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555878504 4947964 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+25.5003 s]
/proc/loadavg: 4.96 3.85 2.85 6/199 11994
/proc/meminfo: memFree=18608892/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=25.39 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1149 0 0 0 2539 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555878504 5025701 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+51.1091 s]
/proc/loadavg: 4.73 3.89 2.89 3/186 12027
/proc/meminfo: memFree=31784752/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=51 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1186 0 0 0 5100 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555878504 4949316 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+102.3 s]
/proc/loadavg: 3.19 3.60 2.84 3/186 12029
/proc/meminfo: memFree=31784012/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=102.18 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1240 0 0 0 10218 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555878504 5025680 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 102.18 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+162.3 s]
/proc/loadavg: 2.44 3.31 2.79 3/186 12031
/proc/meminfo: memFree=31784328/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=162.16 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1277 0 0 0 16216 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555878504 4949204 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 162.16 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+222.3 s]
/proc/loadavg: 2.11 3.05 2.74 3/190 12049
/proc/meminfo: memFree=31778092/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=222.15 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1314 0 0 0 22215 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555878504 4948236 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 222.15 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.86 2.69 3/190 12051
/proc/meminfo: memFree=31778688/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=282.14 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1351 0 0 0 28214 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555868248 5025632 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 282.14 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.71 2.65 3/186 12053
/proc/meminfo: memFree=31782176/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=342.13 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1371 0 0 0 34213 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555868248 4949316 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 342.13 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.58 2.61 3/186 12055
/proc/meminfo: memFree=31782484/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=402.12 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1408 0 0 0 40212 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555868248 4949217 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 402.12 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.47 2.57 3/186 12057
/proc/meminfo: memFree=31782364/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=462.1 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1445 0 0 0 46210 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555868248 5025697 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 462.1 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
################
# More data... #
################
Current children cumulated memory: 3416 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.22 2.44 3/186 12128
/proc/meminfo: memFree=31782456/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=702.05 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1591 0 0 0 70205 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555878504 5025875 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 702.05 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+762.3 s]
/proc/loadavg: 2.07 2.20 2.42 3/186 12130
/proc/meminfo: memFree=31781964/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=762.04 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1630 0 0 0 76204 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555868248 4947287 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 762.04 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+822.3 s]
/proc/loadavg: 2.03 2.16 2.39 3/189 12146
/proc/meminfo: memFree=31777028/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=822.03 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1650 0 0 0 82203 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555868248 4948016 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 822.03 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+882.3 s]
/proc/loadavg: 2.01 2.13 2.37 3/187 12148
/proc/meminfo: memFree=31777372/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=882.02 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1685 0 0 0 88202 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555878504 4948016 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 882.02 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.11 2.35 3/185 12151
/proc/meminfo: memFree=31781756/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=942 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1722 0 0 0 94200 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555878504 4947146 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 942 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+1002.3 s]
/proc/loadavg: 2.06 2.10 2.33 3/185 12153
/proc/meminfo: memFree=31781636/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=1001.99 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1759 0 0 0 100199 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555878504 4947576 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 1001.99 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+1062.3 s]
/proc/loadavg: 2.02 2.09 2.31 3/186 12156
/proc/meminfo: memFree=31781708/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=1061.98 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1796 0 0 0 106198 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555878504 4949876 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 1061.98 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+1094.55 s]
# the end of solver process 11992 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1094.23 s, system=0.002999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1075.2 s]
/proc/loadavg: 2.02 2.08 2.30 3/186 12156
/proc/meminfo: memFree=31781832/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=1074.88 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1796 0 0 0 107488 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555868248 4947580 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 1074.88 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+1088 s]*
/proc/loadavg: 2.01 2.08 2.30 3/186 12156
/proc/meminfo: memFree=31781948/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=1087.68 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1816 0 0 0 108768 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555868248 4949952 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 1087.68 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+1091.2 s]
/proc/loadavg: 2.01 2.08 2.30 3/186 12157
/proc/meminfo: memFree=31781824/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=1090.87 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1816 0 0 0 109087 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555868248 4949776 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 1090.87 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+1092.8 s]
/proc/loadavg: 2.01 2.08 2.30 3/186 12157
/proc/meminfo: memFree=31781824/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=1092.47 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1816 0 0 0 109247 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555868248 5144161 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 1092.47 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+1093.6 s]
/proc/loadavg: 2.01 2.08 2.30 3/186 12157
/proc/meminfo: memFree=31781824/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=1093.27 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1816 0 0 0 109327 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555868248 4947580 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 1093.27 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+1094 s]*
/proc/loadavg: 2.01 2.08 2.30 3/186 12157
/proc/meminfo: memFree=31781824/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=1093.68 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1816 0 0 0 109368 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555868248 4947720 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 1093.68 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+1094.4 s]
/proc/loadavg: 2.01 2.08 2.30 3/186 12157
/proc/meminfo: memFree=31781824/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=1094.07 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1816 0 0 0 109407 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555868248 4948032 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 1094.07 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
[startup+1094.5 s]
/proc/loadavg: 2.01 2.08 2.30 3/186 12157
/proc/meminfo: memFree=31781824/32770624 swapFree=67108764/67108860
[pid=11992] ppid=11989 vsize=26776 memory=3416 CPUtime=1094.17 cores=0,2,4,6
/proc/11992/stat : 11992 (cosoco) R 11989 11992 4674 0 -1 4202496 1816 0 0 0 109417 0 0 0 20 0 1 0 108508475 27418624 854 18446744073709551615 4194304 5748600 140726555880976 140726555868248 5025632 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7849824 7854664 40390656 140726555886025 140726555886120 140726555886120 140726555889614 0
/proc/11992/statm: 6694 854 758 380 0 112 0
Current children cumulated CPU time: 1094.17 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3416 KiB
Child status: 0
Real time (s): 1094.55
CPU time (s): 1094.23
CPU user time (s): 1094.23
CPU system time (s): 0.002999
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 26776
Max. memory (cumulated for all children) (KiB): 3416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1094.23
system time used= 0.002999
maximum resident set size= 3496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1872
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= 5733
# summary of solver processes directly reported to runsolver:
# pid: 11992
# total CPU time (s): 1094.23
# total CPU user time (s): 1094.23
# total CPU system time (s): 0.002999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.79178 second user time and 7.40174 second system time
The end
Begin job on node134 at 2017-08-13 09:26:26 IDJOB=4267068 IDBENCH=133446 IDSOLVER=2657 FILE ID=node134/4267068-1502610021 RUNJOBID= node134-1502596287-9624 PBS_JOBID= Free space on /tmp= 60864 MiB SOLVER NAME= cosoco-mini 1.12 BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-16.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267068-1502610021/watcher-4267068-1502610021 -o /tmp/evaluation-result-4267068-1502610021/solver-4267068-1502610021 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502596287-9624 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267068-1502610021.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e3af77ac2ce2de59a61fc382fed7941a RANDOM SEED=263431399 node134.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.43 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.43 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.43 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.43 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: 18609424 kB MemAvailable: 19983544 kB Buffers: 217560 kB Cached: 1449764 kB SwapCached: 4 kB Active: 13503632 kB Inactive: 184288 kB Active(anon): 11967484 kB Inactive(anon): 94540 kB Active(file): 1536148 kB Inactive(file): 89748 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108764 kB Dirty: 2028 kB Writeback: 4 kB AnonPages: 12020556 kB Mapped: 66928 kB Shmem: 41564 kB Slab: 154536 kB SReclaimable: 128116 kB SUnreclaim: 26420 kB KernelStack: 3456 kB PageTables: 28408 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 12328080 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 11388928 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62028 MiB End job on node134 at 2017-08-13 09:44:41