Trace number 41894

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.1LOPT12 574.582 574.737

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g7x7.opb
MD5SUMcb84e2b94add4387530e3674f52279cd
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark0.012997
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved YES
Number of variables49
Total number of constraints49
Number of constraints which are clauses49
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 49
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 49
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 49
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node47/41894-1149287447/instance-41894-1149287447.opb ......
0.00	c done parsing opb.
0.00	o 49
0.00	o 48
0.00	o 47
0.00	o 46
0.00	o 45
0.00	o 44
0.00	o 43
0.00	o 42
0.00	o 41
0.00	o 40
0.00	o 39
0.00	o 21
0.00	o 20
0.00	o 19
0.00	o 18
0.02	o 17
0.02	o 16
0.02	o 15
0.02	o 14
0.45	o 13
0.60	o 12
574.72	o 12
574.73	s OPTIMUM FOUND
574.73	c Total Run Time					574.574
574.73	v -x1 -x10 x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 x2 -x20 x21 -x22 -x23 x24 -x25 x26 -x27 -x28 x29 -x3 -x30 -x31 -x32 -x33 -x34
574.73	v x35 -x36 -x37 -x38 x39 -x4 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 x48 -x49 -x5 x6 -x7 -x8 -x9

Verifier Data (download as text)

OK	12

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/node47/watcher-41894-1149287447 -o ROOT/results/node47/solver-41894-1149287447 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node47/41894-1149287447/instance-41894-1149287447.opb 458378365 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.47 0.86 0.89 3/64 19652
/proc/meminfo: memFree=1659408/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=1368 CPUtime=0
/proc/19652/stat : 19652 (PBS4L) D 19650 19652 19606 0 -1 4194304 111 0 0 0 0 0 0 0 18 0 1 0 160673256 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135137645 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/19652/statm: 342 95 84 232 0 107 0

[startup+10.0026 s]
/proc/loadavg: 0.55 0.86 0.89 2/64 19652
/proc/meminfo: memFree=1654416/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=8032 CPUtime=9.99
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 1662 0 0 0 994 5 0 0 25 0 1 0 160673256 8224768 1306 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 2008 1306 107 232 0 1773 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 8032

[startup+20.0087 s]
/proc/loadavg: 0.62 0.87 0.89 2/64 19652
/proc/meminfo: memFree=1652432/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=8744 CPUtime=19.99
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 2195 0 0 0 1990 9 0 0 25 0 1 0 160673256 8953856 1839 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 2186 1839 107 232 0 1951 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 8744

[startup+30.0158 s]
/proc/loadavg: 0.68 0.87 0.89 2/64 19652
/proc/meminfo: memFree=1650576/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=13416 CPUtime=30
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 2663 0 0 0 2987 13 0 0 25 0 1 0 160673256 13737984 2307 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558856 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 3354 2307 107 232 0 3119 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 13416

[startup+40.0218 s]
/proc/loadavg: 0.73 0.87 0.89 2/64 19652
/proc/meminfo: memFree=1648976/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=15612 CPUtime=40
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 3457 0 0 0 3985 15 0 0 25 0 1 0 160673256 15986688 2716 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 3903 2716 107 232 0 3668 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 15612

[startup+50.0279 s]
/proc/loadavg: 0.77 0.88 0.89 2/64 19652
/proc/meminfo: memFree=1647760/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=16272 CPUtime=50
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 3759 0 0 0 4983 17 0 0 25 0 1 0 160673256 16662528 3018 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 4068 3018 107 232 0 3833 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 16272

[startup+60.034 s]
/proc/loadavg: 0.80 0.88 0.89 2/64 19652
/proc/meminfo: memFree=1646480/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=16932 CPUtime=60.01
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 4074 0 0 0 5981 20 0 0 25 0 1 0 160673256 17338368 3333 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 4233 3333 107 232 0 3998 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 16932

[startup+70.0401 s]
/proc/loadavg: 0.83 0.89 0.90 2/64 19652
/proc/meminfo: memFree=1645840/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=17196 CPUtime=70.02
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 4225 0 0 0 6979 23 0 0 25 0 1 0 160673256 17608704 3484 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 4299 3484 107 232 0 4064 0
Current children cumulated CPU time (s) 70.02
Current children cumulated vsize (Kb) 17196

[startup+80.0462 s]
/proc/loadavg: 0.86 0.89 0.90 2/64 19652
/proc/meminfo: memFree=1644752/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=17460 CPUtime=80.02
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 4503 0 0 0 7977 25 0 0 25 0 1 0 160673256 17879040 3762 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558872 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 4365 3762 107 232 0 4130 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 17460

