Trace number 372968

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.08 1800.72

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir06_area_delay.opb
MD5SUM21fb64899a6dc4867ccfcbb30d44d536
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark206.965
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15
Optimality of the best value was proved YES
Number of variables5537
Total number of constraints15855
Number of constraints which are clauses15855
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 constraint1
Maximum length of a constraint127
Number of terms in the objective function 2646
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 2646
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2646
Number of bits of the biggest sum of numbers12
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/372968-1177151422/instance-372968-1177151422.opb ......
0.19/0.20	c done parsing opb.
0.19/0.20	o 144
0.19/0.20	o 143
0.19/0.24	o 142
3.30/3.35	o 141
41.88/41.98	o 140
51.07/51.11	o 139
750.43/750.78	o 138
755.63/755.92	o 137
940.36/940.71	o 136
945.16/945.50	o 135
983.55/983.94	o 134
1067.81/1068.21	o 133
1069.62/1070.07	o 132
1086.42/1086.85	o 131
1092.71/1093.18	o 130
1096.61/1097.06	o 129
1109.70/1110.18	o 128
1366.91/1367.40	o 127
1467.37/1467.91	o 126
1540.45/1541.10	o 125
1548.45/1549.02	o 124
1554.64/1555.24	o 123
1707.49/1708.14	o 122
1781.57/1782.22	o 121
1800.06/1800.70	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/372968-1177151422/instance-372968-1177151422.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/node66/watcher-372968-1177151422 -o ROOT/results/node66/solver-372968-1177151422 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372968-1177151422/PBS4 /tmp/evaluation/372968-1177151422/instance-372968-1177151422.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: 0.91 0.95 0.96 3/64 17546
/proc/meminfo: memFree=1707504/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=2128 CPUtime=0
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 314 0 0 0 0 0 0 0 18 0 1 0 191131797 2179072 296 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135015350 0 0 4096 0 0 0 0 17 1 0 0
/proc/17546/statm: 532 296 86 219 0 309 0

[startup+0.0752351 s]
/proc/loadavg: 0.91 0.95 0.96 3/64 17546
/proc/meminfo: memFree=1707504/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=2592 CPUtime=0.07
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 439 0 0 0 7 0 0 0 18 0 1 0 191131797 2654208 421 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134518203 0 0 4096 0 0 0 0 17 1 0 0
/proc/17546/statm: 648 421 87 219 0 425 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2592

[startup+0.102236 s]
/proc/loadavg: 0.91 0.95 0.96 3/64 17546
/proc/meminfo: memFree=1707504/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=2788 CPUtime=0.09
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 506 0 0 0 9 0 0 0 18 0 1 0 191131797 2854912 488 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134635977 0 0 4096 0 0 0 0 17 1 0 0
/proc/17546/statm: 697 488 87 219 0 474 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2788

[startup+0.301276 s]
/proc/loadavg: 0.91 0.95 0.96 3/64 17546
/proc/meminfo: memFree=1707504/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=3500 CPUtime=0.29
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 777 0 0 0 28 1 0 0 19 0 1 0 191131797 3584000 710 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 875 710 104 219 0 652 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3500

[startup+0.701355 s]
/proc/loadavg: 0.91 0.95 0.96 3/64 17546
/proc/meminfo: memFree=1707504/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=3804 CPUtime=0.69
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 836 0 0 0 68 1 0 0 23 0 1 0 191131797 3895296 769 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559734 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 951 769 104 219 0 728 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3804

[startup+1.50152 s]
/proc/loadavg: 0.91 0.95 0.96 2/65 17547
/proc/meminfo: memFree=1704680/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=4124 CPUtime=1.49
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 887 0 0 0 148 1 0 0 25 0 1 0 191131797 4222976 820 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 1031 820 104 219 0 808 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4124

[startup+3.10184 s]
/proc/loadavg: 0.91 0.95 0.96 2/65 17547
/proc/meminfo: memFree=1704296/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=5260 CPUtime=3.1
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 1048 0 0 0 308 2 0 0 25 0 1 0 191131797 5386240 981 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559774 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 1315 981 104 219 0 1092 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 5260

[startup+6.30148 s]
/proc/loadavg: 0.92 0.95 0.96 2/65 17547
/proc/meminfo: memFree=1702888/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=7108 CPUtime=6.29
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 1410 0 0 0 627 2 0 0 25 0 1 0 191131797 7278592 1246 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559800 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 1777 1246 104 219 0 1554 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7108

[startup+12.7018 s]
/proc/loadavg: 0.93 0.95 0.96 2/65 17547
/proc/meminfo: memFree=1701488/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=9156 CPUtime=12.69
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 1741 0 0 0 1266 3 0 0 25 0 1 0 191131797 9375744 1577 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 2289 1577 104 219 0 2066 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9156

