Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.1 | 1800.7 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-dano3_4.opb |
MD5SUM | 8bcab2e61229633d937bbb81a9edbb1b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 404566 |
Total number of constraints | 3686 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 4 |
Number of constraints which are nor clauses,nor cardinality constraints | 3682 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 15900 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 535830 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.08 c INFO: OSL Context initialized. 41.58 c Initial problem consists of 404566 variables and 4910 constraints. 46.21 c preprocess terminated. Elapsed time: 46.106 46.21 c After prepocess the problem consists of 295626 variables and 4895 constraints. 46.21 c Initial Lower Bound: 0 1800.60 s UNKNOWN 1800.60 c Exit Code: 0 1800.60 c Total time: 1800 s
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node66/watcher-39837-1149258224 -o ROOT/results/node66/solver-39837-1149258224 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node66/39837-1149258224/instance-39837-1149258224.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.96 3/64 13215 /proc/meminfo: memFree=1177912/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=4932 CPUtime=0 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 366 0 0 0 0 0 0 0 19 0 1 0 191490521 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 1233 330 226 55 0 125 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.98 0.96 2/64 13215 /proc/meminfo: memFree=895032/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=288888 CPUtime=9.91 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 87471 0 0 0 955 36 0 0 25 0 1 0 191490521 295821312 70962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10108781 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 72222 70962 281 55 0 71114 0 Current children cumulated CPU time (s) 9.91 Current children cumulated vsize (Kb) 288888 [startup+20.0083 s] /proc/loadavg: 0.94 0.98 0.96 2/64 13215 /proc/meminfo: memFree=866424/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=321388 CPUtime=19.91 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 94940 0 0 0 1952 39 0 0 25 0 1 0 191490521 329101312 78103 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537450 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 80347 78103 281 55 0 79239 0 Current children cumulated CPU time (s) 19.91 Current children cumulated vsize (Kb) 321388 [startup+30.0146 s] /proc/loadavg: 0.95 0.98 0.96 2/64 13215 /proc/meminfo: memFree=848824/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=343772 CPUtime=29.91 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 99782 0 0 0 2950 41 0 0 25 0 1 0 191490521 352022528 82572 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537436 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13215/statm: 85943 82572 281 55 0 84835 0 Current children cumulated CPU time (s) 29.91 Current children cumulated vsize (Kb) 343772 [startup+40.0208 s] /proc/loadavg: 0.96 0.98 0.96 2/64 13215 /proc/meminfo: memFree=804920/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=390960 CPUtime=39.91 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 111007 0 0 0 3947 44 0 0 25 0 1 0 191490521 400343040 93524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158042082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 97740 93524 281 55 0 96632 0 Current children cumulated CPU time (s) 39.91 Current children cumulated vsize (Kb) 390960 [startup+50.028 s] /proc/loadavg: 0.96 0.98 0.96 2/64 13215 /proc/meminfo: memFree=574520/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634216 CPUtime=49.91 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168512 0 0 0 4923 68 0 0 25 0 1 0 191490521 649437184 151029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134556045 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158554 151029 296 55 0 157446 0 Current children cumulated CPU time (s) 49.91 Current children cumulated vsize (Kb) 634216 [startup+60.0342 s] /proc/loadavg: 0.97 0.98 0.96 2/64 13215 /proc/meminfo: memFree=574520/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634216 CPUtime=59.91 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168512 0 0 0 5923 68 0 0 25 0 1 0 191490521 649437184 151029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158554 151029 296 55 0 157446 0 Current children cumulated CPU time (s) 59.91 Current children cumulated vsize (Kb) 634216 [startup+70.0405 s] /proc/loadavg: 0.97 0.98 0.96 2/64 13215 /proc/meminfo: memFree=574520/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634216 CPUtime=69.91 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168512 0 0 0 6923 68 0 0 25 0 1 0 191490521 649437184 151029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134552121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158554 151029 296 55 0 157446 0 Current children cumulated CPU time (s) 69.91 Current children cumulated vsize (Kb) 634216 [startup+80.0467 s] /proc/loadavg: 0.98 0.98 0.96 2/64 13215 /proc/meminfo: memFree=574520/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634216 CPUtime=79.92 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168512 0 0 0 7924 68 0 0 25 0 1 0 191490521 649437184 151029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134552130 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158554 151029 296 55 0 157446 0 Current children cumulated CPU time (s) 79.92 Current children cumulated vsize (Kb) 634216 [startup+90.0529 s] /proc/loadavg: 0.98 0.98 0.96 2/64 13215 /proc/meminfo: memFree=574520/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634216 CPUtime=89.92 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168512 0 0 0 8924 68 0 0 25 0 1 0 191490521 649437184 151029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158554 151029 296 55 0 157446 0 Current children cumulated CPU time (s) 89.92 Current children cumulated vsize (Kb) 634216 [startup+100.059 s] /proc/loadavg: 0.98 0.98 0.96 2/64 13215 /proc/meminfo: memFree=574520/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634216 CPUtime=99.93 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168512 0 0 0 9925 68 0 0 25 0 1 0 191490521 649437184 151029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649188 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158554 151029 296 55 0 157446 0 Current children cumulated CPU time (s) 99.93 Current children cumulated vsize (Kb) 634216 [startup+110.066 s] /proc/loadavg: 0.98 0.98 0.96 2/64 13215 /proc/meminfo: memFree=574520/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634216 CPUtime=109.93 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168512 0 0 0 10925 68 0 0 25 0 1 0 191490521 649437184 151029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649150 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158554 151029 296 55 0 157446 0 Current children cumulated CPU time (s) 109.93 Current children cumulated vsize (Kb) 634216 [startup+120.073 s] /proc/loadavg: 0.99 0.98 0.96 2/64 13215 /proc/meminfo: memFree=574520/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634216 CPUtime=119.93 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168512 0 0 0 11925 68 0 0 25 0 1 0 191490521 649437184 151029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158554 151029 296 55 0 157446 0 Current children cumulated CPU time (s) 119.93 Current children cumulated vsize (Kb) 634216 [startup+130.079 s] /proc/loadavg: 0.99 0.98 0.96 2/64 13215 /proc/meminfo: memFree=574520/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634216 CPUtime=129.93 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168512 0 0 0 12925 68 0 0 25 0 1 0 191490521 649437184 151029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158554 151029 296 55 0 157446 0 Current children cumulated CPU time (s) 129.93 Current children cumulated vsize (Kb) 634216 [startup+140.085 s] /proc/loadavg: 0.99 0.98 0.96 2/64 13215 /proc/meminfo: memFree=574520/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634216 CPUtime=139.94 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168512 0 0 0 13926 68 0 0 25 0 1 0 191490521 649437184 151029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557793 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158554 151029 296 55 0 157446 0 Current children cumulated CPU time (s) 139.94 Current children cumulated vsize (Kb) 634216 [startup+150.091 s] /proc/loadavg: 0.99 0.98 0.96 2/64 13215 /proc/meminfo: memFree=574520/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634216 CPUtime=149.94 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168512 0 0 0 14926 68 0 0 25 0 1 0 191490521 649437184 151029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158554 151029 296 55 0 157446 0 Current children cumulated CPU time (s) 149.94 Current children cumulated vsize (Kb) 634216 [startup+160.097 s] /proc/loadavg: 0.99 0.98 0.96 2/64 13215 /proc/meminfo: memFree=574520/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634216 CPUtime=159.95 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168514 0 0 0 15926 69 0 0 25 0 1 0 191490521 649437184 151031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158554 151031 296 55 0 157446 0 Current children cumulated CPU time (s) 159.95 Current children cumulated vsize (Kb) 634216 [startup+170.103 s] /proc/loadavg: 0.99 0.98 0.96 2/64 13215 /proc/meminfo: memFree=574520/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634216 CPUtime=169.96 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168514 0 0 0 16927 69 0 0 25 0 1 0 191490521 649437184 151031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555544 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158554 151031 296 55 0 157446 0 Current children cumulated CPU time (s) 169.96 Current children cumulated vsize (Kb) 634216 [startup+180.109 s] /proc/loadavg: 0.99 0.98 0.96 2/64 13215 /proc/meminfo: memFree=574520/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634216 CPUtime=179.96 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168514 0 0 0 17927 69 0 0 25 0 1 0 191490521 649437184 151031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158554 151031 296 55 0 157446 0 Current children cumulated CPU time (s) 179.96 Current children cumulated vsize (Kb) 634216 [startup+190.115 s] /proc/loadavg: 0.99 0.98 0.96 2/64 13215 /proc/meminfo: memFree=574520/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634216 CPUtime=189.96 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168514 0 0 0 18927 69 0 0 25 0 1 0 191490521 649437184 151031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134556076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158554 151031 296 55 0 157446 0 Current children cumulated CPU time (s) 189.96 Current children cumulated vsize (Kb) 634216 [startup+200.121 s] /proc/loadavg: 0.99 0.98 0.96 2/64 13215 /proc/meminfo: memFree=574520/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634216 CPUtime=199.97 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168514 0 0 0 19928 69 0 0 25 0 1 0 191490521 649437184 151031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158554 151031 296 55 0 157446 0 Current children cumulated CPU time (s) 199.97 Current children cumulated vsize (Kb) 634216 [startup+210.131 s] /proc/loadavg: 0.99 0.98 0.96 2/64 13215 /proc/meminfo: memFree=574520/2055920 swapFree=4182232/4192956 ################ # More data... # ################ /proc/13215/statm: 158719 151224 296 55 0 157611 0 Current children cumulated CPU time (s) 1760.64 Current children cumulated vsize (Kb) 634876 [startup+1771.23 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13217 /proc/meminfo: memFree=573432/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634876 CPUtime=1770.64 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168709 0 0 0 176985 79 0 0 25 0 1 0 191490521 650113024 151226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158719 151226 296 55 0 157611 0 Current children cumulated CPU time (s) 1770.64 Current children cumulated vsize (Kb) 634876 [startup+1781.24 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13217 /proc/meminfo: memFree=573432/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634876 CPUtime=1780.64 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168709 0 0 0 177985 79 0 0 25 0 1 0 191490521 650113024 151226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649150 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158719 151226 296 55 0 157611 0 Current children cumulated CPU time (s) 1780.64 Current children cumulated vsize (Kb) 634876 [startup+1782.24 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13217 /proc/meminfo: memFree=573432/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634876 CPUtime=1781.65 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168709 0 0 0 178086 79 0 0 25 0 1 0 191490521 650113024 151226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645741 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158719 151226 296 55 0 157611 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (Kb) 634876 [startup+1783.25 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13217 /proc/meminfo: memFree=573432/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634876 CPUtime=1782.65 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168709 0 0 0 178186 79 0 0 25 0 1 0 191490521 650113024 151226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158719 151226 296 55 0 157611 0 Current children cumulated CPU time (s) 1782.65 Current children cumulated vsize (Kb) 634876 [startup+1784.25 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13217 /proc/meminfo: memFree=573432/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634876 CPUtime=1783.66 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168709 0 0 0 178287 79 0 0 25 0 1 0 191490521 650113024 151226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158719 151226 296 55 0 157611 0 Current children cumulated CPU time (s) 1783.66 Current children cumulated vsize (Kb) 634876 [startup+1785.26 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13217 /proc/meminfo: memFree=573432/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634876 CPUtime=1784.66 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168709 0 0 0 178387 79 0 0 25 0 1 0 191490521 650113024 151226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644482 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158719 151226 296 55 0 157611 0 Current children cumulated CPU time (s) 1784.66 Current children cumulated vsize (Kb) 634876 [startup+1786.26 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13217 /proc/meminfo: memFree=573432/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634876 CPUtime=1785.67 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168709 0 0 0 178488 79 0 0 25 0 1 0 191490521 650113024 151226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158719 151226 296 55 0 157611 0 Current children cumulated CPU time (s) 1785.67 Current children cumulated vsize (Kb) 634876 [startup+1787.27 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13217 /proc/meminfo: memFree=573432/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634876 CPUtime=1786.67 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168709 0 0 0 178588 79 0 0 25 0 1 0 191490521 650113024 151226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158719 151226 296 55 0 157611 0 Current children cumulated CPU time (s) 1786.67 Current children cumulated vsize (Kb) 634876 [startup+1788.27 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13217 /proc/meminfo: memFree=573432/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634876 CPUtime=1787.68 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168709 0 0 0 178689 79 0 0 25 0 1 0 191490521 650113024 151226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158719 151226 296 55 0 157611 0 Current children cumulated CPU time (s) 1787.68 Current children cumulated vsize (Kb) 634876 [startup+1789.28 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13217 /proc/meminfo: memFree=573432/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634876 CPUtime=1788.68 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168709 0 0 0 178789 79 0 0 25 0 1 0 191490521 650113024 151226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535097 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158719 151226 296 55 0 157611 0 Current children cumulated CPU time (s) 1788.68 Current children cumulated vsize (Kb) 634876 [startup+1790.28 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13217 /proc/meminfo: memFree=573432/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634876 CPUtime=1789.69 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168709 0 0 0 178890 79 0 0 25 0 1 0 191490521 650113024 151226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158719 151226 296 55 0 157611 0 Current children cumulated CPU time (s) 1789.69 Current children cumulated vsize (Kb) 634876 [startup+1791.29 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13217 /proc/meminfo: memFree=573432/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634876 CPUtime=1790.69 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168709 0 0 0 178990 79 0 0 25 0 1 0 191490521 650113024 151226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555929 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158719 151226 296 55 0 157611 0 Current children cumulated CPU time (s) 1790.69 Current children cumulated vsize (Kb) 634876 [startup+1792.29 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13217 /proc/meminfo: memFree=573432/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634876 CPUtime=1791.69 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168709 0 0 0 179090 79 0 0 25 0 1 0 191490521 650113024 151226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158719 151226 296 55 0 157611 0 Current children cumulated CPU time (s) 1791.69 Current children cumulated vsize (Kb) 634876 [startup+1793.3 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13217 /proc/meminfo: memFree=573432/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634876 CPUtime=1792.7 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168709 0 0 0 179191 79 0 0 25 0 1 0 191490521 650113024 151226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535097 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158719 151226 296 55 0 157611 0 Current children cumulated CPU time (s) 1792.7 Current children cumulated vsize (Kb) 634876 [startup+1794.3 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13217 /proc/meminfo: memFree=573432/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634876 CPUtime=1793.7 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168709 0 0 0 179291 79 0 0 25 0 1 0 191490521 650113024 151226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158719 151226 296 55 0 157611 0 Current children cumulated CPU time (s) 1793.7 Current children cumulated vsize (Kb) 634876 [startup+1795.31 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13217 /proc/meminfo: memFree=573432/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634876 CPUtime=1794.71 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168709 0 0 0 179392 79 0 0 25 0 1 0 191490521 650113024 151226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555883 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158719 151226 296 55 0 157611 0 Current children cumulated CPU time (s) 1794.71 Current children cumulated vsize (Kb) 634876 [startup+1796.31 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13217 /proc/meminfo: memFree=573432/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634876 CPUtime=1795.71 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168709 0 0 0 179492 79 0 0 25 0 1 0 191490521 650113024 151226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555884 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158719 151226 296 55 0 157611 0 Current children cumulated CPU time (s) 1795.71 Current children cumulated vsize (Kb) 634876 [startup+1797.32 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13217 /proc/meminfo: memFree=573432/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634876 CPUtime=1796.72 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168709 0 0 0 179593 79 0 0 25 0 1 0 191490521 650113024 151226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158719 151226 296 55 0 157611 0 Current children cumulated CPU time (s) 1796.72 Current children cumulated vsize (Kb) 634876 [startup+1798.32 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13217 /proc/meminfo: memFree=573432/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634876 CPUtime=1797.72 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168709 0 0 0 179693 79 0 0 25 0 1 0 191490521 650113024 151226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158719 151226 296 55 0 157611 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (Kb) 634876 [startup+1799.33 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13217 /proc/meminfo: memFree=573432/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634876 CPUtime=1798.73 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168709 0 0 0 179794 79 0 0 25 0 1 0 191490521 650113024 151226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134552112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158719 151226 296 55 0 157611 0 Current children cumulated CPU time (s) 1798.73 Current children cumulated vsize (Kb) 634876 [startup+1800.33 s] /proc/loadavg: 1.00 1.00 0.96 2/64 13217 /proc/meminfo: memFree=573432/2055920 swapFree=4182232/4192956 [pid=13215] ppid=13213 vsize=634876 CPUtime=1799.73 /proc/13215/stat : 13215 (bsolo) R 13213 13215 13169 0 -1 0 168709 0 0 0 179894 79 0 0 25 0 1 0 191490521 650113024 151226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557877 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13215/statm: 158719 151226 296 55 0 157611 0 Current children cumulated CPU time (s) 1799.73 Current children cumulated vsize (Kb) 634876 Child status: 0 Real time (s): 1800.7 CPU time (s): 1800.1 CPU user time (s): 1799.21 CPU system time (s): 0.888864 CPU usage (%): 99.967 Max. virtual memory (cumulated for all children) (Kb): 634876
Begin job on node66 on Fri Jun 2 14:23:44 UTC 2006 FILE ID= 39837-1149258224 PBS_JOBID= 298496 BENCH NAME= ROOT/tmp/node66/39837-1149258224/instance-39837-1149258224.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node66/39837-1149258224/instance-39837-1149258224.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-39837-1149258224 -o ROOT/results/node66/solver-39837-1149258224 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node66/39837-1149258224/instance-39837-1149258224.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 8bcab2e61229633d937bbb81a9edbb1b RANDOM SEED= 333614274 /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.225 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.225 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1178056 kB Buffers: 38988 kB Cached: 764004 kB SwapCached: 2536 kB Active: 137576 kB Inactive: 674264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1178056 kB SwapTotal: 4192956 kB SwapFree: 4182232 kB Dirty: 188 kB Writeback: 0 kB Mapped: 15196 kB Slab: 52032 kB Committed_AS: 223768 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node66 on Fri Jun 2 14:53:45 UTC 2006