[startup+90.0523 s]
/proc/loadavg: 0.88 0.89 0.90 2/64 19652
/proc/meminfo: memFree=1643728/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=25652 CPUtime=90.01
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 4754 0 0 0 8974 27 0 0 25 0 1 0 160673256 26267648 4013 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 6413 4013 107 232 0 6178 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 25652

[startup+100.058 s]
/proc/loadavg: 0.90 0.89 0.90 2/64 19652
/proc/meminfo: memFree=1643216/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=25792 CPUtime=100.02
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 4905 0 0 0 9973 29 0 0 25 0 1 0 160673256 26411008 4164 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558856 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 6448 4164 107 232 0 6213 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 25792

[startup+110.064 s]
/proc/loadavg: 0.91 0.90 0.90 2/64 19652
/proc/meminfo: memFree=1642448/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=25792 CPUtime=110.03
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 5083 0 0 0 10972 31 0 0 25 0 1 0 160673256 26411008 4342 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 6448 4342 107 232 0 6213 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 25792

[startup+120.07 s]
/proc/loadavg: 0.93 0.90 0.90 2/64 19652
/proc/meminfo: memFree=1641488/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=26084 CPUtime=120.03
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 5326 0 0 0 11971 32 0 0 25 0 1 0 160673256 26710016 4585 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 6521 4585 107 232 0 6286 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 26084

[startup+130.077 s]
/proc/loadavg: 0.94 0.90 0.90 2/64 19652
/proc/meminfo: memFree=1640528/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=29544 CPUtime=130.03
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 6399 0 0 0 12970 33 0 0 25 0 1 0 160673256 30253056 4823 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 7386 4823 107 232 0 7151 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 29544

[startup+140.083 s]
/proc/loadavg: 0.95 0.91 0.90 2/64 19652
/proc/meminfo: memFree=1639504/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=30236 CPUtime=140.03
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 6755 0 0 0 13968 35 0 0 25 0 1 0 160673256 30961664 5047 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 7559 5047 107 232 0 7324 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 30236

[startup+150.089 s]
/proc/loadavg: 0.95 0.91 0.90 2/64 19652
/proc/meminfo: memFree=1638864/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=31056 CPUtime=150.04
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 7075 0 0 0 14967 37 0 0 25 0 1 0 160673256 31801344 5202 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558872 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 7764 5202 107 232 0 7529 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 31056

[startup+160.095 s]
/proc/loadavg: 0.96 0.91 0.90 2/64 19652
/proc/meminfo: memFree=1638608/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=31188 CPUtime=160.04
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 7177 0 0 0 15966 38 0 0 25 0 1 0 160673256 31936512 5304 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 7797 5304 107 232 0 7562 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 31188

[startup+170.101 s]
/proc/loadavg: 0.97 0.91 0.91 2/64 19652
/proc/meminfo: memFree=1637840/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=31448 CPUtime=170.05
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 7373 0 0 0 16965 40 0 0 25 0 1 0 160673256 32202752 5500 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550377 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 7862 5500 107 232 0 7627 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 31448

[startup+180.107 s]
/proc/loadavg: 0.97 0.92 0.91 2/64 19652
/proc/meminfo: memFree=1637136/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=31448 CPUtime=180.05
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 7543 0 0 0 17964 41 0 0 25 0 1 0 160673256 32202752 5670 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 7862 5670 107 232 0 7627 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 31448

[startup+190.113 s]
/proc/loadavg: 0.98 0.92 0.91 2/64 19652
/proc/meminfo: memFree=1636240/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=31964 CPUtime=190.06
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 7763 0 0 0 18963 43 0 0 25 0 1 0 160673256 32731136 5890 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 7991 5890 107 232 0 7756 0
Current children cumulated CPU time (s) 190.06
Current children cumulated vsize (Kb) 31964

[startup+200.119 s]
/proc/loadavg: 0.98 0.92 0.91 2/64 19652
/proc/meminfo: memFree=1635664/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=32112 CPUtime=200.06
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 7901 0 0 0 19962 44 0 0 25 0 1 0 160673256 32882688 6028 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 8028 6028 107 232 0 7793 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 32112

[startup+210.126 s]
/proc/loadavg: 0.98 0.92 0.91 2/64 19652
/proc/meminfo: memFree=1634640/2055920 swapFree=4183744/4192956

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

