Trace number 2655775

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.12 1800.66

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_005_area_delay.opb
MD5SUM1a8b297a620c2a2aaf0a7beca79ff945
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark61.5186
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 33
Optimality of the best value was proved NO
Number of variables17114
Total number of constraints123451
Number of constraints which are clauses123451
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 8405
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 8405
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8405
Number of bits of the biggest sum of numbers14
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-2655775-1276631862.opb.
0.00/0.00	c Instance file HOME/instance-2655775-1276631862.opb
0.00/0.00	c File size is 4198421 bytes.
0.49/0.59	c Highest Coefficient sum: 255
0.49/0.59	c ============================[ Problem Statistics ]=============================
0.49/0.59	c |                                                                             |
0.49/0.59	c |  Parsing time:          0.58         s                                      |
0.49/0.59	c |  Number Variables:      17114                                               |
0.49/0.59	c |  Number Clauses:        123451                                              |
0.49/0.59	c |  Number Cardinality:    0                                                   |
0.49/0.59	c |  Number PB Constraints: 0                                                   |
1.09/1.17	c ============================[ Search Statistics ]==============================
1.09/1.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.09/1.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.09/1.17	c ===============================================================================
1.09/1.17	c |         0 |   16951   123609   340895 |    41150        0    nan |  0.000 % |
1.19/1.20	c ===============================================================================
1.19/1.20	c New solution: 34
1.19/1.20	o 34
1.19/1.20	c Elapsed CPU time: 1.16682 s	Remaining CPU time: 178.833 s
1.19/1.20	c ===============================================================================
1.19/1.20	c |        22 |   16951   123610   349300 |    41203       22    178 |  0.000 % |
1.29/1.37	c |       123 |   16951   123610   349300 |    45323      123    104 |  0.952 % |
1.59/1.63	c |       273 |   16951   123610   349300 |    49856      273     82 |  0.952 % |
2.09/2.18	c |       498 |   16951   123610   349300 |    54841      498     71 |  0.952 % |
3.59/3.63	c |       837 |   16951   123610   349300 |    60325      837    111 |  0.952 % |
4.49/4.52	c |      1343 |   16951   123610   349300 |    66358     1343    101 |  0.952 % |
6.19/6.24	c |      2102 |   16951   123610   349300 |    72994     2102     88 |  0.952 % |
8.99/9.04	c |      3241 |   16951   123610   349300 |    80293     3241     91 |  0.952 % |
12.79/12.86	c |      4949 |   16951   123610   349300 |    88323     4949     85 |  0.952 % |
17.79/17.86	c |      7513 |   16951   123610   349300 |    97155     7513    111 |  0.952 % |
26.08/26.11	c |     11357 |   16951   123610   349300 |   106870    11357    110 |  0.952 % |
38.68/38.75	c |     17123 |   16951   123610   349300 |   117557    17123     92 |  0.952 % |
58.07/58.15	c |     25772 |   16951   123610   349300 |   129313    25772     91 |  0.952 % |
106.15/106.21	c |     38746 |   16951   123610   349300 |   142245    38746    195 |  0.952 % |
137.36/137.43	c |     58207 |   16951   123610   349300 |   156469    58207    159 |  0.952 % |
181.03/181.12	c There are 163 assigned variables. 2 in cost function.
183.43/183.56	c core #1
183.43/183.56	c core #2
183.43/183.56	c core #3
183.43/183.56	c core #4
183.43/183.56	c core #5
183.43/183.56	c core #6
183.43/183.56	c core #7
183.43/183.56	c core #8
183.43/183.56	c core #9
183.43/183.56	c core #10
183.43/183.56	c core #11
183.43/183.56	c core #12
183.43/183.56	c core #13
183.43/183.56	c core #14
183.43/183.56	c core #15
183.43/183.56	c core #16
183.43/183.56	c core #17
183.43/183.56	c core #18
183.43/183.56	c core #19
183.43/183.56	c core #20
183.43/183.56	c ============================[ Search Statistics ]==============================
183.43/183.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.43/183.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.43/183.56	c ===============================================================================
183.43/183.56	c |         0 |   13595   129972   169593 |    43324        0    nan |  0.000 % |
183.73/183.87	c ===============================================================================
183.83/183.99	c core #21
183.83/183.99	c ============================[ Search Statistics ]==============================
183.83/183.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.83/183.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.83/183.99	c ===============================================================================
183.83/183.99	c |         0 |   21306   130502   259890 |    43500        0    nan |  0.000 % |
184.64/184.70	c |       100 |   21306   130502   259890 |    47850      100    522 | 16.558 % |
185.24/185.38	c |       250 |   21306   130502   259890 |    52635      250    759 | 16.558 % |
186.53/186.65	c |       476 |   21306   130502   259890 |    57899      476    758 | 16.558 % |
188.73/188.86	c |       813 |   21304   130502   259890 |    63689      811    658 | 16.566 % |
191.43/191.52	c |      1321 |   21304   130502   259890 |    70058     1319    497 | 16.566 % |
198.33/198.42	c |      2080 |   21304   130502   259890 |    77064     2078    415 | 16.566 % |
202.02/202.17	c ===============================================================================
202.22/202.34	c core #22
202.22/202.34	c ============================[ Search Statistics ]==============================
202.22/202.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.22/202.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.22/202.34	c ===============================================================================
202.22/202.34	c |         0 |   29271   132518   281449 |    44172        0    nan |  0.000 % |
202.81/202.90	c |       100 |   29271   132518   281449 |    48589      100    211 | 12.519 % |
203.43/203.52	c |       251 |   29271   132518   281449 |    53448      251    137 | 12.519 % |
205.21/205.30	c |       478 |   29271   132518   281449 |    58793      478    246 | 12.519 % |
211.71/211.87	c |       815 |   29271   132518   281449 |    64673      815    446 | 12.519 % |
215.31/215.41	c |      1323 |   29271   132518   281449 |    71140     1323    382 | 12.519 % |
219.11/219.20	c |      2083 |   29271   132518   281449 |    78254     2083    312 | 12.519 % |
232.91/233.00	c |      3222 |   29271   132518   281449 |    86080     3222    401 | 12.519 % |
255.39/255.58	c |      4933 |   29271   132518   281449 |    94688     4933    404 | 12.519 % |
297.58/297.75	c |      7495 |   29271   132518   281449 |   104156     7495    561 | 12.519 % |
323.88/324.01	c |     11340 |   29271   132518   281449 |   114572    11340    747 | 12.519 % |
410.06/410.23	c |     17106 |   29271   132518   281449 |   126029    17106    703 | 12.519 % |
548.52/548.76	c |     25755 |   29269   132518   281449 |   138632    25752    672 | 12.525 % |
784.54/784.87	c |     38730 |   29269   132518   281449 |   152496    38724    743 | 12.525 % |
1080.67/1081.08	c |     58193 |   29269   132518   281449 |   167745    58187    804 | 12.525 % |
1543.04/1543.50	c |     87385 |   29269   132518   281449 |   184520    87379    830 | 12.525 % |
1774.67/1775.25	c ===============================================================================
1778.37/1778.95	c core #23
1778.37/1778.95	c ============================[ Search Statistics ]==============================
1778.37/1778.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1778.37/1778.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1778.37/1778.95	c ===============================================================================
1778.37/1778.95	c |         0 |   37743   135012   304943 |    45004        0    nan |  0.000 % |
1779.06/1779.60	c |       100 |   37743   135012   304943 |    49504      100    657 |  9.990 % |
1779.56/1780.10	c |       250 |   37743   135012   304943 |    54454      250    302 |  9.990 % |
1783.76/1784.35	c |       477 |   37743   135012   304943 |    59900      477    527 |  9.990 % |
1786.37/1786.94	c |       817 |   37743   135012   304943 |    65890      817    367 |  9.990 % |
1791.06/1791.67	c |      1323 |   37743   135012   304943 |    72479     1323    358 |  9.990 % |
1794.57/1795.20	c |      2084 |   37743   135012   304943 |    79727     2084    304 |  9.990 % |

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-2655775-1276631862/watcher-2655775-1276631862 -o /tmp/evaluation-result-2655775-1276631862/solver-2655775-1276631862 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655775-1276631862.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: 1.85 1.96 1.63 3/105 11404
/proc/meminfo: memFree=1819732/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=7548 CPUtime=0
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 471 0 0 0 0 0 0 0 25 0 1 0 4479716 7729152 390 1992294400 134512640 135751879 4286598656 18446744073709551615 134613782 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 1887 390 141 303 0 556 0

