Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.04 | 1800.6 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3705.opb |
MD5SUM | c62be038ec01e0d6924d61ed3007a589 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4802224614 |
Optimality of the best value was proved | NO |
Number of variables | 155000 |
Total number of constraints | 5150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 4294967296 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 29593306649763 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 4294967296 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 29593306649763 |
Number of bits of the biggest sum of numbers | 45 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.02 c INFO: OSL Context initialized. 0.02 c BIG Int formula... 6.33 c Initial problem consists of 155000 variables and 5300 constraints. 6.78 c No problem reductions applied in OPT. instance. 6.78 c preprocess terminated. Elapsed time: 6.768 6.78 c After prepocess the problem consists of 93871 variables and 5300 constraints. 6.78 c Initial Lower Bound: 0 9.15 c Restart #1 #Var: 93871 LB: 0 @ 9.135 12.02 c Restart #2 #Var: 93871 LB: 0 @ 11.997 15.80 c Restart #3 #Var: 93871 LB: 0 @ 15.78 20.53 c Restart #4 #Var: 93871 LB: 0 @ 20.511 26.43 c Restart #5 #Var: 93871 LB: 0 @ 26.409 33.40 c Restart #6 #Var: 93871 LB: 0 @ 33.373 41.67 c Restart #7 #Var: 93871 LB: 0 @ 41.645 51.05 c Restart #8 #Var: 93871 LB: 0 @ 51.014 61.15 c Restart #9 #Var: 93871 LB: 0 @ 61.113 71.81 c Restart #10 #Var: 93871 LB: 0 @ 71.772 81.69 c Restart #11 #Var: 93871 LB: 0 @ 81.652 92.14 c Restart #12 #Var: 93871 LB: 0 @ 92.094 103.89 c Restart #13 #Var: 93871 LB: 0 @ 103.84 115.80 c Restart #14 #Var: 93871 LB: 0 @ 115.75 128.56 c Restart #15 #Var: 93871 LB: 0 @ 128.5 139.82 c Restart #16 #Var: 93871 LB: 0 @ 139.76 151.83 c Restart #17 #Var: 93871 LB: 0 @ 151.77 168.47 c Restart #18 #Var: 93871 LB: 0 @ 168.4 185.26 c Restart #19 #Var: 93871 LB: 0 @ 185.19 198.85 c Restart #20 #Var: 93871 LB: 0 @ 198.78 215.95 c Restart #21 #Var: 93871 LB: 0 @ 215.87 233.36 c Restart #22 #Var: 93871 LB: 0 @ 233.28 253.16 c Restart #23 #Var: 93871 LB: 0 @ 253.07 275.75 c Restart #24 #Var: 93871 LB: 0 @ 275.65 294.12 c Restart #25 #Var: 93871 LB: 0 @ 294.02 314.63 c Restart #26 #Var: 93871 LB: 0 @ 314.52 339.13 c Restart #27 #Var: 93871 LB: 0 @ 339.01 367.65 c Restart #28 #Var: 93871 LB: 0 @ 367.52 391.39 c Restart #29 #Var: 93871 LB: 0 @ 391.26 417.41 c Restart #30 #Var: 93871 LB: 0 @ 417.26 530.91 c Restart #31 #Var: 93871 LB: 0 @ 530.74 651.82 c Restart #32 #Var: 93871 LB: 0 @ 651.61 767.27 c Restart #33 #Var: 93871 LB: 0 @ 767.02 873.26 c Restart #34 #Var: 93871 LB: 0 @ 872.99 1004.26 c CHANGE Heuristic... 1004.26 c Restart #0 #Var: 93871 LB: 0 @ 1004 1006.27 c Restart #1 #Var: 93871 LB: 0 @ 1006 1008.36 c Restart #2 #Var: 93871 LB: 0 @ 1008 1139.01 c Restart #3 #Var: 93871 LB: 0 @ 1138.7 1143.43 c Restart #4 #Var: 93871 LB: 0 @ 1143.1 1178.28 c Restart #5 #Var: 93871 LB: 0 @ 1177.9 1182.82 c Restart #6 #Var: 93871 LB: 0 @ 1182.5 1279.08 c Restart #7 #Var: 93871 LB: 0 @ 1278.7 1286.04 c Restart #8 #Var: 93871 LB: 0 @ 1285.6 1293.30 c Restart #9 #Var: 93871 LB: 0 @ 1292.9 1315.99 c Restart #10 #Var: 93871 LB: 0 @ 1315.6 1328.68 c Restart #11 #Var: 93871 LB: 0 @ 1328.3 1338.25 c Restart #12 #Var: 93871 LB: 0 @ 1337.8 1350.05 c Restart #13 #Var: 93871 LB: 0 @ 1349.6 1363.63 c Restart #14 #Var: 93871 LB: 0 @ 1363.2 1377.54 c Restart #15 #Var: 93871 LB: 0 @ 1377.1 1391.64 c Restart #16 #Var: 93871 LB: 0 @ 1391.2 1407.88 c Restart #17 #Var: 93871 LB: 0 @ 1407.5 1423.91 c Restart #18 #Var: 93871 LB: 0 @ 1423.5 1444.28 c Restart #19 #Var: 93871 LB: 0 @ 1443.8 1768.84 c Restart #20 #Var: 93871 LB: 0 @ 1768.3 1790.68 c Restart #21 #Var: 93871 LB: 0 @ 1790.1 1800.55 s UNKNOWN 1800.55 c Exit Code: 0 1800.55 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/node90/watcher-40546-1149303699 -o ROOT/results/node90/solver-40546-1149303699 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node90/40546-1149303699/instance-40546-1149303699.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.98 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1520336/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=436 CPUtime=0 /proc/20644/stat : 20644 (bsolo) D 20642 20644 20598 0 -1 0 37 0 0 0 0 0 0 0 19 0 1 0 196008888 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12420020 0 2147483391 4096 0 18446744072099843366 0 0 17 1 0 0 /proc/20644/statm: 109 23 18 55 0 18 0 [startup+10.002 s] /proc/loadavg: 0.98 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1340200/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=190736 CPUtime=9.97 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 165136 0 0 0 935 62 0 0 25 0 1 0 196008888 195313664 45216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604191 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 47684 45216 294 55 0 46575 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 190736 [startup+20.0081 s] /proc/loadavg: 0.98 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1340392/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=190848 CPUtime=19.98 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 165175 0 0 0 1921 77 0 0 25 0 1 0 196008888 195428352 45229 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603721 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 47712 45229 294 55 0 46603 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 190848 [startup+30.0142 s] /proc/loadavg: 0.98 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1340456/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=190792 CPUtime=29.98 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 165175 0 0 0 2904 94 0 0 25 0 1 0 196008888 195371008 45229 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541442 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 47698 45229 294 55 0 46589 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 190792 [startup+40.0203 s] /proc/loadavg: 0.99 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1340520/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=190792 CPUtime=39.98 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 165175 0 0 0 3891 107 0 0 25 0 1 0 196008888 195371008 45229 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 47698 45229 294 55 0 46589 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 190792 [startup+50.0264 s] /proc/loadavg: 0.99 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1340520/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=190792 CPUtime=49.98 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 165175 0 0 0 4876 122 0 0 25 0 1 0 196008888 195371008 45229 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 47698 45229 294 55 0 46589 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 190792 [startup+60.0325 s] /proc/loadavg: 0.99 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1340584/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=190792 CPUtime=59.98 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 165175 0 0 0 5863 135 0 0 25 0 1 0 196008888 195371008 45229 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 47698 45229 294 55 0 46589 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 190792 [startup+70.0386 s] /proc/loadavg: 0.99 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1335976/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=195584 CPUtime=69.99 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 166370 0 0 0 6850 149 0 0 25 0 1 0 196008888 200278016 46424 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 48896 46424 294 55 0 47787 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 195584 [startup+80.0447 s] /proc/loadavg: 0.99 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1335912/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=195584 CPUtime=79.99 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 166370 0 0 0 7842 157 0 0 25 0 1 0 196008888 200278016 46424 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 48896 46424 294 55 0 47787 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 195584 [startup+90.0508 s] /proc/loadavg: 0.99 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1335912/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=195584 CPUtime=90 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 166383 0 0 0 8839 161 0 0 25 0 1 0 196008888 200278016 46437 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 48896 46437 294 55 0 47787 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 195584 [startup+100.056 s] /proc/loadavg: 0.99 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1335848/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=195584 CPUtime=100 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 166383 0 0 0 9839 161 0 0 25 0 1 0 196008888 200278016 46437 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 48896 46437 294 55 0 47787 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 195584 [startup+110.062 s] /proc/loadavg: 0.99 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1335848/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=195584 CPUtime=110 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 166383 0 0 0 10833 167 0 0 25 0 1 0 196008888 200278016 46437 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696489 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 48896 46437 294 55 0 47787 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 195584 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1335848/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=195584 CPUtime=120.01 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 166383 0 0 0 11829 172 0 0 25 0 1 0 196008888 200278016 46437 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 48896 46437 294 55 0 47787 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 195584 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1335848/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=195584 CPUtime=130.01 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 166383 0 0 0 12829 172 0 0 25 0 1 0 196008888 200278016 46437 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 48896 46437 294 55 0 47787 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 195584 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1335976/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=195584 CPUtime=140.01 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 166383 0 0 0 13828 173 0 0 25 0 1 0 196008888 200278016 46437 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 48896 46437 294 55 0 47787 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 195584 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1335976/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=195584 CPUtime=150.02 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 166383 0 0 0 14829 173 0 0 25 0 1 0 196008888 200278016 46437 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 48896 46437 294 55 0 47787 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 195584 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1336040/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=195584 CPUtime=160.01 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 166389 0 0 0 15824 177 0 0 25 0 1 0 196008888 200278016 46443 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 48896 46443 294 55 0 47787 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 195584 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1335976/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=195584 CPUtime=170.02 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 166389 0 0 0 16821 181 0 0 25 0 1 0 196008888 200278016 46443 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 48896 46443 294 55 0 47787 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 195584 [startup+180.104 s] /proc/loadavg: 0.99 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1335976/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=195584 CPUtime=180.03 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 166389 0 0 0 17821 182 0 0 25 0 1 0 196008888 200278016 46443 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696506 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 48896 46443 294 55 0 47787 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 195584 [startup+190.11 s] /proc/loadavg: 0.99 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1335848/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=195848 CPUtime=190.03 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 166429 0 0 0 18821 182 0 0 25 0 1 0 196008888 200548352 46483 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 48962 46483 294 55 0 47853 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 195848 [startup+200.116 s] /proc/loadavg: 0.99 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1335720/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=195848 CPUtime=200.03 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 166456 0 0 0 19821 182 0 0 25 0 1 0 196008888 200548352 46510 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 48962 46510 294 55 0 47853 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 195848 [startup+210.122 s] /proc/loadavg: 0.99 0.98 0.92 2/67 20644 /proc/meminfo: memFree=1335720/2055888 swapFree=4085308/4096564 ################ # More data... # ################ /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1760.5 Current children cumulated vsize (Kb) 240136 [startup+1771.05 s] /proc/loadavg: 1.00 1.00 0.93 2/67 20644 /proc/meminfo: memFree=1290152/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=240136 CPUtime=1770.5 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 179458 0 0 0 176818 232 0 0 25 0 1 0 196008888 245899264 57860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1770.5 Current children cumulated vsize (Kb) 240136 [startup+1781.05 s] /proc/loadavg: 1.00 1.00 0.93 2/67 20644 /proc/meminfo: memFree=1290088/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=240136 CPUtime=1780.51 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 179458 0 0 0 177818 233 0 0 25 0 1 0 196008888 245899264 57860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1780.51 Current children cumulated vsize (Kb) 240136 [startup+1782.06 s] /proc/loadavg: 1.00 1.00 0.93 2/67 20644 /proc/meminfo: memFree=1290088/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=240136 CPUtime=1781.51 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 179458 0 0 0 177918 233 0 0 25 0 1 0 196008888 245899264 57860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 240136 [startup+1783.06 s] /proc/loadavg: 1.00 1.00 0.93 2/67 20644 /proc/meminfo: memFree=1290088/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=240136 CPUtime=1782.52 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 179458 0 0 0 178019 233 0 0 25 0 1 0 196008888 245899264 57860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 240136 [startup+1784.07 s] /proc/loadavg: 1.00 1.00 0.93 2/67 20644 /proc/meminfo: memFree=1290088/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=240136 CPUtime=1783.52 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 179458 0 0 0 178119 233 0 0 25 0 1 0 196008888 245899264 57860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12536948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 240136 [startup+1785.07 s] /proc/loadavg: 1.00 1.00 0.93 2/67 20644 /proc/meminfo: memFree=1290088/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=240136 CPUtime=1784.53 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 179458 0 0 0 178220 233 0 0 25 0 1 0 196008888 245899264 57860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1784.53 Current children cumulated vsize (Kb) 240136 [startup+1786.08 s] /proc/loadavg: 1.00 1.00 0.93 2/67 20644 /proc/meminfo: memFree=1290088/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=240136 CPUtime=1785.53 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 179458 0 0 0 178320 233 0 0 25 0 1 0 196008888 245899264 57860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (Kb) 240136 [startup+1787.08 s] /proc/loadavg: 1.00 1.00 0.93 2/67 20644 /proc/meminfo: memFree=1290088/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=240136 CPUtime=1786.54 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 179458 0 0 0 178421 233 0 0 25 0 1 0 196008888 245899264 57860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (Kb) 240136 [startup+1788.09 s] /proc/loadavg: 1.00 1.00 0.93 2/67 20644 /proc/meminfo: memFree=1290088/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=240136 CPUtime=1787.54 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 179458 0 0 0 178521 233 0 0 25 0 1 0 196008888 245899264 57860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1787.54 Current children cumulated vsize (Kb) 240136 [startup+1789.09 s] /proc/loadavg: 1.00 1.00 0.93 2/67 20644 /proc/meminfo: memFree=1290088/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=240136 CPUtime=1788.55 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 179458 0 0 0 178622 233 0 0 25 0 1 0 196008888 245899264 57860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1788.55 Current children cumulated vsize (Kb) 240136 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 0.93 2/67 20644 /proc/meminfo: memFree=1290088/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=240136 CPUtime=1789.55 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 179458 0 0 0 178722 233 0 0 25 0 1 0 196008888 245899264 57860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (Kb) 240136 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 0.93 2/67 20644 /proc/meminfo: memFree=1290088/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=240136 CPUtime=1790.55 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 179458 0 0 0 178822 233 0 0 25 0 1 0 196008888 245899264 57860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1790.55 Current children cumulated vsize (Kb) 240136 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 0.93 2/67 20644 /proc/meminfo: memFree=1290088/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=240136 CPUtime=1791.56 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 179458 0 0 0 178923 233 0 0 25 0 1 0 196008888 245899264 57860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (Kb) 240136 [startup+1793.11 s] /proc/loadavg: 1.00 1.00 0.93 2/67 20644 /proc/meminfo: memFree=1290088/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=240136 CPUtime=1792.56 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 179458 0 0 0 179023 233 0 0 25 0 1 0 196008888 245899264 57860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1792.56 Current children cumulated vsize (Kb) 240136 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 0.93 2/67 20644 /proc/meminfo: memFree=1290088/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=240136 CPUtime=1793.57 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 179458 0 0 0 179124 233 0 0 25 0 1 0 196008888 245899264 57860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 240136 [startup+1795.12 s] /proc/loadavg: 1.00 1.00 0.93 2/67 20644 /proc/meminfo: memFree=1290088/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=240136 CPUtime=1794.57 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 179458 0 0 0 179224 233 0 0 25 0 1 0 196008888 245899264 57860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (Kb) 240136 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 0.93 2/67 20644 /proc/meminfo: memFree=1290088/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=240136 CPUtime=1795.57 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 179458 0 0 0 179324 233 0 0 25 0 1 0 196008888 245899264 57860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1795.57 Current children cumulated vsize (Kb) 240136 [startup+1797.13 s] /proc/loadavg: 1.00 1.00 0.93 2/67 20644 /proc/meminfo: memFree=1290088/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=240136 CPUtime=1796.58 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 179458 0 0 0 179425 233 0 0 25 0 1 0 196008888 245899264 57860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1796.58 Current children cumulated vsize (Kb) 240136 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 0.93 2/67 20644 /proc/meminfo: memFree=1290088/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=240136 CPUtime=1797.58 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 179458 0 0 0 179525 233 0 0 25 0 1 0 196008888 245899264 57860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (Kb) 240136 [startup+1799.14 s] /proc/loadavg: 1.00 1.00 0.93 2/67 20644 /proc/meminfo: memFree=1290088/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=240136 CPUtime=1798.59 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 179458 0 0 0 179626 233 0 0 25 0 1 0 196008888 245899264 57860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 240136 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 0.93 2/67 20644 /proc/meminfo: memFree=1290088/2055888 swapFree=4085308/4096564 [pid=20644] ppid=20642 vsize=240136 CPUtime=1799.59 /proc/20644/stat : 20644 (bsolo) R 20642 20644 20598 0 -1 0 179458 0 0 0 179726 233 0 0 25 0 1 0 196008888 245899264 57860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20644/statm: 60034 57860 294 55 0 58925 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (Kb) 240136 Child status: 0 Real time (s): 1800.6 CPU time (s): 1800.04 CPU user time (s): 1797.67 CPU system time (s): 2.37164 CPU usage (%): 99.969 Max. virtual memory (cumulated for all children) (Kb): 245592
Begin job on node90 on Sat Jun 3 03:01:39 UTC 2006 FILE ID= 40546-1149303699 PBS_JOBID= 307496 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3705.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node90/40546-1149303699/instance-40546-1149303699.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node90/watcher-40546-1149303699 -o ROOT/results/node90/solver-40546-1149303699 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node90/40546-1149303699/instance-40546-1149303699.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= c62be038ec01e0d6924d61ed3007a589 RANDOM SEED= 461814622 /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.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.17 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.227 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.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1520608 kB Buffers: 37332 kB Cached: 428076 kB SwapCached: 2568 kB Active: 82176 kB Inactive: 391992 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1520608 kB SwapTotal: 4096564 kB SwapFree: 4085308 kB Dirty: 172 kB Writeback: 0 kB Mapped: 16060 kB Slab: 47888 kB Committed_AS: 332724 kB PageTables: 1268 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node90 on Sat Jun 3 03:31:40 UTC 2006