Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.07 | 1800.73 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3709.opb |
MD5SUM | 7d8773951a908fd3c2652ff6acba65e8 |
Bench Category | OPT-BIGINT (optimisation, big 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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4559348765 |
Optimality of the best value was proved | NO |
Number of variables | 155000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 4294967296 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 29610373267604 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 4294967296 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 29610373267604 |
Number of bits of the biggest sum of numbers | 45 |
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.04 c INFO: OSL Context initialized. 0.04 c BIG Int formula... 6.41 c Initial problem consists of 155000 variables and 5300 constraints. 6.86 c No problem reductions applied in OPT. instance. 6.86 c preprocess terminated. Elapsed time: 6.827 6.86 c After prepocess the problem consists of 95964 variables and 5300 constraints. 6.86 c Initial Lower Bound: 0 8.92 c Restart #1 #Var: 95964 LB: 0 @ 8.89 12.06 c Restart #2 #Var: 95964 LB: 0 @ 12.02 16.33 c Restart #3 #Var: 95964 LB: 0 @ 16.29 21.66 c Restart #4 #Var: 95964 LB: 0 @ 21.623 28.30 c Restart #5 #Var: 95964 LB: 0 @ 28.261 36.28 c Restart #6 #Var: 95964 LB: 0 @ 36.23 45.57 c Restart #7 #Var: 95964 LB: 0 @ 45.518 55.99 c Restart #8 #Var: 95964 LB: 0 @ 55.936 67.24 c Restart #9 #Var: 95964 LB: 0 @ 67.184 78.95 c Restart #10 #Var: 95964 LB: 0 @ 78.892 89.60 c Restart #11 #Var: 95964 LB: 0 @ 89.537 130.57 c Restart #12 #Var: 95964 LB: 0 @ 130.5 141.04 c Restart #13 #Var: 95964 LB: 0 @ 140.96 191.36 c Restart #14 #Var: 95964 LB: 0 @ 191.26 203.93 c Restart #15 #Var: 95964 LB: 0 @ 203.83 218.85 c Restart #16 #Var: 95964 LB: 0 @ 218.74 235.02 c Restart #17 #Var: 95964 LB: 0 @ 234.9 248.82 c Restart #18 #Var: 95964 LB: 0 @ 248.7 264.46 c Restart #19 #Var: 95964 LB: 0 @ 264.33 283.85 c Restart #20 #Var: 95964 LB: 0 @ 283.72 303.43 c Restart #21 #Var: 95964 LB: 0 @ 303.3 321.78 c Restart #22 #Var: 95964 LB: 0 @ 321.64 340.02 c Restart #23 #Var: 95964 LB: 0 @ 339.88 359.65 c Restart #24 #Var: 95964 LB: 0 @ 359.49 442.19 c Restart #25 #Var: 95964 LB: 0 @ 442 464.33 c Restart #26 #Var: 95964 LB: 0 @ 464.14 484.22 c Restart #27 #Var: 95964 LB: 0 @ 484.02 513.17 c Restart #28 #Var: 95964 LB: 0 @ 512.96 536.38 c Restart #29 #Var: 95964 LB: 0 @ 536.16 567.35 c Restart #30 #Var: 95964 LB: 0 @ 567.12 593.60 c Restart #31 #Var: 95964 LB: 0 @ 593.36 622.78 c Restart #32 #Var: 95964 LB: 0 @ 622.53 651.18 c Restart #33 #Var: 95964 LB: 0 @ 650.93 679.38 c Restart #34 #Var: 95964 LB: 0 @ 679.11 712.66 c Restart #35 #Var: 95964 LB: 0 @ 712.39 829.69 c Restart #36 #Var: 95964 LB: 0 @ 829.38 1800.68 s UNKNOWN 1800.68 c Exit Code: 0 1800.68 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/node67/watcher-40553-1149303884 -o ROOT/results/node67/solver-40553-1149303884 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node67/40553-1149303884/instance-40553-1149303884.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1540560/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=4928 CPUtime=0 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 358 0 0 0 0 0 0 0 19 0 1 0 196057826 5046272 322 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7159072 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 1233 330 226 55 0 125 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1360424/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=190844 CPUtime=9.96 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 165155 0 0 0 933 63 0 0 25 0 1 0 196057826 195424256 45247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 47711 45247 297 55 0 46603 0 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 190844 [startup+20.0081 s] /proc/loadavg: 0.94 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1360688/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=190800 CPUtime=19.96 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 165169 0 0 0 1916 80 0 0 25 0 1 0 196057826 195379200 45248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 47700 45248 297 55 0 46592 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 190800 [startup+30.014 s] /proc/loadavg: 0.95 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1360752/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=190800 CPUtime=29.96 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 165169 0 0 0 2899 97 0 0 25 0 1 0 196057826 195379200 45248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 47700 45248 297 55 0 46592 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 190800 [startup+40.0198 s] /proc/loadavg: 0.96 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1360752/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=190800 CPUtime=39.97 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 165169 0 0 0 3885 112 0 0 25 0 1 0 196057826 195379200 45248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 47700 45248 297 55 0 46592 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 190800 [startup+50.0257 s] /proc/loadavg: 0.96 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1360816/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=190792 CPUtime=49.96 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 165170 0 0 0 4870 126 0 0 25 0 1 0 196057826 195371008 45249 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 47698 45249 297 55 0 46590 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 190792 [startup+60.0316 s] /proc/loadavg: 0.97 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1360816/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=190792 CPUtime=59.97 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 165170 0 0 0 5857 140 0 0 25 0 1 0 196057826 195371008 45249 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 47698 45249 297 55 0 46590 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 190792 [startup+70.0375 s] /proc/loadavg: 0.97 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1358960/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=192748 CPUtime=69.97 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 165721 0 0 0 6845 152 0 0 25 0 1 0 196057826 197373952 45721 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 48187 45721 297 55 0 47079 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 192748 [startup+80.0434 s] /proc/loadavg: 0.98 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1355952/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=195524 CPUtime=79.97 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 166563 0 0 0 7831 166 0 0 25 0 1 0 196057826 200216576 46432 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 48881 46432 297 55 0 47773 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 195524 [startup+90.0492 s] /proc/loadavg: 0.98 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1355952/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=195524 CPUtime=89.98 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 166564 0 0 0 8825 173 0 0 25 0 1 0 196057826 200216576 46433 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 48881 46433 297 55 0 47773 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 195524 [startup+100.055 s] /proc/loadavg: 0.98 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1350128/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=201568 CPUtime=99.98 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 168066 0 0 0 9823 175 0 0 25 0 1 0 196057826 206405632 47935 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7323209 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 50392 47935 297 55 0 49284 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 201568 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1349808/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=202060 CPUtime=109.98 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 168476 0 0 0 10823 175 0 0 25 0 1 0 196057826 206909440 48051 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 50515 48051 297 55 0 49407 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 202060 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1349552/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=202208 CPUtime=119.98 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 168533 0 0 0 11823 175 0 0 25 0 1 0 196057826 207060992 48108 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 50552 48108 297 55 0 49444 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 202208 [startup+130.076 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1349232/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=202604 CPUtime=129.98 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 168618 0 0 0 12823 175 0 0 25 0 1 0 196057826 207466496 48193 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 50651 48193 297 55 0 49543 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 202604 [startup+140.083 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1349360/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=202208 CPUtime=140 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 168618 0 0 0 13823 177 0 0 25 0 1 0 196057826 207060992 48115 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 50552 48115 297 55 0 49444 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 202208 [startup+150.089 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1349360/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=202208 CPUtime=150 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 168618 0 0 0 14823 177 0 0 25 0 1 0 196057826 207060992 48115 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 50552 48115 297 55 0 49444 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 202208 [startup+160.094 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1349360/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=202208 CPUtime=160 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 168618 0 0 0 15823 177 0 0 25 0 1 0 196057826 207060992 48115 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 50552 48115 297 55 0 49444 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 202208 [startup+170.101 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1349360/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=202208 CPUtime=170 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 168618 0 0 0 16823 177 0 0 25 0 1 0 196057826 207060992 48115 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7323202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 50552 48115 297 55 0 49444 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 202208 [startup+180.107 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1349360/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=202208 CPUtime=180 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 168618 0 0 0 17823 177 0 0 25 0 1 0 196057826 207060992 48115 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 50552 48115 297 55 0 49444 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 202208 [startup+190.113 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1349360/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=202208 CPUtime=190.01 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 168618 0 0 0 18824 177 0 0 25 0 1 0 196057826 207060992 48115 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 50552 48115 297 55 0 49444 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 202208 [startup+200.119 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1349360/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=202208 CPUtime=200.01 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 168618 0 0 0 19824 177 0 0 25 0 1 0 196057826 207060992 48115 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 50552 48115 297 55 0 49444 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 202208 [startup+210.125 s] /proc/loadavg: 0.99 0.98 0.99 2/64 25211 /proc/meminfo: memFree=1349360/2055920 swapFree=4181736/4192956 ################ # More data... # ################ /proc/25211/statm: 51986 49554 297 55 0 50878 0 Current children cumulated CPU time (s) 1760.42 Current children cumulated vsize (Kb) 207944 [startup+1771.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25213 /proc/meminfo: memFree=1343472/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=207944 CPUtime=1770.42 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 170330 0 0 0 176821 221 0 0 25 0 1 0 196057826 212934656 49554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 51986 49554 297 55 0 50878 0 Current children cumulated CPU time (s) 1770.42 Current children cumulated vsize (Kb) 207944 [startup+1781.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25213 /proc/meminfo: memFree=1343472/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=207944 CPUtime=1780.43 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 170330 0 0 0 177822 221 0 0 25 0 1 0 196057826 212934656 49554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 51986 49554 297 55 0 50878 0 Current children cumulated CPU time (s) 1780.43 Current children cumulated vsize (Kb) 207944 [startup+1782.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25213 /proc/meminfo: memFree=1343472/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=207944 CPUtime=1781.43 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 170330 0 0 0 177922 221 0 0 25 0 1 0 196057826 212934656 49554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 51986 49554 297 55 0 50878 0 Current children cumulated CPU time (s) 1781.43 Current children cumulated vsize (Kb) 207944 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25213 /proc/meminfo: memFree=1343472/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=207944 CPUtime=1782.44 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 170330 0 0 0 178023 221 0 0 25 0 1 0 196057826 212934656 49554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 51986 49554 297 55 0 50878 0 Current children cumulated CPU time (s) 1782.44 Current children cumulated vsize (Kb) 207944 [startup+1784.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25213 /proc/meminfo: memFree=1343472/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=207944 CPUtime=1783.44 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 170330 0 0 0 178123 221 0 0 25 0 1 0 196057826 212934656 49554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 51986 49554 297 55 0 50878 0 Current children cumulated CPU time (s) 1783.44 Current children cumulated vsize (Kb) 207944 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25213 /proc/meminfo: memFree=1343472/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=207944 CPUtime=1784.45 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 170330 0 0 0 178224 221 0 0 25 0 1 0 196057826 212934656 49554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 51986 49554 297 55 0 50878 0 Current children cumulated CPU time (s) 1784.45 Current children cumulated vsize (Kb) 207944 [startup+1786.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25213 /proc/meminfo: memFree=1343472/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=207944 CPUtime=1785.45 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 170330 0 0 0 178324 221 0 0 25 0 1 0 196057826 212934656 49554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548369 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 51986 49554 297 55 0 50878 0 Current children cumulated CPU time (s) 1785.45 Current children cumulated vsize (Kb) 207944 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25213 /proc/meminfo: memFree=1343472/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=207944 CPUtime=1786.45 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 170330 0 0 0 178424 221 0 0 25 0 1 0 196057826 212934656 49554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 51986 49554 297 55 0 50878 0 Current children cumulated CPU time (s) 1786.45 Current children cumulated vsize (Kb) 207944 [startup+1788.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25213 /proc/meminfo: memFree=1343472/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=207944 CPUtime=1787.46 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 170330 0 0 0 178525 221 0 0 25 0 1 0 196057826 212934656 49554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 51986 49554 297 55 0 50878 0 Current children cumulated CPU time (s) 1787.46 Current children cumulated vsize (Kb) 207944 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25213 /proc/meminfo: memFree=1343472/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=207944 CPUtime=1788.46 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 170330 0 0 0 178625 221 0 0 25 0 1 0 196057826 212934656 49554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 51986 49554 297 55 0 50878 0 Current children cumulated CPU time (s) 1788.46 Current children cumulated vsize (Kb) 207944 [startup+1790.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25213 /proc/meminfo: memFree=1343472/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=207944 CPUtime=1789.47 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 170330 0 0 0 178726 221 0 0 25 0 1 0 196057826 212934656 49554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 51986 49554 297 55 0 50878 0 Current children cumulated CPU time (s) 1789.47 Current children cumulated vsize (Kb) 207944 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25213 /proc/meminfo: memFree=1343472/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=207944 CPUtime=1790.47 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 170330 0 0 0 178826 221 0 0 25 0 1 0 196057826 212934656 49554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 51986 49554 297 55 0 50878 0 Current children cumulated CPU time (s) 1790.47 Current children cumulated vsize (Kb) 207944 [startup+1792.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25213 /proc/meminfo: memFree=1343472/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=207944 CPUtime=1791.48 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 170330 0 0 0 178927 221 0 0 25 0 1 0 196057826 212934656 49554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 51986 49554 297 55 0 50878 0 Current children cumulated CPU time (s) 1791.48 Current children cumulated vsize (Kb) 207944 [startup+1793.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25213 /proc/meminfo: memFree=1343472/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=207944 CPUtime=1792.48 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 170330 0 0 0 179027 221 0 0 25 0 1 0 196057826 212934656 49554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 51986 49554 297 55 0 50878 0 Current children cumulated CPU time (s) 1792.48 Current children cumulated vsize (Kb) 207944 [startup+1794.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25213 /proc/meminfo: memFree=1343472/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=207944 CPUtime=1793.49 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 170330 0 0 0 179128 221 0 0 25 0 1 0 196057826 212934656 49554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 51986 49554 297 55 0 50878 0 Current children cumulated CPU time (s) 1793.49 Current children cumulated vsize (Kb) 207944 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25213 /proc/meminfo: memFree=1343472/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=207944 CPUtime=1794.49 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 170330 0 0 0 179228 221 0 0 25 0 1 0 196057826 212934656 49554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 51986 49554 297 55 0 50878 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (Kb) 207944 [startup+1796.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25213 /proc/meminfo: memFree=1343472/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=207944 CPUtime=1795.5 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 170330 0 0 0 179329 221 0 0 25 0 1 0 196057826 212934656 49554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 51986 49554 297 55 0 50878 0 Current children cumulated CPU time (s) 1795.5 Current children cumulated vsize (Kb) 207944 [startup+1797.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25213 /proc/meminfo: memFree=1343408/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=208108 CPUtime=1796.5 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 170351 0 0 0 179429 221 0 0 25 0 1 0 196057826 213102592 49575 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 52027 49575 297 55 0 50919 0 Current children cumulated CPU time (s) 1796.5 Current children cumulated vsize (Kb) 208108 [startup+1798.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25213 /proc/meminfo: memFree=1343344/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=208108 CPUtime=1797.5 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 170352 0 0 0 179529 221 0 0 25 0 1 0 196057826 213102592 49576 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 52027 49576 297 55 0 50919 0 Current children cumulated CPU time (s) 1797.5 Current children cumulated vsize (Kb) 208108 [startup+1799.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25213 /proc/meminfo: memFree=1343344/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=208108 CPUtime=1798.51 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 170352 0 0 0 179630 221 0 0 25 0 1 0 196057826 213102592 49576 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 52027 49576 297 55 0 50919 0 Current children cumulated CPU time (s) 1798.51 Current children cumulated vsize (Kb) 208108 [startup+1800.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25213 /proc/meminfo: memFree=1343344/2055920 swapFree=4181736/4192956 [pid=25211] ppid=25209 vsize=208108 CPUtime=1799.51 /proc/25211/stat : 25211 (bsolo) R 25209 25211 25165 0 -1 0 170352 0 0 0 179730 221 0 0 25 0 1 0 196057826 213102592 49576 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25211/statm: 52027 49576 297 55 0 50919 0 Current children cumulated CPU time (s) 1799.51 Current children cumulated vsize (Kb) 208108 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.07 CPU user time (s): 1797.82 CPU system time (s): 2.24866 CPU usage (%): 99.9634 Max. virtual memory (cumulated for all children) (Kb): 208108
Begin job on node67 on Sat Jun 3 03:04:44 UTC 2006 FILE ID= 40553-1149303884 PBS_JOBID= 307525 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3709.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node67/40553-1149303884/instance-40553-1149303884.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-40553-1149303884 -o ROOT/results/node67/solver-40553-1149303884 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node67/40553-1149303884/instance-40553-1149303884.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 7d8773951a908fd3c2652ff6acba65e8 RANDOM SEED= 923130911 /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.264 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 : 5931.00 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.264 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: 1540768 kB Buffers: 30804 kB Cached: 411280 kB SwapCached: 2840 kB Active: 85076 kB Inactive: 365704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1540768 kB SwapTotal: 4192956 kB SwapFree: 4181736 kB Dirty: 108 kB Writeback: 0 kB Mapped: 14724 kB Slab: 50344 kB Committed_AS: 288156 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node67 on Sat Jun 3 03:34:45 UTC 2006