Trace number 372870

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir09_area_delay.opb
MD5SUM5a18fe98bad06341d01eaf33ecb4f046
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
Optimality of the best value was proved NO
Number of variables13487
Total number of constraints57800
Number of constraints which are clauses57800
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 constraint254
Number of terms in the objective function 6486
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 6486
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6486
Number of bits of the biggest sum of numbers13
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/372870-1177143645/instance-372870-1177143645.opb ......
0.79/0.87	c done parsing opb.
0.79/0.87	o 291
0.79/0.89	o 290
0.89/0.91	o 289
0.89/0.93	o 288
0.89/0.96	o 287
1.00/1.00	o 286
1.39/1.47	o 285
189.83/189.93	o 284
209.42/209.56	o 283
230.91/231.09	o 282
241.01/241.16	o 281
274.59/274.76	o 280
296.79/296.96	o 279
347.37/347.53	o 278
373.37/373.58	o 277
393.06/393.21	o 276
393.56/393.80	o 275
425.25/425.40	o 274
524.11/524.32	o 269
524.11/524.35	o 268
524.11/524.37	o 267
524.11/524.39	o 266
524.21/524.41	o 265
525.71/525.91	o 264
702.55/702.90	o 258
702.65/702.92	o 252
702.65/702.94	o 251
702.65/702.96	o 250
702.75/703.01	o 249
702.75/703.03	o 248
702.75/703.05	o 247
702.75/703.07	o 246
703.45/703.73	o 245
1085.22/1085.61	o 244
1800.09/1800.71	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/372870-1177143645/instance-372870-1177143645.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/node42/watcher-372870-1177143645 -o ROOT/results/node42/solver-372870-1177143645 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372870-1177143645/PBS4 /tmp/evaluation/372870-1177143645/instance-372870-1177143645.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/77 18851
/proc/meminfo: memFree=1751008/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=2884 CPUtime=0
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 491 0 0 0 0 0 0 0 18 0 1 0 162276383 2953216 474 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135022908 0 0 4096 0 0 0 0 17 1 0 0
/proc/18851/statm: 721 476 81 219 0 498 0

