Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Signal | 182.553 | 182.625 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702286-1278547546.opb. 0.00/0.00 c Instance file HOME/instance-2702286-1278547546.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.05/0.07 c | 817 | 324 496 2070 | 7320 817 69 | 0.010 % | 0.09/0.11 c | 1323 | 324 496 2070 | 8052 1323 67 | 0.001 % | 0.19/0.20 c | 2083 | 324 496 2070 | 8857 2083 68 | 0.010 % | 0.28/0.34 c | 3222 | 324 496 2070 | 9743 3222 61 | 0.001 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c New solution: 449 0.49/0.52 o 449 0.49/0.52 c Elapsed CPU time: 0.509922 s Remaining CPU time: 179.49 s 0.49/0.52 c =============================================================================== 0.49/0.52 c | 4773 | 324 497 2079 | 5000 4773 58 | 0.001 % | 0.49/0.55 c | 4874 | 324 497 2079 | 5500 4874 59 | 0.001 % | 0.49/0.58 c | 5025 | 324 497 2079 | 6050 5025 59 | 0.001 % | 0.59/0.61 c | 5251 | 324 497 2079 | 6655 5251 59 | 0.001 % | 0.59/0.66 c | 5589 | 324 497 2079 | 7320 5589 60 | 0.001 % | 0.69/0.73 c | 6096 | 324 497 2079 | 8052 6096 60 | 0.001 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c New solution: 13 0.69/0.75 o 13 0.69/0.75 c Elapsed CPU time: 0.737887 s Remaining CPU time: 179.262 s 0.69/0.75 c =============================================================================== 0.69/0.75 c | 6159 | 324 498 2088 | 5000 6159 60 | 0.001 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c New solution: 11 0.69/0.78 o 11 0.69/0.78 c Elapsed CPU time: 0.770882 s Remaining CPU time: 179.229 s 0.69/0.78 c =============================================================================== 0.69/0.78 c | 6222 | 269 499 2097 | 5000 2863 56 | 0.001 % | 0.79/0.80 c | 6322 | 269 499 2097 | 5500 2963 56 | 16.976 % | 0.79/0.82 c | 6473 | 269 499 2097 | 6050 3114 56 | 16.985 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c New solution: 5 0.79/0.86 o 5 0.79/0.86 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s 0.79/0.86 c =============================================================================== 0.79/0.86 c | 6688 | 269 500 2106 | 5000 3329 56 | 16.985 % | 0.79/0.87 c | 6788 | 258 500 2106 | 5500 3429 57 | 20.380 % | 0.79/0.89 c | 6938 | 258 500 2106 | 6050 3579 57 | 20.380 % | 0.89/0.93 c | 7163 | 258 500 2106 | 6655 3804 57 | 20.371 % | 0.89/0.98 c | 7502 | 258 500 2106 | 7320 4143 56 | 20.371 % | 0.99/1.01 c =============================================================================== 0.99/1.01 c New solution: 3 0.99/1.01 o 3 0.99/1.01 c Elapsed CPU time: 0.995848 s Remaining CPU time: 179.004 s 0.99/1.01 c =============================================================================== 0.99/1.01 c | 7732 | 258 501 2115 | 5000 4373 58 | 20.371 % | 0.99/1.03 c | 7833 | 235 501 2115 | 5500 4474 59 | 27.479 % | 0.99/1.05 c | 7984 | 235 501 2115 | 6050 4625 59 | 27.470 % | 0.99/1.08 c | 8209 | 235 501 2115 | 6655 4850 60 | 27.479 % | 1.09/1.15 c | 8546 | 235 501 2115 | 7320 5187 61 | 27.470 % | 1.18/1.23 c | 9053 | 235 501 2115 | 8052 5694 61 | 27.470 % | 1.29/1.31 c | 9813 | 235 501 2115 | 8857 6454 61 | 27.470 % | 1.49/1.50 c | 10952 | 235 501 2115 | 9743 7593 62 | 27.470 % | 1.79/1.88 c | 12661 | 235 501 2115 | 10717 9302 60 | 27.470 % | 2.19/2.21 c | 15224 | 235 501 2115 | 11789 6371 58 | 27.470 % | 2.69/2.72 c | 19068 | 235 501 2115 | 12968 10215 62 | 27.470 % | 3.48/3.56 c | 24834 | 235 501 2115 | 14265 9383 58 | 27.470 % | 4.69/4.74 c | 33483 | 235 501 2115 | 15692 10756 58 | 27.470 % | 6.69/6.70 c | 46457 | 235 501 2115 | 17261 15799 53 | 27.470 % | 10.39/10.46 c | 65918 | 235 501 2115 | 18987 8980 55 | 27.470 % | 17.39/17.49 c | 95111 | 235 501 2115 | 20886 18926 61 | 27.470 % | 26.58/26.62 c | 138900 | 235 501 2115 | 22974 20572 42 | 27.470 % | 44.38/44.43 c | 204584 | 235 501 2115 | 25272 11738 53 | 27.470 % | 74.78/74.87 c | 303111 | 235 501 2115 | 27799 23736 55 | 27.470 % | 113.56/113.60 c | 450900 | 234 501 2115 | 30579 21307 59 | 27.787 % | 181.74/181.86 c There are 91 assigned variables. 9 in cost function.
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-2702286-1278547546/watcher-2702286-1278547546 -o /tmp/evaluation-result-2702286-1278547546/solver-2702286-1278547546 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702286-1278547546.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.12 1.03 0.74 2/105 28752 /proc/meminfo: memFree=1719768/2059040 swapFree=4139448/4192956 [pid=28752] ppid=28750 vsize=2576 CPUtime=0 /proc/28752/stat : 28752 (wbo1.4b) R 28750 28752 27594 0 -1 4202496 309 0 0 0 0 0 0 0 25 0 1 0 22963148 2637824 222 1992294400 134512640 135751879 4291814400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28752/statm: 644 222 146 303 0 339 0 [startup+0.063379 s] /proc/loadavg: 1.12 1.03 0.74 2/105 28752 /proc/meminfo: memFree=1719768/2059040 swapFree=4139448/4192956 [pid=28752] ppid=28750 vsize=2832 CPUtime=0.05 /proc/28752/stat : 28752 (wbo1.4b) R 28750 28752 27594 0 -1 4202496 370 0 0 0 5 0 0 0 25 0 1 0 22963148 2899968 283 1992294400 134512640 135751879 4291814400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28752/statm: 708 283 147 303 0 403 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2832 [startup+0.101382 s] /proc/loadavg: 1.12 1.03 0.74 2/105 28752 /proc/meminfo: memFree=1719768/2059040 swapFree=4139448/4192956 [pid=28752] ppid=28750 vsize=2964 CPUtime=0.09 /proc/28752/stat : 28752 (wbo1.4b) R 28750 28752 27594 0 -1 4202496 408 0 0 0 9 0 0 0 25 0 1 0 22963148 3035136 321 1992294400 134512640 135751879 4291814400 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28752/statm: 741 321 147 303 0 436 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2964 [startup+0.301402 s] /proc/loadavg: 1.12 1.03 0.74 2/105 28752 /proc/meminfo: memFree=1719768/2059040 swapFree=4139448/4192956 [pid=28752] ppid=28750 vsize=3612 CPUtime=0.28 /proc/28752/stat : 28752 (wbo1.4b) R 28750 28752 27594 0 -1 4202496 567 0 0 0 28 0 0 0 25 0 1 0 22963148 3698688 480 1992294400 134512640 135751879 4291814400 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28752/statm: 903 480 147 303 0 598 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 3612 [startup+0.701441 s] /proc/loadavg: 1.12 1.03 0.74 2/105 28752 /proc/meminfo: memFree=1719768/2059040 swapFree=4139448/4192956 [pid=28752] ppid=28750 vsize=4780 CPUtime=0.69 /proc/28752/stat : 28752 (wbo1.4b) R 28750 28752 27594 0 -1 4202496 851 0 0 0 68 1 0 0 25 0 1 0 22963148 4894720 764 1992294400 134512640 135751879 4291814400 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28752/statm: 1195 764 147 303 0 890 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4780 [startup+1.50152 s] /proc/loadavg: 1.12 1.03 0.74 2/106 28753 /proc/meminfo: memFree=1717032/2059040 swapFree=4139448/4192956 [pid=28752] ppid=28750 vsize=6720 CPUtime=1.49 /proc/28752/stat : 28752 (wbo1.4b) R 28750 28752 27594 0 -1 4202496 1325 0 0 0 147 2 0 0 18 0 1 0 22963148 6881280 1238 1992294400 134512640 135751879 4291814400 18446744073709551615 134616380 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28752/statm: 1680 1238 148 303 0 1375 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6720 [startup+3.10168 s] /proc/loadavg: 1.12 1.03 0.74 2/106 28753 /proc/meminfo: memFree=1714304/2059040 swapFree=4139448/4192956 [pid=28752] ppid=28750 vsize=10252 CPUtime=3.09 /proc/28752/stat : 28752 (wbo1.4b) R 28750 28752 27594 0 -1 4202496 2199 0 0 0 305 4 0 0 21 0 1 0 22963148 10498048 2112 1992294400 134512640 135751879 4291814400 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28752/statm: 2563 2112 148 303 0 2258 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10252 [startup+6.301 s] /proc/loadavg: 1.27 1.06 0.76 2/106 28753 /proc/meminfo: memFree=1706368/2059040 swapFree=4139448/4192956 [pid=28752] ppid=28750 vsize=17316 CPUtime=6.29 /proc/28752/stat : 28752 (wbo1.4b) R 28750 28752 27594 0 -1 4202496 4001 0 0 0 620 9 0 0 25 0 1 0 22963148 17731584 3914 1992294400 134512640 135751879 4291814400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28752/statm: 4329 3914 148 303 0 4024 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17316 [startup+12.7006 s] /proc/loadavg: 1.25 1.06 0.76 3/106 28753 /proc/meminfo: memFree=1695208/2059040 swapFree=4139448/4192956 [pid=28752] ppid=28750 vsize=27556 CPUtime=12.68 /proc/28752/stat : 28752 (wbo1.4b) R 28750 28752 27594 0 -1 4202496 6545 0 0 0 1251 17 0 0 25 0 1 0 22963148 28217344 6458 1992294400 134512640 135751879 4291814400 18446744073709551615 134616409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28752/statm: 6889 6458 148 303 0 6584 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27556 [startup+25.5009 s] /proc/loadavg: 1.19 1.06 0.76 2/106 28755 /proc/meminfo: memFree=1678592/2059040 swapFree=4139448/4192956 [pid=28752] ppid=28750 vsize=43908 CPUtime=25.48 /proc/28752/stat : 28752 (wbo1.4b) R 28750 28752 27594 0 -1 4202496 10610 0 0 0 2514 34 0 0 25 0 1 0 22963148 44961792 10523 1992294400 134512640 135751879 4291814400 18446744073709551615 134611018 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28752/statm: 10977 10523 148 303 0 10672 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 43908 [startup+51.1015 s] /proc/loadavg: 1.13 1.05 0.76 2/106 28755 /proc/meminfo: memFree=1651064/2059040 swapFree=4139448/4192956 [pid=28752] ppid=28750 vsize=71508 CPUtime=51.08 /proc/28752/stat : 28752 (wbo1.4b) R 28750 28752 27594 0 -1 4202496 17515 0 0 0 5047 61 0 0 25 0 1 0 22963148 73224192 17428 1992294400 134512640 135751879 4291814400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28752/statm: 17877 17428 148 303 0 17572 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 71508 [startup+102.309 s] /proc/loadavg: 1.05 1.04 0.77 2/106 28757 /proc/meminfo: memFree=1595884/2059040 swapFree=4139448/4192956 [pid=28752] ppid=28750 vsize=126456 CPUtime=102.27 /proc/28752/stat : 28752 (wbo1.4b) R 28750 28752 27594 0 -1 4202496 31215 0 0 0 10114 113 0 0 25 0 1 0 22963148 129490944 31128 1992294400 134512640 135751879 4291814400 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28752/statm: 31614 31128 148 303 0 31309 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 126456 [startup+162.302 s] /proc/loadavg: 1.02 1.03 0.79 2/106 28757 /proc/meminfo: memFree=1544424/2059040 swapFree=4139448/4192956 [pid=28752] ppid=28750 vsize=178340 CPUtime=162.25 /proc/28752/stat : 28752 (wbo1.4b) R 28750 28752 27594 0 -1 4202496 44161 0 0 0 16059 166 0 0 25 0 1 0 22963148 182620160 44074 1992294400 134512640 135751879 4291814400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28752/statm: 44585 44074 148 303 0 44280 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 178340 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.02 1.03 0.79 2/106 28757 /proc/meminfo: memFree=1541324/2059040 swapFree=4139448/4192956 [pid=28752] ppid=28750 vsize=181164 CPUtime=166.25 /proc/28752/stat : 28752 (wbo1.4b) R 28750 28752 27594 0 -1 4202496 44865 0 0 0 16456 169 0 0 25 0 1 0 22963148 185511936 44778 1992294400 134512640 135751879 4291814400 18446744073709551615 134606557 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28752/statm: 45291 44778 148 303 0 44986 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 181164 [startup+172.709 s] /proc/loadavg: 1.01 1.03 0.79 2/106 28759 /proc/meminfo: memFree=1537356/2059040 swapFree=4139448/4192956 [pid=28752] ppid=28750 vsize=184904 CPUtime=172.65 /proc/28752/stat : 28752 (wbo1.4b) R 28750 28752 27594 0 -1 4202496 45783 0 0 0 17091 174 0 0 25 0 1 0 22963148 189341696 45696 1992294400 134512640 135751879 4291814400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28752/statm: 46226 45696 148 303 0 45921 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 184904 [startup+179.101 s] /proc/loadavg: 1.01 1.03 0.79 2/106 28759 /proc/meminfo: memFree=1533264/2059040 swapFree=4139448/4192956 [pid=28752] ppid=28750 vsize=189668 CPUtime=179.05 /proc/28752/stat : 28752 (wbo1.4b) R 28750 28752 27594 0 -1 4202496 46970 0 0 0 17725 180 0 0 25 0 1 0 22963148 194220032 46883 1992294400 134512640 135751879 4291814400 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28752/statm: 47417 46883 148 303 0 47112 0 Current children cumulated CPU time (s) 179.05 Current children cumulated vsize (KiB) 189668 [startup+180.701 s] /proc/loadavg: 1.01 1.03 0.79 2/106 28759 /proc/meminfo: memFree=1531156/2059040 swapFree=4139448/4192956 [pid=28752] ppid=28750 vsize=191204 CPUtime=180.64 /proc/28752/stat : 28752 (wbo1.4b) R 28750 28752 27594 0 -1 4202496 47381 0 0 0 17883 181 0 0 25 0 1 0 22963148 195792896 47294 1992294400 134512640 135751879 4291814400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28752/statm: 47801 47294 148 303 0 47496 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 191204 [startup+181.508 s] /proc/loadavg: 1.01 1.03 0.79 2/106 28759 /proc/meminfo: memFree=1530412/2059040 swapFree=4139448/4192956 [pid=28752] ppid=28750 vsize=191744 CPUtime=181.45 /proc/28752/stat : 28752 (wbo1.4b) R 28750 28752 27594 0 -1 4202496 47509 0 0 0 17964 181 0 0 25 0 1 0 22963148 196345856 47422 1992294400 134512640 135751879 4291814400 18446744073709551615 134606404 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28752/statm: 47936 47422 148 303 0 47631 0 Current children cumulated CPU time (s) 181.45 Current children cumulated vsize (KiB) 191744 [startup+182.302 s] /proc/loadavg: 1.01 1.03 0.79 2/106 28759 /proc/meminfo: memFree=1530412/2059040 swapFree=4139448/4192956 [pid=28752] ppid=28750 vsize=192000 CPUtime=182.25 /proc/28752/stat : 28752 (wbo1.4b) R 28750 28752 27594 0 -1 4204032 47564 0 0 0 18000 225 0 0 18 0 1 0 22963148 196608000 47477 1992294400 134512640 135751879 4291814400 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28752/statm: 48000 47477 148 303 0 47695 0 Current children cumulated CPU time (s) 182.25 Current children cumulated vsize (KiB) 192000 [startup+182.502 s] /proc/loadavg: 1.01 1.03 0.79 2/106 28759 /proc/meminfo: memFree=1359912/2059040 swapFree=4139448/4192956 [pid=28752] ppid=28750 vsize=192000 CPUtime=182.43 /proc/28752/stat : 28752 (wbo1.4b) R 28750 28752 27594 0 -1 4204032 47564 0 0 0 18000 243 0 0 18 0 1 0 22963148 196608000 47477 1992294400 134512640 135751879 4291814400 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 1 0 0 1 /proc/28752/statm: 48000 47477 148 303 0 47695 0 Current children cumulated CPU time (s) 182.43 Current children cumulated vsize (KiB) 192000 [startup+182.61 s] /proc/loadavg: 1.01 1.03 0.79 2/106 28759 /proc/meminfo: memFree=1359912/2059040 swapFree=4139448/4192956 [pid=28752] ppid=28750 vsize=0 CPUtime=182.53 /proc/28752/stat : 28752 (wbo1.4b) R 28750 28752 27594 0 -1 4204036 47565 0 0 0 18000 253 0 0 18 0 1 0 22963148 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 1 /proc/28752/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 182.53 Current children cumulated vsize (KiB) 0 Child ended because it received signal 11 (SIGSEGV) Child dumped core Real time (s): 182.625 CPU time (s): 182.553 CPU user time (s): 180.001 CPU system time (s): 2.55261 CPU usage (%): 99.9608 Max. virtual memory (cumulated for all children) (KiB): 192000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.001 system time used= 2.55261 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47565 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= 5 involuntary context switches= 417 runsolver used 0.314952 second user time and 0.860869 second system time The end
Begin job on node084 at 2010-07-08 02:05:46 IDJOB=2702286 IDBENCH=48078 IDSOLVER=1161 FILE ID=node084/2702286-1278547546 PBS_JOBID= 11239479 Free space on /tmp= 62496 MiB SOLVER NAME= wbo 1.4b 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-2702286-1278547546/watcher-2702286-1278547546 -o /tmp/evaluation-result-2702286-1278547546/solver-2702286-1278547546 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702286-1278547546.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1214df7607414e67bdb9a74c838a7ae9 RANDOM SEED=427279557 node084.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.215 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.43 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.215 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.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1720668 kB Buffers: 58212 kB Cached: 175932 kB SwapCached: 22024 kB Active: 146116 kB Inactive: 117464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1720668 kB SwapTotal: 4192956 kB SwapFree: 4139448 kB Dirty: 2932 kB Writeback: 0 kB AnonPages: 12072 kB Mapped: 11884 kB Slab: 53064 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182640 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-2702286-1278547546.opb Free space on /tmp at the end= 62308 MiB End job on node084 at 2010-07-08 02:08:49