Trace number 2655790

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.17 1800.69

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_007_area_delay.opb
MD5SUM22488dc65cdc0686edc96d304bd4d620
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 benchmark26.194
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31
Optimality of the best value was proved NO
Number of variables11334
Total number of constraints36509
Number of constraints which are clauses36509
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 5525
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 5525
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 5525
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 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655790-1276635468.opb.
0.00/0.00	c Instance file HOME/instance-2655790-1276635468.opb
0.00/0.00	c File size is 1084997 bytes.
0.10/0.15	c Highest Coefficient sum: 128
0.10/0.15	c ============================[ Problem Statistics ]=============================
0.10/0.15	c |                                                                             |
0.10/0.15	c |  Parsing time:          0.16         s                                      |
0.10/0.15	c |  Number Variables:      11334                                               |
0.10/0.15	c |  Number Clauses:        36509                                               |
0.10/0.15	c |  Number Cardinality:    0                                                   |
0.10/0.15	c |  Number PB Constraints: 0                                                   |
0.59/0.65	c ============================[ Search Statistics ]==============================
0.59/0.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.65	c ===============================================================================
0.59/0.65	c |         0 |    9140    36573    86293 |    12169        0    nan |  0.000 % |
0.59/0.68	c ===============================================================================
0.59/0.68	c New solution: 32
0.59/0.68	o 32
0.59/0.68	c Elapsed CPU time: 0.663899 s	Remaining CPU time: 179.336 s
0.59/0.68	c ===============================================================================
0.59/0.68	c |        18 |    9140    36574    91818 |    12191       18      9 |  0.000 % |
0.69/0.73	c |       118 |    9140    36574    91818 |    13410      118     27 | 19.358 % |
0.79/0.82	c |       268 |    9140    36574    91818 |    14751      268     25 | 19.358 % |
1.00/1.03	c |       493 |    9140    36574    91818 |    16226      493     43 | 19.358 % |
1.19/1.27	c |       830 |    9140    36574    91818 |    17849      830     38 | 19.358 % |
1.69/1.72	c |      1337 |    9140    36574    91818 |    19634     1337     43 | 19.358 % |
2.29/2.35	c |      2096 |    9140    36574    91818 |    21597     2096     52 | 19.358 % |
3.59/3.62	c |      3236 |    9140    36574    91818 |    23757     3236     70 | 19.358 % |
5.09/5.19	c |      4944 |    9140    36574    91818 |    26133     4944     79 | 19.358 % |
7.59/7.70	c |      7507 |    9140    36574    91818 |    28746     7507     82 | 19.358 % |
10.99/11.05	c |     11351 |    9140    36574    91818 |    31621    11351     97 | 19.358 % |
17.79/17.86	c |     17117 |    9140    36574    91818 |    34783    17117     93 | 19.358 % |
25.69/25.74	c |     25768 |    9140    36574    91818 |    38261    25768    102 | 19.358 % |
26.19/26.20	c ===============================================================================
26.19/26.20	c New solution: 31
26.19/26.20	o 31
26.19/26.20	c Elapsed CPU time: 25.98 s	Remaining CPU time: 154.02 s
26.19/26.20	c ===============================================================================
26.19/26.20	c |     26190 |    9140    36575    97343 |    12191    26190    102 | 19.358 % |
26.29/26.37	c |     26290 |    9140    36575    97343 |    13410    11251    111 | 19.358 % |
26.48/26.52	c |     26440 |    9140    36575    97343 |    14751    11401    111 | 19.358 % |
26.69/26.77	c |     26665 |    9140    36575    97343 |    16227    11626    109 | 19.358 % |
26.98/27.08	c |     27002 |    9140    36575    97343 |    17849    11963    107 | 19.358 % |
27.58/27.65	c |     27510 |    9140    36575    97343 |    19634    12471    105 | 19.358 % |
28.28/28.34	c |     28269 |    9140    36575    97343 |    21598    13230    106 | 19.358 % |
29.48/29.60	c |     29410 |    9140    36575    97343 |    23758    14371    102 | 19.358 % |
31.39/31.49	c |     31118 |    9140    36575    97343 |    26133    16079     95 | 19.358 % |
34.09/34.12	c |     33680 |    9140    36575    97343 |    28747    18641     94 | 19.358 % |
37.58/37.62	c |     37526 |    9140    36575    97343 |    31622    22487     94 | 19.358 % |
42.88/42.93	c |     43292 |    9140    36575    97343 |    34784    28253     93 | 19.358 % |
51.27/51.34	c |     51942 |    9140    36575    97343 |    38262    36903     94 | 19.358 % |
64.27/64.32	c |     64916 |    9140    36575    97343 |    42088    17909     96 | 19.358 % |
83.96/84.07	c |     84379 |    9140    36575    97343 |    46297    37372    108 | 19.358 % |
117.16/117.29	c |    113574 |    9140    36575    97343 |    50927    27071    107 | 19.358 % |
132.16/132.25	c ===============================================================================
132.16/132.25	c New solution: 30
132.16/132.25	o 30
132.16/132.25	c Elapsed CPU time: 131.342 s	Remaining CPU time: 48.658 s
132.16/132.25	c ===============================================================================
132.16/132.25	c |    129415 |    9140    36576   102868 |    12192    42912    100 | 19.358 % |
132.56/132.67	c |    129515 |    9140    36576   102868 |    13411    11713     92 | 19.358 % |
132.65/132.79	c |    129666 |    9140    36576   102868 |    14752    11864     91 | 19.358 % |
132.96/133.09	c |    129891 |    9140    36576   102868 |    16227    12089     90 | 19.358 % |
133.25/133.36	c |    130229 |    9140    36576   102868 |    17850    12427     89 | 19.358 % |
133.76/133.85	c |    130737 |    9140    36576   102868 |    19635    12935     87 | 19.358 % |
134.55/134.64	c |    131499 |    9140    36576   102868 |    21598    13697     87 | 19.358 % |
135.55/135.67	c |    132639 |    9140    36576   102868 |    23758    14837     88 | 19.358 % |
137.46/137.57	c |    134347 |    9140    36576   102868 |    26134    16545     86 | 19.358 % |
139.66/139.78	c |    136909 |    9140    36576   102868 |    28748    19107     89 | 19.358 % |
143.96/144.06	c |    140753 |    9140    36576   102868 |    31622    22951     87 | 19.358 % |
149.15/149.26	c |    146521 |    9140    36576   102868 |    34785    28719     93 | 19.358 % |
160.24/160.33	c |    155171 |    9140    36576   102868 |    38263    37369     93 | 19.358 % |
174.04/174.19	c |    168146 |    9140    36576   102868 |    42090    18790     94 | 19.358 % |
181.14/181.23	c There are 2194 assigned variables. 1065 in cost function.
182.64/182.78	c core #1
182.64/182.78	c core #2
182.64/182.78	c core #3
182.64/182.78	c core #4
182.64/182.78	c core #5
182.64/182.78	c core #6
182.64/182.78	c core #7
182.64/182.78	c core #8
182.64/182.78	c core #9
182.64/182.78	c core #10
182.64/182.78	c core #11
182.64/182.78	c core #12
182.64/182.78	c core #13
182.64/182.78	c core #14
182.64/182.78	c core #15
182.64/182.78	c core #16
182.64/182.78	c core #17
182.64/182.78	c core #18
182.64/182.78	c core #19
182.64/182.78	c core #20
182.64/182.78	c core #21
182.64/182.78	c ============================[ Search Statistics ]==============================
182.64/182.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.64/182.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.64/182.78	c ===============================================================================
182.64/182.78	c |         0 |    1514    36100    52050 |    12033        0    nan |  0.000 % |
182.64/182.80	c ===============================================================================
182.74/182.87	c core #22
182.74/182.87	c ============================[ Search Statistics ]==============================
182.74/182.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.74/182.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.74/182.87	c ===============================================================================
182.74/182.87	c |         0 |    2421    36111    54695 |    12037        0    nan |  0.000 % |
182.84/182.90	c ===============================================================================
182.84/182.97	c core #23
182.84/182.97	c ============================[ Search Statistics ]==============================
182.84/182.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.84/182.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.84/182.97	c ===============================================================================
182.84/182.97	c |         0 |    3153    36227    56862 |    12075        0    nan |  0.000 % |
182.94/183.04	c |       100 |    3153    36227    56862 |    13283      100     90 | 74.966 % |
183.04/183.12	c |       251 |    3153    36227    56862 |    14611      251     75 | 74.966 % |
183.14/183.27	c |       478 |    3153    36227    56862 |    16072      478     72 | 74.966 % |
183.24/183.33	c ===============================================================================
183.34/183.41	c core #24
183.34/183.41	c ============================[ Search Statistics ]==============================
183.34/183.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.34/183.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.34/183.41	c ===============================================================================
183.34/183.41	c |         0 |    4566    36718    61026 |    12239        0    nan |  0.000 % |
183.34/183.49	c |       100 |    4566    36718    61026 |    13463      100    139 | 66.771 % |
183.44/183.59	c |       250 |    4566    36718    61026 |    14809      250     93 | 66.771 % |
183.64/183.79	c |       476 |    4566    36718    61026 |    16290      476     70 | 66.771 % |
183.94/184.02	c |       815 |    4566    36718    61026 |    17919      815     81 | 66.771 % |
184.24/184.36	c |      1321 |    4566    36718    61026 |    19711     1321     80 | 66.771 % |
184.94/185.02	c |      2081 |    4566    36718    61026 |    21682     2081     82 | 66.771 % |
185.74/185.86	c |      3220 |    4566    36718    61026 |    23850     3220    102 | 66.771 % |
187.34/187.49	c |      4929 |    4566    36718    61026 |    26236     4929    111 | 66.771 % |
190.43/190.55	c |      7492 |    4566    36718    61026 |    28859     7492    115 | 66.771 % |
195.42/195.51	c |     11337 |    4566    36718    61026 |    31745    11337    118 | 66.771 % |
199.52/199.61	c ===============================================================================
199.82/199.95	c core #25
199.82/199.95	c ============================[ Search Statistics ]==============================
199.82/199.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.82/199.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.82/199.95	c ===============================================================================
199.82/199.95	c |         0 |    5973    37410    65231 |    12470        0    nan |  0.000 % |
199.93/200.04	c |       100 |    5973    37410    65231 |    13717      100    227 | 60.569 % |
200.03/200.13	c |       251 |    5973    37410    65231 |    15088      251    128 | 60.569 % |
200.22/200.34	c |       477 |    5973    37410    65231 |    16597      477    118 | 60.569 % |
200.52/200.69	c |       815 |    5973    37410    65231 |    18257      815    149 | 60.569 % |
201.02/201.13	c |      1322 |    5973    37410    65231 |    20083     1322    154 | 60.569 % |
201.62/201.75	c |      2081 |    5973    37410    65231 |    22091     2081    152 | 60.569 % |
202.72/202.88	c |      3226 |    5973    37410    65231 |    24300     3226    192 | 60.569 % |
204.93/205.08	c |      4934 |    5973    37410    65231 |    26730     4934    217 | 60.569 % |
207.73/207.88	c |      7497 |    5973    37410    65231 |    29403     7497    215 | 60.569 % |
211.82/211.92	c |     11341 |    5973    37410    65231 |    32343    11341    183 | 60.569 % |
219.42/219.52	c |     17108 |    5973    37410    65231 |    35578    17108    156 | 60.569 % |
231.92/232.07	c |     25758 |    5973    37410    65231 |    39136    25758    169 | 60.569 % |
252.00/252.11	c |     38734 |    5973    37410    65231 |    43049    38734    150 | 60.569 % |
281.10/281.28	c |     58195 |    5973    37410    65231 |    47354    18451    157 | 60.569 % |
320.09/320.21	c |     87389 |    5973    37410    65231 |    52090    47645    165 | 60.569 % |
383.97/384.11	c |    131181 |    5973    37410    65231 |    57299    43762    158 | 60.569 % |
493.84/494.08	c |    196865 |    5973    37410    65231 |    63029    56487    156 | 60.569 % |
697.78/698.07	c |    295391 |    5973    37410    65231 |    69332    41416    237 | 60.569 % |
859.85/860.19	c ===============================================================================
867.93/868.22	c core #26
867.93/868.22	c ============================[ Search Statistics ]==============================
867.93/868.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
867.93/868.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
867.93/868.22	c ===============================================================================
867.93/868.22	c |         0 |    7544    38169    69898 |    12723        0    nan |  0.000 % |
868.04/868.38	c |       100 |    7544    38169    69898 |    13995      100    341 | 54.878 % |
868.14/868.48	c |       253 |    7544    38169    69898 |    15394      253    179 | 54.878 % |
868.44/868.71	c |       479 |    7544    38169    69898 |    16934      479    129 | 54.878 % |
868.74/869.09	c |       816 |    7544    38169    69898 |    18627      816    128 | 54.878 % |
869.53/869.85	c |      1322 |    7544    38169    69898 |    20490     1322    138 | 54.878 % |
870.34/870.63	c |      2081 |    7544    38169    69898 |    22539     2081    184 | 54.878 % |
871.33/871.67	c |      3223 |    7544    38169    69898 |    24793     3223    191 | 54.878 % |
873.64/873.99	c |      4932 |    7544    38169    69898 |    27272     4932    224 | 54.878 % |
875.84/876.11	c |      7494 |    7544    38169    69898 |    30000     7494    217 | 54.878 % |
880.43/880.77	c |     11338 |    7544    38169    69898 |    33000    11338    223 | 54.878 % |
888.23/888.55	c |     17108 |    7544    38169    69898 |    36300    17108    219 | 54.878 % |
898.53/898.86	c |     25758 |    7544    38169    69898 |    39930    25758    213 | 54.878 % |
919.02/919.35	c |     38733 |    7544    38169    69898 |    43923    38733    196 | 54.878 % |
955.61/955.92	c |     58196 |    7544    38169    69898 |    48315    17590    151 | 54.878 % |
1008.40/1008.71	c |     87390 |    7544    38169    69898 |    53147    46784    147 | 54.878 % |
1087.98/1088.39	c |    131179 |    7544    38169    69898 |    58461    39203    172 | 54.878 % |
1206.83/1207.25	c |    196863 |    7544    38169    69898 |    64308    49172    184 | 54.878 % |
1379.79/1380.26	c |    295393 |    7544    38169    69898 |    70738    28330    211 | 54.878 % |
1616.02/1616.52	c |    443182 |    7544    38169    69898 |    77812    41786    208 | 54.878 % |

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-2655790-1276635468/watcher-2655790-1276635468 -o /tmp/evaluation-result-2655790-1276635468/solver-2655790-1276635468 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655790-1276635468.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.00 1.00 1.00 3/105 11568
/proc/meminfo: memFree=1817940/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=4520 CPUtime=0
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 501 0 0 0 0 0 0 0 25 0 1 0 4840341 4628480 419 1992294400 134512640 135751879 4293662208 18446744073709551615 135211148 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 1130 419 144 303 0 560 0

