Trace number 84855

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.46 1801.22

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-vpm1.opb
MD5SUM019e5a614038472d624f56ab4ecfb30e
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark38
Best CPU time to get the best result obtained on this benchmark1782.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
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 819200
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 4941871
Number of bits of the biggest sum of numbers23
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/node54/watcher-84855-1154162277 -o ROOT/results/node54/solver-84855-1154162277 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node54/84855-1154162277/instance-84855-1154162277.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.91 3/64 9994
/proc/meminfo: memFree=1678456/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=2424 CPUtime=0
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 150 0 0 0 0 0 0 0 18 0 1 0 163097755 2482176 130 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 10095480 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 606 130 111 40 0 11 0

[startup+10.0032 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9994
/proc/meminfo: memFree=1675856/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=4956 CPUtime=9.99
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 11842 0 0 0 992 7 0 0 25 0 1 0 163097755 5074944 865 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 10591959 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1239 865 227 40 0 656 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 4956

[startup+20.0103 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9994
/proc/meminfo: memFree=1675728/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=4956 CPUtime=19.99
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 55958 0 0 0 1971 28 0 0 25 0 1 0 163097755 5074944 865 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1239 865 227 40 0 656 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 4956

[startup+30.0174 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9994
/proc/meminfo: memFree=1675664/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=5388 CPUtime=29.99
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 134282 0 0 0 2937 62 0 0 25 0 1 0 163097755 5517312 971 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1347 971 227 40 0 764 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 5388

[startup+40.0235 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9994
/proc/meminfo: memFree=1675472/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=5232 CPUtime=40
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 234210 0 0 0 3903 97 0 0 25 0 1 0 163097755 5357568 934 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629264 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1308 934 227 40 0 725 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 5232

[startup+50.0306 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9994
/proc/meminfo: memFree=1675280/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=5280 CPUtime=50
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 317492 0 0 0 4873 127 0 0 25 0 1 0 163097755 5406720 946 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1320 946 227 40 0 737 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 5280

[startup+60.0366 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9994
/proc/meminfo: memFree=1675344/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=5280 CPUtime=60.01
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 383750 0 0 0 5849 152 0 0 25 0 1 0 163097755 5406720 946 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1320 946 227 40 0 737 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 5280

[startup+70.0437 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9994
/proc/meminfo: memFree=1675152/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=5396 CPUtime=70.01
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 458771 0 0 0 6822 179 0 0 25 0 1 0 163097755 5525504 975 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1349 975 227 40 0 766 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 5396

[startup+80.0498 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9994
/proc/meminfo: memFree=1675088/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=5596 CPUtime=80.01
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 539053 0 0 0 7789 212 0 0 25 0 1 0 163097755 5730304 1025 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134570041 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1399 1025 227 40 0 816 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 5596

[startup+90.0559 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9994
/proc/meminfo: memFree=1674704/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=5824 CPUtime=90.01
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 630278 0 0 0 8751 250 0 0 25 0 1 0 163097755 5963776 1082 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1456 1082 227 40 0 873 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 5824

[startup+100.062 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9994
/proc/meminfo: memFree=1674832/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=5824 CPUtime=100.01
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 678311 0 0 0 9734 267 0 0 25 0 1 0 163097755 5963776 1082 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629276 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1456 1082 227 40 0 873 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 5824

[startup+110.068 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9994
/proc/meminfo: memFree=1674832/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=5824 CPUtime=110.02
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 727640 0 0 0 10714 288 0 0 25 0 1 0 163097755 5963776 1082 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1456 1082 227 40 0 873 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 5824

[startup+120.074 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9994
/proc/meminfo: memFree=1674832/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=5824 CPUtime=120.02
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 778508 0 0 0 11694 308 0 0 25 0 1 0 163097755 5963776 1082 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629229 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1456 1082 227 40 0 873 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 5824

[startup+130.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9994
/proc/meminfo: memFree=1674704/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=6228 CPUtime=130.02
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 829232 0 0 0 12673 329 0 0 25 0 1 0 163097755 6377472 1181 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1557 1181 227 40 0 974 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 6228

[startup+140.086 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9994
/proc/meminfo: memFree=1674448/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=6096 CPUtime=140.03
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 880941 0 0 0 13653 350 0 0 25 0 1 0 163097755 6242304 1150 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1524 1150 227 40 0 941 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 6096

[startup+150.092 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9996
/proc/meminfo: memFree=1674320/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=6284 CPUtime=150.02
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 935015 0 0 0 14630 372 0 0 25 0 1 0 163097755 6434816 1197 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534663 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1571 1197 227 40 0 988 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 6284

[startup+160.099 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9996
/proc/meminfo: memFree=1674064/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=6456 CPUtime=160.02
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 987442 0 0 0 15608 394 0 0 25 0 1 0 163097755 6610944 1240 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643691 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1614 1240 227 40 0 1031 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 6456

[startup+170.105 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9996
/proc/meminfo: memFree=1673872/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=7092 CPUtime=170.03
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 1037804 0 0 0 16587 416 0 0 25 0 1 0 163097755 7262208 1396 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1773 1396 227 40 0 1190 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 7092

[startup+180.111 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9996
/proc/meminfo: memFree=1673552/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=6988 CPUtime=180.03
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 1085232 0 0 0 17569 434 0 0 25 0 1 0 163097755 7155712 1373 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134541738 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1747 1373 227 40 0 1164 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 6988

[startup+190.117 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9996
/proc/meminfo: memFree=1673296/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=7556 CPUtime=190.03
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 1132362 0 0 0 18550 453 0 0 25 0 1 0 163097755 7737344 1512 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585290 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1889 1512 227 40 0 1306 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 7556

[startup+200.123 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9996
/proc/meminfo: memFree=1673040/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=7908 CPUtime=200.03
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 1180276 0 0 0 19529 474 0 0 25 0 1 0 163097755 8097792 1600 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582083 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1977 1600 227 40 0 1394 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 7908

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

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

/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9085111 0 0 0 174405 3731 0 0 25 0 1 0 163097755 47792128 11291 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 11668 11291 227 40 0 11085 0
Current children cumulated CPU time (s) 1781.36
Current children cumulated vsize (Kb) 46672

[startup+1783.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10194
/proc/meminfo: memFree=1633552/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=46700 CPUtime=1782.36
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9090243 0 0 0 174503 3733 0 0 25 0 1 0 163097755 47820800 11298 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 11675 11298 227 40 0 11092 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (Kb) 46700

[startup+1784.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10194
/proc/meminfo: memFree=1633552/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=46380 CPUtime=1783.36
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9095269 0 0 0 174601 3735 0 0 25 0 1 0 163097755 47493120 11221 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 11595 11221 227 40 0 11012 0
Current children cumulated CPU time (s) 1783.36
Current children cumulated vsize (Kb) 46380

[startup+1785.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10194
/proc/meminfo: memFree=1633552/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=46396 CPUtime=1784.37
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9099890 0 0 0 174700 3737 0 0 25 0 1 0 163097755 47509504 11225 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 11599 11225 227 40 0 11016 0
Current children cumulated CPU time (s) 1784.37
Current children cumulated vsize (Kb) 46396

[startup+1786.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10194
/proc/meminfo: memFree=1633424/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=46748 CPUtime=1785.37
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9104754 0 0 0 174798 3739 0 0 25 0 1 0 163097755 47869952 11310 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 11687 11310 227 40 0 11104 0
Current children cumulated CPU time (s) 1785.37
Current children cumulated vsize (Kb) 46748

[startup+1787.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10194
/proc/meminfo: memFree=1633360/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=46428 CPUtime=1786.37
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9109942 0 0 0 174896 3741 0 0 25 0 1 0 163097755 47542272 11233 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629086 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 11607 11233 227 40 0 11024 0
Current children cumulated CPU time (s) 1786.37
Current children cumulated vsize (Kb) 46428

[startup+1788.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10194
/proc/meminfo: memFree=1633360/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=46452 CPUtime=1787.38
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9114889 0 0 0 174994 3744 0 0 25 0 1 0 163097755 47566848 11239 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578069 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 11613 11239 227 40 0 11030 0
Current children cumulated CPU time (s) 1787.38
Current children cumulated vsize (Kb) 46452

[startup+1789.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10194
/proc/meminfo: memFree=1633360/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=46480 CPUtime=1788.38
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9119843 0 0 0 175092 3746 0 0 25 0 1 0 163097755 47595520 11246 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629216 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 11620 11246 227 40 0 11037 0
Current children cumulated CPU time (s) 1788.38
Current children cumulated vsize (Kb) 46480

[startup+1790.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10194
/proc/meminfo: memFree=1633424/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=46828 CPUtime=1789.39
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9124326 0 0 0 175191 3748 0 0 25 0 1 0 163097755 47951872 11301 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 10591959 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 11707 11301 227 40 0 11124 0
Current children cumulated CPU time (s) 1789.39
Current children cumulated vsize (Kb) 46828

[startup+1791.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10194
/proc/meminfo: memFree=1633424/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=46720 CPUtime=1790.39
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9129086 0 0 0 175290 3749 0 0 25 0 1 0 163097755 47841280 11305 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 11715 11307 227 40 0 11132 0
Current children cumulated CPU time (s) 1790.39
Current children cumulated vsize (Kb) 46720

[startup+1792.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10194
/proc/meminfo: memFree=1633232/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=46888 CPUtime=1791.4
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9134032 0 0 0 175388 3752 0 0 25 0 1 0 163097755 48013312 11345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 11722 11345 227 40 0 11139 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (Kb) 46888

[startup+1793.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10194
/proc/meminfo: memFree=1633232/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=46896 CPUtime=1792.4
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9138489 0 0 0 175487 3753 0 0 25 0 1 0 163097755 48021504 11347 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 11724 11347 227 40 0 11141 0
Current children cumulated CPU time (s) 1792.4
Current children cumulated vsize (Kb) 46896

[startup+1794.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10194
/proc/meminfo: memFree=1633232/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=46928 CPUtime=1793.41
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9143033 0 0 0 175585 3756 0 0 25 0 1 0 163097755 48054272 11355 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 11732 11355 227 40 0 11149 0
Current children cumulated CPU time (s) 1793.41
Current children cumulated vsize (Kb) 46928

[startup+1795.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10194
/proc/meminfo: memFree=1633232/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=46608 CPUtime=1794.41
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9147573 0 0 0 175683 3758 0 0 25 0 1 0 163097755 47726592 11278 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 11652 11278 227 40 0 11069 0
Current children cumulated CPU time (s) 1794.41
Current children cumulated vsize (Kb) 46608

[startup+1796.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10194
/proc/meminfo: memFree=1633296/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=46632 CPUtime=1795.42
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9152601 0 0 0 175782 3760 0 0 25 0 1 0 163097755 47751168 11284 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134572926 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 11658 11284 227 40 0 11075 0
Current children cumulated CPU time (s) 1795.42
Current children cumulated vsize (Kb) 46632

[startup+1797.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10194
/proc/meminfo: memFree=1633296/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=46664 CPUtime=1796.42
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9157955 0 0 0 175880 3762 0 0 25 0 1 0 163097755 47783936 11292 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 11666 11292 227 40 0 11083 0
Current children cumulated CPU time (s) 1796.42
Current children cumulated vsize (Kb) 46664

[startup+1798.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10194
/proc/meminfo: memFree=1633104/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=47024 CPUtime=1797.43
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9162933 0 0 0 175979 3764 0 0 25 0 1 0 163097755 48152576 11379 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 11756 11379 227 40 0 11173 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (Kb) 47024

[startup+1799.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10194
/proc/meminfo: memFree=1633232/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=47040 CPUtime=1798.43
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9167037 0 0 0 176077 3766 0 0 25 0 1 0 163097755 48168960 11383 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 11760 11383 227 40 0 11177 0
Current children cumulated CPU time (s) 1798.43
Current children cumulated vsize (Kb) 47040

[startup+1800.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10194
/proc/meminfo: memFree=1633232/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=47060 CPUtime=1799.43
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9171717 0 0 0 176175 3768 0 0 25 0 1 0 163097755 48189440 11389 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 11765 11389 227 40 0 11182 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (Kb) 47060

[startup+1801.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10194
/proc/meminfo: memFree=1633168/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=46748 CPUtime=1800.44
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9177081 0 0 0 176273 3771 0 0 25 0 1 0 163097755 47869952 11313 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629229 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 11687 11313 227 40 0 11104 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (Kb) 46748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10194
/proc/meminfo: memFree=1633168/2055920 swapFree=4174612/4192956
[pid=9994] ppid=9992 vsize=46748 CPUtime=1800.44
/proc/9994/stat : 9994 (glpPBv3) R 9992 9994 9945 0 -1 0 9177081 0 0 0 176273 3771 0 0 25 0 1 0 163097755 47869952 11313 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134570038 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 11687 11313 227 40 0 11104 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (Kb) 46748

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.46
CPU user time (s): 1762.74
CPU system time (s): 37.7203
CPU usage (%): 99.9575
Max. virtual memory (cumulated for all children) (Kb): 47060
The end

Launcher Data (download as text)

Begin job on node54 on Sat Jul 29 08:37:57 UTC 2006


FILE ID= 84855-1154162277

PBS_JOBID= 892629

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

MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff
MD5SUM BENCH=  019e5a614038472d624f56ab4ecfb30e

RANDOM SEED= 4699734

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:       1678664 kB
Buffers:         27472 kB
Cached:         264148 kB
SwapCached:      12000 kB
Active:          70520 kB
Inactive:       238120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1678664 kB
SwapTotal:     4192956 kB
SwapFree:      4174612 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          14468 kB
Slab:            54560 kB
Committed_AS:   683324 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 node54 on Sat Jul 29 09:07:58 UTC 2006