Trace number 41321

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.52 1801.15

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-greenbea.opb
MD5SUM542c2b53b45e753224c38b905fee77fb
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 variables155427
Total number of constraints2674
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 constraints2674
Minimum length of a constraint11
Maximum length of a constraint7267
Number of terms in the objective function 15205
Biggest coefficient in the objective function 24902
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 537080
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 537080
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/node29/41321-1149324156/instance-41321-1149324156.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/node29/watcher-41321-1149324156 -o ROOT/results/node29/solver-41321-1149324156 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node29/41321-1149324156/instance-41321-1149324156.opb 223205670 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.97 2/64 19662
/proc/meminfo: memFree=1828216/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=15972 CPUtime=0
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 161 0 0 0 0 0 0 0 18 0 1 0 198079180 16355328 145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 3993 146 90 232 0 3758 0

[startup+10.0021 s]
/proc/loadavg: 0.93 0.95 0.97 2/64 19662
/proc/meminfo: memFree=1762816/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=67312 CPUtime=9.99
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 17636 0 0 0 991 8 0 0 25 0 1 0 198079180 68927488 16455 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134536685 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 16828 16455 99 232 0 16593 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 67312

[startup+20.0085 s]
/proc/loadavg: 0.94 0.96 0.97 2/64 19662
/proc/meminfo: memFree=1756608/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=88812 CPUtime=19.99
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 23188 0 0 0 1989 10 0 0 25 0 1 0 198079180 90943488 18022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 22203 18022 104 232 0 21968 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 88812

[startup+30.0139 s]
/proc/loadavg: 0.95 0.96 0.97 2/64 19662
/proc/meminfo: memFree=1756672/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=88812 CPUtime=29.99
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 23194 0 0 0 2989 10 0 0 25 0 1 0 198079180 90943488 18028 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 22203 18028 104 232 0 21968 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 88812

[startup+40.0193 s]
/proc/loadavg: 0.95 0.96 0.97 2/64 19662
/proc/meminfo: memFree=1756672/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=88812 CPUtime=39.99
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 23202 0 0 0 3989 10 0 0 25 0 1 0 198079180 90943488 18036 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 22203 18036 104 232 0 21968 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 88812

[startup+50.0247 s]
/proc/loadavg: 0.96 0.96 0.97 2/64 19662
/proc/meminfo: memFree=1756736/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=88812 CPUtime=49.99
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 23228 0 0 0 4989 10 0 0 25 0 1 0 198079180 90943488 18062 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 22203 18062 105 232 0 21968 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 88812

[startup+60.0302 s]
/proc/loadavg: 0.97 0.96 0.97 2/64 19662
/proc/meminfo: memFree=1756672/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=88812 CPUtime=60
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 23239 0 0 0 5989 11 0 0 25 0 1 0 198079180 90943488 18073 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 22203 18073 105 232 0 21968 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 88812

[startup+70.0356 s]
/proc/loadavg: 0.97 0.96 0.97 2/64 19662
/proc/meminfo: memFree=1756096/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=89580 CPUtime=70
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 23638 0 0 0 6989 11 0 0 25 0 1 0 198079180 91729920 18168 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 22395 18168 105 232 0 22160 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 89580

[startup+80.041 s]
/proc/loadavg: 0.98 0.96 0.97 2/64 19662
/proc/meminfo: memFree=1756096/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=89580 CPUtime=80
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 23659 0 0 0 7989 11 0 0 25 0 1 0 198079180 91729920 18189 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 22395 18189 105 232 0 22160 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 89580

[startup+90.0464 s]
/proc/loadavg: 0.98 0.96 0.97 2/64 19662
/proc/meminfo: memFree=1756096/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=89580 CPUtime=90
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 23679 0 0 0 8989 11 0 0 25 0 1 0 198079180 91729920 18209 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 22395 18209 105 232 0 22160 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 89580

[startup+100.052 s]
/proc/loadavg: 0.98 0.96 0.97 2/64 19662
/proc/meminfo: memFree=1756096/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=89580 CPUtime=100.01
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 23698 0 0 0 9990 11 0 0 25 0 1 0 198079180 91729920 18228 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 22395 18228 105 232 0 22160 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 89580

[startup+110.057 s]
/proc/loadavg: 0.98 0.96 0.97 2/64 19662
/proc/meminfo: memFree=1755840/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=89580 CPUtime=110.01
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 24024 0 0 0 10990 11 0 0 25 0 1 0 198079180 91729920 18250 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 22395 18250 105 232 0 22160 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 89580

