Trace number 85383

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.19

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16e2.opb
MD5SUM70562ccf7e5b2c45714808415668e9f1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark520
Best CPU time to get the best result obtained on this benchmark2.13767
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 520
Optimality of the best value was proved YES
Number of variables1064
Total number of constraints8357
Number of constraints which are clauses8357
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint16
Number of terms in the objective function 1064
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 1064
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1064
Number of bits of the biggest sum of numbers11
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/node42/watcher-85383-1154170259 -o ROOT/results/node42/solver-85383-1154170259 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node42/85383-1154170259/instance-85383-1154170259.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.98 0.91 3/64 29617
/proc/meminfo: memFree=1844448/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=2664 CPUtime=0
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 265 0 0 0 0 0 0 0 18 0 1 0 163896887 2727936 235 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 12873431 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 666 235 192 40 0 83 0

[startup+10.0025 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29617
/proc/meminfo: memFree=1836320/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=10452 CPUtime=9.99
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 6302 0 0 0 996 3 0 0 25 0 1 0 163896887 10702848 2233 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134639282 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 2613 2233 221 40 0 2030 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 10452

[startup+20.0087 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29617
/proc/meminfo: memFree=1832672/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=13936 CPUtime=19.99
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 12456 0 0 0 1992 7 0 0 25 0 1 0 163896887 14270464 3110 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134628983 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 3484 3110 227 40 0 2901 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 13936

[startup+30.0148 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29617
/proc/meminfo: memFree=1832672/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=13936 CPUtime=30
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 19602 0 0 0 2989 11 0 0 25 0 1 0 163896887 14270464 3110 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542185 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 3484 3110 227 40 0 2901 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 13936

[startup+40.0209 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29617
/proc/meminfo: memFree=1832672/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=13936 CPUtime=40
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 26492 0 0 0 3986 14 0 0 25 0 1 0 163896887 14270464 3110 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 3484 3110 227 40 0 2901 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 13936

[startup+50.027 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29617
/proc/meminfo: memFree=1832672/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=13936 CPUtime=50
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 33026 0 0 0 4983 17 0 0 25 0 1 0 163896887 14270464 3110 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643288 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 3484 3110 227 40 0 2901 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 13936

[startup+60.0331 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29617
/proc/meminfo: memFree=1832672/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=13936 CPUtime=60.01
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 40980 0 0 0 5980 21 0 0 25 0 1 0 163896887 14270464 3110 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629086 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 3484 3110 227 40 0 2901 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 13936

[startup+70.0392 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29617
/proc/meminfo: memFree=1832672/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=13936 CPUtime=70.01
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 48430 0 0 0 6977 24 0 0 25 0 1 0 163896887 14270464 3110 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 3484 3110 227 40 0 2901 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 13936

[startup+80.0453 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29617
/proc/meminfo: memFree=1831520/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=15124 CPUtime=80.01
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 55884 0 0 0 7973 28 0 0 25 0 1 0 163896887 15486976 3407 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582188 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 3781 3407 227 40 0 3198 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 15124

[startup+90.0514 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29617
/proc/meminfo: memFree=1832672/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=13936 CPUtime=90.02
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 63955 0 0 0 8970 32 0 0 25 0 1 0 163896887 14270464 3110 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643288 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 3484 3110 227 40 0 2901 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 13936

[startup+100.058 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29617
/proc/meminfo: memFree=1831712/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=15172 CPUtime=100.02
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 71624 0 0 0 9967 35 0 0 25 0 1 0 163896887 15536128 3387 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643691 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 3793 3387 227 40 0 3210 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 15172

[startup+110.064 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29617
/proc/meminfo: memFree=1831456/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=15180 CPUtime=110.03
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 81233 0 0 0 10962 41 0 0 25 0 1 0 163896887 15544320 3421 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643505 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 3795 3421 227 40 0 3212 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 15180

[startup+120.07 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29617
/proc/meminfo: memFree=1832608/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=13936 CPUtime=120.03
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 91455 0 0 0 11955 48 0 0 25 0 1 0 163896887 14270464 3110 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 3484 3110 227 40 0 2901 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 13936

[startup+130.076 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29617
/proc/meminfo: memFree=1832608/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=13936 CPUtime=130.03
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 99797 0 0 0 12950 53 0 0 25 0 1 0 163896887 14270464 3110 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 3484 3110 227 40 0 2901 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 13936

[startup+140.082 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29617
/proc/meminfo: memFree=1832608/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=13936 CPUtime=140.03
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 106549 0 0 0 13947 56 0 0 25 0 1 0 163896887 14270464 3110 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626346 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 3484 3110 227 40 0 2901 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 13936

[startup+150.088 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29617
/proc/meminfo: memFree=1832608/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=13936 CPUtime=150.04
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 113260 0 0 0 14945 59 0 0 25 0 1 0 163896887 14270464 3110 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629070 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 3484 3110 227 40 0 2901 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 13936

[startup+160.094 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29617
/proc/meminfo: memFree=1832608/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=13936 CPUtime=160.04
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 121195 0 0 0 15941 63 0 0 25 0 1 0 163896887 14270464 3110 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643767 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 3484 3110 227 40 0 2901 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 13936

[startup+170.099 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29617
/proc/meminfo: memFree=1831328/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=15276 CPUtime=170.04
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 129150 0 0 0 16937 67 0 0 25 0 1 0 163896887 15642624 3445 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 3819 3445 227 40 0 3236 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 15276

[startup+180.105 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29617
/proc/meminfo: memFree=1832608/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=13936 CPUtime=180.04
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 137887 0 0 0 17932 72 0 0 25 0 1 0 163896887 14270464 3110 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643505 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 3484 3110 227 40 0 2901 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 13936

[startup+190.112 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29617
/proc/meminfo: memFree=1831648/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=15316 CPUtime=190.05
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 146276 0 0 0 18928 77 0 0 25 0 1 0 163896887 15683584 3423 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 3829 3423 227 40 0 3246 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 15316

[startup+200.118 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29617
/proc/meminfo: memFree=1831264/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=15348 CPUtime=200.06
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 155334 0 0 0 19924 82 0 0 25 0 1 0 163896887 15716352 3463 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 3837 3463 227 40 0 3254 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 15348

[startup+210.124 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29617

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

/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 9200483 0 0 0 173748 4402 0 0 25 0 1 0 163896887 17117184 3789 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 12873431 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4179 3796 227 40 0 3596 0
Current children cumulated CPU time (s) 1781.5
Current children cumulated vsize (Kb) 16716

[startup+1783.09 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29815
/proc/meminfo: memFree=1829600/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=16572 CPUtime=1782.51
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 9211601 0 0 0 173842 4409 0 0 25 0 1 0 163896887 16969728 3737 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134628983 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4143 3737 227 40 0 3560 0
Current children cumulated CPU time (s) 1782.51
Current children cumulated vsize (Kb) 16572

[startup+1784.1 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29815
/proc/meminfo: memFree=1829600/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=16572 CPUtime=1783.51
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 9222521 0 0 0 173937 4414 0 0 25 0 1 0 163896887 16969728 3737 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643505 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4143 3737 227 40 0 3560 0
Current children cumulated CPU time (s) 1783.51
Current children cumulated vsize (Kb) 16572

[startup+1785.1 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29815
/proc/meminfo: memFree=1829600/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=16572 CPUtime=1784.52
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 9233387 0 0 0 174032 4420 0 0 25 0 1 0 163896887 16969728 3737 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 12873431 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4143 3737 227 40 0 3560 0
Current children cumulated CPU time (s) 1784.52
Current children cumulated vsize (Kb) 16572

[startup+1786.11 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29815
/proc/meminfo: memFree=1829600/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=16572 CPUtime=1785.52
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 9243929 0 0 0 174128 4424 0 0 25 0 1 0 163896887 16969728 3737 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 12873431 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4143 3737 227 40 0 3560 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (Kb) 16572

[startup+1787.11 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29815
/proc/meminfo: memFree=1829600/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=16572 CPUtime=1786.52
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 9254480 0 0 0 174224 4428 0 0 25 0 1 0 163896887 16969728 3737 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 12873431 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4143 3737 227 40 0 3560 0
Current children cumulated CPU time (s) 1786.52
Current children cumulated vsize (Kb) 16572

[startup+1788.11 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29815
/proc/meminfo: memFree=1829600/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=16572 CPUtime=1787.53
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 9263825 0 0 0 174320 4433 0 0 25 0 1 0 163896887 16969728 3737 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 12873431 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4143 3737 227 40 0 3560 0
Current children cumulated CPU time (s) 1787.53
Current children cumulated vsize (Kb) 16572

[startup+1789.12 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29815
/proc/meminfo: memFree=1829600/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=16572 CPUtime=1788.53
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 9273098 0 0 0 174416 4437 0 0 25 0 1 0 163896887 16969728 3737 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 12873431 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4143 3737 227 40 0 3560 0
Current children cumulated CPU time (s) 1788.53
Current children cumulated vsize (Kb) 16572

[startup+1790.12 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29815
/proc/meminfo: memFree=1829600/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=16580 CPUtime=1789.53
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 9282112 0 0 0 174512 4441 0 0 25 0 1 0 163896887 16977920 3739 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 12873431 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4145 3739 227 40 0 3562 0
Current children cumulated CPU time (s) 1789.53
Current children cumulated vsize (Kb) 16580

[startup+1791.13 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29815
/proc/meminfo: memFree=1828320/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=18056 CPUtime=1790.54
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 9288608 0 0 0 174610 4444 0 0 25 0 1 0 163896887 18489344 4108 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4514 4108 227 40 0 3931 0
Current children cumulated CPU time (s) 1790.54
Current children cumulated vsize (Kb) 18056

[startup+1792.13 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29815
/proc/meminfo: memFree=1828000/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=18064 CPUtime=1791.55
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 9292238 0 0 0 174709 4446 0 0 25 0 1 0 163896887 18497536 4142 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4516 4142 227 40 0 3933 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (Kb) 18064

[startup+1793.14 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29815
/proc/meminfo: memFree=1828000/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=18064 CPUtime=1792.55
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 9293918 0 0 0 174808 4447 0 0 25 0 1 0 163896887 18497536 4142 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4516 4142 227 40 0 3933 0
Current children cumulated CPU time (s) 1792.55
Current children cumulated vsize (Kb) 18064

[startup+1794.14 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29815
/proc/meminfo: memFree=1828320/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=18064 CPUtime=1793.56
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 9295533 0 0 0 174908 4448 0 0 25 0 1 0 163896887 18497536 4110 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4516 4110 227 40 0 3933 0
Current children cumulated CPU time (s) 1793.56
Current children cumulated vsize (Kb) 18064

[startup+1795.15 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29815
/proc/meminfo: memFree=1829600/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=16588 CPUtime=1794.56
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 9297957 0 0 0 175007 4449 0 0 25 0 1 0 163896887 16986112 3741 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 12873431 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4147 3741 227 40 0 3564 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (Kb) 16588

[startup+1796.15 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29815
/proc/meminfo: memFree=1829600/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=16416 CPUtime=1795.57
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 9305186 0 0 0 175103 4454 0 0 25 0 1 0 163896887 16809984 3730 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4104 3730 227 40 0 3521 0
Current children cumulated CPU time (s) 1795.57
Current children cumulated vsize (Kb) 16416

[startup+1797.16 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29815
/proc/meminfo: memFree=1829600/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=16596 CPUtime=1796.57
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 9312875 0 0 0 175200 4457 0 0 25 0 1 0 163896887 16994304 3743 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626413 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4149 3743 227 40 0 3566 0
Current children cumulated CPU time (s) 1796.57
Current children cumulated vsize (Kb) 16596

[startup+1798.16 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29815
/proc/meminfo: memFree=1828320/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=17952 CPUtime=1797.57
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 9323498 0 0 0 175295 4462 0 0 25 0 1 0 163896887 18382848 4098 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134639276 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4488 4098 227 40 0 3905 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (Kb) 17952

[startup+1799.17 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29815
/proc/meminfo: memFree=1829600/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=16596 CPUtime=1798.58
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 9333152 0 0 0 175391 4467 0 0 25 0 1 0 163896887 16994304 3743 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643691 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4149 3743 227 40 0 3566 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (Kb) 16596

[startup+1800.17 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29815
/proc/meminfo: memFree=1829600/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=16596 CPUtime=1799.59
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 9342335 0 0 0 175487 4472 0 0 25 0 1 0 163896887 16994304 3743 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 12873431 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4149 3743 227 40 0 3566 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (Kb) 16596

[startup+1801.18 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29815
/proc/meminfo: memFree=1829600/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=16604 CPUtime=1800.59
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 9351430 0 0 0 175583 4476 0 0 25 0 1 0 163896887 17002496 3745 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 12873431 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4151 3745 227 40 0 3568 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (Kb) 16604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.18 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 29815
/proc/meminfo: memFree=1829600/2055920 swapFree=4183140/4192956
[pid=29617] ppid=29615 vsize=16604 CPUtime=1800.59
/proc/29617/stat : 29617 (glpPBv3) R 29615 29617 29568 0 -1 0 9351466 0 0 0 175583 4476 0 0 25 0 1 0 163896887 17002496 3745 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626346 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4151 3745 227 40 0 3568 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (Kb) 16604

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.19
CPU time (s): 1800.61
CPU user time (s): 1755.84
CPU system time (s): 44.7722
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (Kb): 18064
The end

Launcher Data (download as text)

Begin job on node42 on Sat Jul 29 10:50:59 UTC 2006


FILE ID= 85383-1154170259

PBS_JOBID= 893157

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16e2.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node42/85383-1154170259/instance-85383-1154170259.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-85383-1154170259 -o ROOT/results/node42/solver-85383-1154170259 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node42/85383-1154170259/instance-85383-1154170259.opb

MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff
MD5SUM BENCH=  70562ccf7e5b2c45714808415668e9f1

RANDOM SEED= 85023387

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.238
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.238
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:       1844656 kB
Buffers:         15660 kB
Cached:         125124 kB
SwapCached:       3512 kB
Active:          21284 kB
Inactive:       127972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1844656 kB
SwapTotal:     4192956 kB
SwapFree:      4183140 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14496 kB
Slab:            48084 kB
Committed_AS:   758764 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 node42 on Sat Jul 29 11:21:00 UTC 2006