Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | UNSAT | 1148.6 | 1148.94 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb |
MD5SUM | 2b5564b5f03b34138f988fcf164c2fb6 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 20.5579 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 87751 |
Total number of constraints | 254772 |
Number of constraints which are clauses | 247060 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 7712 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 130 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 512 |
Number of bits of the biggest sum of numbers | 10 |
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. 21.29 c Initial problem consists of 87751 variables and 254772 constraints. 35.06 c Using non-optimization problem switches. 35.06 c No problem reductions applied in OPT. instance. 35.06 c preprocess terminated. Elapsed time: 35.028 35.06 c After prepocess the problem consists of 83898 variables and 246000 constraints. 44.43 c Restart #1 #Var: 83895 LB: 0 @ 44.394 60.75 c Restart #2 #Var: 83895 LB: 0 @ 60.714 78.24 c Restart #3 #Var: 83895 LB: 0 @ 78.197 98.17 c Restart #4 #Var: 83895 LB: 0 @ 98.119 116.23 c Restart #5 #Var: 83895 LB: 0 @ 116.17 137.40 c Restart #6 #Var: 83892 LB: 0 @ 137.34 145.37 c Restart #7 #Var: 83891 LB: 0 @ 145.31 153.89 c Restart #8 #Var: 83891 LB: 0 @ 153.83 159.91 c Restart #9 #Var: 83891 LB: 0 @ 159.84 163.12 c Restart #10 #Var: 83891 LB: 0 @ 163.06 231.49 c Restart #11 #Var: 83881 LB: 0 @ 231.41 255.65 c Restart #12 #Var: 83881 LB: 0 @ 255.56 333.16 c Restart #13 #Var: 83865 LB: 0 @ 333.05 368.24 c Restart #14 #Var: 83865 LB: 0 @ 368.11 390.05 c Restart #15 #Var: 83863 LB: 0 @ 389.92 391.54 c Restart #16 #Var: 83863 LB: 0 @ 391.4 477.21 c Restart #17 #Var: 83863 LB: 0 @ 477.06 509.32 c Restart #18 #Var: 83863 LB: 0 @ 509.16 567.17 c Restart #19 #Var: 83852 LB: 0 @ 566.99 654.86 c Restart #20 #Var: 83852 LB: 0 @ 654.66 747.52 c Restart #21 #Var: 83852 LB: 0 @ 747.29 778.59 c Restart #22 #Var: 83852 LB: 0 @ 778.35 893.30 c Restart #23 #Var: 83796 LB: 0 @ 893.03 977.20 c CHANGE Heuristic... 977.20 c Restart #0 #Var: 83741 LB: 0 @ 976.91 983.47 c Restart #1 #Var: 83705 LB: 0 @ 983.18 994.80 c Restart #2 #Var: 83705 LB: 0 @ 994.5 1010.61 c Restart #3 #Var: 83705 LB: 0 @ 1010.3 1035.87 c Restart #4 #Var: 83704 LB: 0 @ 1035.6 1052.24 c Restart #5 #Var: 83704 LB: 0 @ 1051.9 1101.92 c Restart #6 #Var: 83703 LB: 0 @ 1101.6 1142.38 c Restart #7 #Var: 76532 LB: 0 @ 1142 1148.90 s UNSATISFIABLE 1148.90 c Exit Code: 20 1148.90 c Total time: 1148.6 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/node87/watcher-39743-1149240447 -o ROOT/results/node87/solver-39743-1149240447 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/39743-1149240447/instance-39743-1149240447.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1680608/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=2900 CPUtime=0 /proc/21229/stat : 21229 (bsolo) D 21227 21229 21184 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 189683896 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11240372 0 2147483391 4096 0 18446744072099917094 0 0 17 1 0 0 /proc/21229/statm: 725 27 19 55 0 38 0 [startup+10.0019 s] /proc/loadavg: 0.93 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1587640/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=97880 CPUtime=9.97 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 1363162 0 0 0 636 361 0 0 25 0 1 0 189683896 100229120 23558 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21229/statm: 24470 23558 278 55 0 23361 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 97880 [startup+20.0081 s] /proc/loadavg: 0.94 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1545784/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=140288 CPUtime=19.97 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 3236284 0 0 0 1147 850 0 0 25 0 1 0 189683896 143654912 34034 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 35072 34042 278 55 0 33963 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 140288 [startup+30.0143 s] /proc/loadavg: 0.95 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1485240/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=202532 CPUtime=29.98 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 3836119 0 0 0 1951 1047 0 0 25 0 1 0 189683896 207392768 49126 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134641129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 50633 49126 288 55 0 49524 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 202532 [startup+40.0204 s] /proc/loadavg: 0.95 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1468792/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=219980 CPUtime=39.97 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4375622 0 0 0 2762 1235 0 0 25 0 1 0 189683896 225259520 53306 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 54995 53306 297 55 0 53886 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 219980 [startup+50.0266 s] /proc/loadavg: 0.96 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1468664/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=220112 CPUtime=49.98 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4375653 0 0 0 3762 1236 0 0 25 0 1 0 189683896 225394688 53337 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 55028 53337 297 55 0 53919 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 220112 [startup+60.0318 s] /proc/loadavg: 0.97 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1468600/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=220112 CPUtime=59.98 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4375682 0 0 0 4762 1236 0 0 25 0 1 0 189683896 225394688 53366 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 55028 53366 297 55 0 53919 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 220112 [startup+70.0379 s] /proc/loadavg: 0.97 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1468472/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=220244 CPUtime=69.99 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4375711 0 0 0 5762 1237 0 0 25 0 1 0 189683896 225529856 53395 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542145 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 55061 53395 297 55 0 53952 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 220244 [startup+80.0441 s] /proc/loadavg: 0.98 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1468280/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=220376 CPUtime=79.99 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4375747 0 0 0 6762 1237 0 0 25 0 1 0 189683896 225665024 53431 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 55094 53431 297 55 0 53985 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 220376 [startup+90.0503 s] /proc/loadavg: 0.98 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1468152/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=220640 CPUtime=89.99 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4375787 0 0 0 7761 1238 0 0 25 0 1 0 189683896 225935360 53471 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 55160 53471 297 55 0 54051 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 220640 [startup+100.056 s] /proc/loadavg: 0.98 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1467960/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=220772 CPUtime=100 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4375826 0 0 0 8761 1239 0 0 25 0 1 0 189683896 226070528 53510 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 55193 53510 297 55 0 54084 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 220772 [startup+110.063 s] /proc/loadavg: 0.98 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1467704/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=221036 CPUtime=110 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4375889 0 0 0 9760 1240 0 0 25 0 1 0 189683896 226340864 53573 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 55259 53573 297 55 0 54150 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 221036 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1467512/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=221168 CPUtime=120.01 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4375938 0 0 0 10760 1241 0 0 25 0 1 0 189683896 226476032 53622 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 55292 53622 297 55 0 54183 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 221168 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1467320/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=221432 CPUtime=130.01 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4375984 0 0 0 11760 1241 0 0 25 0 1 0 189683896 226746368 53668 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 55358 53668 297 55 0 54249 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 221432 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1467064/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=221696 CPUtime=140.01 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4376057 0 0 0 12759 1242 0 0 25 0 1 0 189683896 227016704 53741 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541145 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 55424 53741 297 55 0 54315 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 221696 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1466296/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=222356 CPUtime=150.02 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4376239 0 0 0 13759 1243 0 0 25 0 1 0 189683896 227692544 53923 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 55589 53923 297 55 0 54480 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 222356 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1465208/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=223412 CPUtime=160.02 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4376506 0 0 0 14758 1244 0 0 25 0 1 0 189683896 228773888 54190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 55853 54190 297 55 0 54744 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 223412 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1464696/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=223940 CPUtime=170.02 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4376639 0 0 0 15758 1244 0 0 25 0 1 0 189683896 229314560 54323 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542147 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 55985 54323 297 55 0 54876 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 223940 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1464504/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=224204 CPUtime=180.03 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4376682 0 0 0 16759 1244 0 0 25 0 1 0 189683896 229584896 54366 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718917 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 56051 54366 297 55 0 54942 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 224204 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1464376/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=224336 CPUtime=190.03 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4376725 0 0 0 17759 1244 0 0 25 0 1 0 189683896 229720064 54409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541404 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 56084 54409 297 55 0 54975 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 224336 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1464184/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=224468 CPUtime=200.03 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4376766 0 0 0 18759 1244 0 0 25 0 1 0 189683896 229855232 54450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 56117 54450 297 55 0 55008 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 224468 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21229 /proc/meminfo: memFree=1463992/2055888 swapFree=4085412/4096564 ################ # More data... # ################ /proc/21229/statm: 61436 59749 297 55 0 60327 0 Current children cumulated CPU time (s) 930.28 Current children cumulated vsize (Kb) 245744 [startup+940.564 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21231 /proc/meminfo: memFree=1442488/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=246136 CPUtime=940.27 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4382166 0 0 0 92769 1258 0 0 25 0 1 0 189683896 252043264 59850 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134599108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 61534 59850 297 55 0 60425 0 Current children cumulated CPU time (s) 940.27 Current children cumulated vsize (Kb) 246136 [startup+950.57 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21231 /proc/meminfo: memFree=1442232/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=246400 CPUtime=950.28 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4382221 0 0 0 93770 1258 0 0 25 0 1 0 189683896 252313600 59905 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 61600 59905 297 55 0 60491 0 Current children cumulated CPU time (s) 950.28 Current children cumulated vsize (Kb) 246400 [startup+960.576 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21231 /proc/meminfo: memFree=1441976/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=246664 CPUtime=960.28 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4382285 0 0 0 94770 1258 0 0 25 0 1 0 189683896 252583936 59969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 61666 59969 297 55 0 60557 0 Current children cumulated CPU time (s) 960.28 Current children cumulated vsize (Kb) 246664 [startup+970.582 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21231 /proc/meminfo: memFree=1441720/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=246928 CPUtime=970.28 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4382353 0 0 0 95770 1258 0 0 25 0 1 0 189683896 252854272 60037 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 61732 60037 297 55 0 60623 0 Current children cumulated CPU time (s) 970.28 Current children cumulated vsize (Kb) 246928 [startup+980.588 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21231 /proc/meminfo: memFree=1441208/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=247456 CPUtime=980.28 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4382816 0 0 0 96770 1258 0 0 25 0 1 0 189683896 253394944 60164 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 61864 60164 297 55 0 60755 0 Current children cumulated CPU time (s) 980.28 Current children cumulated vsize (Kb) 247456 [startup+990.593 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21231 /proc/meminfo: memFree=1440952/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=247720 CPUtime=990.29 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4382885 0 0 0 97770 1259 0 0 25 0 1 0 189683896 253665280 60233 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 61930 60233 297 55 0 60821 0 Current children cumulated CPU time (s) 990.29 Current children cumulated vsize (Kb) 247720 [startup+1000.6 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21231 /proc/meminfo: memFree=1440440/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=248116 CPUtime=1000.29 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4382999 0 0 0 98770 1259 0 0 25 0 1 0 189683896 254070784 60347 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 62029 60347 297 55 0 60920 0 Current children cumulated CPU time (s) 1000.29 Current children cumulated vsize (Kb) 248116 [startup+1010.6 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21231 /proc/meminfo: memFree=1440312/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=248248 CPUtime=1010.3 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383041 0 0 0 99771 1259 0 0 25 0 1 0 189683896 254205952 60389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 62062 60389 297 55 0 60953 0 Current children cumulated CPU time (s) 1010.3 Current children cumulated vsize (Kb) 248248 [startup+1020.61 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21231 /proc/meminfo: memFree=1440120/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=248512 CPUtime=1020.3 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383087 0 0 0 100771 1259 0 0 25 0 1 0 189683896 254476288 60435 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 62128 60435 297 55 0 61019 0 Current children cumulated CPU time (s) 1020.3 Current children cumulated vsize (Kb) 248512 [startup+1030.62 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21231 /proc/meminfo: memFree=1439992/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=248644 CPUtime=1030.31 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383125 0 0 0 101771 1260 0 0 25 0 1 0 189683896 254611456 60473 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 62161 60473 297 55 0 61052 0 Current children cumulated CPU time (s) 1030.31 Current children cumulated vsize (Kb) 248644 [startup+1040.62 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21231 /proc/meminfo: memFree=1439800/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=248776 CPUtime=1040.31 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383160 0 0 0 102771 1260 0 0 25 0 1 0 189683896 254746624 60508 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528844 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 62194 60508 297 55 0 61085 0 Current children cumulated CPU time (s) 1040.31 Current children cumulated vsize (Kb) 248776 [startup+1050.63 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21231 /proc/meminfo: memFree=1439608/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=249040 CPUtime=1050.31 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383218 0 0 0 103771 1260 0 0 25 0 1 0 189683896 255016960 60566 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537607 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 62260 60566 297 55 0 61151 0 Current children cumulated CPU time (s) 1050.31 Current children cumulated vsize (Kb) 249040 [startup+1060.63 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21231 /proc/meminfo: memFree=1439288/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=249304 CPUtime=1060.31 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383286 0 0 0 104770 1261 0 0 25 0 1 0 189683896 255287296 60634 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595889 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 62326 60634 297 55 0 61217 0 Current children cumulated CPU time (s) 1060.31 Current children cumulated vsize (Kb) 249304 [startup+1070.64 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21231 /proc/meminfo: memFree=1439160/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=249436 CPUtime=1070.32 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383320 0 0 0 105771 1261 0 0 25 0 1 0 189683896 255422464 60668 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 62359 60668 297 55 0 61250 0 Current children cumulated CPU time (s) 1070.32 Current children cumulated vsize (Kb) 249436 [startup+1080.65 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21231 /proc/meminfo: memFree=1439032/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=249568 CPUtime=1080.32 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383354 0 0 0 106771 1261 0 0 25 0 1 0 189683896 255557632 60702 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633165 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 62392 60702 297 55 0 61283 0 Current children cumulated CPU time (s) 1080.32 Current children cumulated vsize (Kb) 249568 [startup+1090.65 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21231 /proc/meminfo: memFree=1438904/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=249700 CPUtime=1090.32 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383393 0 0 0 107771 1261 0 0 25 0 1 0 189683896 255692800 60741 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 62425 60741 297 55 0 61316 0 Current children cumulated CPU time (s) 1090.32 Current children cumulated vsize (Kb) 249700 [startup+1100.66 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21231 /proc/meminfo: memFree=1438712/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=249832 CPUtime=1100.33 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383431 0 0 0 108771 1262 0 0 25 0 1 0 189683896 255827968 60779 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 62458 60779 297 55 0 61349 0 Current children cumulated CPU time (s) 1100.33 Current children cumulated vsize (Kb) 249832 [startup+1110.66 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21231 /proc/meminfo: memFree=1438520/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=250096 CPUtime=1110.33 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383476 0 0 0 109771 1262 0 0 25 0 1 0 189683896 256098304 60824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 62524 60824 297 55 0 61415 0 Current children cumulated CPU time (s) 1110.33 Current children cumulated vsize (Kb) 250096 [startup+1120.67 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21231 /proc/meminfo: memFree=1438328/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=250228 CPUtime=1120.33 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383524 0 0 0 110771 1262 0 0 25 0 1 0 189683896 256233472 60872 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541544 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 62557 60872 297 55 0 61448 0 Current children cumulated CPU time (s) 1120.33 Current children cumulated vsize (Kb) 250228 [startup+1130.68 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21231 /proc/meminfo: memFree=1438072/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=250492 CPUtime=1130.34 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383593 0 0 0 111772 1262 0 0 25 0 1 0 189683896 256503808 60941 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 62623 60941 297 55 0 61514 0 Current children cumulated CPU time (s) 1130.34 Current children cumulated vsize (Kb) 250492 [startup+1140.68 s] /proc/loadavg: 0.99 0.97 0.96 2/67 21231 /proc/meminfo: memFree=1437880/2055888 swapFree=4085412/4096564 [pid=21229] ppid=21227 vsize=250624 CPUtime=1140.34 /proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383641 0 0 0 112772 1262 0 0 25 0 1 0 189683896 256638976 60989 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528880 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21229/statm: 62656 60989 297 55 0 61547 0 Current children cumulated CPU time (s) 1140.34 Current children cumulated vsize (Kb) 250624 Child status: 20 Real time (s): 1148.94 CPU time (s): 1148.6 CPU user time (s): 1135.94 CPU system time (s): 12.6651 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (Kb): 250624
Begin job on node87 on Fri Jun 2 09:27:28 UTC 2006 FILE ID= 39743-1149240447 PBS_JOBID= 297406 BENCH NAME= ROOT/tmp/node87/39743-1149240447/instance-39743-1149240447.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/39743-1149240447/instance-39743-1149240447.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node87/watcher-39743-1149240447 -o ROOT/results/node87/solver-39743-1149240447 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/39743-1149240447/instance-39743-1149240447.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 2b5564b5f03b34138f988fcf164c2fb6 RANDOM SEED= 357594793 /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.234 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 : 6006.17 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.234 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 : 5999.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1681008 kB Buffers: 29380 kB Cached: 271048 kB SwapCached: 2512 kB Active: 99808 kB Inactive: 209464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1681008 kB SwapTotal: 4096564 kB SwapFree: 4085412 kB Dirty: 172 kB Writeback: 0 kB Mapped: 16792 kB Slab: 52248 kB Committed_AS: 212832 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node87 on Fri Jun 2 09:46:37 UTC 2006