Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.04 | 1800.57 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g250.29.opb |
MD5SUM | b0a7c1cc13cb603591c6d50e3dba1a47 |
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 | 14500 |
Total number of constraints | 461872 |
Number of constraints which are clauses | 461872 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 14500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 14500 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 14500 |
Number of bits of the biggest sum of numbers | 14 |
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.02 c INFO: OSL Context initialized. 7.04 c Initial problem consists of 14500 variables and 461872 constraints. 81.40 c No problem reductions applied in OPT. instance. 81.40 c preprocess terminated. Elapsed time: 81.361 81.40 c After prepocess the problem consists of 14500 variables and 461872 constraints. 81.40 c Initial Lower Bound: 0 83.64 c Restart #1 #Var: 14500 LB: 0 @ 83.594 86.42 c Restart #2 #Var: 14500 LB: 0 @ 86.373 102.77 c Restart #3 #Var: 14500 LB: 0 @ 102.72 129.26 c Restart #4 #Var: 14500 LB: 0 @ 129.21 161.68 c Restart #5 #Var: 14500 LB: 0 @ 161.61 204.29 c Restart #6 #Var: 14500 LB: 0 @ 204.21 245.16 c Restart #7 #Var: 14500 LB: 0 @ 245.07 291.73 c Restart #8 #Var: 14500 LB: 0 @ 291.63 345.44 c Restart #9 #Var: 14500 LB: 0 @ 345.33 397.35 c Restart #10 #Var: 14500 LB: 0 @ 397.22 468.60 c Restart #11 #Var: 14500 LB: 0 @ 468.45 538.90 c Restart #12 #Var: 14500 LB: 0 @ 538.73 607.95 c Restart #13 #Var: 14500 LB: 0 @ 607.76 693.89 c Restart #14 #Var: 14500 LB: 0 @ 693.68 776.26 c Restart #15 #Var: 14500 LB: 0 @ 776.02 851.86 c Restart #16 #Var: 14500 LB: 0 @ 851.6 938.66 c CHANGE Heuristic... 938.66 c Restart #0 #Var: 14500 LB: 0 @ 938.38 941.03 c Restart #1 #Var: 14500 LB: 0 @ 940.74 949.14 c Restart #2 #Var: 14500 LB: 0 @ 948.85 974.51 c Restart #3 #Var: 14500 LB: 0 @ 974.21 995.09 c Restart #4 #Var: 14500 LB: 0 @ 994.79 1017.31 c Restart #5 #Var: 14500 LB: 0 @ 1017 1050.83 c Restart #6 #Var: 14500 LB: 0 @ 1050.5 1081.64 c Restart #7 #Var: 14500 LB: 0 @ 1081.3 1127.48 c Restart #8 #Var: 14500 LB: 0 @ 1127.1 1180.65 c Restart #9 #Var: 14500 LB: 0 @ 1180.3 1240.27 c Restart #10 #Var: 14500 LB: 0 @ 1239.9 1296.02 c Restart #11 #Var: 14500 LB: 0 @ 1295.6 1360.43 c Restart #12 #Var: 14500 LB: 0 @ 1360 1429.86 c Restart #13 #Var: 14500 LB: 0 @ 1429.4 1504.18 c Restart #14 #Var: 14500 LB: 0 @ 1503.7 1578.99 c Restart #15 #Var: 14500 LB: 0 @ 1578.5 1667.70 c Restart #16 #Var: 14500 LB: 0 @ 1667.2 1751.18 c Restart #17 #Var: 14500 LB: 0 @ 1750.7 1800.53 s UNKNOWN 1800.53 c Exit Code: 0 1800.53 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/node30/watcher-40306-1149409275 -o ROOT/results/node30/solver-40306-1149409275 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node30/40306-1149409275/instance-40306-1149409275.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1827184/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=436 CPUtime=0 /proc/7949/stat : 7949 (bsolo) D 7947 7949 7903 0 -1 0 38 0 0 0 0 0 0 0 18 0 1 0 206591209 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7017252 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/7949/statm: 109 23 18 55 0 18 0 [startup+10.002 s] /proc/loadavg: 0.93 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1608176/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=223476 CPUtime=9.97 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 55035 0 0 0 974 23 0 0 25 0 1 0 206591209 228839424 54950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644615 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 55869 54950 287 55 0 54761 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 223476 [startup+20.0081 s] /proc/loadavg: 0.94 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1608440/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=223476 CPUtime=19.97 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 55035 0 0 0 1974 23 0 0 25 0 1 0 206591209 228839424 54950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 55869 54950 287 55 0 54761 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 223476 [startup+30.0141 s] /proc/loadavg: 0.95 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1608504/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=223476 CPUtime=29.98 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 55035 0 0 0 2975 23 0 0 25 0 1 0 206591209 228839424 54950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644717 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 55869 54950 287 55 0 54761 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 223476 [startup+40.0202 s] /proc/loadavg: 0.96 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1608568/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=223476 CPUtime=39.98 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 55035 0 0 0 3975 23 0 0 25 0 1 0 206591209 228839424 54950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 55869 54950 287 55 0 54761 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 223476 [startup+50.0262 s] /proc/loadavg: 0.96 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1597816/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=234308 CPUtime=49.98 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 57743 0 0 0 4974 24 0 0 25 0 1 0 206591209 239931392 57658 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134641859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 58577 57658 287 55 0 57469 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 234308 [startup+60.0323 s] /proc/loadavg: 0.97 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1597816/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=234308 CPUtime=59.98 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 57743 0 0 0 5974 24 0 0 25 0 1 0 206591209 239931392 57658 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134641865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 58577 57658 287 55 0 57469 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 234308 [startup+70.0383 s] /proc/loadavg: 0.97 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1597752/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=234308 CPUtime=69.99 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 57743 0 0 0 6975 24 0 0 25 0 1 0 206591209 239931392 57658 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134641865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 58577 57658 287 55 0 57469 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 234308 [startup+80.0444 s] /proc/loadavg: 0.98 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1597752/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=234308 CPUtime=79.99 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 57743 0 0 0 7975 24 0 0 25 0 1 0 206591209 239931392 57658 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134641865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 58577 57658 287 55 0 57469 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 234308 [startup+90.0504 s] /proc/loadavg: 0.98 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1596408/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=235800 CPUtime=90 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58113 0 0 0 8975 25 0 0 25 0 1 0 206591209 241459200 58028 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 58950 58028 296 55 0 57842 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 235800 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1596216/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=235932 CPUtime=100 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58147 0 0 0 9975 25 0 0 25 0 1 0 206591209 241594368 58062 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 58983 58062 296 55 0 57875 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 235932 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1596152/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=236064 CPUtime=110 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58172 0 0 0 10975 25 0 0 25 0 1 0 206591209 241729536 58087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540623 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 59016 58087 296 55 0 57908 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 236064 [startup+120.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1596024/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=236196 CPUtime=120.01 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58197 0 0 0 11976 25 0 0 25 0 1 0 206591209 241864704 58112 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 59049 58112 296 55 0 57941 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 236196 [startup+130.076 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1595832/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=236328 CPUtime=130.01 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58235 0 0 0 12976 25 0 0 25 0 1 0 206591209 241999872 58150 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 59082 58150 296 55 0 57974 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 236328 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1595832/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=236276 CPUtime=140.02 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58235 0 0 0 13976 26 0 0 25 0 1 0 206591209 241946624 58150 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540599 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 59069 58150 296 55 0 57961 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 236276 [startup+150.088 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1595640/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=236540 CPUtime=150.02 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58281 0 0 0 14976 26 0 0 25 0 1 0 206591209 242216960 58196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542124 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 59135 58196 296 55 0 58027 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 236540 [startup+160.094 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1595576/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=236672 CPUtime=160.02 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58307 0 0 0 15976 26 0 0 25 0 1 0 206591209 242352128 58222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 59168 58222 296 55 0 58060 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 236672 [startup+170.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1595576/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=236672 CPUtime=170.02 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58307 0 0 0 16976 26 0 0 25 0 1 0 206591209 242352128 58222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 59168 58222 296 55 0 58060 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 236672 [startup+180.107 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1595576/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=236672 CPUtime=180.02 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58307 0 0 0 17976 26 0 0 25 0 1 0 206591209 242352128 58222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 59168 58222 296 55 0 58060 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 236672 [startup+190.113 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1595576/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=236672 CPUtime=190.04 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58307 0 0 0 18977 27 0 0 25 0 1 0 206591209 242352128 58222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542120 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 59168 58222 296 55 0 58060 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 236672 [startup+200.119 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1595512/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=236672 CPUtime=200.04 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 58307 0 0 0 19977 27 0 0 25 0 1 0 206591209 242352128 58222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 59168 58222 296 55 0 58060 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 236672 [startup+210.125 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7949 /proc/meminfo: memFree=1595512/2055920 swapFree=4180796/4192956 ################ # More data... # ################ /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1760.57 Current children cumulated vsize (Kb) 241044 [startup+1771.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7951 /proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=241044 CPUtime=1770.57 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 177005 52 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1770.57 Current children cumulated vsize (Kb) 241044 [startup+1781.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7951 /proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=241044 CPUtime=1780.57 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 178005 52 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1780.57 Current children cumulated vsize (Kb) 241044 [startup+1782.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7951 /proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=241044 CPUtime=1781.58 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 178106 52 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (Kb) 241044 [startup+1783.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7951 /proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=241044 CPUtime=1782.58 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 178206 52 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542141 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1782.58 Current children cumulated vsize (Kb) 241044 [startup+1784.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7951 /proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=241044 CPUtime=1783.58 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 178306 52 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1783.58 Current children cumulated vsize (Kb) 241044 [startup+1785.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7951 /proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=241044 CPUtime=1784.59 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 178407 52 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1784.59 Current children cumulated vsize (Kb) 241044 [startup+1786.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7951 /proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=241044 CPUtime=1785.59 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 178507 52 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1785.59 Current children cumulated vsize (Kb) 241044 [startup+1787.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7951 /proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=241044 CPUtime=1786.61 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 178608 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537906 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (Kb) 241044 [startup+1788.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7951 /proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=241044 CPUtime=1787.61 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 178708 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1787.61 Current children cumulated vsize (Kb) 241044 [startup+1789.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7951 /proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=241044 CPUtime=1788.62 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 178809 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1788.62 Current children cumulated vsize (Kb) 241044 [startup+1790.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7951 /proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=241044 CPUtime=1789.62 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 178909 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 241044 [startup+1791.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7951 /proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=241044 CPUtime=1790.63 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 179010 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1790.63 Current children cumulated vsize (Kb) 241044 [startup+1792.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7951 /proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=241044 CPUtime=1791.63 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 179110 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1791.63 Current children cumulated vsize (Kb) 241044 [startup+1793.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7951 /proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=241044 CPUtime=1792.64 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 179211 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542265 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1792.64 Current children cumulated vsize (Kb) 241044 [startup+1794.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7951 /proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=241044 CPUtime=1793.64 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 179311 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524533 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1793.64 Current children cumulated vsize (Kb) 241044 [startup+1795.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7951 /proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=241044 CPUtime=1794.65 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 179412 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (Kb) 241044 [startup+1796.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7951 /proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=241044 CPUtime=1795.65 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 179512 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1795.65 Current children cumulated vsize (Kb) 241044 [startup+1797.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7951 /proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=241044 CPUtime=1796.66 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 179613 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1796.66 Current children cumulated vsize (Kb) 241044 [startup+1798.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7951 /proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=241044 CPUtime=1797.66 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 179713 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (Kb) 241044 [startup+1799.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7951 /proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=241044 CPUtime=1798.67 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 179814 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537707 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1798.67 Current children cumulated vsize (Kb) 241044 [startup+1800.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7951 /proc/meminfo: memFree=1590584/2055920 swapFree=4180796/4192956 [pid=7949] ppid=7947 vsize=241044 CPUtime=1799.67 /proc/7949/stat : 7949 (bsolo) R 7947 7949 7903 0 -1 0 59476 0 0 0 179914 53 0 0 25 0 1 0 206591209 246829056 59362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7949/statm: 60261 59362 296 55 0 59153 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (Kb) 241044 Child status: 0 Real time (s): 1800.57 CPU time (s): 1800.04 CPU user time (s): 1799.47 CPU system time (s): 0.569913 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (Kb): 241044
Begin job on node30 on Sun Jun 4 08:21:16 UTC 2006 FILE ID= 40306-1149409275 PBS_JOBID= 314590 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.29.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node30/40306-1149409275/instance-40306-1149409275.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-40306-1149409275 -o ROOT/results/node30/solver-40306-1149409275 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node30/40306-1149409275/instance-40306-1149409275.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= b0a7c1cc13cb603591c6d50e3dba1a47 RANDOM SEED= 169647015 /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.216 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.216 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: 1827392 kB Buffers: 16348 kB Cached: 149532 kB SwapCached: 3576 kB Active: 51716 kB Inactive: 122644 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1827392 kB SwapTotal: 4192956 kB SwapFree: 4180796 kB Dirty: 220 kB Writeback: 0 kB Mapped: 14424 kB Slab: 40224 kB Committed_AS: 385000 kB PageTables: 1396 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node30 on Sun Jun 4 08:51:16 UTC 2006