Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | Wrong UNSAT | 288.591 | 288.676 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=19-P1=337-P2=467-P3=53-B.opb |
MD5SUM | 1214df7607414e67bdb9a74c838a7ae9 |
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 | 3.77243 |
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 | 81 |
Total number of constraints | 7 |
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 | 7 |
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) | 243 |
Sum of products size (including duplicates) | 486 |
Number of different products | 243 |
Sum of products size | 486 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702287-1278547697.opb. 0.00/0.00 c Instance file HOME/instance-2702287-1278547697.opb 0.00/0.00 c File size is 17961 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: 324 | 0.00/0.00 c | Number Clauses: 243 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 253 | 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 | 324 496 2070 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 103 | 324 496 2070 | 5500 103 65 | 0.010 % | 0.00/0.02 c | 253 | 324 496 2070 | 6050 253 67 | 0.010 % | 0.00/0.04 c | 479 | 324 496 2070 | 6655 479 63 | 0.001 % | 0.00/0.07 c | 817 | 324 496 2070 | 7320 817 69 | 0.010 % | 0.09/0.12 c | 1323 | 324 496 2070 | 8052 1323 67 | 0.001 % | 0.19/0.21 c | 2083 | 324 496 2070 | 8857 2083 68 | 0.010 % | 0.29/0.36 c | 3222 | 324 496 2070 | 9743 3222 61 | 0.001 % | 0.50/0.55 c =============================================================================== 0.50/0.55 c New solution: 449 0.50/0.55 o 449 0.50/0.55 c Elapsed CPU time: 0.541917 s Remaining CPU time: 179.458 s 0.50/0.55 c =============================================================================== 0.50/0.55 c | 4773 | 324 497 2079 | 5000 4773 58 | 0.001 % | 0.50/0.58 c | 4874 | 324 497 2079 | 5500 4874 59 | 0.001 % | 0.59/0.61 c | 5025 | 324 497 2079 | 6050 5025 59 | 0.001 % | 0.59/0.65 c | 5251 | 324 497 2079 | 6655 5251 59 | 0.001 % | 0.69/0.70 c | 5589 | 324 497 2079 | 7320 5589 60 | 0.001 % | 0.69/0.78 c | 6096 | 324 497 2079 | 8052 6096 60 | 0.001 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c New solution: 13 0.79/0.80 o 13 0.79/0.80 c Elapsed CPU time: 0.789879 s Remaining CPU time: 179.21 s 0.79/0.80 c =============================================================================== 0.79/0.80 c | 6159 | 324 498 2088 | 5000 6159 60 | 0.001 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c New solution: 11 0.79/0.83 o 11 0.79/0.83 c Elapsed CPU time: 0.820875 s Remaining CPU time: 179.179 s 0.79/0.83 c =============================================================================== 0.79/0.83 c | 6222 | 269 499 2097 | 5000 2863 56 | 0.001 % | 0.79/0.84 c | 6322 | 269 499 2097 | 5500 2963 56 | 16.976 % | 0.79/0.87 c | 6473 | 269 499 2097 | 6050 3114 56 | 16.985 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c New solution: 5 0.89/0.91 o 5 0.89/0.91 c Elapsed CPU time: 0.902862 s Remaining CPU time: 179.097 s 0.89/0.91 c =============================================================================== 0.89/0.91 c | 6688 | 269 500 2106 | 5000 3329 56 | 16.985 % | 0.89/0.92 c | 6788 | 258 500 2106 | 5500 3429 57 | 20.380 % | 0.89/0.95 c | 6938 | 258 500 2106 | 6050 3579 57 | 20.380 % | 0.89/0.98 c | 7163 | 258 500 2106 | 6655 3804 57 | 20.371 % | 1.00/1.04 c | 7502 | 258 500 2106 | 7320 4143 56 | 20.371 % | 1.00/1.07 c =============================================================================== 1.00/1.07 c New solution: 3 1.00/1.07 o 3 1.00/1.07 c Elapsed CPU time: 1.06184 s Remaining CPU time: 178.938 s 1.00/1.07 c =============================================================================== 1.00/1.07 c | 7732 | 258 501 2115 | 5000 4373 58 | 20.371 % | 1.00/1.09 c | 7833 | 235 501 2115 | 5500 4474 59 | 27.479 % | 1.10/1.11 c | 7984 | 235 501 2115 | 6050 4625 59 | 27.470 % | 1.10/1.14 c | 8209 | 235 501 2115 | 6655 4850 60 | 27.479 % | 1.19/1.22 c | 8546 | 235 501 2115 | 7320 5187 61 | 27.470 % | 1.29/1.30 c | 9053 | 235 501 2115 | 8052 5694 61 | 27.470 % | 1.29/1.39 c | 9813 | 235 501 2115 | 8857 6454 61 | 27.470 % | 1.49/1.59 c | 10952 | 235 501 2115 | 9743 7593 62 | 27.470 % | 1.89/1.99 c | 12661 | 235 501 2115 | 10717 9302 60 | 27.470 % | 2.29/2.34 c | 15224 | 235 501 2115 | 11789 6371 58 | 27.470 % | 2.79/2.89 c | 19068 | 235 501 2115 | 12968 10215 62 | 27.470 % | 3.69/3.77 c | 24834 | 235 501 2115 | 14265 9383 58 | 27.470 % | 4.99/5.05 c | 33483 | 235 501 2115 | 15692 10756 58 | 27.470 % | 7.09/7.11 c | 46457 | 235 501 2115 | 17261 15799 53 | 27.470 % | 10.89/11.00 c | 65918 | 235 501 2115 | 18987 8980 55 | 27.470 % | 18.49/18.50 c | 95111 | 235 501 2115 | 20886 18926 61 | 27.470 % | 27.88/27.95 c | 138900 | 235 501 2115 | 22974 20572 42 | 27.470 % | 46.19/46.27 c | 204584 | 235 501 2115 | 25272 11738 53 | 27.470 % | 78.27/78.32 c | 303111 | 235 501 2115 | 27799 23736 55 | 27.470 % | 118.86/118.94 c | 450900 | 234 501 2115 | 30579 21307 59 | 27.787 % | 181.74/181.85 c There are 91 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 | 233 441 1441 | 5000 0 nan | 0.000 % | 182.34/182.44 c | 100 | 233 441 1441 | 5500 100 61 | 28.088 % | 182.34/182.45 c | 250 | 233 441 1441 | 6050 250 71 | 28.097 % | 182.34/182.47 c | 476 | 233 441 1441 | 6655 476 75 | 28.097 % | 182.45/182.50 c | 813 | 233 441 1441 | 7320 813 77 | 28.087 % | 182.45/182.54 c | 1320 | 233 441 1441 | 8052 1320 71 | 28.087 % | 182.54/182.65 c | 2080 | 233 441 1441 | 8857 2080 64 | 28.087 % | 182.64/182.79 c | 3219 | 233 441 1441 | 9743 3219 66 | 28.097 % | 182.94/183.06 c | 4927 | 233 441 1441 | 10717 4927 58 | 28.087 % | 183.24/183.40 c | 7491 | 233 441 1441 | 11789 7491 57 | 28.087 % | 184.04/184.16 c | 11335 | 233 441 1441 | 12968 11335 57 | 28.087 % | 184.94/185.05 c | 17101 | 233 441 1441 | 14265 10535 49 | 28.087 % | 186.63/186.71 c | 25751 | 233 441 1441 | 15692 11949 43 | 28.087 % | 188.63/188.71 c | 38725 | 233 441 1441 | 17261 8997 41 | 28.087 % | 191.83/191.92 c | 58186 | 233 441 1441 | 18987 10942 40 | 28.087 % | 196.84/196.94 c | 87378 | 233 441 1441 | 20886 11330 50 | 28.087 % | 205.23/205.35 c | 131167 | 232 441 1441 | 22974 12776 39 | 28.396 % | 227.22/227.34 c | 196853 | 232 441 1441 | 25272 18041 33 | 28.396 % | 264.61/264.72 c | 295380 | 232 441 1441 | 27799 15075 23 | 28.396 % | 288.50/288.65 c =============================================================================== 288.50/288.65 c core #1 288.50/288.65 c 288.50/288.65 c 288.50/288.65 c Core size: 82 Core Weight: 2147483647 Total Weight: -2147483647 288.50/288.65 c 288.50/288.65 c 288.50/288.65 c Memory used : 233.64 MB 288.50/288.65 c CPU time : 285.727 s 288.50/288.65 c 288.50/288.65 s UNSATISFIABLE 288.50/288.65 c Total CPU time: 285.727 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-2702287-1278547697/watcher-2702287-1278547697 -o /tmp/evaluation-result-2702287-1278547697/solver-2702287-1278547697 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702287-1278547697.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.97 0.75 3/106 27621 /proc/meminfo: memFree=1697056/2059040 swapFree=4165016/4192956 [pid=27621] ppid=27619 vsize=2580 CPUtime=0 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 26988 0 -1 4202496 306 0 0 0 0 0 0 0 20 0 1 0 22976903 2641920 219 1992294400 134512640 135752675 4291495248 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 645 219 144 303 0 340 0 [startup+0.088253 s] /proc/loadavg: 0.99 0.97 0.75 3/106 27621 /proc/meminfo: memFree=1697056/2059040 swapFree=4165016/4192956 [pid=27621] ppid=27619 vsize=2968 CPUtime=0.08 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 26988 0 -1 4202496 389 0 0 0 8 0 0 0 20 0 1 0 22976903 3039232 302 1992294400 134512640 135752675 4291495248 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 742 302 145 303 0 437 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2968 [startup+0.101253 s] /proc/loadavg: 0.99 0.97 0.75 3/106 27621 /proc/meminfo: memFree=1697056/2059040 swapFree=4165016/4192956 [pid=27621] ppid=27619 vsize=2968 CPUtime=0.09 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 26988 0 -1 4202496 401 0 0 0 9 0 0 0 20 0 1 0 22976903 3039232 314 1992294400 134512640 135752675 4291495248 18446744073709551615 134640906 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 742 314 145 303 0 437 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2968 [startup+0.301274 s] /proc/loadavg: 0.99 0.97 0.75 3/106 27621 /proc/meminfo: memFree=1697056/2059040 swapFree=4165016/4192956 [pid=27621] ppid=27619 vsize=3616 CPUtime=0.29 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 26988 0 -1 4202496 554 0 0 0 29 0 0 0 20 0 1 0 22976903 3702784 467 1992294400 134512640 135752675 4291495248 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 904 467 145 303 0 599 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3616 [startup+0.701317 s] /proc/loadavg: 0.99 0.97 0.75 3/106 27621 /proc/meminfo: memFree=1697056/2059040 swapFree=4165016/4192956 [pid=27621] ppid=27619 vsize=4656 CPUtime=0.69 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 26988 0 -1 4202496 822 0 0 0 68 1 0 0 21 0 1 0 22976903 4767744 735 1992294400 134512640 135752675 4291495248 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 1164 735 145 303 0 859 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4656 [startup+1.5014 s] /proc/loadavg: 0.99 0.97 0.75 2/107 27622 /proc/meminfo: memFree=1694320/2059040 swapFree=4165016/4192956 [pid=27621] ppid=27619 vsize=6468 CPUtime=1.49 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 26988 0 -1 4202496 1274 0 0 0 147 2 0 0 23 0 1 0 22976903 6623232 1187 1992294400 134512640 135752675 4291495248 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 1617 1187 145 303 0 1312 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6468 [startup+3.10157 s] /proc/loadavg: 0.99 0.97 0.75 2/107 27622 /proc/meminfo: memFree=1692088/2059040 swapFree=4165016/4192956 [pid=27621] ppid=27619 vsize=9828 CPUtime=3.09 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 26988 0 -1 4202496 2111 0 0 0 305 4 0 0 25 0 1 0 22976903 10063872 2024 1992294400 134512640 135752675 4291495248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 2457 2024 145 303 0 2152 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9828 [startup+6.30092 s] /proc/loadavg: 0.99 0.97 0.75 2/107 27622 /proc/meminfo: memFree=1684276/2059040 swapFree=4165016/4192956 [pid=27621] ppid=27619 vsize=16932 CPUtime=6.29 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 26988 0 -1 4202496 3878 0 0 0 618 11 0 0 25 0 1 0 22976903 17338368 3791 1992294400 134512640 135752675 4291495248 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 4233 3791 145 303 0 3928 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16932 [startup+12.7006 s] /proc/loadavg: 0.99 0.97 0.75 2/107 27622 /proc/meminfo: memFree=1673488/2059040 swapFree=4165016/4192956 [pid=27621] ppid=27619 vsize=26784 CPUtime=12.69 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 26988 0 -1 4202496 6359 0 0 0 1250 19 0 0 25 0 1 0 22976903 27426816 6272 1992294400 134512640 135752675 4291495248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 6696 6272 145 303 0 6391 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26784 [startup+25.501 s] /proc/loadavg: 0.99 0.97 0.75 2/107 27622 /proc/meminfo: memFree=1657368/2059040 swapFree=4165016/4192956 [pid=27621] ppid=27619 vsize=42376 CPUtime=25.48 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 26988 0 -1 4202496 10229 0 0 0 2514 34 0 0 25 0 1 0 22976903 43393024 10142 1992294400 134512640 135752675 4291495248 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 10594 10142 145 303 0 10289 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42376 [startup+51.1007 s] /proc/loadavg: 0.99 0.97 0.76 2/107 27623 /proc/meminfo: memFree=1629840/2059040 swapFree=4165016/4192956 [pid=27621] ppid=27619 vsize=70100 CPUtime=51.07 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 26988 0 -1 4202496 17153 0 0 0 5044 63 0 0 25 0 1 0 22976903 71782400 17066 1992294400 134512640 135752675 4291495248 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 17525 17066 145 303 0 17220 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 70100 [startup+102.308 s] /proc/loadavg: 0.99 0.97 0.77 2/107 27624 /proc/meminfo: memFree=1578132/2059040 swapFree=4165016/4192956 [pid=27621] ppid=27619 vsize=121572 CPUtime=102.27 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 26988 0 -1 4202496 29990 0 0 0 10116 111 0 0 25 0 1 0 22976903 124489728 29903 1992294400 134512640 135752675 4291495248 18446744073709551615 134638145 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 30393 29903 145 303 0 30088 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 121572 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.78 2/107 27626 /proc/meminfo: memFree=1526920/2059040 swapFree=4165016/4192956 [pid=27621] ppid=27619 vsize=172948 CPUtime=162.25 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 26988 0 -1 4202496 42813 0 0 0 16059 166 0 0 25 0 1 0 22976903 177098752 42726 1992294400 134512640 135752675 4291495248 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 43237 42726 145 303 0 42932 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 172948 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.79 2/107 27628 /proc/meminfo: memFree=1485256/2059040 swapFree=4165016/4192956 [pid=27621] ppid=27619 vsize=213900 CPUtime=222.22 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 26988 0 -1 4202496 53146 0 0 0 21993 229 0 0 25 0 1 0 22976903 219033600 53028 1992294400 134512640 135752675 4291495248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 53475 53028 146 303 0 53170 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 213900 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.80 2/107 27630 /proc/meminfo: memFree=1463184/2059040 swapFree=4165016/4192956 [pid=27621] ppid=27619 vsize=236340 CPUtime=282.21 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 26988 0 -1 4202496 58681 0 0 0 27944 277 0 0 25 0 1 0 22976903 242012160 58563 1992294400 134512640 135752675 4291495248 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 59085 58563 146 303 0 58780 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 236340 Solver just ended. Dumping a history of the last processes samples [startup+284.702 s] /proc/loadavg: 0.99 0.97 0.80 2/107 27630 /proc/meminfo: memFree=1462564/2059040 swapFree=4165016/4192956 [pid=27621] ppid=27619 vsize=237264 CPUtime=284.61 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 26988 0 -1 4202496 58900 0 0 0 28181 280 0 0 25 0 1 0 22976903 242958336 58782 1992294400 134512640 135752675 4291495248 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 59316 58782 146 303 0 59011 0 Current children cumulated CPU time (s) 284.61 Current children cumulated vsize (KiB) 237264 [startup+286.302 s] /proc/loadavg: 0.99 0.97 0.81 2/107 27630 /proc/meminfo: memFree=1461572/2059040 swapFree=4165016/4192956 [pid=27621] ppid=27619 vsize=238056 CPUtime=286.21 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 26988 0 -1 4202496 59096 0 0 0 28340 281 0 0 25 0 1 0 22976903 243769344 58978 1992294400 134512640 135752675 4291495248 18446744073709551615 134611612 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 59514 58978 146 303 0 59209 0 Current children cumulated CPU time (s) 286.21 Current children cumulated vsize (KiB) 238056 [startup+287.901 s] /proc/loadavg: 0.99 0.97 0.81 2/107 27630 /proc/meminfo: memFree=1460952/2059040 swapFree=4165016/4192956 [pid=27621] ppid=27619 vsize=238848 CPUtime=287.81 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 26988 0 -1 4202496 59307 0 0 0 28498 283 0 0 25 0 1 0 22976903 244580352 59189 1992294400 134512640 135752675 4291495248 18446744073709551615 135202694 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 59712 59189 146 303 0 59407 0 Current children cumulated CPU time (s) 287.81 Current children cumulated vsize (KiB) 238848 [startup+288.301 s] /proc/loadavg: 0.99 0.97 0.81 2/107 27630 /proc/meminfo: memFree=1460456/2059040 swapFree=4165016/4192956 [pid=27621] ppid=27619 vsize=239112 CPUtime=288.2 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 26988 0 -1 4202496 59351 0 0 0 28537 283 0 0 25 0 1 0 22976903 244850688 59233 1992294400 134512640 135752675 4291495248 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 59778 59233 146 303 0 59473 0 Current children cumulated CPU time (s) 288.2 Current children cumulated vsize (KiB) 239112 [startup+288.501 s] /proc/loadavg: 0.99 0.97 0.81 2/107 27630 /proc/meminfo: memFree=1460456/2059040 swapFree=4165016/4192956 [pid=27621] ppid=27619 vsize=239112 CPUtime=288.4 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 26988 0 -1 4202496 59370 0 0 0 28557 283 0 0 25 0 1 0 22976903 244850688 59252 1992294400 134512640 135752675 4291495248 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 59778 59252 146 303 0 59473 0 Current children cumulated CPU time (s) 288.4 Current children cumulated vsize (KiB) 239112 [startup+288.601 s] /proc/loadavg: 0.99 0.97 0.81 2/107 27630 /proc/meminfo: memFree=1460456/2059040 swapFree=4165016/4192956 [pid=27621] ppid=27619 vsize=239244 CPUtime=288.5 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 26988 0 -1 4202496 59381 0 0 0 28567 283 0 0 25 0 1 0 22976903 244985856 59263 1992294400 134512640 135752675 4291495248 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 59811 59263 146 303 0 59506 0 Current children cumulated CPU time (s) 288.5 Current children cumulated vsize (KiB) 239244 Child status: 0 Real time (s): 288.676 CPU time (s): 288.591 CPU user time (s): 285.727 CPU system time (s): 2.86456 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 239244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 285.727 system time used= 2.86456 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 59385 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= 209 runsolver used 0.503923 second user time and 1.34479 second system time The end
Begin job on node047 at 2010-07-08 02:08:17 IDJOB=2702287 IDBENCH=48078 IDSOLVER=1190 FILE ID=node047/2702287-1278547697 PBS_JOBID= 11239494 Free space on /tmp= 62476 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=19-P1=337-P2=467-P3=53-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-2702287-1278547697/watcher-2702287-1278547697 -o /tmp/evaluation-result-2702287-1278547697/solver-2702287-1278547697 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702287-1278547697.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1214df7607414e67bdb9a74c838a7ae9 RANDOM SEED=534830480 node047.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.248 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.49 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.248 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1697956 kB Buffers: 61236 kB Cached: 190824 kB SwapCached: 1388 kB Active: 141556 kB Inactive: 143928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1697956 kB SwapTotal: 4192956 kB SwapFree: 4165016 kB Dirty: 2580 kB Writeback: 0 kB AnonPages: 31956 kB Mapped: 13380 kB Slab: 53792 kB PageTables: 4232 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180552 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-2702287-1278547697.opb Free space on /tmp at the end= 62476 MiB End job on node047 at 2010-07-08 02:13:06