Trace number 85169

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.67 1801.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-p2756.opb
MD5SUM54b9b4de78a7992fd69d0caeed32daef
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4666
Best CPU time to get the best result obtained on this benchmark1800.71
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3695
Optimality of the best value was proved NO
Number of variables2756
Total number of constraints749
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)220
Number of constraints which are nor clauses,nor cardinality constraints397
Minimum length of a constraint2
Maximum length of a constraint546
Number of terms in the objective function 2166
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 321831
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 321831
Number of bits of the biggest sum of numbers19
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/node10/watcher-85169-1154165941 -o ROOT/results/node10/solver-85169-1154165941 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node10/85169-1154165941/instance-85169-1154165941.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 0.92 3/64 8199
/proc/meminfo: memFree=1841056/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=2664 CPUtime=0
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 259 0 0 0 0 0 0 0 18 0 1 0 163455283 2727936 229 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9371351 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 666 229 192 40 0 83 0

[startup+10.0026 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8199
/proc/meminfo: memFree=1838120/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=5084 CPUtime=10
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 23913 0 0 0 989 11 0 0 25 0 1 0 163455283 5206016 898 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 1271 898 227 40 0 688 0
Current children cumulated CPU time (s) 10
Current children cumulated vsize (Kb) 5084

[startup+20.009 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8199
/proc/meminfo: memFree=1837736/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=5788 CPUtime=20
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 106383 0 0 0 1960 40 0 0 25 0 1 0 163455283 5926912 1064 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9371351 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 1483 1071 227 40 0 900 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 5788

[startup+30.0164 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8199
/proc/meminfo: memFree=1837416/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=5776 CPUtime=30
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 191783 0 0 0 2931 69 0 0 25 0 1 0 163455283 5914624 1071 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542173 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 1444 1071 227 40 0 861 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 5776

[startup+40.0227 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8199
/proc/meminfo: memFree=1835688/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=7724 CPUtime=40
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 273413 0 0 0 3900 100 0 0 25 0 1 0 163455283 7909376 1554 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134557995 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 1931 1554 227 40 0 1348 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 7724

[startup+50.0291 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8199
/proc/meminfo: memFree=1832936/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=10256 CPUtime=50
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 357174 0 0 0 4870 130 0 0 25 0 1 0 163455283 10502144 2191 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629263 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 2564 2191 227 40 0 1981 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 10256

[startup+60.0354 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8199
/proc/meminfo: memFree=1830312/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=13120 CPUtime=60.01
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 441509 0 0 0 5835 166 0 0 25 0 1 0 163455283 13434880 2904 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542220 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 3280 2904 227 40 0 2697 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 13120

[startup+70.0418 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8199
/proc/meminfo: memFree=1827688/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=15476 CPUtime=70.01
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 526127 0 0 0 6806 195 0 0 25 0 1 0 163455283 15847424 3496 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 3869 3496 227 40 0 3286 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 15476

[startup+80.0482 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8199
/proc/meminfo: memFree=1825320/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=17896 CPUtime=80.02
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 609098 0 0 0 7775 227 0 0 25 0 1 0 163455283 18325504 4101 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543232 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 4474 4101 227 40 0 3891 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 17896

[startup+90.0545 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8199
/proc/meminfo: memFree=1823016/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=20316 CPUtime=90.02
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 694010 0 0 0 8743 259 0 0 25 0 1 0 163455283 20803584 4674 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9371351 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 5079 4674 227 40 0 4496 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 20316

[startup+100.06 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8199
/proc/meminfo: memFree=1820328/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=22980 CPUtime=100.02
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 776656 0 0 0 9715 287 0 0 25 0 1 0 163455283 23531520 5357 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542272 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 5745 5357 227 40 0 5162 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 22980

[startup+110.066 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8199
/proc/meminfo: memFree=1817576/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=25512 CPUtime=110.02
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 861343 0 0 0 10687 315 0 0 25 0 1 0 163455283 26124288 6005 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542131 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 6378 6005 227 40 0 5795 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 25512

[startup+120.073 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8199
/proc/meminfo: memFree=1814952/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=28184 CPUtime=120.03
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 944394 0 0 0 11657 346 0 0 25 0 1 0 163455283 28860416 6673 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134537551 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 7046 6673 227 40 0 6463 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 28184

[startup+130.079 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8199
/proc/meminfo: memFree=1812712/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=30772 CPUtime=130.03
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 1027559 0 0 0 12626 377 0 0 25 0 1 0 163455283 31510528 7308 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 7693 7308 249 40 0 7110 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 30772

[startup+140.085 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8199
/proc/meminfo: memFree=1810344/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=32664 CPUtime=140.04
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 1110932 0 0 0 13594 410 0 0 25 0 1 0 163455283 33447936 7793 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643691 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 8166 7793 227 40 0 7583 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 32664

[startup+150.092 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8199
/proc/meminfo: memFree=1808104/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=34920 CPUtime=150.04
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 1194242 0 0 0 14562 442 0 0 25 0 1 0 163455283 35758080 8357 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629246 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 8730 8357 227 40 0 8147 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 34920

[startup+160.097 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8199
/proc/meminfo: memFree=1805928/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=37472 CPUtime=160.04
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 1276189 0 0 0 15531 473 0 0 25 0 1 0 163455283 38371328 8992 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585307 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 9368 8992 227 40 0 8785 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 37472

[startup+170.103 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8199
/proc/meminfo: memFree=1804136/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=39004 CPUtime=170.04
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 1356248 0 0 0 16497 507 0 0 25 0 1 0 163455283 39940096 9378 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542173 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 9751 9378 227 40 0 9168 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 39004

[startup+180.11 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8199
/proc/meminfo: memFree=1801384/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=41884 CPUtime=180.05
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 1437785 0 0 0 17467 538 0 0 25 0 1 0 163455283 42889216 10083 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9371351 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 10471 10083 227 40 0 9888 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 41884

[startup+190.116 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8201
/proc/meminfo: memFree=1798696/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=44740 CPUtime=190.05
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 1520216 0 0 0 18435 570 0 0 25 0 1 0 163455283 45813760 10800 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134638621 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 11185 10800 227 40 0 10602 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 44740

[startup+200.123 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8201
/proc/meminfo: memFree=1797416/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=45712 CPUtime=200.06
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 1601282 0 0 0 19404 602 0 0 25 0 1 0 163455283 46809088 11055 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542131 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 11428 11055 227 40 0 10845 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 45712

[startup+210.131 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8201

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

/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13733168 0 0 0 172979 5171 0 0 25 0 1 0 163455283 403394560 98112 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542173 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 98485 98112 227 40 0 97902 0
Current children cumulated CPU time (s) 1781.5
Current children cumulated vsize (Kb) 393940

[startup+1783.14 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8399
/proc/meminfo: memFree=1447784/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=394136 CPUtime=1782.51
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13740270 0 0 0 173078 5173 0 0 25 0 1 0 163455283 403595264 98161 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 98534 98161 227 40 0 97951 0
Current children cumulated CPU time (s) 1782.51
Current children cumulated vsize (Kb) 394136

[startup+1784.14 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8399
/proc/meminfo: memFree=1447592/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=394292 CPUtime=1783.52
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13747280 0 0 0 173175 5177 0 0 25 0 1 0 163455283 403755008 98200 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 98573 98200 227 40 0 97990 0
Current children cumulated CPU time (s) 1783.52
Current children cumulated vsize (Kb) 394292

[startup+1785.15 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8399
/proc/meminfo: memFree=1447400/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=394520 CPUtime=1784.52
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13754635 0 0 0 173273 5179 0 0 25 0 1 0 163455283 403988480 98257 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534936 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 98630 98257 227 40 0 98047 0
Current children cumulated CPU time (s) 1784.52
Current children cumulated vsize (Kb) 394520

[startup+1786.15 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8399
/proc/meminfo: memFree=1447080/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=394708 CPUtime=1785.52
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13761898 0 0 0 173370 5182 0 0 25 0 1 0 163455283 404180992 98304 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534707 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 98677 98304 227 40 0 98094 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (Kb) 394708

[startup+1787.16 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8399
/proc/meminfo: memFree=1446888/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=395004 CPUtime=1786.52
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13769194 0 0 0 173468 5184 0 0 25 0 1 0 163455283 404484096 98378 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542146 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 98751 98378 227 40 0 98168 0
Current children cumulated CPU time (s) 1786.52
Current children cumulated vsize (Kb) 395004

[startup+1788.16 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8399
/proc/meminfo: memFree=1446696/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=395664 CPUtime=1787.53
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13776383 0 0 0 173566 5187 0 0 25 0 1 0 163455283 405159936 98511 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 98916 98511 227 40 0 98333 0
Current children cumulated CPU time (s) 1787.53
Current children cumulated vsize (Kb) 395664

[startup+1789.17 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8399
/proc/meminfo: memFree=1446440/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=395664 CPUtime=1788.53
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13783354 0 0 0 173664 5189 0 0 25 0 1 0 163455283 405159936 98511 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9371351 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 98916 98511 227 40 0 98333 0
Current children cumulated CPU time (s) 1788.53
Current children cumulated vsize (Kb) 395664

[startup+1790.17 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8399
/proc/meminfo: memFree=1446184/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=395684 CPUtime=1789.54
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13790540 0 0 0 173763 5191 0 0 25 0 1 0 163455283 405180416 98548 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629280 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 98921 98548 227 40 0 98338 0
Current children cumulated CPU time (s) 1789.54
Current children cumulated vsize (Kb) 395684

[startup+1791.18 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8399
/proc/meminfo: memFree=1445928/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=395828 CPUtime=1790.55
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13797967 0 0 0 173861 5194 0 0 25 0 1 0 163455283 405327872 98584 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 98957 98584 227 40 0 98374 0
Current children cumulated CPU time (s) 1790.55
Current children cumulated vsize (Kb) 395828

[startup+1792.18 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8399
/proc/meminfo: memFree=1445736/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=396100 CPUtime=1791.55
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13805252 0 0 0 173958 5197 0 0 25 0 1 0 163455283 405606400 98652 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542160 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 99025 98652 227 40 0 98442 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (Kb) 396100

[startup+1793.19 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8399
/proc/meminfo: memFree=1445480/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=396392 CPUtime=1792.56
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13812462 0 0 0 174056 5200 0 0 25 0 1 0 163455283 405905408 98725 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534654 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 99098 98725 227 40 0 98515 0
Current children cumulated CPU time (s) 1792.56
Current children cumulated vsize (Kb) 396392

[startup+1794.19 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8399
/proc/meminfo: memFree=1445224/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=396540 CPUtime=1793.56
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13819306 0 0 0 174154 5202 0 0 25 0 1 0 163455283 406056960 98762 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543242 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 99135 98762 227 40 0 98552 0
Current children cumulated CPU time (s) 1793.56
Current children cumulated vsize (Kb) 396540

[startup+1795.2 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8399
/proc/meminfo: memFree=1445224/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=396996 CPUtime=1794.56
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13825886 0 0 0 174252 5204 0 0 25 0 1 0 163455283 406523904 98864 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9340539 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 99249 98864 227 40 0 98666 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (Kb) 396996

[startup+1796.2 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8399
/proc/meminfo: memFree=1444968/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=396884 CPUtime=1795.57
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13832758 0 0 0 174350 5207 0 0 25 0 1 0 163455283 406409216 98848 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534674 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 99221 98848 227 40 0 98638 0
Current children cumulated CPU time (s) 1795.57
Current children cumulated vsize (Kb) 396884

[startup+1797.21 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8399
/proc/meminfo: memFree=1444904/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=396956 CPUtime=1796.57
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13839582 0 0 0 174448 5209 0 0 25 0 1 0 163455283 406482944 98866 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 99239 98866 227 40 0 98656 0
Current children cumulated CPU time (s) 1796.57
Current children cumulated vsize (Kb) 396956

[startup+1798.21 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8399
/proc/meminfo: memFree=1444712/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=397144 CPUtime=1797.58
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13846525 0 0 0 174546 5212 0 0 25 0 1 0 163455283 406675456 98913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629055 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 99286 98913 227 40 0 98703 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (Kb) 397144

[startup+1799.22 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8399
/proc/meminfo: memFree=1444520/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=397220 CPUtime=1798.58
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13853275 0 0 0 174644 5214 0 0 25 0 1 0 163455283 406753280 98932 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 99305 98932 227 40 0 98722 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (Kb) 397220

[startup+1800.22 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8399
/proc/meminfo: memFree=1444520/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=397720 CPUtime=1799.59
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13860269 0 0 0 174742 5217 0 0 25 0 1 0 163455283 407265280 99038 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134637034 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 99430 99039 227 40 0 98847 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (Kb) 397720

[startup+1801.23 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8399
/proc/meminfo: memFree=1444392/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=397852 CPUtime=1800.6
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13867190 0 0 0 174840 5220 0 0 25 0 1 0 163455283 407400448 99071 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9340539 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 99463 99071 227 40 0 98880 0
Current children cumulated CPU time (s) 1800.6
Current children cumulated vsize (Kb) 397852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.23 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 8399
/proc/meminfo: memFree=1444264/2055920 swapFree=4182612/4192956
[pid=8199] ppid=8197 vsize=397512 CPUtime=1800.6
/proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13867206 0 0 0 174840 5220 0 0 25 0 1 0 163455283 407052288 99005 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/8199/statm: 99378 99005 227 40 0 98795 0
Current children cumulated CPU time (s) 1800.6
Current children cumulated vsize (Kb) 397512

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.3
CPU time (s): 1800.67
CPU user time (s): 1748.41
CPU system time (s): 52.2671
CPU usage (%): 99.9651
Max. virtual memory (cumulated for all children) (Kb): 397852
The end

Launcher Data (download as text)

Begin job on node10 on Sat Jul 29 09:39:01 UTC 2006


FILE ID= 85169-1154165941

PBS_JOBID= 892943

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

MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff
MD5SUM BENCH=  54b9b4de78a7992fd69d0caeed32daef

RANDOM SEED= 455357388

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.216
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.216
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:       1841264 kB
Buffers:         12148 kB
Cached:         136440 kB
SwapCached:       4004 kB
Active:          23256 kB
Inactive:       134152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1841264 kB
SwapTotal:     4192956 kB
SwapFree:      4182612 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:          14504 kB
Slab:            43360 kB
Committed_AS:   824260 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node10 on Sat Jul 29 10:09:02 UTC 2006