Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | Wrong UNSAT | 225.231 | 225.29 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-B.opb |
MD5SUM | 947e947c586d02edcb816b66608818b9 |
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 | 2.6116 |
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-2701943-1278546261.opb. 0.00/0.00 c Instance file HOME/instance-2701943-1278546261.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 | 100 | 324 496 2070 | 5500 100 67 | 0.010 % | 0.00/0.02 c | 251 | 324 496 2070 | 6050 251 69 | 0.010 % | 0.00/0.04 c | 477 | 324 496 2070 | 6655 477 59 | 0.001 % | 0.00/0.06 c | 814 | 324 496 2070 | 7320 814 70 | 0.001 % | 0.09/0.10 c | 1320 | 324 496 2070 | 8052 1320 69 | 0.010 % | 0.09/0.19 c | 2080 | 324 496 2070 | 8857 2080 64 | 0.001 % | 0.29/0.31 c | 3219 | 324 496 2070 | 9743 3219 66 | 0.010 % | 0.49/0.53 c | 4927 | 324 496 2070 | 10717 4927 63 | 0.001 % | 0.89/0.94 c | 7491 | 324 496 2070 | 11789 7491 62 | 0.010 % | 1.49/1.54 c =============================================================================== 1.49/1.54 c New solution: 13 1.49/1.54 o 13 1.49/1.54 c Elapsed CPU time: 1.50677 s Remaining CPU time: 178.493 s 1.49/1.54 c =============================================================================== 1.49/1.54 c | 11095 | 324 497 2079 | 5000 11095 56 | 0.010 % | 1.49/1.59 c | 11196 | 269 497 2079 | 5500 2866 42 | 16.985 % | 1.59/1.61 c | 11346 | 269 497 2079 | 6050 3016 43 | 16.976 % | 1.59/1.63 c | 11572 | 269 497 2079 | 6655 3242 44 | 16.976 % | 1.59/1.64 c =============================================================================== 1.59/1.64 c New solution: 9 1.59/1.64 o 9 1.59/1.64 c Elapsed CPU time: 1.60776 s Remaining CPU time: 178.392 s 1.59/1.64 c =============================================================================== 1.59/1.64 c | 11609 | 269 498 2088 | 5000 3279 44 | 16.976 % | 1.59/1.65 c | 11709 | 269 498 2088 | 5500 3379 45 | 16.985 % | 1.59/1.67 c | 11859 | 269 498 2088 | 6050 3529 45 | 16.976 % | 1.59/1.68 c | 12084 | 269 498 2088 | 6655 3754 47 | 16.976 % | 1.69/1.73 c | 12422 | 269 498 2088 | 7320 4092 50 | 16.985 % | 1.79/1.85 c | 12928 | 269 498 2088 | 8052 4598 50 | 16.976 % | 1.89/1.99 c | 13688 | 269 498 2088 | 8857 5358 51 | 16.976 % | 2.10/2.12 c | 14827 | 269 498 2088 | 9743 6497 50 | 16.976 % | 2.29/2.36 c =============================================================================== 2.29/2.36 c New solution: 7 2.29/2.36 o 7 2.29/2.36 c Elapsed CPU time: 2.31465 s Remaining CPU time: 177.685 s 2.29/2.36 c =============================================================================== 2.29/2.36 c | 16152 | 269 499 2097 | 5000 7822 50 | 16.976 % | 2.39/2.40 c | 16252 | 258 499 2097 | 5500 4011 51 | 20.380 % | 2.39/2.43 c | 16403 | 258 499 2097 | 6050 4162 51 | 20.371 % | 2.39/2.46 c | 16628 | 258 499 2097 | 6655 4387 52 | 20.371 % | 2.49/2.52 c | 16966 | 258 499 2097 | 7320 4725 53 | 20.371 % | 2.59/2.69 c | 17474 | 258 499 2097 | 8052 5233 53 | 20.371 % | 2.79/2.88 c | 18235 | 258 499 2097 | 8857 5994 51 | 20.371 % | 3.09/3.13 c | 19374 | 258 499 2097 | 9743 7133 50 | 20.371 % | 3.49/3.58 c | 21082 | 258 499 2097 | 10717 8841 47 | 20.371 % | 4.09/4.10 c | 23644 | 258 499 2097 | 11789 5998 36 | 20.371 % | 4.09/4.19 c =============================================================================== 4.09/4.19 c New solution: 3 4.09/4.19 o 3 4.09/4.19 c Elapsed CPU time: 4.11737 s Remaining CPU time: 175.883 s 4.09/4.19 c =============================================================================== 4.09/4.19 c | 23954 | 258 500 2106 | 5000 6308 36 | 20.371 % | 4.19/4.20 c | 24055 | 237 500 2106 | 5500 3255 35 | 27.470 % | 4.19/4.22 c | 24206 | 237 500 2106 | 6050 3406 37 | 27.479 % | 4.19/4.25 c | 24431 | 237 500 2106 | 6655 3631 39 | 27.470 % | 4.30/4.30 c | 24769 | 237 500 2106 | 7320 3969 41 | 27.470 % | 4.30/4.36 c | 25277 | 237 500 2106 | 8052 4477 45 | 27.470 % | 4.40/4.44 c | 26036 | 237 500 2106 | 8857 5236 47 | 27.480 % | 4.49/4.59 c | 27176 | 237 500 2106 | 9743 6376 51 | 27.470 % | 4.78/4.87 c | 28885 | 237 500 2106 | 10717 8085 54 | 27.470 % | 5.19/5.22 c | 31448 | 237 500 2106 | 11789 10648 51 | 27.470 % | 5.79/5.83 c | 35292 | 237 500 2106 | 12968 8508 43 | 27.470 % | 6.50/6.55 c | 41058 | 237 500 2106 | 14265 7661 51 | 27.470 % | 7.79/7.85 c | 49707 | 236 500 2106 | 15692 9042 64 | 27.470 % | 9.48/9.55 c | 62681 | 236 500 2106 | 17261 14079 42 | 27.470 % | 12.48/12.59 c | 82142 | 235 500 2106 | 18987 16017 50 | 27.470 % | 17.89/17.96 c | 111334 | 235 500 2106 | 20886 16410 35 | 27.470 % | 28.18/28.25 c | 155124 | 235 500 2106 | 22974 17879 53 | 27.470 % | 43.08/43.16 c | 220808 | 235 500 2106 | 25272 21917 46 | 27.470 % | 68.87/68.93 c | 319334 | 234 500 2106 | 27799 19446 44 | 27.787 % | 128.96/129.01 c | 467123 | 234 500 2106 | 30579 15769 54 | 27.779 % | 181.65/181.79 c There are 100 assigned variables. 9 in cost function. 182.15/182.21 c ============================[ Search Statistics ]============================== 182.15/182.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.15/182.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.15/182.21 c =============================================================================== 182.15/182.21 c | 0 | 224 433 1357 | 5000 0 nan | 0.000 % | 182.25/182.30 c | 100 | 224 433 1357 | 5500 100 68 | 30.866 % | 182.25/182.31 c | 251 | 224 433 1357 | 6050 251 70 | 30.865 % | 182.25/182.34 c | 476 | 224 433 1357 | 6655 476 70 | 30.865 % | 182.25/182.38 c | 813 | 224 433 1357 | 7320 813 65 | 30.865 % | 182.34/182.44 c | 1320 | 224 433 1357 | 8052 1320 63 | 30.865 % | 182.45/182.53 c | 2079 | 224 433 1357 | 8857 2079 58 | 30.865 % | 182.55/182.69 c | 3219 | 224 433 1357 | 9743 3219 55 | 30.865 % | 182.84/182.93 c | 4927 | 224 433 1357 | 10717 4927 52 | 30.865 % | 183.34/183.42 c | 7489 | 224 433 1357 | 11789 7489 48 | 30.865 % | 184.14/184.27 c | 11333 | 224 433 1357 | 12968 11333 44 | 30.865 % | 185.54/185.69 c | 17099 | 224 433 1357 | 14265 10527 36 | 30.865 % | 187.54/187.68 c | 25748 | 224 433 1357 | 15692 11951 32 | 30.865 % | 191.14/191.25 c | 38723 | 224 433 1357 | 17261 9078 26 | 30.865 % | 195.84/195.97 c | 58185 | 224 433 1357 | 18987 11105 22 | 30.865 % | 202.94/203.03 c | 87377 | 224 433 1357 | 20886 11569 26 | 30.865 % | 216.04/216.16 c | 131166 | 224 433 1357 | 22974 13255 21 | 30.865 % | 225.13/225.27 c =============================================================================== 225.13/225.27 c core #1 225.13/225.27 c 225.13/225.27 c 225.13/225.27 c Core size: 74 Core Weight: 2147483647 Total Weight: -2147483647 225.13/225.27 c 225.13/225.27 c 225.13/225.27 c Memory used : 164.38 MB 225.13/225.27 c CPU time : 223.013 s 225.13/225.27 c 225.13/225.27 s UNSATISFIABLE 225.13/225.27 c Total CPU time: 223.014 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-2701943-1278546261/watcher-2701943-1278546261 -o /tmp/evaluation-result-2701943-1278546261/solver-2701943-1278546261 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701943-1278546261.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.17 0.06 0.01 3/106 26757 /proc/meminfo: memFree=1756696/2059040 swapFree=4139492/4192956 [pid=26757] ppid=26755 vsize=2576 CPUtime=0 /proc/26757/stat : 26757 (wbo1.4b) R 26755 26757 26531 0 -1 4202496 306 0 0 0 0 0 0 0 18 0 1 0 22838319 2637824 219 1992294400 134512640 135752675 4289446176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26757/statm: 644 219 144 303 0 339 0 [startup+0.0949989 s] /proc/loadavg: 0.17 0.06 0.01 3/106 26757 /proc/meminfo: memFree=1756696/2059040 swapFree=4139492/4192956 [pid=26757] ppid=26755 vsize=2960 CPUtime=0.08 /proc/26757/stat : 26757 (wbo1.4b) R 26755 26757 26531 0 -1 4202496 409 0 0 0 8 0 0 0 20 0 1 0 22838319 3031040 322 1992294400 134512640 135752675 4289446176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26757/statm: 740 322 145 303 0 435 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2960 [startup+0.100999 s] /proc/loadavg: 0.17 0.06 0.01 3/106 26757 /proc/meminfo: memFree=1756696/2059040 swapFree=4139492/4192956 [pid=26757] ppid=26755 vsize=3088 CPUtime=0.09 /proc/26757/stat : 26757 (wbo1.4b) R 26755 26757 26531 0 -1 4202496 415 0 0 0 9 0 0 0 20 0 1 0 22838319 3162112 328 1992294400 134512640 135752675 4289446176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26757/statm: 772 329 145 303 0 467 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3088 [startup+0.300997 s] /proc/loadavg: 0.17 0.06 0.01 3/106 26757 /proc/meminfo: memFree=1756696/2059040 swapFree=4139492/4192956 [pid=26757] ppid=26755 vsize=3736 CPUtime=0.29 /proc/26757/stat : 26757 (wbo1.4b) R 26755 26757 26531 0 -1 4202496 602 0 0 0 28 1 0 0 20 0 1 0 22838319 3825664 515 1992294400 134512640 135752675 4289446176 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26757/statm: 934 516 145 303 0 629 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3736 [startup+0.700992 s] /proc/loadavg: 0.17 0.06 0.01 3/106 26757 /proc/meminfo: memFree=1756696/2059040 swapFree=4139492/4192956 [pid=26757] ppid=26755 vsize=4896 CPUtime=0.69 /proc/26757/stat : 26757 (wbo1.4b) R 26755 26757 26531 0 -1 4202496 867 0 0 0 67 2 0 0 21 0 1 0 22838319 5013504 780 1992294400 134512640 135752675 4289446176 18446744073709551615 134605368 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26757/statm: 1224 780 145 303 0 919 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4896 [startup+1.50098 s] /proc/loadavg: 0.17 0.06 0.01 2/107 26758 /proc/meminfo: memFree=1754084/2059040 swapFree=4139492/4192956 [pid=26757] ppid=26755 vsize=6192 CPUtime=1.49 /proc/26757/stat : 26757 (wbo1.4b) R 26755 26757 26531 0 -1 4202496 1216 0 0 0 146 3 0 0 24 0 1 0 22838319 6340608 1129 1992294400 134512640 135752675 4289446176 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26757/statm: 1548 1129 145 303 0 1243 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6192 [startup+3.10097 s] /proc/loadavg: 0.17 0.06 0.01 2/107 26758 /proc/meminfo: memFree=1751604/2059040 swapFree=4139492/4192956 [pid=26757] ppid=26755 vsize=8948 CPUtime=3.09 /proc/26757/stat : 26757 (wbo1.4b) R 26755 26757 26531 0 -1 4202496 1878 0 0 0 303 6 0 0 25 0 1 0 22838319 9162752 1791 1992294400 134512640 135752675 4289446176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26757/statm: 2237 1791 145 303 0 1932 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8948 [startup+6.30093 s] /proc/loadavg: 0.24 0.07 0.02 2/107 26758 /proc/meminfo: memFree=1746644/2059040 swapFree=4139492/4192956 [pid=26757] ppid=26755 vsize=14384 CPUtime=6.29 /proc/26757/stat : 26757 (wbo1.4b) R 26755 26757 26531 0 -1 4202496 3237 0 0 0 619 10 0 0 25 0 1 0 22838319 14729216 3150 1992294400 134512640 135752675 4289446176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26757/statm: 3596 3150 145 303 0 3291 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14384 [startup+12.7009 s] /proc/loadavg: 0.30 0.09 0.02 2/107 26758 /proc/meminfo: memFree=1733500/2059040 swapFree=4139492/4192956 [pid=26757] ppid=26755 vsize=27036 CPUtime=12.69 /proc/26757/stat : 26757 (wbo1.4b) R 26755 26757 26531 0 -1 4202496 6409 0 0 0 1247 22 0 0 25 0 1 0 22838319 27684864 6322 1992294400 134512640 135752675 4289446176 18446744073709551615 134611594 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26757/statm: 6759 6322 145 303 0 6454 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27036 [startup+25.5007 s] /proc/loadavg: 0.46 0.13 0.04 2/107 26758 /proc/meminfo: memFree=1715024/2059040 swapFree=4139492/4192956 [pid=26757] ppid=26755 vsize=44964 CPUtime=25.48 /proc/26757/stat : 26757 (wbo1.4b) R 26755 26757 26531 0 -1 4202496 10856 0 0 0 2510 38 0 0 25 0 1 0 22838319 46043136 10769 1992294400 134512640 135752675 4289446176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26757/statm: 11241 10769 145 303 0 10936 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44964 [startup+51.1005 s] /proc/loadavg: 0.64 0.20 0.06 2/107 26760 /proc/meminfo: memFree=1688116/2059040 swapFree=4139492/4192956 [pid=26757] ppid=26755 vsize=72004 CPUtime=51.08 /proc/26757/stat : 26757 (wbo1.4b) R 26755 26757 26531 0 -1 4202496 17618 0 0 0 5036 72 0 0 25 0 1 0 22838319 73732096 17531 1992294400 134512640 135752675 4289446176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26757/statm: 18001 17531 145 303 0 17696 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 72004 [startup+102.309 s] /proc/loadavg: 0.84 0.32 0.11 2/107 26760 /proc/meminfo: memFree=1646080/2059040 swapFree=4139492/4192956 [pid=26757] ppid=26755 vsize=113424 CPUtime=102.27 /proc/26757/stat : 26757 (wbo1.4b) R 26755 26757 26531 0 -1 4202496 27931 0 0 0 10109 118 0 0 25 0 1 0 22838319 116146176 27844 1992294400 134512640 135752675 4289446176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26757/statm: 28356 27844 145 303 0 28051 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 113424 [startup+162.3 s] /proc/loadavg: 0.94 0.44 0.16 2/107 26762 /proc/meminfo: memFree=1610740/2059040 swapFree=4139492/4192956 [pid=26757] ppid=26755 vsize=149188 CPUtime=162.25 /proc/26757/stat : 26757 (wbo1.4b) R 26755 26757 26531 0 -1 4202496 36814 0 0 0 16064 161 0 0 25 0 1 0 22838319 152768512 36727 1992294400 134512640 135752675 4289446176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26757/statm: 37297 36727 145 303 0 36992 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 149188 [startup+222.301 s] /proc/loadavg: 0.98 0.54 0.21 2/107 26764 /proc/meminfo: memFree=1592388/2059040 swapFree=4139492/4192956 [pid=26757] ppid=26755 vsize=166864 CPUtime=222.23 /proc/26757/stat : 26757 (wbo1.4b) R 26755 26757 26531 0 -1 4202496 41364 0 0 0 22008 215 0 0 25 0 1 0 22838319 170868736 41246 1992294400 134512640 135752675 4289446176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26757/statm: 41716 41246 146 303 0 41411 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 166864 Solver just ended. Dumping a history of the last processes samples [startup+223.901 s] /proc/loadavg: 0.98 0.54 0.21 2/107 26764 /proc/meminfo: memFree=1592016/2059040 swapFree=4139492/4192956 [pid=26757] ppid=26755 vsize=167524 CPUtime=223.83 /proc/26757/stat : 26757 (wbo1.4b) R 26755 26757 26531 0 -1 4202496 41556 0 0 0 22166 217 0 0 25 0 1 0 22838319 171544576 41438 1992294400 134512640 135752675 4289446176 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26757/statm: 41881 41438 146 303 0 41576 0 Current children cumulated CPU time (s) 223.83 Current children cumulated vsize (KiB) 167524 [startup+224.701 s] /proc/loadavg: 0.98 0.54 0.21 2/107 26764 /proc/meminfo: memFree=1591396/2059040 swapFree=4139492/4192956 [pid=26757] ppid=26755 vsize=167920 CPUtime=224.64 /proc/26757/stat : 26757 (wbo1.4b) R 26755 26757 26531 0 -1 4202496 41653 0 0 0 22245 219 0 0 25 0 1 0 22838319 171950080 41535 1992294400 134512640 135752675 4289446176 18446744073709551615 134638016 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26757/statm: 41980 41535 146 303 0 41675 0 Current children cumulated CPU time (s) 224.64 Current children cumulated vsize (KiB) 167920 [startup+225.101 s] /proc/loadavg: 0.98 0.54 0.21 2/107 26764 /proc/meminfo: memFree=1591396/2059040 swapFree=4139492/4192956 [pid=26757] ppid=26755 vsize=168184 CPUtime=225.03 /proc/26757/stat : 26757 (wbo1.4b) R 26755 26757 26531 0 -1 4202496 41724 0 0 0 22284 219 0 0 25 0 1 0 22838319 172220416 41606 1992294400 134512640 135752675 4289446176 18446744073709551615 134638100 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26757/statm: 42046 41606 146 303 0 41741 0 Current children cumulated CPU time (s) 225.03 Current children cumulated vsize (KiB) 168184 [startup+225.201 s] /proc/loadavg: 0.98 0.54 0.21 2/107 26764 /proc/meminfo: memFree=1591396/2059040 swapFree=4139492/4192956 [pid=26757] ppid=26755 vsize=168316 CPUtime=225.13 /proc/26757/stat : 26757 (wbo1.4b) R 26755 26757 26531 0 -1 4202496 41741 0 0 0 22294 219 0 0 25 0 1 0 22838319 172355584 41623 1992294400 134512640 135752675 4289446176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26757/statm: 42079 41623 146 303 0 41774 0 Current children cumulated CPU time (s) 225.13 Current children cumulated vsize (KiB) 168316 Child status: 0 Real time (s): 225.29 CPU time (s): 225.231 CPU user time (s): 223.014 CPU system time (s): 2.21666 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 168316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 223.014 system time used= 2.21666 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41752 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= 2 involuntary context switches= 1082 runsolver used 0.386941 second user time and 1.06184 second system time The end
Begin job on node019 at 2010-07-08 01:44:22 IDJOB=2701943 IDBENCH=47906 IDSOLVER=1190 FILE ID=node019/2701943-1278546261 PBS_JOBID= 11239513 Free space on /tmp= 62344 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=263-P1=409-P2=29-P3=379-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-2701943-1278546261/watcher-2701943-1278546261 -o /tmp/evaluation-result-2701943-1278546261/solver-2701943-1278546261 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701943-1278546261.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 947e947c586d02edcb816b66608818b9 RANDOM SEED=406189216 node019.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.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1757720 kB Buffers: 42704 kB Cached: 170780 kB SwapCached: 7112 kB Active: 124928 kB Inactive: 102576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1757720 kB SwapTotal: 4192956 kB SwapFree: 4139492 kB Dirty: 2828 kB Writeback: 0 kB AnonPages: 11516 kB Mapped: 11860 kB Slab: 51944 kB PageTables: 4148 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182204 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-2701943-1278546261.opb Free space on /tmp at the end= 62344 MiB End job on node019 at 2010-07-08 01:48:07