Trace number 41238

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.55 1801.17

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran4x64.opb
MD5SUM094943d5c572e297ea40a22e131cb082
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.183971
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables7936
Total number of constraints324
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 constraints324
Minimum length of a constraint31
Maximum length of a constraint1920
Number of terms in the objective function 7936
Biggest coefficient in the objective function 1873
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 530542
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 530542
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/node82/41238-1149251428/instance-41238-1149251428.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/node82/watcher-41238-1149251428 -o ROOT/results/node82/solver-41238-1149251428 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41238-1149251428/instance-41238-1149251428.opb 721436574 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.88 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1079032/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=2148 CPUtime=0
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 199 0 0 0 0 0 0 0 18 0 1 0 182332074 2199552 184 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 537 186 90 232 0 302 0

[startup+10.0022 s]
/proc/loadavg: 0.89 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1072312/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=9616 CPUtime=9.99
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 1988 0 0 0 998 1 0 0 25 0 1 0 182332074 9846784 1778 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551340 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 2404 1778 105 232 0 2169 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 9616

[startup+20.0081 s]
/proc/loadavg: 0.91 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1071736/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=9880 CPUtime=20
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 2133 0 0 0 1999 1 0 0 25 0 1 0 182332074 10117120 1923 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 2470 1923 105 232 0 2235 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 9880

[startup+30.014 s]
/proc/loadavg: 0.92 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1071608/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=9880 CPUtime=30
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 2197 0 0 0 2999 1 0 0 25 0 1 0 182332074 10117120 1987 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 2470 1987 105 232 0 2235 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 9880

[startup+40.0199 s]
/proc/loadavg: 0.93 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1071224/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=10012 CPUtime=40
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 2295 0 0 0 3998 2 0 0 25 0 1 0 182332074 10252288 2085 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 2503 2085 105 232 0 2268 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 10012

[startup+50.0268 s]
/proc/loadavg: 0.94 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1070776/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=14240 CPUtime=50
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 2404 0 0 0 4998 2 0 0 25 0 1 0 182332074 14581760 2194 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 3560 2194 105 232 0 3325 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 14240

[startup+60.0327 s]
/proc/loadavg: 0.95 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1070264/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=14412 CPUtime=60
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 2539 0 0 0 5998 2 0 0 25 0 1 0 182332074 14757888 2329 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 3603 2329 105 232 0 3368 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 14412

[startup+70.0386 s]
/proc/loadavg: 0.96 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1069816/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=14544 CPUtime=70
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 2640 0 0 0 6998 2 0 0 25 0 1 0 182332074 14893056 2430 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 3636 2430 105 232 0 3401 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 14544

[startup+80.0445 s]
/proc/loadavg: 0.96 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1069496/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=14544 CPUtime=80.01
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 2715 0 0 0 7998 3 0 0 25 0 1 0 182332074 14893056 2505 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 3636 2505 105 232 0 3401 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 14544

[startup+90.0504 s]
/proc/loadavg: 0.97 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1069048/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=14676 CPUtime=90.02
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 2828 0 0 0 8999 3 0 0 25 0 1 0 182332074 15028224 2618 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 3669 2618 105 232 0 3434 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 14676

[startup+100.056 s]
/proc/loadavg: 0.97 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1068728/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=14676 CPUtime=100.02
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 2919 0 0 0 9999 3 0 0 25 0 1 0 182332074 15028224 2709 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 3669 2709 105 232 0 3434 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 14676

[startup+110.062 s]
/proc/loadavg: 0.98 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1068408/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=14808 CPUtime=110.02
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 2993 0 0 0 10999 3 0 0 25 0 1 0 182332074 15163392 2783 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 3702 2783 105 232 0 3467 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 14808

[startup+120.068 s]
/proc/loadavg: 0.98 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1068024/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=15004 CPUtime=120.02
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 3106 0 0 0 11999 3 0 0 25 0 1 0 182332074 15364096 2896 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 3751 2896 105 232 0 3516 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 15004

[startup+130.074 s]
/proc/loadavg: 0.98 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1067640/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=15004 CPUtime=130.02
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 3201 0 0 0 12999 3 0 0 25 0 1 0 182332074 15364096 2991 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 3751 2991 105 232 0 3516 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 15004

[startup+140.08 s]
/proc/loadavg: 0.98 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1067192/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=15136 CPUtime=140.03
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 3308 0 0 0 13999 4 0 0 25 0 1 0 182332074 15499264 3098 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 3784 3098 105 232 0 3549 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 15136

