Trace number 41250

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.58 1801.16

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos3.opb
MD5SUMe3cb0aa6fa78151ec6baa005375728ca
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1782.83
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved NO
Number of variables42220
Total number of constraints1481
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)17
Number of constraints which are nor clauses,nor cardinality constraints1464
Minimum length of a constraint10
Maximum length of a constraint4780
Number of terms in the objective function 155
Biggest coefficient in the objective function 52429
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524395
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 528063
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/node65/41250-1149253869/instance-41250-1149253869.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/node65/watcher-41250-1149253869 -o ROOT/results/node65/solver-41250-1149253869 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node65/41250-1149253869/instance-41250-1149253869.opb 702051988 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1813536/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=5360 CPUtime=0
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 212 0 0 0 0 0 0 0 18 0 1 0 191056190 5488640 196 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 1340 197 90 232 0 1105 0

[startup+10.0023 s]
/proc/loadavg: 0.93 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1794912/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=20896 CPUtime=9.99
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 4952 0 0 0 994 5 0 0 25 0 1 0 191056190 21397504 4799 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 5224 4799 105 232 0 4989 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 20896

[startup+20.0089 s]
/proc/loadavg: 0.94 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1793312/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=22944 CPUtime=19.99
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 5342 0 0 0 1992 7 0 0 25 0 1 0 191056190 23494656 5189 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 5736 5189 105 232 0 5501 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 22944

[startup+30.0146 s]
/proc/loadavg: 0.95 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1792352/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=22944 CPUtime=29.99
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 5591 0 0 0 2992 7 0 0 25 0 1 0 191056190 23494656 5438 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 5736 5438 105 232 0 5501 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 22944

