Trace number 84864

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

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-vpm2.opb
MD5SUMf81823d3f3bf1b9e5d936e06c7f51a9c
Bench CategoryOPT-MEDINT (optimisation, medium 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 117
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 constraint84
Number of terms in the objective function 168
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 504
Number of bits of the sum of numbers in the objective function 9
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/node40/watcher-84864-1154162284 -o ROOT/results/node40/solver-84864-1154162284 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node40/84864-1154162284/instance-84864-1154162284.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.91 2/64 24628
/proc/meminfo: memFree=1341560/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=2668 CPUtime=0
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 273 0 0 0 0 0 0 0 18 0 1 0 163099519 2732032 243 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 7376599 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 667 243 199 40 0 84 0

[startup+10.0028 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24628
/proc/meminfo: memFree=1338888/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=4976 CPUtime=9.99
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 6599 0 0 0 995 4 0 0 25 0 1 0 163099519 5095424 870 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542070 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 1244 870 227 40 0 661 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 4976

[startup+20.0091 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24628
/proc/meminfo: memFree=1338760/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=5116 CPUtime=20
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 35040 0 0 0 1981 19 0 0 25 0 1 0 163099519 5238784 894 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 7376599 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 1279 902 227 40 0 696 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 5116

[startup+30.0154 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24628
/proc/meminfo: memFree=1338760/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=5000 CPUtime=30
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 91981 0 0 0 2959 41 0 0 25 0 1 0 163099519 5120000 876 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542978 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 1250 876 227 40 0 667 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 5000

[startup+40.0217 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24628
/proc/meminfo: memFree=1338632/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=5120 CPUtime=40.01
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 152928 0 0 0 3936 65 0 0 25 0 1 0 163099519 5242880 906 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534920 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 1280 906 227 40 0 697 0
Current children cumulated CPU time (s) 40.01
Current children cumulated vsize (Kb) 5120

[startup+50.028 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24628
/proc/meminfo: memFree=1338440/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=5540 CPUtime=50
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 218643 0 0 0 4908 92 0 0 25 0 1 0 163099519 5672960 1007 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 1385 1007 227 40 0 802 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 5540

[startup+60.0343 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24628
/proc/meminfo: memFree=1338504/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=5284 CPUtime=60.01
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 277560 0 0 0 5887 114 0 0 25 0 1 0 163099519 5410816 947 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542262 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 1321 947 227 40 0 738 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 5284

[startup+70.0416 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24628
/proc/meminfo: memFree=1338312/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=5376 CPUtime=70.01
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 339823 0 0 0 6862 139 0 0 25 0 1 0 163099519 5505024 970 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542160 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 1344 970 227 40 0 761 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 5376

[startup+80.0479 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24628
/proc/meminfo: memFree=1338248/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=5536 CPUtime=80.02
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 401029 0 0 0 7838 164 0 0 25 0 1 0 163099519 5668864 1010 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543281 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 1384 1010 227 40 0 801 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 5536

[startup+90.0542 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24628
/proc/meminfo: memFree=1338120/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=5592 CPUtime=90.02
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 462926 0 0 0 8813 189 0 0 25 0 1 0 163099519 5726208 1024 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 1398 1024 227 40 0 815 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 5592

[startup+100.061 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24628
/proc/meminfo: memFree=1338184/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=6012 CPUtime=100.02
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 524267 0 0 0 9792 210 0 0 25 0 1 0 163099519 6156288 1125 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643491 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 1503 1125 227 40 0 920 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 6012

[startup+110.067 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24628
/proc/meminfo: memFree=1338056/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=6088 CPUtime=110.02
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 583530 0 0 0 10769 233 0 0 25 0 1 0 163099519 6234112 1129 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 7345787 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 1522 1129 227 40 0 939 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 6088

[startup+120.073 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24628
/proc/meminfo: memFree=1337928/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=6160 CPUtime=120.02
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 645690 0 0 0 11745 257 0 0 25 0 1 0 163099519 6307840 1162 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 1540 1162 227 40 0 957 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 6160

[startup+130.079 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24630
/proc/meminfo: memFree=1337736/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=6216 CPUtime=130.03
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 706276 0 0 0 12721 282 0 0 25 0 1 0 163099519 6365184 1176 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 1554 1176 227 40 0 971 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 6216

[startup+140.086 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24630
/proc/meminfo: memFree=1337800/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=6332 CPUtime=140.04
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 753941 0 0 0 13704 300 0 0 25 0 1 0 163099519 6483968 1205 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 1583 1205 227 40 0 1000 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 6332

[startup+150.092 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24630
/proc/meminfo: memFree=1337608/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=6044 CPUtime=150.04
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 810108 0 0 0 14681 323 0 0 25 0 1 0 163099519 6189056 1137 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 1511 1137 227 40 0 928 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 6044

[startup+160.098 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24630
/proc/meminfo: memFree=1337544/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=6488 CPUtime=160.05
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 864375 0 0 0 15660 345 0 0 25 0 1 0 163099519 6643712 1244 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 1622 1244 227 40 0 1039 0
Current children cumulated CPU time (s) 160.05
Current children cumulated vsize (Kb) 6488

[startup+170.105 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24630
/proc/meminfo: memFree=1337544/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=6272 CPUtime=170.05
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 932858 0 0 0 16632 373 0 0 25 0 1 0 163099519 6422528 1194 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134579838 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 1568 1194 227 40 0 985 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 6272

[startup+180.111 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24630
/proc/meminfo: memFree=1337096/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=6936 CPUtime=180.05
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 993546 0 0 0 17608 397 0 0 25 0 1 0 163099519 7102464 1356 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 1734 1356 227 40 0 1151 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 6936

[startup+190.117 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24630
/proc/meminfo: memFree=1336776/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=6844 CPUtime=190.05
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 1057302 0 0 0 18583 422 0 0 25 0 1 0 163099519 7008256 1337 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629279 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 1711 1337 227 40 0 1128 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 6844

[startup+200.124 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24630
/proc/meminfo: memFree=1336584/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=7412 CPUtime=200.06
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 1119596 0 0 0 19559 447 0 0 25 0 1 0 163099519 7589888 1475 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 1853 1475 227 40 0 1270 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 7412

[startup+210.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24630

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

/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 10276255 0 0 0 173760 4390 0 0 25 0 1 0 163099519 52092928 12340 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 12718 12340 227 40 0 12135 0
Current children cumulated CPU time (s) 1781.5
Current children cumulated vsize (Kb) 50872

[startup+1783.12 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24828
/proc/meminfo: memFree=1292808/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=50552 CPUtime=1782.51
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 10281919 0 0 0 173859 4392 0 0 25 0 1 0 163099519 51765248 12264 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134537615 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 12638 12264 227 40 0 12055 0
Current children cumulated CPU time (s) 1782.51
Current children cumulated vsize (Kb) 50552

[startup+1784.13 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24828
/proc/meminfo: memFree=1292744/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=50576 CPUtime=1783.51
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 10287406 0 0 0 173957 4394 0 0 25 0 1 0 163099519 51789824 12270 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534926 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 12644 12270 227 40 0 12061 0
Current children cumulated CPU time (s) 1783.51
Current children cumulated vsize (Kb) 50576

[startup+1785.13 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24828
/proc/meminfo: memFree=1292744/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=50948 CPUtime=1784.52
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 10293165 0 0 0 174056 4396 0 0 25 0 1 0 163099519 52170752 12359 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 12737 12359 227 40 0 12154 0
Current children cumulated CPU time (s) 1784.52
Current children cumulated vsize (Kb) 50948

[startup+1786.14 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24828
/proc/meminfo: memFree=1292680/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=50632 CPUtime=1785.52
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 10298922 0 0 0 174154 4398 0 0 25 0 1 0 163099519 51847168 12284 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 12658 12284 227 40 0 12075 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (Kb) 50632

[startup+1787.14 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24828
/proc/meminfo: memFree=1292552/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=50996 CPUtime=1786.53
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 10304598 0 0 0 174252 4401 0 0 25 0 1 0 163099519 52219904 12371 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 12749 12371 227 40 0 12166 0
Current children cumulated CPU time (s) 1786.53
Current children cumulated vsize (Kb) 50996

[startup+1788.15 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24828
/proc/meminfo: memFree=1292552/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=51028 CPUtime=1787.53
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 10310297 0 0 0 174350 4403 0 0 25 0 1 0 163099519 52252672 12379 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 12757 12379 227 40 0 12174 0
Current children cumulated CPU time (s) 1787.53
Current children cumulated vsize (Kb) 51028

[startup+1789.15 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 24828
/proc/meminfo: memFree=1292616/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=51052 CPUtime=1788.54
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 10316207 0 0 0 174448 4406 0 0 25 0 1 0 163099519 52277248 12385 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 12763 12385 227 40 0 12180 0
Current children cumulated CPU time (s) 1788.54
Current children cumulated vsize (Kb) 51052

[startup+1790.16 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24828
/proc/meminfo: memFree=1292616/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=50732 CPUtime=1789.54
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 10321789 0 0 0 174545 4409 0 0 25 0 1 0 163099519 51949568 12309 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134541654 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 12683 12309 227 40 0 12100 0
Current children cumulated CPU time (s) 1789.54
Current children cumulated vsize (Kb) 50732

[startup+1791.16 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24828
/proc/meminfo: memFree=1292552/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=50756 CPUtime=1790.55
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 10327617 0 0 0 174643 4412 0 0 25 0 1 0 163099519 51974144 12315 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134537636 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 12689 12315 227 40 0 12106 0
Current children cumulated CPU time (s) 1790.55
Current children cumulated vsize (Kb) 50756

[startup+1792.17 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24828
/proc/meminfo: memFree=1292424/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=50788 CPUtime=1791.55
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 10333215 0 0 0 174740 4415 0 0 25 0 1 0 163099519 52006912 12323 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629084 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 12697 12323 227 40 0 12114 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (Kb) 50788

[startup+1793.17 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24828
/proc/meminfo: memFree=1292360/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=51152 CPUtime=1792.56
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 10338891 0 0 0 174839 4417 0 0 25 0 1 0 163099519 52379648 12410 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 12788 12410 227 40 0 12205 0
Current children cumulated CPU time (s) 1792.56
Current children cumulated vsize (Kb) 51152

[startup+1794.18 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24828
/proc/meminfo: memFree=1292488/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=50844 CPUtime=1793.56
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 10344488 0 0 0 174937 4419 0 0 25 0 1 0 163099519 52064256 12337 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134541669 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 12711 12337 227 40 0 12128 0
Current children cumulated CPU time (s) 1793.56
Current children cumulated vsize (Kb) 50844

[startup+1795.18 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24828
/proc/meminfo: memFree=1292488/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=50868 CPUtime=1794.57
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 10350002 0 0 0 175034 4423 0 0 25 0 1 0 163099519 52088832 12343 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534290 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 12717 12343 227 40 0 12134 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (Kb) 50868

[startup+1796.19 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24828
/proc/meminfo: memFree=1292424/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=50896 CPUtime=1795.57
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 10355651 0 0 0 175132 4425 0 0 25 0 1 0 163099519 52117504 12350 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 12724 12350 227 40 0 12141 0
Current children cumulated CPU time (s) 1795.57
Current children cumulated vsize (Kb) 50896

[startup+1797.19 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24828
/proc/meminfo: memFree=1292296/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=50920 CPUtime=1796.57
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 10361233 0 0 0 175230 4427 0 0 25 0 1 0 163099519 52142080 12356 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134537556 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 12730 12356 227 40 0 12147 0
Current children cumulated CPU time (s) 1796.57
Current children cumulated vsize (Kb) 50920

[startup+1798.2 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24828
/proc/meminfo: memFree=1291080/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=52428 CPUtime=1797.58
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 10367579 0 0 0 175328 4430 0 0 25 0 1 0 163099519 53686272 12723 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 7376599 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 13107 12732 227 40 0 12524 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (Kb) 52428

[startup+1799.2 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24828
/proc/meminfo: memFree=1290952/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=52248 CPUtime=1798.58
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 10373341 0 0 0 175426 4432 0 0 25 0 1 0 163099519 53501952 12688 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 13062 12688 227 40 0 12479 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (Kb) 52248

[startup+1800.21 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24828
/proc/meminfo: memFree=1290888/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=52280 CPUtime=1799.59
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 10379100 0 0 0 175524 4435 0 0 25 0 1 0 163099519 53534720 12696 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 13070 12696 227 40 0 12487 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (Kb) 52280

[startup+1801.21 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24828
/proc/meminfo: memFree=1291016/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=52304 CPUtime=1800.6
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 10384614 0 0 0 175623 4437 0 0 25 0 1 0 163099519 53559296 12702 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 13076 12702 227 40 0 12493 0
Current children cumulated CPU time (s) 1800.6
Current children cumulated vsize (Kb) 52304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.22 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 24828
/proc/meminfo: memFree=1291016/2055920 swapFree=4183148/4192956
[pid=24628] ppid=24626 vsize=52304 CPUtime=1800.6
/proc/24628/stat : 24628 (glpPBv3) R 24626 24628 24579 0 -1 0 10384695 0 0 0 175623 4437 0 0 25 0 1 0 163099519 53559296 12702 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0
/proc/24628/statm: 13076 12702 227 40 0 12493 0
Current children cumulated CPU time (s) 1800.6
Current children cumulated vsize (Kb) 52304

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.61
CPU user time (s): 1756.23
CPU system time (s): 44.3793
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (Kb): 52428
The end

Launcher Data (download as text)

Begin job on node40 on Sat Jul 29 08:38:04 UTC 2006


FILE ID= 84864-1154162284

PBS_JOBID= 892638

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

MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff
MD5SUM BENCH=  f81823d3f3bf1b9e5d936e06c7f51a9c

RANDOM SEED= 478059569

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.245
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.245
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:       1341768 kB
Buffers:         33468 kB
Cached:         607160 kB
SwapCached:       3672 kB
Active:          85936 kB
Inactive:       563276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1341768 kB
SwapTotal:     4192956 kB
SwapFree:      4183148 kB
Dirty:             196 kB
Writeback:           0 kB
Mapped:          14748 kB
Slab:            50904 kB
Committed_AS:   621232 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node40 on Sat Jul 29 09:08:06 UTC 2006