Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.31 | 1800.8 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb |
MD5SUM | 63ec6637b1b124456335cf99c2a6c3dd |
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 | 796.385 |
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 | 201731 |
Total number of constraints | 592525 |
Number of constraints which are clauses | 579429 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13096 |
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 | 131 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 513 |
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.01 c INFO: OSL Context initialized. 106.55 c Initial problem consists of 201731 variables and 592525 constraints. 168.27 c Using non-optimization problem switches. 168.27 c No problem reductions applied in OPT. instance. 168.27 c preprocess terminated. Elapsed time: 168.21 168.27 c After prepocess the problem consists of 196128 variables and 579638 constraints. 193.16 c Restart #1 #Var: 196128 LB: 0 @ 193.09 234.03 c Restart #2 #Var: 196128 LB: 0 @ 233.94 282.22 c Restart #3 #Var: 196128 LB: 0 @ 282.12 332.90 c Restart #4 #Var: 196128 LB: 0 @ 332.8 374.39 c Restart #5 #Var: 196128 LB: 0 @ 374.27 435.46 c Restart #6 #Var: 196128 LB: 0 @ 435.33 472.97 c Restart #7 #Var: 196113 LB: 0 @ 472.83 509.25 c Restart #8 #Var: 196113 LB: 0 @ 509.1 521.50 c Restart #9 #Var: 196113 LB: 0 @ 521.35 523.03 c Restart #10 #Var: 196113 LB: 0 @ 522.87 549.73 c Restart #11 #Var: 196113 LB: 0 @ 549.57 550.14 c Restart #12 #Var: 196113 LB: 0 @ 549.98 569.15 c Restart #13 #Var: 196113 LB: 0 @ 568.98 606.27 c Restart #14 #Var: 196113 LB: 0 @ 606.09 695.58 c Restart #15 #Var: 196109 LB: 0 @ 695.38 702.17 c Restart #16 #Var: 196109 LB: 0 @ 701.96 702.76 c Restart #17 #Var: 196109 LB: 0 @ 702.56 722.55 c Restart #18 #Var: 196079 LB: 0 @ 722.35 731.33 c Restart #19 #Var: 196076 LB: 0 @ 731.12 830.28 c Restart #20 #Var: 196019 LB: 0 @ 830.05 888.44 c Restart #21 #Var: 196019 LB: 0 @ 888.19 927.21 c CHANGE Heuristic... 927.21 c Restart #0 #Var: 196019 LB: 0 @ 926.95 937.70 c Restart #1 #Var: 196016 LB: 0 @ 937.43 971.85 c Restart #2 #Var: 196016 LB: 0 @ 971.58 1020.05 c Restart #3 #Var: 196013 LB: 0 @ 1019.8 1038.16 c Restart #4 #Var: 195980 LB: 0 @ 1037.9 1107.30 c Restart #5 #Var: 195962 LB: 0 @ 1107 1169.81 c Restart #6 #Var: 195962 LB: 0 @ 1169.5 1287.63 c Restart #7 #Var: 195917 LB: 0 @ 1287.3 1395.16 c Restart #8 #Var: 195917 LB: 0 @ 1394.8 1412.69 c Restart #9 #Var: 195917 LB: 0 @ 1412.3 1539.06 c Restart #10 #Var: 195899 LB: 0 @ 1538.6 1693.61 c Restart #11 #Var: 195892 LB: 0 @ 1693.2 1800.72 s UNKNOWN 1800.72 c Exit Code: 0 1800.72 c Total time: 1800.2 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/node84/watcher-39735-1149239290 -o ROOT/results/node84/solver-39735-1149239290 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/39735-1149239290/instance-39735-1149239290.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 2/67 12541 /proc/meminfo: memFree=1654816/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=4752 CPUtime=0 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 228 0 0 0 0 0 0 0 18 0 1 0 189568397 4866048 199 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8515136 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 1188 208 150 55 0 79 0 [startup+10.0019 s] /proc/loadavg: 0.93 0.95 0.98 2/67 12541 /proc/meminfo: memFree=1565216/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=94320 CPUtime=9.98 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 1404945 0 0 0 622 376 0 0 25 0 1 0 189568397 96583680 22673 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 23580 22682 278 55 0 22471 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 94320 [startup+20.008 s] /proc/loadavg: 0.94 0.96 0.98 2/67 12541 /proc/meminfo: memFree=1523232/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=136856 CPUtime=19.98 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 3287513 0 0 0 1126 872 0 0 25 0 1 0 189568397 140140544 33160 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 34214 33168 278 55 0 33105 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 136856 [startup+30.0141 s] /proc/loadavg: 0.95 0.96 0.98 2/67 12541 /proc/meminfo: memFree=1488608/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=170956 CPUtime=29.98 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 5198738 0 0 0 1614 1384 0 0 25 0 1 0 189568397 175058944 41818 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8542251 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 42844 41824 278 55 0 41735 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 170956 [startup+40.0202 s] /proc/loadavg: 0.95 0.96 0.98 2/67 12541 /proc/meminfo: memFree=1460896/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=198980 CPUtime=39.98 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 7145391 0 0 0 2095 1903 0 0 25 0 1 0 189568397 203755520 48769 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 49745 48780 278 55 0 48636 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 198980 [startup+50.0272 s] /proc/loadavg: 0.96 0.96 0.98 2/67 12541 /proc/meminfo: memFree=1435872/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=225248 CPUtime=49.99 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 9089370 0 0 0 2567 2432 0 0 25 0 1 0 189568397 230653952 54961 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 56312 54967 278 55 0 55203 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 225248 [startup+60.0333 s] /proc/loadavg: 0.97 0.96 0.98 2/67 12541 /proc/meminfo: memFree=1414240/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=246868 CPUtime=59.99 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 11011983 0 0 0 3040 2959 0 0 25 0 1 0 189568397 252792832 60391 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 61717 60401 278 55 0 60608 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 246868 [startup+70.0394 s] /proc/loadavg: 0.97 0.96 0.98 2/67 12541 /proc/meminfo: memFree=1394080/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=266640 CPUtime=69.99 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 12915229 0 0 0 3511 3488 0 0 25 0 1 0 189568397 273039360 65300 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 66499 65300 278 55 0 65390 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 266640 [startup+80.0455 s] /proc/loadavg: 0.98 0.96 0.98 2/67 12541 /proc/meminfo: memFree=1375776/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=285088 CPUtime=80 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 14823684 0 0 0 3973 4027 0 0 25 0 1 0 189568397 291930112 70045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 71272 70054 278 55 0 70163 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 285088 [startup+90.0515 s] /proc/loadavg: 0.98 0.96 0.98 2/67 12541 /proc/meminfo: memFree=1358816/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=302072 CPUtime=90 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 16699450 0 0 0 4430 4570 0 0 25 0 1 0 189568397 309321728 74357 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 75518 74364 278 55 0 74409 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 302072 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.98 2/67 12541 /proc/meminfo: memFree=1342688/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=317092 CPUtime=100 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 18562372 0 0 0 4888 5112 0 0 25 0 1 0 189568397 324702208 78208 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 79273 78209 278 55 0 78164 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 317092 [startup+110.065 s] /proc/loadavg: 0.98 0.96 0.98 2/67 12541 /proc/meminfo: memFree=1234080/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=430420 CPUtime=110.01 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 19609835 0 0 0 5585 5416 0 0 25 0 1 0 189568397 440750080 105363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 107605 105363 285 55 0 106496 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 430420 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1234080/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=430420 CPUtime=120.01 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 19609835 0 0 0 6585 5416 0 0 25 0 1 0 189568397 440750080 105363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 107605 105363 285 55 0 106496 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 430420 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1234144/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=430420 CPUtime=130.01 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 19609835 0 0 0 7585 5416 0 0 25 0 1 0 189568397 440750080 105363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 107605 105363 285 55 0 106496 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 430420 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1211552/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=456444 CPUtime=140.02 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 20440299 0 0 0 8235 5767 0 0 25 0 1 0 189568397 467398656 111659 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134622542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 114111 111664 288 55 0 113002 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 456444 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1207776/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=461200 CPUtime=150.02 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 21676876 0 0 0 8707 6295 0 0 25 0 1 0 189568397 472268800 112281 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134622542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 115300 112287 288 55 0 114191 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 461200 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1200544/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=460952 CPUtime=160.02 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 22581760 0 0 0 9321 6681 0 0 25 0 1 0 189568397 472014848 113010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 115238 113010 288 55 0 114129 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 460952 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1173792/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=492208 CPUtime=170.02 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23300733 0 0 0 10009 6993 0 0 25 0 1 0 189568397 504020992 120431 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 123052 120431 297 55 0 121943 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 492208 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1173728/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=492208 CPUtime=180.03 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23300742 0 0 0 11009 6994 0 0 25 0 1 0 189568397 504020992 120440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541231 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 123052 120440 297 55 0 121943 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 492208 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1173664/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=492340 CPUtime=190.03 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23300752 0 0 0 12009 6994 0 0 25 0 1 0 189568397 504156160 120450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719391 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 123085 120450 297 55 0 121976 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 492340 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1173664/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=492340 CPUtime=200.04 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23300760 0 0 0 13010 6994 0 0 25 0 1 0 189568397 504156160 120458 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541214 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 123085 120458 297 55 0 121976 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 492340 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1173600/2055892 swapFree=4085292/4096564 ################ # More data... # ################ /proc/12541/statm: 129158 126513 297 55 0 128049 0 Current children cumulated CPU time (s) 1760.56 Current children cumulated vsize (Kb) 516632 [startup+1771.05 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1149088/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=516632 CPUtime=1770.56 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307605 0 0 0 170035 7021 0 0 25 0 1 0 189568397 529031168 126524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 129158 126524 297 55 0 128049 0 Current children cumulated CPU time (s) 1770.56 Current children cumulated vsize (Kb) 516632 [startup+1781.05 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=516632 CPUtime=1780.56 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 171035 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 129158 126536 297 55 0 128049 0 Current children cumulated CPU time (s) 1780.56 Current children cumulated vsize (Kb) 516632 [startup+1782.06 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=516632 CPUtime=1781.57 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 171136 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 129158 126536 297 55 0 128049 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (Kb) 516632 [startup+1783.06 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=516632 CPUtime=1782.57 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 171236 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 129158 126536 297 55 0 128049 0 Current children cumulated CPU time (s) 1782.57 Current children cumulated vsize (Kb) 516632 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=516632 CPUtime=1783.58 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 171337 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 129158 126536 297 55 0 128049 0 Current children cumulated CPU time (s) 1783.58 Current children cumulated vsize (Kb) 516632 [startup+1785.07 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=516632 CPUtime=1784.58 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 171437 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533955 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 129158 126536 297 55 0 128049 0 Current children cumulated CPU time (s) 1784.58 Current children cumulated vsize (Kb) 516632 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=516632 CPUtime=1785.59 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 171538 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 129158 126536 297 55 0 128049 0 Current children cumulated CPU time (s) 1785.59 Current children cumulated vsize (Kb) 516632 [startup+1787.08 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=516632 CPUtime=1786.59 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 171638 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 129158 126536 297 55 0 128049 0 Current children cumulated CPU time (s) 1786.59 Current children cumulated vsize (Kb) 516632 [startup+1788.09 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=516632 CPUtime=1787.6 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 171739 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 129158 126536 297 55 0 128049 0 Current children cumulated CPU time (s) 1787.6 Current children cumulated vsize (Kb) 516632 [startup+1789.09 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=516632 CPUtime=1788.6 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 171839 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 129158 126536 297 55 0 128049 0 Current children cumulated CPU time (s) 1788.6 Current children cumulated vsize (Kb) 516632 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=516632 CPUtime=1789.6 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 171939 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524309 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 129158 126536 297 55 0 128049 0 Current children cumulated CPU time (s) 1789.6 Current children cumulated vsize (Kb) 516632 [startup+1791.1 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=516632 CPUtime=1790.61 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307617 0 0 0 172040 7021 0 0 25 0 1 0 189568397 529031168 126536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 129158 126536 297 55 0 128049 0 Current children cumulated CPU time (s) 1790.61 Current children cumulated vsize (Kb) 516632 [startup+1792.11 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=516632 CPUtime=1791.61 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307618 0 0 0 172140 7021 0 0 25 0 1 0 189568397 529031168 126537 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 129158 126537 297 55 0 128049 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (Kb) 516632 [startup+1793.11 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=516632 CPUtime=1792.62 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307620 0 0 0 172241 7021 0 0 25 0 1 0 189568397 529031168 126539 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 129158 126539 297 55 0 128049 0 Current children cumulated CPU time (s) 1792.62 Current children cumulated vsize (Kb) 516632 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=516632 CPUtime=1793.62 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307622 0 0 0 172341 7021 0 0 25 0 1 0 189568397 529031168 126541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540712 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 129158 126541 297 55 0 128049 0 Current children cumulated CPU time (s) 1793.62 Current children cumulated vsize (Kb) 516632 [startup+1795.12 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=516764 CPUtime=1794.63 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307623 0 0 0 172442 7021 0 0 25 0 1 0 189568397 529166336 126542 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595806 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 129191 126542 297 55 0 128082 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (Kb) 516764 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=516764 CPUtime=1795.63 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307624 0 0 0 172542 7021 0 0 25 0 1 0 189568397 529166336 126543 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541611 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 129191 126543 297 55 0 128082 0 Current children cumulated CPU time (s) 1795.63 Current children cumulated vsize (Kb) 516764 [startup+1797.13 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=516764 CPUtime=1796.64 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307626 0 0 0 172643 7021 0 0 25 0 1 0 189568397 529166336 126545 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 129191 126545 297 55 0 128082 0 Current children cumulated CPU time (s) 1796.64 Current children cumulated vsize (Kb) 516764 [startup+1798.13 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1149024/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=516764 CPUtime=1797.64 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307629 0 0 0 172743 7021 0 0 25 0 1 0 189568397 529166336 126548 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 129191 126548 297 55 0 128082 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (Kb) 516764 [startup+1799.14 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1148960/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=516764 CPUtime=1798.64 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307631 0 0 0 172843 7021 0 0 25 0 1 0 189568397 529166336 126550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 129191 126550 297 55 0 128082 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (Kb) 516764 [startup+1800.14 s] /proc/loadavg: 0.99 0.97 0.98 2/67 12541 /proc/meminfo: memFree=1148960/2055892 swapFree=4085292/4096564 [pid=12541] ppid=12539 vsize=516764 CPUtime=1799.65 /proc/12541/stat : 12541 (bsolo) R 12539 12541 12496 0 -1 0 23307632 0 0 0 172944 7021 0 0 25 0 1 0 189568397 529166336 126551 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12541/statm: 129191 126551 297 55 0 128082 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 516764 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.31 CPU user time (s): 1730.02 CPU system time (s): 70.2893 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (Kb): 516764
Begin job on node84 on Fri Jun 2 09:08:11 UTC 2006 FILE ID= 39735-1149239290 PBS_JOBID= 297302 BENCH NAME= ROOT/tmp/node84/39735-1149239290/instance-39735-1149239290.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/39735-1149239290/instance-39735-1149239290.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node84/watcher-39735-1149239290 -o ROOT/results/node84/solver-39735-1149239290 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/39735-1149239290/instance-39735-1149239290.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 63ec6637b1b124456335cf99c2a6c3dd RANDOM SEED= 22347735 /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.231 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.15 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.231 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1655024 kB Buffers: 25516 kB Cached: 304756 kB SwapCached: 2520 kB Active: 125104 kB Inactive: 213792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1655024 kB SwapTotal: 4096564 kB SwapFree: 4085292 kB Dirty: 176 kB Writeback: 0 kB Mapped: 16412 kB Slab: 48644 kB Committed_AS: 287744 kB PageTables: 1272 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node84 on Fri Jun 2 09:38:12 UTC 2006