[startup+150.086 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1066808/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=15136 CPUtime=150.03
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 3402 0 0 0 14999 4 0 0 25 0 1 0 182332074 15499264 3192 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 3784 3192 105 232 0 3549 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 15136

[startup+160.092 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1066360/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=15268 CPUtime=160.03
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 3515 0 0 0 15999 4 0 0 25 0 1 0 182332074 15634432 3305 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 3817 3305 105 232 0 3582 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 15268

[startup+170.098 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1065912/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=15268 CPUtime=170.03
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 3627 0 0 0 16999 4 0 0 25 0 1 0 182332074 15634432 3417 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 3817 3417 105 232 0 3582 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 15268

[startup+180.104 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1065400/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=23592 CPUtime=180.03
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 3745 0 0 0 17999 4 0 0 25 0 1 0 182332074 24158208 3535 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 5898 3535 105 232 0 5663 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 23592

[startup+190.109 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1065144/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=23720 CPUtime=190.04
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 3808 0 0 0 18999 5 0 0 25 0 1 0 182332074 24289280 3598 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 5930 3598 105 232 0 5695 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 23720

[startup+200.115 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1065144/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=23720 CPUtime=200.04
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 3810 0 0 0 19999 5 0 0 25 0 1 0 182332074 24289280 3600 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 5930 3600 105 232 0 5695 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 23720

[startup+210.121 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1065144/2055892 swapFree=4087504/4096564

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

/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10809 0 0 0 178112 32 0 0 25 0 1 0 182332074 45826048 10260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 11188 10260 105 232 0 10953 0
Current children cumulated CPU time (s) 1781.44
Current children cumulated vsize (Kb) 44752

[startup+1783.07 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1038200/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=44752 CPUtime=1782.45
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10846 0 0 0 178213 32 0 0 25 0 1 0 182332074 45826048 10297 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552213 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 11188 10297 105 232 0 10953 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (Kb) 44752

[startup+1784.07 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1038200/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=44752 CPUtime=1783.45
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10850 0 0 0 178313 32 0 0 25 0 1 0 182332074 45826048 10301 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549259 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 11188 10301 105 232 0 10953 0
Current children cumulated CPU time (s) 1783.45
Current children cumulated vsize (Kb) 44752

[startup+1785.08 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1038136/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=44752 CPUtime=1784.45
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10872 0 0 0 178413 32 0 0 25 0 1 0 182332074 45826048 10323 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 11188 10323 105 232 0 10953 0
Current children cumulated CPU time (s) 1784.45
Current children cumulated vsize (Kb) 44752

[startup+1786.08 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1038072/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=44752 CPUtime=1785.46
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10882 0 0 0 178514 32 0 0 25 0 1 0 182332074 45826048 10333 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 11188 10333 105 232 0 10953 0
Current children cumulated CPU time (s) 1785.46
Current children cumulated vsize (Kb) 44752

[startup+1787.09 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1038008/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=44752 CPUtime=1786.47
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10893 0 0 0 178614 33 0 0 25 0 1 0 182332074 45826048 10344 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 11188 10344 105 232 0 10953 0
Current children cumulated CPU time (s) 1786.47
Current children cumulated vsize (Kb) 44752

[startup+1788.09 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1038008/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=44752 CPUtime=1787.48
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10900 0 0 0 178715 33 0 0 25 0 1 0 182332074 45826048 10351 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 11188 10351 105 232 0 10953 0
Current children cumulated CPU time (s) 1787.48
Current children cumulated vsize (Kb) 44752

[startup+1789.1 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1038008/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=44752 CPUtime=1788.48
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10906 0 0 0 178815 33 0 0 25 0 1 0 182332074 45826048 10357 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 11188 10357 105 232 0 10953 0
Current children cumulated CPU time (s) 1788.48
Current children cumulated vsize (Kb) 44752

[startup+1790.1 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1037944/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=44752 CPUtime=1789.48
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10910 0 0 0 178915 33 0 0 25 0 1 0 182332074 45826048 10361 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549311 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 11188 10361 105 232 0 10953 0
Current children cumulated CPU time (s) 1789.48
Current children cumulated vsize (Kb) 44752

[startup+1791.11 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1037944/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=44752 CPUtime=1790.49
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10917 0 0 0 179016 33 0 0 25 0 1 0 182332074 45826048 10368 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 11188 10368 105 232 0 10953 0
Current children cumulated CPU time (s) 1790.49
Current children cumulated vsize (Kb) 44752

[startup+1792.11 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1037880/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=44752 CPUtime=1791.49
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10925 0 0 0 179116 33 0 0 25 0 1 0 182332074 45826048 10376 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 11188 10376 105 232 0 10953 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (Kb) 44752

[startup+1793.12 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1037880/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=44752 CPUtime=1792.5
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10935 0 0 0 179217 33 0 0 25 0 1 0 182332074 45826048 10386 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 11188 10386 105 232 0 10953 0
Current children cumulated CPU time (s) 1792.5
Current children cumulated vsize (Kb) 44752

[startup+1794.12 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1037816/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=44752 CPUtime=1793.5
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10943 0 0 0 179317 33 0 0 25 0 1 0 182332074 45826048 10394 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 11188 10394 105 232 0 10953 0
Current children cumulated CPU time (s) 1793.5
Current children cumulated vsize (Kb) 44752

[startup+1795.12 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1037752/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=44752 CPUtime=1794.5
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10955 0 0 0 179417 33 0 0 25 0 1 0 182332074 45826048 10406 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551331 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 11188 10406 105 232 0 10953 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (Kb) 44752

[startup+1796.13 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1037752/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=44752 CPUtime=1795.51
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10968 0 0 0 179518 33 0 0 25 0 1 0 182332074 45826048 10419 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 11188 10419 105 232 0 10953 0
Current children cumulated CPU time (s) 1795.51
Current children cumulated vsize (Kb) 44752

[startup+1797.13 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1037688/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=44752 CPUtime=1796.51
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10977 0 0 0 179618 33 0 0 25 0 1 0 182332074 45826048 10428 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 11188 10428 105 232 0 10953 0
Current children cumulated CPU time (s) 1796.51
Current children cumulated vsize (Kb) 44752

[startup+1798.14 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1037688/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=44752 CPUtime=1797.52
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10983 0 0 0 179719 33 0 0 25 0 1 0 182332074 45826048 10434 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 11188 10434 105 232 0 10953 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (Kb) 44752

[startup+1799.14 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1037624/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=44752 CPUtime=1798.52
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10993 0 0 0 179819 33 0 0 25 0 1 0 182332074 45826048 10444 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 11188 10444 105 232 0 10953 0
Current children cumulated CPU time (s) 1798.52
Current children cumulated vsize (Kb) 44752

[startup+1800.15 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1037624/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=44752 CPUtime=1799.52
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10999 0 0 0 179919 33 0 0 25 0 1 0 182332074 45826048 10450 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551526 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 11188 10450 105 232 0 10953 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (Kb) 44752

[startup+1801.15 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1037560/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=44752 CPUtime=1800.53
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 11007 0 0 0 180020 33 0 0 25 0 1 0 182332074 45826048 10458 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 11188 10458 105 232 0 10953 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (Kb) 44752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 0.99 0.98 0.92 2/68 15166
/proc/meminfo: memFree=1037560/2055892 swapFree=4087504/4096564
[pid=15166] ppid=15164 vsize=44752 CPUtime=1800.53
/proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 11007 0 0 0 180020 33 0 0 25 0 1 0 182332074 45826048 10458 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0
/proc/15166/statm: 11188 10458 105 232 0 10953 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (Kb) 44752

Sending SIGTERM to -15166
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.17
CPU time (s): 1800.55
CPU user time (s): 1800.21
CPU system time (s): 0.340948
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (Kb): 44752
The end

Launcher Data (download as text)

Begin job on node82 on Fri Jun  2 12:30:28 UTC 2006


FILE ID= 41238-1149251428

PBS_JOBID= 298109

BENCH NAME= ROOT/tmp/node82/41238-1149251428/instance-41238-1149251428.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41238-1149251428/instance-41238-1149251428.opb 721436574
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node82/watcher-41238-1149251428 -o ROOT/results/node82/solver-41238-1149251428 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41238-1149251428/instance-41238-1149251428.opb 721436574

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  094943d5c572e297ea40a22e131cb082

RANDOM SEED= 721436574


/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.265
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	: 6006.17
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.265
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	: 5999.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1079240 kB
Buffers:         45352 kB
Cached:         852936 kB
SwapCached:       2848 kB
Active:         130896 kB
Inactive:       776160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1079240 kB
SwapTotal:     4096564 kB
SwapFree:      4087504 kB
Dirty:             196 kB
Writeback:           0 kB
Mapped:          14556 kB
Slab:            55864 kB
Committed_AS:   248048 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node82 on Fri Jun  2 13:00:29 UTC 2006