Trace number 85815

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.59 1801.17

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_2.opb
MD5SUMccdf85c0efcf9b688264aa74ef25462f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables71
Total number of constraints17
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint1
Maximum length of a constraint70
Number of terms in the objective function 1
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 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1943
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5830
Number of bits of the biggest sum of numbers13
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/node4/watcher-85815-1154174987 -o ROOT/results/node4/solver-85815-1154174987 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node4/85815-1154174987/instance-85815-1154174987.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.91 2/64 30480
/proc/meminfo: memFree=1233920/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=2424 CPUtime=0
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 115 0 0 0 0 0 0 0 18 0 1 0 164360159 2482176 97 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 10592344 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 606 106 92 40 0 11 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.96 0.91 2/64 30480
/proc/meminfo: memFree=1231552/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=4676 CPUtime=9.99
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 817 0 0 0 982 17 0 0 25 0 1 0 164360159 4788224 786 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 1169 786 227 40 0 586 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 4676

[startup+20.0084 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 30480
/proc/meminfo: memFree=1229888/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=6364 CPUtime=20
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 1280 0 0 0 1967 33 0 0 25 0 1 0 164360159 6516736 1208 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 1591 1208 227 40 0 1008 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 6364

[startup+30.0142 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 30480
/proc/meminfo: memFree=1228480/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=7776 CPUtime=30
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 1633 0 0 0 2951 49 0 0 25 0 1 0 164360159 7962624 1561 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 1944 1561 227 40 0 1361 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 7776

[startup+40.02 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 30480
/proc/meminfo: memFree=1226432/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=9860 CPUtime=40
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 2233 0 0 0 3938 62 0 0 25 0 1 0 164360159 10096640 2080 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 2465 2080 227 40 0 1882 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 9860

[startup+50.0257 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 30480
/proc/meminfo: memFree=1225088/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=11268 CPUtime=50
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 2568 0 0 0 4928 72 0 0 25 0 1 0 164360159 11538432 2415 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 2817 2415 227 40 0 2234 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 11268

[startup+60.0315 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 30480
/proc/meminfo: memFree=1223872/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=12444 CPUtime=60
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 2865 0 0 0 5918 82 0 0 25 0 1 0 164360159 12742656 2712 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 3111 2712 227 40 0 2528 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 12444

[startup+70.0372 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 30480
/proc/meminfo: memFree=1222848/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=13504 CPUtime=70.01
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 3128 0 0 0 6910 91 0 0 25 0 1 0 164360159 13828096 2975 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 3376 2975 227 40 0 2793 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 13504

[startup+80.043 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 30480
/proc/meminfo: memFree=1221056/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=15200 CPUtime=80
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 3735 0 0 0 7900 100 0 0 25 0 1 0 164360159 15564800 3421 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 3800 3421 227 40 0 3217 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 15200

[startup+90.0488 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 30480
/proc/meminfo: memFree=1220096/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=16140 CPUtime=90.01
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 3964 0 0 0 8893 108 0 0 25 0 1 0 164360159 16527360 3650 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 4035 3650 227 40 0 3452 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 16140

[startup+100.055 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 30480
/proc/meminfo: memFree=1219200/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=17080 CPUtime=100.01
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 4185 0 0 0 9884 117 0 0 25 0 1 0 164360159 17489920 3871 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 4270 3871 227 40 0 3687 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 17080

[startup+110.06 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1218176/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=18020 CPUtime=110.01
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 4440 0 0 0 10877 124 0 0 25 0 1 0 164360159 18452480 4126 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 4505 4126 227 40 0 3922 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 18020

[startup+120.066 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1217536/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=18728 CPUtime=120.02
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 4611 0 0 0 11871 131 0 0 25 0 1 0 164360159 19177472 4297 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 4682 4297 227 40 0 4099 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 18728

[startup+130.072 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1216704/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=19548 CPUtime=130.02
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 4806 0 0 0 12865 137 0 0 25 0 1 0 164360159 20017152 4492 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 4887 4492 227 40 0 4304 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 19548

[startup+140.078 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1216000/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=20256 CPUtime=140.02
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 4991 0 0 0 13859 143 0 0 25 0 1 0 164360159 20742144 4677 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 5064 4677 227 40 0 4481 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 20256

[startup+150.083 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1215168/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=21076 CPUtime=150.02
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 5186 0 0 0 14852 150 0 0 25 0 1 0 164360159 21581824 4872 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 5269 4872 227 40 0 4686 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 21076

[startup+160.089 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1214528/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=21664 CPUtime=160.03
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 5349 0 0 0 15847 156 0 0 25 0 1 0 164360159 22183936 5035 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 5416 5035 227 40 0 4833 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 21664

[startup+170.095 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1213824/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=22372 CPUtime=170.02
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 5519 0 0 0 16840 162 0 0 25 0 1 0 164360159 22908928 5205 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 5593 5205 227 40 0 5010 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 22372

[startup+180.102 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1213184/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=23076 CPUtime=180.03
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 5682 0 0 0 17834 169 0 0 25 0 1 0 164360159 23629824 5368 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 5769 5368 227 40 0 5186 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 23076

[startup+190.108 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1212544/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=23664 CPUtime=190.04
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 5839 0 0 0 18829 175 0 0 25 0 1 0 164360159 24231936 5525 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 5916 5525 227 40 0 5333 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 23664

[startup+200.115 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1211840/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=24368 CPUtime=200.04
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 6009 0 0 0 19823 181 0 0 25 0 1 0 164360159 24952832 5695 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 6092 5695 227 40 0 5509 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 24368

[startup+210.122 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480

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

/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19509 0 0 0 177499 648 0 0 25 0 1 0 164360159 76316672 18233 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 18632 18233 227 40 0 18049 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (Kb) 74528

[startup+1783.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1161344/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=74528 CPUtime=1782.47
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19515 0 0 0 177599 648 0 0 25 0 1 0 164360159 76316672 18239 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 18632 18239 227 40 0 18049 0
Current children cumulated CPU time (s) 1782.47
Current children cumulated vsize (Kb) 74528

[startup+1784.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1161344/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=74528 CPUtime=1783.48
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19523 0 0 0 177699 649 0 0 25 0 1 0 164360159 76316672 18247 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 18632 18247 227 40 0 18049 0
Current children cumulated CPU time (s) 1783.48
Current children cumulated vsize (Kb) 74528

[startup+1785.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1161280/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=74644 CPUtime=1784.49
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19532 0 0 0 177800 649 0 0 25 0 1 0 164360159 76435456 18256 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578243 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 18661 18256 227 40 0 18078 0
Current children cumulated CPU time (s) 1784.49
Current children cumulated vsize (Kb) 74644

[startup+1786.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1161280/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=74644 CPUtime=1785.49
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19540 0 0 0 177900 649 0 0 25 0 1 0 164360159 76435456 18264 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 18661 18264 227 40 0 18078 0
Current children cumulated CPU time (s) 1785.49
Current children cumulated vsize (Kb) 74644

[startup+1787.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1161216/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=74644 CPUtime=1786.49
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19550 0 0 0 178000 649 0 0 25 0 1 0 164360159 76435456 18274 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 18661 18274 227 40 0 18078 0
Current children cumulated CPU time (s) 1786.49
Current children cumulated vsize (Kb) 74644

[startup+1788.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1161216/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=74644 CPUtime=1787.5
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19556 0 0 0 178101 649 0 0 25 0 1 0 164360159 76435456 18280 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 18661 18280 227 40 0 18078 0
Current children cumulated CPU time (s) 1787.5
Current children cumulated vsize (Kb) 74644

[startup+1789.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1161152/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=74760 CPUtime=1788.5
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19573 0 0 0 178201 649 0 0 25 0 1 0 164360159 76554240 18297 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 18690 18297 227 40 0 18107 0
Current children cumulated CPU time (s) 1788.5
Current children cumulated vsize (Kb) 74760

[startup+1790.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1161088/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=74760 CPUtime=1789.51
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19581 0 0 0 178301 650 0 0 25 0 1 0 164360159 76554240 18305 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 18690 18305 227 40 0 18107 0
Current children cumulated CPU time (s) 1789.51
Current children cumulated vsize (Kb) 74760

[startup+1791.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1161088/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=74760 CPUtime=1790.51
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19587 0 0 0 178401 650 0 0 25 0 1 0 164360159 76554240 18311 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 18690 18311 227 40 0 18107 0
Current children cumulated CPU time (s) 1790.51
Current children cumulated vsize (Kb) 74760

[startup+1792.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1161024/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=74880 CPUtime=1791.51
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19595 0 0 0 178501 650 0 0 25 0 1 0 164360159 76677120 18319 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 18720 18319 227 40 0 18137 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (Kb) 74880

[startup+1793.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1161024/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=74880 CPUtime=1792.52
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19597 0 0 0 178602 650 0 0 25 0 1 0 164360159 76677120 18321 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 18720 18321 227 40 0 18137 0
Current children cumulated CPU time (s) 1792.52
Current children cumulated vsize (Kb) 74880

[startup+1794.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1161024/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=74880 CPUtime=1793.53
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19607 0 0 0 178702 651 0 0 25 0 1 0 164360159 76677120 18331 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578243 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 18720 18331 227 40 0 18137 0
Current children cumulated CPU time (s) 1793.53
Current children cumulated vsize (Kb) 74880

[startup+1795.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1160960/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=74880 CPUtime=1794.53
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19613 0 0 0 178802 651 0 0 25 0 1 0 164360159 76677120 18337 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 18720 18337 227 40 0 18137 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (Kb) 74880

[startup+1796.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1160896/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=74996 CPUtime=1795.54
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19624 0 0 0 178902 652 0 0 25 0 1 0 164360159 76795904 18348 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 18749 18348 227 40 0 18166 0
Current children cumulated CPU time (s) 1795.54
Current children cumulated vsize (Kb) 74996

[startup+1797.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1160896/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=74996 CPUtime=1796.54
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19628 0 0 0 179002 652 0 0 25 0 1 0 164360159 76795904 18352 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578241 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 18749 18352 227 40 0 18166 0
Current children cumulated CPU time (s) 1796.54
Current children cumulated vsize (Kb) 74996

[startup+1798.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1160896/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=74996 CPUtime=1797.54
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19638 0 0 0 179102 652 0 0 25 0 1 0 164360159 76795904 18362 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 18749 18362 227 40 0 18166 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (Kb) 74996

[startup+1799.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1160832/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=75116 CPUtime=1798.55
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19650 0 0 0 179202 653 0 0 25 0 1 0 164360159 76918784 18374 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 18779 18374 227 40 0 18196 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (Kb) 75116

[startup+1800.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1160832/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=75116 CPUtime=1799.55
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19654 0 0 0 179302 653 0 0 25 0 1 0 164360159 76918784 18378 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 18779 18378 227 40 0 18196 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (Kb) 75116

[startup+1801.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1160768/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=75116 CPUtime=1800.56
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19660 0 0 0 179403 653 0 0 25 0 1 0 164360159 76918784 18384 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578251 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 18779 18384 227 40 0 18196 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (Kb) 75116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30480
/proc/meminfo: memFree=1160768/2055920 swapFree=4183140/4192956
[pid=30480] ppid=30478 vsize=75116 CPUtime=1800.56
/proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19660 0 0 0 179403 653 0 0 25 0 1 0 164360159 76918784 18384 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/30480/statm: 18779 18384 227 40 0 18196 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (Kb) 75116

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.17
CPU time (s): 1800.59
CPU user time (s): 1794.04
CPU system time (s): 6.55
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (Kb): 75116
The end

Launcher Data (download as text)

Begin job on node4 on Sat Jul 29 12:09:47 UTC 2006


FILE ID= 85815-1154174987

PBS_JOBID= 893589

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_2.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node4/85815-1154174987/instance-85815-1154174987.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-85815-1154174987 -o ROOT/results/node4/solver-85815-1154174987 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node4/85815-1154174987/instance-85815-1154174987.opb

MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff
MD5SUM BENCH=  ccdf85c0efcf9b688264aa74ef25462f

RANDOM SEED= 22995561

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:       1234128 kB
Buffers:         24568 kB
Cached:         718380 kB
SwapCached:       3692 kB
Active:         155320 kB
Inactive:       596320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1234128 kB
SwapTotal:     4192956 kB
SwapFree:      4183140 kB
Dirty:             208 kB
Writeback:           0 kB
Mapped:          14764 kB
Slab:            56176 kB
Committed_AS:   679888 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node4 on Sat Jul 29 12:39:48 UTC 2006