[startup+0.0679829 s]
/proc/loadavg: 1.85 1.96 1.63 3/105 11404
/proc/meminfo: memFree=1819732/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=9956 CPUtime=0.06
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 1139 0 0 0 6 0 0 0 25 0 1 0 4479716 10194944 1058 1992294400 134512640 135751879 4286598656 18446744073709551615 134559719 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 2489 1058 242 303 0 1158 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9956

[startup+0.100985 s]
/proc/loadavg: 1.85 1.96 1.63 3/105 11404
/proc/meminfo: memFree=1819732/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=10476 CPUtime=0.09
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 1304 0 0 0 9 0 0 0 25 0 1 0 4479716 10727424 1223 1992294400 134512640 135751879 4286598656 18446744073709551615 134559722 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 2619 1223 298 303 0 1288 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10476

[startup+0.301004 s]
/proc/loadavg: 1.85 1.96 1.63 3/105 11404
/proc/meminfo: memFree=1819732/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=12952 CPUtime=0.29
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 2258 0 0 0 29 0 0 0 25 0 1 0 4479716 13262848 2177 1992294400 134512640 135751879 4286598656 18446744073709551615 134638393 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 3238 2177 647 303 0 1907 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12952

[startup+0.701043 s]
/proc/loadavg: 1.85 1.96 1.63 3/105 11404
/proc/meminfo: memFree=1819732/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=17696 CPUtime=0.69
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 5103 0 0 0 68 1 0 0 18 0 1 0 4479716 18120704 3898 1992294400 134512640 135751879 4286598656 18446744073709551615 135211089 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 4424 3898 145 303 0 4119 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17696

