Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.16 | 1800.55 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_3.opb |
MD5SUM | 29cda419af6adbdf14450bbe70fbdfc2 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6180 |
Sum of products size (including duplicates) | 12360 |
Number of different products | 3090 |
Sum of products size | 6180 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702665-1278573651.opb. 0.00/0.00 c Instance file HOME/instance-2702665-1278573651.opb 0.00/0.00 c File size is 259160 bytes. 0.00/0.04 c Highest Coefficient sum: 200 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.05 s | 0.00/0.04 c | Number Variables: 3290 | 0.00/0.04 c | Number Clauses: 3190 | 0.00/0.04 c | Number Cardinality: 202 | 0.00/0.04 c | Number PB Constraints: 3090 | 0.07/0.09 c ============================[ Search Statistics ]============================== 0.07/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.07/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.07/0.09 c =============================================================================== 0.07/0.09 c | 0 | 3290 6482 25320 | 5000 0 nan | 0.000 % | 0.07/0.09 c =============================================================================== 0.07/0.09 c New solution: 0 0.07/0.09 o 0 0.07/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s 0.07/0.09 c =============================================================================== 0.07/0.09 c | 0 | 3290 6483 25420 | 5000 0 nan | 0.000 % | 0.07/0.10 c =============================================================================== 0.07/0.10 c New solution: -1 0.07/0.10 o -1 0.07/0.10 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s 0.07/0.10 c =============================================================================== 0.07/0.10 c | 1 | 3290 6484 25520 | 5000 1 101 | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: -2 0.09/0.10 o -2 0.09/0.10 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 3 | 3290 6485 25620 | 5000 3 165 | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: -3 0.09/0.10 o -3 0.09/0.10 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 3 | 3290 6486 25720 | 5000 3 165 | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: -4 0.09/0.11 o -4 0.09/0.11 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 22 | 3290 6487 25820 | 5000 22 128 | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: -5 0.09/0.11 o -5 0.09/0.11 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 34 | 3290 6488 25920 | 5000 34 102 | 0.000 % | 0.19/0.21 c | 153 | 3290 6488 25920 | 5500 153 145 | 0.000 % | 0.19/0.25 c | 304 | 3290 6488 25920 | 6050 304 163 | 0.000 % | 0.19/0.27 c | 529 | 3290 6488 25920 | 6655 529 175 | 0.000 % | 0.29/0.31 c | 868 | 3290 6488 25920 | 7320 868 181 | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: -6 0.29/0.34 o -6 0.29/0.34 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 1001 | 3290 6489 26020 | 5000 1001 163 | 0.000 % | 0.39/0.45 c | 1102 | 3290 6489 26020 | 5500 1102 162 | 0.000 % | 0.39/0.47 c | 1255 | 3290 6489 26020 | 6050 1255 166 | 0.000 % | 0.49/0.50 c | 1482 | 3290 6489 26020 | 6655 1482 169 | 0.000 % | 0.49/0.55 c | 1819 | 3290 6489 26020 | 7320 1819 173 | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c New solution: -7 0.49/0.56 o -7 0.49/0.56 c Elapsed CPU time: 0.556915 s Remaining CPU time: 179.443 s 0.49/0.56 c =============================================================================== 0.49/0.56 c | 1868 | 3290 6490 26120 | 5000 1868 169 | 0.000 % | 0.59/0.68 c | 1969 | 3290 6490 26120 | 5500 1969 169 | 0.000 % | 0.69/0.70 c | 2121 | 3290 6490 26120 | 6050 2121 170 | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: -8 0.69/0.74 o -8 0.69/0.74 c Elapsed CPU time: 0.725889 s Remaining CPU time: 179.274 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 2278 | 3290 6491 26220 | 5000 2278 160 | 0.000 % | 0.79/0.86 c | 2382 | 3290 6491 26220 | 5500 2382 160 | 0.000 % | 0.89/0.91 c | 2532 | 3290 6491 26220 | 6050 2532 151 | 0.000 % | 0.89/0.96 c | 2758 | 3290 6491 26220 | 6655 2758 154 | 0.000 % | 0.89/1.00 c | 3095 | 3290 6491 26220 | 7320 3095 157 | 0.000 % | 1.00/1.07 c | 3601 | 3290 6491 26220 | 8052 3601 162 | 0.000 % | 1.10/1.19 c | 4360 | 3290 6491 26220 | 8857 4360 166 | 0.000 % | 1.19/1.22 c =============================================================================== 1.19/1.22 c New solution: -9 1.19/1.22 o -9 1.19/1.22 c Elapsed CPU time: 1.19182 s Remaining CPU time: 178.808 s 1.19/1.22 c =============================================================================== 1.19/1.22 c | 4472 | 3290 6492 26320 | 5000 4472 164 | 0.000 % | 1.19/1.26 c | 4577 | 3290 6492 26320 | 5500 4577 164 | 0.000 % | 1.19/1.29 c | 4727 | 3290 6492 26320 | 6050 4727 165 | 0.000 % | 1.30/1.33 c | 4952 | 3290 6492 26320 | 6655 4952 166 | 0.000 % | 1.30/1.39 c | 5289 | 3290 6492 26320 | 7320 5289 167 | 0.000 % | 1.39/1.43 c =============================================================================== 1.39/1.43 c New solution: -10 1.39/1.43 o -10 1.39/1.43 c Elapsed CPU time: 1.39579 s Remaining CPU time: 178.604 s 1.39/1.43 c =============================================================================== 1.39/1.43 c | 5401 | 3290 6493 26420 | 5000 5401 164 | 0.000 % | 1.39/1.48 c | 5506 | 3290 6493 26420 | 5500 2806 174 | 0.000 % | 1.49/1.51 c | 5656 | 3290 6493 26420 | 6050 2956 174 | 0.000 % | 1.49/1.53 c | 5881 | 3290 6493 26420 | 6655 3181 175 | 0.000 % | 1.49/1.58 c | 6218 | 3290 6493 26420 | 7320 3518 175 | 0.000 % | 1.59/1.65 c | 6724 | 3290 6493 26420 | 8052 4024 176 | 0.000 % | 1.69/1.77 c | 7483 | 3290 6493 26420 | 8857 4783 178 | 0.000 % | 1.99/2.00 c | 8624 | 3290 6493 26420 | 9743 5924 179 | 0.000 % | 2.29/2.33 c | 10332 | 3290 6493 26420 | 10717 7632 179 | 0.000 % | 2.89/2.93 c | 12897 | 3290 6493 26420 | 11789 10197 181 | 0.000 % | 3.89/3.99 c | 16741 | 3290 6493 26420 | 12968 14041 179 | 0.000 % | 5.50/5.58 c | 22507 | 3290 6493 26420 | 14265 12787 179 | 0.000 % | 8.19/8.27 c | 31156 | 3290 6493 26420 | 15692 12687 182 | 0.000 % | 13.39/13.42 c | 44136 | 3290 6493 26420 | 17261 16357 156 | 0.000 % | 20.28/20.37 c | 63597 | 3290 6493 26420 | 18987 15319 173 | 0.000 % | 30.98/31.04 c | 92789 | 3290 6493 26420 | 20886 21813 178 | 0.000 % | 47.68/47.77 c | 136578 | 3290 6493 26420 | 22974 14888 179 | 0.000 % | 73.77/73.84 c | 202264 | 3290 6493 26420 | 25272 19491 171 | 0.000 % | 123.47/123.51 c | 300791 | 3290 6493 26420 | 27799 13145 182 | 0.000 % | 181.55/181.68 c There are 0 assigned variables. 0 in cost function. 182.05/182.19 c core #1 182.05/182.19 c 182.05/182.19 c 182.05/182.19 c Core size: 201 Core Weight: 1 Total Weight: -99 182.05/182.19 c 182.05/182.19 c 182.05/182.19 c ============================[ Search Statistics ]============================== 182.05/182.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.05/182.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.05/182.19 c =============================================================================== 182.05/182.19 c | 0 | 3390 6714 27064 | 5000 0 nan | 0.000 % | 182.15/182.23 c | 100 | 3390 6714 27064 | 5500 100 36 | 1.153 % | 182.15/182.23 c =============================================================================== 182.15/182.26 c core #2 182.15/182.26 c 182.15/182.26 c 182.15/182.26 c Core size: 91 Core Weight: 1 Total Weight: -98 182.15/182.26 c 182.15/182.26 c 182.15/182.26 c ============================[ Search Statistics ]============================== 182.15/182.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.15/182.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.15/182.26 c =============================================================================== 182.15/182.26 c | 0 | 3473 6729 27272 | 5000 0 nan | 0.000 % | 182.15/182.29 c | 100 | 3473 6729 27272 | 5500 100 76 | 0.000 % | 182.25/182.34 c | 250 | 3473 6729 27272 | 6050 250 68 | 0.000 % | 182.35/182.43 c | 487 | 3473 6729 27272 | 6655 487 62 | 0.000 % | 182.46/182.55 c | 824 | 3419 6729 27272 | 7320 762 67 | 1.555 % | 182.65/182.74 c | 1330 | 3411 6729 27272 | 8052 1268 65 | 5.961 % | 182.95/183.01 c =============================================================================== 182.95/183.06 c core #3 182.95/183.06 c 182.95/183.06 c 182.95/183.06 c Core size: 109 Core Weight: 1 Total Weight: -97 182.95/183.06 c 182.95/183.06 c 182.95/183.06 c ============================[ Search Statistics ]============================== 182.95/183.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.95/183.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.95/183.06 c =============================================================================== 182.95/183.06 c | 0 | 3572 6783 27625 | 5000 0 nan | 0.000 % | 183.06/183.10 c | 100 | 3572 6783 27625 | 5500 100 121 | 0.000 % | 183.06/183.15 c | 250 | 3572 6783 27625 | 6050 250 103 | 0.000 % | 183.15/183.23 c | 475 | 3572 6783 27625 | 6655 475 90 | 0.000 % | 183.35/183.42 c | 812 | 3572 6783 27625 | 7320 812 80 | 0.000 % | 183.56/183.63 c | 1318 | 3572 6783 27625 | 8052 1318 80 | 0.000 % | 183.86/183.94 c | 2078 | 3572 6783 27625 | 8857 2078 79 | 0.001 % | 184.35/184.43 c | 3218 | 3572 6783 27625 | 9743 3218 76 | 0.000 % | 185.05/185.17 c | 4927 | 3572 6783 27625 | 10717 4927 78 | 0.001 % | 186.25/186.35 c | 7489 | 3572 6783 27625 | 11789 7489 78 | 0.000 % | 188.06/188.18 c | 11333 | 3572 6783 27625 | 12968 11333 80 | 0.018 % | 190.85/191.00 c | 17099 | 3544 6783 27625 | 14265 7905 69 | 0.786 % | 193.95/194.09 c =============================================================================== 194.35/194.40 c core #4 194.35/194.40 c 194.35/194.40 c 194.35/194.40 c Core size: 109 Core Weight: 1 Total Weight: -96 194.35/194.40 c 194.35/194.40 c 194.35/194.40 c ============================[ Search Statistics ]============================== 194.35/194.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.35/194.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.35/194.40 c =============================================================================== 194.35/194.40 c | 0 | 3672 7337 29474 | 5000 0 nan | 0.000 % | 194.35/194.45 c | 100 | 3672 7337 29474 | 5500 100 166 | 0.000 % | 194.45/194.51 c | 251 | 3672 7337 29474 | 6050 251 135 | 0.000 % | 194.45/194.55 c | 477 | 3672 7337 29474 | 6655 477 81 | 0.000 % | 194.55/194.69 c | 814 | 3672 7337 29474 | 7320 814 100 | 0.000 % | 194.75/194.89 c | 1320 | 3672 7337 29474 | 8052 1320 94 | 0.000 % | 195.15/195.21 c | 2079 | 3672 7337 29474 | 8857 2079 107 | 0.000 % | 195.55/195.69 c | 3219 | 3672 7337 29474 | 9743 3219 97 | 0.000 % | 196.35/196.41 c | 4927 | 3672 7337 29474 | 10717 4927 86 | 0.000 % | 197.45/197.59 c | 7489 | 3672 7337 29474 | 11789 7489 86 | 0.000 % | 199.54/199.69 c | 11336 | 3672 7337 29474 | 12968 11336 78 | 0.000 % | 203.15/203.23 c | 17103 | 3672 7337 29474 | 14265 10314 59 | 0.000 % | 208.45/208.51 c | 25761 | 3672 7337 29474 | 15692 10232 153 | 0.000 % | 222.55/222.69 c | 38741 | 3672 7337 29474 | 17261 13757 168 | 0.000 % | 244.93/245.01 c | 58202 | 3672 7337 29474 | 18987 12961 125 | 0.000 % | 267.24/267.32 c | 87394 | 3672 7337 29474 | 20886 20184 127 | 0.000 % | 297.94/298.09 c | 131184 | 3672 7337 29474 | 22974 12975 154 | 0.000 % | 364.31/364.45 c | 196868 | 3672 7337 29474 | 25272 18072 168 | 0.000 % | 421.80/421.96 c | 295396 | 3672 7337 29474 | 27799 12465 147 | 0.000 % | 536.97/537.13 c | 443191 | 3672 7337 29474 | 30579 22504 168 | 0.000 % | 677.45/677.69 c | 664874 | 3672 7337 29474 | 33637 21781 157 | 0.000 % | 936.18/936.41 c | 997399 | 3672 7337 29474 | 37001 25654 165 | 0.000 % | 1329.90/1330.28 c | 1496187 | 3672 7337 29474 | 40701 37452 160 | 0.000 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702665-1278573651/watcher-2702665-1278573651 -o /tmp/evaluation-result-2702665-1278573651/solver-2702665-1278573651 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702665-1278573651.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.91 0.72 3/106 30219 /proc/meminfo: memFree=1683916/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=3164 CPUtime=0 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 25571774 3239936 293 1992294400 134512640 135752675 4286922992 18446744073709551615 134559922 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 791 293 137 303 0 422 0 [startup+0.0743849 s] /proc/loadavg: 0.99 0.91 0.72 3/106 30219 /proc/meminfo: memFree=1683916/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=4716 CPUtime=0.07 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 856 0 0 0 7 0 0 0 20 0 1 0 25571774 4829184 710 1992294400 134512640 135752675 4286922992 18446744073709551615 135211752 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 1179 710 142 303 0 874 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4716 [startup+0.101388 s] /proc/loadavg: 0.99 0.91 0.72 3/106 30219 /proc/meminfo: memFree=1683916/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=4716 CPUtime=0.09 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 878 0 0 0 9 0 0 0 20 0 1 0 25571774 4829184 732 1992294400 134512640 135752675 4286922992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 1179 732 144 303 0 874 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4716 [startup+0.3014 s] /proc/loadavg: 0.99 0.91 0.72 3/106 30219 /proc/meminfo: memFree=1683916/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=4716 CPUtime=0.29 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 879 0 0 0 29 0 0 0 20 0 1 0 25571774 4829184 733 1992294400 134512640 135752675 4286922992 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 1179 733 145 303 0 874 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4716 [startup+0.701427 s] /proc/loadavg: 0.99 0.91 0.72 3/106 30219 /proc/meminfo: memFree=1683916/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=5752 CPUtime=0.69 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 1126 0 0 0 68 1 0 0 21 0 1 0 25571774 5890048 980 1992294400 134512640 135752675 4286922992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 1438 980 145 303 0 1133 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5752 [startup+1.50148 s] /proc/loadavg: 0.99 0.91 0.72 2/107 30220 /proc/meminfo: memFree=1680188/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=8348 CPUtime=1.49 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 1803 0 0 0 146 3 0 0 23 0 1 0 25571774 8548352 1657 1992294400 134512640 135752675 4286922992 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 2087 1657 145 303 0 1782 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8348 [startup+3.10158 s] /proc/loadavg: 0.99 0.91 0.72 2/107 30220 /proc/meminfo: memFree=1674856/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=14960 CPUtime=3.1 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 3431 0 0 0 304 6 0 0 25 0 1 0 25571774 15319040 3285 1992294400 134512640 135752675 4286922992 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 3740 3285 145 303 0 3435 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 14960 [startup+6.3008 s] /proc/loadavg: 0.99 0.91 0.73 2/107 30220 /proc/meminfo: memFree=1664316/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=23892 CPUtime=6.29 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 5663 0 0 0 620 9 0 0 25 0 1 0 25571774 24465408 5517 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 5973 5517 145 303 0 5668 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23892 [startup+12.7002 s] /proc/loadavg: 0.99 0.91 0.73 2/107 30220 /proc/meminfo: memFree=1649808/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=37612 CPUtime=12.69 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 9086 0 0 0 1252 17 0 0 25 0 1 0 25571774 38514688 8940 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 9403 8940 145 303 0 9098 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37612 [startup+25.5011 s] /proc/loadavg: 0.99 0.92 0.73 2/107 30220 /proc/meminfo: memFree=1619428/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=67160 CPUtime=25.49 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 16488 0 0 0 2518 31 0 0 25 0 1 0 25571774 68771840 16342 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 16790 16342 145 303 0 16485 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 67160 [startup+51.1008 s] /proc/loadavg: 0.99 0.92 0.74 2/107 30220 /proc/meminfo: memFree=1566108/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=121292 CPUtime=51.08 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 30019 0 0 0 5051 57 0 0 25 0 1 0 25571774 124203008 29873 1992294400 134512640 135752675 4286922992 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 30323 29873 145 303 0 30018 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 121292 [startup+102.308 s] /proc/loadavg: 0.99 0.93 0.75 2/107 30222 /proc/meminfo: memFree=1471248/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=214564 CPUtime=102.28 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 53285 0 0 0 10125 103 0 0 25 0 1 0 25571774 219713536 53139 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 53641 53139 145 303 0 53336 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 214564 [startup+162.301 s] /proc/loadavg: 0.99 0.94 0.76 2/107 30224 /proc/meminfo: memFree=1385068/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=301660 CPUtime=162.25 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 75021 0 0 0 16076 149 0 0 25 0 1 0 25571774 308899840 74875 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 75415 74875 145 303 0 75110 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 301660 [startup+222.301 s] /proc/loadavg: 1.03 0.96 0.77 2/107 30226 /proc/meminfo: memFree=1346752/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=338588 CPUtime=222.25 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 84377 0 0 0 22033 192 0 0 25 0 1 0 25571774 346714112 84200 1992294400 134512640 135752675 4286922992 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 84647 84200 146 303 0 84342 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 338588 [startup+282.301 s] /proc/loadavg: 1.01 0.97 0.79 2/107 30227 /proc/meminfo: memFree=1310544/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=375204 CPUtime=282.23 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 93532 0 0 0 27991 232 0 0 25 0 1 0 25571774 384208896 93355 1992294400 134512640 135752675 4286922992 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 93801 93355 146 303 0 93496 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 375204 [startup+342.301 s] /proc/loadavg: 1.00 0.97 0.80 2/107 30228 /proc/meminfo: memFree=1264912/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=420376 CPUtime=342.22 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 104784 0 0 0 33951 271 0 0 25 0 1 0 25571774 430465024 104607 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 105094 104607 146 303 0 104789 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 420376 [startup+402.301 s] /proc/loadavg: 1.00 0.97 0.81 2/107 30230 /proc/meminfo: memFree=1201672/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=485012 CPUtime=402.2 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 120870 0 0 0 39912 308 0 0 25 0 1 0 25571774 496652288 120693 1992294400 134512640 135752675 4286922992 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 121253 120693 146 303 0 120948 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 485012 [startup+462.301 s] /proc/loadavg: 1.00 0.97 0.82 2/107 30232 /proc/meminfo: memFree=1147980/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=537388 CPUtime=462.19 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 133953 0 0 0 45872 347 0 0 25 0 1 0 25571774 550285312 133776 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 134347 133776 146 303 0 134042 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 537388 [startup+522.301 s] /proc/loadavg: 1.00 0.97 0.83 2/107 30234 /proc/meminfo: memFree=1094784/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=591036 CPUtime=522.18 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 147342 0 0 0 51826 392 0 0 25 0 1 0 25571774 605220864 147165 1992294400 134512640 135752675 4286922992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 147759 147165 146 303 0 147454 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 591036 [startup+582.301 s] /proc/loadavg: 1.00 0.97 0.83 2/107 30235 /proc/meminfo: memFree=1037496/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=647804 CPUtime=582.16 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 161534 0 0 0 57786 430 0 0 25 0 1 0 25571774 663351296 161357 1992294400 134512640 135752675 4286922992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 161951 161357 146 303 0 161646 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 647804 [startup+642.301 s] /proc/loadavg: 1.06 0.99 0.84 2/107 30236 /proc/meminfo: memFree=970536/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=714296 CPUtime=642.16 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 178149 0 0 0 63743 473 0 0 25 0 1 0 25571774 731439104 177972 1992294400 134512640 135752675 4286922992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 178574 177972 146 303 0 178269 0 Current children cumulated CPU time (s) 642.16 Current children cumulated vsize (KiB) 714296 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.01 1.00 0.88 2/107 30243 /proc/meminfo: memFree=733572/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=951056 CPUtime=882.1 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 237221 0 0 0 87587 623 0 0 25 0 1 0 25571774 973881344 237044 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 237764 237044 146 303 0 237459 0 Current children cumulated CPU time (s) 882.1 Current children cumulated vsize (KiB) 951056 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.88 2/107 30244 /proc/meminfo: memFree=675168/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=1010292 CPUtime=942.08 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 252010 0 0 0 93542 666 0 0 25 0 1 0 25571774 1034539008 251833 1992294400 134512640 135752675 4286922992 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 252573 251833 146 303 0 252268 0 Current children cumulated CPU time (s) 942.08 Current children cumulated vsize (KiB) 1010292 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.89 2/107 30246 /proc/meminfo: memFree=615152/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=1069356 CPUtime=1002.07 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 266777 0 0 0 99507 700 0 0 25 0 1 0 25571774 1095020544 266600 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 267339 266600 146 303 0 267034 0 Current children cumulated CPU time (s) 1002.07 Current children cumulated vsize (KiB) 1069356 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.89 2/107 30248 /proc/meminfo: memFree=569520/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=1115340 CPUtime=1062.06 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 278270 0 0 0 105472 734 0 0 25 0 1 0 25571774 1142108160 278093 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 278835 278093 146 303 0 278530 0 Current children cumulated CPU time (s) 1062.06 Current children cumulated vsize (KiB) 1115340 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.90 2/107 30250 /proc/meminfo: memFree=513100/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=1171264 CPUtime=1122.05 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 292258 0 0 0 111433 772 0 0 25 0 1 0 25571774 1199374336 292081 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 292816 292081 146 303 0 292511 0 Current children cumulated CPU time (s) 1122.05 Current children cumulated vsize (KiB) 1171264 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30251 /proc/meminfo: memFree=456804/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=1228088 CPUtime=1182.03 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 306430 0 0 0 117394 809 0 0 25 0 1 0 25571774 1257562112 306253 1992294400 134512640 135752675 4286922992 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 307022 306253 146 303 0 306717 0 Current children cumulated CPU time (s) 1182.03 Current children cumulated vsize (KiB) 1228088 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30252 /proc/meminfo: memFree=401500/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=1282708 CPUtime=1242.02 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 320091 0 0 0 123353 849 0 0 25 0 1 0 25571774 1313492992 319914 1992294400 134512640 135752675 4286922992 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 320677 319914 146 303 0 320372 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 1282708 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30254 /proc/meminfo: memFree=346072/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=1337356 CPUtime=1302.01 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 333768 0 0 0 129314 887 0 0 25 0 1 0 25571774 1369452544 333591 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 334339 333591 146 303 0 334034 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 1337356 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30256 /proc/meminfo: memFree=305648/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=1378208 CPUtime=1361.99 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 343954 0 0 0 135282 917 0 0 25 0 1 0 25571774 1411284992 343777 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 344552 343777 146 303 0 344247 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 1378208 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30258 /proc/meminfo: memFree=273036/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=1410672 CPUtime=1421.99 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 352023 0 0 0 141263 936 0 0 25 0 1 0 25571774 1444528128 351846 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 352668 351846 146 303 0 352363 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 1410672 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30259 /proc/meminfo: memFree=245756/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=1438052 CPUtime=1481.97 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 358838 0 0 0 147241 956 0 0 25 0 1 0 25571774 1472565248 358661 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 359513 358661 146 303 0 359208 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 1438052 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30260 /proc/meminfo: memFree=218476/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=1465232 CPUtime=1541.96 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 365626 0 0 0 153221 975 0 0 25 0 1 0 25571774 1500397568 365449 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 366308 365449 146 303 0 366003 0 Current children cumulated CPU time (s) 1541.96 Current children cumulated vsize (KiB) 1465232 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30262 /proc/meminfo: memFree=194296/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=1489688 CPUtime=1601.94 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 371716 0 0 0 159202 992 0 0 25 0 1 0 25571774 1525440512 371539 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 372422 371539 146 303 0 372117 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 1489688 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30264 /proc/meminfo: memFree=174084/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=1509524 CPUtime=1661.93 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 376692 0 0 0 165182 1011 0 0 25 0 1 0 25571774 1545752576 376515 1992294400 134512640 135752675 4286922992 18446744073709551615 134611669 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 377381 376515 146 303 0 377076 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 1509524 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30266 /proc/meminfo: memFree=152632/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=1531080 CPUtime=1721.91 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 382076 0 0 0 171163 1028 0 0 25 0 1 0 25571774 1567825920 381899 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 382770 381899 146 303 0 382465 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 1531080 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30267 /proc/meminfo: memFree=134032/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=1549412 CPUtime=1781.9 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 386676 0 0 0 177145 1045 0 0 25 0 1 0 25571774 1586597888 386499 1992294400 134512640 135752675 4286922992 18446744073709551615 134611618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 387353 386499 146 303 0 387048 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 1549412 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30268 /proc/meminfo: memFree=121136/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=1562168 CPUtime=1800.01 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 389843 0 0 0 178947 1054 0 0 25 0 1 0 25571774 1599660032 389666 1992294400 134512640 135752675 4286922992 18446744073709551615 134603340 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30219/statm: 390542 389666 146 303 0 390237 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1562168 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.51 s] /proc/loadavg: 1.00 1.00 0.91 2/107 30268 /proc/meminfo: memFree=121136/2059040 swapFree=4122628/4192956 [pid=30219] ppid=30217 vsize=0 CPUtime=1800.11 /proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4203524 389843 0 0 0 178947 1064 0 0 25 0 1 0 25571774 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/30219/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.55 CPU time (s): 1800.16 CPU user time (s): 1789.47 CPU system time (s): 10.6844 CPU usage (%): 99.9782 Max. virtual memory (cumulated for all children) (KiB): 1562168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.47 system time used= 10.6844 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 389843 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9 involuntary context switches= 1008 runsolver used 3.20851 second user time and 8.27774 second system time The end
Begin job on node052 at 2010-07-08 09:20:51 IDJOB=2702665 IDBENCH=48267 IDSOLVER=1190 FILE ID=node052/2702665-1278573651 PBS_JOBID= 11240074 Free space on /tmp= 62528 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_3.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702665-1278573651/watcher-2702665-1278573651 -o /tmp/evaluation-result-2702665-1278573651/solver-2702665-1278573651 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702665-1278573651.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 29cda419af6adbdf14450bbe70fbdfc2 RANDOM SEED=1670020678 node052.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1684940 kB Buffers: 55604 kB Cached: 212372 kB SwapCached: 24948 kB Active: 121188 kB Inactive: 173824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1684940 kB SwapTotal: 4192956 kB SwapFree: 4122628 kB Dirty: 2716 kB Writeback: 0 kB AnonPages: 11528 kB Mapped: 8504 kB Slab: 57068 kB PageTables: 4264 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180504 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702665-1278573651.opb Free space on /tmp at the end= 62524 MiB End job on node052 at 2010-07-08 09:50:54