[startup+40.0203 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1791136/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=27040 CPUtime=40
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 5891 0 0 0 3992 8 0 0 25 0 1 0 191056190 27688960 5738 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 6760 5738 105 232 0 6525 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 27040

[startup+50.0259 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1789856/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=27040 CPUtime=50
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 6219 0 0 0 4992 8 0 0 25 0 1 0 191056190 27688960 6066 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 6760 6066 105 232 0 6525 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 27040

[startup+60.0316 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1789280/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=27040 CPUtime=60
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 6359 0 0 0 5992 8 0 0 25 0 1 0 191056190 27688960 6206 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 6760 6206 105 232 0 6525 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 27040

[startup+70.0372 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1788448/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=27040 CPUtime=70
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 6567 0 0 0 6992 8 0 0 25 0 1 0 191056190 27688960 6414 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 6760 6414 105 232 0 6525 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 27040

[startup+80.0429 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1787424/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=35232 CPUtime=80
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 6814 0 0 0 7992 8 0 0 25 0 1 0 191056190 36077568 6661 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 8808 6661 105 232 0 8573 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 35232

[startup+90.0485 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1786528/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=35232 CPUtime=90
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 7036 0 0 0 8992 8 0 0 25 0 1 0 191056190 36077568 6883 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 8808 6883 105 232 0 8573 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 35232

[startup+100.054 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1785696/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=35232 CPUtime=100.01
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 7245 0 0 0 9992 9 0 0 25 0 1 0 191056190 36077568 7092 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 8808 7092 105 232 0 8573 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 35232

[startup+110.06 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1784928/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=35232 CPUtime=110.01
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 7444 0 0 0 10992 9 0 0 25 0 1 0 191056190 36077568 7291 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 8808 7291 105 232 0 8573 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 35232

[startup+120.065 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1783840/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=35232 CPUtime=120.02
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 7710 0 0 0 11992 10 0 0 25 0 1 0 191056190 36077568 7557 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 8808 7557 105 232 0 8573 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 35232

[startup+130.071 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1783200/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=35232 CPUtime=130.02
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 7864 0 0 0 12992 10 0 0 25 0 1 0 191056190 36077568 7711 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 8808 7711 105 232 0 8573 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 35232

[startup+140.077 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1782624/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=35232 CPUtime=140.02
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 8004 0 0 0 13992 10 0 0 25 0 1 0 191056190 36077568 7851 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 8808 7851 105 232 0 8573 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 35232

[startup+150.082 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1781856/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=35232 CPUtime=150.03
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 8199 0 0 0 14992 11 0 0 25 0 1 0 191056190 36077568 8046 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 8808 8046 105 232 0 8573 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 35232

[startup+160.088 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1781280/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=35232 CPUtime=160.03
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 8336 0 0 0 15992 11 0 0 25 0 1 0 191056190 36077568 8183 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 8808 8183 105 232 0 8573 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 35232

[startup+170.094 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1780640/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=35232 CPUtime=170.03
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 8499 0 0 0 16992 11 0 0 25 0 1 0 191056190 36077568 8346 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 8808 8346 105 232 0 8573 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 35232

[startup+180.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1779872/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=35232 CPUtime=180.03
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 8700 0 0 0 17992 11 0 0 25 0 1 0 191056190 36077568 8547 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549311 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 8808 8547 105 232 0 8573 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 35232

[startup+190.107 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1779232/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=51616 CPUtime=190.03
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 8846 0 0 0 18992 11 0 0 25 0 1 0 191056190 52854784 8693 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551312 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 12904 8693 105 232 0 12669 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 51616

[startup+200.114 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1778592/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=51616 CPUtime=200.04
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 9012 0 0 0 19993 11 0 0 25 0 1 0 191056190 52854784 8859 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 12904 8859 105 232 0 12669 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 51616

[startup+210.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26371
/proc/meminfo: memFree=1778016/2055920 swapFree=4181844/4192956

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

/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31649 0 0 0 178106 39 0 0 25 0 1 0 191056190 160849920 31281 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 39270 31281 105 232 0 39035 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (Kb) 157080

[startup+1783.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26373
/proc/meminfo: memFree=1688224/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=157080 CPUtime=1782.45
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31654 0 0 0 178206 39 0 0 25 0 1 0 191056190 160849920 31286 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549251 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 39270 31286 105 232 0 39035 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (Kb) 157080

[startup+1784.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26373
/proc/meminfo: memFree=1688224/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=157080 CPUtime=1783.46
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31662 0 0 0 178307 39 0 0 25 0 1 0 191056190 160849920 31294 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 39270 31294 105 232 0 39035 0
Current children cumulated CPU time (s) 1783.46
Current children cumulated vsize (Kb) 157080

[startup+1785.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26373
/proc/meminfo: memFree=1688160/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=157080 CPUtime=1784.46
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31669 0 0 0 178407 39 0 0 25 0 1 0 191056190 160849920 31301 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 39270 31301 105 232 0 39035 0
Current children cumulated CPU time (s) 1784.46
Current children cumulated vsize (Kb) 157080

[startup+1786.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26373
/proc/meminfo: memFree=1688096/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=157212 CPUtime=1785.47
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31686 0 0 0 178508 39 0 0 25 0 1 0 191056190 160985088 31318 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 39303 31318 105 232 0 39068 0
Current children cumulated CPU time (s) 1785.47
Current children cumulated vsize (Kb) 157212

[startup+1787.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26373
/proc/meminfo: memFree=1688096/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=157212 CPUtime=1786.47
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31692 0 0 0 178608 39 0 0 25 0 1 0 191056190 160985088 31324 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 39303 31324 105 232 0 39068 0
Current children cumulated CPU time (s) 1786.47
Current children cumulated vsize (Kb) 157212

[startup+1788.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26373
/proc/meminfo: memFree=1688032/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=157212 CPUtime=1787.48
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31699 0 0 0 178709 39 0 0 25 0 1 0 191056190 160985088 31331 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 39303 31331 105 232 0 39068 0
Current children cumulated CPU time (s) 1787.48
Current children cumulated vsize (Kb) 157212

[startup+1789.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26373
/proc/meminfo: memFree=1688032/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=157212 CPUtime=1788.48
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31707 0 0 0 178809 39 0 0 25 0 1 0 191056190 160985088 31339 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 39303 31339 105 232 0 39068 0
Current children cumulated CPU time (s) 1788.48
Current children cumulated vsize (Kb) 157212

[startup+1790.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26373
/proc/meminfo: memFree=1687968/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=157212 CPUtime=1789.48
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31713 0 0 0 178909 39 0 0 25 0 1 0 191056190 160985088 31345 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 39303 31345 105 232 0 39068 0
Current children cumulated CPU time (s) 1789.48
Current children cumulated vsize (Kb) 157212

[startup+1791.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26373
/proc/meminfo: memFree=1687968/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=157212 CPUtime=1790.49
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31720 0 0 0 179010 39 0 0 25 0 1 0 191056190 160985088 31352 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 39303 31352 105 232 0 39068 0
Current children cumulated CPU time (s) 1790.49
Current children cumulated vsize (Kb) 157212

[startup+1792.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26373
/proc/meminfo: memFree=1687904/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=157212 CPUtime=1791.49
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31729 0 0 0 179110 39 0 0 25 0 1 0 191056190 160985088 31361 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 39303 31361 105 232 0 39068 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (Kb) 157212

[startup+1793.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26373
/proc/meminfo: memFree=1687776/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=157212 CPUtime=1792.51
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31762 0 0 0 179211 40 0 0 25 0 1 0 191056190 160985088 31394 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 39303 31394 105 232 0 39068 0
Current children cumulated CPU time (s) 1792.51
Current children cumulated vsize (Kb) 157212

[startup+1794.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26373
/proc/meminfo: memFree=1687712/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=157212 CPUtime=1793.51
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31780 0 0 0 179311 40 0 0 25 0 1 0 191056190 160985088 31412 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 39303 31412 105 232 0 39068 0
Current children cumulated CPU time (s) 1793.51
Current children cumulated vsize (Kb) 157212

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26373
/proc/meminfo: memFree=1687648/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=157212 CPUtime=1794.52
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31794 0 0 0 179412 40 0 0 25 0 1 0 191056190 160985088 31426 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 39303 31426 105 232 0 39068 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (Kb) 157212

[startup+1796.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26373
/proc/meminfo: memFree=1687584/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=157212 CPUtime=1795.52
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31804 0 0 0 179512 40 0 0 25 0 1 0 191056190 160985088 31436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 39303 31436 105 232 0 39068 0
Current children cumulated CPU time (s) 1795.52
Current children cumulated vsize (Kb) 157212

[startup+1797.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26373
/proc/meminfo: memFree=1687584/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=157212 CPUtime=1796.52
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31812 0 0 0 179612 40 0 0 25 0 1 0 191056190 160985088 31444 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 39303 31444 105 232 0 39068 0
Current children cumulated CPU time (s) 1796.52
Current children cumulated vsize (Kb) 157212

[startup+1798.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26373
/proc/meminfo: memFree=1687520/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=157212 CPUtime=1797.53
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31819 0 0 0 179713 40 0 0 25 0 1 0 191056190 160985088 31451 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 39303 31451 105 232 0 39068 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (Kb) 157212

[startup+1799.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26373
/proc/meminfo: memFree=1687520/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=157212 CPUtime=1798.53
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31828 0 0 0 179813 40 0 0 25 0 1 0 191056190 160985088 31460 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 39303 31460 105 232 0 39068 0
Current children cumulated CPU time (s) 1798.53
Current children cumulated vsize (Kb) 157212

[startup+1800.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26373
/proc/meminfo: memFree=1687520/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=157212 CPUtime=1799.54
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31833 0 0 0 179914 40 0 0 25 0 1 0 191056190 160985088 31465 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551260 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 39303 31465 105 232 0 39068 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (Kb) 157212

[startup+1801.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26373
/proc/meminfo: memFree=1687456/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=157212 CPUtime=1800.54
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31841 0 0 0 180014 40 0 0 25 0 1 0 191056190 160985088 31473 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 39303 31473 105 232 0 39068 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (Kb) 157212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26373
/proc/meminfo: memFree=1687456/2055920 swapFree=4181844/4192956
[pid=26371] ppid=26369 vsize=157212 CPUtime=1800.55
/proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31841 0 0 0 180015 40 0 0 25 0 1 0 191056190 160985088 31473 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26371/statm: 39303 31473 105 232 0 39068 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (Kb) 157212

Sending SIGTERM to -26371
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.16
CPU time (s): 1800.58
CPU user time (s): 1800.15
CPU system time (s): 0.422935
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (Kb): 157212
The end

Launcher Data (download as text)

Begin job on node65 on Fri Jun  2 13:11:09 UTC 2006


FILE ID= 41250-1149253869

PBS_JOBID= 298267

BENCH NAME= ROOT/tmp/node65/41250-1149253869/instance-41250-1149253869.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node65/41250-1149253869/instance-41250-1149253869.opb 702051988
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node65/watcher-41250-1149253869 -o ROOT/results/node65/solver-41250-1149253869 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node65/41250-1149253869/instance-41250-1149253869.opb 702051988

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  e3cb0aa6fa78151ec6baa005375728ca

RANDOM SEED= 702051988


/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.283
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.283
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:       1813744 kB
Buffers:         17800 kB
Cached:         156812 kB
SwapCached:       2800 kB
Active:          59016 kB
Inactive:       124324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1813744 kB
SwapTotal:     4192956 kB
SwapFree:      4181844 kB
Dirty:             144 kB
Writeback:           0 kB
Mapped:          14748 kB
Slab:            44792 kB
Committed_AS:   237256 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node65 on Fri Jun  2 13:41:10 UTC 2006