Trace number 41904

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.67 1801.19

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
MD5SUM7acfcd4d612717a490c27c9a55b3f455
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.535917
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables411
Total number of constraints477
Number of constraints which are clauses387
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Number of terms in the objective function 411
Biggest coefficient in the objective function 268
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1129
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1129
Number of bits of the biggest sum of numbers11
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/node27/41904-1149289337/instance-41904-1149289337.opb ......
0.01	c done parsing opb.
0.01	o 825
0.01	o 824
0.01	o 279
0.01	o 278

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/node27/watcher-41904-1149289337 -o ROOT/results/node27/solver-41904-1149289337 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node27/41904-1149289337/instance-41904-1149289337.opb 721172416 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1786512/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=1400 CPUtime=0
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 153 0 0 0 0 0 0 0 18 0 1 0 194597189 1433600 134 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 350 134 97 232 0 115 0

[startup+10.0026 s]
/proc/loadavg: 0.93 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1775448/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=19216 CPUtime=9.99
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 3011 0 0 0 994 5 0 0 25 0 1 0 194597189 19677184 2841 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564186 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 4804 2841 108 232 0 4569 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 19216

[startup+20.0086 s]
/proc/loadavg: 0.94 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1774552/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=20700 CPUtime=20
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 3467 0 0 0 1991 9 0 0 25 0 1 0 194597189 21196800 3104 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 5175 3104 108 232 0 4940 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 20700

[startup+30.0146 s]
/proc/loadavg: 0.95 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1773656/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=21208 CPUtime=29.99
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 3694 0 0 0 2986 13 0 0 25 0 1 0 194597189 21716992 3331 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 5302 3331 108 232 0 5067 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 21208

[startup+40.0207 s]
/proc/loadavg: 0.96 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1772952/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=23160 CPUtime=39.99
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 4271 0 0 0 3983 16 0 0 25 0 1 0 194597189 23715840 3523 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 5790 3523 108 232 0 5555 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 23160

[startup+50.0267 s]
/proc/loadavg: 0.96 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1772248/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=23532 CPUtime=50.01
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 4441 0 0 0 4980 21 0 0 25 0 1 0 194597189 24096768 3693 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 5883 3693 108 232 0 5648 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 23532

[startup+60.0327 s]
/proc/loadavg: 0.97 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1771608/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=23804 CPUtime=60.01
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 4594 0 0 0 5977 24 0 0 25 0 1 0 194597189 24375296 3846 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 5951 3846 108 232 0 5716 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 23804

[startup+70.0388 s]
/proc/loadavg: 0.97 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1771032/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=24112 CPUtime=70.01
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 4745 0 0 0 6973 28 0 0 25 0 1 0 194597189 24690688 3997 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 6028 3997 108 232 0 5793 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 24112