[startup+25.5023 s]
/proc/loadavg: 0.94 0.96 0.96 2/65 17547
/proc/meminfo: memFree=1698544/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=13392 CPUtime=25.49
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 2447 0 0 0 2545 4 0 0 25 0 1 0 191131797 13713408 2283 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 3348 2283 104 219 0 3125 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13392

[startup+51.1014 s]
/proc/loadavg: 0.96 0.96 0.96 2/65 17547
/proc/meminfo: memFree=1692720/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=22992 CPUtime=51.07
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 3935 0 0 0 5101 6 0 0 25 0 1 0 191131797 23543808 3771 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 5748 3771 104 219 0 5525 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22992

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.96 2/65 17547
/proc/meminfo: memFree=1688624/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=25016 CPUtime=102.25
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 4885 0 0 0 10214 11 0 0 25 0 1 0 191131797 25616384 4721 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559724 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 6254 4721 104 219 0 6031 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 25016

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17547
/proc/meminfo: memFree=1687664/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=26584 CPUtime=162.23
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 5282 0 0 0 16209 14 0 0 25 0 1 0 191131797 27222016 4925 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 6646 4925 104 219 0 6423 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 26584

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17547
/proc/meminfo: memFree=1686832/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=27436 CPUtime=222.21
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 5526 0 0 0 22203 18 0 0 25 0 1 0 191131797 28094464 5169 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 6859 5169 104 219 0 6636 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 27436

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17547
/proc/meminfo: memFree=1686256/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=27996 CPUtime=282.19
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 5692 0 0 0 28199 20 0 0 25 0 1 0 191131797 28667904 5335 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 6999 5335 104 219 0 6776 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 27996

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17547
/proc/meminfo: memFree=1685296/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=28952 CPUtime=342.17
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 5922 0 0 0 34194 23 0 0 25 0 1 0 191131797 29646848 5565 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559800 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 7238 5565 104 219 0 7015 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 28952

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17547
/proc/meminfo: memFree=1684272/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=29820 CPUtime=402.15
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 6162 0 0 0 40189 26 0 0 25 0 1 0 191131797 30535680 5805 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 7455 5805 104 219 0 7232 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 29820

