Trace number 372842

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.04 1800.81

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_026_area_delay.opb
MD5SUM4c21c441bf9f3f3be8f0cdb52c39f9b4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark30
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved NO
Number of variables12852
Total number of constraints41686
Number of constraints which are clauses41686
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 6267
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 6267
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 6267
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/372842-1177140768/instance-372842-1177140768.opb ......
0.59/0.67	c done parsing opb.
0.59/0.67	o 313
0.59/0.69	o 312
0.69/0.74	o 311
192.93/193.00	o 310
446.84/447.05	o 309
521.92/522.11	o 308
521.92/522.15	o 303
1800.02/1800.71	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/372842-1177140768/instance-372842-1177140768.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/node25/watcher-372842-1177140768 -o ROOT/results/node25/solver-372842-1177140768 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372842-1177140768/PBS4 /tmp/evaluation/372842-1177140768/instance-372842-1177140768.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 2/64 13249
/proc/meminfo: memFree=1781984/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=2664 CPUtime=0
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 461 0 0 0 0 0 0 0 18 0 1 0 161993947 2727936 443 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0
/proc/13249/statm: 666 445 81 219 0 443 0

[startup+0.0555229 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 13249
/proc/meminfo: memFree=1781984/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=3440 CPUtime=0.05
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 646 0 0 0 5 0 0 0 18 0 1 0 161993947 3522560 628 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134588368 0 0 4096 0 0 0 0 17 1 0 0
/proc/13249/statm: 860 628 87 219 0 637 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3440

[startup+0.101531 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 13249
/proc/meminfo: memFree=1781984/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=3440 CPUtime=0.09
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 646 0 0 0 9 0 0 0 18 0 1 0 161993947 3522560 628 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134588362 0 0 4096 0 0 0 0 17 1 0 0
/proc/13249/statm: 860 628 87 219 0 637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301565 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 13249
/proc/meminfo: memFree=1781984/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=4172 CPUtime=0.29
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 865 0 0 0 29 0 0 0 19 0 1 0 161993947 4272128 847 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0
/proc/13249/statm: 1043 847 87 219 0 820 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4172

[startup+0.702633 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 13249
/proc/meminfo: memFree=1781984/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=7964 CPUtime=0.69
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 1820 0 0 0 68 1 0 0 23 0 1 0 161993947 8155136 1463 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 1991 1463 104 219 0 1768 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7964

[startup+1.50177 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13250
/proc/meminfo: memFree=1775960/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=8532 CPUtime=1.49
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 2079 0 0 0 146 3 0 0 25 0 1 0 161993947 8736768 1722 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 2133 1722 104 219 0 1910 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8532

[startup+3.10104 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13250
/proc/meminfo: memFree=1774872/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=10740 CPUtime=3.09
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 2399 0 0 0 305 4 0 0 25 0 1 0 161993947 10997760 2042 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547915 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 2685 2042 104 219 0 2462 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10740

[startup+6.30159 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13250
/proc/meminfo: memFree=1770968/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=13508 CPUtime=6.29
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 3237 0 0 0 622 7 0 0 25 0 1 0 161993947 13832192 2880 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 3377 2880 104 219 0 3154 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13508

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13250
/proc/meminfo: memFree=1767448/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=18960 CPUtime=12.69
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 4063 0 0 0 1259 10 0 0 25 0 1 0 161993947 19415040 3706 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 4740 3706 104 219 0 4517 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18960

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13250
/proc/meminfo: memFree=1764504/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=21836 CPUtime=25.48
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 4833 0 0 0 2531 17 0 0 25 0 1 0 161993947 22360064 4476 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 5459 4476 104 219 0 5236 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21836

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13250
/proc/meminfo: memFree=1758232/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=27516 CPUtime=51.08
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 6318 0 0 0 5077 31 0 0 25 0 1 0 161993947 28176384 5961 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 6879 5961 104 219 0 6656 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27516

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13250
/proc/meminfo: memFree=1757080/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=28956 CPUtime=102.26
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 6622 0 0 0 10192 34 0 0 25 0 1 0 161993947 29650944 6265 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 7239 6265 104 219 0 7016 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 28956

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13250
/proc/meminfo: memFree=1753560/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=33244 CPUtime=162.24
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 7496 0 0 0 16183 41 0 0 25 0 1 0 161993947 34041856 7139 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559810 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 8311 7139 104 219 0 8088 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 33244

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13250
/proc/meminfo: memFree=1751640/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=35520 CPUtime=222.22
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 7970 0 0 0 22177 45 0 0 25 0 1 0 161993947 36372480 7613 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 8880 7613 104 219 0 8657 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 35520

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13250
/proc/meminfo: memFree=1749592/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=37828 CPUtime=282.2
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 8479 0 0 0 28170 50 0 0 25 0 1 0 161993947 38735872 8122 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 9457 8122 104 219 0 9234 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 37828

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13252
/proc/meminfo: memFree=1747288/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=40288 CPUtime=342.18
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 9023 0 0 0 34165 53 0 0 25 0 1 0 161993947 41254912 8666 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559774 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 10072 8666 104 219 0 9849 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 40288

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13252
/proc/meminfo: memFree=1746264/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=42976 CPUtime=402.16
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 9671 0 0 0 40158 58 0 0 25 0 1 0 161993947 44007424 8929 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 10744 8929 104 219 0 10521 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 42976

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13252
/proc/meminfo: memFree=1745816/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=43428 CPUtime=462.14
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 9775 0 0 0 46154 60 0 0 25 0 1 0 161993947 44470272 9033 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559724 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 10857 9033 104 219 0 10634 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 43428

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13252
/proc/meminfo: memFree=1744472/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=45536 CPUtime=522.12
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 10219 0 0 0 52148 64 0 0 25 0 1 0 161993947 46628864 9477 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 11384 9477 104 219 0 11161 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 45536

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13252
/proc/meminfo: memFree=1743000/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=46652 CPUtime=582.1
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 10478 0 0 0 58144 66 0 0 25 0 1 0 161993947 47771648 9736 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 11663 9736 104 219 0 11440 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 46652

[startup+642.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 13252
/proc/meminfo: memFree=1742552/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=46920 CPUtime=642.09
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 10586 0 0 0 64141 68 0 0 25 0 1 0 161993947 48046080 9844 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559742 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 11730 9844 104 219 0 11507 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 46920


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

[startup+882.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 13252
/proc/meminfo: memFree=1739416/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=49996 CPUtime=882.01
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 11365 0 0 0 88124 77 0 0 25 0 1 0 161993947 51195904 10623 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 12499 10623 104 219 0 12276 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 49996

[startup+942.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 13252
/proc/meminfo: memFree=1738584/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=50864 CPUtime=941.99
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 11569 0 0 0 94118 81 0 0 25 0 1 0 161993947 52084736 10827 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559864 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 12716 10827 104 219 0 12493 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 50864

[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 13252
/proc/meminfo: memFree=1737944/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=51520 CPUtime=1001.97
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 11726 0 0 0 100115 82 0 0 25 0 1 0 161993947 52756480 10984 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559734 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 12880 10984 104 219 0 12657 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 51520

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13252
/proc/meminfo: memFree=1737304/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=52264 CPUtime=1061.95
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 11882 0 0 0 106111 84 0 0 25 0 1 0 161993947 53518336 11140 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 13066 11140 104 219 0 12843 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 52264

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13252
/proc/meminfo: memFree=1733912/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=61336 CPUtime=1121.93
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 12728 0 0 0 112106 87 0 0 25 0 1 0 161993947 62808064 11986 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134557935 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 15334 11986 104 219 0 15111 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 61336

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13252
/proc/meminfo: memFree=1727192/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=62792 CPUtime=1181.91
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 14404 0 0 0 118099 92 0 0 25 0 1 0 161993947 64299008 13662 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 15698 13662 104 219 0 15475 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 62792

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13252
/proc/meminfo: memFree=1726616/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=63416 CPUtime=1241.89
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 14544 0 0 0 124096 93 0 0 25 0 1 0 161993947 64937984 13802 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559792 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 15854 13802 104 219 0 15631 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 63416

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13252
/proc/meminfo: memFree=1725848/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=64280 CPUtime=1301.87
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 14727 0 0 0 130091 96 0 0 25 0 1 0 161993947 65822720 13985 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547066 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 16070 13985 104 219 0 15847 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 64280

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13252
/proc/meminfo: memFree=1725464/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=64640 CPUtime=1361.85
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 14822 0 0 0 136086 99 0 0 25 0 1 0 161993947 66191360 14080 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 16160 14080 104 219 0 15937 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 64640

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13252
/proc/meminfo: memFree=1724888/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=65276 CPUtime=1421.84
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 14970 0 0 0 142082 102 0 0 25 0 1 0 161993947 66842624 14228 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559849 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 16319 14228 104 219 0 16096 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 65276

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13252
/proc/meminfo: memFree=1724376/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=65864 CPUtime=1481.82
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 15103 0 0 0 148076 106 0 0 25 0 1 0 161993947 67444736 14361 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 16466 14361 104 219 0 16243 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 65864

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13252
/proc/meminfo: memFree=1724056/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=66152 CPUtime=1541.79
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 15172 0 0 0 154072 107 0 0 25 0 1 0 161993947 67739648 14430 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 16538 14430 104 219 0 16315 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 66152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13252
/proc/meminfo: memFree=1723480/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=66536 CPUtime=1601.77
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 15317 0 0 0 160068 109 0 0 25 0 1 0 161993947 68132864 14575 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 16634 14575 104 219 0 16411 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 66536

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13252
/proc/meminfo: memFree=1723224/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=67048 CPUtime=1661.75
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 15428 0 0 0 166064 111 0 0 25 0 1 0 161993947 68657152 14686 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559792 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 16762 14686 104 219 0 16539 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 67048

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 13408
/proc/meminfo: memFree=1720776/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=68112 CPUtime=1721.65
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 15673 0 0 0 172049 116 0 0 25 0 1 0 161993947 69746688 14931 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 17028 14931 104 219 0 16805 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 68112

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13450
/proc/meminfo: memFree=1721752/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=68484 CPUtime=1781.62
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 15741 0 0 0 178044 118 0 0 25 0 1 0 161993947 70127616 14999 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 17121 14999 104 219 0 16898 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 68484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13450
/proc/meminfo: memFree=1721496/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=71652 CPUtime=1800.02
/proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 16557 0 0 0 179883 119 0 0 25 0 1 0 161993947 73371648 15046 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13249/statm: 17913 15046 104 219 0 17690 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 71652

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13450
/proc/meminfo: memFree=1721496/2055920 swapFree=4182972/4192956
[pid=13249] ppid=13247 vsize=0 CPUtime=1800.03
/proc/13249/stat : 13249 (PBS4) D 13247 13249 12466 0 -1 4194308 16558 0 0 0 179883 120 0 0 24 0 1 0 161993947 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 18446744072100051646 0 0 17 1 0 0
/proc/13249/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.04
CPU user time (s): 1798.83
CPU system time (s): 1.20782
CPU usage (%): 99.9572
Max. virtual memory (cumulated for all children) (KiB): 71652

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

runsolver used 1.20982 second user time and 3.76943 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Sat Apr 21 07:32:49 UTC 2007

IDJOB= 372842
IDBENCH= 25001
IDSOLVER= 157
FILE ID= node25/372842-1177140768

PBS_JOBID= 4648807

Free space on /tmp= 66367 MiB

SOLVER NAME= PBS4 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_026_area_delay.opb
COMMAND LINE= /tmp/evaluation/372842-1177140768/PBS4 /tmp/evaluation/372842-1177140768/instance-372842-1177140768.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node25/convwatcher-372842-1177140768 -o ROOT/results/node25/conversion-372842-1177140768 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372842-1177140768/instance-372842-1177140768.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  4c21c441bf9f3f3be8f0cdb52c39f9b4

RANDOM SEED= 712188343

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node25.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.261
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.261
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:       1782392 kB
Buffers:         60636 kB
Cached:         160828 kB
SwapCached:       3684 kB
Active:          67296 kB
Inactive:       165208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1782392 kB
SwapTotal:     4192956 kB
SwapFree:      4182972 kB
Dirty:            2356 kB
Writeback:           0 kB
Mapped:          15752 kB
Slab:            27020 kB
Committed_AS:  4080536 kB
PageTables:       1472 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= 66367 MiB

End job on node25 on Sat Apr 21 08:02:51 UTC 2007