Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | Wrong UNSAT | 1130.76 | 1131.06 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=449-P1=149-P2=137-P3=137-P4=83-B.opb |
MD5SUM | 854cc656dc0682d745f606d1e6722452 |
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 | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.486925 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 108 |
Total number of constraints | 9 |
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 | 9 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 324 |
Sum of products size (including duplicates) | 648 |
Number of different products | 324 |
Sum of products size | 648 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702187-1278546863.opb. 0.00/0.00 c Instance file HOME/instance-2702187-1278546863.opb 0.00/0.00 c File size is 24019 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 432 | 0.00/0.00 c | Number Clauses: 324 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 337 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 432 661 2763 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 101 | 432 661 2763 | 5500 101 78 | 0.005 % | 0.01/0.02 c | 252 | 432 661 2763 | 6050 252 80 | 0.001 % | 0.01/0.03 c | 477 | 432 661 2763 | 6655 477 76 | 0.001 % | 0.01/0.06 c | 814 | 432 661 2763 | 7320 814 70 | 0.001 % | 0.09/0.11 c | 1321 | 432 661 2763 | 8052 1321 63 | 0.001 % | 0.09/0.18 c | 2082 | 432 661 2763 | 8857 2082 67 | 0.001 % | 0.29/0.31 c | 3221 | 432 661 2763 | 9743 3221 67 | 0.001 % | 0.59/0.62 c | 4930 | 432 661 2763 | 10717 4930 59 | 0.001 % | 0.79/0.84 c | 7493 | 432 661 2763 | 11789 7493 58 | 0.001 % | 1.59/1.65 c | 11338 | 432 661 2763 | 12968 11338 58 | 0.001 % | 1.99/2.00 c =============================================================================== 1.99/2.00 c New solution: 133 1.99/2.00 o 133 1.99/2.00 c Elapsed CPU time: 1.9787 s Remaining CPU time: 178.021 s 1.99/2.00 c =============================================================================== 1.99/2.00 c | 14006 | 432 662 2772 | 5000 7374 60 | 0.001 % | 1.99/2.03 c | 14107 | 421 662 2772 | 5500 3783 63 | 2.547 % | 1.99/2.04 c | 14258 | 421 662 2772 | 6050 3934 64 | 2.547 % | 1.99/2.07 c | 14483 | 421 662 2772 | 6655 4159 64 | 2.552 % | 2.09/2.13 c | 14820 | 421 662 2772 | 7320 4496 66 | 2.547 % | 2.09/2.17 c | 15326 | 421 662 2772 | 8052 5002 64 | 2.547 % | 2.20/2.24 c | 16085 | 421 662 2772 | 8857 5761 65 | 2.547 % | 2.29/2.35 c | 17224 | 421 662 2772 | 9743 6900 66 | 2.547 % | 2.39/2.47 c =============================================================================== 2.39/2.47 c New solution: 3 2.39/2.47 o 3 2.39/2.47 c Elapsed CPU time: 2.43863 s Remaining CPU time: 177.561 s 2.39/2.47 c =============================================================================== 2.39/2.47 c | 18176 | 421 663 2781 | 5000 7852 65 | 2.547 % | 2.39/2.49 c | 18277 | 343 663 2781 | 5500 4027 67 | 20.607 % | 2.49/2.51 c | 18428 | 343 663 2781 | 6050 4178 67 | 20.607 % | 2.49/2.54 c | 18653 | 343 663 2781 | 6655 4403 67 | 20.602 % | 2.49/2.59 c | 18990 | 343 663 2781 | 7320 4740 68 | 20.602 % | 2.59/2.65 c | 19496 | 343 663 2781 | 8052 5246 68 | 20.602 % | 2.69/2.76 c | 20255 | 343 663 2781 | 8857 6005 66 | 20.602 % | 2.89/2.94 c | 21395 | 343 663 2781 | 9743 7145 63 | 20.602 % | 3.09/3.14 c | 23104 | 343 663 2781 | 10717 8854 64 | 20.602 % | 3.49/3.55 c | 25666 | 343 663 2781 | 11789 5870 63 | 20.602 % | 3.99/4.01 c | 29510 | 343 663 2781 | 12968 9714 53 | 20.602 % | 5.09/5.11 c | 35276 | 343 663 2781 | 14265 8912 34 | 20.602 % | 5.99/6.06 c | 43926 | 343 663 2781 | 15692 10242 52 | 20.602 % | 7.79/7.83 c | 56900 | 343 663 2781 | 17261 15211 63 | 20.602 % | 10.90/10.91 c | 76362 | 343 663 2781 | 18987 17089 66 | 20.602 % | 16.49/16.52 c | 105555 | 343 663 2781 | 20886 17225 47 | 20.602 % | 26.79/26.81 c | 149344 | 343 663 2781 | 22974 18479 61 | 20.602 % | 41.87/41.91 c | 215028 | 343 663 2781 | 25272 22441 47 | 20.602 % | 71.38/71.46 c | 313556 | 343 663 2781 | 27799 18844 37 | 20.602 % | 113.36/113.42 c | 461345 | 343 663 2781 | 30579 13476 51 | 20.608 % | 181.74/181.83 c There are 89 assigned variables. 9 in cost function. 182.24/182.33 c ============================[ Search Statistics ]============================== 182.24/182.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.24/182.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.24/182.33 c =============================================================================== 182.24/182.33 c | 0 | 343 606 2146 | 5000 0 nan | 0.000 % | 182.34/182.44 c | 100 | 343 606 2146 | 5500 100 57 | 20.603 % | 182.34/182.45 c | 251 | 343 606 2146 | 6050 251 77 | 20.602 % | 182.34/182.46 c | 476 | 343 606 2146 | 6655 476 82 | 20.602 % | 182.34/182.49 c | 813 | 343 606 2146 | 7320 813 80 | 20.603 % | 182.45/182.53 c | 1320 | 343 606 2146 | 8052 1320 81 | 20.602 % | 182.56/182.61 c | 2080 | 343 606 2146 | 8857 2080 74 | 20.602 % | 182.65/182.73 c | 3220 | 343 606 2146 | 9743 3220 71 | 20.602 % | 182.84/182.90 c | 4929 | 343 606 2146 | 10717 4929 68 | 20.602 % | 183.14/183.21 c | 7493 | 343 606 2146 | 11789 7493 65 | 20.602 % | 183.84/183.99 c | 11338 | 343 606 2146 | 12968 11338 68 | 20.602 % | 184.65/184.76 c | 17105 | 343 606 2146 | 14265 10480 65 | 20.602 % | 185.85/185.94 c | 25755 | 343 606 2146 | 15692 11820 57 | 20.607 % | 187.74/187.81 c | 38729 | 343 606 2146 | 17261 8844 46 | 20.602 % | 190.25/190.33 c | 58190 | 343 606 2146 | 18987 10753 55 | 20.602 % | 196.64/196.70 c | 87383 | 343 606 2146 | 20886 10917 53 | 20.602 % | 206.54/206.68 c | 131172 | 343 606 2146 | 22974 12203 49 | 20.602 % | 225.63/225.71 c | 196856 | 343 606 2146 | 25272 16907 49 | 20.602 % | 254.43/254.53 c | 295382 | 343 606 2146 | 27799 18442 44 | 20.602 % | 298.02/298.12 c | 443171 | 343 606 2146 | 30579 14076 37 | 20.602 % | 366.80/366.90 c | 664854 | 343 606 2146 | 33637 21674 34 | 20.602 % | 496.26/496.48 c | 997379 | 343 606 2146 | 37001 16360 52 | 20.602 % | 695.01/695.21 c | 1496167 | 343 606 2146 | 40701 19835 31 | 20.602 % | 1029.92/1030.25 c | 2244349 | 342 606 2146 | 44771 38162 35 | 20.834 % | 1130.59/1130.98 c =============================================================================== 1130.59/1130.98 c core #1 1130.59/1130.98 c 1130.59/1130.98 c 1130.59/1130.98 c Core size: 82 Core Weight: 2147483647 Total Weight: -2147483647 1130.59/1130.98 c 1130.59/1130.98 c 1130.59/1130.98 c Memory used : 742.24 MB 1130.59/1130.98 c CPU time : 1121.93 s 1130.59/1130.98 c 1130.59/1130.98 s UNSATISFIABLE 1130.59/1130.98 c Total CPU time: 1121.93 s
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-2702187-1278546863/watcher-2702187-1278546863 -o /tmp/evaluation-result-2702187-1278546863/solver-2702187-1278546863 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702187-1278546863.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.04 1.39 0.92 2/105 30490 /proc/meminfo: memFree=1965180/2059040 swapFree=4131184/4192956 [pid=30490] ppid=30488 vsize=2704 CPUtime=0 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 320 0 0 0 0 0 0 0 25 0 1 0 22894450 2768896 233 1992294400 134512640 135752675 4294137056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 676 233 144 303 0 371 0 [startup+0.0185709 s] /proc/loadavg: 1.04 1.39 0.92 2/105 30490 /proc/meminfo: memFree=1965180/2059040 swapFree=4131184/4192956 [pid=30490] ppid=30488 vsize=2704 CPUtime=0.01 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 327 0 0 0 1 0 0 0 25 0 1 0 22894450 2768896 240 1992294400 134512640 135752675 4294137056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 676 240 145 303 0 371 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2704 [startup+0.10058 s] /proc/loadavg: 1.04 1.39 0.92 2/105 30490 /proc/meminfo: memFree=1965180/2059040 swapFree=4131184/4192956 [pid=30490] ppid=30488 vsize=3100 CPUtime=0.09 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 420 0 0 0 9 0 0 0 25 0 1 0 22894450 3174400 333 1992294400 134512640 135752675 4294137056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 775 333 145 303 0 470 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3100 [startup+0.3006 s] /proc/loadavg: 1.04 1.39 0.92 2/105 30490 /proc/meminfo: memFree=1965180/2059040 swapFree=4131184/4192956 [pid=30490] ppid=30488 vsize=3868 CPUtime=0.29 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 620 0 0 0 29 0 0 0 25 0 1 0 22894450 3960832 533 1992294400 134512640 135752675 4294137056 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 967 533 145 303 0 662 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3868 [startup+0.700642 s] /proc/loadavg: 1.04 1.39 0.92 2/105 30490 /proc/meminfo: memFree=1965180/2059040 swapFree=4131184/4192956 [pid=30490] ppid=30488 vsize=4776 CPUtime=0.69 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 861 0 0 0 68 1 0 0 25 0 1 0 22894450 4890624 774 1992294400 134512640 135752675 4294137056 18446744073709551615 134638128 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 1194 774 145 303 0 889 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4776 [startup+1.50073 s] /proc/loadavg: 1.04 1.39 0.92 2/106 30491 /proc/meminfo: memFree=1962072/2059040 swapFree=4131184/4192956 [pid=30490] ppid=30488 vsize=6464 CPUtime=1.49 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 1279 0 0 0 148 1 0 0 25 0 1 0 22894450 6619136 1192 1992294400 134512640 135752675 4294137056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 1616 1192 145 303 0 1311 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6464 [startup+3.10089 s] /proc/loadavg: 1.04 1.39 0.92 2/106 30491 /proc/meminfo: memFree=1959592/2059040 swapFree=4131184/4192956 [pid=30490] ppid=30488 vsize=10716 CPUtime=3.09 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 2339 0 0 0 305 4 0 0 19 0 1 0 22894450 10973184 2252 1992294400 134512640 135752675 4294137056 18446744073709551615 134640223 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 2679 2252 145 303 0 2374 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10716 [startup+6.30123 s] /proc/loadavg: 1.04 1.38 0.92 2/106 30491 /proc/meminfo: memFree=1952524/2059040 swapFree=4131184/4192956 [pid=30490] ppid=30488 vsize=17572 CPUtime=6.29 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 4036 0 0 0 621 8 0 0 25 0 1 0 22894450 17993728 3949 1992294400 134512640 135752675 4294137056 18446744073709551615 134638342 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 4393 3949 145 303 0 4088 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17572 [startup+12.7009 s] /proc/loadavg: 1.03 1.37 0.92 2/106 30492 /proc/meminfo: memFree=1936900/2059040 swapFree=4131184/4192956 [pid=30490] ppid=30488 vsize=31440 CPUtime=12.69 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 7511 0 0 0 1251 18 0 0 25 0 1 0 22894450 32194560 7424 1992294400 134512640 135752675 4294137056 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 7860 7424 145 303 0 7555 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31440 [startup+25.5012 s] /proc/loadavg: 1.02 1.36 0.92 2/106 30492 /proc/meminfo: memFree=1918424/2059040 swapFree=4131184/4192956 [pid=30490] ppid=30488 vsize=49384 CPUtime=25.49 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 11974 0 0 0 2517 32 0 0 25 0 1 0 22894450 50569216 11887 1992294400 134512640 135752675 4294137056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 12346 11887 145 303 0 12041 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 49384 [startup+51.1009 s] /proc/loadavg: 1.02 1.33 0.92 2/106 30492 /proc/meminfo: memFree=1885936/2059040 swapFree=4131184/4192956 [pid=30490] ppid=30488 vsize=81816 CPUtime=51.08 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 20070 0 0 0 5051 57 0 0 25 0 1 0 22894450 83779584 19983 1992294400 134512640 135752675 4294137056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 20454 19983 145 303 0 20149 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 81816 [startup+102.308 s] /proc/loadavg: 1.00 1.27 0.92 2/106 30494 /proc/meminfo: memFree=1838320/2059040 swapFree=4131184/4192956 [pid=30490] ppid=30488 vsize=129128 CPUtime=102.27 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 31847 0 0 0 10122 105 0 0 25 0 1 0 22894450 132227072 31760 1992294400 134512640 135752675 4294137056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 32282 31760 145 303 0 31977 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 129128 [startup+162.301 s] /proc/loadavg: 1.00 1.22 0.92 2/106 30496 /proc/meminfo: memFree=1785744/2059040 swapFree=4131184/4192956 [pid=30490] ppid=30488 vsize=182176 CPUtime=162.25 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 45096 0 0 0 16065 160 0 0 25 0 1 0 22894450 186548224 45009 1992294400 134512640 135752675 4294137056 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 45544 45009 145 303 0 45239 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 182176 [startup+222.301 s] /proc/loadavg: 1.00 1.18 0.92 2/106 30497 /proc/meminfo: memFree=1734408/2059040 swapFree=4131184/4192956 [pid=30490] ppid=30488 vsize=232608 CPUtime=222.23 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 57808 0 0 0 21995 228 0 0 25 0 1 0 22894450 238190592 57690 1992294400 134512640 135752675 4294137056 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 58152 57690 146 303 0 57847 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 232608 [startup+282.301 s] /proc/loadavg: 1.00 1.14 0.92 2/106 30498 /proc/meminfo: memFree=1695100/2059040 swapFree=4131184/4192956 [pid=30490] ppid=30488 vsize=272040 CPUtime=282.22 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 67636 0 0 0 27939 283 0 0 25 0 1 0 22894450 278568960 67518 1992294400 134512640 135752675 4294137056 18446744073709551615 134605327 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 68010 67518 146 303 0 67705 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 272040 [startup+342.3 s] /proc/loadavg: 1.00 1.11 0.92 2/106 30500 /proc/meminfo: memFree=1649096/2059040 swapFree=4131184/4192956 [pid=30490] ppid=30488 vsize=317932 CPUtime=342.2 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 79076 0 0 0 33878 342 0 0 25 0 1 0 22894450 325562368 78958 1992294400 134512640 135752675 4294137056 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 79483 78958 146 303 0 79178 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 317932 [startup+402.301 s] /proc/loadavg: 1.00 1.09 0.92 2/106 30511 /proc/meminfo: memFree=1600092/2059040 swapFree=4131192/4192956 [pid=30490] ppid=30488 vsize=364440 CPUtime=402.18 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 90702 0 0 0 39827 391 0 0 25 0 1 0 22894450 373186560 90584 1992294400 134512640 135752675 4294137056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 91110 90584 146 303 0 90805 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 364440 [startup+462.301 s] /proc/loadavg: 1.00 1.07 0.92 2/106 30513 /proc/meminfo: memFree=1558924/2059040 swapFree=4131192/4192956 [pid=30490] ppid=30488 vsize=405644 CPUtime=462.17 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 100969 0 0 0 45783 434 0 0 25 0 1 0 22894450 415379456 100851 1992294400 134512640 135752675 4294137056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 101411 100851 146 303 0 101106 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 405644 [startup+522.3 s] /proc/loadavg: 1.00 1.06 0.92 2/106 30514 /proc/meminfo: memFree=1518252/2059040 swapFree=4131192/4192956 [pid=30490] ppid=30488 vsize=446364 CPUtime=522.15 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 111134 0 0 0 51737 478 0 0 25 0 1 0 22894450 457076736 111016 1992294400 134512640 135752675 4294137056 18446744073709551615 134611698 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 111591 111016 146 303 0 111286 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 446364 [startup+582.301 s] /proc/loadavg: 1.00 1.04 0.92 2/106 30515 /proc/meminfo: memFree=1479192/2059040 swapFree=4131192/4192956 [pid=30490] ppid=30488 vsize=485328 CPUtime=582.14 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 120850 0 0 0 57688 526 0 0 25 0 1 0 22894450 496975872 120732 1992294400 134512640 135752675 4294137056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 121332 120732 146 303 0 121027 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 485328 [startup+642.301 s] /proc/loadavg: 1.00 1.03 0.92 2/106 30517 /proc/meminfo: memFree=1440752/2059040 swapFree=4131192/4192956 [pid=30490] ppid=30488 vsize=523592 CPUtime=642.13 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 130387 0 0 0 63649 564 0 0 25 0 1 0 22894450 536158208 130269 1992294400 134512640 135752675 4294137056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 130898 130269 146 303 0 130593 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 523592 [startup+702.301 s] /proc/loadavg: 1.00 1.02 0.92 2/106 30519 /proc/meminfo: memFree=1398840/2059040 swapFree=4131192/4192956 [pid=30490] ppid=30488 vsize=565856 CPUtime=702.11 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 140925 0 0 0 69596 615 0 0 25 0 1 0 22894450 579436544 140807 1992294400 134512640 135752675 4294137056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 141464 140807 146 303 0 141159 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 565856 [startup+762.309 s] /proc/loadavg: 1.00 1.02 0.92 2/106 30521 /proc/meminfo: memFree=1366476/2059040 swapFree=4131192/4192956 [pid=30490] ppid=30488 vsize=597912 CPUtime=762.1 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 148924 0 0 0 75557 653 0 0 25 0 1 0 22894450 612261888 148806 1992294400 134512640 135752675 4294137056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 149478 148806 146 303 0 149173 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 597912 [startup+822.301 s] /proc/loadavg: 1.00 1.01 0.92 2/106 30522 /proc/meminfo: memFree=1338576/2059040 swapFree=4131192/4192956 [pid=30490] ppid=30488 vsize=625928 CPUtime=822.07 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 155877 0 0 0 81516 691 0 0 25 0 1 0 22894450 640950272 155759 1992294400 134512640 135752675 4294137056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 156482 155759 146 303 0 156177 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 625928 [startup+882.301 s] /proc/loadavg: 1.00 1.01 0.92 2/106 30523 /proc/meminfo: memFree=1305964/2059040 swapFree=4131192/4192956 [pid=30490] ppid=30488 vsize=658408 CPUtime=882.06 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 163997 0 0 0 87476 730 0 0 25 0 1 0 22894450 674209792 163879 1992294400 134512640 135752675 4294137056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 164602 163879 146 303 0 164297 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 658408 [startup+942.3 s] /proc/loadavg: 1.00 1.00 0.92 2/106 30525 /proc/meminfo: memFree=1277692/2059040 swapFree=4131192/4192956 [pid=30490] ppid=30488 vsize=687612 CPUtime=942.04 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 171277 0 0 0 93433 771 0 0 25 0 1 0 22894450 704114688 171159 1992294400 134512640 135752675 4294137056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 171903 171159 146 303 0 171598 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 687612 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.92 2/106 30527 /proc/meminfo: memFree=1248056/2059040 swapFree=4131192/4192956 [pid=30490] ppid=30488 vsize=716336 CPUtime=1002.03 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 178446 0 0 0 99394 809 0 0 25 0 1 0 22894450 733528064 178328 1992294400 134512640 135752675 4294137056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 179084 178328 146 303 0 178779 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 716336 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.92 2/106 30529 /proc/meminfo: memFree=1227720/2059040 swapFree=4131192/4192956 [pid=30490] ppid=30488 vsize=737132 CPUtime=1062.02 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 183584 0 0 0 105365 837 0 0 25 0 1 0 22894450 754823168 183466 1992294400 134512640 135752675 4294137056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 184283 183466 146 303 0 183978 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 737132 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.92 2/106 30530 /proc/meminfo: memFree=1208252/2059040 swapFree=4131192/4192956 [pid=30490] ppid=30488 vsize=756352 CPUtime=1122 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 188353 0 0 0 111331 869 0 0 25 0 1 0 22894450 774504448 188235 1992294400 134512640 135752675 4294137056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 189088 188235 146 303 0 188783 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 756352 Solver just ended. Dumping a history of the last processes samples [startup+1126.3 s] /proc/loadavg: 1.00 1.00 0.92 2/106 30530 /proc/meminfo: memFree=1207508/2059040 swapFree=4131192/4192956 [pid=30490] ppid=30488 vsize=757012 CPUtime=1126.01 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 188515 0 0 0 111730 871 0 0 25 0 1 0 22894450 775180288 188397 1992294400 134512640 135752675 4294137056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 189253 188397 146 303 0 188948 0 Current children cumulated CPU time (s) 1126.01 Current children cumulated vsize (KiB) 757012 [startup+1129.5 s] /proc/loadavg: 1.00 1.00 0.92 2/106 30530 /proc/meminfo: memFree=1207260/2059040 swapFree=4131192/4192956 [pid=30490] ppid=30488 vsize=758332 CPUtime=1129.2 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 188849 0 0 0 112047 873 0 0 25 0 1 0 22894450 776531968 188731 1992294400 134512640 135752675 4294137056 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 189583 188731 146 303 0 189278 0 Current children cumulated CPU time (s) 1129.2 Current children cumulated vsize (KiB) 758332 [startup+1130.3 s] /proc/loadavg: 1.00 1.00 0.92 2/106 30530 /proc/meminfo: memFree=1206020/2059040 swapFree=4131192/4192956 [pid=30490] ppid=30488 vsize=759124 CPUtime=1129.99 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 189054 0 0 0 112125 874 0 0 25 0 1 0 22894450 777342976 188936 1992294400 134512640 135752675 4294137056 18446744073709551615 134603250 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 189781 188936 146 303 0 189476 0 Current children cumulated CPU time (s) 1129.99 Current children cumulated vsize (KiB) 759124 [startup+1130.7 s] /proc/loadavg: 1.00 1.00 0.92 2/106 30530 /proc/meminfo: memFree=1204780/2059040 swapFree=4131192/4192956 [pid=30490] ppid=30488 vsize=759784 CPUtime=1130.4 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 189198 0 0 0 112165 875 0 0 25 0 1 0 22894450 778018816 189080 1992294400 134512640 135752675 4294137056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 189946 189080 146 303 0 189641 0 Current children cumulated CPU time (s) 1130.4 Current children cumulated vsize (KiB) 759784 [startup+1130.9 s] /proc/loadavg: 1.00 1.00 0.92 2/106 30530 /proc/meminfo: memFree=1204780/2059040 swapFree=4131192/4192956 [pid=30490] ppid=30488 vsize=760048 CPUtime=1130.59 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202496 189261 0 0 0 112184 875 0 0 25 0 1 0 22894450 778289152 189143 1992294400 134512640 135752675 4294137056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30490/statm: 190012 189143 146 303 0 189707 0 Current children cumulated CPU time (s) 1130.59 Current children cumulated vsize (KiB) 760048 [startup+1131 s] /proc/loadavg: 1.00 1.00 0.92 2/106 30530 /proc/meminfo: memFree=1204780/2059040 swapFree=4131192/4192956 [pid=30490] ppid=30488 vsize=0 CPUtime=1130.7 /proc/30490/stat : 30490 (wbo1.4b) R 30488 30490 30219 0 -1 4202500 189290 0 0 0 112193 877 0 0 25 0 1 0 22894450 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/30490/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1130.7 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1131.06 CPU time (s): 1130.76 CPU user time (s): 1121.93 CPU system time (s): 8.82966 CPU usage (%): 99.9741 Max. virtual memory (cumulated for all children) (KiB): 760048 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1121.93 system time used= 8.82966 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 189290 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= 3 involuntary context switches= 14860 runsolver used 1.90271 second user time and 5.31119 second system time The end
Begin job on node082 at 2010-07-08 01:54:23 IDJOB=2702187 IDBENCH=48028 IDSOLVER=1190 FILE ID=node082/2702187-1278546863 PBS_JOBID= 11239481 Free space on /tmp= 62388 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=449-P1=149-P2=137-P3=137-P4=83-B.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-2702187-1278546863/watcher-2702187-1278546863 -o /tmp/evaluation-result-2702187-1278546863/solver-2702187-1278546863 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702187-1278546863.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 854cc656dc0682d745f606d1e6722452 RANDOM SEED=1472447774 node082.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.260 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.52 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.260 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1966080 kB Buffers: 2988 kB Cached: 21104 kB SwapCached: 10212 kB Active: 21960 kB Inactive: 15184 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1966080 kB SwapTotal: 4192956 kB SwapFree: 4131184 kB Dirty: 2624 kB Writeback: 0 kB AnonPages: 8076 kB Mapped: 6104 kB Slab: 34020 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180180 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702187-1278546863.opb Free space on /tmp at the end= 62388 MiB End job on node082 at 2010-07-08 02:13:14