Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.12 | 1800.56 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_1.opb |
MD5SUM | 0c93b84d697c3c1b68cbcf423dabc710 |
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 | 84 |
Best CPU time to get the best result obtained on this benchmark | 1798.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 72 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1000 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 52 |
Number of terms in the objective function | 1000 |
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 | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31640 |
Sum of products size (including duplicates) | 63280 |
Number of different products | 31640 |
Sum of products size | 63280 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702351-1278564525.opb. 0.00/0.00 c Instance file HOME/instance-2702351-1278564525.opb 0.00/0.00 c File size is 2479420 bytes. 0.39/0.45 c Highest Coefficient sum: 53 0.39/0.45 c ============================[ Problem Statistics ]============================= 0.39/0.45 c | | 0.39/0.45 c | Parsing time: 0.44 s | 0.39/0.45 c | Number Variables: 32640 | 0.39/0.45 c | Number Clauses: 32640 | 0.39/0.45 c | Number Cardinality: 0 | 0.39/0.45 c | Number PB Constraints: 31640 | 0.39/0.50 c ============================[ Search Statistics ]============================== 0.39/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.50 c =============================================================================== 0.49/0.50 c | 0 | 32640 64280 222480 | 21426 0 nan | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c New solution: 528 0.49/0.55 o 528 0.49/0.55 c Elapsed CPU time: 0.533918 s Remaining CPU time: 179.466 s 0.49/0.55 c =============================================================================== 0.49/0.55 c | 0 | 32640 64281 223480 | 21427 0 nan | 0.000 % | 0.59/0.60 c =============================================================================== 0.59/0.60 c New solution: 376 0.59/0.60 o 376 0.59/0.60 c Elapsed CPU time: 0.576912 s Remaining CPU time: 179.423 s 0.59/0.60 c =============================================================================== 0.59/0.60 c | 0 | 32640 64282 224480 | 21427 0 nan | 0.000 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c New solution: 375 0.59/0.64 o 375 0.59/0.64 c Elapsed CPU time: 0.618905 s Remaining CPU time: 179.381 s 0.59/0.64 c =============================================================================== 0.59/0.64 c | 0 | 32640 64283 225480 | 21427 0 nan | 0.000 % | 0.59/0.69 c =============================================================================== 0.59/0.69 c New solution: 374 0.59/0.69 o 374 0.59/0.69 c Elapsed CPU time: 0.660899 s Remaining CPU time: 179.339 s 0.59/0.69 c =============================================================================== 0.59/0.69 c | 0 | 32640 64284 226480 | 21428 0 nan | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c New solution: 373 0.69/0.73 o 373 0.69/0.73 c Elapsed CPU time: 0.702893 s Remaining CPU time: 179.297 s 0.69/0.73 c =============================================================================== 0.69/0.73 c | 0 | 32640 64285 227480 | 21428 0 nan | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c New solution: 247 0.69/0.78 o 247 0.69/0.78 c Elapsed CPU time: 0.751885 s Remaining CPU time: 179.248 s 0.69/0.78 c =============================================================================== 0.69/0.78 c | 0 | 32640 64286 228480 | 21428 0 nan | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c New solution: 246 0.79/0.83 o 246 0.79/0.83 c Elapsed CPU time: 0.798878 s Remaining CPU time: 179.201 s 0.79/0.83 c =============================================================================== 0.79/0.83 c | 0 | 32640 64287 229480 | 21429 0 nan | 0.000 % | 0.89/0.90 c =============================================================================== 0.89/0.90 c New solution: 245 0.89/0.90 o 245 0.89/0.90 c Elapsed CPU time: 0.860869 s Remaining CPU time: 179.139 s 0.89/0.90 c =============================================================================== 0.89/0.90 c | 1 | 32640 64288 230480 | 21429 1 254 | 0.000 % | 0.89/0.96 c =============================================================================== 0.89/0.96 c New solution: 99 0.89/0.96 o 99 0.89/0.96 c Elapsed CPU time: 0.91886 s Remaining CPU time: 179.081 s 0.89/0.96 c =============================================================================== 0.89/0.96 c | 1 | 32640 64289 231480 | 21429 1 254 | 0.000 % | 1.79/1.87 c | 101 | 32640 64289 231480 | 23572 101 120 | 0.000 % | 2.10/2.20 c | 252 | 32640 64289 231480 | 25929 252 138 | 0.000 % | 2.20/2.27 c =============================================================================== 2.20/2.27 c New solution: 98 2.20/2.27 o 98 2.20/2.27 c Elapsed CPU time: 2.22666 s Remaining CPU time: 177.773 s 2.20/2.27 c =============================================================================== 2.20/2.27 c | 276 | 32640 64290 232480 | 21430 276 141 | 0.000 % | 2.29/2.33 c =============================================================================== 2.29/2.33 c New solution: 97 2.29/2.33 o 97 2.29/2.33 c Elapsed CPU time: 2.28665 s Remaining CPU time: 177.713 s 2.29/2.33 c =============================================================================== 2.29/2.33 c | 278 | 32640 64291 233480 | 21430 278 141 | 0.000 % | 2.39/2.41 c | 378 | 32640 64291 233480 | 23573 378 156 | 0.000 % | 2.39/2.47 c =============================================================================== 2.39/2.47 c New solution: 95 2.39/2.47 o 95 2.39/2.47 c Elapsed CPU time: 2.42363 s Remaining CPU time: 177.576 s 2.39/2.47 c =============================================================================== 2.39/2.47 c | 378 | 32640 64292 234480 | 21430 378 156 | 0.000 % | 2.49/2.56 c | 478 | 32640 64292 234480 | 23573 478 163 | 0.000 % | 2.59/2.67 c | 629 | 32640 64292 234480 | 25931 629 173 | 0.000 % | 2.69/2.73 c =============================================================================== 2.69/2.73 c New solution: 94 2.69/2.73 o 94 2.69/2.73 c Elapsed CPU time: 2.67459 s Remaining CPU time: 177.325 s 2.69/2.73 c =============================================================================== 2.69/2.73 c | 632 | 32640 64293 235480 | 21431 632 173 | 0.000 % | 2.69/2.79 c =============================================================================== 2.69/2.79 c New solution: 88 2.69/2.79 o 88 2.69/2.79 c Elapsed CPU time: 2.73358 s Remaining CPU time: 177.266 s 2.69/2.79 c =============================================================================== 2.69/2.79 c | 632 | 32640 64294 236480 | 21431 632 173 | 0.000 % | 2.79/2.85 c =============================================================================== 2.79/2.85 c New solution: 86 2.79/2.85 o 86 2.79/2.85 c Elapsed CPU time: 2.79157 s Remaining CPU time: 177.208 s 2.79/2.85 c =============================================================================== 2.79/2.85 c | 632 | 32640 64295 237480 | 21431 632 173 | 0.000 % | 2.89/2.94 c | 732 | 32640 64295 237480 | 23574 732 182 | 0.000 % | 2.99/3.08 c | 883 | 32640 64295 237480 | 25932 883 179 | 0.000 % | 3.20/3.25 c | 1109 | 32640 64295 237480 | 28525 1109 186 | 0.000 % | 3.49/3.50 c | 1447 | 32640 64295 237480 | 31378 1447 189 | 0.000 % | 3.79/3.87 c | 1954 | 32640 64295 237480 | 34515 1954 200 | 0.000 % | 4.29/4.40 c | 2713 | 32640 64295 237480 | 37967 2713 198 | 0.000 % | 5.09/5.10 c | 3852 | 32640 64295 237480 | 41764 3852 212 | 0.000 % | 6.19/6.28 c | 5560 | 32640 64295 237480 | 45940 5560 225 | 0.000 % | 7.89/7.99 c | 8122 | 32640 64295 237480 | 50534 8122 222 | 0.000 % | 10.59/10.64 c | 11966 | 32640 64295 237480 | 55588 11966 213 | 0.000 % | 14.99/15.01 c | 17732 | 32640 64295 237480 | 61147 17732 232 | 0.000 % | 21.08/21.12 c | 26382 | 32640 64295 237480 | 67261 26382 226 | 0.000 % | 32.58/32.66 c | 39357 | 32640 64295 237480 | 73987 39357 227 | 0.000 % | 52.28/52.37 c | 58820 | 32640 64295 237480 | 81386 58820 236 | 0.000 % | 87.07/87.16 c | 88012 | 32640 64295 237480 | 89525 88012 262 | 0.000 % | 136.56/136.69 c | 131802 | 32640 64295 237480 | 98477 24982 222 | 0.000 % | 181.15/181.22 c There are 0 assigned variables. 0 in cost function. 182.85/182.95 c core #1 182.85/182.95 c 182.85/182.95 c 182.85/182.95 c Core size: 52 Core Weight: 1 Total Weight: 1 182.85/182.95 c 182.85/182.95 c 182.85/182.95 c core #2 182.85/182.95 c 182.85/182.95 c 182.85/182.95 c Core size: 52 Core Weight: 1 Total Weight: 2 182.85/182.95 c 182.85/182.95 c 182.85/182.95 c core #3 182.85/182.95 c 182.85/182.95 c 182.85/182.95 c Core size: 52 Core Weight: 1 Total Weight: 3 182.85/182.95 c 182.85/182.95 c 182.85/182.95 c core #4 182.85/182.95 c 182.85/182.95 c 182.85/182.95 c Core size: 52 Core Weight: 1 Total Weight: 4 182.85/182.95 c 182.85/182.95 c 182.85/182.95 c core #5 182.85/182.95 c 182.85/182.95 c 182.85/182.95 c Core size: 54 Core Weight: 1 Total Weight: 5 182.85/182.95 c 182.85/182.95 c 182.85/182.95 c core #6 182.85/182.95 c 182.85/182.95 c 182.85/182.95 c Core size: 52 Core Weight: 1 Total Weight: 6 182.85/182.95 c 182.85/182.95 c 182.85/182.95 c core #7 182.85/182.95 c 182.85/182.95 c 182.85/182.95 c Core size: 56 Core Weight: 1 Total Weight: 7 182.85/182.95 c 182.85/182.95 c 182.85/182.95 c core #8 182.85/182.95 c 182.85/182.95 c 182.85/182.95 c Core size: 74 Core Weight: 1 Total Weight: 8 182.85/182.95 c 182.85/182.95 c 182.85/182.95 c core #9 182.85/182.95 c 182.85/182.95 c 182.85/182.95 c Core size: 170 Core Weight: 1 Total Weight: 9 182.85/182.95 c 182.85/182.95 c 182.85/182.95 c ============================[ Search Statistics ]============================== 182.85/182.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.85/182.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.85/182.95 c =============================================================================== 182.85/182.95 c | 0 | 9382 65304 167438 | 21768 0 nan | 0.000 % | 182.95/183.01 c =============================================================================== 183.15/183.25 c core #10 183.15/183.25 c 183.15/183.25 c 183.15/183.25 c Core size: 425 Core Weight: 1 Total Weight: 10 183.15/183.25 c 183.15/183.25 c 183.15/183.25 c ============================[ Search Statistics ]============================== 183.15/183.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.15/183.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.15/183.25 c =============================================================================== 183.15/183.25 c | 0 | 15999 65305 188103 | 21768 0 nan | 0.000 % | 183.56/183.63 c | 101 | 15999 65305 188103 | 23945 101 265 | 51.764 % | 183.85/183.94 c | 252 | 15999 65305 188103 | 26339 252 425 | 51.764 % | 184.45/184.56 c | 478 | 15999 65305 188103 | 28973 478 436 | 51.764 % | 185.45/185.57 c | 816 | 15999 65305 188103 | 31871 816 402 | 51.764 % | 187.24/187.33 c =============================================================================== 187.44/187.59 c core #11 187.44/187.59 c 187.44/187.59 c 187.44/187.59 c Core size: 1691 Core Weight: 1 Total Weight: 11 187.44/187.59 c 187.44/187.59 c 187.44/187.59 c ============================[ Search Statistics ]============================== 187.44/187.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.44/187.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.44/187.59 c =============================================================================== 187.44/187.59 c | 0 | 29879 65306 229179 | 21768 0 nan | 0.000 % | 187.95/188.02 c | 108 | 29879 65306 229179 | 23945 108 593 | 11.913 % | 189.05/189.17 c | 260 | 29879 65306 229179 | 26340 260 525 | 11.913 % | 190.85/190.97 c | 485 | 29879 65306 229179 | 28974 485 548 | 11.913 % | 193.34/193.49 c | 823 | 29879 65306 229179 | 31871 823 613 | 11.913 % | 197.64/197.73 c | 1330 | 29879 65306 229179 | 35058 1330 631 | 11.913 % | 204.25/204.34 c | 2090 | 29879 65306 229179 | 38564 2090 670 | 11.913 % | 216.04/216.17 c | 3231 | 29879 65306 229179 | 42420 3231 491 | 11.913 % | 238.64/238.75 c | 4939 | 29879 65306 229179 | 46663 4939 362 | 11.913 % | 274.32/274.41 c | 7502 | 29879 65306 229179 | 51329 7502 301 | 11.913 % | 320.02/320.18 c | 11347 | 29879 65306 229179 | 56462 11347 321 | 11.913 % | 392.40/392.55 c | 17114 | 29879 65306 229179 | 62108 17114 324 | 11.913 % | 487.78/487.92 c | 25764 | 29879 65306 229179 | 68319 25764 403 | 11.913 % | 647.65/647.85 c | 38740 | 29879 65306 229179 | 75151 38740 398 | 11.913 % | 880.87/881.19 c | 58205 | 29879 65306 229179 | 82666 58205 522 | 11.913 % | 1263.59/1263.93 c | 87397 | 29879 65306 229179 | 90933 15221 739 | 11.913 % | 1550.70/1551.13 c =============================================================================== 1553.11/1553.59 c core #12 1553.11/1553.59 c 1553.11/1553.59 c 1553.11/1553.59 c Core size: 2121 Core Weight: 1 Total Weight: 12 1553.11/1553.59 c 1553.11/1553.59 c 1553.11/1553.59 c ============================[ Search Statistics ]============================== 1553.11/1553.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 1553.11/1553.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1553.11/1553.59 c =============================================================================== 1553.11/1553.59 c | 0 | 34919 65307 243038 | 21769 0 nan | 0.000 % | 1553.51/1553.91 c | 100 | 34919 65307 243038 | 23945 100 444 | 0.000 % | 1554.00/1554.42 c | 250 | 34919 65307 243038 | 26340 250 306 | 0.000 % | 1556.31/1556.79 c | 475 | 34919 65307 243038 | 28974 475 324 | 0.000 % | 1559.81/1560.28 c | 814 | 34919 65307 243038 | 31871 814 317 | 0.000 % | 1564.61/1565.04 c | 1322 | 34919 65307 243038 | 35059 1322 255 | 0.000 % | 1570.90/1571.32 c | 2081 | 34919 65307 243038 | 38565 2081 266 | 0.000 % | 1582.30/1582.78 c | 3220 | 34919 65307 243038 | 42421 3220 254 | 0.000 % | 1593.30/1593.73 c | 4932 | 34919 65307 243038 | 46663 4932 262 | 0.000 % | 1616.89/1617.38 c | 7495 | 34919 65307 243038 | 51330 7495 298 | 0.000 % | 1653.49/1653.94 c | 11339 | 34919 65307 243038 | 56463 11339 310 | 0.000 % | 1709.87/1710.33 c | 17105 | 34919 65307 243038 | 62109 17105 302 | 0.000 % | 1743.56/1744.02 c | 25756 | 34919 65307 243038 | 68320 25756 317 | 0.000 % | 1784.86/1785.39 c | 38731 | 34919 65307 243038 | 75152 38731 328 | 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-2702351-1278564525/watcher-2702351-1278564525 -o /tmp/evaluation-result-2702351-1278564525/solver-2702351-1278564525 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702351-1278564525.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: 1.00 1.00 1.00 3/106 30844 /proc/meminfo: memFree=1762600/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=5604 CPUtime=0 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 416 0 0 0 0 0 0 0 20 0 1 0 24659084 5738496 335 1992294400 134512640 135752675 4294308224 18446744073709551615 134609568 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 1401 335 138 303 0 490 0 [startup+0.059122 s] /proc/loadavg: 1.00 1.00 1.00 3/106 30844 /proc/meminfo: memFree=1762600/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=9892 CPUtime=0.05 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 1413 0 0 0 5 0 0 0 20 0 1 0 24659084 10129408 1331 1992294400 134512640 135752675 4294308224 18446744073709551615 134610309 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 2473 1336 198 303 0 1562 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9892 [startup+0.101125 s] /proc/loadavg: 1.00 1.00 1.00 3/106 30844 /proc/meminfo: memFree=1762600/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=11016 CPUtime=0.09 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 1675 0 0 0 9 0 0 0 20 0 1 0 24659084 11280384 1593 1992294400 134512640 135752675 4294308224 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 2754 1593 257 303 0 1843 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11016 [startup+0.301143 s] /proc/loadavg: 1.00 1.00 1.00 3/106 30844 /proc/meminfo: memFree=1762600/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=14308 CPUtime=0.29 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 2744 0 0 0 28 1 0 0 20 0 1 0 24659084 14651392 2662 1992294400 134512640 135752675 4294308224 18446744073709551615 134564863 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 3577 2662 525 303 0 2666 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14308 [startup+0.701177 s] /proc/loadavg: 1.00 1.00 1.00 3/106 30844 /proc/meminfo: memFree=1762600/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=17372 CPUtime=0.69 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 4946 0 0 0 66 3 0 0 21 0 1 0 24659084 17788928 3649 1992294400 134512640 135752675 4294308224 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 4343 3649 143 303 0 4038 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17372 [startup+1.50125 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30845 /proc/meminfo: memFree=1747960/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=17372 CPUtime=1.49 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 4947 0 0 0 145 4 0 0 23 0 1 0 24659084 17788928 3650 1992294400 134512640 135752675 4294308224 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 4343 3650 144 303 0 4038 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17372 [startup+3.10139 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30845 /proc/meminfo: memFree=1747836/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=17372 CPUtime=3.09 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 4948 0 0 0 303 6 0 0 25 0 1 0 24659084 17788928 3651 1992294400 134512640 135752675 4294308224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 4343 3651 145 303 0 4038 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17372 [startup+6.30167 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30845 /proc/meminfo: memFree=1745356/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=22128 CPUtime=6.29 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 6107 0 0 0 621 8 0 0 25 0 1 0 24659084 22659072 4810 1992294400 134512640 135752675 4294308224 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 5532 4810 145 303 0 5227 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22128 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30845 /proc/meminfo: memFree=1735560/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=31240 CPUtime=12.69 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 8406 0 0 0 1256 13 0 0 25 0 1 0 24659084 31989760 7109 1992294400 134512640 135752675 4294308224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 7810 7109 145 303 0 7505 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31240 [startup+25.5003 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30845 /proc/meminfo: memFree=1716844/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=48880 CPUtime=25.48 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 12791 0 0 0 2527 21 0 0 25 0 1 0 24659084 50053120 11494 1992294400 134512640 135752675 4294308224 18446744073709551615 134605498 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 12220 11494 145 303 0 11915 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48880 [startup+51.1006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30847 /proc/meminfo: memFree=1688820/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=76892 CPUtime=51.08 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 19811 0 0 0 5069 39 0 0 25 0 1 0 24659084 78737408 18514 1992294400 134512640 135752675 4294308224 18446744073709551615 134605026 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 19223 18514 145 303 0 18918 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 76892 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30847 /proc/meminfo: memFree=1631160/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=134068 CPUtime=102.28 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 34050 0 0 0 10155 73 0 0 25 0 1 0 24659084 137285632 32753 1992294400 134512640 135752675 4294308224 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 33517 32753 145 303 0 33212 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 134068 [startup+162.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30849 /proc/meminfo: memFree=1573748/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=191632 CPUtime=162.25 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 48465 0 0 0 16118 107 0 0 25 0 1 0 24659084 196231168 47168 1992294400 134512640 135752675 4294308224 18446744073709551615 134519014 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 47908 47168 145 303 0 47603 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 191632 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30851 /proc/meminfo: memFree=1555024/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=208240 CPUtime=222.24 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 54451 0 0 0 22100 124 0 0 25 0 1 0 24659084 213237760 51565 1992294400 134512640 135752675 4294308224 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 52060 51565 146 303 0 51755 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 208240 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30853 /proc/meminfo: memFree=1554900/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=208240 CPUtime=282.22 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 54454 0 0 0 28094 128 0 0 25 0 1 0 24659084 213237760 51568 1992294400 134512640 135752675 4294308224 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 52060 51568 146 303 0 51755 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 208240 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30853 /proc/meminfo: memFree=1554900/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=208240 CPUtime=342.21 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 54455 0 0 0 34087 134 0 0 25 0 1 0 24659084 213237760 51569 1992294400 134512640 135752675 4294308224 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 52060 51569 146 303 0 51755 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 208240 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30855 /proc/meminfo: memFree=1554776/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=208240 CPUtime=402.2 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 54460 0 0 0 40080 140 0 0 25 0 1 0 24659084 213237760 51574 1992294400 134512640 135752675 4294308224 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 52060 51574 146 303 0 51755 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 208240 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30857 /proc/meminfo: memFree=1554776/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=208240 CPUtime=462.18 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 54466 0 0 0 46072 146 0 0 25 0 1 0 24659084 213237760 51580 1992294400 134512640 135752675 4294308224 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 52060 51580 146 303 0 51755 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 208240 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30859 /proc/meminfo: memFree=1554652/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=208240 CPUtime=522.16 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 54488 0 0 0 52064 152 0 0 25 0 1 0 24659084 213237760 51602 1992294400 134512640 135752675 4294308224 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 52060 51602 146 303 0 51755 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 208240 [startup+582.301 s] /proc/loadavg: 1.06 1.02 1.00 2/107 30861 /proc/meminfo: memFree=1554652/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=208240 CPUtime=582.15 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 54489 0 0 0 58057 158 0 0 25 0 1 0 24659084 213237760 51603 1992294400 134512640 135752675 4294308224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 52060 51603 146 303 0 51755 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 208240 [startup+642.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 30861 /proc/meminfo: memFree=1553660/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=209692 CPUtime=642.15 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 54872 0 0 0 64049 166 0 0 25 0 1 0 24659084 214724608 51986 1992294400 134512640 135752675 4294308224 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 52423 51986 146 303 0 52118 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 209692 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30878 /proc/meminfo: memFree=1485956/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=276684 CPUtime=882.07 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 71612 0 0 0 88001 206 0 0 25 0 1 0 24659084 283324416 68726 1992294400 134512640 135752675 4294308224 18446744073709551615 134605232 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 69171 68726 146 303 0 68866 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 276684 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30878 /proc/meminfo: memFree=1465124/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=297788 CPUtime=942.06 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 76826 0 0 0 93990 216 0 0 25 0 1 0 24659084 304934912 73940 1992294400 134512640 135752675 4294308224 18446744073709551615 134604955 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 74447 73940 146 303 0 74142 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 297788 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30880 /proc/meminfo: memFree=1443796/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=318944 CPUtime=1002.05 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 82117 0 0 0 99981 224 0 0 25 0 1 0 24659084 326598656 79231 1992294400 134512640 135752675 4294308224 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 79736 79231 146 303 0 79431 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 318944 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30882 /proc/meminfo: memFree=1430652/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=332096 CPUtime=1062.03 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 85420 0 0 0 105972 231 0 0 25 0 1 0 24659084 340066304 82534 1992294400 134512640 135752675 4294308224 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 83024 82534 146 303 0 82719 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 332096 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30884 /proc/meminfo: memFree=1414904/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=347784 CPUtime=1122.02 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 89340 0 0 0 111961 241 0 0 25 0 1 0 24659084 356130816 86454 1992294400 134512640 135752675 4294308224 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 86946 86454 146 303 0 86641 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 347784 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30886 /proc/meminfo: memFree=1399280/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=363576 CPUtime=1181.99 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 93278 0 0 0 117951 248 0 0 25 0 1 0 24659084 372301824 90392 1992294400 134512640 135752675 4294308224 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 90894 90392 146 303 0 90589 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 363576 [startup+1242.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 30886 /proc/meminfo: memFree=1380804/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=381788 CPUtime=1241.98 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 97857 0 0 0 123941 257 0 0 25 0 1 0 24659084 390950912 94971 1992294400 134512640 135752675 4294308224 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 95447 94971 146 303 0 95142 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 381788 [startup+1302.3 s] /proc/loadavg: 1.05 1.02 1.00 2/107 30888 /proc/meminfo: memFree=1360592/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=401880 CPUtime=1301.97 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 102880 0 0 0 129931 266 0 0 25 0 1 0 24659084 411525120 99994 1992294400 134512640 135752675 4294308224 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 100470 99994 146 303 0 100165 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 401880 [startup+1362.3 s] /proc/loadavg: 1.05 1.03 1.00 2/107 30890 /proc/meminfo: memFree=1347820/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=414868 CPUtime=1361.95 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 106108 0 0 0 135922 273 0 0 25 0 1 0 24659084 424824832 103222 1992294400 134512640 135752675 4294308224 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 103717 103222 146 303 0 103412 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 414868 [startup+1422.31 s] /proc/loadavg: 1.18 1.07 1.01 2/107 30892 /proc/meminfo: memFree=1328600/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=433948 CPUtime=1421.95 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 110874 0 0 0 141913 282 0 0 25 0 1 0 24659084 444362752 107988 1992294400 134512640 135752675 4294308224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 108487 107988 146 303 0 108182 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 433948 [startup+1482.3 s] /proc/loadavg: 1.07 1.05 1.00 2/107 30894 /proc/meminfo: memFree=1311736/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=450820 CPUtime=1481.93 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 115094 0 0 0 147902 291 0 0 25 0 1 0 24659084 461639680 112208 1992294400 134512640 135752675 4294308224 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 112705 112208 146 303 0 112400 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 450820 [startup+1542.3 s] /proc/loadavg: 1.02 1.04 1.00 2/107 30894 /proc/meminfo: memFree=1291276/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=471276 CPUtime=1541.91 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 120169 0 0 0 153888 303 0 0 25 0 1 0 24659084 482586624 117283 1992294400 134512640 135752675 4294308224 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 117819 117283 146 303 0 117514 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 471276 [startup+1602.3 s] /proc/loadavg: 1.01 1.03 1.00 2/107 30896 /proc/meminfo: memFree=1276148/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=486976 CPUtime=1601.9 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 124086 0 0 0 159879 311 0 0 25 0 1 0 24659084 498663424 121057 1992294400 134512640 135752675 4294308224 18446744073709551615 134518828 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 121744 121057 146 303 0 121439 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 486976 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 30898 /proc/meminfo: memFree=1276024/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=486976 CPUtime=1661.88 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 124088 0 0 0 165871 317 0 0 25 0 1 0 24659084 498663424 121059 1992294400 134512640 135752675 4294308224 18446744073709551615 134518784 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 121744 121059 146 303 0 121439 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 486976 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 30900 /proc/meminfo: memFree=1275776/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=486976 CPUtime=1721.87 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 124144 0 0 0 171860 327 0 0 25 0 1 0 24659084 498663424 121115 1992294400 134512640 135752675 4294308224 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 121744 121115 146 303 0 121439 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 486976 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 30902 /proc/meminfo: memFree=1275404/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=486976 CPUtime=1781.86 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 124169 0 0 0 177843 343 0 0 25 0 1 0 24659084 498663424 121140 1992294400 134512640 135752675 4294308224 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 121744 121140 146 303 0 121439 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 486976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.01 1.00 2/107 30902 /proc/meminfo: memFree=1275404/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=486976 CPUtime=1800.06 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 124169 0 0 0 179659 347 0 0 25 0 1 0 24659084 498663424 121140 1992294400 134512640 135752675 4294308224 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 121744 121140 146 303 0 121439 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 486976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.01 1.00 2/107 30902 /proc/meminfo: memFree=1275404/2059040 swapFree=4139820/4192956 [pid=30844] ppid=30842 vsize=486976 CPUtime=1800.06 /proc/30844/stat : 30844 (wbo1.4b) R 30842 30844 30682 0 -1 4202496 124169 0 0 0 179659 347 0 0 25 0 1 0 24659084 498663424 121140 1992294400 134512640 135752675 4294308224 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30844/statm: 121744 121140 146 303 0 121439 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 486976 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.56 CPU time (s): 1800.12 CPU user time (s): 1796.6 CPU system time (s): 3.52146 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 486976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.6 system time used= 3.52146 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 124169 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= 8 involuntary context switches= 3740 runsolver used 2.85157 second user time and 8.63769 second system time The end
Begin job on node055 at 2010-07-08 06:48:45 IDJOB=2702351 IDBENCH=48110 IDSOLVER=1190 FILE ID=node055/2702351-1278564525 PBS_JOBID= 11239576 Free space on /tmp= 62580 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_1.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-2702351-1278564525/watcher-2702351-1278564525 -o /tmp/evaluation-result-2702351-1278564525/solver-2702351-1278564525 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702351-1278564525.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0c93b84d697c3c1b68cbcf423dabc710 RANDOM SEED=1731879990 node055.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.224 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.44 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.224 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1765484 kB Buffers: 14308 kB Cached: 191556 kB SwapCached: 6608 kB Active: 81796 kB Inactive: 137464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1765484 kB SwapTotal: 4192956 kB SwapFree: 4139820 kB Dirty: 3108 kB Writeback: 0 kB AnonPages: 11340 kB Mapped: 11764 kB Slab: 52324 kB PageTables: 4144 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179356 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-2702351-1278564525.opb Free space on /tmp at the end= 62576 MiB End job on node055 at 2010-07-08 07:18:49