Trace number 85078

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
glpPB 0.2? (TO) 1800.71 1801.22

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-vpm1.opb
MD5SUM7d8a1496a778abf94cc39a37abc46ff3
Bench CategoryOPT-SMALLINT (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 FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 51
Optimality of the best value was proved NO
Number of variables2754
Total number of constraints444
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints444
Minimum length of a constraint11
Maximum length of a constraint82
Number of terms in the objective function 168
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 168
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 204800
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524341
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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/node35/watcher-85078-1154164569 -o ROOT/results/node35/solver-85078-1154164569 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node35/85078-1154164569/instance-85078-1154164569.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.98 0.91 2/64 4733
/proc/meminfo: memFree=1072080/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=2632 CPUtime=0
/proc/4733/stat : 4733 (glpPBv3) D 4731 4733 4684 0 -1 0 240 0 0 0 0 0 0 0 18 0 1 0 163316986 2695168 210 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/4733/statm: 658 210 185 40 0 75 0

[startup+10.0028 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 4733
/proc/meminfo: memFree=1069456/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=4956 CPUtime=9.99
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 6388 0 0 0 995 4 0 0 25 0 1 0 163316986 5074944 865 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534663 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 1239 865 227 40 0 656 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 4956

[startup+20.009 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 4733
/proc/meminfo: memFree=1069336/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=4956 CPUtime=20
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 31866 0 0 0 1985 15 0 0 25 0 1 0 163316986 5074944 865 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534716 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 1239 865 227 40 0 656 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 4956

[startup+30.0152 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 4733
/proc/meminfo: memFree=1069272/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=5044 CPUtime=29.99
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 81727 0 0 0 2962 37 0 0 25 0 1 0 163316986 5165056 887 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629088 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 1261 887 227 40 0 678 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 5044

[startup+40.0214 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 4733
/proc/meminfo: memFree=1069144/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=5232 CPUtime=40.01
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 137820 0 0 0 3942 59 0 0 25 0 1 0 163316986 5357568 934 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534975 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 1308 934 227 40 0 725 0
Current children cumulated CPU time (s) 40.01
Current children cumulated vsize (Kb) 5232

[startup+50.0276 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 4733
/proc/meminfo: memFree=1068824/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=5760 CPUtime=50.01
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 189993 0 0 0 4924 77 0 0 25 0 1 0 163316986 5898240 1063 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 1440 1063 227 40 0 857 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 5760

[startup+60.0338 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 4733
/proc/meminfo: memFree=1068760/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=5788 CPUtime=60.01
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 247975 0 0 0 5901 100 0 0 25 0 1 0 163316986 5926912 1041 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1928919 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 1447 1041 227 40 0 864 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 5788

[startup+70.04 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 4733
/proc/meminfo: memFree=1068376/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=6144 CPUtime=70.01
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 301318 0 0 0 6878 123 0 0 25 0 1 0 163316986 6291456 1159 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585614 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 1536 1159 227 40 0 953 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 6144

[startup+80.0462 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 4733
/proc/meminfo: memFree=1068248/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=6316 CPUtime=80.01
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 354801 0 0 0 7856 145 0 0 25 0 1 0 163316986 6467584 1186 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1898107 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 1579 1186 227 40 0 996 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 6316

[startup+90.0524 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 4733
/proc/meminfo: memFree=1068248/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=6160 CPUtime=90.02
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 407323 0 0 0 8838 164 0 0 25 0 1 0 163316986 6307840 1166 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629276 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 1540 1166 227 40 0 957 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 6160

[startup+100.059 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 4733
/proc/meminfo: memFree=1067928/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=6676 CPUtime=100.03
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 463264 0 0 0 9813 190 0 0 25 0 1 0 163316986 6836224 1292 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 1669 1292 227 40 0 1086 0
Current children cumulated CPU time (s) 100.03
Current children cumulated vsize (Kb) 6676

[startup+110.065 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 4733
/proc/meminfo: memFree=1067864/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=6712 CPUtime=110.03
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 520319 0 0 0 10792 211 0 0 25 0 1 0 163316986 6873088 1303 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 1678 1303 227 40 0 1095 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 6712

[startup+120.071 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 4733
/proc/meminfo: memFree=1067608/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=6700 CPUtime=120.03
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 574398 0 0 0 11772 231 0 0 25 0 1 0 163316986 6860800 1301 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542173 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 1675 1301 227 40 0 1092 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 6700

[startup+130.077 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 4733
/proc/meminfo: memFree=1067352/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=6872 CPUtime=130.03
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 628952 0 0 0 12751 252 0 0 25 0 1 0 163316986 7036928 1344 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 1718 1344 227 40 0 1135 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 6872

[startup+140.083 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 4733
/proc/meminfo: memFree=1067160/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=7152 CPUtime=140.04
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 678238 0 0 0 13733 271 0 0 25 0 1 0 163316986 7323648 1414 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134541738 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 1788 1414 227 40 0 1205 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 7152

[startup+150.09 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 4733
/proc/meminfo: memFree=1066904/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=7328 CPUtime=150.04
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 731632 0 0 0 14712 292 0 0 25 0 1 0 163316986 7503872 1458 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629280 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 1832 1458 227 40 0 1249 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 7328

[startup+160.096 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 4733
/proc/meminfo: memFree=1066840/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=7500 CPUtime=160.04
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 784642 0 0 0 15691 313 0 0 25 0 1 0 163316986 7680000 1501 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632670 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 1875 1501 227 40 0 1292 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 7500

[startup+170.102 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 4733
/proc/meminfo: memFree=1066648/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=8024 CPUtime=170.05
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 837941 0 0 0 16670 335 0 0 25 0 1 0 163316986 8216576 1629 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1928919 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 2006 1629 227 40 0 1423 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 8024

[startup+180.108 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 4733
/proc/meminfo: memFree=1066328/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=8212 CPUtime=180.05
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 888908 0 0 0 17649 356 0 0 25 0 1 0 163316986 8409088 1595 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 1969 1595 227 40 0 1386 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 8212

[startup+190.114 s]
/proc/loadavg: 1.06 1.00 0.91 2/64 4733
/proc/meminfo: memFree=1066136/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=8048 CPUtime=190.05
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 943769 0 0 0 18631 374 0 0 25 0 1 0 163316986 8241152 1638 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543442 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 2012 1638 227 40 0 1429 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 8048

[startup+200.121 s]
/proc/loadavg: 1.05 1.00 0.91 2/64 4733
/proc/meminfo: memFree=1065944/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=8564 CPUtime=200.06
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 996689 0 0 0 19610 396 0 0 25 0 1 0 163316986 8769536 1764 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 2141 1764 227 40 0 1558 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 8564

[startup+210.127 s]
/proc/loadavg: 1.04 1.00 0.91 2/64 4733

################
# More data... #
################

/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 9460869 0 0 0 174217 3944 0 0 25 0 1 0 163316986 36245504 8472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 8849 8472 227 40 0 8266 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (Kb) 35396

[startup+1783.1 s]
/proc/loadavg: 1.00 1.00 0.91 2/64 4735
/proc/meminfo: memFree=1039000/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=35072 CPUtime=1782.61
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 9466039 0 0 0 174315 3946 0 0 25 0 1 0 163316986 35913728 8394 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 8768 8394 227 40 0 8185 0
Current children cumulated CPU time (s) 1782.61
Current children cumulated vsize (Kb) 35072

[startup+1784.11 s]
/proc/loadavg: 1.00 1.00 0.91 2/64 4735
/proc/meminfo: memFree=1038936/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=35088 CPUtime=1783.61
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 9470836 0 0 0 174413 3948 0 0 25 0 1 0 163316986 35930112 8398 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543407 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 8772 8398 227 40 0 8189 0
Current children cumulated CPU time (s) 1783.61
Current children cumulated vsize (Kb) 35088

[startup+1785.11 s]
/proc/loadavg: 1.00 1.00 0.91 2/64 4735
/proc/meminfo: memFree=1038936/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=35104 CPUtime=1784.62
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 9476267 0 0 0 174512 3950 0 0 25 0 1 0 163316986 35946496 8402 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542970 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 8776 8402 227 40 0 8193 0
Current children cumulated CPU time (s) 1784.62
Current children cumulated vsize (Kb) 35104

[startup+1786.12 s]
/proc/loadavg: 1.08 1.02 0.92 2/64 4735
/proc/meminfo: memFree=1039064/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=35448 CPUtime=1785.62
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 9482101 0 0 0 174610 3952 0 0 25 0 1 0 163316986 36298752 8485 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 8862 8485 227 40 0 8279 0
Current children cumulated CPU time (s) 1785.62
Current children cumulated vsize (Kb) 35448

[startup+1787.12 s]
/proc/loadavg: 1.08 1.02 0.92 2/64 4735
/proc/meminfo: memFree=1039064/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=35480 CPUtime=1786.63
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 9487116 0 0 0 174708 3955 0 0 25 0 1 0 163316986 36331520 8478 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1898107 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 8870 8478 227 40 0 8287 0
Current children cumulated CPU time (s) 1786.63
Current children cumulated vsize (Kb) 35480

[startup+1788.13 s]
/proc/loadavg: 1.08 1.02 0.92 2/64 4735
/proc/meminfo: memFree=1039000/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=35488 CPUtime=1787.63
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 9492236 0 0 0 174807 3956 0 0 25 0 1 0 163316986 36339712 8495 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 8872 8495 227 40 0 8289 0
Current children cumulated CPU time (s) 1787.63
Current children cumulated vsize (Kb) 35488

[startup+1789.13 s]
/proc/loadavg: 1.08 1.02 0.92 2/64 4735
/proc/meminfo: memFree=1039000/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=35512 CPUtime=1788.64
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 9497073 0 0 0 174905 3959 0 0 25 0 1 0 163316986 36364288 8473 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1898107 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 8878 8480 227 40 0 8295 0
Current children cumulated CPU time (s) 1788.64
Current children cumulated vsize (Kb) 35512

[startup+1790.14 s]
/proc/loadavg: 1.07 1.02 0.92 2/64 4735
/proc/meminfo: memFree=1039000/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=35184 CPUtime=1789.64
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 9502126 0 0 0 175003 3961 0 0 25 0 1 0 163316986 36028416 8422 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 8796 8422 227 40 0 8213 0
Current children cumulated CPU time (s) 1789.64
Current children cumulated vsize (Kb) 35184

[startup+1791.14 s]
/proc/loadavg: 1.07 1.02 0.92 2/64 4735
/proc/meminfo: memFree=1038808/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=35212 CPUtime=1790.65
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 9507672 0 0 0 175102 3963 0 0 25 0 1 0 163316986 36057088 8429 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542064 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 8803 8429 227 40 0 8220 0
Current children cumulated CPU time (s) 1790.65
Current children cumulated vsize (Kb) 35212

[startup+1792.15 s]
/proc/loadavg: 1.07 1.02 0.92 2/64 4735
/proc/meminfo: memFree=1038936/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=35220 CPUtime=1791.65
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 9512676 0 0 0 175200 3965 0 0 25 0 1 0 163316986 36065280 8431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134569986 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 8805 8431 227 40 0 8222 0
Current children cumulated CPU time (s) 1791.65
Current children cumulated vsize (Kb) 35220

[startup+1793.15 s]
/proc/loadavg: 1.07 1.02 0.92 2/64 4735
/proc/meminfo: memFree=1038936/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=35444 CPUtime=1792.65
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 9517686 0 0 0 175298 3967 0 0 25 0 1 0 163316986 36294656 8439 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1928919 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 8861 8449 227 40 0 8278 0
Current children cumulated CPU time (s) 1792.65
Current children cumulated vsize (Kb) 35444

[startup+1794.16 s]
/proc/loadavg: 1.07 1.02 0.92 2/64 4735
/proc/meminfo: memFree=1038936/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=35592 CPUtime=1793.66
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 9523344 0 0 0 175396 3970 0 0 25 0 1 0 163316986 36446208 8521 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 8898 8521 227 40 0 8315 0
Current children cumulated CPU time (s) 1793.66
Current children cumulated vsize (Kb) 35592

[startup+1795.16 s]
/proc/loadavg: 1.07 1.02 0.92 2/64 4735
/proc/meminfo: memFree=1038872/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=35276 CPUtime=1794.66
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 9528483 0 0 0 175494 3972 0 0 25 0 1 0 163316986 36122624 8445 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 8819 8445 227 40 0 8236 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (Kb) 35276

[startup+1796.17 s]
/proc/loadavg: 1.07 1.02 0.92 2/64 4735
/proc/meminfo: memFree=1038744/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=35284 CPUtime=1795.67
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 9534560 0 0 0 175592 3975 0 0 25 0 1 0 163316986 36130816 8447 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543445 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 8821 8447 227 40 0 8238 0
Current children cumulated CPU time (s) 1795.67
Current children cumulated vsize (Kb) 35284

[startup+1797.17 s]
/proc/loadavg: 1.07 1.02 0.92 2/64 4735
/proc/meminfo: memFree=1038744/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=35628 CPUtime=1796.67
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 9539989 0 0 0 175690 3977 0 0 25 0 1 0 163316986 36483072 8530 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 8907 8530 227 40 0 8324 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (Kb) 35628

[startup+1798.18 s]
/proc/loadavg: 1.07 1.02 0.92 2/64 4735
/proc/meminfo: memFree=1038872/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=35308 CPUtime=1797.68
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 9545258 0 0 0 175788 3980 0 0 25 0 1 0 163316986 36155392 8453 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534653 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 8827 8453 227 40 0 8244 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (Kb) 35308

[startup+1799.18 s]
/proc/loadavg: 1.07 1.02 0.92 2/64 4735
/proc/meminfo: memFree=1038872/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=35332 CPUtime=1798.69
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 9550367 0 0 0 175887 3982 0 0 25 0 1 0 163316986 36179968 8459 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643691 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 8833 8459 227 40 0 8250 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (Kb) 35332

[startup+1800.19 s]
/proc/loadavg: 1.06 1.02 0.92 2/64 4735
/proc/meminfo: memFree=1038808/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=35348 CPUtime=1799.68
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 9555231 0 0 0 175985 3983 0 0 25 0 1 0 163316986 36196352 8463 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542070 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 8837 8463 227 40 0 8254 0
Current children cumulated CPU time (s) 1799.68
Current children cumulated vsize (Kb) 35348

[startup+1801.19 s]
/proc/loadavg: 1.06 1.02 0.92 2/64 4735
/proc/meminfo: memFree=1038744/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=35356 CPUtime=1800.7
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 9560336 0 0 0 176084 3986 0 0 25 0 1 0 163316986 36204544 8465 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632402 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 8839 8465 227 40 0 8256 0
Current children cumulated CPU time (s) 1800.7
Current children cumulated vsize (Kb) 35356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 1.06 1.02 0.92 2/64 4735
/proc/meminfo: memFree=1038808/2055920 swapFree=4182944/4192956
[pid=4733] ppid=4731 vsize=35356 CPUtime=1800.7
/proc/4733/stat : 4733 (glpPBv3) R 4731 4733 4684 0 -1 0 9560336 0 0 0 176084 3986 0 0 25 0 1 0 163316986 36204544 8465 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643691 0 0 4096 0 0 0 0 17 1 0 0
/proc/4733/statm: 8839 8465 227 40 0 8256 0
Current children cumulated CPU time (s) 1800.7
Current children cumulated vsize (Kb) 35356

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.22
CPU time (s): 1800.71
CPU user time (s): 1760.85
CPU system time (s): 39.8689
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (Kb): 35628
The end

Launcher Data (download as text)

Begin job on node35 on Sat Jul 29 09:16:09 UTC 2006


FILE ID= 85078-1154164569

PBS_JOBID= 892852

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-vpm1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node35/85078-1154164569/instance-85078-1154164569.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-85078-1154164569 -o ROOT/results/node35/solver-85078-1154164569 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node35/85078-1154164569/instance-85078-1154164569.opb

MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff
MD5SUM BENCH=  7d8a1496a778abf94cc39a37abc46ff3

RANDOM SEED= 607798097

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.232
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.232
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:       1072352 kB
Buffers:         41172 kB
Cached:         864372 kB
SwapCached:       4364 kB
Active:         185368 kB
Inactive:       729372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1072352 kB
SwapTotal:     4192956 kB
SwapFree:      4182944 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:          14492 kB
Slab:            54824 kB
Committed_AS:   676960 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node35 on Sat Jul 29 09:46:10 UTC 2006