Trace number 2655798

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
wbo 1.4b? (TO) 1800.09 1800.48

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 benchmarkOPT
Best value of the objective obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark18.4562
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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655798-1276637357.opb.
0.00/0.00	c Instance file HOME/instance-2655798-1276637357.opb
0.00/0.00	c File size is 1871109 bytes.
0.19/0.28	c Highest Coefficient sum: 255
0.19/0.29	c ============================[ Problem Statistics ]=============================
0.19/0.29	c |                                                                             |
0.19/0.29	c |  Parsing time:          0.28         s                                      |
0.19/0.29	c |  Number Variables:      13487                                               |
0.19/0.29	c |  Number Clauses:        57800                                               |
0.19/0.29	c |  Number Cardinality:    0                                                   |
0.19/0.29	c |  Number PB Constraints: 0                                                   |
1.09/1.12	c ============================[ Search Statistics ]==============================
1.09/1.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.09/1.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.09/1.12	c ===============================================================================
1.09/1.12	c |         0 |   13193    58081   148998 |    19266        0    nan |  0.000 % |
1.09/1.14	c ===============================================================================
1.09/1.14	c New solution: 24
1.09/1.14	o 24
1.09/1.14	c Elapsed CPU time: 1.12383 s	Remaining CPU time: 178.876 s
1.09/1.14	c ===============================================================================
1.09/1.14	c |         0 |   13193    58082   155484 |    19360        0    nan |  0.000 % |
1.39/1.45	c |       100 |   13193    58082   155484 |    21296      100    204 |  2.180 % |
1.59/1.65	c |       250 |   13193    58082   155484 |    23426      250    139 |  2.180 % |
1.99/2.05	c |       478 |   13193    58082   155484 |    25769      478     94 |  2.180 % |
3.09/3.15	c |       815 |   13193    58082   155484 |    28345      815     89 |  2.180 % |
5.19/5.28	c |      1322 |   13193    58082   155484 |    31180     1322     75 |  2.180 % |
7.89/7.96	c |      2083 |   13193    58082   155484 |    34298     2083    109 |  2.180 % |
10.90/10.95	c |      3222 |   13193    58082   155484 |    37728     3222    115 |  2.180 % |
15.88/15.91	c |      4930 |   13193    58082   155484 |    41501     4930    109 |  2.180 % |
21.68/21.72	c |      7492 |   13193    58082   155484 |    45651     7492    163 |  2.180 % |
37.09/37.14	c |     11337 |   13193    58082   155484 |    50216    11337    134 |  2.180 % |
49.78/49.84	c |     17105 |   13193    58082   155484 |    55238    17105    193 |  2.180 % |
70.77/70.84	c |     25756 |   13193    58082   155484 |    60762    25756    204 |  2.180 % |
107.07/107.10	c |     38731 |   13193    58082   155484 |    66838    38731    271 |  2.180 % |
162.95/163.06	c |     58194 |   13193    58082   155484 |    73522    58194    244 |  2.180 % |
180.95/181.05	c There are 294 assigned variables. 1 in cost function.
181.85/181.90	c core #1
181.85/181.90	c core #2
181.85/181.90	c core #3
181.85/181.90	c core #4
181.85/181.90	c core #5
181.85/181.90	c core #6
181.85/181.90	c core #7
181.85/181.90	c core #8
181.85/181.90	c core #9
181.85/181.90	c core #10
181.85/181.90	c core #11
181.85/181.90	c core #12
181.85/181.90	c core #13
181.85/181.90	c ============================[ Search Statistics ]==============================
181.85/181.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.85/181.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.85/181.90	c ===============================================================================
181.85/181.90	c |         0 |    1998    60965    73545 |    20321        0    nan |  0.000 % |
181.95/182.06	c ===============================================================================
182.05/182.13	c core #14
182.05/182.13	c ============================[ Search Statistics ]==============================
182.05/182.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.05/182.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.05/182.13	c ===============================================================================
182.05/182.13	c |         0 |    8868    61000   114210 |    20333        0    nan |  0.000 % |
182.15/182.26	c |       101 |    8868    61000   114210 |    22366      101    210 | 46.157 % |
184.05/184.16	c |       252 |    8868    61000   114210 |    24603      252    158 | 46.157 % |
186.95/187.04	c |       478 |    8867    61000   114210 |    27063      477    156 | 46.163 % |
190.85/190.92	c |       815 |    8690    61000   114210 |    29770      777    144 | 47.237 % |
191.15/191.25	c ===============================================================================
191.25/191.35	c core #15
191.25/191.35	c ============================[ Search Statistics ]==============================
191.25/191.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.25/191.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.25/191.35	c ===============================================================================
191.25/191.35	c |         0 |   14738    61286   151086 |    20428        0    nan |  0.000 % |
191.35/191.43	c |       100 |   14738    61286   151086 |    22471      100    579 | 27.090 % |
191.74/191.84	c |       255 |   14738    61286   151086 |    24718      255    349 | 27.090 % |
192.15/192.29	c |       481 |   14738    61286   151086 |    27190      481    248 | 27.090 % |
197.05/197.17	c |       818 |   14738    61286   151086 |    29909      818    260 | 27.090 % |
202.64/202.72	c |      1324 |   14738    61286   151086 |    32900     1324    361 | 27.090 % |
206.75/206.82	c |      2084 |   14738    61286   151086 |    36190     2084    424 | 27.090 % |
212.44/212.50	c |      3224 |   14738    61286   151086 |    39809     3224    380 | 27.090 % |
227.34/227.49	c |      4936 |   14738    61286   151086 |    43790     4936    327 | 27.090 % |
237.03/237.18	c |      7498 |   14738    61286   151086 |    48169     7498    302 | 27.090 % |
259.23/259.32	c |     11343 |   14737    61286   151086 |    52986    11342    435 | 27.095 % |
317.02/317.12	c |     17109 |   14737    61286   151086 |    58285    17108    599 | 27.095 % |
430.01/430.12	c |     25758 |   14737    61286   151086 |    64113    25757    885 | 27.095 % |
554.87/555.06	c |     38734 |   14737    61286   151086 |    70525    38733   1037 | 27.095 % |
763.93/764.13	c |     58199 |   14737    61286   151086 |    77577    58198   1122 | 27.095 % |
999.07/999.32	c |     87392 |   14737    61286   151086 |    85335    18474    706 | 27.095 % |
1607.94/1608.31	c |    131181 |   14737    61286   151086 |    93869    62263   1282 | 27.095 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655798-1276637357/watcher-2655798-1276637357 -o /tmp/evaluation-result-2655798-1276637357/solver-2655798-1276637357 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655798-1276637357.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 11626
/proc/meminfo: memFree=1835960/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=5276 CPUtime=0
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 467 0 0 0 0 0 0 0 20 0 1 0 5031076 5402624 385 1992294400 134512640 135751879 4288690096 18446744073709551615 134613740 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 1319 385 140 303 0 557 0

