Trace number 41397

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.68 1801.18

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-grow7.opb
MD5SUM8d33b9e58f24eb64e3fc155c85c275f1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables7994
Total number of constraints420
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 constraints420
Minimum length of a constraint22
Maximum length of a constraint491
Number of terms in the objective function 623
Biggest coefficient in the objective function 28673
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 524874
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 256781
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524874
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/node25/41397-1149342947/instance-41397-1149342947.opb ......
0.36	c done parsing opb.
0.36	o 524874

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/node25/watcher-41397-1149342947 -o ROOT/results/node25/solver-41397-1149342947 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node25/41397-1149342947/instance-41397-1149342947.opb 952401946 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.96 3/64 21131
/proc/meminfo: memFree=1800216/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=2152 CPUtime=0
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 206 0 0 0 0 0 0 0 18 0 1 0 199958096 2203648 190 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 538 192 90 232 0 303 0

[startup+10.0016 s]
/proc/loadavg: 0.93 0.97 0.96 2/64 21131
/proc/meminfo: memFree=1794904/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=7552 CPUtime=9.99
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 1649 0 0 0 998 1 0 0 25 0 1 0 199958096 7733248 1437 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 1888 1437 108 232 0 1653 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 7552

[startup+20.0075 s]
/proc/loadavg: 0.94 0.97 0.96 2/64 21131
/proc/meminfo: memFree=1794200/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=8576 CPUtime=19.99
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 1815 0 0 0 1998 1 0 0 25 0 1 0 199958096 8781824 1603 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551329 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 2144 1603 108 232 0 1909 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 8576

[startup+30.0134 s]
/proc/loadavg: 0.95 0.97 0.96 2/64 21131
/proc/meminfo: memFree=1793560/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=8772 CPUtime=30
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 1989 0 0 0 2999 1 0 0 25 0 1 0 199958096 8982528 1777 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 2193 1777 108 232 0 1958 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 8772

[startup+40.0193 s]
/proc/loadavg: 0.95 0.97 0.96 2/64 21131
/proc/meminfo: memFree=1792984/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=10820 CPUtime=40
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 2145 0 0 0 3998 2 0 0 25 0 1 0 199958096 11079680 1933 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 2705 1933 108 232 0 2470 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 10820

[startup+50.0263 s]
/proc/loadavg: 0.96 0.97 0.96 2/64 21131
/proc/meminfo: memFree=1791768/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=11012 CPUtime=50.01
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 2496 0 0 0 4997 4 0 0 25 0 1 0 199958096 11276288 2235 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 2753 2235 108 232 0 2518 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 11012

[startup+60.0322 s]
/proc/loadavg: 0.97 0.97 0.96 2/64 21131
/proc/meminfo: memFree=1791512/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=11012 CPUtime=60.01
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 2554 0 0 0 5997 4 0 0 25 0 1 0 199958096 11276288 2293 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 2753 2293 108 232 0 2518 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 11012

[startup+70.0381 s]
/proc/loadavg: 0.97 0.97 0.96 2/64 21131
/proc/meminfo: memFree=1790424/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=15564 CPUtime=70.01
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 2826 0 0 0 6996 5 0 0 25 0 1 0 199958096 15937536 2565 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 3891 2565 108 232 0 3656 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 15564

