Trace number 85282

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8d1.opb
MD5SUMe79c956fa387b090702a2dffba5fa8e9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark343
Best CPU time to get the best result obtained on this benchmark1800.59
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 343
Optimality of the best value was proved NO
Number of variables1060
Total number of constraints3737
Number of constraints which are clauses3737
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 constraint10
Number of terms in the objective function 1060
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 1060
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 1060
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/node35/watcher-85282-1154168175 -o ROOT/results/node35/solver-85282-1154168175 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node35/85282-1154168175/instance-85282-1154168175.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.92 2/64 5061
/proc/meminfo: memFree=1071832/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=2424 CPUtime=0
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 150 0 0 0 0 0 0 0 18 0 1 0 163677579 2482176 130 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1432440 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 606 130 111 40 0 11 0

[startup+10.0028 s]
/proc/loadavg: 0.93 0.98 0.92 2/64 5061
/proc/meminfo: memFree=1067224/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=7004 CPUtime=9.99
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 1548 0 0 0 998 1 0 0 25 0 1 0 163677579 7172096 1374 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643521 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 1751 1374 227 40 0 1168 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 7004

[startup+20.009 s]
/proc/loadavg: 0.94 0.98 0.92 2/64 5061
/proc/meminfo: memFree=1067160/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=7004 CPUtime=19.99
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 1947 0 0 0 1998 1 0 0 25 0 1 0 163677579 7172096 1377 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1928919 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 1751 1377 227 40 0 1168 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 7004

[startup+30.0152 s]
/proc/loadavg: 0.95 0.98 0.92 2/64 5061
/proc/meminfo: memFree=1067032/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=7004 CPUtime=29.99
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3012 0 0 0 2997 2 0 0 25 0 1 0 163677579 7172096 1377 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 1751 1377 227 40 0 1168 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 7004

[startup+40.0214 s]
/proc/loadavg: 0.96 0.98 0.92 2/64 5061
/proc/meminfo: memFree=1067096/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=7004 CPUtime=40
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 5009 0 0 0 3997 3 0 0 25 0 1 0 163677579 7172096 1377 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542960 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 1751 1377 227 40 0 1168 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 7004

[startup+50.0276 s]
/proc/loadavg: 0.96 0.98 0.92 2/64 5061
/proc/meminfo: memFree=1067096/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=7004 CPUtime=50.01
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 8734 0 0 0 4996 5 0 0 25 0 1 0 163677579 7172096 1377 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542160 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 1751 1377 227 40 0 1168 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 7004

[startup+60.0338 s]
/proc/loadavg: 0.97 0.98 0.92 2/64 5061
/proc/meminfo: memFree=1067096/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=7004 CPUtime=60.01
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 13586 0 0 0 5994 7 0 0 25 0 1 0 163677579 7172096 1377 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543009 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 1751 1377 227 40 0 1168 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 7004

[startup+70.04 s]
/proc/loadavg: 0.97 0.98 0.92 2/64 5061
/proc/meminfo: memFree=1067096/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=7004 CPUtime=70.01
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 22330 0 0 0 6989 12 0 0 25 0 1 0 163677579 7172096 1377 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134628974 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 1751 1377 227 40 0 1168 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 7004

[startup+80.0462 s]
/proc/loadavg: 0.98 0.98 0.92 2/64 5061
/proc/meminfo: memFree=1067096/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=7004 CPUtime=80.02
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 27260 0 0 0 7987 15 0 0 25 0 1 0 163677579 7172096 1377 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 1751 1377 227 40 0 1168 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 7004

[startup+90.0524 s]
/proc/loadavg: 0.98 0.98 0.92 2/64 5061
/proc/meminfo: memFree=1067096/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=7004 CPUtime=90.02
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 41651 0 0 0 8980 22 0 0 25 0 1 0 163677579 7172096 1377 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542131 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 1751 1377 227 40 0 1168 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 7004

[startup+100.059 s]
/proc/loadavg: 0.98 0.98 0.92 2/64 5061
/proc/meminfo: memFree=1067096/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=7004 CPUtime=100.02
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 50362 0 0 0 9976 26 0 0 25 0 1 0 163677579 7172096 1377 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626346 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 1751 1377 227 40 0 1168 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 7004

[startup+110.065 s]
/proc/loadavg: 0.98 0.98 0.92 2/64 5061
/proc/meminfo: memFree=1067096/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=7004 CPUtime=110.02
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 65142 0 0 0 10970 32 0 0 25 0 1 0 163677579 7172096 1377 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134569768 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 1751 1377 227 40 0 1168 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 7004

