Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 | SAT (TO) | 276 | 2400.01 | 2401.01 |
Name | Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-1.xml |
MD5SUM | 3747a76ad44ca32161ac6cfee5e9d7cb |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 262 |
Best CPU time to get the best result obtained on this benchmark | 28.3402 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 105 |
Number of constraints | 90 |
Number of domains | 7 |
Minimum domain size | 4 |
Maximum domain size | 362 |
Distribution of domain sizes | [{"size":4,"count":5},{"size":5,"count":45},{"size":362,"count":55}] |
Minimum variable degree | 2 |
Maximum variable degree | 6 |
Distribution of variable degrees | [{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}] |
Number of extensional constraints | 25 |
Number of intensional constraints | 30 |
Distribution of constraint types | [{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.18/0.95 c 0.18/0.95 c This is cosoco 2.00 -- 0.18/0.95 c 0.18/0.95 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408908-1569787393.xml 0.18/0.95 c enable optimization 0.18/0.95 c ========================================[ Problem Statistics ]=========================================== 0.18/0.95 c | 0.18/0.95 c | Parse time : 0.01 s 0.18/0.95 c | 0.18/0.95 c | Variables: 105 0.18/0.95 c | Domain Sizes: 4..362 0.18/0.95 c | 0.18/0.95 c | Constraints: 136 0.18/0.95 c | Arity: 1..7 -- Unary: 5 -- Binary: 75 -- Ternary: 25 0.18/0.95 c | 0.18/0.95 c | Types: 0.18/0.95 c | All Different: 5 0.18/0.95 c | Disjunctive: 50 0.18/0.95 c | Element Variable: 25 0.18/0.95 c | Extension: 25 (nb tuples: 5..5) -- (shared: 20) 0.18/0.95 c | Max constant: 1 0.18/0.95 c | Sum: 25 0.18/0.95 c | Unary: 5 0.18/0.95 c | 0.18/0.95 c | Objective: Minimize Max constant 0.18/0.95 0.18/0.95 c ========================================================================================================= 0.18/0.95 o 359 0.18/0.95 c 1 calls to solver(id=*d): best=0 lower=359 upper=0 0.29/1.01 o 341 0.29/1.08 o 340 0.29/1.08 c 3 calls to solver(id=*d): best=0 lower=340 upper=0 0.39/1.11 o 338 0.39/1.14 o 332 0.39/1.14 c 5 calls to solver(id=*d): best=0 lower=332 upper=0 0.39/1.16 o 328 0.48/1.27 o 321 0.48/1.27 c 7 calls to solver(id=*d): best=0 lower=321 upper=0 0.68/1.44 o 319 0.68/1.46 o 317 0.68/1.46 c 9 calls to solver(id=*d): best=0 lower=317 upper=0 2.18/2.91 o 314 2.29/3.02 o 309 2.29/3.02 c 11 calls to solver(id=*d): best=0 lower=309 upper=0 2.58/3.33 o 308 5.48/6.29 o 305 5.48/6.29 c 13 calls to solver(id=*d): best=0 lower=305 upper=0 6.08/6.80 o 304 11.98/12.77 o 303 11.98/12.77 c 15 calls to solver(id=*d): best=0 lower=303 upper=0 12.08/12.86 o 301 12.18/12.93 o 292 12.18/12.93 c 17 calls to solver(id=*d): best=0 lower=292 upper=0 16.78/17.55 o 291 17.88/18.65 o 290 17.88/18.65 c 19 calls to solver(id=*d): best=0 lower=290 upper=0 43.87/44.61 o 289 43.97/44.79 o 288 43.97/44.79 c 21 calls to solver(id=*d): best=0 lower=288 upper=0 46.67/47.43 o 286 114.15/114.93 o 285 114.15/114.93 c 23 calls to solver(id=*d): best=0 lower=285 upper=0 115.75/116.56 o 284 372.81/373.68 o 283 372.81/373.68 c 25 calls to solver(id=*d): best=0 lower=283 upper=0 579.66/580.54 o 282 620.26/621.17 o 281 620.26/621.17 c 27 calls to solver(id=*d): best=0 lower=281 upper=0 666.25/667.13 o 280 1265.88/1266.92 o 279 1265.88/1266.92 c 29 calls to solver(id=*d): best=0 lower=279 upper=0 1590.58/1591.62 o 278 1590.88/1591.92 o 277 1590.88/1591.92 c 31 calls to solver(id=*d): best=0 lower=277 upper=0 1712.18/1713.22 o 276 2400.00/2401.01 2400.00/2401.01 c *** INTERRUPTED *** 2400.00/2401.01 c call to solver : 32 2400.00/2401.01 c 2400.00/2401.01 c restarts : 1545 2400.00/2401.01 c conflicts : 11630806 (4846 /sec) 2400.00/2401.01 c decisions : 35239608 (14683 /sec) 2400.00/2401.01 c propagations : 10993122663 (4580469 /sec) 2400.00/2401.01 c root propagations : 3141 2400.00/2401.01 c filter calls : 917099137 (382125 /sec) 2400.00/2401.01 c useless filter calls : 618760563 (67 %) 2400.00/2401.01 c Memory used : 27.23 MB 2400.00/2401.01 c Best bound time (wc) : 1712.5 s 2400.00/2401.01 c CPU time : 2400 s 2400.00/2401.01 c real time : 2400.3 s 2400.00/2401.01 2400.00/2401.01 c nb Solutions = 32 2400.00/2401.01 s SATISFIABLE 2400.00/2401.01 c Best value found: 276 2400.00/2401.01 2400.00/2401.01 2400.00/2401.01 v <instantiation type='solution' cost='276'> 2400.00/2401.01 v <list>d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] e[0] e[1] e[2] e[3] e[4] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] </list> 2400.00/2401.01 v <values>38 32 19 81 83 90 6 22 52 64 83 15 1 35 8 33 40 71 21 87 55 42 55 15 86 276 276 276 275 268 0 38 70 95 193 0 90 134 157 212 38 176 191 209 268 0 55 96 167 188 0 70 112 167 182 70 0 95 193 38 90 134 212 0 157 268 38 176 191 209 96 188 55 167 0 182 167 0 112 70 1 4 0 2 3 3 0 1 4 2 1 2 3 4 0 4 2 0 3 1 2 4 3 1 0 </values> 2400.00/2401.01 v </instantiation> 2400.00/2401.01
OK 276
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: 16375 MiB (15277 MiB free) memory of node 1: 16384 MiB (15577 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408908-1569787393/watcher-4408908-1569787393 -o /tmp/evaluation-result-4408908-1569787393/solver-4408908-1569787393 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1325301813-18514 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408908-1569787393.xml running on 4 cores: 0-3 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=18544, runsolver pid=18537 [startup+0.100128 s]* /proc/loadavg: 0.16 0.05 0.06 2/201 18545 /proc/meminfo: memFree=31594700/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=2272 memory=4 CPUtime=0 cores=0-3 /proc/18544/stat : 18544 (cosoco) D 18537 18544 18483 0 -1 1077936128 159 0 0 0 0 0 0 0 20 0 1 0 554745473 2326528 1 33554432000 4194304 6211132 140735490194848 140735490192072 140345332758215 0 0 4096 0 18446744072101752356 0 0 17 2 0 0 0 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 568 1 0 493 0 39 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 2272 KiB Current children cumulated memory: 4 KiB [startup+0.21052 s]* /proc/loadavg: 0.16 0.05 0.06 2/201 18545 /proc/meminfo: memFree=31594700/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=4560 memory=184 CPUtime=0 cores=0-3 /proc/18544/stat : 18544 (cosoco) D 18537 18544 18483 0 -1 4194304 175 0 0 0 0 0 0 0 20 0 1 0 554745473 4669440 46 33554432000 4194304 6211132 140735490194848 140735490192024 140345332758215 0 0 4096 0 18446744071580996127 0 0 17 2 0 0 0 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 1140 46 37 493 0 43 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 4560 KiB Current children cumulated memory: 184 KiB [startup+0.310332 s]* /proc/loadavg: 0.16 0.05 0.06 2/201 18545 /proc/meminfo: memFree=31594396/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=4560 memory=184 CPUtime=0 cores=0-3 /proc/18544/stat : 18544 (cosoco) D 18537 18544 18483 0 -1 4194304 175 0 0 0 0 0 0 0 20 0 1 0 554745473 4669440 46 33554432000 4194304 6211132 140735490194848 140735490192024 140345332758215 0 0 4096 0 18446744071580996127 0 0 17 2 0 0 1 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 1140 46 37 493 0 43 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 4560 KiB Current children cumulated memory: 184 KiB [startup+0.700318 s] /proc/loadavg: 0.16 0.05 0.06 2/201 18545 /proc/meminfo: memFree=31589220/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=22764 memory=340 CPUtime=0 cores=0-3 /proc/18544/stat : 18544 (cosoco) D 18537 18544 18483 0 -1 4194304 220 0 0 0 0 0 0 0 20 0 1 0 554745473 23310336 85 33554432000 4194304 6211132 140735490194848 140735490191384 140345332758215 0 0 4096 0 18446744071580996127 0 0 17 1 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 5691 85 62 493 0 55 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 22764 KiB Current children cumulated memory: 340 KiB [startup+1.50029 s] /proc/loadavg: 0.16 0.05 0.06 4/201 18545 /proc/meminfo: memFree=31570696/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4524 CPUtime=0.78 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 1298 0 0 0 78 0 0 0 20 0 1 0 554745473 28553216 1131 33554432000 4194304 6211132 140735490194848 140735490182728 5158052 0 0 4096 8405026 0 0 0 17 2 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1131 895 493 0 276 0 Current children cumulated CPU time: 0.78 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4524 KiB [startup+3.11029 s] /proc/loadavg: 0.16 0.05 0.06 4/201 18545 /proc/meminfo: memFree=31569656/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4540 CPUtime=2.39 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 1483 0 0 0 239 0 0 0 20 0 1 0 554745473 28553216 1135 33554432000 4194304 6211132 140735490194848 140735490192984 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1135 895 493 0 276 0 Current children cumulated CPU time: 2.39 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4540 KiB heavy processes: [startup+6.30028 s] /proc/loadavg: 0.31 0.08 0.07 4/201 18545 /proc/meminfo: memFree=31570104/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4544 CPUtime=5.58 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 1670 0 0 0 558 0 0 0 20 0 1 0 554745473 28553216 1136 33554432000 4194304 6211132 140735490194848 140735490192984 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1136 895 493 0 276 0 Current children cumulated CPU time: 5.58 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4544 KiB [startup+12.7003 s] /proc/loadavg: 0.45 0.11 0.08 4/201 18545 /proc/meminfo: memFree=31570516/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4544 CPUtime=11.98 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 1844 0 0 0 1198 0 0 0 20 0 1 0 554745473 28553216 1136 33554432000 4194304 6211132 140735490194848 140735490192984 5167052 0 0 4096 8405026 0 0 0 17 2 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1136 895 493 0 276 0 Current children cumulated CPU time: 11.98 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4544 KiB [startup+25.5003 s] /proc/loadavg: 0.79 0.20 0.11 4/201 18545 /proc/meminfo: memFree=31570788/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4544 CPUtime=24.77 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 2217 0 0 0 2477 0 0 0 20 0 1 0 554745473 28553216 1136 33554432000 4194304 6211132 140735490194848 140735490182728 5017280 0 0 4096 8405026 0 0 0 17 2 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1136 895 493 0 276 0 Current children cumulated CPU time: 24.77 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4544 KiB [startup+51.1103 s] /proc/loadavg: 1.20 0.35 0.16 5/201 18547 /proc/meminfo: memFree=31569752/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4548 CPUtime=50.37 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 2405 0 0 0 5037 0 0 0 20 0 1 0 554745473 28553216 1137 33554432000 4194304 6211132 140735490194848 140735490192984 5149015 0 0 4096 8405026 0 0 0 17 0 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1137 895 493 0 276 0 Current children cumulated CPU time: 50.37 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4548 KiB [startup+102.3 s] /proc/loadavg: 1.65 0.60 0.25 5/199 18552 /proc/meminfo: memFree=31569228/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4548 CPUtime=101.56 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 2575 0 0 0 10156 0 0 0 20 0 1 0 554745473 28553216 1137 33554432000 4194304 6211132 140735490194848 140735490192984 5168251 0 0 4096 8405026 0 0 0 17 0 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1137 895 493 0 276 0 Current children cumulated CPU time: 101.56 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4548 KiB [startup+162.3 s] /proc/loadavg: 1.87 0.86 0.36 5/199 18556 /proc/meminfo: memFree=31569004/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4548 CPUtime=161.54 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 2767 0 0 0 16154 0 0 0 20 0 1 0 554745473 28553216 1137 33554432000 4194304 6211132 140735490194848 140735490192984 5393983 0 0 4096 8405026 0 0 0 17 0 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1137 895 493 0 276 0 Current children cumulated CPU time: 161.54 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4548 KiB [startup+222.3 s] /proc/loadavg: 1.95 1.07 0.47 5/199 18562 /proc/meminfo: memFree=31568736/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4556 CPUtime=221.53 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 2941 0 0 0 22153 0 0 0 20 0 1 0 554745473 28553216 1139 33554432000 4194304 6211132 140735490194848 140735490192984 5393983 0 0 4096 8405026 0 0 0 17 0 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1139 895 493 0 276 0 Current children cumulated CPU time: 221.53 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4556 KiB [startup+282.3 s] /proc/loadavg: 2.04 1.25 0.57 5/199 18567 /proc/meminfo: memFree=31568856/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4556 CPUtime=281.52 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 3112 0 0 0 28152 0 0 0 20 0 1 0 554745473 28553216 1139 33554432000 4194304 6211132 140735490194848 140735490192984 5394016 0 0 4096 8405026 0 0 0 17 0 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1139 895 493 0 276 0 Current children cumulated CPU time: 281.52 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4556 KiB [startup+342.3 s] /proc/loadavg: 2.08 1.40 0.66 5/199 18571 /proc/meminfo: memFree=31569108/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4556 CPUtime=341.52 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 3283 0 0 0 34152 0 0 0 20 0 1 0 554745473 28553216 1139 33554432000 4194304 6211132 140735490194848 140735490192984 5193728 0 0 4096 8405026 0 0 0 17 0 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1139 895 493 0 276 0 Current children cumulated CPU time: 341.52 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4556 KiB [startup+402.3 s] /proc/loadavg: 2.03 1.51 0.75 5/199 18584 /proc/meminfo: memFree=31568784/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4556 CPUtime=401.5 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 3472 0 0 0 40150 0 0 0 20 0 1 0 554745473 28553216 1139 33554432000 4194304 6211132 140735490194848 140735490182728 5394002 0 0 4096 8405026 0 0 0 17 0 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1139 895 493 0 276 0 Current children cumulated CPU time: 401.5 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4556 KiB [startup+462.3 s] /proc/loadavg: 2.07 1.62 0.83 5/199 18588 /proc/meminfo: memFree=31568812/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4556 CPUtime=461.49 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 3642 0 0 0 46149 0 0 0 20 0 1 0 554745473 28553216 1139 33554432000 4194304 6211132 140735490194848 140735490182728 5393970 0 0 4096 8405026 0 0 0 17 0 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1139 895 493 0 276 0 Current children cumulated CPU time: 461.49 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4556 KiB ################ # More data... # ################ /proc/18544/statm: 6971 1139 895 493 0 276 0 Current children cumulated CPU time: 1601.28 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4556 KiB [startup+1662.3 s] /proc/loadavg: 2.00 1.99 1.68 4/200 18698 /proc/meminfo: memFree=31567588/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4556 CPUtime=1661.28 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 7126 0 0 0 166127 1 0 0 20 0 1 0 554745473 28553216 1139 33554432000 4194304 6211132 140735490194848 140735490182728 5167582 0 0 4096 8405026 0 0 0 17 1 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1139 895 493 0 276 0 Current children cumulated CPU time: 1661.28 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4556 KiB [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.70 4/204 18723 /proc/meminfo: memFree=31566508/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4556 CPUtime=1721.28 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 7311 0 0 0 172127 1 0 0 20 0 1 0 554745473 28553216 1139 33554432000 4194304 6211132 140735490194848 140735490192984 5167536 0 0 4096 8405026 0 0 0 17 1 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1139 895 493 0 276 0 Current children cumulated CPU time: 1721.28 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4556 KiB [startup+1782.3 s] /proc/loadavg: 2.00 1.99 1.72 4/200 18728 /proc/meminfo: memFree=31568364/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4556 CPUtime=1781.28 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 7482 0 0 0 178127 1 0 0 20 0 1 0 554745473 28553216 1139 33554432000 4194304 6211132 140735490194848 140735490192984 5393997 0 0 4096 8405026 0 0 0 17 1 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1139 895 493 0 276 0 Current children cumulated CPU time: 1781.28 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4556 KiB [startup+1842.3 s] /proc/loadavg: 2.00 1.99 1.73 4/200 18734 /proc/meminfo: memFree=31567940/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4556 CPUtime=1841.29 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 7652 0 0 0 184128 1 0 0 20 0 1 0 554745473 28553216 1139 33554432000 4194304 6211132 140735490194848 140735490192984 5393970 0 0 4096 8405026 0 0 0 17 1 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1139 895 493 0 276 0 Current children cumulated CPU time: 1841.29 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4556 KiB [startup+1902.3 s] /proc/loadavg: 2.00 1.99 1.75 4/199 18739 /proc/meminfo: memFree=31568176/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4556 CPUtime=1901.29 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 7822 0 0 0 190128 1 0 0 20 0 1 0 554745473 28553216 1139 33554432000 4194304 6211132 140735490194848 140735490192984 5193742 0 0 4096 8405026 0 0 0 17 1 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1139 895 493 0 276 0 Current children cumulated CPU time: 1901.29 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4556 KiB [startup+1962.3 s] /proc/loadavg: 2.00 1.99 1.77 4/199 18743 /proc/meminfo: memFree=31567972/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4556 CPUtime=1961.29 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 7993 0 0 0 196128 1 0 0 20 0 1 0 554745473 28553216 1139 33554432000 4194304 6211132 140735490194848 140735490192984 5393997 0 0 4096 8405026 0 0 0 17 1 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1139 895 493 0 276 0 Current children cumulated CPU time: 1961.29 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4556 KiB [startup+2022.3 s] /proc/loadavg: 2.00 1.99 1.78 4/199 18749 /proc/meminfo: memFree=31568076/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4556 CPUtime=2021.29 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 8153 0 0 0 202128 1 0 0 20 0 1 0 554745473 28553216 1139 33554432000 4194304 6211132 140735490194848 140735490192984 5156109 0 0 4096 8405026 0 0 0 17 1 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1139 895 493 0 276 0 Current children cumulated CPU time: 2021.29 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4556 KiB [startup+2082.3 s] /proc/loadavg: 2.00 1.99 1.79 4/199 18754 /proc/meminfo: memFree=31567768/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4556 CPUtime=2081.29 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 8324 0 0 0 208128 1 0 0 20 0 1 0 554745473 28553216 1139 33554432000 4194304 6211132 140735490194848 140735490192984 5393970 0 0 4096 8405026 0 0 0 17 1 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1139 895 493 0 276 0 Current children cumulated CPU time: 2081.29 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4556 KiB [startup+2142.3 s] /proc/loadavg: 2.00 1.99 1.81 4/199 18758 /proc/meminfo: memFree=31568084/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4556 CPUtime=2141.29 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 8481 0 0 0 214128 1 0 0 20 0 1 0 554745473 28553216 1139 33554432000 4194304 6211132 140735490194848 140735490192984 5167933 0 0 4096 8405026 0 0 0 17 1 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1139 895 493 0 276 0 Current children cumulated CPU time: 2141.29 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4556 KiB [startup+2202.3 s] /proc/loadavg: 2.00 1.99 1.82 4/200 18772 /proc/meminfo: memFree=31567456/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4556 CPUtime=2201.29 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 8638 0 0 0 220128 1 0 0 20 0 1 0 554745473 28553216 1139 33554432000 4194304 6211132 140735490194848 140735490192984 5167920 0 0 4096 8405026 0 0 0 17 1 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1139 895 493 0 276 0 Current children cumulated CPU time: 2201.29 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4556 KiB [startup+2262.3 s] /proc/loadavg: 2.00 1.99 1.83 4/201 18799 /proc/meminfo: memFree=31567184/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4556 CPUtime=2261.29 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 8806 0 0 0 226128 1 0 0 20 0 1 0 554745473 28553216 1139 33554432000 4194304 6211132 140735490194848 140735490192984 5394016 0 0 4096 8405026 0 0 0 17 1 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1139 895 493 0 276 0 Current children cumulated CPU time: 2261.29 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4556 KiB [startup+2322.3 s] /proc/loadavg: 2.00 1.99 1.84 4/201 18803 /proc/meminfo: memFree=31566788/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4556 CPUtime=2321.29 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 8977 0 0 0 232128 1 0 0 20 0 1 0 554745473 28553216 1139 33554432000 4194304 6211132 140735490194848 140735490192984 5158032 0 0 4096 8405026 0 0 0 17 1 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1139 895 493 0 276 0 Current children cumulated CPU time: 2321.29 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4556 KiB [startup+2382.3 s] /proc/loadavg: 4.08 2.56 2.04 4/201 18809 /proc/meminfo: memFree=31566948/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4556 CPUtime=2381.29 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 9148 0 0 0 238128 1 0 0 20 0 1 0 554745473 28553216 1139 33554432000 4194304 6211132 140735490194848 140735490192984 5193760 0 0 4096 8405026 0 0 0 17 1 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1139 895 493 0 276 0 Current children cumulated CPU time: 2381.29 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4556 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2401 s]* /proc/loadavg: 3.49 2.52 2.04 2/196 18817 /proc/meminfo: memFree=31587972/32770688 swapFree=66927776/67108860 [pid=18544] ppid=18537 vsize=27884 memory=4556 CPUtime=2400 cores=0-3 /proc/18544/stat : 18544 (cosoco) R 18537 18544 18483 0 -1 4202496 9315 0 0 0 239999 1 0 0 20 0 1 0 554745473 28553216 1139 33554432000 4194304 6211132 140735490194848 140735490192984 5102842 0 0 4096 8405026 0 0 0 17 1 0 0 17 0 0 8312316 8317760 34099200 140735490196491 140735490196593 140735490196593 140735490199502 0 /proc/18544/statm: 6971 1139 895 493 0 276 0 Current children cumulated CPU time: 2400 s Current children cumulated vsize: 27884 KiB Current children cumulated memory: 4556 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2401.01 s] # the end of solver process 18544 was just reported to runsolver # cumulated CPU time of all completed processes: user=2400 s, system=0.013998 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2401.01 CPU time (s): 2400.01 CPU user time (s): 2400 CPU system time (s): 0.013998 CPU usage (%): 99.9584 Max. virtual memory (cumulated for all children) (KiB): 27884 Max. memory (cumulated for all children) (KiB): 4556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400 system time used= 0.013998 maximum resident set size= 4620 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9368 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= 49 involuntary context switches= 5822 # summary of solver processes directly reported to runsolver: # pid: 18544 # total CPU time (s): 2400.01 # total CPU user time (s): 2400 # total CPU system time (s): 0.013998 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.63166 second user time and 17.095 second system time The end
Begin job on node120 at 2011-12-31 04:23:34 IDJOB=4408908 IDBENCH=115810 IDSOLVER=2876 FILE ID=node120/4408908-1569787393 RUNJOBID= node120-1325301813-18514 PBS_JOBID= 21705832 Free space on /tmp= 61844 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-1.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408908-1569787393/watcher-4408908-1569787393 -o /tmp/evaluation-result-4408908-1569787393/solver-4408908-1569787393 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1325301813-18514 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408908-1569787393.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3747a76ad44ca32161ac6cfee5e9d7cb RANDOM SEED=1274834143 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 31594552 kB MemAvailable: 31813188 kB Buffers: 198804 kB Cached: 363912 kB SwapCached: 68828 kB Active: 310928 kB Inactive: 325216 kB Active(anon): 24580 kB Inactive(anon): 130400 kB Active(file): 286348 kB Inactive(file): 194816 kB Unevictable: 107056 kB Mlocked: 107056 kB SwapTotal: 67108860 kB SwapFree: 66927776 kB Dirty: 5072 kB Writeback: 0 kB AnonPages: 113436 kB Mapped: 26316 kB Shmem: 72460 kB Slab: 135276 kB SReclaimable: 106616 kB SUnreclaim: 28660 kB KernelStack: 3392 kB PageTables: 5472 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 553220 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 61836 MiB End job on node120 at 2011-12-31 05:03:35