Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.69 | 1801.39 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-85-80.opb |
MD5SUM | 0bff286f636188f318e01b1cd9504474 |
Bench Category | SATUNSAT-SMALLINT (no optimisation, small 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 | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 6800 |
Total number of constraints | 285685 |
Number of constraints which are clauses | 285685 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 80 |
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 | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 81 |
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 glpPB 0.2 (July 2006) 0.00 c An Application of GLPK 4.10 for PB Constraints 0.00 c Done @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini
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/node33/watcher-85530-1154173578 -o ROOT/results/node33/solver-85530-1154173578 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node33/85530-1154173578/instance-85530-1154173578.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.07 0.99 0.91 2/64 5460 /proc/meminfo: memFree=1325744/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=2668 CPUtime=0 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 275 0 0 0 0 0 0 0 18 0 1 0 164232773 2732032 245 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134530886 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 667 247 199 40 0 84 0 [startup+10.0032 s] /proc/loadavg: 1.06 0.99 0.91 2/64 5460 /proc/meminfo: memFree=1154616/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=173240 CPUtime=9.99 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 50696 0 0 0 975 24 0 0 25 0 1 0 164232773 177397760 42911 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134584428 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 43310 42911 221 40 0 42727 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 173240 [startup+20.0105 s] /proc/loadavg: 1.05 0.99 0.91 2/64 5460 /proc/meminfo: memFree=1154808/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=173240 CPUtime=19.99 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 50696 0 0 0 1975 24 0 0 25 0 1 0 164232773 177397760 42911 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582203 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 43310 42911 221 40 0 42727 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 173240 [startup+30.0168 s] /proc/loadavg: 1.04 0.99 0.91 2/64 5460 /proc/meminfo: memFree=1154872/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=173240 CPUtime=30 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 50696 0 0 0 2975 25 0 0 25 0 1 0 164232773 177397760 42911 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582301 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 43310 42911 221 40 0 42727 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 173240 [startup+40.0231 s] /proc/loadavg: 1.04 0.99 0.91 2/64 5460 /proc/meminfo: memFree=1154872/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=173240 CPUtime=40.01 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 50696 0 0 0 3976 25 0 0 25 0 1 0 164232773 177397760 42911 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643502 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 43310 42911 221 40 0 42727 0 Current children cumulated CPU time (s) 40.01 Current children cumulated vsize (Kb) 173240 [startup+50.0293 s] /proc/loadavg: 1.03 0.99 0.91 2/64 5460 /proc/meminfo: memFree=1154936/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=173240 CPUtime=50.01 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 50696 0 0 0 4976 25 0 0 25 0 1 0 164232773 177397760 42911 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643684 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 43310 42911 221 40 0 42727 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 173240 [startup+60.0356 s] /proc/loadavg: 1.03 0.99 0.91 2/64 5460 /proc/meminfo: memFree=1154936/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=173240 CPUtime=60.01 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 50696 0 0 0 5976 25 0 0 25 0 1 0 164232773 177397760 42911 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643691 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 43310 42911 221 40 0 42727 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 173240 [startup+70.0429 s] /proc/loadavg: 1.02 0.99 0.91 2/64 5460 /proc/meminfo: memFree=1154936/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=173240 CPUtime=70.02 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 50696 0 0 0 6977 25 0 0 25 0 1 0 164232773 177397760 42911 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134587959 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 43310 42911 221 40 0 42727 0 Current children cumulated CPU time (s) 70.02 Current children cumulated vsize (Kb) 173240 [startup+80.0502 s] /proc/loadavg: 1.02 0.99 0.91 2/64 5460 /proc/meminfo: memFree=1154936/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=173240 CPUtime=80.02 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 50696 0 0 0 7977 25 0 0 25 0 1 0 164232773 177397760 42911 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643502 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 43310 42911 221 40 0 42727 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 173240 [startup+90.0565 s] /proc/loadavg: 1.01 0.99 0.91 2/64 5460 /proc/meminfo: memFree=1154936/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=173240 CPUtime=90.03 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 50696 0 0 0 8978 25 0 0 25 0 1 0 164232773 177397760 42911 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643494 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 43310 42911 221 40 0 42727 0 Current children cumulated CPU time (s) 90.03 Current children cumulated vsize (Kb) 173240 [startup+100.063 s] /proc/loadavg: 1.01 0.99 0.91 2/64 5460 /proc/meminfo: memFree=1154936/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=173240 CPUtime=100.03 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 50696 0 0 0 9978 25 0 0 25 0 1 0 164232773 177397760 42911 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134606883 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 43310 42911 221 40 0 42727 0 Current children cumulated CPU time (s) 100.03 Current children cumulated vsize (Kb) 173240 [startup+110.069 s] /proc/loadavg: 1.01 0.99 0.91 2/64 5460 /proc/meminfo: memFree=1154936/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=173240 CPUtime=110.03 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 50696 0 0 0 10978 25 0 0 25 0 1 0 164232773 177397760 42911 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134584928 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 43310 42911 221 40 0 42727 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 173240 [startup+120.075 s] /proc/loadavg: 1.01 0.99 0.91 2/64 5460 /proc/meminfo: memFree=1154936/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=173240 CPUtime=120.03 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 50696 0 0 0 11978 25 0 0 25 0 1 0 164232773 177397760 42911 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643689 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 43310 42911 221 40 0 42727 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 173240 [startup+130.082 s] /proc/loadavg: 1.01 0.99 0.91 2/64 5460 /proc/meminfo: memFree=1154936/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=173240 CPUtime=130.04 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 50696 0 0 0 12979 25 0 0 25 0 1 0 164232773 177397760 42911 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134606806 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 43310 42911 221 40 0 42727 0 Current children cumulated CPU time (s) 130.04 Current children cumulated vsize (Kb) 173240 [startup+140.088 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5460 /proc/meminfo: memFree=1105080/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=222872 CPUtime=140.04 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 194332 0 0 0 13908 96 0 0 25 0 1 0 164232773 228220928 55336 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542978 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 55718 55336 227 40 0 55135 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 222872 [startup+150.094 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5460 /proc/meminfo: memFree=1105080/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=222872 CPUtime=150.04 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 431482 0 0 0 14792 212 0 0 25 0 1 0 164232773 228220928 55336 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 55718 55336 227 40 0 55135 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 222872 [startup+160.101 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5460 /proc/meminfo: memFree=1105080/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=222872 CPUtime=160.05 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 670027 0 0 0 15679 326 0 0 25 0 1 0 164232773 228220928 55336 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643494 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 55718 55336 227 40 0 55135 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 222872 [startup+170.107 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5460 /proc/meminfo: memFree=1105080/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=222872 CPUtime=170.05 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 907177 0 0 0 16561 444 0 0 25 0 1 0 164232773 228220928 55336 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 55718 55336 227 40 0 55135 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 222872 [startup+180.113 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5460 /proc/meminfo: memFree=1105080/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=222872 CPUtime=180.06 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 1145722 0 0 0 17446 560 0 0 25 0 1 0 164232773 228220928 55336 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643689 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 55718 55336 227 40 0 55135 0 Current children cumulated CPU time (s) 180.06 Current children cumulated vsize (Kb) 222872 [startup+190.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5460 /proc/meminfo: memFree=1088248/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=239632 CPUtime=190.06 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 1382489 0 0 0 18332 674 0 0 25 0 1 0 164232773 245383168 59534 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59908 59534 227 40 0 59325 0 Current children cumulated CPU time (s) 190.06 Current children cumulated vsize (Kb) 239632 [startup+200.127 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5460 /proc/meminfo: memFree=1088248/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=239632 CPUtime=200.06 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 1619639 0 0 0 19220 786 0 0 25 0 1 0 164232773 245383168 59534 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59908 59534 227 40 0 59325 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 239632 [startup+210.133 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5460 ################ # More data... # ################ /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 38840052 0 0 0 159270 18884 0 0 25 0 1 0 164232773 245383168 59534 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59908 59534 227 40 0 59325 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (Kb) 239632 [startup+1783.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5658 /proc/meminfo: memFree=1087992/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=239632 CPUtime=1782.55 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 38863767 0 0 0 159359 18896 0 0 25 0 1 0 164232773 245383168 59534 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59908 59534 227 40 0 59325 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 239632 [startup+1784.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5658 /proc/meminfo: memFree=1087992/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=239632 CPUtime=1783.55 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 38887482 0 0 0 159448 18907 0 0 25 0 1 0 164232773 245383168 59534 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59908 59534 227 40 0 59325 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 239632 [startup+1785.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5658 /proc/meminfo: memFree=1062776/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=264704 CPUtime=1784.56 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 38903824 0 0 0 159540 18916 0 0 25 0 1 0 164232773 271056896 65783 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134539448 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 66176 65783 227 40 0 65593 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 264704 [startup+1786.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5658 /proc/meminfo: memFree=1087992/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=239632 CPUtime=1785.56 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 38927539 0 0 0 159629 18927 0 0 25 0 1 0 164232773 245383168 59534 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59908 59534 227 40 0 59325 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 239632 [startup+1787.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5658 /proc/meminfo: memFree=1087992/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=239632 CPUtime=1786.56 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 38951254 0 0 0 159717 18939 0 0 25 0 1 0 164232773 245383168 59534 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59908 59534 227 40 0 59325 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 239632 [startup+1788.17 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5658 /proc/meminfo: memFree=1087992/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=236284 CPUtime=1787.57 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 38975494 0 0 0 159806 18951 0 0 25 0 1 0 164232773 241954816 58664 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 11411159 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59071 58671 227 40 0 58488 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 236284 [startup+1789.17 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5658 /proc/meminfo: memFree=1087992/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=239632 CPUtime=1788.58 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 39000079 0 0 0 159895 18963 0 0 25 0 1 0 164232773 245383168 59534 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643687 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59908 59534 227 40 0 59325 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 239632 [startup+1790.18 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5658 /proc/meminfo: memFree=1087992/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=239632 CPUtime=1789.58 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 39023794 0 0 0 159983 18975 0 0 25 0 1 0 164232773 245383168 59534 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59908 59534 227 40 0 59325 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 239632 [startup+1791.18 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5658 /proc/meminfo: memFree=1087992/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=239632 CPUtime=1790.59 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 39047509 0 0 0 160072 18987 0 0 25 0 1 0 164232773 245383168 59534 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59908 59534 227 40 0 59325 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 239632 [startup+1792.18 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5658 /proc/meminfo: memFree=1087992/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=239632 CPUtime=1791.59 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 39071224 0 0 0 160160 18999 0 0 25 0 1 0 164232773 245383168 59534 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59908 59534 227 40 0 59325 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 239632 [startup+1793.19 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5658 /proc/meminfo: memFree=1087992/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=236284 CPUtime=1792.6 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 39095036 0 0 0 160249 19011 0 0 25 0 1 0 164232773 241954816 58237 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 11411159 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59071 58245 227 40 0 58488 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 236284 [startup+1794.2 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5658 /proc/meminfo: memFree=1087992/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=239632 CPUtime=1793.6 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 39120049 0 0 0 160337 19023 0 0 25 0 1 0 164232773 245383168 59534 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643494 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59908 59534 227 40 0 59325 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 239632 [startup+1795.2 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5658 /proc/meminfo: memFree=1087992/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=239632 CPUtime=1794.6 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 39143764 0 0 0 160425 19035 0 0 25 0 1 0 164232773 245383168 59534 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629060 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59908 59534 227 40 0 59325 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 239632 [startup+1796.21 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5658 /proc/meminfo: memFree=1087992/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=239632 CPUtime=1795.61 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 39167479 0 0 0 160514 19047 0 0 25 0 1 0 164232773 245383168 59534 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629115 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59908 59534 227 40 0 59325 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 239632 [startup+1797.21 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5658 /proc/meminfo: memFree=1087992/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=239632 CPUtime=1796.62 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 39191194 0 0 0 160604 19058 0 0 25 0 1 0 164232773 245383168 59534 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543012 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59908 59534 227 40 0 59325 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 239632 [startup+1798.22 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5658 /proc/meminfo: memFree=1087992/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=239632 CPUtime=1797.62 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 39214909 0 0 0 160693 19069 0 0 25 0 1 0 164232773 245383168 59534 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59908 59534 227 40 0 59325 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 239632 [startup+1799.22 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5658 /proc/meminfo: memFree=1087992/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=239632 CPUtime=1798.62 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 39238624 0 0 0 160781 19081 0 0 25 0 1 0 164232773 245383168 59534 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59908 59534 227 40 0 59325 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 239632 [startup+1800.23 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5658 /proc/meminfo: memFree=1087992/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=239632 CPUtime=1799.63 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 39262339 0 0 0 160870 19093 0 0 25 0 1 0 164232773 245383168 59534 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59908 59534 227 40 0 59325 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (Kb) 239632 [startup+1801.23 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5658 /proc/meminfo: memFree=1087992/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=239632 CPUtime=1800.63 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 39286054 0 0 0 160958 19105 0 0 25 0 1 0 164232773 245383168 59534 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59908 59534 227 40 0 59325 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 239632 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.23 s] /proc/loadavg: 1.00 0.99 0.91 2/64 5658 /proc/meminfo: memFree=1087992/2055920 swapFree=4183192/4192956 [pid=5460] ppid=5458 vsize=239632 CPUtime=1800.64 /proc/5460/stat : 5460 (glpPBv3) R 5458 5460 5411 0 -1 0 39286054 0 0 0 160959 19105 0 0 25 0 1 0 164232773 245383168 59534 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/5460/statm: 59908 59534 227 40 0 59325 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 239632 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.39 CPU time (s): 1800.69 CPU user time (s): 1609.59 CPU system time (s): 191.092 CPU usage (%): 99.9608 Max. virtual memory (cumulated for all children) (Kb): 273552 The end
Begin job on node33 on Sat Jul 29 11:46:18 UTC 2006 FILE ID= 85530-1154173578 PBS_JOBID= 893304 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-85-80.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node33/85530-1154173578/instance-85530-1154173578.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-85530-1154173578 -o ROOT/results/node33/solver-85530-1154173578 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node33/85530-1154173578/instance-85530-1154173578.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= 0bff286f636188f318e01b1cd9504474 RANDOM SEED= 109918559 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.218 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.218 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: 1325952 kB Buffers: 40068 kB Cached: 607728 kB SwapCached: 3576 kB Active: 59656 kB Inactive: 596688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1325952 kB SwapTotal: 4192956 kB SwapFree: 4183192 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14680 kB Slab: 59684 kB Committed_AS: 749768 kB PageTables: 1420 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node33 on Sat Jul 29 12:16:19 UTC 2006