[startup+80.044 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 21131
/proc/meminfo: memFree=1788184/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=16688 CPUtime=80.02
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 3484 0 0 0 7993 9 0 0 25 0 1 0 199958096 17088512 3126 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549008 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 4172 3126 108 232 0 3937 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 16688

[startup+90.0499 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 21131
/proc/meminfo: memFree=1785880/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=18624 CPUtime=90.02
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 4248 0 0 0 8988 14 0 0 25 0 1 0 199958096 19070976 3697 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 4656 3697 108 232 0 4421 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 18624

[startup+100.056 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 21131
/proc/meminfo: memFree=1781016/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=27800 CPUtime=100.02
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 5458 0 0 0 9982 20 0 0 25 0 1 0 199958096 28467200 4907 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 6950 4907 108 232 0 6715 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 27800

[startup+110.062 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 21131
/proc/meminfo: memFree=1776536/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=30472 CPUtime=110.02
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 6960 0 0 0 10977 25 0 0 25 0 1 0 199958096 31203328 6024 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 7618 6024 108 232 0 7383 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 30472

[startup+120.068 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21131
/proc/meminfo: memFree=1772376/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=31280 CPUtime=120.03
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 8003 0 0 0 11972 31 0 0 25 0 1 0 199958096 32030720 7067 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564176 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 7820 7067 108 232 0 7585 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 31280

[startup+130.074 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21131
/proc/meminfo: memFree=1771224/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=32000 CPUtime=130.04
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 8280 0 0 0 12969 35 0 0 25 0 1 0 199958096 32768000 7344 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 8000 7344 108 232 0 7765 0
Current children cumulated CPU time (s) 130.04
Current children cumulated vsize (Kb) 32000

[startup+140.079 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21131
/proc/meminfo: memFree=1770264/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=32692 CPUtime=140.04
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 8520 0 0 0 13965 39 0 0 25 0 1 0 199958096 33476608 7584 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 8173 7584 108 232 0 7938 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 32692

[startup+150.085 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21131
/proc/meminfo: memFree=1768664/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=49560 CPUtime=150.04
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 8924 0 0 0 14959 45 0 0 25 0 1 0 199958096 50749440 7988 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549259 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 12390 7988 108 232 0 12155 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 49560

[startup+160.091 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21131
/proc/meminfo: memFree=1767064/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=50208 CPUtime=160.05
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 9322 0 0 0 15955 50 0 0 25 0 1 0 199958096 51412992 8386 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 12552 8386 108 232 0 12317 0
Current children cumulated CPU time (s) 160.05
Current children cumulated vsize (Kb) 50208

[startup+170.097 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21131
/proc/meminfo: memFree=1764696/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=53800 CPUtime=170.05
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 10679 0 0 0 16951 54 0 0 25 0 1 0 199958096 55091200 8974 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 13450 8974 108 232 0 13215 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 53800

[startup+180.103 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21131
/proc/meminfo: memFree=1762904/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=54480 CPUtime=180.05
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 11128 0 0 0 17947 58 0 0 25 0 1 0 199958096 55787520 9423 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 13620 9423 108 232 0 13385 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 54480

[startup+190.109 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21131
/proc/meminfo: memFree=1761944/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=54948 CPUtime=190.05
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 11368 0 0 0 18943 62 0 0 25 0 1 0 199958096 56266752 9663 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550000 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 13737 9663 108 232 0 13502 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 54948

[startup+200.115 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21131
/proc/meminfo: memFree=1760920/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=55416 CPUtime=200.06
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 11615 0 0 0 19939 67 0 0 25 0 1 0 199958096 56745984 9910 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 13854 9910 108 232 0 13619 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 55416

[startup+210.121 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21131
/proc/meminfo: memFree=1760024/2055920 swapFree=4181452/4192956

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

/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32288 0 0 0 177575 581 0 0 25 0 1 0 199958096 139309056 25709 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 34011 25709 108 232 0 33776 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (Kb) 136044

[startup+1783.06 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21327
/proc/meminfo: memFree=1697048/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=136044 CPUtime=1782.57
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32292 0 0 0 177675 582 0 0 25 0 1 0 199958096 139309056 25713 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 34011 25713 108 232 0 33776 0
Current children cumulated CPU time (s) 1782.57
Current children cumulated vsize (Kb) 136044

[startup+1784.07 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21327
/proc/meminfo: memFree=1697048/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=136044 CPUtime=1783.57
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32295 0 0 0 177775 582 0 0 25 0 1 0 199958096 139309056 25716 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 34011 25716 108 232 0 33776 0
Current children cumulated CPU time (s) 1783.57
Current children cumulated vsize (Kb) 136044

[startup+1785.07 s]
/proc/loadavg: 0.99 0.97 0.96 3/64 21327
/proc/meminfo: memFree=1696984/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=136044 CPUtime=1784.58
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32300 0 0 0 177875 583 0 0 25 0 1 0 199958096 139309056 25721 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 34011 25721 108 232 0 33776 0
Current children cumulated CPU time (s) 1784.58
Current children cumulated vsize (Kb) 136044

[startup+1786.08 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21327
/proc/meminfo: memFree=1696984/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=136044 CPUtime=1785.58
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32305 0 0 0 177975 583 0 0 25 0 1 0 199958096 139309056 25726 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 34011 25726 108 232 0 33776 0
Current children cumulated CPU time (s) 1785.58
Current children cumulated vsize (Kb) 136044

[startup+1787.08 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21327
/proc/meminfo: memFree=1696984/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=136044 CPUtime=1786.59
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32308 0 0 0 178075 584 0 0 25 0 1 0 199958096 139309056 25729 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 34011 25729 108 232 0 33776 0
Current children cumulated CPU time (s) 1786.59
Current children cumulated vsize (Kb) 136044

[startup+1788.08 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21327
/proc/meminfo: memFree=1696920/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=136044 CPUtime=1787.59
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32315 0 0 0 178175 584 0 0 25 0 1 0 199958096 139309056 25736 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 34011 25736 108 232 0 33776 0
Current children cumulated CPU time (s) 1787.59
Current children cumulated vsize (Kb) 136044

[startup+1789.09 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21327
/proc/meminfo: memFree=1696920/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=136044 CPUtime=1788.59
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32323 0 0 0 178275 584 0 0 25 0 1 0 199958096 139309056 25744 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 34011 25744 108 232 0 33776 0
Current children cumulated CPU time (s) 1788.59
Current children cumulated vsize (Kb) 136044

[startup+1790.09 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21327
/proc/meminfo: memFree=1696920/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=136044 CPUtime=1789.6
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32328 0 0 0 178375 585 0 0 25 0 1 0 199958096 139309056 25749 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 34011 25749 108 232 0 33776 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (Kb) 136044

[startup+1791.1 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21327
/proc/meminfo: memFree=1696856/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=136044 CPUtime=1790.6
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32333 0 0 0 178475 585 0 0 25 0 1 0 199958096 139309056 25754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 34011 25754 108 232 0 33776 0
Current children cumulated CPU time (s) 1790.6
Current children cumulated vsize (Kb) 136044

[startup+1792.1 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21327
/proc/meminfo: memFree=1696856/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=136044 CPUtime=1791.6
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32336 0 0 0 178575 585 0 0 25 0 1 0 199958096 139309056 25757 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 34011 25757 108 232 0 33776 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (Kb) 136044

[startup+1793.11 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21327
/proc/meminfo: memFree=1696856/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=136044 CPUtime=1792.61
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32341 0 0 0 178676 585 0 0 25 0 1 0 199958096 139309056 25762 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 34011 25762 108 232 0 33776 0
Current children cumulated CPU time (s) 1792.61
Current children cumulated vsize (Kb) 136044

[startup+1794.11 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21327
/proc/meminfo: memFree=1696856/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=136044 CPUtime=1793.62
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32344 0 0 0 178776 586 0 0 25 0 1 0 199958096 139309056 25765 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 34011 25765 108 232 0 33776 0
Current children cumulated CPU time (s) 1793.62
Current children cumulated vsize (Kb) 136044

[startup+1795.12 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21327
/proc/meminfo: memFree=1696792/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=136044 CPUtime=1794.62
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32348 0 0 0 178876 586 0 0 25 0 1 0 199958096 139309056 25769 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 34011 25769 108 232 0 33776 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (Kb) 136044

[startup+1796.12 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21327
/proc/meminfo: memFree=1696792/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=136044 CPUtime=1795.63
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32351 0 0 0 178976 587 0 0 25 0 1 0 199958096 139309056 25772 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 34011 25772 108 232 0 33776 0
Current children cumulated CPU time (s) 1795.63
Current children cumulated vsize (Kb) 136044

[startup+1797.13 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21327
/proc/meminfo: memFree=1696792/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=136044 CPUtime=1796.63
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32359 0 0 0 179076 587 0 0 25 0 1 0 199958096 139309056 25780 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 34011 25780 108 232 0 33776 0
Current children cumulated CPU time (s) 1796.63
Current children cumulated vsize (Kb) 136044

[startup+1798.13 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21327
/proc/meminfo: memFree=1696728/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=136044 CPUtime=1797.63
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32364 0 0 0 179176 587 0 0 25 0 1 0 199958096 139309056 25785 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550028 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 34011 25785 108 232 0 33776 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (Kb) 136044

[startup+1799.14 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21327
/proc/meminfo: memFree=1696728/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=136044 CPUtime=1798.64
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32367 0 0 0 179276 588 0 0 25 0 1 0 199958096 139309056 25788 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 34011 25788 108 232 0 33776 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (Kb) 136044

[startup+1800.14 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21327
/proc/meminfo: memFree=1696728/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=136044 CPUtime=1799.65
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32369 0 0 0 179377 588 0 0 25 0 1 0 199958096 139309056 25790 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 34011 25790 108 232 0 33776 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (Kb) 136044

[startup+1801.15 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21327
/proc/meminfo: memFree=1696728/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=136044 CPUtime=1800.65
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32372 0 0 0 179477 588 0 0 25 0 1 0 199958096 139309056 25793 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 34011 25793 108 232 0 33776 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (Kb) 136044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.15 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21327
/proc/meminfo: memFree=1696728/2055920 swapFree=4181452/4192956
[pid=21131] ppid=21129 vsize=136044 CPUtime=1800.66
/proc/21131/stat : 21131 (PBS4L) R 21129 21131 21085 0 -1 4194304 32372 0 0 0 179478 588 0 0 25 0 1 0 199958096 139309056 25793 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21131/statm: 34011 25793 108 232 0 33776 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (Kb) 136044

Sending SIGTERM to -21131
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.18
CPU time (s): 1800.68
CPU user time (s): 1794.78
CPU system time (s): 5.9011
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (Kb): 136044
The end

Launcher Data (download as text)

Begin job on node25 on Sat Jun  3 13:55:47 UTC 2006


FILE ID= 41397-1149342947

PBS_JOBID= 310522

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-grow7.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node25/41397-1149342947/instance-41397-1149342947.opb 952401946
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-41397-1149342947 -o ROOT/results/node25/solver-41397-1149342947 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node25/41397-1149342947/instance-41397-1149342947.opb 952401946

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  8d33b9e58f24eb64e3fc155c85c275f1

RANDOM SEED= 952401946


/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:       1800424 kB
Buffers:         15196 kB
Cached:         184228 kB
SwapCached:       3080 kB
Active:          43448 kB
Inactive:       164564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1800424 kB
SwapTotal:     4192956 kB
SwapFree:      4181452 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14716 kB
Slab:            33464 kB
Committed_AS:   324436 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 node25 on Sat Jun  3 14:25:48 UTC 2006