[startup+1.50112 s]
/proc/loadavg: 1.85 1.96 1.63 2/106 11405
/proc/meminfo: memFree=1803976/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=18356 CPUtime=1.49
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 5291 0 0 0 145 4 0 0 19 0 1 0 4479716 18796544 4086 1992294400 134512640 135751879 4286598656 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 4589 4086 147 303 0 4284 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18356

[startup+3.10028 s]
/proc/loadavg: 1.78 1.95 1.63 2/106 11405
/proc/meminfo: memFree=1803728/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=18356 CPUtime=3.09
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 5291 0 0 0 304 5 0 0 22 0 1 0 4479716 18796544 4086 1992294400 134512640 135751879 4286598656 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 4589 4086 147 303 0 4284 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18356

[startup+6.30159 s]
/proc/loadavg: 1.78 1.95 1.63 2/106 11405
/proc/meminfo: memFree=1803480/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=18356 CPUtime=6.29
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 5291 0 0 0 623 6 0 0 25 0 1 0 4479716 18796544 4086 1992294400 134512640 135751879 4286598656 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 4589 4086 147 303 0 4284 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18356

[startup+12.7012 s]
/proc/loadavg: 1.73 1.93 1.62 2/106 11405
/proc/meminfo: memFree=1803488/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=18356 CPUtime=12.69
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 5291 0 0 0 1261 8 0 0 25 0 1 0 4479716 18796544 4086 1992294400 134512640 135751879 4286598656 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 4589 4086 147 303 0 4284 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18356

[startup+25.5015 s]
/proc/loadavg: 1.62 1.90 1.62 2/106 11407
/proc/meminfo: memFree=1802372/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=19676 CPUtime=25.49
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 5595 0 0 0 2536 13 0 0 25 0 1 0 4479716 20148224 4390 1992294400 134512640 135751879 4286598656 18446744073709551615 134616312 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 4919 4390 147 303 0 4614 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19676