[startup+120.063 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 19662
/proc/meminfo: memFree=1755840/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=89580 CPUtime=120.01
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 24040 0 0 0 11990 11 0 0 25 0 1 0 198079180 91729920 18266 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 22395 18266 105 232 0 22160 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 89580

[startup+130.068 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 19662
/proc/meminfo: memFree=1755200/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=90604 CPUtime=130.02
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 24474 0 0 0 12990 12 0 0 25 0 1 0 198079180 92778496 18396 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 22651 18396 105 232 0 22416 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 90604

[startup+140.073 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 19662
/proc/meminfo: memFree=1755200/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=90604 CPUtime=140.01
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 24482 0 0 0 13989 12 0 0 25 0 1 0 198079180 92778496 18404 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 22651 18404 105 232 0 22416 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 90604

[startup+150.079 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 19662
/proc/meminfo: memFree=1755200/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=90604 CPUtime=150.02
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 24488 0 0 0 14989 13 0 0 25 0 1 0 198079180 92778496 18410 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 22651 18410 105 232 0 22416 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 90604

[startup+160.084 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 19662
/proc/meminfo: memFree=1755072/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=90604 CPUtime=160.02
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 24551 0 0 0 15989 13 0 0 25 0 1 0 198079180 92778496 18473 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 22651 18473 105 232 0 22416 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 90604

[startup+170.09 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 19662
/proc/meminfo: memFree=1754944/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=90604 CPUtime=170.02
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 24586 0 0 0 16989 13 0 0 25 0 1 0 198079180 92778496 18508 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 22651 18508 105 232 0 22416 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 90604

[startup+180.095 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 19662
/proc/meminfo: memFree=1754752/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=92652 CPUtime=180.03
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 24632 0 0 0 17989 14 0 0 25 0 1 0 198079180 94875648 18554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 23163 18554 105 232 0 22928 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 92652

[startup+190.101 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 19662
/proc/meminfo: memFree=1754688/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=92652 CPUtime=190.03
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 24637 0 0 0 18989 14 0 0 25 0 1 0 198079180 94875648 18559 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 23163 18559 105 232 0 22928 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 92652

[startup+200.106 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 19662
/proc/meminfo: memFree=1754368/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=92652 CPUtime=200.03
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 24730 0 0 0 19989 14 0 0 25 0 1 0 198079180 94875648 18652 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 23163 18652 105 232 0 22928 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 92652

[startup+210.111 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 19662
/proc/meminfo: memFree=1754112/2055920 swapFree=4181376/4192956

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

/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 54140 0 0 0 178071 70 0 0 25 0 1 0 198079180 113778688 22017 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 27778 22017 105 232 0 27543 0
Current children cumulated CPU time (s) 1781.41
Current children cumulated vsize (Kb) 111112

[startup+1783.03 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 19857
/proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=111116 CPUtime=1782.41
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 54273 0 0 0 178171 70 0 0 25 0 1 0 198079180 113782784 22019 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 27779 22019 105 232 0 27544 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (Kb) 111116

[startup+1784.04 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 19857
/proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=111116 CPUtime=1783.42
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 54405 0 0 0 178272 70 0 0 25 0 1 0 198079180 113782784 22019 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135242830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 27779 22019 105 232 0 27544 0
Current children cumulated CPU time (s) 1783.42
Current children cumulated vsize (Kb) 111116

[startup+1785.04 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 19857
/proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=111244 CPUtime=1784.42
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 54537 0 0 0 178372 70 0 0 25 0 1 0 198079180 113913856 22051 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 27811 22051 105 232 0 27576 0
Current children cumulated CPU time (s) 1784.42
Current children cumulated vsize (Kb) 111244

[startup+1786.05 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 19857
/proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=111244 CPUtime=1785.42
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 54669 0 0 0 178472 70 0 0 25 0 1 0 198079180 113913856 22051 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 27811 22051 105 232 0 27576 0
Current children cumulated CPU time (s) 1785.42
Current children cumulated vsize (Kb) 111244

[startup+1787.05 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 19857
/proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=111112 CPUtime=1786.43
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 54769 0 0 0 178573 70 0 0 25 0 1 0 198079180 113778688 22019 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 27778 22019 105 232 0 27543 0
Current children cumulated CPU time (s) 1786.43
Current children cumulated vsize (Kb) 111112

[startup+1788.06 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 19857
/proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=111112 CPUtime=1787.43
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 54901 0 0 0 178673 70 0 0 25 0 1 0 198079180 113778688 22019 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551265 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 27778 22019 105 232 0 27543 0
Current children cumulated CPU time (s) 1787.43
Current children cumulated vsize (Kb) 111112

[startup+1789.06 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 19857
/proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=111112 CPUtime=1788.44
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 55033 0 0 0 178774 70 0 0 25 0 1 0 198079180 113778688 22019 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 27778 22019 105 232 0 27543 0
Current children cumulated CPU time (s) 1788.44
Current children cumulated vsize (Kb) 111112

[startup+1790.07 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 19857
/proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=111116 CPUtime=1789.44
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 55166 0 0 0 178874 70 0 0 25 0 1 0 198079180 113782784 22021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 27779 22021 105 232 0 27544 0
Current children cumulated CPU time (s) 1789.44
Current children cumulated vsize (Kb) 111116

[startup+1791.07 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 19857
/proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=111116 CPUtime=1790.44
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 55298 0 0 0 178974 70 0 0 25 0 1 0 198079180 113782784 22021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 27779 22021 105 232 0 27544 0
Current children cumulated CPU time (s) 1790.44
Current children cumulated vsize (Kb) 111116

[startup+1792.08 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 19857
/proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=111244 CPUtime=1791.45
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 55430 0 0 0 179075 70 0 0 25 0 1 0 198079180 113913856 22053 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 27811 22053 105 232 0 27576 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (Kb) 111244

[startup+1793.08 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 19857
/proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=111112 CPUtime=1792.45
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 55530 0 0 0 179175 70 0 0 25 0 1 0 198079180 113778688 22021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 27778 22021 105 232 0 27543 0
Current children cumulated CPU time (s) 1792.45
Current children cumulated vsize (Kb) 111112

[startup+1794.09 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 19857
/proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=111112 CPUtime=1793.47
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 55663 0 0 0 179276 71 0 0 25 0 1 0 198079180 113778688 22022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 27778 22022 105 232 0 27543 0
Current children cumulated CPU time (s) 1793.47
Current children cumulated vsize (Kb) 111112

[startup+1795.09 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 19857
/proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=111112 CPUtime=1794.47
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 55762 0 0 0 179376 71 0 0 25 0 1 0 198079180 113778688 22022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551243 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 27778 22022 105 232 0 27543 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (Kb) 111112

[startup+1796.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 19857
/proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=111112 CPUtime=1795.47
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 55895 0 0 0 179476 71 0 0 25 0 1 0 198079180 113778688 22023 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 27778 22023 105 232 0 27543 0
Current children cumulated CPU time (s) 1795.47
Current children cumulated vsize (Kb) 111112

[startup+1797.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 19857
/proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=111120 CPUtime=1796.48
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 56027 0 0 0 179577 71 0 0 25 0 1 0 198079180 113786880 22025 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 27780 22025 105 232 0 27545 0
Current children cumulated CPU time (s) 1796.48
Current children cumulated vsize (Kb) 111120

[startup+1798.11 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 19857
/proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=111112 CPUtime=1797.48
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 56127 0 0 0 179677 71 0 0 25 0 1 0 198079180 113778688 22024 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 27778 22024 105 232 0 27543 0
Current children cumulated CPU time (s) 1797.48
Current children cumulated vsize (Kb) 111112

[startup+1799.11 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 19857
/proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=111112 CPUtime=1798.48
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 56264 0 0 0 179777 71 0 0 25 0 1 0 198079180 113778688 22025 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 27778 22025 105 232 0 27543 0
Current children cumulated CPU time (s) 1798.48
Current children cumulated vsize (Kb) 111112

[startup+1800.12 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 19857
/proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=111376 CPUtime=1799.49
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 56400 0 0 0 179878 71 0 0 25 0 1 0 198079180 114049024 22059 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 27844 22059 105 232 0 27609 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (Kb) 111376

[startup+1801.12 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 19857
/proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=111112 CPUtime=1800.49
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 56503 0 0 0 179978 71 0 0 25 0 1 0 198079180 113778688 22026 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 27778 22026 105 232 0 27543 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (Kb) 111112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.13 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 19857
/proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956
[pid=19662] ppid=19660 vsize=111112 CPUtime=1800.5
/proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 56503 0 0 0 179979 71 0 0 25 0 1 0 198079180 113778688 22026 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/19662/statm: 27778 22026 105 232 0 27543 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (Kb) 111112

Sending SIGTERM to -19662
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.15
CPU time (s): 1800.52
CPU user time (s): 1799.79
CPU system time (s): 0.733888
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (Kb): 111376
The end

Launcher Data (download as text)

Begin job on node29 on Sat Jun  3 08:42:36 UTC 2006


FILE ID= 41321-1149324156

PBS_JOBID= 309530

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-greenbea.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node29/41321-1149324156/instance-41321-1149324156.opb 223205670
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-41321-1149324156 -o ROOT/results/node29/solver-41321-1149324156 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node29/41321-1149324156/instance-41321-1149324156.opb 223205670

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  542c2b53b45e753224c38b905fee77fb

RANDOM SEED= 223205670


/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.259
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.259
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:       1828488 kB
Buffers:         19424 kB
Cached:         144824 kB
SwapCached:       3236 kB
Active:          29912 kB
Inactive:       142976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1828488 kB
SwapTotal:     4192956 kB
SwapFree:      4181376 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14716 kB
Slab:            40520 kB
Committed_AS:   337932 kB
PageTables:       1504 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node29 on Sat Jun  3 09:12:37 UTC 2006