Trace number 84865

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.52 1801.23

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-aflow30a.opb
MD5SUMd5ffb80d8d2a9d2ae5f84f17eeb42612
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2754
Best CPU time to get the best result obtained on this benchmark1782.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2754
Optimality of the best value was proved NO
Number of variables7195
Total number of constraints900
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)29
Number of constraints which are nor clauses,nor cardinality constraints871
Minimum length of a constraint10
Maximum length of a constraint555
Number of terms in the objective function 421
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 72290
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 102400
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 3334110
Number of bits of the biggest sum of numbers22
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/node11/watcher-84865-1154162286 -o ROOT/results/node11/solver-84865-1154162286 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node11/84865-1154162286/instance-84865-1154162286.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.91 2/64 8121
/proc/meminfo: memFree=1478316/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=1012 CPUtime=0
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 45 0 0 0 0 0 0 0 18 0 1 0 163089710 1036288 28 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 7979812 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 253 28 20 40 0 8 0

[startup+10.0024 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8121
/proc/meminfo: memFree=1472004/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=8792 CPUtime=9.98
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 8638 0 0 0 993 5 0 0 25 0 1 0 163089710 9003008 1793 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585600 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 2198 1793 227 40 0 1615 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 8792

[startup+20.0084 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8121
/proc/meminfo: memFree=1471940/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=8876 CPUtime=19.99
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 14904 0 0 0 1989 10 0 0 25 0 1 0 163089710 9089024 1814 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585999 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 2219 1814 227 40 0 1636 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 8876

[startup+30.0144 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8121
/proc/meminfo: memFree=1471940/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=8864 CPUtime=29.99
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 22201 0 0 0 2983 16 0 0 25 0 1 0 163089710 9076736 1828 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 2216 1828 227 40 0 1633 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 8864

[startup+40.0204 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8121
/proc/meminfo: memFree=1472388/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=8124 CPUtime=40
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 34032 0 0 0 3975 25 0 0 25 0 1 0 163089710 8318976 1658 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 2031 1658 227 40 0 1448 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 8124

[startup+50.0264 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8121
/proc/meminfo: memFree=1471748/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=9000 CPUtime=50
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 45146 0 0 0 4968 32 0 0 25 0 1 0 163089710 9216000 1863 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 2250 1863 227 40 0 1667 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 9000

[startup+60.0324 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8121
/proc/meminfo: memFree=1471748/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=9008 CPUtime=60
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 49688 0 0 0 5963 37 0 0 25 0 1 0 163089710 9224192 1864 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 2252 1864 227 40 0 1669 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 9008

[startup+70.0394 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8121
/proc/meminfo: memFree=1471748/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=9000 CPUtime=70
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 52951 0 0 0 6961 39 0 0 25 0 1 0 163089710 9216000 1872 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 2250 1872 227 40 0 1667 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 9000

[startup+80.0463 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8121
/proc/meminfo: memFree=1471620/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=9184 CPUtime=80.01
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 56468 0 0 0 7958 43 0 0 25 0 1 0 163089710 9404416 1891 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 2296 1891 227 40 0 1713 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 9184

[startup+90.0533 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8121
/proc/meminfo: memFree=1471556/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=9140 CPUtime=90.01
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 61765 0 0 0 8955 46 0 0 25 0 1 0 163089710 9359360 1907 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 2285 1907 227 40 0 1702 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 9140

[startup+100.059 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8121
/proc/meminfo: memFree=1471876/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=8636 CPUtime=100.01
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 67906 0 0 0 9951 50 0 0 25 0 1 0 163089710 8843264 1786 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134537472 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 2159 1786 227 40 0 1576 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 8636

[startup+110.066 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8121
/proc/meminfo: memFree=1471428/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=9376 CPUtime=110.02
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 72877 0 0 0 10947 55 0 0 25 0 1 0 163089710 9601024 1939 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 2344 1939 227 40 0 1761 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 9376

[startup+120.073 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8121
/proc/meminfo: memFree=1471364/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=9348 CPUtime=120.02
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 79073 0 0 0 11943 59 0 0 25 0 1 0 163089710 9572352 1956 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 2337 1956 227 40 0 1754 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 9348

[startup+130.079 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8121
/proc/meminfo: memFree=1471300/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=8636 CPUtime=130.02
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 84081 0 0 0 12940 62 0 0 25 0 1 0 163089710 8843264 1786 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134541042 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 2159 1786 227 40 0 1576 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 8636

[startup+140.085 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8121
/proc/meminfo: memFree=1471236/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=9444 CPUtime=140.03
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 89662 0 0 0 13936 67 0 0 25 0 1 0 163089710 9670656 1985 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643691 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 2361 1985 227 40 0 1778 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 9444

[startup+150.092 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8121
/proc/meminfo: memFree=1471172/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=9652 CPUtime=150.02
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 100189 0 0 0 14928 74 0 0 25 0 1 0 163089710 9883648 2008 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 2413 2008 227 40 0 1830 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 9652

[startup+160.098 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8121
/proc/meminfo: memFree=1471108/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=9700 CPUtime=160.03
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 105930 0 0 0 15925 78 0 0 25 0 1 0 163089710 9932800 2020 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 2425 2020 227 40 0 1842 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 9700

[startup+170.104 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8121
/proc/meminfo: memFree=1471876/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=8636 CPUtime=170.04
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 116859 0 0 0 16917 87 0 0 25 0 1 0 163089710 8843264 1786 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 2159 1786 227 40 0 1576 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 8636

[startup+180.111 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8121
/proc/meminfo: memFree=1471044/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=9852 CPUtime=180.04
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 128800 0 0 0 17910 94 0 0 25 0 1 0 163089710 10088448 2058 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 2463 2058 227 40 0 1880 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 9852

[startup+190.117 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8121
/proc/meminfo: memFree=1471684/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=9764 CPUtime=190.04
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 142345 0 0 0 18901 103 0 0 25 0 1 0 163089710 9998336 2037 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134580338 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 2441 2037 227 40 0 1858 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 9764

[startup+200.123 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8121
/proc/meminfo: memFree=1470852/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=9988 CPUtime=200.04
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 154083 0 0 0 19893 111 0 0 25 0 1 0 163089710 10227712 2094 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134587940 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 2497 2094 227 40 0 1914 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 9988

[startup+210.129 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8121

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

/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2090589 0 0 0 176816 1325 0 0 25 0 1 0 163089710 22335488 5048 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 5453 5048 227 40 0 4870 0
Current children cumulated CPU time (s) 1781.41
Current children cumulated vsize (Kb) 21812

[startup+1783.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8321
/proc/meminfo: memFree=1459716/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=20584 CPUtime=1782.42
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2092253 0 0 0 176915 1327 0 0 25 0 1 0 163089710 21078016 4773 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543445 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 5146 4773 227 40 0 4563 0
Current children cumulated CPU time (s) 1782.42
Current children cumulated vsize (Kb) 20584

[startup+1784.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8321
/proc/meminfo: memFree=1459716/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=20592 CPUtime=1783.42
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2093642 0 0 0 177014 1328 0 0 25 0 1 0 163089710 21086208 4775 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 5148 4775 227 40 0 4565 0
Current children cumulated CPU time (s) 1783.42
Current children cumulated vsize (Kb) 20592

[startup+1785.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8321
/proc/meminfo: memFree=1458820/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=21836 CPUtime=1784.42
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2095583 0 0 0 177114 1328 0 0 25 0 1 0 163089710 22360064 5054 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 5459 5054 227 40 0 4876 0
Current children cumulated CPU time (s) 1784.42
Current children cumulated vsize (Kb) 21836

[startup+1786.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8321
/proc/meminfo: memFree=1458820/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=21844 CPUtime=1785.43
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2096418 0 0 0 177214 1329 0 0 25 0 1 0 163089710 22368256 5058 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 5461 5058 227 40 0 4878 0
Current children cumulated CPU time (s) 1785.43
Current children cumulated vsize (Kb) 21844

[startup+1787.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8321
/proc/meminfo: memFree=1458820/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=21852 CPUtime=1786.43
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2096976 0 0 0 177314 1329 0 0 25 0 1 0 163089710 22376448 5060 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 5463 5060 227 40 0 4880 0
Current children cumulated CPU time (s) 1786.43
Current children cumulated vsize (Kb) 21852

[startup+1788.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8321
/proc/meminfo: memFree=1458756/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=21876 CPUtime=1787.44
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2098369 0 0 0 177414 1330 0 0 25 0 1 0 163089710 22401024 5064 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134586068 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 5469 5064 227 40 0 4886 0
Current children cumulated CPU time (s) 1787.44
Current children cumulated vsize (Kb) 21876

[startup+1789.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8321
/proc/meminfo: memFree=1458756/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=21884 CPUtime=1788.44
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2098931 0 0 0 177514 1330 0 0 25 0 1 0 163089710 22409216 5068 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 5471 5068 227 40 0 4888 0
Current children cumulated CPU time (s) 1788.44
Current children cumulated vsize (Kb) 21884

[startup+1790.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8321
/proc/meminfo: memFree=1459652/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=20656 CPUtime=1789.45
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2099766 0 0 0 177614 1331 0 0 25 0 1 0 163089710 21151744 4791 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543269 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 5164 4791 227 40 0 4581 0
Current children cumulated CPU time (s) 1789.45
Current children cumulated vsize (Kb) 20656

[startup+1791.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8321
/proc/meminfo: memFree=1458756/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=21900 CPUtime=1790.45
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2101430 0 0 0 177713 1332 0 0 25 0 1 0 163089710 22425600 5070 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 5475 5070 227 40 0 4892 0
Current children cumulated CPU time (s) 1790.45
Current children cumulated vsize (Kb) 21900

[startup+1792.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8321
/proc/meminfo: memFree=1458756/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=21916 CPUtime=1791.46
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2102269 0 0 0 177813 1333 0 0 25 0 1 0 163089710 22441984 5074 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 5479 5074 227 40 0 4896 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (Kb) 21916

[startup+1793.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8321
/proc/meminfo: memFree=1458756/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=21916 CPUtime=1792.47
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2103383 0 0 0 177913 1334 0 0 25 0 1 0 163089710 22441984 5075 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 5479 5075 227 40 0 4896 0
Current children cumulated CPU time (s) 1792.47
Current children cumulated vsize (Kb) 21916

[startup+1794.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8321
/proc/meminfo: memFree=1458692/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=21932 CPUtime=1793.46
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2104500 0 0 0 178012 1334 0 0 25 0 1 0 163089710 22458368 5079 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 5483 5079 227 40 0 4900 0
Current children cumulated CPU time (s) 1793.46
Current children cumulated vsize (Kb) 21932

[startup+1795.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8321
/proc/meminfo: memFree=1458692/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=21952 CPUtime=1794.47
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2106174 0 0 0 178112 1335 0 0 25 0 1 0 163089710 22478848 5085 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 5488 5085 227 40 0 4905 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (Kb) 21952

[startup+1796.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8321
/proc/meminfo: memFree=1458692/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=21960 CPUtime=1795.48
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2107284 0 0 0 178212 1336 0 0 25 0 1 0 163089710 22487040 5085 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 5490 5085 227 40 0 4907 0
Current children cumulated CPU time (s) 1795.48
Current children cumulated vsize (Kb) 21960

[startup+1797.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8321
/proc/meminfo: memFree=1458692/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=21960 CPUtime=1796.48
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2109225 0 0 0 178312 1336 0 0 25 0 1 0 163089710 22487040 5085 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 5490 5085 227 40 0 4907 0
Current children cumulated CPU time (s) 1796.48
Current children cumulated vsize (Kb) 21960

[startup+1798.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8321
/proc/meminfo: memFree=1458692/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=21968 CPUtime=1797.49
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2109508 0 0 0 178412 1337 0 0 25 0 1 0 163089710 22495232 5089 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 5492 5089 227 40 0 4909 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (Kb) 21968

[startup+1799.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8321
/proc/meminfo: memFree=1458692/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=21976 CPUtime=1798.48
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2110897 0 0 0 178511 1337 0 0 25 0 1 0 163089710 22503424 5091 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 5494 5091 227 40 0 4911 0
Current children cumulated CPU time (s) 1798.48
Current children cumulated vsize (Kb) 21976

[startup+1800.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8321
/proc/meminfo: memFree=1458628/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=21984 CPUtime=1799.49
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2111457 0 0 0 178611 1338 0 0 25 0 1 0 163089710 22511616 5093 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 5496 5093 227 40 0 4913 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (Kb) 21984

[startup+1801.22 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8321
/proc/meminfo: memFree=1458628/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=22008 CPUtime=1800.5
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2112573 0 0 0 178711 1339 0 0 25 0 1 0 163089710 22536192 5097 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 5502 5097 227 40 0 4919 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (Kb) 22008



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.22 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8321
/proc/meminfo: memFree=1458628/2055920 swapFree=4183092/4192956
[pid=8121] ppid=8119 vsize=22008 CPUtime=1800.51
/proc/8121/stat : 8121 (glpPBv3) R 8119 8121 8072 0 -1 0 2112573 0 0 0 178712 1339 0 0 25 0 1 0 163089710 22536192 5097 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8121/statm: 5502 5097 227 40 0 4919 0
Current children cumulated CPU time (s) 1800.51
Current children cumulated vsize (Kb) 22008

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.23
CPU time (s): 1800.52
CPU user time (s): 1787.12
CPU system time (s): 13.396
CPU usage (%): 99.9605
Max. virtual memory (cumulated for all children) (Kb): 22008
The end

Launcher Data (download as text)

Begin job on node11 on Sat Jul 29 08:38:06 UTC 2006


FILE ID= 84865-1154162286

PBS_JOBID= 892639

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node11/84865-1154162286/instance-84865-1154162286.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-84865-1154162286 -o ROOT/results/node11/solver-84865-1154162286 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node11/84865-1154162286/instance-84865-1154162286.opb

MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff
MD5SUM BENCH=  d5ffb80d8d2a9d2ae5f84f17eeb42612

RANDOM SEED= 90077877

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.256
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.256
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:       1478524 kB
Buffers:         35116 kB
Cached:         466284 kB
SwapCached:       3772 kB
Active:          82956 kB
Inactive:       427136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1478524 kB
SwapTotal:     4192956 kB
SwapFree:      4183092 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14736 kB
Slab:            53244 kB
Committed_AS:   706672 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node11 on Sat Jul 29 09:08:08 UTC 2006