Trace number 41360

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.74 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-sc50a.opb
MD5SUM2dbafacadc353eeed0e4ce2357d3a727
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-15
Best CPU time to get the best result obtained on this benchmark1800.66
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -17
Optimality of the best value was proved NO
Number of variables1440
Total number of constraints49
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 constraints49
Minimum length of a constraint60
Maximum length of a constraint120
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
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 524371
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/41360-1149333917/instance-41360-1149333917.opb ......
804.59	c done parsing opb.
804.59	o 524317

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1828608/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=1536 CPUtime=0
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 199055066 1572864 178 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 384 178 99 232 0 149 0

[startup+10.003 s]
/proc/loadavg: 0.93 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1819712/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=11876 CPUtime=10
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 2533 0 0 0 992 8 0 0 25 0 1 0 199055066 12161024 2329 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 2969 2329 105 232 0 2734 0
Current children cumulated CPU time (s) 10
Current children cumulated vsize (Kb) 11876

[startup+20.0089 s]
/proc/loadavg: 0.94 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1815872/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=20900 CPUtime=20
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 3517 0 0 0 1987 13 0 0 25 0 1 0 199055066 21401600 3313 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 5225 3313 105 232 0 4990 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 20900

[startup+30.0148 s]
/proc/loadavg: 0.95 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1813184/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=21924 CPUtime=30
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 4372 0 0 0 2983 17 0 0 25 0 1 0 199055066 22450176 3975 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 5481 3975 105 232 0 5246 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 21924