[startup+51.1009 s]
/proc/loadavg: 1.41 1.83 1.60 2/106 11407
/proc/meminfo: memFree=1797660/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=24320 CPUtime=51.07
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 6778 0 0 0 5084 23 0 0 25 0 1 0 4479716 24903680 5573 1992294400 134512640 135751879 4286598656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 6080 5573 147 303 0 5775 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 24320

[startup+102.309 s]
/proc/loadavg: 1.16 1.69 1.56 2/106 11409
/proc/meminfo: memFree=1774100/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=47740 CPUtime=102.27
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 12620 0 0 0 10176 51 0 0 25 0 1 0 4479716 48885760 11415 1992294400 134512640 135751879 4286598656 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 11935 11415 147 303 0 11630 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 47740

[startup+162.302 s]
/proc/loadavg: 1.06 1.57 1.53 2/106 11409
/proc/meminfo: memFree=1752648/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=69980 CPUtime=162.24
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 18139 0 0 0 16140 84 0 0 25 0 1 0 4479716 71659520 16934 1992294400 134512640 135751879 4286598656 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 17495 16934 147 303 0 17190 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 69980

[startup+222.302 s]
/proc/loadavg: 1.02 1.45 1.49 2/106 11420
/proc/meminfo: memFree=1741116/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=79276 CPUtime=222.21
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 21489 0 0 0 22103 118 0 0 25 0 1 0 4479716 81178624 19363 1992294400 134512640 135751879 4286598656 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 19819 19363 151 303 0 19514 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 79276

[startup+282.301 s]
/proc/loadavg: 1.01 1.38 1.46 2/106 11422
/proc/meminfo: memFree=1741116/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=79276 CPUtime=282.19
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 21489 0 0 0 28093 126 0 0 25 0 1 0 4479716 81178624 19363 1992294400 134512640 135751879 4286598656 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 19819 19363 151 303 0 19514 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 79276

[startup+342.301 s]
/proc/loadavg: 1.00 1.30 1.42 2/106 11424
/proc/meminfo: memFree=1741116/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=79276 CPUtime=342.18
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 21489 0 0 0 34082 136 0 0 25 0 1 0 4479716 81178624 19363 1992294400 134512640 135751879 4286598656 18446744073709551615 134606389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 19819 19363 151 303 0 19514 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 79276

[startup+402.301 s]
/proc/loadavg: 1.00 1.25 1.40 2/106 11426
/proc/meminfo: memFree=1741116/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=79276 CPUtime=402.15
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 21491 0 0 0 40073 142 0 0 25 0 1 0 4479716 81178624 19365 1992294400 134512640 135751879 4286598656 18446744073709551615 134605954 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 19819 19365 151 303 0 19514 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 79276

[startup+462.302 s]
/proc/loadavg: 1.00 1.20 1.37 2/106 11426
/proc/meminfo: memFree=1736156/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=85156 CPUtime=462.14
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 22960 0 0 0 46065 149 0 0 25 0 1 0 4479716 87199744 20834 1992294400 134512640 135751879 4286598656 18446744073709551615 134606459 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 21289 20834 151 303 0 20984 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 85156

[startup+522.302 s]
/proc/loadavg: 1.00 1.16 1.34 2/106 11428
/proc/meminfo: memFree=1725616/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=95532 CPUtime=522.12
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 25578 0 0 0 52056 156 0 0 25 0 1 0 4479716 97824768 23452 1992294400 134512640 135751879 4286598656 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 23883 23452 151 303 0 23578 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 95532

[startup+582.301 s]
/proc/loadavg: 1.00 1.13 1.32 2/106 11430
/proc/meminfo: memFree=1716936/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=104068 CPUtime=582.1
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 27701 0 0 0 58049 161 0 0 25 0 1 0 4479716 106565632 25575 1992294400 134512640 135751879 4286598656 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 26017 25575 151 303 0 25712 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 104068

