Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.13 | 1800.77 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb |
MD5SUM | 24c836f3fcb46569dfcfdc2eda4dee98 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.259959 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 4608 |
Total number of constraints | 30348 |
Number of constraints which are clauses | 29328 |
Number of constraints which are cardinality constraints (but not clauses) | 942 |
Number of constraints which are nor clauses,nor cardinality constraints | 78 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 29 |
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 | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 102 |
Number of bits of the biggest sum of numbers | 7 |
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.01 c INFO: OSL Context initialized. 0.60 c Initial problem consists of 4608 variables and 30522 constraints. 0.88 c Using non-optimization problem switches. 0.88 c No problem reductions applied in OPT. instance. 0.88 c preprocess terminated. Elapsed time: 0.864 0.88 c After prepocess the problem consists of 4608 variables and 30522 constraints. 1.18 c Restart #1 #Var: 4608 LB: 0 @ 1.162 1.71 c Restart #2 #Var: 4608 LB: 0 @ 1.698 2.43 c Restart #3 #Var: 4608 LB: 0 @ 2.418 3.00 c Restart #4 #Var: 4608 LB: 0 @ 2.985 3.32 c Restart #5 #Var: 4608 LB: 0 @ 3.307 3.66 c Restart #6 #Var: 4608 LB: 0 @ 3.65 4.04 c Restart #7 #Var: 4608 LB: 0 @ 4.022 4.50 c Restart #8 #Var: 4608 LB: 0 @ 4.488 5.21 c Restart #9 #Var: 4608 LB: 0 @ 5.198 5.74 c Restart #10 #Var: 4608 LB: 0 @ 5.723 6.39 c Restart #11 #Var: 4608 LB: 0 @ 6.376 7.35 c Restart #12 #Var: 4608 LB: 0 @ 7.337 8.37 c Restart #13 #Var: 4608 LB: 0 @ 8.357 9.74 c Restart #14 #Var: 4608 LB: 0 @ 9.723 11.34 c Restart #15 #Var: 4608 LB: 0 @ 11.32 12.61 c Restart #16 #Var: 4608 LB: 0 @ 12.589 14.80 c Restart #17 #Var: 4608 LB: 0 @ 14.78 16.64 c Restart #18 #Var: 4608 LB: 0 @ 16.619 18.30 c Restart #19 #Var: 4608 LB: 0 @ 18.274 20.25 c Restart #20 #Var: 4608 LB: 0 @ 20.226 23.80 c Restart #21 #Var: 4608 LB: 0 @ 23.776 26.80 c Restart #22 #Var: 4608 LB: 0 @ 26.771 28.88 c Restart #23 #Var: 4608 LB: 0 @ 28.853 31.43 c Restart #24 #Var: 4608 LB: 0 @ 31.403 37.31 c Restart #25 #Var: 4608 LB: 0 @ 37.28 41.49 c Restart #26 #Var: 4608 LB: 0 @ 41.464 45.75 c Restart #27 #Var: 4608 LB: 0 @ 45.716 49.07 c Restart #28 #Var: 4608 LB: 0 @ 49.035 54.46 c Restart #29 #Var: 4608 LB: 0 @ 54.422 59.48 c Restart #30 #Var: 4608 LB: 0 @ 59.441 63.98 c Restart #31 #Var: 4608 LB: 0 @ 63.946 69.42 c Restart #32 #Var: 4608 LB: 0 @ 69.379 75.08 c Restart #33 #Var: 4608 LB: 0 @ 75.044 80.68 c Restart #34 #Var: 4608 LB: 0 @ 80.635 88.39 c Restart #35 #Var: 4608 LB: 0 @ 88.348 93.68 c Restart #36 #Var: 4608 LB: 0 @ 93.632 101.40 c Restart #37 #Var: 4608 LB: 0 @ 101.35 109.24 c Restart #38 #Var: 4608 LB: 0 @ 109.19 119.31 c Restart #39 #Var: 4608 LB: 0 @ 119.26 128.99 c Restart #40 #Var: 4608 LB: 0 @ 128.93 135.84 c Restart #41 #Var: 4608 LB: 0 @ 135.78 145.15 c Restart #42 #Var: 4608 LB: 0 @ 145.09 155.53 c Restart #43 #Var: 4608 LB: 0 @ 155.47 163.63 c Restart #44 #Var: 4608 LB: 0 @ 163.56 180.82 c Restart #45 #Var: 4608 LB: 0 @ 180.74 194.65 c Restart #46 #Var: 4608 LB: 0 @ 194.57 203.48 c Restart #47 #Var: 4608 LB: 0 @ 203.4 219.66 c Restart #48 #Var: 4608 LB: 0 @ 219.58 233.32 c Restart #49 #Var: 4608 LB: 0 @ 233.23 248.39 c Restart #50 #Var: 4608 LB: 0 @ 248.3 261.96 c Restart #51 #Var: 4608 LB: 0 @ 261.86 274.94 c Restart #52 #Var: 4608 LB: 0 @ 274.84 285.49 c Restart #53 #Var: 4608 LB: 0 @ 285.38 303.09 c Restart #54 #Var: 4608 LB: 0 @ 302.98 316.67 c Restart #55 #Var: 4608 LB: 0 @ 316.55 336.96 c Restart #56 #Var: 4608 LB: 0 @ 336.8 351.85 c Restart #57 #Var: 4608 LB: 0 @ 351.68 367.52 c Restart #58 #Var: 4608 LB: 0 @ 367.34 386.89 c Restart #59 #Var: 4608 LB: 0 @ 386.71 410.31 c Restart #60 #Var: 4608 LB: 0 @ 410.12 428.54 c Restart #61 #Var: 4608 LB: 0 @ 428.35 454.27 c Restart #62 #Var: 4608 LB: 0 @ 454.07 488.82 c Restart #63 #Var: 4608 LB: 0 @ 488.6 516.78 c Restart #64 #Var: 4608 LB: 0 @ 516.55 535.57 c Restart #65 #Var: 4608 LB: 0 @ 535.34 569.28 c Restart #66 #Var: 4608 LB: 0 @ 569.04 621.78 c Restart #67 #Var: 4608 LB: 0 @ 621.53 633.65 c Restart #68 #Var: 4608 LB: 0 @ 633.39 680.33 c Restart #69 #Var: 4608 LB: 0 @ 680.05 693.03 c Restart #70 #Var: 4608 LB: 0 @ 692.75 726.40 c Restart #71 #Var: 4608 LB: 0 @ 726.11 762.03 c Restart #72 #Var: 4608 LB: 0 @ 761.73 806.49 c Restart #73 #Var: 4608 LB: 0 @ 806.18 838.71 c Restart #74 #Var: 4608 LB: 0 @ 838.39 874.68 c Restart #75 #Var: 4608 LB: 0 @ 874.34 906.67 c CHANGE Heuristic... 906.67 c Restart #0 #Var: 4608 LB: 0 @ 906.32 907.95 c Restart #1 #Var: 4608 LB: 0 @ 907.6 910.26 c Restart #2 #Var: 4608 LB: 0 @ 909.91 912.79 c Restart #3 #Var: 4608 LB: 0 @ 912.44 916.04 c Restart #4 #Var: 4608 LB: 0 @ 915.69 920.38 c Restart #5 #Var: 4608 LB: 0 @ 920.03 928.22 c Restart #6 #Var: 4608 LB: 0 @ 927.87 931.09 c Restart #7 #Var: 4608 LB: 0 @ 930.73 935.74 c Restart #8 #Var: 4608 LB: 0 @ 935.38 939.17 c Restart #9 #Var: 4608 LB: 0 @ 938.82 944.77 c Restart #10 #Var: 4608 LB: 0 @ 944.41 950.12 c Restart #11 #Var: 4608 LB: 0 @ 949.75 959.38 c Restart #12 #Var: 4608 LB: 0 @ 959.01 968.28 c Restart #13 #Var: 4608 LB: 0 @ 967.92 972.46 c Restart #14 #Var: 4608 LB: 0 @ 972.09 985.98 c Restart #15 #Var: 4608 LB: 0 @ 985.61 992.50 c Restart #16 #Var: 4608 LB: 0 @ 992.12 999.55 c Restart #17 #Var: 4608 LB: 0 @ 999.17 1010.99 c Restart #18 #Var: 4608 LB: 0 @ 1010.6 1020.74 c Restart #19 #Var: 4608 LB: 0 @ 1020.4 1031.50 c Restart #20 #Var: 4608 LB: 0 @ 1031.1 1044.94 c Restart #21 #Var: 4608 LB: 0 @ 1044.5 1051.73 c Restart #22 #Var: 4608 LB: 0 @ 1051.3 1067.16 c Restart #23 #Var: 4608 LB: 0 @ 1066.8 1081.82 c Restart #24 #Var: 4608 LB: 0 @ 1081.4 1092.89 c Restart #25 #Var: 4608 LB: 0 @ 1092.5 1108.05 c Restart #26 #Var: 4608 LB: 0 @ 1107.6 1118.30 c Restart #27 #Var: 4608 LB: 0 @ 1117.9 1126.62 c Restart #28 #Var: 4608 LB: 0 @ 1126.2 1149.48 c Restart #29 #Var: 4608 LB: 0 @ 1149.1 1170.72 c Restart #30 #Var: 4608 LB: 0 @ 1170.3 1182.03 c Restart #31 #Var: 4608 LB: 0 @ 1181.6 1230.99 c Restart #32 #Var: 4608 LB: 0 @ 1230.5 1268.19 c Restart #33 #Var: 4608 LB: 0 @ 1267.7 1284.69 c Restart #34 #Var: 4608 LB: 0 @ 1284.2 1317.94 c Restart #35 #Var: 4608 LB: 0 @ 1317.5 1349.35 c Restart #36 #Var: 4608 LB: 0 @ 1348.9 1370.23 c Restart #37 #Var: 4608 LB: 0 @ 1369.7 1409.99 c Restart #38 #Var: 4608 LB: 0 @ 1409.5 1443.41 c Restart #39 #Var: 4608 LB: 0 @ 1442.9 1485.01 c Restart #40 #Var: 4608 LB: 0 @ 1484.5 1511.01 c Restart #41 #Var: 4608 LB: 0 @ 1510.5 1530.75 c Restart #42 #Var: 4608 LB: 0 @ 1530.2 1554.69 c Restart #43 #Var: 4608 LB: 0 @ 1554.1 1586.39 c Restart #44 #Var: 4608 LB: 0 @ 1585.8 1609.85 c Restart #45 #Var: 4608 LB: 0 @ 1609.3 1630.26 c Restart #46 #Var: 4608 LB: 0 @ 1629.7 1690.04 c Restart #47 #Var: 4608 LB: 0 @ 1689.4 1727.21 c Restart #48 #Var: 4608 LB: 0 @ 1726.6 1757.49 c Restart #49 #Var: 4608 LB: 0 @ 1756.9 1800.64 s UNKNOWN 1800.64 c Exit Code: 0 1800.64 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/node22/watcher-39749-1149242143 -o ROOT/results/node22/solver-39749-1149242143 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node22/39749-1149242143/instance-39749-1149242143.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.95 0.85 2/64 16181 /proc/meminfo: memFree=1436424/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=3224 CPUtime=0 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 55 0 0 0 0 0 0 0 18 0 1 0 85648626 3301376 38 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4678436 0 0 4096 0 0 0 0 17 1 0 0 /proc/16181/statm: 806 39 29 55 0 40 0 [startup+10.0027 s] /proc/loadavg: 0.87 0.95 0.85 2/64 16181 /proc/meminfo: memFree=1395984/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=45116 CPUtime=9.97 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 10512 0 0 0 990 7 0 0 25 0 1 0 85648626 46198784 10427 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540723 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 11279 10427 296 55 0 10171 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 45116 [startup+20.0094 s] /proc/loadavg: 0.89 0.95 0.85 2/64 16181 /proc/meminfo: memFree=1375632/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=65436 CPUtime=19.98 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 15590 0 0 0 1985 13 0 0 25 0 1 0 85648626 67006464 15505 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537582 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 16359 15505 296 55 0 15251 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 65436 [startup+30.018 s] /proc/loadavg: 0.91 0.95 0.85 2/64 16181 /proc/meminfo: memFree=1360144/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=81004 CPUtime=29.98 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 19460 0 0 0 2981 17 0 0 25 0 1 0 85648626 82948096 19375 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534860 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 20251 19375 296 55 0 19143 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 81004 [startup+40.0237 s] /proc/loadavg: 0.92 0.95 0.86 2/64 16181 /proc/meminfo: memFree=1349328/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=91692 CPUtime=39.98 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 22151 0 0 0 3979 19 0 0 25 0 1 0 85648626 93892608 22066 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 22923 22066 296 55 0 21815 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 91692 [startup+50.0304 s] /proc/loadavg: 0.93 0.96 0.86 2/64 16181 /proc/meminfo: memFree=1336016/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=105028 CPUtime=49.99 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 25477 0 0 0 4977 22 0 0 25 0 1 0 85648626 107548672 25392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 26257 25392 296 55 0 25149 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 105028 [startup+60.0361 s] /proc/loadavg: 0.94 0.96 0.86 2/64 16181 /proc/meminfo: memFree=1324624/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=116380 CPUtime=60.01 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 28322 0 0 0 5975 26 0 0 25 0 1 0 85648626 119173120 28237 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 29095 28237 296 55 0 27987 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 116380 [startup+70.0537 s] /proc/loadavg: 0.95 0.96 0.86 2/64 16181 /proc/meminfo: memFree=1309968/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=131024 CPUtime=70 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 31970 0 0 0 6970 30 0 0 25 0 1 0 85648626 134168576 31885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 32756 31885 296 55 0 31648 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 131024 [startup+80.0614 s] /proc/loadavg: 0.96 0.96 0.86 2/64 16181 /proc/meminfo: memFree=1298000/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=142904 CPUtime=80.01 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 34951 0 0 0 7966 35 0 0 25 0 1 0 85648626 146333696 34866 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 35726 34866 296 55 0 34618 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 142904 [startup+90.0671 s] /proc/loadavg: 0.96 0.96 0.86 2/64 16181 /proc/meminfo: memFree=1287248/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=153728 CPUtime=90.01 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 37639 0 0 0 8963 38 0 0 25 0 1 0 85648626 157417472 37554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 38432 37554 296 55 0 37324 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 153728 [startup+100.073 s] /proc/loadavg: 0.97 0.96 0.86 2/64 16181 /proc/meminfo: memFree=1274192/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=166664 CPUtime=100.12 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 40905 0 0 0 9970 42 0 0 25 0 1 0 85648626 170663936 40820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537746 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 41666 40820 296 55 0 40558 0 Current children cumulated CPU time (s) 100.12 Current children cumulated vsize (Kb) 166664 [startup+110.179 s] /proc/loadavg: 0.97 0.96 0.86 2/64 16181 /proc/meminfo: memFree=1264336/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=176580 CPUtime=110.12 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 43357 0 0 0 10968 44 0 0 25 0 1 0 85648626 180817920 43272 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 44145 43272 296 55 0 43037 0 Current children cumulated CPU time (s) 110.12 Current children cumulated vsize (Kb) 176580 [startup+120.185 s] /proc/loadavg: 0.98 0.96 0.86 2/64 16181 /proc/meminfo: memFree=1257296/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=183580 CPUtime=120.12 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 45131 0 0 0 11965 47 0 0 25 0 1 0 85648626 187985920 45046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5111533 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 45895 45046 296 55 0 44787 0 Current children cumulated CPU time (s) 120.12 Current children cumulated vsize (Kb) 183580 [startup+130.191 s] /proc/loadavg: 0.98 0.96 0.86 2/64 16181 /proc/meminfo: memFree=1251600/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=189252 CPUtime=130.12 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 46546 0 0 0 12964 48 0 0 25 0 1 0 85648626 193794048 46461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 47313 46461 296 55 0 46205 0 Current children cumulated CPU time (s) 130.12 Current children cumulated vsize (Kb) 189252 [startup+140.196 s] /proc/loadavg: 0.98 0.96 0.87 2/64 16181 /proc/meminfo: memFree=1240144/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=200732 CPUtime=140.13 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 49394 0 0 0 13961 52 0 0 25 0 1 0 85648626 205549568 49309 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529424 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 50183 49309 296 55 0 49075 0 Current children cumulated CPU time (s) 140.13 Current children cumulated vsize (Kb) 200732 [startup+150.202 s] /proc/loadavg: 0.98 0.97 0.87 2/64 16181 /proc/meminfo: memFree=1231632/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=209180 CPUtime=150.13 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 51524 0 0 0 14958 55 0 0 25 0 1 0 85648626 214200320 51439 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 52295 51439 296 55 0 51187 0 Current children cumulated CPU time (s) 150.13 Current children cumulated vsize (Kb) 209180 [startup+160.208 s] /proc/loadavg: 0.99 0.97 0.87 2/64 16181 /proc/meminfo: memFree=1224400/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=216436 CPUtime=160.13 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 53319 0 0 0 15956 57 0 0 25 0 1 0 85648626 221630464 53234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 54109 53234 296 55 0 53001 0 Current children cumulated CPU time (s) 160.13 Current children cumulated vsize (Kb) 216436 [startup+170.213 s] /proc/loadavg: 0.99 0.97 0.87 2/64 16181 /proc/meminfo: memFree=1219472/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=221320 CPUtime=170.14 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 54551 0 0 0 16954 60 0 0 25 0 1 0 85648626 226631680 54466 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 55330 54466 296 55 0 54222 0 Current children cumulated CPU time (s) 170.14 Current children cumulated vsize (Kb) 221320 [startup+180.219 s] /proc/loadavg: 0.99 0.97 0.87 2/64 16181 /proc/meminfo: memFree=1215760/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=225016 CPUtime=180.14 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 55483 0 0 0 17952 62 0 0 25 0 1 0 85648626 230416384 55398 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 56254 55398 296 55 0 55146 0 Current children cumulated CPU time (s) 180.14 Current children cumulated vsize (Kb) 225016 [startup+190.225 s] /proc/loadavg: 0.99 0.97 0.87 2/64 16181 /proc/meminfo: memFree=1208464/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=232276 CPUtime=190.14 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 57296 0 0 0 18950 64 0 0 25 0 1 0 85648626 237850624 57211 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 58069 57211 296 55 0 56961 0 Current children cumulated CPU time (s) 190.14 Current children cumulated vsize (Kb) 232276 [startup+200.231 s] /proc/loadavg: 0.99 0.97 0.87 2/64 16181 /proc/meminfo: memFree=1201872/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=238884 CPUtime=200.14 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 58945 0 0 0 19949 65 0 0 25 0 1 0 85648626 244617216 58860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537697 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 59721 58860 296 55 0 58613 0 Current children cumulated CPU time (s) 200.14 Current children cumulated vsize (Kb) 238884 [startup+210.236 s] /proc/loadavg: 0.99 0.97 0.87 2/64 16181 /proc/meminfo: memFree=1196688/2055920 swapFree=4183844/4192956 ################ # More data... # ################ /proc/16181/statm: 204075 203010 296 55 0 202967 0 Current children cumulated CPU time (s) 1760.51 Current children cumulated vsize (Kb) 816300 [startup+1771.15 s] /proc/loadavg: 1.00 1.00 0.92 2/64 16378 /proc/meminfo: memFree=622352/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=817756 CPUtime=1770.52 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 203484 0 0 0 176739 313 0 0 25 0 1 0 85648626 837382144 203394 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 204439 203394 296 55 0 203331 0 Current children cumulated CPU time (s) 1770.52 Current children cumulated vsize (Kb) 817756 [startup+1781.16 s] /proc/loadavg: 1.00 1.00 0.92 2/64 16378 /proc/meminfo: memFree=621072/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=819076 CPUtime=1780.52 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 203809 0 0 0 177738 314 0 0 25 0 1 0 85648626 838733824 203719 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 204769 203719 296 55 0 203661 0 Current children cumulated CPU time (s) 1780.52 Current children cumulated vsize (Kb) 819076 [startup+1782.16 s] /proc/loadavg: 1.00 1.00 0.92 2/64 16378 /proc/meminfo: memFree=620944/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=819220 CPUtime=1781.53 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 203846 0 0 0 177839 314 0 0 25 0 1 0 85648626 838881280 203756 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 204805 203756 296 55 0 203697 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 819220 [startup+1783.17 s] /proc/loadavg: 1.00 1.00 0.92 2/64 16378 /proc/meminfo: memFree=620816/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=819352 CPUtime=1782.53 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 203876 0 0 0 177939 314 0 0 25 0 1 0 85648626 839016448 203786 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 204838 203786 296 55 0 203730 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 819352 [startup+1784.17 s] /proc/loadavg: 1.00 1.00 0.92 2/64 16378 /proc/meminfo: memFree=620624/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=819616 CPUtime=1783.54 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 203916 0 0 0 178040 314 0 0 25 0 1 0 85648626 839286784 203826 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 204904 203826 296 55 0 203796 0 Current children cumulated CPU time (s) 1783.54 Current children cumulated vsize (Kb) 819616 [startup+1785.18 s] /proc/loadavg: 1.00 1.00 0.92 2/64 16378 /proc/meminfo: memFree=620496/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=819616 CPUtime=1784.54 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 203945 0 0 0 178140 314 0 0 25 0 1 0 85648626 839286784 203855 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528763 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 204904 203855 296 55 0 203796 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 819616 [startup+1786.18 s] /proc/loadavg: 1.00 1.00 0.92 2/64 16378 /proc/meminfo: memFree=620368/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=819880 CPUtime=1785.55 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 203981 0 0 0 178241 314 0 0 25 0 1 0 85648626 839557120 203891 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 204970 203891 296 55 0 203862 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 819880 [startup+1787.19 s] /proc/loadavg: 1.00 1.00 0.92 2/64 16378 /proc/meminfo: memFree=620240/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=819880 CPUtime=1786.55 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204012 0 0 0 178341 314 0 0 25 0 1 0 85648626 839557120 203922 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 204970 203922 296 55 0 203862 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 819880 [startup+1788.19 s] /proc/loadavg: 1.00 1.00 0.92 2/64 16378 /proc/meminfo: memFree=620112/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=820012 CPUtime=1787.55 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204040 0 0 0 178441 314 0 0 25 0 1 0 85648626 839692288 203950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 205003 203950 296 55 0 203895 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 820012 [startup+1789.2 s] /proc/loadavg: 1.00 1.00 0.92 2/64 16378 /proc/meminfo: memFree=620048/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=820144 CPUtime=1788.56 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204058 0 0 0 178542 314 0 0 25 0 1 0 85648626 839827456 203968 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 205036 203968 296 55 0 203928 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 820144 [startup+1790.2 s] /proc/loadavg: 1.00 1.00 0.92 2/64 16378 /proc/meminfo: memFree=619920/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=820276 CPUtime=1789.56 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204095 0 0 0 178642 314 0 0 25 0 1 0 85648626 839962624 204005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603729 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 205069 204005 296 55 0 203961 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 820276 [startup+1791.21 s] /proc/loadavg: 1.00 1.00 0.92 2/64 16378 /proc/meminfo: memFree=619792/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=820408 CPUtime=1790.57 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204123 0 0 0 178743 314 0 0 25 0 1 0 85648626 840097792 204033 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 205102 204033 296 55 0 203994 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (Kb) 820408 [startup+1792.21 s] /proc/loadavg: 1.00 1.00 0.92 2/64 16378 /proc/meminfo: memFree=619664/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=820536 CPUtime=1791.57 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204154 0 0 0 178843 314 0 0 25 0 1 0 85648626 840228864 204064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 205134 204064 296 55 0 204026 0 Current children cumulated CPU time (s) 1791.57 Current children cumulated vsize (Kb) 820536 [startup+1793.22 s] /proc/loadavg: 1.00 1.00 0.92 2/64 16378 /proc/meminfo: memFree=619472/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=820668 CPUtime=1792.57 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204199 0 0 0 178943 314 0 0 25 0 1 0 85648626 840364032 204109 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 205167 204109 296 55 0 204059 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 820668 [startup+1794.22 s] /proc/loadavg: 1.00 1.00 0.92 2/64 16378 /proc/meminfo: memFree=619344/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=820800 CPUtime=1793.58 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204235 0 0 0 179044 314 0 0 25 0 1 0 85648626 840499200 204145 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 205200 204145 296 55 0 204092 0 Current children cumulated CPU time (s) 1793.58 Current children cumulated vsize (Kb) 820800 [startup+1795.23 s] /proc/loadavg: 1.00 1.00 0.92 2/64 16378 /proc/meminfo: memFree=619216/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=820932 CPUtime=1794.58 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204264 0 0 0 179144 314 0 0 25 0 1 0 85648626 840634368 204174 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 205233 204174 296 55 0 204125 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 820932 [startup+1796.23 s] /proc/loadavg: 1.00 1.00 0.92 2/64 16378 /proc/meminfo: memFree=619088/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=821064 CPUtime=1795.59 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204293 0 0 0 179245 314 0 0 25 0 1 0 85648626 840769536 204203 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 205266 204203 296 55 0 204158 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 821064 [startup+1797.24 s] /proc/loadavg: 1.00 1.00 0.92 2/64 16378 /proc/meminfo: memFree=619024/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=821064 CPUtime=1796.59 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204308 0 0 0 179345 314 0 0 25 0 1 0 85648626 840769536 204218 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 205266 204218 296 55 0 204158 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 821064 [startup+1798.24 s] /proc/loadavg: 1.00 1.00 0.92 2/64 16378 /proc/meminfo: memFree=618896/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=821328 CPUtime=1797.6 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204350 0 0 0 179446 314 0 0 25 0 1 0 85648626 841039872 204260 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 205332 204260 296 55 0 204224 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 821328 [startup+1799.25 s] /proc/loadavg: 1.00 1.00 0.92 2/64 16378 /proc/meminfo: memFree=618640/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=821592 CPUtime=1798.6 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204412 0 0 0 179546 314 0 0 25 0 1 0 85648626 841310208 204322 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 205398 204322 296 55 0 204290 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 821592 [startup+1800.25 s] /proc/loadavg: 1.00 1.00 0.92 2/64 16378 /proc/meminfo: memFree=618448/2055920 swapFree=4183844/4192956 [pid=16181] ppid=16179 vsize=821724 CPUtime=1799.61 /proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204456 0 0 0 179647 314 0 0 25 0 1 0 85648626 841445376 204366 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719535 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16181/statm: 205431 204366 296 55 0 204323 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (Kb) 821724 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.13 CPU user time (s): 1796.86 CPU system time (s): 3.2725 CPU usage (%): 99.9646 Max. virtual memory (cumulated for all children) (Kb): 821724
Begin job on node22 on Fri Jun 2 09:55:43 UTC 2006 FILE ID= 39749-1149242143 PBS_JOBID= 297488 BENCH NAME= ROOT/tmp/node22/39749-1149242143/instance-39749-1149242143.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node22/39749-1149242143/instance-39749-1149242143.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-39749-1149242143 -o ROOT/results/node22/solver-39749-1149242143 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node22/39749-1149242143/instance-39749-1149242143.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 24c836f3fcb46569dfcfdc2eda4dee98 RANDOM SEED= 60435821 /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.261 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.261 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: 1436632 kB Buffers: 40604 kB Cached: 502368 kB SwapCached: 3204 kB Active: 174608 kB Inactive: 377132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1436632 kB SwapTotal: 4192956 kB SwapFree: 4183844 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14896 kB Slab: 53552 kB Committed_AS: 211084 kB PageTables: 1404 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node22 on Fri Jun 2 10:25:44 UTC 2006