/proc/19652/statm: 12831 8458 107 232 0 12596 0
Current children cumulated CPU time (s) 360.11
Current children cumulated vsize (Kb) 51324

[startup+370.225 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 19652
/proc/meminfo: memFree=1625752/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=51324 CPUtime=370.12
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 10599 0 0 0 36944 68 0 0 25 0 1 0 160673256 52555776 8495 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 12831 8495 107 232 0 12596 0
Current children cumulated CPU time (s) 370.12
Current children cumulated vsize (Kb) 51324

[startup+380.231 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 19652
/proc/meminfo: memFree=1625624/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=51324 CPUtime=380.13
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 10629 0 0 0 37944 69 0 0 25 0 1 0 160673256 52555776 8525 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 12831 8525 107 232 0 12596 0
Current children cumulated CPU time (s) 380.13
Current children cumulated vsize (Kb) 51324

[startup+390.237 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 19652
/proc/meminfo: memFree=1625240/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=51596 CPUtime=390.13
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 10724 0 0 0 38943 70 0 0 25 0 1 0 160673256 52834304 8620 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 12899 8620 107 232 0 12664 0
Current children cumulated CPU time (s) 390.13
Current children cumulated vsize (Kb) 51596

[startup+400.243 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 19652
/proc/meminfo: memFree=1625048/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=51744 CPUtime=400.13
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 10778 0 0 0 39942 71 0 0 25 0 1 0 160673256 52985856 8674 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 12936 8674 107 232 0 12701 0
Current children cumulated CPU time (s) 400.13
Current children cumulated vsize (Kb) 51744

[startup+410.249 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 19652
/proc/meminfo: memFree=1624664/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=58048 CPUtime=410.13
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 12391 0 0 0 40940 73 0 0 25 0 1 0 160673256 59441152 8750 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 14512 8750 107 232 0 14277 0
Current children cumulated CPU time (s) 410.13
Current children cumulated vsize (Kb) 58048

[startup+420.255 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 19652
/proc/meminfo: memFree=1624536/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=58048 CPUtime=420.13
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 12433 0 0 0 41939 74 0 0 25 0 1 0 160673256 59441152 8792 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 14512 8792 107 232 0 14277 0
Current children cumulated CPU time (s) 420.13
Current children cumulated vsize (Kb) 58048

[startup+430.261 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 19652
/proc/meminfo: memFree=1624280/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=58472 CPUtime=430.14
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 12542 0 0 0 42939 75 0 0 25 0 1 0 160673256 59875328 8836 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 14618 8836 107 232 0 14383 0
Current children cumulated CPU time (s) 430.14
Current children cumulated vsize (Kb) 58472

[startup+440.267 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 19652
/proc/meminfo: memFree=1624024/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=58984 CPUtime=440.14
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 12751 0 0 0 43937 77 0 0 25 0 1 0 160673256 60399616 8915 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 14746 8915 107 232 0 14511 0
Current children cumulated CPU time (s) 440.14
Current children cumulated vsize (Kb) 58984

[startup+450.273 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 19652
/proc/meminfo: memFree=1623384/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=59884 CPUtime=450.15
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 13071 0 0 0 44936 79 0 0 25 0 1 0 160673256 61321216 9040 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 14971 9040 107 232 0 14736 0
Current children cumulated CPU time (s) 450.15
Current children cumulated vsize (Kb) 59884

[startup+460.278 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 19652
/proc/meminfo: memFree=1622744/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=60196 CPUtime=460.14
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 13259 0 0 0 45934 80 0 0 25 0 1 0 160673256 61640704 9228 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 15049 9228 107 232 0 14814 0
Current children cumulated CPU time (s) 460.14
Current children cumulated vsize (Kb) 60196

[startup+470.284 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 19652
/proc/meminfo: memFree=1622552/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=60388 CPUtime=470.16
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 13307 0 0 0 46933 83 0 0 25 0 1 0 160673256 61837312 9276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 15097 9276 107 232 0 14862 0
Current children cumulated CPU time (s) 470.16
Current children cumulated vsize (Kb) 60388

[startup+480.291 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 19652
/proc/meminfo: memFree=1622296/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=60644 CPUtime=480.15
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 13415 0 0 0 47931 84 0 0 25 0 1 0 160673256 62099456 9319 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558875 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 15161 9319 107 232 0 14926 0
Current children cumulated CPU time (s) 480.15
Current children cumulated vsize (Kb) 60644

[startup+490.297 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 19652
/proc/meminfo: memFree=1622104/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=60644 CPUtime=490.16
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 13494 0 0 0 48931 85 0 0 25 0 1 0 160673256 62099456 9398 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 15161 9398 107 232 0 14926 0
Current children cumulated CPU time (s) 490.16
Current children cumulated vsize (Kb) 60644

[startup+500.303 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 19652
/proc/meminfo: memFree=1621528/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=60900 CPUtime=500.16
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 13691 0 0 0 49929 87 0 0 25 0 1 0 160673256 62361600 9530 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 15225 9530 107 232 0 14990 0
Current children cumulated CPU time (s) 500.16
Current children cumulated vsize (Kb) 60900

[startup+510.31 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 19652
/proc/meminfo: memFree=1621080/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=60900 CPUtime=510.17
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 13805 0 0 0 50928 89 0 0 25 0 1 0 160673256 62361600 9644 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 15225 9644 107 232 0 14990 0
Current children cumulated CPU time (s) 510.17
Current children cumulated vsize (Kb) 60900

[startup+520.315 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 19652
/proc/meminfo: memFree=1619992/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=61920 CPUtime=520.17
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 14117 0 0 0 51927 90 0 0 25 0 1 0 160673256 63406080 9923 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 15480 9923 107 232 0 15245 0
Current children cumulated CPU time (s) 520.17
Current children cumulated vsize (Kb) 61920

[startup+530.321 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 19652
/proc/meminfo: memFree=1619736/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=61920 CPUtime=530.17
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 14179 0 0 0 52926 91 0 0 25 0 1 0 160673256 63406080 9985 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 15480 9985 107 232 0 15245 0
Current children cumulated CPU time (s) 530.17
Current children cumulated vsize (Kb) 61920

[startup+540.327 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 19652
/proc/meminfo: memFree=1619608/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=61920 CPUtime=540.18
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 14211 0 0 0 53925 93 0 0 25 0 1 0 160673256 63406080 10017 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 15480 10017 107 232 0 15245 0
Current children cumulated CPU time (s) 540.18
Current children cumulated vsize (Kb) 61920

[startup+550.333 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 19652
/proc/meminfo: memFree=1618712/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=62580 CPUtime=550.18
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 14435 0 0 0 54924 94 0 0 25 0 1 0 160673256 64081920 10241 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558828 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 15645 10241 107 232 0 15410 0
Current children cumulated CPU time (s) 550.18
Current children cumulated vsize (Kb) 62580

[startup+560.339 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19652
/proc/meminfo: memFree=1618584/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=62580 CPUtime=560.18
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 14467 0 0 0 55923 95 0 0 25 0 1 0 160673256 64081920 10273 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 15645 10273 107 232 0 15410 0
Current children cumulated CPU time (s) 560.18
Current children cumulated vsize (Kb) 62580

[startup+570.345 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19652
/proc/meminfo: memFree=1618136/2055920 swapFree=4183744/4192956
[pid=19652] ppid=19650 vsize=63004 CPUtime=570.18
/proc/19652/stat : 19652 (PBS4L) R 19650 19652 19606 0 -1 4194304 14568 0 0 0 56921 97 0 0 25 0 1 0 160673256 64516096 10374 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19652/statm: 15751 10374 107 232 0 15516 0
Current children cumulated CPU time (s) 570.18
Current children cumulated vsize (Kb) 63004

Child status: 0
Real time (s): 574.737
CPU time (s): 574.582
CPU user time (s): 573.591
CPU system time (s): 0.990849
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (Kb): 63004

Launcher Data (download as text)

Begin job on node47 on Fri Jun  2 22:30:47 UTC 2006


FILE ID= 41894-1149287447

PBS_JOBID= 306644

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g7x7.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node47/41894-1149287447/instance-41894-1149287447.opb 458378365
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-41894-1149287447 -o ROOT/results/node47/solver-41894-1149287447 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node47/41894-1149287447/instance-41894-1149287447.opb 458378365

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  cb84e2b94add4387530e3674f52279cd

RANDOM SEED= 458378365


/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:       1659616 kB
Buffers:         21848 kB
Cached:         308748 kB
SwapCached:       3352 kB
Active:          46344 kB
Inactive:       293096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1659616 kB
SwapTotal:     4192956 kB
SwapFree:      4183744 kB
Dirty:             316 kB
Writeback:           0 kB
Mapped:          15032 kB
Slab:            42908 kB
Committed_AS:   274820 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node47 on Fri Jun  2 22:40:22 UTC 2006