Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 1378 | 2520.06 | 2520.01 |
| Name | Knapsack/ Knapsack-60-250-00_c18.xml |
| MD5SUM | c946fa8aa2d076cbb98267642aa382e7 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1404 |
| Best CPU time to get the best result obtained on this benchmark | 897.822 |
| 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=3024 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: HOME/cosoco -lc -model -restarts HOME/instance-4295367-1532548330.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 | Objective: Maximize Sum 0.00/0.00 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=3024 0.00/0.00 o 6 0.00/0.00 o 59 0.00/0.00 c 3 calls to solver: best=59 lower=60 upper=3024 0.00/0.00 o 61 0.00/0.00 o 70 0.00/0.00 c 5 calls to solver: best=70 lower=71 upper=3024 0.00/0.00 o 71 0.00/0.00 o 111 0.00/0.00 c 7 calls to solver: best=111 lower=112 upper=3024 0.00/0.00 o 117 0.00/0.00 o 132 0.00/0.00 c 9 calls to solver: best=132 lower=133 upper=3024 0.00/0.00 o 190 0.00/0.00 o 210 0.00/0.00 c 11 calls to solver: best=210 lower=211 upper=3024 0.00/0.00 o 218 0.00/0.01 o 231 0.00/0.01 c 13 calls to solver: best=231 lower=232 upper=3024 0.00/0.01 o 242 0.00/0.01 o 278 0.00/0.01 c 15 calls to solver: best=278 lower=279 upper=3024 0.00/0.01 o 310 0.00/0.01 o 316 0.00/0.01 c 17 calls to solver: best=316 lower=317 upper=3024 0.00/0.01 o 321 0.00/0.01 o 323 0.00/0.01 c 19 calls to solver: best=323 lower=324 upper=3024 0.00/0.01 o 329 0.00/0.01 o 376 0.00/0.01 c 21 calls to solver: best=376 lower=377 upper=3024 0.00/0.01 o 383 0.00/0.01 o 387 0.00/0.01 c 23 calls to solver: best=387 lower=388 upper=3024 0.00/0.01 o 409 0.00/0.01 o 416 0.00/0.01 c 25 calls to solver: best=416 lower=417 upper=3024 0.00/0.01 o 424 0.00/0.01 o 493 0.00/0.01 c 27 calls to solver: best=493 lower=494 upper=3024 0.00/0.01 o 500 0.00/0.01 o 501 0.00/0.01 c 29 calls to solver: best=501 lower=502 upper=3024 0.00/0.01 o 518 0.00/0.01 o 521 0.00/0.01 c 31 calls to solver: best=521 lower=522 upper=3024 0.00/0.01 o 549 0.00/0.01 o 586 0.00/0.01 c 33 calls to solver: best=586 lower=587 upper=3024 0.00/0.01 o 594 0.00/0.01 o 611 0.00/0.01 c 35 calls to solver: best=611 lower=612 upper=3024 0.00/0.01 o 625 0.00/0.01 o 642 0.00/0.01 c 37 calls to solver: best=642 lower=643 upper=3024 0.00/0.02 o 645 0.00/0.02 o 662 0.00/0.02 c 39 calls to solver: best=662 lower=663 upper=3024 0.00/0.02 o 685 0.00/0.02 o 687 0.00/0.02 c 41 calls to solver: best=687 lower=688 upper=3024 0.00/0.02 o 691 0.00/0.02 o 722 0.00/0.02 c 43 calls to solver: best=722 lower=723 upper=3024 0.00/0.02 o 739 0.00/0.02 o 756 0.00/0.02 c 45 calls to solver: best=756 lower=757 upper=3024 0.00/0.02 o 771 0.00/0.02 o 791 0.00/0.02 c 47 calls to solver: best=791 lower=792 upper=3024 0.00/0.02 o 831 0.00/0.02 o 838 0.00/0.02 c 49 calls to solver: best=838 lower=839 upper=3024 0.00/0.02 o 845 0.00/0.02 o 890 0.00/0.02 c 51 calls to solver: best=890 lower=891 upper=3024 0.00/0.02 o 897 0.00/0.02 o 915 0.00/0.02 c 53 calls to solver: best=915 lower=916 upper=3024 0.00/0.02 o 948 0.00/0.02 o 966 0.00/0.02 c 55 calls to solver: best=966 lower=967 upper=3024 0.00/0.02 o 973 0.00/0.02 o 988 0.00/0.02 c 57 calls to solver: best=988 lower=989 upper=3024 0.00/0.02 o 1022 0.00/0.02 o 1046 0.00/0.02 c 59 calls to solver: best=1046 lower=1047 upper=3024 0.00/0.03 o 1059 0.00/0.03 o 1082 0.00/0.03 c 61 calls to solver: best=1082 lower=1083 upper=3024 1.39/1.41 o 1087 1.39/1.44 o 1089 1.39/1.44 c 63 calls to solver: best=1089 lower=1090 upper=3024 1.49/1.50 o 1092 1.49/1.52 o 1094 1.49/1.52 c 65 calls to solver: best=1094 lower=1095 upper=3024 1.49/1.53 o 1101 1.49/1.54 o 1114 1.49/1.54 c 67 calls to solver: best=1114 lower=1115 upper=3024 21.89/21.96 o 1120 66.39/66.49 o 1121 66.39/66.49 c 69 calls to solver: best=1121 lower=1122 upper=3024 68.29/68.37 o 1127 69.00/69.09 o 1134 69.00/69.09 c 71 calls to solver: best=1134 lower=1135 upper=3024 72.00/72.04 o 1138 73.79/73.88 o 1144 73.79/73.88 c 73 calls to solver: best=1144 lower=1145 upper=3024 76.59/76.61 o 1145 76.89/76.96 o 1152 76.89/76.96 c 75 calls to solver: best=1152 lower=1153 upper=3024 77.79/77.82 o 1153 78.10/78.13 o 1157 78.10/78.13 c 77 calls to solver: best=1157 lower=1158 upper=3024 78.39/78.41 o 1161 78.49/78.59 o 1175 78.49/78.59 c 79 calls to solver: best=1175 lower=1176 upper=3024 79.00/79.09 o 1177 79.19/79.28 o 1178 79.19/79.28 c 81 calls to solver: best=1178 lower=1179 upper=3024 79.29/79.33 o 1182 79.69/79.72 o 1184 79.69/79.72 c 83 calls to solver: best=1184 lower=1185 upper=3024 79.79/79.87 o 1185 80.19/80.24 o 1196 80.19/80.24 c 85 calls to solver: best=1196 lower=1197 upper=3024 80.69/80.75 o 1201 95.00/95.06 o 1204 95.00/95.06 c 87 calls to solver: best=1204 lower=1205 upper=3024 97.49/97.50 o 1209 98.19/98.25 o 1214 98.19/98.25 c 89 calls to solver: best=1214 lower=1215 upper=3024 128.00/128.08 o 1217 130.49/130.52 o 1218 130.49/130.52 c 91 calls to solver: best=1218 lower=1219 upper=3024 131.59/131.62 o 1228 133.39/133.48 o 1238 133.39/133.48 c 93 calls to solver: best=1238 lower=1239 upper=3024 456.20/456.22 o 1239 466.70/466.77 o 1240 466.70/466.77 c 95 calls to solver: best=1240 lower=1241 upper=3024 550.60/550.68 o 1243 636.40/636.45 o 1244 636.40/636.45 c 97 calls to solver: best=1244 lower=1245 upper=3024 899.21/899.28 o 1247 947.02/947.04 o 1251 947.02/947.04 c 99 calls to solver: best=1251 lower=1252 upper=3024 1049.91/1049.93 o 1262 1208.71/1208.70 o 1268 1208.71/1208.70 c 101 calls to solver: best=1268 lower=1269 upper=3024 1343.82/1343.84 o 1270 1415.92/1415.94 o 1271 1415.92/1415.94 c 103 calls to solver: best=1271 lower=1272 upper=3024 1447.03/1447.10 o 1272 1491.03/1491.03 o 1281 1491.03/1491.03 c 105 calls to solver: best=1281 lower=1282 upper=3024 1501.13/1501.11 o 1295 1508.03/1508.08 o 1297 1508.03/1508.08 c 107 calls to solver: best=1297 lower=1298 upper=3024 1514.52/1514.53 o 1300 1518.32/1518.36 o 1303 1518.32/1518.36 c 109 calls to solver: best=1303 lower=1304 upper=3024 1532.03/1532.01 o 1306 1541.03/1541.10 o 1311 1541.03/1541.10 c 111 calls to solver: best=1311 lower=1312 upper=3024 1577.72/1577.72 o 1313 1598.92/1598.97 o 1330 1598.92/1598.97 c 113 calls to solver: best=1330 lower=1331 upper=3024 1986.83/1986.84 o 1336 2084.04/2084.01 o 1337 2084.04/2084.01 c 115 calls to solver: best=1337 lower=1338 upper=3024 2414.54/2414.52 o 1345 2414.54/2414.53 o 1359 2414.54/2414.53 c 117 calls to solver: best=1359 lower=1360 upper=3024 2414.54/2414.54 o 1360 2414.54/2414.55 o 1362 2414.54/2414.55 c 119 calls to solver: best=1362 lower=1363 upper=3024 2414.54/2414.55 o 1378 2520.05/2520.00 2520.05/2520.00 c *** INTERRUPTED *** 2520.05/2520.00 c restarts : 112 2520.05/2520.00 c conflicts : 43248339 (17162 /sec) 2520.05/2520.00 c decisions : 256423196 (101753 /sec) 2520.05/2520.00 c propagations : 2422187535 (961165 /sec) 2520.05/2520.00 c root propagations : 60 2520.05/2520.00 c filter calls : 879933351 (349172 /sec) 2520.05/2520.00 c useless filter calls : 541529888 (61 %) 2520.05/2520.00 c Memory used : 26.53 MB 2520.05/2520.00 c CPU time : 2520.05 s 2520.05/2520.00 2520.05/2520.00 c nb Solutions = 120 2520.05/2520.00 s SATISFIABLE 2520.05/2520.00 c Best value found: 1378 2520.05/2520.00 2520.05/2520.00 2520.05/2520.00 v <instantiation type='solution' cost='1378'> 2520.05/2520.00 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> 2520.05/2520.00 v <values>1 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 </values> 2520.05/2520.00 v </instantiation> 2520.05/2520.00
OK 1378
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 (11636 MiB free)
memory of node 1: 16384 MiB (9685 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295367-1532548330/watcher-4295367-1532548330 -o /tmp/evaluation-result-4295367-1532548330/solver-4295367-1532548330 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30488 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295367-1532548330.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=32012, runsolver pid=32009
[startup+0.10057 s]*
/proc/loadavg: 1.92 2.00 2.04 3/188 32013
/proc/meminfo: memFree=21833084/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3672 CPUtime=0.1 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 1118 0 0 0 10 0 0 0 20 0 1 0 72396187 27811840 918 33554432000 4194304 6142532 140733784700928 140733784688200 5138259 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 918 820 476 0 112 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3672 KiB
[startup+0.209453 s]*
/proc/loadavg: 1.92 2.00 2.04 3/188 32013
/proc/meminfo: memFree=21833084/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3672 CPUtime=0.21 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 1118 0 0 0 21 0 0 0 20 0 1 0 72396187 27811840 918 33554432000 4194304 6142532 140733784700928 140733784688200 5327648 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 918 820 476 0 112 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3672 KiB
[startup+0.308961 s]*
/proc/loadavg: 1.92 2.00 2.04 3/188 32013
/proc/meminfo: memFree=21833084/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3672 CPUtime=0.31 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 1118 0 0 0 31 0 0 0 20 0 1 0 72396187 27811840 918 33554432000 4194304 6142532 140733784700928 140733784688200 5137661 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 918 820 476 0 112 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3672 KiB
[startup+0.700266 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 32013
/proc/meminfo: memFree=21832720/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3672 CPUtime=0.69 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 1118 0 0 0 69 0 0 0 20 0 1 0 72396187 27811840 918 33554432000 4194304 6142532 140733784700928 140733784688200 5139620 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 918 820 476 0 112 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3672 KiB
[startup+1.50027 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 32013
/proc/meminfo: memFree=21832728/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3672 CPUtime=1.49 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 1118 0 0 0 149 0 0 0 20 0 1 0 72396187 27811840 918 33554432000 4194304 6142532 140733784700928 140733784688200 5319051 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 918 820 476 0 112 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3672 KiB
[startup+3.10901 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 32013
/proc/meminfo: memFree=21832668/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=3.1 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 1145 0 0 0 310 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784688200 5138368 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+6.30026 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 32013
/proc/meminfo: memFree=21832964/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=6.29 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 1172 0 0 0 629 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784688200 5327648 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 32013
/proc/meminfo: memFree=21832964/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=12.69 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 1199 0 0 0 1269 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784688200 5137583 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/188 32013
/proc/meminfo: memFree=21832964/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=25.49 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 1268 0 0 0 2549 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784698456 5139732 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+51.109 s]
/proc/loadavg: 1.97 2.00 2.04 3/188 32013
/proc/meminfo: memFree=21832840/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=51.1 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 1295 0 0 0 5110 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784698456 5175088 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 32014
/proc/meminfo: memFree=21832872/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=102.29 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 1354 0 0 0 10229 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784688200 5140128 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 32015
/proc/meminfo: memFree=21832848/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=162.29 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 1397 0 0 0 16229 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784688200 5215584 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 32017
/proc/meminfo: memFree=21832980/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=222.29 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 1424 0 0 0 22229 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784688200 5215639 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 32018
/proc/meminfo: memFree=21832840/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=282.29 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 1451 0 0 0 28229 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784688200 5215644 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 32080
/proc/meminfo: memFree=21832892/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=342.3 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 1478 0 0 0 34230 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784688200 5327954 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+402.3 s]
/proc/loadavg: 1.92 1.98 2.03 3/187 32082
/proc/meminfo: memFree=21833124/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=402.3 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 1505 0 0 0 40230 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784688200 5139650 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+462.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/187 32083
/proc/meminfo: memFree=21833272/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=462.3 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 1547 0 0 0 46230 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784698456 5139277 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
################
# More data... #
################
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 32151
/proc/meminfo: memFree=21832760/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=1782.33 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 2299 0 0 0 178233 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784688200 5138259 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 32152
/proc/meminfo: memFree=21832748/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=1842.33 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 2326 0 0 0 184233 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784688200 5215584 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32153
/proc/meminfo: memFree=21832672/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=1902.33 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 2353 0 0 0 190233 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784688200 5140510 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32154
/proc/meminfo: memFree=21832896/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=1962.33 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 2380 0 0 0 196233 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784688200 5139749 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32156
/proc/meminfo: memFree=21833152/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=2022.33 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 2422 0 0 0 202233 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784698456 5140361 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32157
/proc/meminfo: memFree=21832956/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=2082.33 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 2449 0 0 0 208233 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784698456 5138182 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32158
/proc/meminfo: memFree=21832476/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=2142.33 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 2492 0 0 0 214233 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784688200 5138185 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32160
/proc/meminfo: memFree=21832596/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=2202.33 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 2519 0 0 0 220233 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784688200 4990737 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32161
/proc/meminfo: memFree=21832688/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=2262.33 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 2546 0 0 0 226233 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784688200 5139897 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32170
/proc/meminfo: memFree=21832436/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=2322.34 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 2573 0 0 0 232234 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784688200 5215639 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32171
/proc/meminfo: memFree=21832664/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=2382.34 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 2600 0 0 0 238234 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784688200 5138019 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32172
/proc/meminfo: memFree=21832656/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=2442.34 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 2643 0 0 0 244234 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784698456 5319106 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32173
/proc/meminfo: memFree=21832644/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=2502.34 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 2670 0 0 0 250234 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784698456 5215644 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 32173
/proc/meminfo: memFree=21832768/32770624 swapFree=67108860/67108860
[pid=32012] ppid=32009 vsize=27160 memory=3852 CPUtime=2520.05 cores=1,3,5,7
/proc/32012/stat : 32012 (cosoco) R 32009 32012 30456 0 -1 4202496 2697 0 0 0 252005 0 0 0 20 0 1 0 72396187 27811840 963 33554432000 4194304 6142532 140733784700928 140733784698456 5139756 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29241344 140733784708230 140733784708360 140733784708360 140733784711118 0
/proc/32012/statm: 6790 963 862 476 0 112 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 27160 KiB
Current children cumulated memory: 3852 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 32012 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.05 s, system=0.004 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.06
CPU user time (s): 2520.05
CPU system time (s): 0.004
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 27160
Max. memory (cumulated for all children) (KiB): 3852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.05
system time used= 0.004
maximum resident set size= 3920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2750
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= 636
# summary of solver processes directly reported to runsolver:
# pid: 32012
# total CPU time (s): 2520.06
# total CPU user time (s): 2520.05
# total CPU system time (s): 0.004
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.56439 second user time and 16.0894 second system time
The end
Begin job on node149 at 2018-07-25 21:52:10 IDJOB=4295367 IDBENCH=141530 IDSOLVER=2752 FILE ID=node149/4295367-1532548330 RUNJOBID= node149-1532542931-30488 PBS_JOBID= 21021951 Free space on /tmp= 43260 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Knapsack/Knapsack-60-250-00_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295367-1532548330/watcher-4295367-1532548330 -o /tmp/evaluation-result-4295367-1532548330/solver-4295367-1532548330 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30488 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295367-1532548330.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c946fa8aa2d076cbb98267642aa382e7 RANDOM SEED=549667104 node149.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.60 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.60 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.60 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.60 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: 21833688 kB MemAvailable: 31927660 kB Buffers: 121068 kB Cached: 10117660 kB SwapCached: 0 kB Active: 2339340 kB Inactive: 7956720 kB Active(anon): 5332 kB Inactive(anon): 79888 kB Active(file): 2334008 kB Inactive(file): 7876832 kB Unevictable: 7608 kB Mlocked: 7608 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2944 kB Writeback: 0 kB AnonPages: 64304 kB Mapped: 41404 kB Shmem: 25224 kB Slab: 340156 kB SReclaimable: 311592 kB SUnreclaim: 28564 kB KernelStack: 3328 kB PageTables: 5220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 354868 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 43256 MiB End job on node149 at 2018-07-25 22:34:10