[startup+40.0207 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1811264/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=22372 CPUtime=40
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 4866 0 0 0 3980 20 0 0 25 0 1 0 199055066 22908928 4469 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558878 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 5593 4469 105 232 0 5358 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 22372

[startup+50.0266 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1808064/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=22820 CPUtime=50.01
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 5672 0 0 0 4977 24 0 0 25 0 1 0 199055066 23367680 5275 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 5705 5275 105 232 0 5470 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 22820

[startup+60.0326 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1806912/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=39500 CPUtime=60.01
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 5949 0 0 0 5975 26 0 0 25 0 1 0 199055066 40448000 5552 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 9875 5552 105 232 0 9640 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 39500

[startup+70.0395 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1805568/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=39660 CPUtime=70.01
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 6288 0 0 0 6973 28 0 0 25 0 1 0 199055066 40611840 5891 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 9915 5891 105 232 0 9680 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 39660

[startup+80.0454 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1803776/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=39956 CPUtime=80.02
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 6730 0 0 0 7971 31 0 0 25 0 1 0 199055066 40914944 6333 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549039 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 9989 6334 105 232 0 9754 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 39956

[startup+90.0513 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1801920/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=41976 CPUtime=90.02
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 7585 0 0 0 8969 33 0 0 25 0 1 0 199055066 42983424 6803 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 10494 6803 105 232 0 10259 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 41976

[startup+100.057 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1801472/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=42444 CPUtime=100.03
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 7710 0 0 0 9967 36 0 0 25 0 1 0 199055066 43462656 6928 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 10611 6928 105 232 0 10376 0
Current children cumulated CPU time (s) 100.03
Current children cumulated vsize (Kb) 42444

[startup+110.063 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1800704/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=42596 CPUtime=110.03
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 7897 0 0 0 10965 38 0 0 25 0 1 0 199055066 43618304 7115 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 10649 7115 105 232 0 10414 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 42596

[startup+120.069 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1799424/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=42728 CPUtime=120.03
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 8215 0 0 0 11963 40 0 0 25 0 1 0 199055066 43753472 7433 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 10682 7433 105 232 0 10447 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 42728

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1797696/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=43008 CPUtime=130.03
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 8647 0 0 0 12962 41 0 0 25 0 1 0 199055066 44040192 7865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 10752 7865 105 232 0 10517 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 43008

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1796480/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=43344 CPUtime=140.04
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 8944 0 0 0 13959 45 0 0 25 0 1 0 199055066 44384256 8162 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 10836 8162 105 232 0 10601 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 43344

[startup+150.087 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1795520/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=43504 CPUtime=150.05
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 9183 0 0 0 14958 47 0 0 25 0 1 0 199055066 44548096 8401 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 10876 8401 105 232 0 10641 0
Current children cumulated CPU time (s) 150.05
Current children cumulated vsize (Kb) 43504

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1793984/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=43800 CPUtime=160.04
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 9570 0 0 0 15955 49 0 0 25 0 1 0 199055066 44851200 8788 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 10950 8788 105 232 0 10715 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 43800

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1792000/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=44296 CPUtime=170.05
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 10072 0 0 0 16953 52 0 0 25 0 1 0 199055066 45359104 9290 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 11074 9290 105 232 0 10839 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 44296

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1791360/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=44484 CPUtime=180.05
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 10227 0 0 0 17952 53 0 0 25 0 1 0 199055066 45551616 9445 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 11121 9445 105 232 0 10886 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 44484

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1791168/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=44484 CPUtime=190.06
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 10275 0 0 0 18950 56 0 0 25 0 1 0 199055066 45551616 9493 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 11121 9493 105 232 0 10886 0
Current children cumulated CPU time (s) 190.06
Current children cumulated vsize (Kb) 44484

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1791040/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=44484 CPUtime=200.06
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 10299 0 0 0 19948 58 0 0 25 0 1 0 199055066 45551616 9517 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 11121 9517 105 232 0 10886 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 44484

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20337
/proc/meminfo: memFree=1790848/2055920 swapFree=4181452/4192956

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

/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26017 0 0 0 177705 457 0 0 25 0 1 0 199055066 118759424 19856 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 28994 19856 108 232 0 28759 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (Kb) 115976

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1749256/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=115976 CPUtime=1782.63
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26018 0 0 0 177806 457 0 0 25 0 1 0 199055066 118759424 19857 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 28994 19857 108 232 0 28759 0
Current children cumulated CPU time (s) 1782.63
Current children cumulated vsize (Kb) 115976

[startup+1784.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1749256/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=115976 CPUtime=1783.63
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26019 0 0 0 177906 457 0 0 25 0 1 0 199055066 118759424 19858 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 28994 19858 108 232 0 28759 0
Current children cumulated CPU time (s) 1783.63
Current children cumulated vsize (Kb) 115976

[startup+1785.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1749256/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=115976 CPUtime=1784.63
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26023 0 0 0 178006 457 0 0 25 0 1 0 199055066 118759424 19862 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 28994 19862 108 232 0 28759 0
Current children cumulated CPU time (s) 1784.63
Current children cumulated vsize (Kb) 115976

[startup+1786.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1749256/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=115976 CPUtime=1785.64
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26025 0 0 0 178107 457 0 0 25 0 1 0 199055066 118759424 19864 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 28994 19864 108 232 0 28759 0
Current children cumulated CPU time (s) 1785.64
Current children cumulated vsize (Kb) 115976

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1749192/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=115976 CPUtime=1786.64
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26026 0 0 0 178207 457 0 0 25 0 1 0 199055066 118759424 19865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559731 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 28994 19865 108 232 0 28759 0
Current children cumulated CPU time (s) 1786.64
Current children cumulated vsize (Kb) 115976

[startup+1788.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1749192/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=115976 CPUtime=1787.64
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26026 0 0 0 178307 457 0 0 25 0 1 0 199055066 118759424 19865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 28994 19865 108 232 0 28759 0
Current children cumulated CPU time (s) 1787.64
Current children cumulated vsize (Kb) 115976

[startup+1789.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1749192/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=115976 CPUtime=1788.66
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26028 0 0 0 178408 458 0 0 25 0 1 0 199055066 118759424 19867 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 28994 19867 108 232 0 28759 0
Current children cumulated CPU time (s) 1788.66
Current children cumulated vsize (Kb) 115976

[startup+1790.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1749192/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=115976 CPUtime=1789.66
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26028 0 0 0 178508 458 0 0 25 0 1 0 199055066 118759424 19867 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 28994 19867 108 232 0 28759 0
Current children cumulated CPU time (s) 1789.66
Current children cumulated vsize (Kb) 115976

[startup+1791.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1749192/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=115976 CPUtime=1790.67
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26029 0 0 0 178609 458 0 0 25 0 1 0 199055066 118759424 19868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 28994 19868 108 232 0 28759 0
Current children cumulated CPU time (s) 1790.67
Current children cumulated vsize (Kb) 115976

[startup+1792.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1749192/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=115976 CPUtime=1791.67
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26030 0 0 0 178709 458 0 0 25 0 1 0 199055066 118759424 19869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558835 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 28994 19869 108 232 0 28759 0
Current children cumulated CPU time (s) 1791.67
Current children cumulated vsize (Kb) 115976

[startup+1793.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1749192/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=115976 CPUtime=1792.67
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26031 0 0 0 178809 458 0 0 25 0 1 0 199055066 118759424 19870 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 28994 19870 108 232 0 28759 0
Current children cumulated CPU time (s) 1792.67
Current children cumulated vsize (Kb) 115976

[startup+1794.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1749128/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=115976 CPUtime=1793.68
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26046 0 0 0 178910 458 0 0 25 0 1 0 199055066 118759424 19885 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 28994 19885 108 232 0 28759 0
Current children cumulated CPU time (s) 1793.68
Current children cumulated vsize (Kb) 115976

[startup+1795.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1749128/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=115976 CPUtime=1794.68
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26046 0 0 0 179010 458 0 0 25 0 1 0 199055066 118759424 19885 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 28994 19885 108 232 0 28759 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (Kb) 115976

[startup+1796.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1749128/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=115976 CPUtime=1795.69
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26047 0 0 0 179111 458 0 0 25 0 1 0 199055066 118759424 19886 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 28994 19886 108 232 0 28759 0
Current children cumulated CPU time (s) 1795.69
Current children cumulated vsize (Kb) 115976

[startup+1797.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1749128/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=115976 CPUtime=1796.69
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26048 0 0 0 179211 458 0 0 25 0 1 0 199055066 118759424 19887 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 28994 19887 108 232 0 28759 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (Kb) 115976

[startup+1798.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1749128/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=115976 CPUtime=1797.7
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26053 0 0 0 179312 458 0 0 25 0 1 0 199055066 118759424 19892 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 28994 19892 108 232 0 28759 0
Current children cumulated CPU time (s) 1797.7
Current children cumulated vsize (Kb) 115976

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1749128/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=115976 CPUtime=1798.7
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26053 0 0 0 179412 458 0 0 25 0 1 0 199055066 118759424 19892 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 28994 19892 108 232 0 28759 0
Current children cumulated CPU time (s) 1798.7
Current children cumulated vsize (Kb) 115976

[startup+1800.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1749128/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=115976 CPUtime=1799.7
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26055 0 0 0 179512 458 0 0 25 0 1 0 199055066 118759424 19894 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 28994 19894 108 232 0 28759 0
Current children cumulated CPU time (s) 1799.7
Current children cumulated vsize (Kb) 115976

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1749128/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=115976 CPUtime=1800.71
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26057 0 0 0 179613 458 0 0 25 0 1 0 199055066 118759424 19896 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 28994 19896 108 232 0 28759 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (Kb) 115976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 20339
/proc/meminfo: memFree=1749128/2055920 swapFree=4181452/4192956
[pid=20337] ppid=20335 vsize=115976 CPUtime=1800.71
/proc/20337/stat : 20337 (PBS4L) R 20335 20337 20291 0 -1 4194304 26057 0 0 0 179613 458 0 0 25 0 1 0 199055066 118759424 19896 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20337/statm: 28994 19896 108 232 0 28759 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (Kb) 115976

Sending SIGTERM to -20337
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.18
CPU time (s): 1800.74
CPU user time (s): 1796.13
CPU system time (s): 4.6033
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (Kb): 115976
The end

Launcher Data (download as text)

Begin job on node25 on Sat Jun  3 11:25:17 UTC 2006


FILE ID= 41360-1149333917

PBS_JOBID= 310042

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

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  2dbafacadc353eeed0e4ce2357d3a727

RANDOM SEED= 271161287


/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:       1828880 kB
Buffers:         13308 kB
Cached:         157624 kB
SwapCached:       3080 kB
Active:          37180 kB
Inactive:       142316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1828880 kB
SwapTotal:     4192956 kB
SwapFree:      4181452 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14716 kB
Slab:            33600 kB
Committed_AS:   319928 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 11:55:18 UTC 2006