Trace number 353755

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
PBS4 2007-03-23No Cert. 1800.1 1800.54

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb
MD5SUM36a19a7aeba117287b60c4673ad89664
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-57
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -57
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints126082
Number of constraints which are clauses126082
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1534
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1534
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1534
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

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/353755-1176674923/instance-353755-1176674923.opb ......
0.79/0.86	c done parsing opb.
0.79/0.86	o 1534
0.79/0.87	o 1533
0.79/0.89	o 1532
1.09/1.10	o 1531
1.09/1.11	o 1490
1.09/1.20	o 1489
22.79/22.83	o 1488
719.81/720.04	o 1487
1800.06/1800.50	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/353755-1176674923/instance-353755-1176674923.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node51/watcher-353755-1176674923 -o ROOT/results/node51/solver-353755-1176674923 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353755-1176674923/PBS4 /tmp/evaluation/353755-1176674923/instance-353755-1176674923.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4641
/proc/meminfo: memFree=1806960/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=1600 CPUtime=0
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 22337411 1638400 167 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134793016 0 0 4096 0 0 0 0 17 1 0 0
/proc/4641/statm: 400 168 86 219 0 177 0

[startup+0.0764059 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4641
/proc/meminfo: memFree=1806960/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=2116 CPUtime=0.07
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 408 0 0 0 7 0 0 0 18 0 1 0 22337411 2166784 335 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134554430 0 0 4096 0 0 0 0 17 1 0 0
/proc/4641/statm: 529 335 88 219 0 306 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2116

[startup+0.101408 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4641
/proc/meminfo: memFree=1806960/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=2372 CPUtime=0.09
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 455 0 0 0 9 0 0 0 18 0 1 0 22337411 2428928 382 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134636016 0 0 4096 0 0 0 0 17 1 0 0
/proc/4641/statm: 593 382 89 219 0 370 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2372

[startup+0.301427 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4641
/proc/meminfo: memFree=1806960/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=4564 CPUtime=0.29
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 1195 0 0 0 29 0 0 0 19 0 1 0 22337411 4673536 832 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134590670 0 0 4096 0 0 0 0 17 1 0 0
/proc/4641/statm: 1141 832 89 219 0 918 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4564

[startup+0.701463 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4641
/proc/meminfo: memFree=1806960/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=9964 CPUtime=0.69
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 2509 0 0 0 68 1 0 0 22 0 1 0 22337411 10203136 1761 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0
/proc/4641/statm: 2491 1761 89 219 0 2268 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9964

[startup+1.50154 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1797608/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=14320 CPUtime=1.49
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 3957 0 0 0 148 1 0 0 25 0 1 0 22337411 14663680 3209 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559807 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 3580 3209 104 219 0 3357 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14320

[startup+3.10168 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1790888/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=22644 CPUtime=3.09
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 6093 0 0 0 307 2 0 0 25 0 1 0 22337411 23187456 5345 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 5661 5345 104 219 0 5438 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22644

[startup+6.30197 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1775656/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=39160 CPUtime=6.29
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 9583 0 0 0 625 4 0 0 25 0 1 0 22337411 40099840 8835 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 9790 8835 104 219 0 9567 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39160

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1749160/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=72204 CPUtime=12.69
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 15768 0 0 0 1261 8 0 0 25 0 1 0 22337411 73936896 15020 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 18051 15020 104 219 0 17828 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 72204

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1690600/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=142620 CPUtime=25.48
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 30657 0 0 0 2534 14 0 0 25 0 1 0 22337411 146042880 29140 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 35655 29140 104 219 0 35432 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 142620

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1655336/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=279124 CPUtime=51.07
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 39373 0 0 0 5087 20 0 0 25 0 1 0 22337411 285822976 37856 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 69781 37856 104 219 0 69558 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 279124

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1629096/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=284172 CPUtime=102.26
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 45906 0 0 0 10201 25 0 0 25 0 1 0 22337411 290992128 44389 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134561546 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 71043 44389 104 219 0 70820 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 284172

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1620328/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=288268 CPUtime=162.25
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 48086 0 0 0 16194 31 0 0 25 0 1 0 22337411 295186432 46569 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134562567 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 72067 46569 104 219 0 71844 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 288268

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1616168/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=291584 CPUtime=222.23
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 49154 0 0 0 22187 36 0 0 25 0 1 0 22337411 298582016 47637 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549696 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 72896 47637 104 219 0 72673 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 291584

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1613672/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=293984 CPUtime=282.22
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 49767 0 0 0 28182 40 0 0 25 0 1 0 22337411 301039616 48250 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 73496 48250 104 219 0 73273 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 293984

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1611368/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=295868 CPUtime=342.2
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 50330 0 0 0 34176 44 0 0 25 0 1 0 22337411 302968832 48813 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 73967 48813 104 219 0 73744 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 295868

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1609256/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=297484 CPUtime=402.19
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 50870 0 0 0 40171 48 0 0 25 0 1 0 22337411 304623616 49353 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134563269 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 74371 49353 104 219 0 74148 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 297484

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1607336/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=305056 CPUtime=462.18
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 52873 0 0 0 46165 53 0 0 25 0 1 0 22337411 312377344 49819 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 76264 49819 104 219 0 76041 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 305056

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1605480/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=306452 CPUtime=522.17
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 53340 0 0 0 52159 58 0 0 25 0 1 0 22337411 313806848 50286 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549620 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 76613 50286 104 219 0 76390 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 306452

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1604136/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=307620 CPUtime=582.15
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 53665 0 0 0 58153 62 0 0 25 0 1 0 22337411 315002880 50611 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559739 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 76905 50611 104 219 0 76682 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 307620

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1602024/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=309304 CPUtime=642.14
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 54177 0 0 0 64148 66 0 0 25 0 1 0 22337411 316727296 51123 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559756 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 77326 51123 104 219 0 77103 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 309304


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1596456/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=313984 CPUtime=882.08
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 55560 0 0 0 88128 80 0 0 25 0 1 0 22337411 321519616 52506 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 78496 52506 104 219 0 78273 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 313984

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1595048/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=315200 CPUtime=942.06
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 55930 0 0 0 94123 83 0 0 25 0 1 0 22337411 322764800 52876 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 78800 52876 104 219 0 78577 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 315200

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1593832/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=316312 CPUtime=1002.05
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 56253 0 0 0 100118 87 0 0 25 0 1 0 22337411 323903488 53199 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559721 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 79078 53199 104 219 0 78855 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 316312

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1592488/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=317292 CPUtime=1062.03
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 56581 0 0 0 106113 90 0 0 25 0 1 0 22337411 324907008 53527 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 79323 53527 104 219 0 79100 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 317292

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 4642
/proc/meminfo: memFree=1591400/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=317612 CPUtime=1122.02
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 56841 0 0 0 112108 94 0 0 25 0 1 0 22337411 325234688 53787 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134586000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 79403 53787 104 219 0 79180 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 317612

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1590568/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=318108 CPUtime=1182
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 57053 0 0 0 118102 98 0 0 25 0 1 0 22337411 325742592 53999 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 79527 53999 104 219 0 79304 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 318108

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1589672/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=318796 CPUtime=1241.99
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 57258 0 0 0 124098 101 0 0 25 0 1 0 22337411 326447104 54204 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 79699 54204 104 219 0 79476 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 318796

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1588648/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=319516 CPUtime=1301.98
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 57494 0 0 0 130093 105 0 0 25 0 1 0 22337411 327184384 54440 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 79879 54440 104 219 0 79656 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 319516

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1587688/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=331804 CPUtime=1361.96
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 60754 0 0 0 136085 111 0 0 25 0 1 0 22337411 339767296 54627 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 82951 54627 104 219 0 82728 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 331804

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1587048/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=332560 CPUtime=1421.94
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 60971 0 0 0 142081 113 0 0 25 0 1 0 22337411 340541440 54844 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559792 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 83140 54844 104 219 0 82917 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 332560

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1585832/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=333200 CPUtime=1481.93
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 61277 0 0 0 148077 116 0 0 25 0 1 0 22337411 341196800 55150 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559962 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 83300 55150 104 219 0 83077 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 333200

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1584872/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=333992 CPUtime=1541.92
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 61504 0 0 0 154072 120 0 0 25 0 1 0 22337411 342007808 55377 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 83498 55377 104 219 0 83275 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 333992

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1583848/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=334984 CPUtime=1601.9
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 61746 0 0 0 160067 123 0 0 25 0 1 0 22337411 343023616 55619 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549620 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 83746 55619 104 219 0 83523 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 334984

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4642
/proc/meminfo: memFree=1583016/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=335144 CPUtime=1661.89
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 61961 0 0 0 166062 127 0 0 25 0 1 0 22337411 343187456 55834 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 83786 55834 104 219 0 83563 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 335144

[startup+1722.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 4642
/proc/meminfo: memFree=1582184/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=336016 CPUtime=1721.87
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 62171 0 0 0 172057 130 0 0 25 0 1 0 22337411 344080384 56044 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559756 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 84004 56044 104 219 0 83781 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 336016

[startup+1782.3 s]
/proc/loadavg: 1.09 1.03 1.00 2/65 4642
/proc/meminfo: memFree=1581416/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=336176 CPUtime=1781.86
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 62365 0 0 0 178053 133 0 0 25 0 1 0 22337411 344244224 56238 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 84044 56238 104 219 0 83821 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 336176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.14 1.04 1.01 2/65 4642
/proc/meminfo: memFree=1581160/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=336176 CPUtime=1800.06
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 62416 0 0 0 179871 135 0 0 25 0 1 0 22337411 344244224 56289 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 84044 56289 104 219 0 83821 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 336176

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 1.14 1.04 1.01 2/65 4642
/proc/meminfo: memFree=1581160/2055920 swapFree=4184504/4192956
[pid=4641] ppid=4639 vsize=336176 CPUtime=1800.06
/proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 62416 0 0 0 179871 135 0 0 25 0 1 0 22337411 344244224 56289 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4641/statm: 84044 56289 104 219 0 83821 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 336176

Child status: 0
Real time (s): 1800.54
CPU time (s): 1800.1
CPU user time (s): 1798.72
CPU system time (s): 1.38779
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 344096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.72
system time used= 1.38779
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62417
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 2143

runsolver used 1.2878 second user time and 3.65044 second system time

The end

Launcher Data (download as text)

Begin job on node51 on Sun Apr 15 22:08:43 UTC 2007

IDJOB= 353755
IDBENCH= 2267
IDSOLVER= 157
FILE ID= node51/353755-1176674923

PBS_JOBID= 4559915

Free space on /tmp= 66560 MiB

SOLVER NAME= PBS4 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb
COMMAND LINE= /tmp/evaluation/353755-1176674923/PBS4 /tmp/evaluation/353755-1176674923/instance-353755-1176674923.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node51/convwatcher-353755-1176674923 -o ROOT/results/node51/conversion-353755-1176674923 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353755-1176674923/instance-353755-1176674923.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-353755-1176674923 -o ROOT/results/node51/solver-353755-1176674923 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/353755-1176674923/PBS4 /tmp/evaluation/353755-1176674923/instance-353755-1176674923.opb            

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  36a19a7aeba117287b60c4673ad89664

RANDOM SEED= 118996943

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node51.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.223
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.223
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:       1807432 kB
Buffers:         31064 kB
Cached:         143464 kB
SwapCached:       2680 kB
Active:          71488 kB
Inactive:       113788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1807432 kB
SwapTotal:     4192956 kB
SwapFree:      4184504 kB
Dirty:            4168 kB
Writeback:           0 kB
Mapped:          16436 kB
Slab:            49292 kB
Committed_AS:  1848288 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB

End job on node51 on Sun Apr 15 22:38:45 UTC 2007