Trace number 41376

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
PBS 4.1L? (TO) 1800.66 1801.24

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-pilot.we.opb
MD5SUM6d89097601cc17df3da06374ded173c4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables77678
Total number of constraints1016
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1016
Minimum length of a constraint10
Maximum length of a constraint2430
Number of terms in the objective function 2760
Biggest coefficient in the objective function 9798
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 526457
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262399
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 526457
Number of bits of the biggest sum of numbers20
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node71/41376-1149338080/instance-41376-1149338080.opb ......

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
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node71/watcher-41376-1149338080 -o ROOT/results/node71/solver-41376-1149338080 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node71/41376-1149338080/instance-41376-1149338080.opb 66828104 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 0.99 0.99 2/64 18027
/proc/meminfo: memFree=1472168/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=8684 CPUtime=0
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 223 0 0 0 0 0 0 0 18 0 1 0 199477710 8892416 207 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 2171 208 90 232 0 1936 0

[startup+10.0026 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18027
/proc/meminfo: memFree=1443840/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=37332 CPUtime=9.99
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 9320 0 0 0 995 4 0 0 25 0 1 0 199477710 38227968 7225 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551272 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 9333 7225 105 232 0 9098 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 37332

[startup+20.01 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18027
/proc/meminfo: memFree=1441024/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=43844 CPUtime=19.99
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 10055 0 0 0 1994 5 0 0 25 0 1 0 199477710 44896256 7960 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 10961 7960 105 232 0 10726 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 43844

[startup+30.0164 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18029
/proc/meminfo: memFree=1438400/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=44452 CPUtime=30
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 10878 0 0 0 2994 6 0 0 25 0 1 0 199477710 45518848 8783 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134588361 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 11113 8783 105 232 0 10878 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 44452

[startup+40.0227 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18029
/proc/meminfo: memFree=1436288/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=45828 CPUtime=40
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 12725 0 0 0 3992 8 0 0 25 0 1 0 199477710 46927872 9104 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 11457 9104 105 232 0 11222 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 45828

[startup+50.0292 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18029
/proc/meminfo: memFree=1436224/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=45860 CPUtime=50.01
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 13691 0 0 0 4992 9 0 0 25 0 1 0 199477710 46960640 9183 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 11465 9183 105 232 0 11230 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 45860

[startup+60.0355 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18029
/proc/meminfo: memFree=1435328/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=45860 CPUtime=60.01
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 14327 0 0 0 5991 10 0 0 25 0 1 0 199477710 46960640 9363 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558877 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 11465 9363 105 232 0 11230 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 45860

[startup+70.0419 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18029
/proc/meminfo: memFree=1434752/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=46400 CPUtime=70.02
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 16671 0 0 0 6990 12 0 0 25 0 1 0 199477710 47513600 9509 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 11600 9509 105 232 0 11365 0
Current children cumulated CPU time (s) 70.02
Current children cumulated vsize (Kb) 46400

[startup+80.0493 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18029
/proc/meminfo: memFree=1434496/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=46876 CPUtime=80.02
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 23864 0 0 0 7986 16 0 0 25 0 1 0 199477710 48001024 9616 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 11719 9616 105 232 0 11484 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 46876

[startup+90.0546 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18029
/proc/meminfo: memFree=1434624/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=46496 CPUtime=90.02
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 25960 0 0 0 8986 16 0 0 25 0 1 0 199477710 47611904 9536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 11624 9536 105 232 0 11389 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 46496

[startup+100.061 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18029
/proc/meminfo: memFree=1434496/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=46592 CPUtime=100.02
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 29724 0 0 0 9983 19 0 0 25 0 1 0 199477710 47710208 9568 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 11648 9568 105 232 0 11413 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 46592

[startup+110.067 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18029
/proc/meminfo: memFree=1434176/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=46884 CPUtime=110.03
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 33196 0 0 0 10982 21 0 0 25 0 1 0 199477710 48009216 9647 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551272 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 11721 9647 105 232 0 11486 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 46884

[startup+120.074 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18029
/proc/meminfo: memFree=1434112/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=46952 CPUtime=120.03
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 37789 0 0 0 11979 24 0 0 25 0 1 0 199477710 48078848 9665 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551331 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 11738 9665 105 232 0 11503 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 46952

[startup+130.08 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18029
/proc/meminfo: memFree=1433984/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=47568 CPUtime=130.03
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 38853 0 0 0 12978 25 0 0 25 0 1 0 199477710 48709632 9733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 11892 9733 105 232 0 11657 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 47568

[startup+140.088 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18029
/proc/meminfo: memFree=1433024/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=48568 CPUtime=140.04
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 43416 0 0 0 13977 27 0 0 25 0 1 0 199477710 49733632 9993 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134587456 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 12142 9993 105 232 0 11907 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 48568

[startup+150.094 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18029
/proc/meminfo: memFree=1433344/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=48028 CPUtime=150.05
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 47587 0 0 0 14975 30 0 0 25 0 1 0 199477710 49180672 9862 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 12007 9862 105 232 0 11772 0
Current children cumulated CPU time (s) 150.05
Current children cumulated vsize (Kb) 48028

[startup+160.1 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18029
/proc/meminfo: memFree=1433344/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=48028 CPUtime=160.05
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 47588 0 0 0 15975 30 0 0 25 0 1 0 199477710 49180672 9863 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 12007 9863 105 232 0 11772 0
Current children cumulated CPU time (s) 160.05
Current children cumulated vsize (Kb) 48028

[startup+170.107 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18029
/proc/meminfo: memFree=1433344/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=48028 CPUtime=170.05
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 47589 0 0 0 16975 30 0 0 25 0 1 0 199477710 49180672 9864 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 12007 9864 105 232 0 11772 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 48028

[startup+180.113 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18029
/proc/meminfo: memFree=1433280/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=48028 CPUtime=180.05
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 47951 0 0 0 17975 30 0 0 25 0 1 0 199477710 49180672 9872 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 12007 9872 105 232 0 11772 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 48028

[startup+190.119 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18029
/proc/meminfo: memFree=1432960/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=48324 CPUtime=190.06
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 49592 0 0 0 18974 32 0 0 25 0 1 0 199477710 49483776 9953 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 12081 9953 105 232 0 11846 0
Current children cumulated CPU time (s) 190.06
Current children cumulated vsize (Kb) 48324

[startup+200.126 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18029
/proc/meminfo: memFree=1432960/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=48324 CPUtime=200.06
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 52946 0 0 0 19972 34 0 0 25 0 1 0 199477710 49483776 9954 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549273 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 12081 9954 105 232 0 11846 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 48324

[startup+210.131 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18029
/proc/meminfo: memFree=1432960/2055920 swapFree=4182212/4192956

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

/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132607 0 0 0 178037 118 0 0 25 0 1 0 199477710 86315008 14554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 21073 14554 105 232 0 20838 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (Kb) 84292

[startup+1783.13 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18224
/proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=84292 CPUtime=1782.56
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132607 0 0 0 178138 118 0 0 25 0 1 0 199477710 86315008 14554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 21073 14554 105 232 0 20838 0
Current children cumulated CPU time (s) 1782.56
Current children cumulated vsize (Kb) 84292

[startup+1784.13 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18224
/proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=84292 CPUtime=1783.56
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132607 0 0 0 178238 118 0 0 25 0 1 0 199477710 86315008 14554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 21073 14554 105 232 0 20838 0
Current children cumulated CPU time (s) 1783.56
Current children cumulated vsize (Kb) 84292

[startup+1785.14 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18224
/proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=84292 CPUtime=1784.56
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132607 0 0 0 178338 118 0 0 25 0 1 0 199477710 86315008 14554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551260 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 21073 14554 105 232 0 20838 0
Current children cumulated CPU time (s) 1784.56
Current children cumulated vsize (Kb) 84292

[startup+1786.14 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18224
/proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=84292 CPUtime=1785.57
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132607 0 0 0 178439 118 0 0 25 0 1 0 199477710 86315008 14554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 21073 14554 105 232 0 20838 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (Kb) 84292

[startup+1787.15 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18224
/proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=84292 CPUtime=1786.57
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132608 0 0 0 178539 118 0 0 25 0 1 0 199477710 86315008 14555 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551222 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 21073 14555 105 232 0 20838 0
Current children cumulated CPU time (s) 1786.57
Current children cumulated vsize (Kb) 84292

[startup+1788.15 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18224
/proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=84292 CPUtime=1787.58
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132608 0 0 0 178640 118 0 0 25 0 1 0 199477710 86315008 14555 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 21073 14555 105 232 0 20838 0
Current children cumulated CPU time (s) 1787.58
Current children cumulated vsize (Kb) 84292

[startup+1789.16 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18224
/proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=84292 CPUtime=1788.58
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132608 0 0 0 178740 118 0 0 25 0 1 0 199477710 86315008 14555 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 21073 14555 105 232 0 20838 0
Current children cumulated CPU time (s) 1788.58
Current children cumulated vsize (Kb) 84292

[startup+1790.16 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18224
/proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=84292 CPUtime=1789.59
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132608 0 0 0 178841 118 0 0 25 0 1 0 199477710 86315008 14555 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 21073 14555 105 232 0 20838 0
Current children cumulated CPU time (s) 1789.59
Current children cumulated vsize (Kb) 84292

[startup+1791.17 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18224
/proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=84292 CPUtime=1790.59
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132615 0 0 0 178941 118 0 0 25 0 1 0 199477710 86315008 14562 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551252 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 21073 14562 105 232 0 20838 0
Current children cumulated CPU time (s) 1790.59
Current children cumulated vsize (Kb) 84292

[startup+1792.17 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18224
/proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=84292 CPUtime=1791.59
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132615 0 0 0 179041 118 0 0 25 0 1 0 199477710 86315008 14562 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551270 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 21073 14562 105 232 0 20838 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (Kb) 84292

[startup+1793.18 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18224
/proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=84292 CPUtime=1792.6
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132615 0 0 0 179142 118 0 0 25 0 1 0 199477710 86315008 14562 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 21073 14562 105 232 0 20838 0
Current children cumulated CPU time (s) 1792.6
Current children cumulated vsize (Kb) 84292

[startup+1794.18 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18224
/proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=84292 CPUtime=1793.6
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132615 0 0 0 179242 118 0 0 25 0 1 0 199477710 86315008 14562 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 21073 14562 105 232 0 20838 0
Current children cumulated CPU time (s) 1793.6
Current children cumulated vsize (Kb) 84292

[startup+1795.19 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18224
/proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=84292 CPUtime=1794.61
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132616 0 0 0 179343 118 0 0 25 0 1 0 199477710 86315008 14563 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549311 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 21073 14563 105 232 0 20838 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (Kb) 84292

[startup+1796.19 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18224
/proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=84292 CPUtime=1795.61
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132616 0 0 0 179443 118 0 0 25 0 1 0 199477710 86315008 14563 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 21073 14563 105 232 0 20838 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (Kb) 84292

[startup+1797.2 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18224
/proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=84292 CPUtime=1796.62
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132616 0 0 0 179544 118 0 0 25 0 1 0 199477710 86315008 14563 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549259 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 21073 14563 105 232 0 20838 0
Current children cumulated CPU time (s) 1796.62
Current children cumulated vsize (Kb) 84292

[startup+1798.2 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18224
/proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=84292 CPUtime=1797.62
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132617 0 0 0 179644 118 0 0 25 0 1 0 199477710 86315008 14564 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 21073 14564 105 232 0 20838 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (Kb) 84292

[startup+1799.21 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 18224
/proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=84292 CPUtime=1798.63
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132617 0 0 0 179745 118 0 0 25 0 1 0 199477710 86315008 14564 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 21073 14564 105 232 0 20838 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (Kb) 84292

[startup+1800.21 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18224
/proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=84292 CPUtime=1799.63
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132617 0 0 0 179845 118 0 0 25 0 1 0 199477710 86315008 14564 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 21073 14564 105 232 0 20838 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (Kb) 84292

[startup+1801.22 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18224
/proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=84292 CPUtime=1800.64
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132617 0 0 0 179946 118 0 0 25 0 1 0 199477710 86315008 14564 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 21073 14564 105 232 0 20838 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (Kb) 84292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.22 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 18224
/proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956
[pid=18027] ppid=18025 vsize=84292 CPUtime=1800.64
/proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132617 0 0 0 179946 118 0 0 25 0 1 0 199477710 86315008 14564 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0
/proc/18027/statm: 21073 14564 105 232 0 20838 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (Kb) 84292

Sending SIGTERM to -18027
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.24
CPU time (s): 1800.66
CPU user time (s): 1799.47
CPU system time (s): 1.19782
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (Kb): 84292
The end

Launcher Data (download as text)

Begin job on node71 on Sat Jun  3 12:34:40 UTC 2006


FILE ID= 41376-1149338080

PBS_JOBID= 310247

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-pilot.we.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node71/41376-1149338080/instance-41376-1149338080.opb 66828104
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node71/watcher-41376-1149338080 -o ROOT/results/node71/solver-41376-1149338080 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node71/41376-1149338080/instance-41376-1149338080.opb 66828104

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  6d89097601cc17df3da06374ded173c4

RANDOM SEED= 66828104


/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.236
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.236
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:       1472568 kB
Buffers:         30916 kB
Cached:         478752 kB
SwapCached:       2372 kB
Active:          73404 kB
Inactive:       444940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1472568 kB
SwapTotal:     4192956 kB
SwapFree:      4182212 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          15092 kB
Slab:            51024 kB
Committed_AS:   328880 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node71 on Sat Jun  3 13:04:42 UTC 2006