Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.04 | 1800.64 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_20.opb |
MD5SUM | 601a73d2c5752739e04dd0126b5500f0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 398 |
Best CPU time to get the best result obtained on this benchmark | 1782.75 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 398 |
Optimality of the best value was proved | NO |
Number of variables | 13478 |
Total number of constraints | 26620 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 26619 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 190 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 445 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 589 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2977 |
Number of bits of the biggest sum of numbers | 12 |
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. 3.93 c Initial problem consists of 13478 variables and 26620 constraints. 10.16 c No problem reductions applied in OPT. instance. 10.16 c preprocess terminated. Elapsed time: 10.143 10.16 c After prepocess the problem consists of 13477 variables and 26619 constraints. 10.16 c Initial Lower Bound: 190 37.20 c Restart #1 #Var: 13477 LB: 190 @ 37.171 88.24 c Restart #2 #Var: 13477 LB: 190 @ 88.189 168.47 c Restart #3 #Var: 13477 LB: 190 @ 168.4 272.96 c Restart #4 #Var: 13477 LB: 190 @ 272.85 390.80 c Restart #5 #Var: 13477 LB: 190 @ 390.66 553.83 c Restart #6 #Var: 13477 LB: 190 @ 553.64 703.43 c Restart #7 #Var: 13477 LB: 190 @ 703.19 831.10 c Restart #8 #Var: 13477 LB: 190 @ 830.82 929.21 c CHANGE Heuristic... 929.21 c Restart #0 #Var: 13477 LB: 190 @ 928.9 957.35 c Restart #1 #Var: 13477 LB: 190 @ 957.02 988.02 c Restart #2 #Var: 13477 LB: 190 @ 987.68 1032.48 c Restart #3 #Var: 13477 LB: 190 @ 1032.1 1069.67 c Restart #4 #Var: 13477 LB: 190 @ 1069.3 1095.13 c Restart #5 #Var: 13477 LB: 190 @ 1094.8 1229.79 c Restart #6 #Var: 13477 LB: 190 @ 1229.4 1238.86 c Restart #7 #Var: 13477 LB: 190 @ 1238.5 1307.58 c Restart #8 #Var: 13477 LB: 190 @ 1307.1 1463.92 c Restart #9 #Var: 13477 LB: 190 @ 1463.4 1485.57 c Restart #10 #Var: 13477 LB: 190 @ 1485.1 1545.31 c Restart #11 #Var: 13477 LB: 190 @ 1544.8 1606.61 c Restart #12 #Var: 13477 LB: 190 @ 1606.1 1658.97 c Restart #13 #Var: 13477 LB: 190 @ 1658.4 1762.05 c Restart #14 #Var: 13477 LB: 190 @ 1761.5 1800.61 s UNKNOWN 1800.61 c Exit Code: 0 1800.61 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 runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node34/watcher-50352-1154113735 -o ROOT/results/node34/solver-50352-1154113735 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/50352-1154113735/instance-50352-1154113735.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.99 2/64 22291 /proc/meminfo: memFree=1485960/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=4664 CPUtime=0 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 156 0 0 0 0 0 0 0 19 0 1 0 158248657 4775936 135 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 7691540 0 0 4096 0 0 0 0 17 1 0 0 /proc/22291/statm: 1166 135 105 55 0 46 0 [startup+10.003 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22291 /proc/meminfo: memFree=1395656/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=95864 CPUtime=9.98 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 23011 0 0 0 988 10 0 0 25 0 1 0 158248657 98164736 22899 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134640887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 23966 22899 288 55 0 22858 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 95864 [startup+20.0096 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22291 /proc/meminfo: memFree=1394192/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=97468 CPUtime=19.98 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 23415 0 0 0 1988 10 0 0 25 0 1 0 158248657 99807232 23295 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 24367 23295 297 55 0 23259 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 97468 [startup+30.0163 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22291 /proc/meminfo: memFree=1394192/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=97604 CPUtime=29.98 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 23432 0 0 0 2988 10 0 0 25 0 1 0 158248657 99946496 23312 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 24401 23312 297 55 0 23293 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 97604 [startup+40.0229 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22291 /proc/meminfo: memFree=1394128/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=97760 CPUtime=39.98 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 23471 0 0 0 3988 10 0 0 25 0 1 0 158248657 100106240 23351 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 24440 23351 297 55 0 23332 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 97760 [startup+50.0296 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22291 /proc/meminfo: memFree=1394128/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=97760 CPUtime=49.99 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 23471 0 0 0 4989 10 0 0 25 0 1 0 158248657 100106240 23351 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 24440 23351 297 55 0 23332 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 97760 [startup+60.0353 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22291 /proc/meminfo: memFree=1394128/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=97760 CPUtime=59.99 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 23471 0 0 0 5989 10 0 0 25 0 1 0 158248657 100106240 23351 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 24440 23351 297 55 0 23332 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 97760 [startup+70.042 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22291 /proc/meminfo: memFree=1394064/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=97760 CPUtime=69.99 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 23471 0 0 0 6989 10 0 0 25 0 1 0 158248657 100106240 23351 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 24440 23351 297 55 0 23332 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 97760 [startup+80.0486 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22291 /proc/meminfo: memFree=1394064/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=97760 CPUtime=79.99 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 23471 0 0 0 7989 10 0 0 25 0 1 0 158248657 100106240 23351 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 24440 23351 297 55 0 23332 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 97760 [startup+90.0543 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22291 /proc/meminfo: memFree=1394064/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=97760 CPUtime=90 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 23471 0 0 0 8990 10 0 0 25 0 1 0 158248657 100106240 23351 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 24440 23351 297 55 0 23332 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 97760 [startup+100.06 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22291 /proc/meminfo: memFree=1394064/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=97760 CPUtime=100 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 23472 0 0 0 9990 10 0 0 25 0 1 0 158248657 100106240 23352 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 24440 23352 297 55 0 23332 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 97760 [startup+110.066 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22291 /proc/meminfo: memFree=1394064/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=97760 CPUtime=110 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 23472 0 0 0 10990 10 0 0 25 0 1 0 158248657 100106240 23352 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 24440 23352 297 55 0 23332 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 97760 [startup+120.071 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22291 /proc/meminfo: memFree=1394064/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=97760 CPUtime=120 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 23474 0 0 0 11990 10 0 0 25 0 1 0 158248657 100106240 23354 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 24440 23354 297 55 0 23332 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 97760 [startup+130.077 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22291 /proc/meminfo: memFree=1394064/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=97760 CPUtime=130.01 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 23474 0 0 0 12991 10 0 0 25 0 1 0 158248657 100106240 23354 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 24440 23354 297 55 0 23332 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 97760 [startup+140.083 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22291 /proc/meminfo: memFree=1394064/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=97760 CPUtime=140.01 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 23474 0 0 0 13991 10 0 0 25 0 1 0 158248657 100106240 23354 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 24440 23354 297 55 0 23332 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 97760 [startup+150.088 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22291 /proc/meminfo: memFree=1394064/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=97760 CPUtime=150.02 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 23476 0 0 0 14991 11 0 0 25 0 1 0 158248657 100106240 23356 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 24440 23356 297 55 0 23332 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 97760 [startup+160.094 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22291 /proc/meminfo: memFree=1394064/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=97760 CPUtime=160.02 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 23483 0 0 0 15991 11 0 0 25 0 1 0 158248657 100106240 23363 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 24440 23363 297 55 0 23332 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 97760 [startup+170.1 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22291 /proc/meminfo: memFree=1394064/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=97760 CPUtime=170.02 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 23483 0 0 0 16991 11 0 0 25 0 1 0 158248657 100106240 23363 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718209 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 24440 23363 297 55 0 23332 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 97760 [startup+180.105 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22291 /proc/meminfo: memFree=1394064/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=97760 CPUtime=180.02 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 23483 0 0 0 17991 11 0 0 25 0 1 0 158248657 100106240 23363 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 24440 23363 297 55 0 23332 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 97760 [startup+190.111 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22291 /proc/meminfo: memFree=1394064/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=97760 CPUtime=190.03 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 23483 0 0 0 18992 11 0 0 25 0 1 0 158248657 100106240 23363 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 24440 23363 297 55 0 23332 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 97760 [startup+200.117 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22291 /proc/meminfo: memFree=1394064/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=97760 CPUtime=200.03 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 23484 0 0 0 19992 11 0 0 25 0 1 0 158248657 100106240 23364 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 24440 23364 297 55 0 23332 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 97760 [startup+210.122 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22291 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.45 Current children cumulated vsize (Kb) 124884 [startup+1771.05 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22293 /proc/meminfo: memFree=1368016/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=125332 CPUtime=1770.46 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 30021 0 0 0 177015 31 0 0 25 0 1 0 158248657 128339968 29812 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 31333 29812 297 55 0 30225 0 Current children cumulated CPU time (s) 1770.46 Current children cumulated vsize (Kb) 125332 [startup+1781.05 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22293 /proc/meminfo: memFree=1367696/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=125728 CPUtime=1780.46 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 30121 0 0 0 178015 31 0 0 25 0 1 0 158248657 128745472 29912 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 31432 29912 297 55 0 30324 0 Current children cumulated CPU time (s) 1780.46 Current children cumulated vsize (Kb) 125728 [startup+1782.06 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22293 /proc/meminfo: memFree=1367632/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=125728 CPUtime=1781.47 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 30127 0 0 0 178116 31 0 0 25 0 1 0 158248657 128745472 29918 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 31432 29918 297 55 0 30324 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (Kb) 125728 [startup+1783.06 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22293 /proc/meminfo: memFree=1367504/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=125860 CPUtime=1782.47 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 30161 0 0 0 178216 31 0 0 25 0 1 0 158248657 128880640 29951 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 31465 29951 297 55 0 30357 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 125860 [startup+1784.07 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22293 /proc/meminfo: memFree=1367504/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=125860 CPUtime=1783.47 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 30165 0 0 0 178316 31 0 0 25 0 1 0 158248657 128880640 29955 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 31465 29955 297 55 0 30357 0 Current children cumulated CPU time (s) 1783.47 Current children cumulated vsize (Kb) 125860 [startup+1785.07 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22293 /proc/meminfo: memFree=1367504/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=125860 CPUtime=1784.48 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 30167 0 0 0 178417 31 0 0 25 0 1 0 158248657 128880640 29957 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 31465 29957 297 55 0 30357 0 Current children cumulated CPU time (s) 1784.48 Current children cumulated vsize (Kb) 125860 [startup+1786.08 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22293 /proc/meminfo: memFree=1367504/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=125992 CPUtime=1785.48 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 30172 0 0 0 178517 31 0 0 25 0 1 0 158248657 129015808 29962 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 31498 29962 297 55 0 30390 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (Kb) 125992 [startup+1787.08 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22293 /proc/meminfo: memFree=1367440/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=125992 CPUtime=1786.49 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 30177 0 0 0 178618 31 0 0 25 0 1 0 158248657 129015808 29967 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 31498 29967 297 55 0 30390 0 Current children cumulated CPU time (s) 1786.49 Current children cumulated vsize (Kb) 125992 [startup+1788.09 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22293 /proc/meminfo: memFree=1367376/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=125992 CPUtime=1787.49 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 30197 0 0 0 178718 31 0 0 25 0 1 0 158248657 129015808 29987 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 31498 29987 297 55 0 30390 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 125992 [startup+1789.09 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22293 /proc/meminfo: memFree=1367312/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=126124 CPUtime=1788.49 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 30219 0 0 0 178818 31 0 0 25 0 1 0 158248657 129150976 30009 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 31531 30009 297 55 0 30423 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (Kb) 126124 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22293 /proc/meminfo: memFree=1367312/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=126124 CPUtime=1789.5 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 30220 0 0 0 178919 31 0 0 25 0 1 0 158248657 129150976 30010 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 31531 30010 297 55 0 30423 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (Kb) 126124 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22293 /proc/meminfo: memFree=1367248/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=126124 CPUtime=1790.5 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 30228 0 0 0 179019 31 0 0 25 0 1 0 158248657 129150976 30018 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 31531 30018 297 55 0 30423 0 Current children cumulated CPU time (s) 1790.5 Current children cumulated vsize (Kb) 126124 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22293 /proc/meminfo: memFree=1367184/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=126256 CPUtime=1791.51 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 30244 0 0 0 179120 31 0 0 25 0 1 0 158248657 129286144 30034 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 31564 30034 297 55 0 30456 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 126256 [startup+1793.11 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22293 /proc/meminfo: memFree=1367120/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=126256 CPUtime=1792.51 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 30257 0 0 0 179220 31 0 0 25 0 1 0 158248657 129286144 30047 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 31564 30047 297 55 0 30456 0 Current children cumulated CPU time (s) 1792.51 Current children cumulated vsize (Kb) 126256 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22293 /proc/meminfo: memFree=1367056/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=126388 CPUtime=1793.52 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 30285 0 0 0 179321 31 0 0 25 0 1 0 158248657 129421312 30075 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 31597 30075 297 55 0 30489 0 Current children cumulated CPU time (s) 1793.52 Current children cumulated vsize (Kb) 126388 [startup+1795.12 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22293 /proc/meminfo: memFree=1366992/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=126388 CPUtime=1794.52 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 30297 0 0 0 179421 31 0 0 25 0 1 0 158248657 129421312 30087 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 31597 30087 297 55 0 30489 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (Kb) 126388 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22293 /proc/meminfo: memFree=1366992/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=126388 CPUtime=1795.53 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 30297 0 0 0 179522 31 0 0 25 0 1 0 158248657 129421312 30087 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 31597 30087 297 55 0 30489 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (Kb) 126388 [startup+1797.13 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22293 /proc/meminfo: memFree=1366992/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=126388 CPUtime=1796.53 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 30297 0 0 0 179622 31 0 0 25 0 1 0 158248657 129421312 30087 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 31597 30087 297 55 0 30489 0 Current children cumulated CPU time (s) 1796.53 Current children cumulated vsize (Kb) 126388 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22293 /proc/meminfo: memFree=1366928/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=126520 CPUtime=1797.54 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 30308 0 0 0 179723 31 0 0 25 0 1 0 158248657 129556480 30098 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537841 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 31630 30098 297 55 0 30522 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (Kb) 126520 [startup+1799.14 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22293 /proc/meminfo: memFree=1366928/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=126520 CPUtime=1798.54 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 30309 0 0 0 179823 31 0 0 25 0 1 0 158248657 129556480 30099 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 31630 30099 297 55 0 30522 0 Current children cumulated CPU time (s) 1798.54 Current children cumulated vsize (Kb) 126520 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 0.99 2/64 22293 /proc/meminfo: memFree=1366864/2055920 swapFree=4183048/4192956 [pid=22291] ppid=22289 vsize=126520 CPUtime=1799.55 /proc/22291/stat : 22291 (bsolo) R 22289 22291 22242 0 -1 0 30320 0 0 0 179924 31 0 0 25 0 1 0 158248657 129556480 30110 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22291/statm: 31630 30110 297 55 0 30522 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (Kb) 126520 Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.04 CPU user time (s): 1799.7 CPU system time (s): 0.337948 CPU usage (%): 99.967 Max. virtual memory (cumulated for all children) (Kb): 126520 The end
Begin job on node34 on Fri Jul 28 19:08:56 UTC 2006 FILE ID= 50352-1154113735 PBS_JOBID= 886631 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_20.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/50352-1154113735/instance-50352-1154113735.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-50352-1154113735 -o ROOT/results/node34/solver-50352-1154113735 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/50352-1154113735/instance-50352-1154113735.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 601a73d2c5752739e04dd0126b5500f0 RANDOM SEED= 813821195 TIMEOUT= 1800 seconds /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.263 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.263 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: 1486360 kB Buffers: 42288 kB Cached: 449184 kB SwapCached: 3772 kB Active: 90300 kB Inactive: 409828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1486360 kB SwapTotal: 4192956 kB SwapFree: 4183048 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14716 kB Slab: 55472 kB Committed_AS: 690320 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node34 on Fri Jul 28 19:38:57 UTC 2006