[startup+642.301 s]
/proc/loadavg: 1.00 1.10 1.29 2/106 11432
/proc/meminfo: memFree=1705404/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=115660 CPUtime=642.09
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 30574 0 0 0 64041 168 0 0 25 0 1 0 4479716 118435840 28448 1992294400 134512640 135751879 4286598656 18446744073709551615 134606354 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 28915 28448 151 303 0 28610 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 115660

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 1.00 1.05 1.24 2/106 11436
/proc/meminfo: memFree=1654688/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=166772 CPUtime=822.04
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 43346 0 0 0 82015 189 0 0 25 0 1 0 4479716 170774528 41220 1992294400 134512640 135751879 4286598656 18446744073709551615 134606459 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 41693 41220 151 303 0 41388 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 166772

[startup+882.302 s]
/proc/loadavg: 1.04 1.05 1.22 2/106 11438
/proc/meminfo: memFree=1625424/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=195524 CPUtime=882.02
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 50558 0 0 0 88002 200 0 0 25 0 1 0 4479716 200216576 48432 1992294400 134512640 135751879 4286598656 18446744073709551615 134606453 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 48881 48432 151 303 0 48576 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 195524

[startup+942.301 s]
/proc/loadavg: 1.06 1.06 1.21 2/106 11440
/proc/meminfo: memFree=1605584/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=215400 CPUtime=942
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 55503 0 0 0 93992 208 0 0 25 0 1 0 4479716 220569600 53377 1992294400 134512640 135751879 4286598656 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 53850 53377 151 303 0 53545 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 215400

[startup+1002.3 s]
/proc/loadavg: 1.06 1.06 1.20 2/106 11442
/proc/meminfo: memFree=1600004/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=220880 CPUtime=1001.99
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 56877 0 0 0 99989 210 0 0 25 0 1 0 4479716 226181120 54751 1992294400 134512640 135751879 4286598656 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 55220 54751 151 303 0 54915 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 220880

[startup+1062.3 s]
/proc/loadavg: 1.06 1.06 1.19 2/106 11442
/proc/meminfo: memFree=1593060/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=227824 CPUtime=1061.97
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 58615 0 0 0 105984 213 0 0 25 0 1 0 4479716 233291776 56489 1992294400 134512640 135751879 4286598656 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 56956 56489 151 303 0 56651 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 227824

[startup+1122.3 s]
/proc/loadavg: 1.05 1.06 1.18 2/106 11444
/proc/meminfo: memFree=1581528/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=239140 CPUtime=1121.95
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 61465 0 0 0 111978 217 0 0 25 0 1 0 4479716 244879360 59339 1992294400 134512640 135751879 4286598656 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 59785 59339 151 303 0 59480 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 239140

[startup+1182.3 s]
/proc/loadavg: 1.11 1.07 1.18 2/106 11446
/proc/meminfo: memFree=1572724/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=248456 CPUtime=1181.94
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 63743 0 0 0 117973 221 0 0 25 0 1 0 4479716 254418944 61617 1992294400 134512640 135751879 4286598656 18446744073709551615 134606351 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 62114 61617 151 303 0 61809 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 248456

[startup+1242.3 s]
/proc/loadavg: 1.04 1.06 1.16 2/106 11448
/proc/meminfo: memFree=1550900/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=269644 CPUtime=1241.92
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 69059 0 0 0 123962 230 0 0 25 0 1 0 4479716 276115456 66933 1992294400 134512640 135751879 4286598656 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 67411 66933 151 303 0 67106 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 269644

[startup+1302.3 s]
/proc/loadavg: 1.01 1.04 1.15 2/106 11450
/proc/meminfo: memFree=1530440/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=289872 CPUtime=1301.91
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 74128 0 0 0 129951 240 0 0 25 0 1 0 4479716 296828928 72002 1992294400 134512640 135751879 4286598656 18446744073709551615 134606465 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 72468 72002 151 303 0 72163 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 289872

