Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.06 | 1800.66 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_1.opb |
MD5SUM | 04b9af5ff2583cb908a8972f40516a9e |
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 | 44 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 37 |
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 | 61 |
Maximum length of a constraint | 110 |
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) | 75586 |
Sum of products size (including duplicates) | 151172 |
Number of different products | 75586 |
Sum of products size | 151172 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702362-1278564736.opb. 0.00/0.00 c Instance file HOME/instance-2702362-1278564736.opb 0.00/0.00 c File size is 5927827 bytes. 0.99/1.01 c Highest Coefficient sum: 111 0.99/1.01 c ============================[ Problem Statistics ]============================= 0.99/1.01 c | | 0.99/1.01 c | Parsing time: 0.99 s | 0.99/1.01 c | Number Variables: 76586 | 0.99/1.01 c | Number Clauses: 76586 | 0.99/1.01 c | Number Cardinality: 0 | 0.99/1.01 c | Number PB Constraints: 75586 | 1.10/1.12 c ============================[ Search Statistics ]============================== 1.10/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.12 c =============================================================================== 1.10/1.12 c | 0 | 76586 152172 530102 | 50724 0 nan | 0.000 % | 1.19/1.21 c =============================================================================== 1.19/1.21 c New solution: 999 1.19/1.21 o 999 1.19/1.21 c Elapsed CPU time: 1.15882 s Remaining CPU time: 178.841 s 1.19/1.21 c =============================================================================== 1.19/1.21 c | 0 | 76586 152173 531102 | 50724 0 nan | 0.000 % | 1.19/1.28 c =============================================================================== 1.19/1.28 c New solution: 998 1.19/1.28 o 998 1.19/1.28 c Elapsed CPU time: 1.22081 s Remaining CPU time: 178.779 s 1.19/1.28 c =============================================================================== 1.19/1.28 c | 0 | 76586 152174 532102 | 50724 0 nan | 0.000 % | 1.29/1.35 c =============================================================================== 1.29/1.35 c New solution: 997 1.29/1.35 o 997 1.29/1.35 c Elapsed CPU time: 1.2938 s Remaining CPU time: 178.706 s 1.29/1.35 c =============================================================================== 1.29/1.35 c | 0 | 76586 152175 533102 | 50725 0 nan | 0.000 % | 1.39/1.43 c =============================================================================== 1.39/1.43 c New solution: 996 1.39/1.43 o 996 1.39/1.43 c Elapsed CPU time: 1.36379 s Remaining CPU time: 178.636 s 1.39/1.43 c =============================================================================== 1.39/1.43 c | 0 | 76586 152176 534102 | 50725 0 nan | 0.000 % | 1.49/1.50 c =============================================================================== 1.49/1.50 c New solution: 995 1.49/1.50 o 995 1.49/1.50 c Elapsed CPU time: 1.43378 s Remaining CPU time: 178.566 s 1.49/1.50 c =============================================================================== 1.49/1.50 c | 0 | 76586 152177 535102 | 50725 0 nan | 0.000 % | 1.49/1.57 c =============================================================================== 1.49/1.57 c New solution: 994 1.49/1.57 o 994 1.49/1.57 c Elapsed CPU time: 1.50777 s Remaining CPU time: 178.492 s 1.49/1.57 c =============================================================================== 1.49/1.57 c | 0 | 76586 152178 536102 | 50726 0 nan | 0.000 % | 1.60/1.65 c =============================================================================== 1.60/1.65 c New solution: 993 1.60/1.65 o 993 1.60/1.65 c Elapsed CPU time: 1.58276 s Remaining CPU time: 178.417 s 1.60/1.65 c =============================================================================== 1.60/1.65 c | 0 | 76586 152179 537102 | 50726 0 nan | 0.000 % | 1.69/1.73 c =============================================================================== 1.69/1.73 c New solution: 992 1.69/1.73 o 992 1.69/1.73 c Elapsed CPU time: 1.65575 s Remaining CPU time: 178.344 s 1.69/1.73 c =============================================================================== 1.69/1.73 c | 0 | 76586 152180 538102 | 50726 0 nan | 0.000 % | 1.79/1.81 c =============================================================================== 1.79/1.81 c New solution: 765 1.79/1.81 o 765 1.79/1.81 c Elapsed CPU time: 1.74274 s Remaining CPU time: 178.257 s 1.79/1.81 c =============================================================================== 1.79/1.81 c | 0 | 76586 152181 539102 | 50727 0 nan | 0.000 % | 1.89/1.90 c =============================================================================== 1.89/1.90 c New solution: 764 1.89/1.90 o 764 1.89/1.90 c Elapsed CPU time: 1.82772 s Remaining CPU time: 178.172 s 1.89/1.90 c =============================================================================== 1.89/1.90 c | 0 | 76586 152182 540102 | 50727 0 nan | 0.000 % | 2.00/2.02 c =============================================================================== 2.00/2.02 c New solution: 298 2.00/2.02 o 298 2.00/2.02 c Elapsed CPU time: 1.9457 s Remaining CPU time: 178.054 s 2.00/2.02 c =============================================================================== 2.00/2.02 c | 0 | 76586 152183 541102 | 50727 0 nan | 0.000 % | 2.10/2.13 c =============================================================================== 2.10/2.13 c New solution: 297 2.10/2.13 o 297 2.10/2.13 c Elapsed CPU time: 2.04969 s Remaining CPU time: 177.95 s 2.10/2.13 c =============================================================================== 2.10/2.13 c | 0 | 76586 152184 542102 | 50728 0 nan | 0.000 % | 2.20/2.25 c =============================================================================== 2.20/2.25 c New solution: 296 2.20/2.25 o 296 2.20/2.25 c Elapsed CPU time: 2.16767 s Remaining CPU time: 177.832 s 2.20/2.25 c =============================================================================== 2.20/2.25 c | 2 | 76586 152185 543102 | 50728 2 297 | 0.000 % | 2.29/2.39 c =============================================================================== 2.29/2.39 c New solution: 50 2.29/2.39 o 50 2.29/2.39 c Elapsed CPU time: 2.31065 s Remaining CPU time: 177.689 s 2.29/2.39 c =============================================================================== 2.29/2.39 c | 2 | 76586 152186 544102 | 50728 2 297 | 0.000 % | 3.59/3.69 c | 104 | 76586 152186 544102 | 55801 104 137 | 0.000 % | 4.40/4.41 c | 254 | 76586 152186 544102 | 61381 254 187 | 0.000 % | 4.49/4.56 c =============================================================================== 4.49/4.56 c New solution: 49 4.49/4.56 o 49 4.49/4.56 c Elapsed CPU time: 4.46732 s Remaining CPU time: 175.533 s 4.49/4.56 c =============================================================================== 4.49/4.56 c | 254 | 76586 152187 545102 | 50729 254 187 | 0.000 % | 4.59/4.69 c =============================================================================== 4.59/4.69 c New solution: 48 4.59/4.69 o 48 4.59/4.69 c Elapsed CPU time: 4.6003 s Remaining CPU time: 175.4 s 4.59/4.69 c =============================================================================== 4.59/4.69 c | 256 | 76586 152188 546102 | 50729 256 187 | 0.000 % | 4.79/4.89 c =============================================================================== 4.79/4.89 c New solution: 47 4.79/4.89 o 47 4.79/4.89 c Elapsed CPU time: 4.79627 s Remaining CPU time: 175.204 s 4.79/4.89 c =============================================================================== 4.79/4.89 c | 320 | 76586 152189 547102 | 50729 320 217 | 0.000 % | 5.09/5.10 c | 421 | 76586 152189 547102 | 55802 421 268 | 0.000 % | 5.40/5.41 c | 571 | 76586 152189 547102 | 61382 571 316 | 0.000 % | 5.69/5.77 c | 797 | 76586 152189 547102 | 67521 797 364 | 0.000 % | 6.19/6.27 c | 1135 | 76586 152189 547102 | 74273 1135 374 | 0.000 % | 6.99/7.00 c | 1642 | 76586 152189 547102 | 81700 1642 374 | 0.000 % | 7.99/8.08 c | 2402 | 76586 152189 547102 | 89870 2402 391 | 0.000 % | 9.69/9.72 c | 3541 | 76586 152189 547102 | 98857 3541 405 | 0.000 % | 11.59/11.69 c | 5249 | 76586 152189 547102 | 108743 5249 413 | 0.000 % | 11.88/11.93 c =============================================================================== 11.88/11.93 c New solution: 46 11.88/11.93 o 46 11.88/11.93 c Elapsed CPU time: 11.7892 s Remaining CPU time: 168.211 s 11.88/11.93 c =============================================================================== 11.88/11.93 c | 5311 | 76586 152190 548102 | 50730 5311 411 | 0.000 % | 12.10/12.18 c | 5413 | 76586 152190 548102 | 55803 5413 410 | 0.000 % | 12.39/12.44 c | 5563 | 76586 152190 548102 | 61383 5563 408 | 0.000 % | 12.79/12.81 c | 5788 | 76586 152190 548102 | 67521 5788 410 | 0.000 % | 13.20/13.29 c | 6125 | 76586 152190 548102 | 74273 6125 408 | 0.000 % | 13.99/14.05 c | 6631 | 76586 152190 548102 | 81701 6631 410 | 0.000 % | 14.89/14.98 c | 7391 | 76586 152190 548102 | 89871 7391 402 | 0.000 % | 16.29/16.38 c | 8531 | 76586 152190 548102 | 98858 8531 390 | 0.000 % | 18.59/18.64 c | 10239 | 76586 152190 548102 | 108744 10239 410 | 0.000 % | 21.58/21.62 c | 12801 | 76586 152190 548102 | 119618 12801 397 | 0.000 % | 26.58/26.63 c | 16645 | 76586 152190 548102 | 131580 16645 400 | 0.000 % | 33.99/34.02 c | 22411 | 76586 152190 548102 | 144738 22411 444 | 0.000 % | 48.38/48.44 c | 31061 | 76586 152190 548102 | 159212 31061 450 | 0.000 % | 68.98/69.06 c | 44035 | 76586 152190 548102 | 175133 44035 454 | 0.000 % | 104.56/104.69 c | 63499 | 76586 152190 548102 | 192647 63499 480 | 0.000 % | 105.06/105.19 c =============================================================================== 105.06/105.19 c New solution: 45 105.06/105.19 o 45 105.06/105.19 c Elapsed CPU time: 104.38 s Remaining CPU time: 75.6199 s 105.06/105.19 c =============================================================================== 105.06/105.19 c | 63749 | 76586 152191 549102 | 50730 63749 480 | 0.000 % | 105.66/105.71 c | 63851 | 76586 152191 549102 | 55803 12247 591 | 0.000 % | 105.86/105.99 c | 64001 | 76586 152191 549102 | 61383 12397 588 | 0.000 % | 106.36/106.41 c | 64227 | 76586 152191 549102 | 67522 12623 584 | 0.000 % | 106.86/106.96 c | 64567 | 76586 152191 549102 | 74274 12963 578 | 0.000 % | 107.66/107.78 c | 65073 | 76586 152191 549102 | 81701 13469 571 | 0.000 % | 108.96/109.03 c | 65832 | 76586 152191 549102 | 89871 14228 557 | 0.000 % | 110.56/110.67 c | 66973 | 76586 152191 549102 | 98859 15369 547 | 0.000 % | 113.16/113.30 c | 68681 | 76586 152191 549102 | 108744 17077 533 | 0.000 % | 116.57/116.63 c | 71244 | 76586 152191 549102 | 119619 19640 523 | 0.000 % | 122.35/122.43 c | 75089 | 76586 152191 549102 | 131581 23485 514 | 0.000 % | 129.95/130.03 c | 80855 | 76586 152191 549102 | 144739 29251 492 | 0.000 % | 143.64/143.76 c | 89505 | 76586 152191 549102 | 159213 37901 484 | 0.000 % | 169.14/169.25 c | 102482 | 76586 152191 549102 | 175134 50878 460 | 0.000 % | 181.23/181.30 c There are 0 assigned variables. 0 in cost function. 182.23/182.36 c core #1 182.23/182.36 c core #2 182.23/182.36 c ============================[ Search Statistics ]============================== 182.23/182.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.36 c =============================================================================== 182.23/182.36 c | 0 | 9841 153194 339495 | 51064 0 nan | 0.000 % | 182.33/182.41 c =============================================================================== 182.73/182.88 c core #3 182.73/182.88 c ============================[ Search Statistics ]============================== 182.73/182.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.73/182.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.73/182.88 c =============================================================================== 182.73/182.88 c | 0 | 26004 153195 390351 | 51065 0 nan | 0.000 % | 183.43/183.57 c | 105 | 26004 153195 390351 | 56171 105 396 | 66.198 % | 185.44/185.50 c =============================================================================== 185.94/186.01 c core #4 185.94/186.01 c ============================[ Search Statistics ]============================== 185.94/186.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.01 c =============================================================================== 185.94/186.01 c | 0 | 56574 153196 480705 | 51065 0 nan | 0.000 % | 186.63/186.75 c | 100 | 56574 153196 480705 | 56171 100 465 | 27.010 % | 188.53/188.68 c | 250 | 56574 153196 480705 | 61789 250 451 | 27.010 % | 193.13/193.22 c | 475 | 56574 153196 480705 | 67967 475 423 | 27.010 % | 198.43/198.58 c | 816 | 56574 153196 480705 | 74764 816 430 | 27.010 % | 207.74/207.88 c | 1322 | 56574 153196 480705 | 82241 1322 522 | 27.010 % | 224.33/224.42 c | 2081 | 56574 153196 480705 | 90465 2081 480 | 27.010 % | 247.62/247.71 c | 3220 | 56574 153196 480705 | 99511 3220 433 | 27.010 % | 285.60/285.70 c | 4931 | 56574 153196 480705 | 109463 4931 477 | 27.010 % | 341.19/341.35 c | 7493 | 56574 153196 480705 | 120409 7493 540 | 27.010 % | 417.06/417.21 c | 11341 | 56574 153196 480705 | 132450 11341 563 | 27.010 % | 516.13/516.38 c | 17108 | 56574 153196 480705 | 145695 17108 759 | 27.010 % | 675.06/675.33 c | 25757 | 56574 153196 480705 | 160264 25757 929 | 27.010 % | 975.36/975.75 c | 38731 | 56574 153196 480705 | 176291 38731 938 | 27.010 % | 1046.63/1047.08 c =============================================================================== 1048.03/1048.48 c core #5 1048.03/1048.48 c ============================[ Search Statistics ]============================== 1048.03/1048.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 1048.03/1048.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1048.03/1048.48 c =============================================================================== 1048.03/1048.48 c | 0 | 78509 153197 554948 | 51065 0 nan | 0.000 % | 1048.94/1049.39 c | 102 | 78509 153197 554948 | 56172 102 683 | 0.000 % | 1051.43/1051.88 c | 253 | 78509 153197 554948 | 61789 253 583 | 0.000 % | 1056.03/1056.48 c | 478 | 78509 153197 554948 | 67968 478 596 | 0.000 % | 1061.23/1061.69 c | 815 | 78509 153197 554948 | 74765 815 539 | 0.000 % | 1076.72/1077.11 c | 1323 | 78509 153197 554948 | 82241 1323 461 | 0.000 % | 1090.72/1091.12 c | 2084 | 78509 153197 554948 | 90465 2084 449 | 0.000 % | 1111.41/1111.85 c | 3223 | 78509 153197 554948 | 99512 3223 473 | 0.000 % | 1143.30/1143.76 c | 4931 | 78509 153197 554948 | 109463 4931 609 | 0.000 % | 1191.68/1192.10 c | 7494 | 78509 153197 554948 | 120410 7494 696 | 0.000 % | 1263.17/1263.61 c | 11338 | 78509 153197 554948 | 132451 11338 657 | 0.000 % | 1356.44/1356.94 c | 17105 | 78509 153197 554948 | 145696 17105 649 | 0.000 % | 1514.79/1515.30 c | 25755 | 78509 153197 554948 | 160265 25755 613 | 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-2702362-1278564736/watcher-2702362-1278564736 -o /tmp/evaluation-result-2702362-1278564736/solver-2702362-1278564736 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702362-1278564736.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.98 0.99 3/106 28463 /proc/meminfo: memFree=1719868/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=9124 CPUtime=0 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 442 0 0 0 0 0 0 0 23 0 1 0 24685432 9342976 361 1992294400 134512640 135751879 4290268912 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 2281 373 142 303 0 528 0 [startup+0.056674 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28463 /proc/meminfo: memFree=1719868/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=13120 CPUtime=0.05 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 1404 0 0 0 5 0 0 0 23 0 1 0 24685432 13434880 1306 1992294400 134512640 135751879 4290268912 18446744073709551615 135225327 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 3280 1306 199 303 0 1527 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13120 [startup+0.101678 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28463 /proc/meminfo: memFree=1719868/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=17344 CPUtime=0.09 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 2299 0 0 0 9 0 0 0 23 0 1 0 24685432 17760256 2128 1992294400 134512640 135751879 4290268912 18446744073709551615 134573855 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 4336 2128 253 303 0 2583 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17344 [startup+0.300699 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28463 /proc/meminfo: memFree=1719868/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=23704 CPUtime=0.29 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 4139 0 0 0 28 1 0 0 23 0 1 0 24685432 24272896 3854 1992294400 134512640 135751879 4290268912 18446744073709551615 135118389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 5926 3855 534 303 0 4173 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23704 [startup+0.700739 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28463 /proc/meminfo: memFree=1719868/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=30748 CPUtime=0.69 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 6444 0 0 0 67 2 0 0 25 0 1 0 24685432 31485952 6159 1992294400 134512640 135751879 4290268912 18446744073709551615 135118390 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 7687 6159 1112 303 0 5934 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30748 [startup+1.50082 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28464 /proc/meminfo: memFree=1694440/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=34044 CPUtime=1.49 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 11866 0 0 0 143 6 0 0 25 0 1 0 24685432 34861056 7355 1992294400 134512640 135751879 4290268912 18446744073709551615 134620852 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 8511 7355 146 303 0 8206 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34044 [startup+3.10198 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28464 /proc/meminfo: memFree=1690720/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=34968 CPUtime=3.09 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 12066 0 0 0 301 8 0 0 25 0 1 0 24685432 35807232 7555 1992294400 134512640 135751879 4290268912 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 8742 7555 146 303 0 8437 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34968 [startup+6.30131 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28464 /proc/meminfo: memFree=1689364/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=36824 CPUtime=6.29 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 12551 0 0 0 619 10 0 0 25 0 1 0 24685432 37707776 8040 1992294400 134512640 135751879 4290268912 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 9206 8040 147 303 0 8901 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36824 [startup+12.701 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28464 /proc/meminfo: memFree=1680808/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=44916 CPUtime=12.69 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 14579 0 0 0 1255 14 0 0 25 0 1 0 24685432 45993984 10068 1992294400 134512640 135751879 4290268912 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 11229 10068 147 303 0 10924 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44916 [startup+25.5013 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28465 /proc/meminfo: memFree=1663944/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=61676 CPUtime=25.48 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 18755 0 0 0 2525 23 0 0 25 0 1 0 24685432 63156224 14244 1992294400 134512640 135751879 4290268912 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 15419 14244 147 303 0 15114 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 61676 [startup+51.1009 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28465 /proc/meminfo: memFree=1628356/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=97588 CPUtime=51.08 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 27729 0 0 0 5065 43 0 0 25 0 1 0 24685432 99930112 23218 1992294400 134512640 135751879 4290268912 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 24397 23218 147 303 0 24092 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 97588 [startup+102.309 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28467 /proc/meminfo: memFree=1565984/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=158932 CPUtime=102.27 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 43040 0 0 0 10150 77 0 0 25 0 1 0 24685432 162746368 38529 1992294400 134512640 135751879 4290268912 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 39733 38529 147 303 0 39428 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 158932 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28468 /proc/meminfo: memFree=1500264/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=224892 CPUtime=162.24 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 59523 0 0 0 16113 111 0 0 25 0 1 0 24685432 230289408 55012 1992294400 134512640 135751879 4290268912 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 56223 55012 148 303 0 55918 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 224892 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28470 /proc/meminfo: memFree=1473480/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=249284 CPUtime=222.23 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 71610 0 0 0 22094 129 0 0 25 0 1 0 24685432 255266816 61415 1992294400 134512640 135751879 4290268912 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 62321 61415 151 303 0 62016 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 249284 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28472 /proc/meminfo: memFree=1473356/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=249284 CPUtime=282.21 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 71610 0 0 0 28087 134 0 0 25 0 1 0 24685432 255266816 61415 1992294400 134512640 135751879 4290268912 18446744073709551615 134610818 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 62321 61415 151 303 0 62016 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 249284 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28473 /proc/meminfo: memFree=1473356/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=249284 CPUtime=342.18 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 71610 0 0 0 34081 137 0 0 25 0 1 0 24685432 255266816 61415 1992294400 134512640 135751879 4290268912 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 62321 61415 151 303 0 62016 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 249284 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28475 /proc/meminfo: memFree=1473356/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=249284 CPUtime=402.16 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 71610 0 0 0 40075 141 0 0 25 0 1 0 24685432 255266816 61415 1992294400 134512640 135751879 4290268912 18446744073709551615 134620505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 62321 61415 151 303 0 62016 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 249284 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28476 /proc/meminfo: memFree=1473232/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=249284 CPUtime=462.15 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 71611 0 0 0 46069 146 0 0 25 0 1 0 24685432 255266816 61416 1992294400 134512640 135751879 4290268912 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 62321 61416 151 303 0 62016 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 249284 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28478 /proc/meminfo: memFree=1473232/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=249284 CPUtime=522.11 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 71611 0 0 0 52062 149 0 0 25 0 1 0 24685432 255266816 61416 1992294400 134512640 135751879 4290268912 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 62321 61416 151 303 0 62016 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 249284 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28489 /proc/meminfo: memFree=1472612/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=249284 CPUtime=582.08 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 71614 0 0 0 58055 153 0 0 25 0 1 0 24685432 255266816 61419 1992294400 134512640 135751879 4290268912 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 62321 61419 151 303 0 62016 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 249284 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28490 /proc/meminfo: memFree=1472612/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=249284 CPUtime=642.07 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 71615 0 0 0 64050 157 0 0 25 0 1 0 24685432 255266816 61420 1992294400 134512640 135751879 4290268912 18446744073709551615 134620529 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 62321 61420 151 303 0 62016 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 249284 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28495 /proc/meminfo: memFree=1445084/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=277824 CPUtime=822.01 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 78725 0 0 0 82029 172 0 0 25 0 1 0 24685432 284491776 68530 1992294400 134512640 135751879 4290268912 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 69456 68530 151 303 0 69151 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 277824 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28497 /proc/meminfo: memFree=1431940/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=290716 CPUtime=881.99 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 81941 0 0 0 88022 177 0 0 25 0 1 0 24685432 297693184 71746 1992294400 134512640 135751879 4290268912 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 72679 71746 151 303 0 72374 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 290716 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28498 /proc/meminfo: memFree=1425120/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=297544 CPUtime=941.97 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 83667 0 0 0 94014 183 0 0 25 0 1 0 24685432 304685056 73472 1992294400 134512640 135751879 4290268912 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 74386 73472 151 303 0 74081 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 297544 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28500 /proc/meminfo: memFree=1412224/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=310416 CPUtime=1001.95 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 86875 0 0 0 100004 191 0 0 25 0 1 0 24685432 317865984 76680 1992294400 134512640 135751879 4290268912 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 77604 76680 151 303 0 77299 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 310416 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28501 /proc/meminfo: memFree=1390896/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=331460 CPUtime=1061.93 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 92937 0 0 0 105995 198 0 0 25 0 1 0 24685432 339415040 81832 1992294400 134512640 135751879 4290268912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 82865 81832 151 303 0 82560 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 331460 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28503 /proc/meminfo: memFree=1390896/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=331460 CPUtime=1121.9 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 92939 0 0 0 111988 202 0 0 25 0 1 0 24685432 339415040 81834 1992294400 134512640 135751879 4290268912 18446744073709551615 134611070 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 82865 81834 151 303 0 82560 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 331460 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28505 /proc/meminfo: memFree=1390896/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=331460 CPUtime=1181.89 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 92969 0 0 0 117982 207 0 0 25 0 1 0 24685432 339415040 81864 1992294400 134512640 135751879 4290268912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 82865 81864 151 303 0 82560 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 331460 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28506 /proc/meminfo: memFree=1390772/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=331460 CPUtime=1241.87 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 92969 0 0 0 123976 211 0 0 25 0 1 0 24685432 339415040 81864 1992294400 134512640 135751879 4290268912 18446744073709551615 134611192 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 82865 81864 151 303 0 82560 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 331460 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28508 /proc/meminfo: memFree=1385068/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=337456 CPUtime=1301.86 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 94469 0 0 0 129969 217 0 0 25 0 1 0 24685432 345554944 83364 1992294400 134512640 135751879 4290268912 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 84364 83364 151 303 0 84059 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 337456 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28509 /proc/meminfo: memFree=1376016/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=346584 CPUtime=1361.83 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 96734 0 0 0 135961 222 0 0 25 0 1 0 24685432 354902016 85629 1992294400 134512640 135751879 4290268912 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 86646 85629 151 303 0 86341 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 346584 [startup+1422.31 s] /proc/loadavg: 1.06 1.00 1.00 2/107 28511 /proc/meminfo: memFree=1367584/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=354992 CPUtime=1421.83 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 98836 0 0 0 141954 229 0 0 25 0 1 0 24685432 363511808 87731 1992294400 134512640 135751879 4290268912 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 88748 87731 151 303 0 88443 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 354992 [startup+1482.3 s] /proc/loadavg: 1.02 1.00 1.00 2/107 28513 /proc/meminfo: memFree=1361012/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=361480 CPUtime=1481.8 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 100477 0 0 0 147946 234 0 0 25 0 1 0 24685432 370155520 89372 1992294400 134512640 135751879 4290268912 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 90370 89372 151 303 0 90065 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 361480 [startup+1542.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 28514 /proc/meminfo: memFree=1354440/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=368028 CPUtime=1541.78 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 102101 0 0 0 153937 241 0 0 25 0 1 0 24685432 376860672 90996 1992294400 134512640 135751879 4290268912 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 92007 90996 151 303 0 91702 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 368028 [startup+1602.3 s] /proc/loadavg: 1.06 1.02 1.00 2/108 28519 /proc/meminfo: memFree=1346868/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=375364 CPUtime=1601.76 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 103907 0 0 0 159927 249 0 0 25 0 1 0 24685432 384372736 92802 1992294400 134512640 135751879 4290268912 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 93841 92802 151 303 0 93536 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 375364 [startup+1662.3 s] /proc/loadavg: 1.06 1.03 1.00 2/107 28520 /proc/meminfo: memFree=1341792/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=380512 CPUtime=1661.74 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 105197 0 0 0 165920 254 0 0 25 0 1 0 24685432 389644288 94092 1992294400 134512640 135751879 4290268912 18446744073709551615 134642014 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 95128 94092 151 303 0 94823 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 380512 [startup+1722.3 s] /proc/loadavg: 1.06 1.04 1.00 2/107 28522 /proc/meminfo: memFree=1335964/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=386328 CPUtime=1721.72 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 106650 0 0 0 171914 258 0 0 25 0 1 0 24685432 395599872 95545 1992294400 134512640 135751879 4290268912 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 96582 95545 151 303 0 96277 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 386328 [startup+1782.3 s] /proc/loadavg: 1.05 1.04 1.00 2/107 28524 /proc/meminfo: memFree=1329888/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=392292 CPUtime=1781.7 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 108165 0 0 0 177908 262 0 0 25 0 1 0 24685432 401707008 97060 1992294400 134512640 135751879 4290268912 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 98073 97060 151 303 0 97768 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 392292 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.10 1.05 1.00 2/107 28524 /proc/meminfo: memFree=1326912/2059040 swapFree=4139544/4192956 [pid=28463] ppid=28461 vsize=395344 CPUtime=1800.01 /proc/28463/stat : 28463 (wbo1.4b) R 28461 28463 28268 0 -1 4202496 108907 0 0 0 179737 264 0 0 25 0 1 0 24685432 404832256 97802 1992294400 134512640 135751879 4290268912 18446744073709551615 134611252 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28463/statm: 98836 97802 151 303 0 98531 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 395344 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.66 CPU time (s): 1800.06 CPU user time (s): 1797.38 CPU system time (s): 2.68559 CPU usage (%): 99.967 Max. virtual memory (cumulated for all children) (KiB): 395344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.38 system time used= 2.68559 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 108907 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= 13 involuntary context switches= 2101 runsolver used 3.36649 second user time and 8.66968 second system time The end
Begin job on node027 at 2010-07-08 06:52:17 IDJOB=2702362 IDBENCH=48116 IDSOLVER=1161 FILE ID=node027/2702362-1278564736 PBS_JOBID= 11239551 Free space on /tmp= 62532 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_60_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-2702362-1278564736/watcher-2702362-1278564736 -o /tmp/evaluation-result-2702362-1278564736/solver-2702362-1278564736 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702362-1278564736.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 04b9af5ff2583cb908a8972f40516a9e RANDOM SEED=1816968058 node027.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 : 2800.222 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 : 5600.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 : 2800.222 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: 1725736 kB Buffers: 55056 kB Cached: 178436 kB SwapCached: 7452 kB Active: 83064 kB Inactive: 164832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1725736 kB SwapTotal: 4192956 kB SwapFree: 4139544 kB Dirty: 3760 kB Writeback: 0 kB AnonPages: 12064 kB Mapped: 12024 kB Slab: 63392 kB PageTables: 4248 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180392 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702362-1278564736.opb Free space on /tmp at the end= 62528 MiB End job on node027 at 2010-07-08 07:22:22