Trace number 85227

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
glpPB 0.2? (TO) 1800.52 1801.22

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
MD5SUMf675f355e04fd5af6f49610fb88dbbd3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24674
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24674
Optimality of the best value was proved NO
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 116904
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 116904
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c glpPB 0.2 (July 2006)
0.00	c An Application of GLPK 4.10 for PB Constraints
0.00	c Done @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node54/watcher-85227-1154167755 -o ROOT/results/node54/solver-85227-1154167755 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node54/85227-1154167755/instance-85227-1154167755.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/64 11027
/proc/meminfo: memFree=1671544/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=2376 CPUtime=0
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 194 0 0 0 0 0 0 0 19 0 1 0 163645577 2433024 165 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 10261088 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 594 171 149 40 0 11 0

[startup+10.0019 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 11027
/proc/meminfo: memFree=1664704/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=8724 CPUtime=9.99
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 6882 0 0 0 995 4 0 0 25 0 1 0 163645577 8933376 1807 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 2181 1807 227 40 0 1598 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 8724

[startup+20.008 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 11027
/proc/meminfo: memFree=1664640/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=9244 CPUtime=19.99
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 12533 0 0 0 1992 7 0 0 25 0 1 0 163645577 9465856 1937 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 2311 1937 227 40 0 1728 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 9244

[startup+30.0141 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 11027
/proc/meminfo: memFree=1664576/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=9308 CPUtime=29.99
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 19514 0 0 0 2988 11 0 0 25 0 1 0 163645577 9531392 1951 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134587702 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 2327 1951 227 40 0 1744 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 9308

[startup+40.0202 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 11027
/proc/meminfo: memFree=1664512/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=9348 CPUtime=39.99
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 27766 0 0 0 3983 16 0 0 25 0 1 0 163645577 9572352 1963 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585317 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 2337 1963 227 40 0 1754 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 9348

[startup+50.0263 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 11027
/proc/meminfo: memFree=1664512/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=9408 CPUtime=50
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 36386 0 0 0 4978 22 0 0 25 0 1 0 163645577 9633792 1977 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582110 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 2352 1977 227 40 0 1769 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 9408

[startup+60.0324 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 11027
/proc/meminfo: memFree=1664448/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=9472 CPUtime=60
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 47383 0 0 0 5971 29 0 0 25 0 1 0 163645577 9699328 1992 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 2368 1992 227 40 0 1785 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 9472

[startup+70.0384 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 11027
/proc/meminfo: memFree=1665024/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=9216 CPUtime=70
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 61402 0 0 0 6964 36 0 0 25 0 1 0 163645577 9437184 1898 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542220 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 2304 1898 227 40 0 1721 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 9216

[startup+80.0445 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 11027
/proc/meminfo: memFree=1665024/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=8724 CPUtime=80.01
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 79259 0 0 0 7954 47 0 0 25 0 1 0 163645577 8933376 1807 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643288 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 2181 1807 227 40 0 1598 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 8724

[startup+90.0506 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 11027
/proc/meminfo: memFree=1664960/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=8724 CPUtime=90
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 91505 0 0 0 8948 52 0 0 25 0 1 0 163645577 8933376 1807 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643780 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 2181 1807 227 40 0 1598 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 8724

[startup+100.057 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 11027
/proc/meminfo: memFree=1664960/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=8724 CPUtime=100.01
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 101749 0 0 0 9943 58 0 0 25 0 1 0 163645577 8933376 1807 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 2181 1807 227 40 0 1598 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 8724

[startup+110.064 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 11027
/proc/meminfo: memFree=1664256/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=9628 CPUtime=110.01
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 117246 0 0 0 10935 66 0 0 25 0 1 0 163645577 9859072 2033 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643520 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 2407 2033 227 40 0 1824 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 9628

[startup+120.071 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1664192/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=9672 CPUtime=120.01
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 131096 0 0 0 11928 73 0 0 25 0 1 0 163645577 9904128 2044 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582195 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 2418 2044 227 40 0 1835 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 9672

[startup+130.077 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1664896/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=8780 CPUtime=130.02
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 143772 0 0 0 12922 80 0 0 25 0 1 0 163645577 8990720 1821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 2195 1821 227 40 0 1612 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 8780

[startup+140.083 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1664128/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=9752 CPUtime=140.02
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 155839 0 0 0 13915 87 0 0 25 0 1 0 163645577 9986048 2064 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 2438 2064 227 40 0 1855 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 9752

[startup+150.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1664832/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=8852 CPUtime=150.02
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 168728 0 0 0 14908 94 0 0 25 0 1 0 163645577 9064448 1839 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643717 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 2213 1839 227 40 0 1630 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 8852

[startup+160.096 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1664000/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=9836 CPUtime=160.02
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 182867 0 0 0 15902 100 0 0 25 0 1 0 163645577 10072064 2085 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 2459 2085 227 40 0 1876 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 9836

[startup+170.102 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1664128/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=9860 CPUtime=170.03
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 195925 0 0 0 16896 107 0 0 25 0 1 0 163645577 10096640 2059 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 2465 2059 227 40 0 1882 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 9860

[startup+180.108 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1664704/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=8952 CPUtime=180.03
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 210974 0 0 0 17889 114 0 0 25 0 1 0 163645577 9166848 1864 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 2238 1864 227 40 0 1655 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 8952

[startup+190.116 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1663936/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=9932 CPUtime=190.03
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 225886 0 0 0 18883 120 0 0 25 0 1 0 163645577 10170368 2109 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585313 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 2483 2109 227 40 0 1900 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 9932

[startup+200.122 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1663936/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=9964 CPUtime=200.03
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 238049 0 0 0 19877 126 0 0 25 0 1 0 163645577 10203136 2117 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 2491 2117 227 40 0 1908 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 9964

[startup+210.128 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 11027

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

/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2439122 0 0 0 176841 1300 0 0 25 0 1 0 163645577 16322560 3611 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 3985 3611 227 40 0 3402 0
Current children cumulated CPU time (s) 1781.41
Current children cumulated vsize (Kb) 15940

[startup+1783.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1656704/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=16888 CPUtime=1782.42
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2440309 0 0 0 176941 1301 0 0 25 0 1 0 163645577 17293312 3848 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 4222 3848 227 40 0 3639 0
Current children cumulated CPU time (s) 1782.42
Current children cumulated vsize (Kb) 16888

[startup+1784.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1656704/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=17028 CPUtime=1783.42
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2441500 0 0 0 177041 1301 0 0 25 0 1 0 163645577 17436672 3851 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134636804 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 4257 3851 227 40 0 3674 0
Current children cumulated CPU time (s) 1783.42
Current children cumulated vsize (Kb) 17028

[startup+1785.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1657408/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=15956 CPUtime=1784.43
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2442484 0 0 0 177141 1302 0 0 25 0 1 0 163645577 16338944 3615 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 3989 3615 227 40 0 3406 0
Current children cumulated CPU time (s) 1784.43
Current children cumulated vsize (Kb) 15956

[startup+1786.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1657408/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=15956 CPUtime=1785.43
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2443767 0 0 0 177241 1302 0 0 25 0 1 0 163645577 16338944 3615 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629114 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 3989 3615 227 40 0 3406 0
Current children cumulated CPU time (s) 1785.43
Current children cumulated vsize (Kb) 15956

[startup+1787.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1656640/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=16904 CPUtime=1786.44
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2444922 0 0 0 177341 1303 0 0 25 0 1 0 163645577 17309696 3852 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 4226 3852 227 40 0 3643 0
Current children cumulated CPU time (s) 1786.44
Current children cumulated vsize (Kb) 16904

[startup+1788.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1657408/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=15964 CPUtime=1787.44
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2445666 0 0 0 177441 1303 0 0 25 0 1 0 163645577 16347136 3617 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626418 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 3991 3617 227 40 0 3408 0
Current children cumulated CPU time (s) 1787.44
Current children cumulated vsize (Kb) 15964

[startup+1789.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1656640/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=16912 CPUtime=1788.45
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2446421 0 0 0 177541 1304 0 0 25 0 1 0 163645577 17317888 3854 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585319 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 4228 3854 227 40 0 3645 0
Current children cumulated CPU time (s) 1788.45
Current children cumulated vsize (Kb) 16912

[startup+1790.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1657408/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=15988 CPUtime=1789.45
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2447337 0 0 0 177640 1305 0 0 25 0 1 0 163645577 16371712 3623 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 3997 3623 227 40 0 3414 0
Current children cumulated CPU time (s) 1789.45
Current children cumulated vsize (Kb) 15988

[startup+1791.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1656640/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=16928 CPUtime=1790.46
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2448925 0 0 0 177740 1306 0 0 25 0 1 0 163645577 17334272 3858 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643286 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 4232 3858 227 40 0 3649 0
Current children cumulated CPU time (s) 1790.46
Current children cumulated vsize (Kb) 16928

[startup+1792.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1657408/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=15988 CPUtime=1791.46
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2450405 0 0 0 177839 1307 0 0 25 0 1 0 163645577 16371712 3623 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 3997 3623 227 40 0 3414 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (Kb) 15988

[startup+1793.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1656640/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=16936 CPUtime=1792.46
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2452163 0 0 0 177939 1307 0 0 25 0 1 0 163645577 17342464 3860 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134581813 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 4234 3860 227 40 0 3651 0
Current children cumulated CPU time (s) 1792.46
Current children cumulated vsize (Kb) 16936

[startup+1794.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1656768/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=17084 CPUtime=1793.47
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2453353 0 0 0 178039 1308 0 0 25 0 1 0 163645577 17494016 3865 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134636104 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 4271 3865 227 40 0 3688 0
Current children cumulated CPU time (s) 1793.47
Current children cumulated vsize (Kb) 17084

[startup+1795.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1656768/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=16944 CPUtime=1794.47
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2454300 0 0 0 178139 1308 0 0 25 0 1 0 163645577 17350656 3830 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643580 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 4236 3830 227 40 0 3653 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (Kb) 16944

[startup+1796.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1657344/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=16012 CPUtime=1795.48
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2455608 0 0 0 178239 1309 0 0 25 0 1 0 163645577 16396288 3629 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134569962 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 4003 3629 227 40 0 3420 0
Current children cumulated CPU time (s) 1795.48
Current children cumulated vsize (Kb) 16012

[startup+1797.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1656640/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=16952 CPUtime=1796.48
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2456929 0 0 0 178339 1309 0 0 25 0 1 0 163645577 17358848 3864 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585317 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 4238 3864 227 40 0 3655 0
Current children cumulated CPU time (s) 1796.48
Current children cumulated vsize (Kb) 16952

[startup+1798.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1656576/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=17108 CPUtime=1797.49
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2457651 0 0 0 178439 1310 0 0 25 0 1 0 163645577 17518592 3871 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134639179 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 4277 3871 227 40 0 3694 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (Kb) 17108

[startup+1799.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1656768/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=16968 CPUtime=1798.49
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2458740 0 0 0 178539 1310 0 0 25 0 1 0 163645577 17375232 3836 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 4242 3836 227 40 0 3659 0
Current children cumulated CPU time (s) 1798.49
Current children cumulated vsize (Kb) 16968

[startup+1800.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1656768/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=16952 CPUtime=1799.49
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2459912 0 0 0 178638 1311 0 0 25 0 1 0 163645577 17358848 3832 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134639477 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 4238 3832 227 40 0 3655 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (Kb) 16952

[startup+1801.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1657344/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=16036 CPUtime=1800.5
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2461103 0 0 0 178738 1312 0 0 25 0 1 0 163645577 16420864 3635 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 4009 3635 227 40 0 3426 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (Kb) 16036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11027
/proc/meminfo: memFree=1657344/2055920 swapFree=4174612/4192956
[pid=11027] ppid=11025 vsize=16036 CPUtime=1800.51
/proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2461103 0 0 0 178739 1312 0 0 25 0 1 0 163645577 16420864 3635 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643691 0 0 4096 0 0 0 0 17 1 0 0
/proc/11027/statm: 4009 3635 227 40 0 3426 0
Current children cumulated CPU time (s) 1800.51
Current children cumulated vsize (Kb) 16036

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.22
CPU time (s): 1800.52
CPU user time (s): 1787.39
CPU system time (s): 13.127
CPU usage (%): 99.9612
Max. virtual memory (cumulated for all children) (Kb): 17108
The end

Launcher Data (download as text)

Begin job on node54 on Sat Jul 29 10:09:15 UTC 2006


FILE ID= 85227-1154167755

PBS_JOBID= 893001

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node54/85227-1154167755/instance-85227-1154167755.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node54/watcher-85227-1154167755 -o ROOT/results/node54/solver-85227-1154167755 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node54/85227-1154167755/instance-85227-1154167755.opb

MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff
MD5SUM BENCH=  f675f355e04fd5af6f49610fb88dbbd3

RANDOM SEED= 735108453

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:       1671752 kB
Buffers:         28808 kB
Cached:         269816 kB
SwapCached:      12000 kB
Active:          71240 kB
Inactive:       244328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1671752 kB
SwapTotal:     4192956 kB
SwapFree:      4174612 kB
Dirty:             312 kB
Writeback:           0 kB
Mapped:          14468 kB
Slab:            54680 kB
Committed_AS:   684764 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node54 on Sat Jul 29 10:39:16 UTC 2006