[startup+1362.3 s]
/proc/loadavg: 1.00 1.03 1.14 2/106 11450
/proc/meminfo: memFree=1516428/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=304092 CPUtime=1361.88
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 77660 0 0 0 135938 250 0 0 25 0 1 0 4479716 311390208 75534 1992294400 134512640 135751879 4286598656 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 76023 75534 151 303 0 75718 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 304092

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.13 2/106 11452
/proc/meminfo: memFree=1503656/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=316740 CPUtime=1421.87
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 80800 0 0 0 141930 257 0 0 25 0 1 0 4479716 324341760 78674 1992294400 134512640 135751879 4286598656 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 79185 78674 151 303 0 78880 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 316740

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.12 2/106 11454
/proc/meminfo: memFree=1482204/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=338256 CPUtime=1481.86
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 86195 0 0 0 147918 268 0 0 25 0 1 0 4479716 346374144 84069 1992294400 134512640 135751879 4286598656 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 84564 84069 151 303 0 84259 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 338256

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.11 2/106 11456
/proc/meminfo: memFree=1472036/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=348340 CPUtime=1541.84
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 88730 0 0 0 153908 276 0 0 25 0 1 0 4479716 356700160 86604 1992294400 134512640 135751879 4286598656 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 87085 86604 151 303 0 86780 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 348340

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.09 2/106 11458
/proc/meminfo: memFree=1464720/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=355520 CPUtime=1601.82
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 90508 0 0 0 159903 279 0 0 25 0 1 0 4479716 364052480 88382 1992294400 134512640 135751879 4286598656 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 88880 88382 151 303 0 88575 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 355520

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/106 11458
/proc/meminfo: memFree=1454676/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=365480 CPUtime=1661.81
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 93020 0 0 0 165896 285 0 0 25 0 1 0 4479716 374251520 90894 1992294400 134512640 135751879 4286598656 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 91370 90894 151 303 0 91065 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 365480

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/106 11460
/proc/meminfo: memFree=1443392/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=376948 CPUtime=1721.78
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 95816 0 0 0 171888 290 0 0 25 0 1 0 4479716 385994752 93690 1992294400 134512640 135751879 4286598656 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 94237 93690 151 303 0 93932 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 376948

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 11462
/proc/meminfo: memFree=1418964/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=401072 CPUtime=1781.77
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 101844 0 0 0 177879 298 0 0 25 0 1 0 4479716 410697728 99624 1992294400 134512640 135751879 4286598656 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 100268 99624 151 303 0 99963 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 401072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 11462
/proc/meminfo: memFree=1418964/2059040 swapFree=4140808/4192956
[pid=11404] ppid=11402 vsize=401072 CPUtime=1800.07
/proc/11404/stat : 11404 (wbo1.4b) R 11402 11404 11269 0 -1 4202496 101844 0 0 0 179706 301 0 0 25 0 1 0 4479716 410697728 99624 1992294400 134512640 135751879 4286598656 18446744073709551615 134641987 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11404/statm: 100268 99624 151 303 0 99963 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 401072

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.66
CPU time (s): 1800.12
CPU user time (s): 1797.06
CPU system time (s): 3.05953
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 401616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.06
system time used= 3.05953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101844
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= 6
involuntary context switches= 5711

runsolver used 3.16052 second user time and 8.32373 second system time

The end

Launcher Data 

Begin job on node089 at 2010-06-15 21:57:42
IDJOB=2655775
IDBENCH=24980
IDSOLVER=1161
FILE ID=node089/2655775-1276631862
PBS_JOBID= 11172379
Free space on /tmp= 62552 MiB

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

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

MD5SUM BENCH= 1a8b297a620c2a2aaf0a7beca79ff945
RANDOM SEED=1587738556

node089.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.244
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.48
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.244
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	: 5999.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1820260 kB
Buffers:         51680 kB
Cached:         109184 kB
SwapCached:       6356 kB
Active:          73696 kB
Inactive:       100896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1820260 kB
SwapTotal:     4192956 kB
SwapFree:      4140808 kB
Dirty:            6892 kB
Writeback:           0 kB
AnonPages:       11248 kB
Mapped:          13004 kB
Slab:            42632 kB
PageTables:       3972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180524 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= 62552 MiB
End job on node089 at 2010-06-15 22:27:45