[startup+0.011675 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 11568
/proc/meminfo: memFree=1817940/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=4520 CPUtime=0.01
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 512 0 0 0 1 0 0 0 25 0 1 0 4840341 4628480 430 1992294400 134512640 135751879 4293662208 18446744073709551615 134613727 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 1130 430 148 303 0 560 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4520

[startup+0.100682 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 11568
/proc/meminfo: memFree=1817940/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=6476 CPUtime=0.1
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 1124 0 0 0 10 0 0 0 25 0 1 0 4840341 6631424 1042 1992294400 134512640 135751879 4293662208 18446744073709551615 134562197 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 1619 1042 300 303 0 1049 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6476

[startup+0.300701 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 11568
/proc/meminfo: memFree=1817940/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=9820 CPUtime=0.29
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 2337 0 0 0 29 0 0 0 25 0 1 0 4840341 10055680 1957 1992294400 134512640 135751879 4293662208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 2455 1957 145 303 0 2150 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9820

[startup+0.70074 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 11568
/proc/meminfo: memFree=1817940/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=9952 CPUtime=0.69
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 2371 0 0 0 68 1 0 0 25 0 1 0 4840341 10190848 1991 1992294400 134512640 135751879 4293662208 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 2488 1991 146 303 0 2183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9952

[startup+1.50082 s]
/proc/loadavg: 1.08 1.02 1.01 2/106 11569
/proc/meminfo: memFree=1810244/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=9952 CPUtime=1.49
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 2372 0 0 0 143 6 0 0 25 0 1 0 4840341 10190848 1992 1992294400 134512640 135751879 4293662208 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 2488 1992 147 303 0 2183 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9952

[startup+3.10097 s]
/proc/loadavg: 1.08 1.02 1.01 2/106 11569
/proc/meminfo: memFree=1809996/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=9952 CPUtime=3.09
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 2372 0 0 0 300 9 0 0 25 0 1 0 4840341 10190848 1992 1992294400 134512640 135751879 4293662208 18446744073709551615 134606453 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 2488 1992 147 303 0 2183 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9952

[startup+6.30028 s]
/proc/loadavg: 1.08 1.02 1.01 2/106 11569
/proc/meminfo: memFree=1809996/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=9952 CPUtime=6.29
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 2372 0 0 0 619 10 0 0 25 0 1 0 4840341 10190848 1992 1992294400 134512640 135751879 4293662208 18446744073709551615 134606354 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 2488 1992 147 303 0 2183 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9952

[startup+12.7009 s]
/proc/loadavg: 1.07 1.02 1.00 3/106 11571
/proc/meminfo: memFree=1807020/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=13356 CPUtime=12.69
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 3204 0 0 0 1255 14 0 0 25 0 1 0 4840341 13676544 2824 1992294400 134512640 135751879 4293662208 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 3339 2824 147 303 0 3034 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13356

[startup+25.5011 s]
/proc/loadavg: 1.06 1.01 1.00 2/106 11571
/proc/meminfo: memFree=1800076/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=20360 CPUtime=25.48
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 4959 0 0 0 2527 21 0 0 25 0 1 0 4840341 20848640 4579 1992294400 134512640 135751879 4293662208 18446744073709551615 134620394 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 5090 4579 147 303 0 4785 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20360

[startup+51.1006 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 11571
/proc/meminfo: memFree=1788048/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=32416 CPUtime=51.08
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 7975 0 0 0 5067 41 0 0 25 0 1 0 4840341 33193984 7595 1992294400 134512640 135751879 4293662208 18446744073709551615 134620526 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 8104 7595 148 303 0 7799 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32416

[startup+102.309 s]
/proc/loadavg: 1.09 1.02 1.00 2/106 11573
/proc/meminfo: memFree=1761140/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=58788 CPUtime=102.27
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 14561 0 0 0 10155 72 0 0 25 0 1 0 4840341 60198912 14181 1992294400 134512640 135751879 4293662208 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 14697 14181 148 303 0 14392 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 58788

[startup+162.3 s]
/proc/loadavg: 1.10 1.03 1.00 2/106 11575
/proc/meminfo: memFree=1733240/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=86668 CPUtime=162.24
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 21549 0 0 0 16117 107 0 0 25 0 1 0 4840341 88748032 21169 1992294400 134512640 135751879 4293662208 18446744073709551615 134609929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 21667 21169 148 303 0 21362 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 86668

[startup+222.301 s]
/proc/loadavg: 1.10 1.04 1.00 2/106 11584
/proc/meminfo: memFree=1718484/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=100736 CPUtime=222.21
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 25486 0 0 0 22086 135 0 0 25 0 1 0 4840341 103153664 24715 1992294400 134512640 135751879 4293662208 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 25184 24715 151 303 0 24879 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 100736

[startup+282.301 s]
/proc/loadavg: 1.09 1.05 1.00 2/106 11586
/proc/meminfo: memFree=1692320/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=127400 CPUtime=282.2
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 32146 0 0 0 28058 162 0 0 25 0 1 0 4840341 130457600 31375 1992294400 134512640 135751879 4293662208 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 31850 31375 151 303 0 31545 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 127400

[startup+342.301 s]
/proc/loadavg: 1.08 1.05 1.00 3/106 11588
/proc/meminfo: memFree=1658716/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=160324 CPUtime=342.18
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 40380 0 0 0 34029 189 0 0 25 0 1 0 4840341 164171776 39609 1992294400 134512640 135751879 4293662208 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 40081 39609 151 303 0 39776 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 160324

[startup+402.301 s]
/proc/loadavg: 1.19 1.08 1.01 2/106 11590
/proc/meminfo: memFree=1627468/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=192092 CPUtime=402.16
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 48280 0 0 0 40003 213 0 0 25 0 1 0 4840341 196702208 47509 1992294400 134512640 135751879 4293662208 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 48023 47509 151 303 0 47718 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 192092

[startup+462.3 s]
/proc/loadavg: 1.07 1.07 1.01 2/106 11592
/proc/meminfo: memFree=1599196/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=220140 CPUtime=462.15
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 55321 0 0 0 45979 236 0 0 25 0 1 0 4840341 225423360 54550 1992294400 134512640 135751879 4293662208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 55035 54550 151 303 0 54730 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 220140

[startup+522.301 s]
/proc/loadavg: 1.02 1.05 1.00 2/106 11592
/proc/meminfo: memFree=1570056/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=249468 CPUtime=522.13
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 62618 0 0 0 51959 254 0 0 25 0 1 0 4840341 255455232 61847 1992294400 134512640 135751879 4293662208 18446744073709551615 134606389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 62367 61847 151 303 0 62062 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 249468

[startup+582.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/106 11594
/proc/meminfo: memFree=1533724/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=285636 CPUtime=582.12
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 71652 0 0 0 57936 276 0 0 25 0 1 0 4840341 292491264 70881 1992294400 134512640 135751879 4293662208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 71409 70881 151 303 0 71104 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 285636

[startup+642.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 11596
/proc/meminfo: memFree=1507436/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=311580 CPUtime=642.1
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 78150 0 0 0 63916 294 0 0 25 0 1 0 4840341 319057920 77379 1992294400 134512640 135751879 4293662208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 77895 77379 151 303 0 77590 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 311580

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 11600
/proc/meminfo: memFree=1419520/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=399356 CPUtime=822.05
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 100076 0 0 0 81845 360 0 0 25 0 1 0 4840341 408940544 99305 1992294400 134512640 135751879 4293662208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 99839 99305 151 303 0 99534 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 399356

[startup+882.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 11602
/proc/meminfo: memFree=1387528/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=430948 CPUtime=882.04
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 108158 0 0 0 87820 384 0 0 25 0 1 0 4840341 441290752 107167 1992294400 134512640 135751879 4293662208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 107737 107167 151 303 0 107432 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 430948

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11604
/proc/meminfo: memFree=1384180/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=434684 CPUtime=942.01
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 109137 0 0 0 93801 400 0 0 25 0 1 0 4840341 445116416 108146 1992294400 134512640 135751879 4293662208 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 108671 108146 151 303 0 108366 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 434684

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11606
/proc/meminfo: memFree=1368432/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=450076 CPUtime=1002
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 113008 0 0 0 99782 418 0 0 25 0 1 0 4840341 460877824 112017 1992294400 134512640 135751879 4293662208 18446744073709551615 134607817 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 112519 112017 151 303 0 112214 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 450076

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11608
/proc/meminfo: memFree=1344748/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=473780 CPUtime=1061.98
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 118907 0 0 0 105758 440 0 0 25 0 1 0 4840341 485150720 117916 1992294400 134512640 135751879 4293662208 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 118445 117916 151 303 0 118140 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 473780

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11608
/proc/meminfo: memFree=1322552/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=496124 CPUtime=1121.96
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 124457 0 0 0 111734 462 0 0 25 0 1 0 4840341 508030976 123466 1992294400 134512640 135751879 4293662208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 124031 123466 151 303 0 123726 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 496124

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11610
/proc/meminfo: memFree=1298124/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=520428 CPUtime=1181.95
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 130556 0 0 0 117712 483 0 0 25 0 1 0 4840341 532918272 129565 1992294400 134512640 135751879 4293662208 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 130107 129565 151 303 0 129802 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 520428

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11612
/proc/meminfo: memFree=1275308/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=542964 CPUtime=1241.93
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 136170 0 0 0 123689 504 0 0 25 0 1 0 4840341 555995136 135179 1992294400 134512640 135751879 4293662208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 135741 135179 151 303 0 135436 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 542964

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11614
/proc/meminfo: memFree=1236744/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=581084 CPUtime=1301.92
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 145700 0 0 0 129663 529 0 0 25 0 1 0 4840341 595030016 144709 1992294400 134512640 135751879 4293662208 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 145271 144710 151 303 0 144966 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 581084

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11616
/proc/meminfo: memFree=1209588/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=608884 CPUtime=1361.9
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 152633 0 0 0 135641 549 0 0 25 0 1 0 4840341 623497216 151642 1992294400 134512640 135751879 4293662208 18446744073709551615 134606320 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 152221 151642 151 303 0 151916 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 608884

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11616
/proc/meminfo: memFree=1175984/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=641904 CPUtime=1421.89
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 160882 0 0 0 141616 573 0 0 25 0 1 0 4840341 657309696 159891 1992294400 134512640 135751879 4293662208 18446744073709551615 134607272 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 160476 159891 151 303 0 160171 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 641904

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11618
/proc/meminfo: memFree=1143744/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=674424 CPUtime=1481.87
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 169036 0 0 0 147588 599 0 0 25 0 1 0 4840341 690610176 168045 1992294400 134512640 135751879 4293662208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 168606 168045 151 303 0 168301 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 674424

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11620
/proc/meminfo: memFree=1113364/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=704504 CPUtime=1541.84
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 176534 0 0 0 153562 622 0 0 25 0 1 0 4840341 721412096 175543 1992294400 134512640 135751879 4293662208 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 176126 175543 151 303 0 175821 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 704504

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11622
/proc/meminfo: memFree=1078768/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=739408 CPUtime=1601.82
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 185270 0 0 0 159537 645 0 0 25 0 1 0 4840341 757153792 184279 1992294400 134512640 135751879 4293662208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 184852 184279 151 303 0 184547 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 739408

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11624
/proc/meminfo: memFree=1052728/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=764888 CPUtime=1661.81
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 191642 0 0 0 165514 667 0 0 25 0 1 0 4840341 783245312 190651 1992294400 134512640 135751879 4293662208 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 191222 190651 151 303 0 190917 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 764888

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11624
/proc/meminfo: memFree=1021108/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=796976 CPUtime=1721.79
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 199641 0 0 0 171490 689 0 0 25 0 1 0 4840341 816103424 198650 1992294400 134512640 135751879 4293662208 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 199244 198650 151 303 0 198939 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 796976

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11626
/proc/meminfo: memFree=981552/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=835896 CPUtime=1781.77
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 209367 0 0 0 177463 714 0 0 25 0 1 0 4840341 855957504 208376 1992294400 134512640 135751879 4293662208 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 208974 208376 151 303 0 208669 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 835896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11626
/proc/meminfo: memFree=970516/2059040 swapFree=4140808/4192956
[pid=11568] ppid=11566 vsize=846720 CPUtime=1800.08
/proc/11568/stat : 11568 (wbo1.4b) R 11566 11568 11269 0 -1 4202496 212087 0 0 0 179285 723 0 0 25 0 1 0 4840341 867041280 211096 1992294400 134512640 135751879 4293662208 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 211680 211096 151 303 0 211375 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 846720

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.69
CPU time (s): 1800.17
CPU user time (s): 1792.86
CPU system time (s): 7.31089
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 846720

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

runsolver used 3.15152 second user time and 8.33273 second system time

The end

Launcher Data 

Begin job on node089 at 2010-06-15 22:57:48
IDJOB=2655790
IDBENCH=24995
IDSOLVER=1161
FILE ID=node089/2655790-1276635468
PBS_JOBID= 11172379
Free space on /tmp= 62556 MiB

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

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

MD5SUM BENCH= 22488dc65cdc0686edc96d304bd4d620
RANDOM SEED=1043795776

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:       1818344 kB
Buffers:         56500 kB
Cached:         106360 kB
SwapCached:       6356 kB
Active:          73508 kB
Inactive:       103108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1818344 kB
SwapTotal:     4192956 kB
SwapFree:      4140808 kB
Dirty:            3672 kB
Writeback:           0 kB
AnonPages:       11168 kB
Mapped:          13004 kB
Slab:            42456 kB
PageTables:       3976 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= 62556 MiB
End job on node089 at 2010-06-15 23:27:51