[startup+120.071 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5061
/proc/meminfo: memFree=1067032/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=7052 CPUtime=120.03
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 81378 0 0 0 11963 40 0 0 25 0 1 0 163677579 7221248 1389 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643687 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 1763 1389 227 40 0 1180 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 7052

[startup+130.077 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5061
/proc/meminfo: memFree=1067032/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=7104 CPUtime=130.03
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 100967 0 0 0 12954 49 0 0 25 0 1 0 163677579 7274496 1402 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643524 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 1776 1402 227 40 0 1193 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 7104

[startup+140.082 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5061
/proc/meminfo: memFree=1066968/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=7176 CPUtime=140.04
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 121379 0 0 0 13946 58 0 0 25 0 1 0 163677579 7348224 1420 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629246 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 1794 1420 227 40 0 1211 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 7176

[startup+150.089 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5061
/proc/meminfo: memFree=1066904/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=7232 CPUtime=150.04
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 138643 0 0 0 14937 67 0 0 25 0 1 0 163677579 7405568 1434 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643360 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 1808 1434 227 40 0 1225 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 7232

[startup+160.095 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5061
/proc/meminfo: memFree=1066840/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=7276 CPUtime=160.04
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 163040 0 0 0 15926 78 0 0 25 0 1 0 163677579 7450624 1445 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629099 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 1819 1445 227 40 0 1236 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 7276

[startup+170.101 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5061
/proc/meminfo: memFree=1066840/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=7284 CPUtime=170.04
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 189504 0 0 0 16917 87 0 0 25 0 1 0 163677579 7458816 1447 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 1821 1447 227 40 0 1238 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 7284

[startup+180.107 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5061
/proc/meminfo: memFree=1066776/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=7316 CPUtime=180.05
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 202809 0 0 0 17912 93 0 0 25 0 1 0 163677579 7491584 1455 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626346 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 1829 1455 227 40 0 1246 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 7316

[startup+190.113 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5061
/proc/meminfo: memFree=1066712/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=7372 CPUtime=190.05
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 218557 0 0 0 18906 99 0 0 25 0 1 0 163677579 7548928 1469 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134569960 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 1843 1469 227 40 0 1260 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 7372

[startup+200.119 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5061
/proc/meminfo: memFree=1066456/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=8032 CPUtime=200.05
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 234617 0 0 0 19898 107 0 0 25 0 1 0 163677579 8224768 1602 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 2008 1602 227 40 0 1425 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 8032

[startup+210.125 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5061

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

/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3413560 0 0 0 176635 1525 0 0 25 0 1 0 163677579 18399232 4118 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643364 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 4492 4118 227 40 0 3909 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (Kb) 17968

[startup+1783.1 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5063
/proc/meminfo: memFree=1056024/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=17968 CPUtime=1782.61
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3415573 0 0 0 176735 1526 0 0 25 0 1 0 163677579 18399232 4118 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643691 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 4492 4118 227 40 0 3909 0
Current children cumulated CPU time (s) 1782.61
Current children cumulated vsize (Kb) 17968

[startup+1784.1 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5063
/proc/meminfo: memFree=1056024/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=17976 CPUtime=1783.61
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3417559 0 0 0 176834 1527 0 0 25 0 1 0 163677579 18407424 4120 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643694 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 4494 4120 227 40 0 3911 0
Current children cumulated CPU time (s) 1783.61
Current children cumulated vsize (Kb) 17976

[startup+1785.11 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5063
/proc/meminfo: memFree=1056024/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=17984 CPUtime=1784.62
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3419545 0 0 0 176934 1528 0 0 25 0 1 0 163677579 18415616 4122 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643505 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 4496 4122 227 40 0 3913 0
Current children cumulated CPU time (s) 1784.62
Current children cumulated vsize (Kb) 17984

[startup+1786.11 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5063
/proc/meminfo: memFree=1056024/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=18000 CPUtime=1785.62
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3422116 0 0 0 177033 1529 0 0 25 0 1 0 163677579 18432000 4126 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1928919 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 4500 4126 227 40 0 3917 0
Current children cumulated CPU time (s) 1785.62
Current children cumulated vsize (Kb) 18000

[startup+1787.12 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5063
/proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=18008 CPUtime=1786.62
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3424622 0 0 0 177133 1529 0 0 25 0 1 0 163677579 18440192 4128 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629115 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 4502 4128 227 40 0 3919 0
Current children cumulated CPU time (s) 1786.62
Current children cumulated vsize (Kb) 18008

[startup+1788.12 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5063
/proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=18008 CPUtime=1787.63
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3425513 0 0 0 177233 1530 0 0 25 0 1 0 163677579 18440192 4128 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542960 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 4502 4128 227 40 0 3919 0
Current children cumulated CPU time (s) 1787.63
Current children cumulated vsize (Kb) 18008

[startup+1789.13 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5063
/proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=18588 CPUtime=1788.63
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3426245 0 0 0 177333 1530 0 0 25 0 1 0 163677579 19034112 4245 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1928919 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 4647 4245 227 40 0 4064 0
Current children cumulated CPU time (s) 1788.63
Current children cumulated vsize (Kb) 18588

[startup+1790.13 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5063
/proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=18016 CPUtime=1789.63
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3426868 0 0 0 177433 1530 0 0 25 0 1 0 163677579 18448384 4130 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629114 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 4504 4130 227 40 0 3921 0
Current children cumulated CPU time (s) 1789.63
Current children cumulated vsize (Kb) 18016

[startup+1791.14 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5063
/proc/meminfo: memFree=1055704/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=18636 CPUtime=1790.64
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3427729 0 0 0 177533 1531 0 0 25 0 1 0 163677579 19083264 4253 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 4659 4253 227 40 0 4076 0
Current children cumulated CPU time (s) 1790.64
Current children cumulated vsize (Kb) 18636

[startup+1792.14 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5063
/proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=18016 CPUtime=1791.64
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3428467 0 0 0 177633 1531 0 0 25 0 1 0 163677579 18448384 4130 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542970 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 4504 4130 227 40 0 3921 0
Current children cumulated CPU time (s) 1791.64
Current children cumulated vsize (Kb) 18016

[startup+1793.15 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5063
/proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=18024 CPUtime=1792.64
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3429453 0 0 0 177733 1531 0 0 25 0 1 0 163677579 18456576 4132 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629048 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 4506 4132 227 40 0 3923 0
Current children cumulated CPU time (s) 1792.64
Current children cumulated vsize (Kb) 18024

[startup+1794.15 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5063
/proc/meminfo: memFree=1055704/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=18644 CPUtime=1793.66
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3430683 0 0 0 177834 1532 0 0 25 0 1 0 163677579 19091456 4255 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585180 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 4661 4255 227 40 0 4078 0
Current children cumulated CPU time (s) 1793.66
Current children cumulated vsize (Kb) 18644

[startup+1795.16 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5063
/proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=18032 CPUtime=1794.66
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3431915 0 0 0 177934 1532 0 0 25 0 1 0 163677579 18464768 4134 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542978 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 4508 4134 227 40 0 3925 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (Kb) 18032

[startup+1796.16 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5063
/proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=18032 CPUtime=1795.66
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3433145 0 0 0 178033 1533 0 0 25 0 1 0 163677579 18464768 4134 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 4508 4134 227 40 0 3925 0
Current children cumulated CPU time (s) 1795.66
Current children cumulated vsize (Kb) 18032

[startup+1797.17 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5063
/proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=18032 CPUtime=1796.67
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3434498 0 0 0 178133 1534 0 0 25 0 1 0 163677579 18464768 4134 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643687 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 4508 4134 227 40 0 3925 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (Kb) 18032

[startup+1798.17 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5063
/proc/meminfo: memFree=1055640/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=18660 CPUtime=1797.68
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3436222 0 0 0 178233 1535 0 0 25 0 1 0 163677579 19107840 4259 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 4665 4259 227 40 0 4082 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (Kb) 18660

[startup+1799.18 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5063
/proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=18048 CPUtime=1798.68
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3437823 0 0 0 178332 1536 0 0 25 0 1 0 163677579 18481152 4138 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629073 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 4512 4138 227 40 0 3929 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (Kb) 18048

[startup+1800.18 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5063
/proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=18056 CPUtime=1799.68
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3440162 0 0 0 178431 1537 0 0 25 0 1 0 163677579 18489344 4140 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 4514 4140 227 40 0 3931 0
Current children cumulated CPU time (s) 1799.68
Current children cumulated vsize (Kb) 18056

[startup+1801.19 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5063
/proc/meminfo: memFree=1055896/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=18064 CPUtime=1800.69
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3442132 0 0 0 178531 1538 0 0 25 0 1 0 163677579 18497536 4142 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134605452 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 4516 4142 227 40 0 3933 0
Current children cumulated CPU time (s) 1800.69
Current children cumulated vsize (Kb) 18064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.19 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 5063
/proc/meminfo: memFree=1055896/2055920 swapFree=4182944/4192956
[pid=5061] ppid=5059 vsize=18064 CPUtime=1800.69
/proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3442132 0 0 0 178531 1538 0 0 25 0 1 0 163677579 18497536 4142 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629114 0 0 4096 0 0 0 0 17 1 0 0
/proc/5061/statm: 4516 4142 227 40 0 3933 0
Current children cumulated CPU time (s) 1800.69
Current children cumulated vsize (Kb) 18064

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.2
CPU time (s): 1800.7
CPU user time (s): 1785.32
CPU system time (s): 15.3867
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (Kb): 18660
The end

Launcher Data (download as text)

Begin job on node35 on Sat Jul 29 10:16:15 UTC 2006


FILE ID= 85282-1154168175

PBS_JOBID= 893056

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

MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff
MD5SUM BENCH=  e79c956fa387b090702a2dffba5fa8e9

RANDOM SEED= 267574577

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.232
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.232
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:       1072040 kB
Buffers:         41212 kB
Cached:         864536 kB
SwapCached:       4364 kB
Active:         185864 kB
Inactive:       729132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1072040 kB
SwapTotal:     4192956 kB
SwapFree:      4182944 kB
Dirty:             116 kB
Writeback:           0 kB
Mapped:          14492 kB
Slab:            54868 kB
Committed_AS:   677248 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 node35 on Sat Jul 29 10:46:16 UTC 2006