[startup+80.0448 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1770520/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=24460 CPUtime=80.01
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 4887 0 0 0 7968 33 0 0 25 0 1 0 194597189 25047040 4139 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 6115 4139 108 232 0 5880 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 24460

[startup+90.0508 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1769752/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=27720 CPUtime=90.02
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 5795 0 0 0 8966 36 0 0 25 0 1 0 194597189 28385280 4278 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 6930 4278 108 232 0 6695 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 27720

[startup+100.056 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1769432/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=27920 CPUtime=100.01
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 5925 0 0 0 9963 38 0 0 25 0 1 0 194597189 28590080 4408 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 6980 4408 108 232 0 6745 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 27920

[startup+110.062 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1768920/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=28488 CPUtime=110.02
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 6048 0 0 0 10962 40 0 0 25 0 1 0 194597189 29171712 4531 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551971 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 7122 4531 108 232 0 6887 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 28488

[startup+120.068 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1768472/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=28728 CPUtime=120.02
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 6158 0 0 0 11959 43 0 0 25 0 1 0 194597189 29417472 4641 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 7182 4641 108 232 0 6947 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 28728

[startup+130.074 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1768024/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=28728 CPUtime=130.03
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 6264 0 0 0 12957 46 0 0 25 0 1 0 194597189 29417472 4747 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 7182 4747 108 232 0 6947 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 28728

[startup+140.08 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1767576/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=28984 CPUtime=140.03
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 6377 0 0 0 13955 48 0 0 25 0 1 0 194597189 29679616 4860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 7246 4860 108 232 0 7011 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 28984

[startup+150.086 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1767192/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=29256 CPUtime=150.04
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 6468 0 0 0 14952 52 0 0 25 0 1 0 194597189 29958144 4951 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 7314 4951 108 232 0 7079 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 29256

[startup+160.091 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1766808/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=29544 CPUtime=160.03
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 6575 0 0 0 15949 54 0 0 25 0 1 0 194597189 30253056 5058 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 7386 5058 108 232 0 7151 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 29544

[startup+170.097 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1766424/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=29544 CPUtime=170.04
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 6666 0 0 0 16947 57 0 0 25 0 1 0 194597189 30253056 5149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 7386 5149 108 232 0 7151 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 29544

[startup+180.103 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1766040/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=29852 CPUtime=180.04
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 6764 0 0 0 17944 60 0 0 25 0 1 0 194597189 30568448 5247 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 7463 5247 108 232 0 7228 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 29852

[startup+190.109 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1765656/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=30176 CPUtime=190.04
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 6858 0 0 0 18941 63 0 0 25 0 1 0 194597189 30900224 5341 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 7544 5341 108 232 0 7309 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 30176

[startup+200.115 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1765272/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=30176 CPUtime=200.04
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 6958 0 0 0 19939 65 0 0 25 0 1 0 194597189 30900224 5441 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 7544 5441 108 232 0 7309 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 30176

[startup+210.121 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 25819
/proc/meminfo: memFree=1764888/2055920 swapFree=4180900/4192956

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

/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19892 0 0 0 177870 286 0 0 25 0 1 0 194597189 67190784 13765 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 16404 13765 108 232 0 16169 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (Kb) 65616

[startup+1783.08 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25819
/proc/meminfo: memFree=1731736/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=65616 CPUtime=1782.57
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19900 0 0 0 177971 286 0 0 25 0 1 0 194597189 67190784 13773 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 16404 13773 108 232 0 16169 0
Current children cumulated CPU time (s) 1782.57
Current children cumulated vsize (Kb) 65616

[startup+1784.08 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25819
/proc/meminfo: memFree=1731672/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=65616 CPUtime=1783.57
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19905 0 0 0 178071 286 0 0 25 0 1 0 194597189 67190784 13778 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 16404 13778 108 232 0 16169 0
Current children cumulated CPU time (s) 1783.57
Current children cumulated vsize (Kb) 65616

[startup+1785.09 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25819
/proc/meminfo: memFree=1731672/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=65616 CPUtime=1784.57
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19906 0 0 0 178171 286 0 0 25 0 1 0 194597189 67190784 13779 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 16404 13779 108 232 0 16169 0
Current children cumulated CPU time (s) 1784.57
Current children cumulated vsize (Kb) 65616

[startup+1786.09 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25819
/proc/meminfo: memFree=1731672/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=65616 CPUtime=1785.57
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19907 0 0 0 178271 286 0 0 25 0 1 0 194597189 67190784 13780 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 16404 13780 108 232 0 16169 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (Kb) 65616

[startup+1787.1 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25819
/proc/meminfo: memFree=1731672/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=65616 CPUtime=1786.58
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19909 0 0 0 178372 286 0 0 25 0 1 0 194597189 67190784 13782 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 16404 13782 108 232 0 16169 0
Current children cumulated CPU time (s) 1786.58
Current children cumulated vsize (Kb) 65616

[startup+1788.1 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25819
/proc/meminfo: memFree=1731672/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=65616 CPUtime=1787.59
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19911 0 0 0 178472 287 0 0 25 0 1 0 194597189 67190784 13784 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 16404 13784 108 232 0 16169 0
Current children cumulated CPU time (s) 1787.59
Current children cumulated vsize (Kb) 65616

[startup+1789.11 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25819
/proc/meminfo: memFree=1731672/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=65616 CPUtime=1788.6
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19919 0 0 0 178573 287 0 0 25 0 1 0 194597189 67190784 13792 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 16404 13792 108 232 0 16169 0
Current children cumulated CPU time (s) 1788.6
Current children cumulated vsize (Kb) 65616

[startup+1790.11 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25819
/proc/meminfo: memFree=1731608/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=65616 CPUtime=1789.6
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19922 0 0 0 178673 287 0 0 25 0 1 0 194597189 67190784 13795 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 16404 13795 108 232 0 16169 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (Kb) 65616

[startup+1791.12 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25819
/proc/meminfo: memFree=1731608/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=65616 CPUtime=1790.6
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19932 0 0 0 178773 287 0 0 25 0 1 0 194597189 67190784 13805 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 16404 13805 108 232 0 16169 0
Current children cumulated CPU time (s) 1790.6
Current children cumulated vsize (Kb) 65616

[startup+1792.12 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25819
/proc/meminfo: memFree=1731608/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=65616 CPUtime=1791.61
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19934 0 0 0 178874 287 0 0 25 0 1 0 194597189 67190784 13807 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 16404 13807 108 232 0 16169 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (Kb) 65616

[startup+1793.13 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25819
/proc/meminfo: memFree=1731544/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=65616 CPUtime=1792.61
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19940 0 0 0 178974 287 0 0 25 0 1 0 194597189 67190784 13813 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 16404 13813 108 232 0 16169 0
Current children cumulated CPU time (s) 1792.61
Current children cumulated vsize (Kb) 65616

[startup+1794.13 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25819
/proc/meminfo: memFree=1731544/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=65616 CPUtime=1793.61
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19941 0 0 0 179074 287 0 0 25 0 1 0 194597189 67190784 13814 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 16404 13814 108 232 0 16169 0
Current children cumulated CPU time (s) 1793.61
Current children cumulated vsize (Kb) 65616

[startup+1795.14 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25819
/proc/meminfo: memFree=1731544/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=65616 CPUtime=1794.62
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19946 0 0 0 179175 287 0 0 25 0 1 0 194597189 67190784 13819 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 16404 13819 108 232 0 16169 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (Kb) 65616

[startup+1796.14 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25819
/proc/meminfo: memFree=1731544/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=65616 CPUtime=1795.62
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19949 0 0 0 179275 287 0 0 25 0 1 0 194597189 67190784 13822 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 16404 13822 108 232 0 16169 0
Current children cumulated CPU time (s) 1795.62
Current children cumulated vsize (Kb) 65616

[startup+1797.15 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25819
/proc/meminfo: memFree=1731480/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=65616 CPUtime=1796.63
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19951 0 0 0 179376 287 0 0 25 0 1 0 194597189 67190784 13824 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 16404 13824 108 232 0 16169 0
Current children cumulated CPU time (s) 1796.63
Current children cumulated vsize (Kb) 65616

[startup+1798.15 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25819
/proc/meminfo: memFree=1731480/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=65616 CPUtime=1797.63
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19955 0 0 0 179476 287 0 0 25 0 1 0 194597189 67190784 13828 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 16404 13828 108 232 0 16169 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (Kb) 65616

[startup+1799.16 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25819
/proc/meminfo: memFree=1731480/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=65616 CPUtime=1798.64
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19963 0 0 0 179576 288 0 0 25 0 1 0 194597189 67190784 13836 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 16404 13836 108 232 0 16169 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (Kb) 65616

[startup+1800.16 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25819
/proc/meminfo: memFree=1731416/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=65616 CPUtime=1799.65
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19966 0 0 0 179677 288 0 0 25 0 1 0 194597189 67190784 13839 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 16404 13839 108 232 0 16169 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (Kb) 65616

[startup+1801.17 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25819
/proc/meminfo: memFree=1731416/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=65616 CPUtime=1800.65
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19967 0 0 0 179777 288 0 0 25 0 1 0 194597189 67190784 13840 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 16404 13840 108 232 0 16169 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (Kb) 65616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.17 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25819
/proc/meminfo: memFree=1731416/2055920 swapFree=4180900/4192956
[pid=25819] ppid=25817 vsize=65616 CPUtime=1800.66
/proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19967 0 0 0 179778 288 0 0 25 0 1 0 194597189 67190784 13840 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/25819/statm: 16404 13840 108 232 0 16169 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (Kb) 65616

Sending SIGTERM to -25819
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.19
CPU time (s): 1800.67
CPU user time (s): 1797.78
CPU system time (s): 2.89356
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (Kb): 65616
The end

Launcher Data (download as text)

Begin job on node27 on Fri Jun  2 23:02:17 UTC 2006


FILE ID= 41904-1149289337

PBS_JOBID= 306777

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node27/41904-1149289337/instance-41904-1149289337.opb 721172416
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node27/watcher-41904-1149289337 -o ROOT/results/node27/solver-41904-1149289337 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node27/41904-1149289337/instance-41904-1149289337.opb 721172416

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  7acfcd4d612717a490c27c9a55b3f455

RANDOM SEED= 721172416


/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.234
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.234
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:       1786720 kB
Buffers:         14572 kB
Cached:         187072 kB
SwapCached:       3784 kB
Active:          71688 kB
Inactive:       138712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1786720 kB
SwapTotal:     4192956 kB
SwapFree:      4180900 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14776 kB
Slab:            44880 kB
Committed_AS:   325564 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node27 on Fri Jun  2 23:32:18 UTC 2006