[startup+462.303 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17547
/proc/meminfo: memFree=1683888/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=30224 CPUtime=462.13
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 6272 0 0 0 46185 28 0 0 25 0 1 0 191131797 30949376 5915 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 7556 5915 104 219 0 7333 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 30224

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17547
/proc/meminfo: memFree=1683440/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=30676 CPUtime=522.11
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 6380 0 0 0 52182 29 0 0 25 0 1 0 191131797 31412224 6023 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559742 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 7669 6023 104 219 0 7446 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 30676

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17547
/proc/meminfo: memFree=1682992/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=30948 CPUtime=582.08
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 6491 0 0 0 58178 30 0 0 25 0 1 0 191131797 31690752 6134 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134546883 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 7737 6134 104 219 0 7514 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 30948

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17549
/proc/meminfo: memFree=1682544/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=31204 CPUtime=642.07
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 6587 0 0 0 64175 32 0 0 25 0 1 0 191131797 31952896 6230 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559734 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 7801 6230 104 219 0 7578 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 31204


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17549
/proc/meminfo: memFree=1680944/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=34076 CPUtime=881.98
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 7373 0 0 0 88155 43 0 0 25 0 1 0 191131797 34893824 6631 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547066 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 8519 6631 104 219 0 8296 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 34076

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17549
/proc/meminfo: memFree=1680432/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=34492 CPUtime=941.96
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 7520 0 0 0 94148 48 0 0 25 0 1 0 191131797 35319808 6778 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 8623 6778 104 219 0 8400 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 34492

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17549
/proc/meminfo: memFree=1679920/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=35004 CPUtime=1001.93
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 7640 0 0 0 100142 51 0 0 25 0 1 0 191131797 35844096 6898 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559759 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 8751 6898 104 219 0 8528 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 35004

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17549
/proc/meminfo: memFree=1679792/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=35004 CPUtime=1061.92
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 7689 0 0 0 106138 54 0 0 25 0 1 0 191131797 35844096 6947 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559751 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 8751 6947 104 219 0 8528 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 35004

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17549
/proc/meminfo: memFree=1678960/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=35744 CPUtime=1121.9
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 7890 0 0 0 112130 60 0 0 25 0 1 0 191131797 36601856 7148 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559800 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 8936 7148 104 219 0 8713 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 35744

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17549
/proc/meminfo: memFree=1678704/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=36016 CPUtime=1181.87
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 7956 0 0 0 118125 62 0 0 25 0 1 0 191131797 36880384 7214 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559728 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 9004 7214 104 219 0 8781 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 36016

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17549
/proc/meminfo: memFree=1678128/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=36296 CPUtime=1241.85
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 8088 0 0 0 124118 67 0 0 25 0 1 0 191131797 37167104 7346 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 9074 7346 104 219 0 8851 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 36296

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17549
/proc/meminfo: memFree=1677808/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=36588 CPUtime=1301.84
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 8164 0 0 0 130114 70 0 0 25 0 1 0 191131797 37466112 7422 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559712 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 9147 7422 104 219 0 8924 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 36588

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17549
/proc/meminfo: memFree=1677552/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=36688 CPUtime=1361.81
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 8222 0 0 0 136109 72 0 0 25 0 1 0 191131797 37568512 7480 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559712 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 9172 7480 104 219 0 8949 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 36688

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17549
/proc/meminfo: memFree=1677232/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=37016 CPUtime=1421.79
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 8306 0 0 0 142104 75 0 0 25 0 1 0 191131797 37904384 7564 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 9254 7564 104 219 0 9031 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 37016

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17549
/proc/meminfo: memFree=1676912/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=37432 CPUtime=1481.77
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 8406 0 0 0 148097 80 0 0 25 0 1 0 191131797 38330368 7664 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134563074 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 9358 7664 104 219 0 9135 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 37432

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17549
/proc/meminfo: memFree=1676592/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=37540 CPUtime=1541.74
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 8478 0 0 0 154092 82 0 0 25 0 1 0 191131797 38440960 7736 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 9385 7736 104 219 0 9162 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 37540

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17549
/proc/meminfo: memFree=1676080/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=41048 CPUtime=1601.72
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 9348 0 0 0 160087 85 0 0 25 0 1 0 191131797 42033152 7837 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 10262 7837 104 219 0 10039 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 41048

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17549
/proc/meminfo: memFree=1675824/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=41048 CPUtime=1661.7
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 9416 0 0 0 166081 89 0 0 25 0 1 0 191131797 42033152 7905 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559792 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 10262 7905 104 219 0 10039 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 41048

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17549
/proc/meminfo: memFree=1675696/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=41156 CPUtime=1721.69
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 9455 0 0 0 172078 91 0 0 25 0 1 0 191131797 42143744 7944 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 10289 7944 104 219 0 10066 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 41156

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17549
/proc/meminfo: memFree=1675312/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=41684 CPUtime=1781.67
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 9553 0 0 0 178073 94 0 0 25 0 1 0 191131797 42684416 8042 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 10421 8042 104 219 0 10198 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 41684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17549
/proc/meminfo: memFree=1675184/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=41684 CPUtime=1800.06
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 9568 0 0 0 179912 94 0 0 25 0 1 0 191131797 42684416 8057 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559800 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 10421 8057 104 219 0 10198 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 41684

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 17549
/proc/meminfo: memFree=1675184/2055920 swapFree=4182980/4192956
[pid=17546] ppid=17544 vsize=41684 CPUtime=1800.06
/proc/17546/stat : 17546 (PBS4) R 17544 17546 16810 0 -1 4194304 9568 0 0 0 179912 94 0 0 25 0 1 0 191131797 42684416 8057 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559800 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17546/statm: 10421 8057 104 219 0 10198 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 41684

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.08
CPU user time (s): 1799.13
CPU system time (s): 0.951855
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 41684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 0.951855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9569
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= 3052

runsolver used 1.22381 second user time and 3.70544 second system time

The end

Launcher Data (download as text)

Begin job on node66 on Sat Apr 21 10:30:22 UTC 2007

IDJOB= 372968
IDBENCH= 25010
IDSOLVER= 157
FILE ID= node66/372968-1177151422

PBS_JOBID= 4648862

Free space on /tmp= 66408 MiB

SOLVER NAME= PBS4 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir06_area_delay.opb
COMMAND LINE= /tmp/evaluation/372968-1177151422/PBS4 /tmp/evaluation/372968-1177151422/instance-372968-1177151422.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node66/convwatcher-372968-1177151422 -o ROOT/results/node66/conversion-372968-1177151422 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372968-1177151422/instance-372968-1177151422.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  21fb64899a6dc4867ccfcbb30d44d536

RANDOM SEED= 34956208

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node66.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.281
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.281
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:       1707912 kB
Buffers:         62452 kB
Cached:         218608 kB
SwapCached:       3792 kB
Active:         145440 kB
Inactive:       146768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1707912 kB
SwapTotal:     4192956 kB
SwapFree:      4182980 kB
Dirty:            1612 kB
Writeback:           0 kB
Mapped:          15620 kB
Slab:            41876 kB
Committed_AS:  1743944 kB
PageTables:       1376 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= 66408 MiB

End job on node66 on Sat Apr 21 11:00:25 UTC 2007