[startup+0.0420961 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 11626
/proc/meminfo: memFree=1835960/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=6400 CPUtime=0.04
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 810 0 0 0 4 0 0 0 20 0 1 0 5031076 6553600 728 1992294400 134512640 135751879 4288690096 18446744073709551615 135395760 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 1600 730 193 303 0 838 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6400

[startup+0.101099 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 11626
/proc/meminfo: memFree=1835960/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=7392 CPUtime=0.09
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 1138 0 0 0 9 0 0 0 20 0 1 0 5031076 7569408 1056 1992294400 134512640 135751879 4288690096 18446744073709551615 135161896 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 1848 1057 283 303 0 1086 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7392

[startup+0.301112 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 11626
/proc/meminfo: memFree=1835960/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=10380 CPUtime=0.29
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 2678 0 0 0 29 0 0 0 20 0 1 0 5031076 10629120 2107 1992294400 134512640 135751879 4288690096 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 2595 2109 144 303 0 2290 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10380

[startup+0.701135 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 11626
/proc/meminfo: memFree=1835960/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=12328 CPUtime=0.69
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 3173 0 0 0 68 1 0 0 21 0 1 0 5031076 12623872 2602 1992294400 134512640 135751879 4288690096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 3082 2602 145 303 0 2777 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12328

[startup+1.50118 s]
/proc/loadavg: 0.92 0.99 0.99 2/107 11627
/proc/meminfo: memFree=1825660/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=12592 CPUtime=1.49
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 3252 0 0 0 147 2 0 0 23 0 1 0 5031076 12894208 2681 1992294400 134512640 135751879 4288690096 18446744073709551615 134620510 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 3148 2681 147 303 0 2843 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12592

[startup+3.10128 s]
/proc/loadavg: 0.93 0.99 0.99 2/107 11627
/proc/meminfo: memFree=1825412/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=12592 CPUtime=3.09
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 3252 0 0 0 305 4 0 0 25 0 1 0 5031076 12894208 2681 1992294400 134512640 135751879 4288690096 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 3148 2681 147 303 0 2843 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12592

[startup+6.30048 s]
/proc/loadavg: 0.93 0.99 0.99 2/107 11627
/proc/meminfo: memFree=1825288/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=12592 CPUtime=6.29
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 3252 0 0 0 623 6 0 0 25 0 1 0 5031076 12894208 2681 1992294400 134512640 135751879 4288690096 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 3148 2681 147 303 0 2843 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12592

[startup+12.7019 s]
/proc/loadavg: 0.94 0.99 0.99 2/107 11629
/proc/meminfo: memFree=1825164/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=12592 CPUtime=12.69
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 3252 0 0 0 1260 9 0 0 25 0 1 0 5031076 12894208 2681 1992294400 134512640 135751879 4288690096 18446744073709551615 134620376 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 3148 2681 147 303 0 2843 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12592

[startup+25.5007 s]
/proc/loadavg: 0.95 0.99 0.99 2/107 11629
/proc/meminfo: memFree=1822560/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=15496 CPUtime=25.48
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 3973 0 0 0 2529 19 0 0 25 0 1 0 5031076 15867904 3402 1992294400 134512640 135751879 4288690096 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 3874 3402 147 303 0 3569 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15496

[startup+51.1012 s]
/proc/loadavg: 0.96 0.99 0.99 2/107 11629
/proc/meminfo: memFree=1812888/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=25256 CPUtime=51.08
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 6430 0 0 0 5075 33 0 0 25 0 1 0 5031076 25862144 5859 1992294400 134512640 135751879 4288690096 18446744073709551615 134642011 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 6314 5859 147 303 0 6009 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25256

[startup+102.308 s]
/proc/loadavg: 0.98 0.99 0.99 2/107 11631
/proc/meminfo: memFree=1783872/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=54128 CPUtime=102.28
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 13621 0 0 0 10166 62 0 0 25 0 1 0 5031076 55427072 13050 1992294400 134512640 135751879 4288690096 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 13532 13050 147 303 0 13227 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 54128

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 11636
/proc/meminfo: memFree=1762296/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=75172 CPUtime=162.25
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 18884 0 0 0 16135 90 0 0 25 0 1 0 5031076 76976128 18313 1992294400 134512640 135751879 4288690096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 18793 18313 147 303 0 18488 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 75172

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 11636
/proc/meminfo: memFree=1746796/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=89948 CPUtime=222.24
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 23155 0 0 0 22115 109 0 0 25 0 1 0 5031076 92106752 22031 1992294400 134512640 135751879 4288690096 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 22487 22031 151 303 0 22182 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 89948

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 11638
/proc/meminfo: memFree=1746796/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=89948 CPUtime=282.23
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 23160 0 0 0 28100 123 0 0 25 0 1 0 5031076 92106752 22036 1992294400 134512640 135751879 4288690096 18446744073709551615 134606354 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 22487 22036 151 303 0 22182 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 89948

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 11640
/proc/meminfo: memFree=1746796/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=89948 CPUtime=342.22
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 23160 0 0 0 34091 131 0 0 25 0 1 0 5031076 92106752 22036 1992294400 134512640 135751879 4288690096 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 22487 22036 151 303 0 22182 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 89948

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 11642
/proc/meminfo: memFree=1732536/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=105152 CPUtime=402.2
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 26986 0 0 0 40082 138 0 0 25 0 1 0 5031076 107675648 25862 1992294400 134512640 135751879 4288690096 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 26288 25862 151 303 0 25983 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 105152

[startup+462.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 11644
/proc/meminfo: memFree=1702900/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=134672 CPUtime=462.19
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 34337 0 0 0 46067 152 0 0 25 0 1 0 5031076 137904128 33213 1992294400 134512640 135751879 4288690096 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 33668 33213 151 303 0 33363 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 134672

[startup+522.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 11644
/proc/meminfo: memFree=1669296/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=168316 CPUtime=522.18
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 42778 0 0 0 52055 163 0 0 25 0 1 0 5031076 172355584 41654 1992294400 134512640 135751879 4288690096 18446744073709551615 134606342 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 42079 41654 151 303 0 41774 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 168316

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 11646
/proc/meminfo: memFree=1642512/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=195132 CPUtime=582.16
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 49439 0 0 0 58043 173 0 0 25 0 1 0 5031076 199815168 48315 1992294400 134512640 135751879 4288690096 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 48783 48315 151 303 0 48478 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 195132

[startup+642.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 11648
/proc/meminfo: memFree=1609032/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=228248 CPUtime=642.16
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 57728 0 0 0 64028 188 0 0 25 0 1 0 5031076 233725952 56604 1992294400 134512640 135751879 4288690096 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 57062 56604 151 303 0 56757 0
Current children cumulated CPU time (s) 642.16
Current children cumulated vsize (KiB) 228248

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 11652
/proc/meminfo: memFree=1522108/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=315116 CPUtime=822.11
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 79396 0 0 0 81989 222 0 0 25 0 1 0 5031076 322678784 78272 1992294400 134512640 135751879 4288690096 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 78779 78272 151 303 0 78474 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 315116

[startup+882.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 11654
/proc/meminfo: memFree=1485776/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=351312 CPUtime=882.09
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 88436 0 0 0 87971 238 0 0 25 0 1 0 5031076 359743488 87312 1992294400 134512640 135751879 4288690096 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 87828 87312 151 303 0 87523 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 351312

[startup+942.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 11656
/proc/meminfo: memFree=1457752/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=379364 CPUtime=942.09
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 95468 0 0 0 93956 253 0 0 25 0 1 0 5031076 388468736 94344 1992294400 134512640 135751879 4288690096 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 94841 94344 151 303 0 94536 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 379364

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 11658
/proc/meminfo: memFree=1432828/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=404160 CPUtime=1002.07
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 101632 0 0 0 99940 267 0 0 25 0 1 0 5031076 413859840 100508 1992294400 134512640 135751879 4288690096 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 101040 100508 151 303 0 100735 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 404160

[startup+1062.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 11660
/proc/meminfo: memFree=1413112/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=424032 CPUtime=1062.05
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 106617 0 0 0 105932 273 0 0 25 0 1 0 5031076 434208768 105493 1992294400 134512640 135751879 4288690096 18446744073709551615 134606389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 106008 105493 151 303 0 105703 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 424032

[startup+1122.3 s]
/proc/loadavg: 1.11 1.03 1.00 2/107 11660
/proc/meminfo: memFree=1388684/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=448416 CPUtime=1122.05
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 112690 0 0 0 111922 283 0 0 25 0 1 0 5031076 459177984 111566 1992294400 134512640 135751879 4288690096 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 112104 111566 151 303 0 111799 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 448416

[startup+1182.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 11662
/proc/meminfo: memFree=1358180/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=479084 CPUtime=1182.03
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 120381 0 0 0 117911 292 0 0 25 0 1 0 5031076 490582016 119257 1992294400 134512640 135751879 4288690096 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 119771 119257 151 303 0 119466 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 479084

[startup+1242.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 11664
/proc/meminfo: memFree=1322840/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=513756 CPUtime=1242.02
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 129041 0 0 0 123901 301 0 0 25 0 1 0 5031076 526086144 127917 1992294400 134512640 135751879 4288690096 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 128439 127917 151 303 0 128134 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 513756

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11666
/proc/meminfo: memFree=1286756/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=549400 CPUtime=1302.02
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 137955 0 0 0 129889 313 0 0 25 0 1 0 5031076 562585600 136831 1992294400 134512640 135751879 4288690096 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 137350 136831 151 303 0 137045 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 549400

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11668
/proc/meminfo: memFree=1260096/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=576212 CPUtime=1362
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 144639 0 0 0 135878 322 0 0 25 0 1 0 5031076 590041088 143515 1992294400 134512640 135751879 4288690096 18446744073709551615 134642946 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 144053 143515 151 303 0 143748 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 576212

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11668
/proc/meminfo: memFree=1235172/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=601160 CPUtime=1421.99
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 150879 0 0 0 141866 333 0 0 25 0 1 0 5031076 615587840 149755 1992294400 134512640 135751879 4288690096 18446744073709551615 134606367 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 150290 149755 151 303 0 149985 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 601160

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11670
/proc/meminfo: memFree=1204048/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=632184 CPUtime=1481.96
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 158649 0 0 0 147849 347 0 0 25 0 1 0 5031076 647356416 157525 1992294400 134512640 135751879 4288690096 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 158046 157525 151 303 0 157741 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 632184

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11672
/proc/meminfo: memFree=1172428/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=663684 CPUtime=1541.96
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 166505 0 0 0 153835 361 0 0 25 0 1 0 5031076 679612416 165381 1992294400 134512640 135751879 4288690096 18446744073709551615 134606453 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 165921 165381 151 303 0 165616 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 663684

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11674
/proc/meminfo: memFree=1142668/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=693396 CPUtime=1601.95
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 173952 0 0 0 159825 370 0 0 25 0 1 0 5031076 710037504 172828 1992294400 134512640 135751879 4288690096 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 173349 172828 151 303 0 173044 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 693396

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11676
/proc/meminfo: memFree=1106708/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=729188 CPUtime=1661.93
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 182881 0 0 0 165803 390 0 0 25 0 1 0 5031076 746688512 181757 1992294400 134512640 135751879 4288690096 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 182297 181757 151 303 0 181992 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 729188

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11676
/proc/meminfo: memFree=1066904/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=769540 CPUtime=1721.92
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 192954 0 0 0 171786 406 0 0 25 0 1 0 5031076 788008960 191830 1992294400 134512640 135751879 4288690096 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 192385 191830 151 303 0 192080 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 769540

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11678
/proc/meminfo: memFree=1049172/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=786364 CPUtime=1781.9
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 197169 0 0 0 177776 414 0 0 25 0 1 0 5031076 805236736 196045 1992294400 134512640 135751879 4288690096 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 196591 196045 151 303 0 196286 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 786364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11678
/proc/meminfo: memFree=1045080/2059040 swapFree=4164944/4192956
[pid=11626] ppid=11624 vsize=790504 CPUtime=1800
/proc/11626/stat : 11626 (wbo1.4b) R 11624 11626 10758 0 -1 4202496 198202 0 0 0 179585 415 0 0 25 0 1 0 5031076 809476096 197078 1992294400 134512640 135751879 4288690096 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11626/statm: 197626 197078 151 303 0 197321 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 790504

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.48
CPU time (s): 1800.09
CPU user time (s): 1795.86
CPU system time (s): 4.23436
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 790504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.86
system time used= 4.23436
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198202
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= 3
involuntary context switches= 21462

runsolver used 3.01654 second user time and 8.45371 second system time

The end

Launcher Data 

Begin job on node029 at 2010-06-15 23:29:17
IDJOB=2655798
IDBENCH=25003
IDSOLVER=1161
FILE ID=node029/2655798-1276637357
PBS_JOBID= 11172353
Free space on /tmp= 62572 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir09_area_delay.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655798-1276637357/watcher-2655798-1276637357 -o /tmp/evaluation-result-2655798-1276637357/solver-2655798-1276637357 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655798-1276637357.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 5a18fe98bad06341d01eaf33ecb4f046
RANDOM SEED=342396746

node029.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.221
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.44
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.221
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1836488 kB
Buffers:         25724 kB
Cached:          98460 kB
SwapCached:       1508 kB
Active:          96040 kB
Inactive:        62480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1836488 kB
SwapTotal:     4192956 kB
SwapFree:      4164944 kB
Dirty:            4876 kB
Writeback:           0 kB
AnonPages:       32764 kB
Mapped:          15224 kB
Slab:            42160 kB
PageTables:       3900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182940 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62572 MiB
End job on node029 at 2010-06-15 23:59:19