Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.13 | 1800.52 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_5.opb |
MD5SUM | 0619afe86d0e2ffb4ad28e9f2f441c24 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 1372.41 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -14 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1212 |
Sum of products size (including duplicates) | 2424 |
Number of different products | 606 |
Sum of products size | 1212 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702653-1278573092.opb. 0.00/0.00 c Instance file HOME/instance-2702653-1278573092.opb 0.00/0.00 c File size is 49626 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 706 | 0.00/0.01 c | Number Clauses: 656 | 0.00/0.01 c | Number Cardinality: 102 | 0.00/0.01 c | Number PB Constraints: 606 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 706 1364 5148 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 0 0.00/0.01 o 0 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 706 1365 5198 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: -1 0.00/0.01 o -1 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 1 | 706 1366 5248 | 5000 1 51 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -2 0.00/0.02 o -2 0.00/0.02 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 1 | 706 1367 5298 | 5000 1 51 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -3 0.00/0.02 o -3 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 22 | 706 1368 5348 | 5000 22 92 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -4 0.00/0.02 o -4 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 23 | 706 1369 5398 | 5000 23 88 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -5 0.00/0.02 o -5 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 27 | 706 1370 5448 | 5000 27 79 | 0.000 % | 0.00/0.03 c | 129 | 706 1370 5448 | 5500 129 88 | 0.003 % | 0.00/0.03 c | 280 | 706 1370 5448 | 6050 280 90 | 0.003 % | 0.00/0.05 c | 506 | 706 1370 5448 | 6655 506 90 | 0.003 % | 0.00/0.07 c | 843 | 706 1370 5448 | 7320 843 85 | 0.003 % | 0.09/0.11 c | 1350 | 706 1370 5448 | 8052 1350 87 | 0.002 % | 0.09/0.19 c | 2110 | 706 1370 5448 | 8857 2110 89 | 0.002 % | 0.29/0.33 c | 3250 | 706 1370 5448 | 9743 3250 89 | 0.004 % | 0.50/0.57 c | 4958 | 706 1370 5448 | 10717 4958 90 | 0.003 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c New solution: -6 0.59/0.63 o -6 0.59/0.63 c Elapsed CPU time: 0.618905 s Remaining CPU time: 179.381 s 0.59/0.63 c =============================================================================== 0.59/0.63 c | 5240 | 706 1371 5498 | 5000 5240 89 | 0.003 % | 0.59/0.65 c | 5340 | 706 1371 5498 | 5500 2720 90 | 0.002 % | 0.59/0.67 c | 5490 | 706 1371 5498 | 6050 2870 90 | 0.002 % | 0.59/0.70 c | 5715 | 706 1371 5498 | 6655 3095 89 | 0.002 % | 0.69/0.73 c | 6052 | 706 1371 5498 | 7320 3432 89 | 0.003 % | 0.69/0.78 c | 6558 | 706 1371 5498 | 8052 3938 88 | 0.002 % | 0.89/0.90 c | 7318 | 706 1371 5498 | 8857 4698 88 | 0.003 % | 1.00/1.03 c =============================================================================== 1.00/1.03 c New solution: -7 1.00/1.03 o -7 1.00/1.03 c Elapsed CPU time: 1.00785 s Remaining CPU time: 178.992 s 1.00/1.03 c =============================================================================== 1.00/1.03 c | 8238 | 706 1372 5548 | 5000 5618 87 | 0.003 % | 1.00/1.05 c | 8338 | 706 1372 5548 | 5500 2909 83 | 0.002 % | 1.00/1.07 c | 8488 | 706 1372 5548 | 6050 3059 84 | 0.003 % | 1.00/1.09 c | 8713 | 706 1372 5548 | 6655 3284 84 | 0.003 % | 1.09/1.12 c | 9050 | 706 1372 5548 | 7320 3621 84 | 0.003 % | 1.09/1.17 c | 9556 | 706 1372 5548 | 8052 4127 85 | 0.004 % | 1.19/1.26 c | 10316 | 706 1372 5548 | 8857 4887 86 | 0.003 % | 1.19/1.29 c =============================================================================== 1.19/1.29 c New solution: -8 1.19/1.29 o -8 1.19/1.29 c Elapsed CPU time: 1.25981 s Remaining CPU time: 178.74 s 1.19/1.29 c =============================================================================== 1.19/1.29 c | 10497 | 706 1373 5598 | 5000 5068 85 | 0.003 % | 1.29/1.31 c | 10602 | 706 1373 5598 | 5500 2639 85 | 0.003 % | 1.29/1.33 c | 10752 | 706 1373 5598 | 6050 2789 85 | 0.003 % | 1.29/1.34 c | 10977 | 706 1373 5598 | 6655 3014 85 | 0.003 % | 1.29/1.38 c | 11314 | 706 1373 5598 | 7320 3351 85 | 0.003 % | 1.29/1.39 c =============================================================================== 1.29/1.39 c New solution: -9 1.29/1.39 o -9 1.29/1.39 c Elapsed CPU time: 1.35779 s Remaining CPU time: 178.642 s 1.29/1.39 c =============================================================================== 1.29/1.39 c | 11349 | 706 1374 5648 | 5000 3386 84 | 0.003 % | 1.39/1.40 c | 11449 | 706 1374 5648 | 5500 3486 84 | 0.003 % | 1.39/1.42 c | 11599 | 706 1374 5648 | 6050 3636 84 | 0.002 % | 1.39/1.44 c | 11825 | 706 1374 5648 | 6655 3862 84 | 0.002 % | 1.39/1.48 c | 12162 | 706 1374 5648 | 7320 4199 84 | 0.003 % | 1.49/1.53 c | 12669 | 706 1374 5648 | 8052 4706 84 | 0.003 % | 1.59/1.61 c | 13428 | 706 1374 5648 | 8857 5465 84 | 0.003 % | 1.69/1.74 c | 14567 | 706 1374 5648 | 9743 6604 83 | 0.002 % | 1.79/1.85 c =============================================================================== 1.79/1.85 c New solution: -10 1.79/1.85 o -10 1.79/1.85 c Elapsed CPU time: 1.80173 s Remaining CPU time: 178.198 s 1.79/1.85 c =============================================================================== 1.79/1.85 c | 15265 | 706 1375 5698 | 5000 7302 79 | 0.002 % | 1.79/1.87 c | 15365 | 706 1375 5698 | 5500 3751 74 | 0.002 % | 1.79/1.88 c | 15515 | 706 1375 5698 | 6050 3901 74 | 0.002 % | 1.89/1.90 c | 15740 | 706 1375 5698 | 6655 4126 74 | 0.002 % | 1.89/1.94 c | 16079 | 706 1375 5698 | 7320 4465 75 | 0.002 % | 1.89/2.00 c | 16585 | 706 1375 5698 | 8052 4971 76 | 0.003 % | 2.00/2.07 c | 17345 | 706 1375 5698 | 8857 5731 77 | 0.002 % | 2.10/2.19 c | 18484 | 706 1375 5698 | 9743 6870 78 | 0.002 % | 2.39/2.43 c | 20193 | 706 1375 5698 | 10717 8579 79 | 0.003 % | 2.79/2.82 c | 22756 | 706 1375 5698 | 11789 11142 80 | 0.002 % | 3.30/3.39 c | 26601 | 706 1375 5698 | 12968 8764 83 | 0.003 % | 4.30/4.36 c | 32367 | 706 1375 5698 | 14265 7713 82 | 0.003 % | 5.89/5.96 c | 41017 | 706 1375 5698 | 15692 8893 81 | 0.000 % | 8.49/8.53 c | 53991 | 706 1375 5698 | 17261 13690 82 | 0.002 % | 13.29/13.35 c | 73452 | 706 1375 5698 | 18987 15235 80 | 0.002 % | 21.28/21.32 c | 102646 | 706 1375 5698 | 20886 14943 79 | 0.003 % | 32.68/32.79 c | 146435 | 706 1375 5698 | 22974 15573 81 | 0.002 % | 52.68/52.75 c | 212119 | 706 1375 5698 | 25272 17642 79 | 0.003 % | 89.97/90.05 c | 310647 | 706 1375 5698 | 27799 12231 79 | 0.003 % | 145.86/145.93 c | 458437 | 706 1375 5698 | 30579 23218 76 | 0.003 % | 181.75/181.89 c There are 0 assigned variables. 0 in cost function. 182.35/182.49 c core #1 182.35/182.49 c 182.35/182.49 c 182.35/182.49 c Core size: 101 Core Weight: 1 Total Weight: -49 182.35/182.49 c 182.35/182.49 c 182.35/182.49 c ============================[ Search Statistics ]============================== 182.35/182.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.35/182.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.35/182.49 c =============================================================================== 182.35/182.49 c | 0 | 756 1592 6314 | 5000 0 nan | 0.000 % | 182.46/182.50 c =============================================================================== 182.46/182.50 c core #2 182.46/182.50 c 182.46/182.50 c 182.46/182.50 c Core size: 45 Core Weight: 1 Total Weight: -48 182.46/182.50 c 182.46/182.50 c 182.46/182.50 c ============================[ Search Statistics ]============================== 182.46/182.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.46/182.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.46/182.50 c =============================================================================== 182.46/182.50 c | 0 | 796 1597 6406 | 5000 0 nan | 0.000 % | 182.46/182.52 c | 100 | 778 1597 6406 | 5500 73 34 | 2.261 % | 182.46/182.54 c | 254 | 778 1597 6406 | 6050 227 28 | 2.267 % | 182.46/182.56 c | 479 | 719 1597 6406 | 6655 306 33 | 13.838 % | 182.46/182.59 c =============================================================================== 182.46/182.60 c core #3 182.46/182.60 c 182.46/182.60 c 182.46/182.60 c Core size: 74 Core Weight: 1 Total Weight: -47 182.46/182.60 c 182.46/182.60 c 182.46/182.60 c ============================[ Search Statistics ]============================== 182.46/182.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.46/182.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.46/182.60 c =============================================================================== 182.46/182.60 c | 0 | 846 1603 6521 | 5000 0 nan | 0.000 % | 182.56/182.61 c | 100 | 846 1603 6521 | 5500 100 48 | 0.002 % | 182.56/182.63 c | 250 | 846 1603 6521 | 6050 250 35 | 0.002 % | 182.56/182.66 c | 476 | 846 1603 6521 | 6655 476 30 | 0.004 % | 182.65/182.70 c | 819 | 846 1603 6521 | 7320 819 30 | 0.003 % | 182.65/182.77 c | 1326 | 846 1603 6521 | 8052 1326 28 | 0.005 % | 182.75/182.88 c | 2085 | 846 1603 6521 | 8857 2085 28 | 0.010 % | 182.95/183.04 c | 3225 | 846 1603 6521 | 9743 3225 28 | 0.028 % | 183.25/183.30 c | 4934 | 846 1603 6521 | 10717 4934 29 | 0.038 % | 183.65/183.76 c =============================================================================== 183.75/183.84 c core #4 183.75/183.84 c 183.75/183.84 c 183.75/183.84 c Core size: 58 Core Weight: 1 Total Weight: -46 183.75/183.84 c 183.75/183.84 c 183.75/183.84 c ============================[ Search Statistics ]============================== 183.75/183.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.75/183.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.75/183.84 c =============================================================================== 183.75/183.84 c | 0 | 896 1834 7308 | 5000 0 nan | 0.000 % | 183.75/183.87 c | 104 | 896 1834 7308 | 5500 104 77 | 0.002 % | 183.75/183.88 c | 255 | 896 1834 7308 | 6050 255 51 | 0.001 % | 183.85/183.92 c | 483 | 896 1834 7308 | 6655 483 54 | 0.001 % | 183.85/183.97 c | 820 | 896 1834 7308 | 7320 820 40 | 0.002 % | 183.96/184.03 c | 1326 | 896 1834 7308 | 8052 1326 44 | 0.001 % | 184.05/184.16 c | 2089 | 896 1834 7308 | 8857 2089 48 | 0.001 % | 184.25/184.34 c | 3228 | 896 1834 7308 | 9743 3228 44 | 0.001 % | 184.55/184.65 c | 4937 | 896 1834 7308 | 10717 4937 40 | 0.002 % | 184.95/185.04 c | 7501 | 896 1834 7308 | 11789 7501 40 | 0.001 % | 185.45/185.56 c | 11346 | 896 1834 7308 | 12968 11346 52 | 0.001 % | 186.86/186.99 c | 17113 | 896 1834 7308 | 14265 10304 73 | 0.001 % | 189.35/189.43 c | 25762 | 896 1834 7308 | 15692 11503 74 | 0.002 % | 192.85/192.97 c | 38736 | 896 1834 7308 | 17261 16322 72 | 0.001 % | 198.75/198.80 c | 58198 | 896 1834 7308 | 18987 17868 71 | 0.001 % | 207.64/207.79 c | 87390 | 896 1834 7308 | 20886 17613 72 | 0.001 % | 222.05/222.10 c | 131180 | 896 1834 7308 | 22974 18332 68 | 0.001 % | 244.64/244.71 c | 196864 | 896 1834 7308 | 25272 22189 66 | 0.002 % | 284.03/284.18 c | 295392 | 896 1834 7308 | 27799 18846 78 | 0.002 % | 352.71/352.87 c | 443186 | 896 1834 7308 | 30579 12330 77 | 0.001 % | 461.49/461.63 c | 664871 | 896 1834 7308 | 33637 14266 77 | 0.002 % | 613.16/613.39 c | 997396 | 896 1834 7308 | 37001 28751 67 | 0.001 % | 875.10/875.38 c | 1496184 | 896 1834 7308 | 40701 37564 81 | 0.001 % | 1281.72/1282.01 c | 2244366 | 896 1834 7308 | 44771 23106 68 | 0.001 % |
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-2702653-1278573092/watcher-2702653-1278573092 -o /tmp/evaluation-result-2702653-1278573092/solver-2702653-1278573092 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702653-1278573092.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.95 0.49 0.51 3/106 28846 /proc/meminfo: memFree=1577284/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=2760 CPUtime=0 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 308 0 0 0 0 0 0 0 20 0 1 0 25516798 2826240 227 1992294400 134512640 135752675 4294350480 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 690 227 140 303 0 372 0 [startup+0.0884149 s] /proc/loadavg: 0.95 0.49 0.51 3/106 28846 /proc/meminfo: memFree=1577284/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=3236 CPUtime=0.08 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 461 0 0 0 8 0 0 0 20 0 1 0 25516798 3313664 367 1992294400 134512640 135752675 4294350480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 809 368 145 303 0 504 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3236 [startup+0.101416 s] /proc/loadavg: 0.95 0.49 0.51 3/106 28846 /proc/meminfo: memFree=1577284/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=3236 CPUtime=0.09 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 483 0 0 0 9 0 0 0 20 0 1 0 25516798 3313664 389 1992294400 134512640 135752675 4294350480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 809 389 145 303 0 504 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3236 [startup+0.301428 s] /proc/loadavg: 0.95 0.49 0.51 3/106 28846 /proc/meminfo: memFree=1577284/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=4136 CPUtime=0.29 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 704 0 0 0 29 0 0 0 20 0 1 0 25516798 4235264 610 1992294400 134512640 135752675 4294350480 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 1034 610 145 303 0 729 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4136 [startup+0.701453 s] /proc/loadavg: 0.95 0.49 0.51 3/106 28846 /proc/meminfo: memFree=1577284/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=5568 CPUtime=0.69 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 1056 0 0 0 68 1 0 0 21 0 1 0 25516798 5701632 962 1992294400 134512640 135752675 4294350480 18446744073709551615 134612024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 1392 962 145 303 0 1087 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5568 [startup+1.5015 s] /proc/loadavg: 0.95 0.49 0.51 2/107 28847 /proc/meminfo: memFree=1573184/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=8556 CPUtime=1.49 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 1796 0 0 0 146 3 0 0 23 0 1 0 25516798 8761344 1702 1992294400 134512640 135752675 4294350480 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 2139 1702 145 303 0 1834 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8556 [startup+3.1016 s] /proc/loadavg: 0.95 0.49 0.51 2/107 28847 /proc/meminfo: memFree=1568844/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=13744 CPUtime=3.09 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 3077 0 0 0 303 6 0 0 25 0 1 0 25516798 14073856 2983 1992294400 134512640 135752675 4294350480 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 3436 2983 145 303 0 3131 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13744 [startup+6.30081 s] /proc/loadavg: 0.95 0.50 0.51 2/107 28847 /proc/meminfo: memFree=1559668/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=21656 CPUtime=6.29 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 5061 0 0 0 618 11 0 0 25 0 1 0 25516798 22175744 4967 1992294400 134512640 135752675 4294350480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 5414 4967 145 303 0 5109 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21656 [startup+12.7012 s] /proc/loadavg: 0.96 0.50 0.51 2/107 28847 /proc/meminfo: memFree=1547144/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=33344 CPUtime=12.69 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 7991 0 0 0 1247 22 0 0 25 0 1 0 25516798 34144256 7897 1992294400 134512640 135752675 4294350480 18446744073709551615 134611574 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 8336 7898 145 303 0 8031 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33344 [startup+25.501 s] /proc/loadavg: 0.97 0.53 0.52 2/107 28847 /proc/meminfo: memFree=1525196/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=54496 CPUtime=25.48 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 13243 0 0 0 2511 37 0 0 25 0 1 0 25516798 55803904 13149 1992294400 134512640 135752675 4294350480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 13624 13149 145 303 0 13319 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54496 [startup+51.1006 s] /proc/loadavg: 0.98 0.56 0.53 2/107 28849 /proc/meminfo: memFree=1490104/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=89516 CPUtime=51.08 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 22008 0 0 0 5042 66 0 0 25 0 1 0 25516798 91664384 21914 1992294400 134512640 135752675 4294350480 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 22379 21914 145 303 0 22074 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 89516 [startup+102.308 s] /proc/loadavg: 0.99 0.63 0.55 2/107 28849 /proc/meminfo: memFree=1433188/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=146212 CPUtime=102.28 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 36145 0 0 0 10113 115 0 0 25 0 1 0 25516798 149721088 36051 1992294400 134512640 135752675 4294350480 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 36553 36051 145 303 0 36248 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 146212 [startup+162.301 s] /proc/loadavg: 0.99 0.69 0.58 2/107 28851 /proc/meminfo: memFree=1375652/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=203696 CPUtime=162.26 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 50494 0 0 0 16061 165 0 0 25 0 1 0 25516798 208584704 50400 1992294400 134512640 135752675 4294350480 18446744073709551615 134603319 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 50924 50400 145 303 0 50619 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 203696 [startup+222.301 s] /proc/loadavg: 0.99 0.75 0.60 2/107 28853 /proc/meminfo: memFree=1333864/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=244932 CPUtime=222.24 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 60922 0 0 0 21987 237 0 0 25 0 1 0 25516798 250810368 60797 1992294400 134512640 135752675 4294350480 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 61233 60797 146 303 0 60928 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 244932 [startup+282.301 s] /proc/loadavg: 0.99 0.79 0.62 2/107 28855 /proc/meminfo: memFree=1285256/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=294156 CPUtime=282.23 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 73202 0 0 0 27920 303 0 0 25 0 1 0 25516798 301215744 73077 1992294400 134512640 135752675 4294350480 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 73539 73077 146 303 0 73234 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 294156 [startup+342.301 s] /proc/loadavg: 0.99 0.83 0.64 2/107 28857 /proc/meminfo: memFree=1241980/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=336836 CPUtime=342.22 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 83830 0 0 0 33863 359 0 0 25 0 1 0 25516798 344920064 83705 1992294400 134512640 135752675 4294350480 18446744073709551615 135202445 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 84209 83705 146 303 0 83904 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 336836 [startup+402.301 s] /proc/loadavg: 0.99 0.85 0.66 2/107 28857 /proc/meminfo: memFree=1197836/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=381280 CPUtime=402.2 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 94929 0 0 0 39815 405 0 0 25 0 1 0 25516798 390430720 94804 1992294400 134512640 135752675 4294350480 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 95320 94804 146 303 0 95015 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 381280 [startup+462.301 s] /proc/loadavg: 0.99 0.88 0.68 2/107 28859 /proc/meminfo: memFree=1162124/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=417184 CPUtime=462.19 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 103882 0 0 0 45773 446 0 0 25 0 1 0 25516798 427196416 103757 1992294400 134512640 135752675 4294350480 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 104296 103757 146 303 0 103991 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 417184 [startup+522.301 s] /proc/loadavg: 1.04 0.91 0.70 2/107 28864 /proc/meminfo: memFree=1116740/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=462000 CPUtime=522.17 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 115050 0 0 0 51725 492 0 0 25 0 1 0 25516798 473088000 114925 1992294400 134512640 135752675 4294350480 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 115500 114925 146 303 0 115195 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 462000 [startup+582.301 s] /proc/loadavg: 1.01 0.93 0.72 2/107 28866 /proc/meminfo: memFree=1071852/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=506556 CPUtime=582.16 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 126196 0 0 0 57672 544 0 0 25 0 1 0 25516798 518713344 126071 1992294400 134512640 135752675 4294350480 18446744073709551615 134611612 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 126639 126071 146 303 0 126334 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 506556 [startup+642.301 s] /proc/loadavg: 1.00 0.94 0.73 2/107 28868 /proc/meminfo: memFree=1029444/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=548476 CPUtime=642.16 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 136652 0 0 0 63627 589 0 0 25 0 1 0 25516798 561639424 136527 1992294400 134512640 135752675 4294350480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 137119 136527 146 303 0 136814 0 Current children cumulated CPU time (s) 642.16 Current children cumulated vsize (KiB) 548476 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.04 0.98 0.79 2/107 28874 /proc/meminfo: memFree=871592/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=706472 CPUtime=882.1 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 176104 0 0 0 87428 782 0 0 25 0 1 0 25516798 723427328 175979 1992294400 134512640 135752675 4294350480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 176618 175979 146 303 0 176313 0 Current children cumulated CPU time (s) 882.1 Current children cumulated vsize (KiB) 706472 [startup+942.301 s] /proc/loadavg: 1.05 0.99 0.80 2/107 28876 /proc/meminfo: memFree=830176/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=748128 CPUtime=942.09 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 186497 0 0 0 93383 826 0 0 25 0 1 0 25516798 766083072 186372 1992294400 134512640 135752675 4294350480 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 187032 186372 146 303 0 186727 0 Current children cumulated CPU time (s) 942.09 Current children cumulated vsize (KiB) 748128 [startup+1002.3 s] /proc/loadavg: 1.05 1.00 0.82 2/107 28876 /proc/meminfo: memFree=789256/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=788676 CPUtime=1002.07 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 196604 0 0 0 99335 872 0 0 25 0 1 0 25516798 807604224 196479 1992294400 134512640 135752675 4294350480 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 197169 196479 146 303 0 196864 0 Current children cumulated CPU time (s) 1002.07 Current children cumulated vsize (KiB) 788676 [startup+1062.3 s] /proc/loadavg: 1.02 1.00 0.83 2/107 28878 /proc/meminfo: memFree=750816/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=827168 CPUtime=1062.06 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 206239 0 0 0 105292 914 0 0 25 0 1 0 25516798 847020032 206114 1992294400 134512640 135752675 4294350480 18446744073709551615 134611594 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 206792 206114 146 303 0 206487 0 Current children cumulated CPU time (s) 1062.06 Current children cumulated vsize (KiB) 827168 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.83 2/107 28880 /proc/meminfo: memFree=712004/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=865736 CPUtime=1122.04 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 215868 0 0 0 111249 955 0 0 25 0 1 0 25516798 886513664 215743 1992294400 134512640 135752675 4294350480 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 216434 215743 146 303 0 216129 0 Current children cumulated CPU time (s) 1122.04 Current children cumulated vsize (KiB) 865736 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.84 2/107 28882 /proc/meminfo: memFree=677780/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=900080 CPUtime=1182.04 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 224439 0 0 0 117209 995 0 0 25 0 1 0 25516798 921681920 224314 1992294400 134512640 135752675 4294350480 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 225020 224314 146 303 0 224715 0 Current children cumulated CPU time (s) 1182.04 Current children cumulated vsize (KiB) 900080 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.84 2/107 28884 /proc/meminfo: memFree=637852/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=939612 CPUtime=1242.02 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 234358 0 0 0 123160 1042 0 0 25 0 1 0 25516798 962162688 234233 1992294400 134512640 135752675 4294350480 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 234903 234233 146 303 0 234598 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 939612 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.85 2/107 28884 /proc/meminfo: memFree=600404/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=976784 CPUtime=1302.02 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 243645 0 0 0 129118 1084 0 0 25 0 1 0 25516798 1000226816 243520 1992294400 134512640 135752675 4294350480 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 244196 243520 146 303 0 243891 0 Current children cumulated CPU time (s) 1302.02 Current children cumulated vsize (KiB) 976784 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.85 2/107 28886 /proc/meminfo: memFree=570892/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=1006384 CPUtime=1362 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 251043 0 0 0 135080 1120 0 0 25 0 1 0 25516798 1030537216 250918 1992294400 134512640 135752675 4294350480 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 251596 250918 146 303 0 251291 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 1006384 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.86 2/107 28888 /proc/meminfo: memFree=537660/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=1039384 CPUtime=1421.99 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 259308 0 0 0 141034 1165 0 0 25 0 1 0 25516798 1064329216 259183 1992294400 134512640 135752675 4294350480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 259846 259183 146 303 0 259541 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 1039384 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.87 2/107 28890 /proc/meminfo: memFree=507280/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=1070480 CPUtime=1481.97 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 267081 0 0 0 147000 1197 0 0 25 0 1 0 25516798 1096171520 266956 1992294400 134512640 135752675 4294350480 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 267620 266956 146 303 0 267315 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 1070480 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.87 2/107 28892 /proc/meminfo: memFree=468344/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=1108580 CPUtime=1541.95 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 276611 0 0 0 152953 1242 0 0 25 0 1 0 25516798 1135185920 276486 1992294400 134512640 135752675 4294350480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 277145 276486 146 303 0 276840 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 1108580 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.88 2/107 28892 /proc/meminfo: memFree=431268/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=1145936 CPUtime=1601.95 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 285933 0 0 0 158914 1281 0 0 25 0 1 0 25516798 1173438464 285808 1992294400 134512640 135752675 4294350480 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 286484 285808 146 303 0 286179 0 Current children cumulated CPU time (s) 1601.95 Current children cumulated vsize (KiB) 1145936 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.88 2/107 28894 /proc/meminfo: memFree=396424/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=1180232 CPUtime=1661.93 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 294509 0 0 0 164872 1321 0 0 25 0 1 0 25516798 1208557568 294384 1992294400 134512640 135752675 4294350480 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 295058 294384 146 303 0 294753 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 1180232 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.89 2/107 28896 /proc/meminfo: memFree=362076/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=1214760 CPUtime=1721.92 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 303148 0 0 0 170834 1358 0 0 25 0 1 0 25516798 1243914240 303023 1992294400 134512640 135752675 4294350480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 303690 303023 146 303 0 303385 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 1214760 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.90 2/107 28898 /proc/meminfo: memFree=326984/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=1249616 CPUtime=1781.9 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 311867 0 0 0 176793 1397 0 0 25 0 1 0 25516798 1279606784 311742 1992294400 134512640 135752675 4294350480 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 312404 311742 146 303 0 312099 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 1249616 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.00 1.00 0.90 2/107 28898 /proc/meminfo: memFree=314212/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=1262176 CPUtime=1800 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4202496 314983 0 0 0 178591 1409 0 0 25 0 1 0 25516798 1292468224 314858 1992294400 134512640 135752675 4294350480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28846/statm: 315544 314858 146 303 0 315239 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1262176 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.90 2/107 28898 /proc/meminfo: memFree=314212/2059040 swapFree=4139744/4192956 [pid=28846] ppid=28844 vsize=0 CPUtime=1800.1 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28769 0 -1 4203524 314983 0 0 0 178591 1419 0 0 25 0 1 0 25516798 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28846/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.52 CPU time (s): 1800.13 CPU user time (s): 1785.92 CPU system time (s): 14.2138 CPU usage (%): 99.9783 Max. virtual memory (cumulated for all children) (KiB): 1262176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.92 system time used= 14.2138 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 314983 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= 4 involuntary context switches= 21287 runsolver used 3.07053 second user time and 8.41172 second system time The end
Begin job on node039 at 2010-07-08 09:11:33 IDJOB=2702653 IDBENCH=48261 IDSOLVER=1190 FILE ID=node039/2702653-1278573092 PBS_JOBID= 11240085 Free space on /tmp= 62552 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_5.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-2702653-1278573092/watcher-2702653-1278573092 -o /tmp/evaluation-result-2702653-1278573092/solver-2702653-1278573092 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702653-1278573092.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0619afe86d0e2ffb4ad28e9f2f441c24 RANDOM SEED=1776287250 node039.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.242 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.48 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.242 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1578060 kB Buffers: 81920 kB Cached: 295812 kB SwapCached: 7768 kB Active: 156604 kB Inactive: 235732 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1578060 kB SwapTotal: 4192956 kB SwapFree: 4139744 kB Dirty: 2616 kB Writeback: 0 kB AnonPages: 11716 kB Mapped: 12008 kB Slab: 66632 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182440 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-2702653-1278573092.opb Free space on /tmp at the end= 62548 MiB End job on node039 at 2010-07-08 09:41:35