[startup+0.082786 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 18851
/proc/meminfo: memFree=1751008/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=3500 CPUtime=0.07
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 670 0 0 0 7 0 0 0 18 0 1 0 162276383 3584000 652 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134588386 0 0 4096 0 0 0 0 17 1 0 0
/proc/18851/statm: 875 652 87 219 0 652 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3500

[startup+0.101789 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 18851
/proc/meminfo: memFree=1751008/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=3500 CPUtime=0.09
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 670 0 0 0 9 0 0 0 18 0 1 0 162276383 3584000 652 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134588368 0 0 4096 0 0 0 0 17 1 0 0
/proc/18851/statm: 875 652 87 219 0 652 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3500

[startup+0.301827 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 18851
/proc/meminfo: memFree=1751008/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=4220 CPUtime=0.29
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 865 0 0 0 29 0 0 0 19 0 1 0 162276383 4321280 847 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0
/proc/18851/statm: 1055 847 87 219 0 832 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4220

[startup+0.701904 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 18851
/proc/meminfo: memFree=1751008/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=7864 CPUtime=0.69
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 1840 0 0 0 69 0 0 0 23 0 1 0 162276383 8052736 1483 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134590670 0 0 4096 0 0 0 0 17 1 0 0
/proc/18851/statm: 1966 1484 89 219 0 1743 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7864

[startup+1.50206 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18852
/proc/meminfo: memFree=1744408/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=8816 CPUtime=1.49
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 2311 0 0 0 144 5 0 0 25 0 1 0 162276383 9027584 1954 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559765 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 2204 1954 104 219 0 1981 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8816

[startup+3.10136 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18852
/proc/meminfo: memFree=1743064/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=9744 CPUtime=3.09
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 2516 0 0 0 304 5 0 0 25 0 1 0 162276383 9977856 2159 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559759 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 2436 2159 104 219 0 2213 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9744

[startup+6.30197 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18852
/proc/meminfo: memFree=1741976/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=10864 CPUtime=6.29
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 2729 0 0 0 623 6 0 0 25 0 1 0 162276383 11124736 2372 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 2716 2372 104 219 0 2493 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10864

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18852
/proc/meminfo: memFree=1739816/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=14804 CPUtime=12.69
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 3210 0 0 0 1262 7 0 0 25 0 1 0 162276383 15159296 2853 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 3701 2853 104 219 0 3478 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14804

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18852
/proc/meminfo: memFree=1738728/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=14804 CPUtime=25.48
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 3485 0 0 0 2541 7 0 0 25 0 1 0 162276383 15159296 3128 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559756 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 3701 3128 104 219 0 3478 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14804

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18852
/proc/meminfo: memFree=1736424/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=19040 CPUtime=51.07
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 4057 0 0 0 5099 8 0 0 25 0 1 0 162276383 19496960 3700 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559864 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 4760 3700 104 219 0 4537 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19040

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18852
/proc/meminfo: memFree=1731688/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=27232 CPUtime=102.26
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 5231 0 0 0 10216 10 0 0 25 0 1 0 162276383 27885568 4874 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 6808 4874 104 219 0 6585 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 27232

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18852
/proc/meminfo: memFree=1725992/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=27232 CPUtime=162.24
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 6648 0 0 0 16210 14 0 0 25 0 1 0 162276383 27885568 6291 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 6808 6291 104 219 0 6585 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 27232

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18852
/proc/meminfo: memFree=1714920/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=54576 CPUtime=222.21
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 9777 0 0 0 22194 27 0 0 25 0 1 0 162276383 55885824 9035 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 13644 9035 104 219 0 13421 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 54576

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18852
/proc/meminfo: memFree=1707432/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=59228 CPUtime=282.19
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 11646 0 0 0 28181 38 0 0 25 0 1 0 162276383 60649472 10904 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 14807 10904 104 219 0 14584 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 59228

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18852
/proc/meminfo: memFree=1702376/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=61228 CPUtime=342.18
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 12902 0 0 0 34169 49 0 0 25 0 1 0 162276383 62697472 12160 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 15307 12160 104 219 0 15084 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 61228

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18852
/proc/meminfo: memFree=1694376/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=66060 CPUtime=402.15
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 14923 0 0 0 40156 59 0 0 25 0 1 0 162276383 67645440 14181 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134563092 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 16515 14181 104 219 0 16292 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 66060

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18852
/proc/meminfo: memFree=1692584/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=67276 CPUtime=462.13
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 15340 0 0 0 46152 61 0 0 25 0 1 0 162276383 68890624 14598 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 16819 14598 104 219 0 16596 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 67276

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18852
/proc/meminfo: memFree=1689384/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=71288 CPUtime=522.11
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 16141 0 0 0 52147 64 0 0 25 0 1 0 162276383 72998912 15399 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559734 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 17822 15399 104 219 0 17599 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 71288

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18852
/proc/meminfo: memFree=1685736/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=76028 CPUtime=582.09
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 17058 0 0 0 58137 72 0 0 25 0 1 0 162276383 77852672 16316 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 19007 16316 104 219 0 18784 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 76028

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18852
/proc/meminfo: memFree=1685480/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=76220 CPUtime=642.07
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 17100 0 0 0 64134 73 0 0 25 0 1 0 162276383 78049280 16358 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 19055 16358 104 219 0 18832 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 76220


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18852
/proc/meminfo: memFree=1683432/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=79308 CPUtime=881.99
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 17665 0 0 0 88116 83 0 0 25 0 1 0 162276383 81211392 16923 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559759 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 19827 16923 104 219 0 19604 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 79308

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18852
/proc/meminfo: memFree=1683176/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=79500 CPUtime=941.97
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 17706 0 0 0 94113 84 0 0 25 0 1 0 162276383 81408000 16964 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559800 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 19875 16964 104 219 0 19652 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 79500

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18852
/proc/meminfo: memFree=1682536/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=80236 CPUtime=1001.95
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 17879 0 0 0 100109 86 0 0 25 0 1 0 162276383 82161664 17137 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 20059 17137 104 219 0 19836 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 80236

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18852
/proc/meminfo: memFree=1682216/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=80620 CPUtime=1061.92
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 17943 0 0 0 106106 86 0 0 25 0 1 0 162276383 82554880 17201 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559759 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 20155 17201 104 219 0 19932 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 80620

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18852
/proc/meminfo: memFree=1681448/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=81384 CPUtime=1121.91
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 18116 0 0 0 112103 88 0 0 25 0 1 0 162276383 83337216 17374 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559742 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 20346 17374 104 219 0 20123 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 81384

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18854
/proc/meminfo: memFree=1680168/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=83304 CPUtime=1181.89
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 18452 0 0 0 118099 90 0 0 25 0 1 0 162276383 85303296 17710 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 20826 17710 104 219 0 20603 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 83304

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18854
/proc/meminfo: memFree=1679656/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=83880 CPUtime=1241.87
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 18570 0 0 0 124096 91 0 0 25 0 1 0 162276383 85893120 17828 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 20970 17828 104 219 0 20747 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 83880

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18854
/proc/meminfo: memFree=1678824/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=84840 CPUtime=1301.85
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 18774 0 0 0 130093 92 0 0 25 0 1 0 162276383 86876160 18032 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 21210 18032 104 219 0 20987 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 84840

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18854
/proc/meminfo: memFree=1678696/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=85224 CPUtime=1361.82
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 18820 0 0 0 136090 92 0 0 25 0 1 0 162276383 87269376 18078 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559712 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 21306 18078 104 219 0 21083 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 85224

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18854
/proc/meminfo: memFree=1677736/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=86584 CPUtime=1421.81
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 19058 0 0 0 142087 94 0 0 25 0 1 0 162276383 88662016 18316 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 21646 18316 104 219 0 21423 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 86584

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18854
/proc/meminfo: memFree=1676968/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=87480 CPUtime=1481.78
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 19243 0 0 0 148084 94 0 0 25 0 1 0 162276383 89579520 18501 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559771 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 21870 18501 104 219 0 21647 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 87480

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18854
/proc/meminfo: memFree=1676584/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=88188 CPUtime=1541.77
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 19339 0 0 0 154081 96 0 0 25 0 1 0 162276383 90304512 18597 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 22047 18597 104 219 0 21824 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 88188

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18854
/proc/meminfo: memFree=1675560/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=89536 CPUtime=1601.74
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 19606 0 0 0 160078 96 0 0 25 0 1 0 162276383 91684864 18864 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 22384 18864 104 219 0 22161 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 89536

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18854
/proc/meminfo: memFree=1674344/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=91008 CPUtime=1661.72
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 19891 0 0 0 166075 97 0 0 25 0 1 0 162276383 93192192 19149 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559800 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 22752 19149 104 219 0 22529 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 91008

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18854
/proc/meminfo: memFree=1673768/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=91872 CPUtime=1721.7
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 20039 0 0 0 172072 98 0 0 25 0 1 0 162276383 94076928 19297 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 22968 19297 104 219 0 22745 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 91872

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18854
/proc/meminfo: memFree=1673704/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=91872 CPUtime=1781.68
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 20040 0 0 0 178069 99 0 0 25 0 1 0 162276383 94076928 19298 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559751 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 22968 19298 104 219 0 22745 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 91872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18854
/proc/meminfo: memFree=1673768/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=91872 CPUtime=1800.09
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 20043 0 0 0 179910 99 0 0 25 0 1 0 162276383 94076928 19301 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134535127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 22968 19301 104 219 0 22745 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 91872

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: 1.00 1.00 1.00 2/78 18854
/proc/meminfo: memFree=1673768/2055920 swapFree=4146244/4192956
[pid=18851] ppid=18849 vsize=91872 CPUtime=1800.09
/proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 20043 0 0 0 179910 99 0 0 25 0 1 0 162276383 94076928 19301 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134535127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18851/statm: 22968 19301 104 219 0 22745 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 91872

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.11
CPU user time (s): 1799.1
CPU system time (s): 1.00585
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 91872

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

runsolver used 2.22666 second user time and 4.17436 second system time

The end

Launcher Data (download as text)

Begin job on node42 on Sat Apr 21 08:20:45 UTC 2007

IDJOB= 372870
IDBENCH= 25003
IDSOLVER= 157
FILE ID= node42/372870-1177143645

PBS_JOBID= 4648821

Free space on /tmp= 66446 MiB

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

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

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  5a18fe98bad06341d01eaf33ecb4f046

RANDOM SEED= 458053640

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.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.277
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.277
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:       1751544 kB
Buffers:         40092 kB
Cached:         184696 kB
SwapCached:      16680 kB
Active:         205524 kB
Inactive:        45764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1751544 kB
SwapTotal:     4192956 kB
SwapFree:      4146244 kB
Dirty:            2984 kB
Writeback:           0 kB
Mapped:          32888 kB
Slab:            38488 kB
Committed_AS:  3501796 kB
PageTables:       1912 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= 66446 MiB

End job on node42 on Sat Apr 21 08:50:48 UTC 2007