Trace number 2702679

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 (fixed)? (TO) 1800.02 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_4.opb
MD5SUMedb32574ecafd14c2d1410b208d85a45
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-28
Best CPU time to get the best result obtained on this benchmark1789.59
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2516
Sum of products size (including duplicates)5032
Number of different products1258
Sum of products size2516

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 - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2702679-1278574680.opb.
0.00/0.00	c Instance file HOME/instance-2702679-1278574680.opb
0.00/0.00	c File size is 107458 bytes.
0.00/0.01	c Highest Coefficient sum: 200
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.02         s                                      |
0.00/0.01	c |  Number Variables:      1458                                                |
0.00/0.01	c |  Number Clauses:        1358                                                |
0.00/0.01	c |  Number Cardinality:    202                                                 |
0.00/0.01	c |  Number PB Constraints: 1258                                                |
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |    1458     2818    10664 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 0
0.00/0.03	o 0
0.00/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 179.969 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |    1458     2819    10764 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: -1
0.00/0.03	o -1
0.00/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 179.967 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         1 |    1458     2820    10864 |     5000        1    101 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: -2
0.00/0.03	o -2
0.00/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 179.967 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         1 |    1458     2821    10964 |     5000        1    101 |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: -3
0.00/0.04	o -3
0.00/0.04	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 179.965 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |        10 |    1458     2822    11064 |     5000       10    185 |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: -4
0.00/0.04	o -4
0.00/0.04	c Elapsed CPU time: 0.035994 s	Remaining CPU time: 179.964 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |        10 |    1458     2823    11164 |     5000       10    185 |  0.000 % |
0.03/0.04	c ===============================================================================
0.03/0.04	c New solution: -5
0.03/0.04	o -5
0.03/0.04	c Elapsed CPU time: 0.036994 s	Remaining CPU time: 179.963 s
0.03/0.04	c ===============================================================================
0.03/0.04	c |        12 |    1458     2824    11264 |     5000       12    155 |  0.000 % |
0.03/0.04	c ===============================================================================
0.03/0.04	c New solution: -6
0.03/0.04	o -6
0.03/0.04	c Elapsed CPU time: 0.038994 s	Remaining CPU time: 179.961 s
0.03/0.04	c ===============================================================================
0.03/0.04	c |        14 |    1458     2825    11364 |     5000       14    140 |  0.000 % |
0.03/0.05	c |       119 |    1458     2825    11364 |     5500      119    183 |  0.000 % |
0.03/0.06	c |       269 |    1458     2825    11364 |     6050      269    180 |  0.001 % |
0.03/0.09	c |       494 |    1458     2825    11364 |     6655      494    185 |  0.001 % |
0.09/0.12	c |       831 |    1458     2825    11364 |     7320      831    187 |  0.001 % |
0.09/0.18	c |      1339 |    1458     2825    11364 |     8052     1339    188 |  0.001 % |
0.19/0.29	c |      2098 |    1458     2825    11364 |     8857     2098    189 |  0.001 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c New solution: -7
0.19/0.29	o -7
0.19/0.29	c Elapsed CPU time: 0.275958 s	Remaining CPU time: 179.724 s
0.19/0.29	c ===============================================================================
0.19/0.29	c |      2101 |    1458     2826    11464 |     5000     2101    189 |  0.001 % |
0.29/0.32	c |      2202 |    1458     2826    11464 |     5500     2202    189 |  0.001 % |
0.29/0.34	c |      2352 |    1458     2826    11464 |     6050     2352    187 |  0.001 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: -8
0.29/0.34	o -8
0.29/0.34	c Elapsed CPU time: 0.32595 s	Remaining CPU time: 179.674 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |      2353 |    1458     2827    11564 |     5000     2353    187 |  0.001 % |
0.29/0.36	c |      2455 |    1458     2827    11564 |     5500     2455    187 |  0.001 % |
0.29/0.39	c |      2605 |    1458     2827    11564 |     6050     2605    187 |  0.000 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c New solution: -9
0.39/0.43	o -9
0.39/0.43	c Elapsed CPU time: 0.411937 s	Remaining CPU time: 179.588 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |      2770 |    1458     2828    11664 |     5000     2770    187 |  0.000 % |
0.39/0.45	c |      2870 |    1458     2828    11664 |     5500     2870    187 |  0.001 % |
0.39/0.47	c |      3020 |    1458     2828    11664 |     6050     3020    187 |  0.001 % |
0.49/0.51	c |      3246 |    1458     2828    11664 |     6655     3246    186 |  0.001 % |
0.49/0.57	c |      3584 |    1458     2828    11664 |     7320     3584    186 |  0.000 % |
0.59/0.65	c |      4090 |    1458     2828    11664 |     8052     4090    185 |  0.001 % |
0.69/0.76	c |      4850 |    1458     2828    11664 |     8857     4850    184 |  0.001 % |
0.89/0.96	c |      5990 |    1458     2828    11664 |     9743     5990    183 |  0.001 % |
1.19/1.25	c |      7698 |    1458     2828    11664 |    10717     7698    181 |  0.001 % |
1.69/1.73	c |     10261 |    1458     2828    11664 |    11789    10261    182 |  0.001 % |
1.69/1.75	c ===============================================================================
1.69/1.75	c New solution: -10
1.69/1.75	o -10
1.69/1.75	c Elapsed CPU time: 1.70374 s	Remaining CPU time: 178.296 s
1.69/1.75	c ===============================================================================
1.69/1.75	c |     10289 |    1458     2829    11764 |     5000    10289    182 |  0.001 % |
1.69/1.79	c |     10390 |    1458     2829    11764 |     5500     2674    184 |  0.001 % |
1.79/1.81	c |     10541 |    1458     2829    11764 |     6050     2825    184 |  0.001 % |
1.79/1.85	c |     10766 |    1458     2829    11764 |     6655     3050    184 |  0.001 % |
1.89/1.90	c |     11103 |    1458     2829    11764 |     7320     3387    184 |  0.001 % |
1.89/1.97	c |     11610 |    1458     2829    11764 |     8052     3894    184 |  0.001 % |
1.89/1.97	c ===============================================================================
1.89/1.97	c New solution: -11
1.89/1.97	o -11
1.89/1.97	c Elapsed CPU time: 1.92171 s	Remaining CPU time: 178.078 s
1.89/1.97	c ===============================================================================
1.89/1.97	c |     11627 |    1458     2830    11864 |     5000     3911    183 |  0.001 % |
1.89/1.99	c |     11727 |    1458     2830    11864 |     5500     4011    183 |  0.001 % |
1.99/2.01	c |     11877 |    1458     2830    11864 |     6050     4161    183 |  0.001 % |
1.99/2.04	c |     12102 |    1458     2830    11864 |     6655     4386    183 |  0.001 % |
1.99/2.09	c |     12439 |    1458     2830    11864 |     7320     4723    182 |  0.001 % |
2.09/2.15	c |     12946 |    1458     2830    11864 |     8052     5230    182 |  0.001 % |
2.20/2.25	c |     13705 |    1458     2830    11864 |     8857     5989    180 |  0.001 % |
2.39/2.41	c |     14845 |    1458     2830    11864 |     9743     7129    179 |  0.001 % |
2.69/2.70	c |     16553 |    1458     2830    11864 |    10717     8837    179 |  0.001 % |
3.09/3.11	c |     19115 |    1458     2830    11864 |    11789    11399    179 |  0.001 % |
3.69/3.73	c |     22959 |    1458     2830    11864 |    12968     8642    179 |  0.001 % |
4.99/5.08	c |     28725 |    1458     2830    11864 |    14265     7212    177 |  0.001 % |
6.99/7.01	c |     37374 |    1458     2830    11864 |    15692     8017    177 |  0.001 % |
10.38/10.46	c |     50349 |    1458     2830    11864 |    17261    12433    179 |  0.001 % |
16.49/16.51	c |     69811 |    1458     2830    11864 |    18987    13212    178 |  0.001 % |
25.49/25.54	c |     99007 |    1458     2830    11864 |    20886    11787    182 |  0.001 % |
41.48/41.58	c |    142797 |    1458     2830    11864 |    22974    20791    182 |  0.001 % |
68.68/68.75	c |    208484 |    1458     2830    11864 |    25272    18795    180 |  0.001 % |
113.76/113.84	c |    307010 |    1458     2830    11864 |    27799    23992    170 |  0.001 % |
180.54/180.66	c |    454799 |    1458     2830    11864 |    30579    26203    177 |  0.001 % |
181.64/181.78	c There are 0 assigned variables. 0 in cost function.
182.25/182.33	c core #1
182.25/182.33	c 
182.25/182.33	c 
182.25/182.33	c Core size: 201	Core Weight: 1	Total Weight: -99
182.25/182.33	c
182.25/182.33	c
182.25/182.33	c ============================[ Search Statistics ]==============================
182.25/182.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.25/182.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.25/182.33	c ===============================================================================
182.25/182.33	c |         0 |    1558     2957    12235 |     5000        0    nan |  0.000 % |
182.25/182.35	c ===============================================================================
182.25/182.36	c core #2
182.25/182.36	c 
182.25/182.36	c 
182.25/182.36	c Core size: 201	Core Weight: 1	Total Weight: -98
182.25/182.36	c
182.25/182.36	c
182.25/182.36	c ============================[ Search Statistics ]==============================
182.25/182.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.25/182.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.25/182.36	c ===============================================================================
182.25/182.36	c |         0 |    1658     2961    12444 |     5000        0    nan |  0.000 % |
182.25/182.38	c |       100 |    1658     2961    12444 |     5500      100     76 |  0.001 % |
182.35/182.41	c |       250 |    1658     2961    12444 |     6050      250     69 |  0.006 % |
182.35/182.46	c |       476 |    1641     2961    12444 |     6655      433     71 |  1.028 % |
182.46/182.54	c |       813 |    1641     2961    12444 |     7320      770     70 |  1.026 % |
182.55/182.66	c |      1319 |    1626     2961    12444 |     8052     1164     73 |  3.257 % |
182.74/182.87	c |      2078 |    1567     2961    12444 |     8857     1846     76 |  5.489 % |
183.15/183.24	c |      3217 |    1549     2961    12444 |     9743     2945     73 |  9.050 % |
183.34/183.48	c ===============================================================================
183.44/183.53	c core #3
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 142	Core Weight: 1	Total Weight: -97
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c ============================[ Search Statistics ]==============================
183.44/183.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.44/183.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.44/183.53	c ===============================================================================
183.44/183.53	c |         0 |    1757     2985    12709 |     5000        0    nan |  0.000 % |
183.44/183.57	c |       102 |    1757     2985    12709 |     5500      102    108 |  0.000 % |
183.44/183.60	c |       252 |    1757     2985    12709 |     6050      252     80 |  0.000 % |
183.55/183.66	c |       494 |    1757     2985    12709 |     6655      494     79 |  0.000 % |
183.65/183.74	c |       831 |    1757     2985    12709 |     7320      831     77 |  0.000 % |
183.75/183.86	c |      1337 |    1757     2985    12709 |     8052     1337     74 |  0.000 % |
183.95/184.07	c |      2126 |    1757     2985    12709 |     8857     2126     80 |  0.001 % |
184.24/184.38	c |      3265 |    1757     2985    12709 |     9743     3265     82 |  0.000 % |
184.84/184.92	c |      4973 |    1757     2985    12709 |    10717     4973     83 |  0.001 % |
185.64/185.79	c |      7535 |    1757     2985    12709 |    11789     7535     85 |  0.003 % |
187.04/187.17	c |     11379 |    1757     2985    12709 |    12968    11379     87 |  0.009 % |
189.34/189.47	c |     17145 |    1757     2985    12709 |    14265    10595     77 |  0.002 % |
192.74/192.87	c |     25794 |    1744     2985    12709 |    15692     7701     68 |  0.740 % |
198.84/198.96	c |     38769 |    1671     2985    12709 |    17261    15293     71 |  7.293 % |
211.73/211.83	c |     58232 |    1629     2985    12709 |    18987    16574     80 |  7.286 % |
231.33/231.48	c |     87424 |    1517     2985    12709 |    20886    16201     80 | 13.666 % |
261.32/261.45	c |    131213 |    1439     2985    12709 |    22974    21002     93 | 19.981 % |
307.01/307.17	c ===============================================================================
310.02/310.12	c core #4
310.02/310.12	c 
310.02/310.12	c 
310.02/310.12	c Core size: 146	Core Weight: 1	Total Weight: -96
310.02/310.12	c
310.02/310.12	c
310.02/310.12	c ============================[ Search Statistics ]==============================
310.02/310.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
310.02/310.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
310.02/310.12	c ===============================================================================
310.02/310.12	c |         0 |    1857     3153    13399 |     5000        0    nan |  0.000 % |
310.12/310.23	c |       131 |    1857     3153    13399 |     5500      131    149 |  0.000 % |
310.12/310.28	c |       282 |    1857     3153    13399 |     6050      282    114 |  0.000 % |
310.21/310.36	c |       507 |    1857     3153    13399 |     6655      507    109 |  0.000 % |
310.31/310.41	c |       848 |    1857     3153    13399 |     7320      848     74 |  0.000 % |
310.41/310.56	c |      1354 |    1857     3153    13399 |     8052     1354     89 |  0.000 % |
310.71/310.80	c |      2113 |    1857     3153    13399 |     8857     2113     74 |  0.000 % |
311.01/311.12	c |      3255 |    1857     3153    13399 |     9743     3255     77 |  0.000 % |
311.61/311.72	c |      4972 |    1857     3153    13399 |    10717     4972     80 |  0.000 % |
312.51/312.67	c |      7534 |    1857     3153    13399 |    11789     7534     89 |  0.000 % |
314.01/314.19	c |     11378 |    1857     3153    13399 |    12968    11378     93 |  0.000 % |
316.51/316.67	c |     17149 |    1857     3153    13399 |    14265    10577     96 |  0.000 % |
320.41/320.55	c |     25798 |    1857     3153    13399 |    15692    11876     75 |  0.000 % |
326.71/326.89	c |     38772 |    1857     3153    13399 |    17261     8582    110 |  0.000 % |
339.60/339.72	c |     58233 |    1857     3153    13399 |    18987    10021     76 |  0.000 % |
358.89/359.08	c |     87425 |    1857     3153    13399 |    20886    19977     74 |  0.001 % |
390.79/390.91	c |    131215 |    1857     3153    13399 |    22974    20366     98 |  0.001 % |
443.58/443.78	c |    196901 |    1857     3153    13399 |    25272    15001     98 |  0.001 % |
523.36/523.52	c |    295428 |    1857     3153    13399 |    27799    21321     95 |  0.000 % |
636.32/636.54	c |    443218 |    1857     3153    13399 |    30579    18006     63 |  0.000 % |
830.48/830.70	c |    664902 |    1857     3153    13399 |    33637    14185    107 |  0.001 % |
1126.39/1126.74	c |    997427 |    1857     3153    13399 |    37001    17715     97 |  0.001 % |
1564.47/1564.95	c |   1496215 |    1857     3153    13399 |    40701    35752     88 |  0.000 % |

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-2702679-1278574680/watcher-2702679-1278574680 -o /tmp/evaluation-result-2702679-1278574680/solver-2702679-1278574680 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702679-1278574680.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.99 0.97 0.88 3/105 31760
/proc/meminfo: memFree=1659016/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=2956 CPUtime=0
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 338 0 0 0 0 0 0 0 25 0 1 0 25676217 3026944 257 1992294400 134512640 135752675 4294448464 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 739 257 140 303 0 407 0

[startup+0.0414851 s]
/proc/loadavg: 0.99 0.97 0.88 3/105 31760
/proc/meminfo: memFree=1659016/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=3376 CPUtime=0.03
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 529 0 0 0 3 0 0 0 18 0 1 0 25676217 3457024 421 1992294400 134512640 135752675 4294448464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 844 421 144 303 0 539 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3376

[startup+0.101431 s]
/proc/loadavg: 0.99 0.97 0.88 3/105 31760
/proc/meminfo: memFree=1659016/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=3632 CPUtime=0.09
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 571 0 0 0 9 0 0 0 18 0 1 0 25676217 3719168 463 1992294400 134512640 135752675 4294448464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 908 464 145 303 0 603 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3632

[startup+0.300453 s]
/proc/loadavg: 0.99 0.97 0.88 3/105 31760
/proc/meminfo: memFree=1659016/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=4936 CPUtime=0.29
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 917 0 0 0 27 2 0 0 18 0 1 0 25676217 5054464 809 1992294400 134512640 135752675 4294448464 18446744073709551615 134612050 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 1234 809 145 303 0 929 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4936

[startup+0.700497 s]
/proc/loadavg: 0.99 0.97 0.88 3/105 31760
/proc/meminfo: memFree=1659016/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=7004 CPUtime=0.69
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 1421 0 0 0 67 2 0 0 18 0 1 0 25676217 7172096 1313 1992294400 134512640 135752675 4294448464 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 1751 1313 145 303 0 1446 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7004

[startup+1.50059 s]
/proc/loadavg: 0.99 0.97 0.88 2/106 31761
/proc/meminfo: memFree=1653180/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=10904 CPUtime=1.49
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 2392 0 0 0 145 4 0 0 19 0 1 0 25676217 11165696 2284 1992294400 134512640 135752675 4294448464 18446744073709551615 134611718 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 2726 2284 145 303 0 2421 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10904

[startup+3.10076 s]
/proc/loadavg: 0.99 0.97 0.88 2/106 31761
/proc/meminfo: memFree=1647600/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=18808 CPUtime=3.09
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 4390 0 0 0 302 7 0 0 23 0 1 0 25676217 19259392 4282 1992294400 134512640 135752675 4294448464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 4702 4282 145 303 0 4397 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18808

[startup+6.30012 s]
/proc/loadavg: 0.99 0.97 0.88 2/106 31761
/proc/meminfo: memFree=1632844/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=31904 CPUtime=6.29
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 7638 0 0 0 617 12 0 0 25 0 1 0 25676217 32669696 7530 1992294400 134512640 135752675 4294448464 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 7976 7530 145 303 0 7671 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31904

[startup+12.7018 s]
/proc/loadavg: 0.99 0.97 0.88 2/106 31761
/proc/meminfo: memFree=1612012/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=51148 CPUtime=12.69
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 12442 0 0 0 1250 19 0 0 25 0 1 0 25676217 52375552 12334 1992294400 134512640 135752675 4294448464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 12787 12334 145 303 0 12482 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51148

[startup+25.5012 s]
/proc/loadavg: 0.99 0.97 0.88 2/106 31761
/proc/meminfo: memFree=1578656/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=83424 CPUtime=25.49
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 20513 0 0 0 2516 33 0 0 25 0 1 0 25676217 85426176 20405 1992294400 134512640 135752675 4294448464 18446744073709551615 134611679 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 20856 20405 145 303 0 20551 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83424

[startup+51.1011 s]
/proc/loadavg: 0.99 0.97 0.88 2/106 31761
/proc/meminfo: memFree=1522484/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=139688 CPUtime=51.08
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 34564 0 0 0 5049 59 0 0 25 0 1 0 25676217 143040512 34456 1992294400 134512640 135752675 4294448464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 34922 34456 145 303 0 34617 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 139688

[startup+102.308 s]
/proc/loadavg: 0.99 0.97 0.89 2/106 31763
/proc/meminfo: memFree=1430972/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=229992 CPUtime=102.27
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 57121 0 0 0 10125 102 0 0 25 0 1 0 25676217 235511808 57013 1992294400 134512640 135752675 4294448464 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 57498 57013 145 303 0 57193 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 229992

[startup+162.3 s]
/proc/loadavg: 0.99 0.97 0.89 2/106 31765
/proc/meminfo: memFree=1325820/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=335992 CPUtime=162.24
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 83600 0 0 0 16067 157 0 0 25 0 1 0 25676217 344055808 83492 1992294400 134512640 135752675 4294448464 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 83998 83492 145 303 0 83693 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 335992

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.90 2/106 31767
/proc/meminfo: memFree=1283040/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=377188 CPUtime=222.24
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 94005 0 0 0 22019 205 0 0 25 0 1 0 25676217 386240512 93868 1992294400 134512640 135752675 4294448464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 94297 93868 146 303 0 93992 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 377188

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.90 2/106 31769
/proc/meminfo: memFree=1249560/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=410816 CPUtime=282.22
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 102416 0 0 0 27985 237 0 0 25 0 1 0 25676217 420675584 102279 1992294400 134512640 135752675 4294448464 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 102704 102279 146 303 0 102399 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 410816

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 31769
/proc/meminfo: memFree=1209632/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=450668 CPUtime=342.2
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 112369 0 0 0 33944 276 0 0 25 0 1 0 25676217 461484032 112232 1992294400 134512640 135752675 4294448464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 112667 112232 146 303 0 112362 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 450668

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 31771
/proc/meminfo: memFree=1171192/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=488900 CPUtime=402.19
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 121924 0 0 0 39902 317 0 0 25 0 1 0 25676217 500633600 121787 1992294400 134512640 135752675 4294448464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 122225 121787 146 303 0 121920 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 488900

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 31773
/proc/meminfo: memFree=1133992/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=526088 CPUtime=462.17
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 131185 0 0 0 45866 351 0 0 25 0 1 0 25676217 538714112 131048 1992294400 134512640 135752675 4294448464 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 131522 131048 146 303 0 131217 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 526088

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 31775
/proc/meminfo: memFree=1101752/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=558568 CPUtime=522.16
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 139327 0 0 0 51832 384 0 0 25 0 1 0 25676217 571973632 139190 1992294400 134512640 135752675 4294448464 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 139642 139190 146 303 0 139337 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 558568

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 31777
/proc/meminfo: memFree=1065296/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=594560 CPUtime=582.14
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 148291 0 0 0 57793 421 0 0 25 0 1 0 25676217 608829440 148154 1992294400 134512640 135752675 4294448464 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 148640 148154 146 303 0 148335 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 594560

[startup+642.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 31777
/proc/meminfo: memFree=1025740/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=633876 CPUtime=642.13
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 158122 0 0 0 63755 458 0 0 25 0 1 0 25676217 649089024 157985 1992294400 134512640 135752675 4294448464 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 158469 157985 146 303 0 158164 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 633876

[startup+702.301 s]

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

/proc/loadavg: 0.99 0.97 0.91 2/106 31793
/proc/meminfo: memFree=725784/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=933380 CPUtime=1181.98
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 232933 0 0 0 117468 730 0 0 25 0 1 0 25676217 955781120 232796 1992294400 134512640 135752675 4294448464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 233345 232796 146 303 0 233040 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 933380

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 31793
/proc/meminfo: memFree=692428/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=966436 CPUtime=1241.96
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 241181 0 0 0 123432 764 0 0 25 0 1 0 25676217 989630464 241044 1992294400 134512640 135752675 4294448464 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 241609 241044 146 303 0 241304 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 966436

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 31795
/proc/meminfo: memFree=654112/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=1004376 CPUtime=1301.96
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 250674 0 0 0 129392 804 0 0 25 0 1 0 25676217 1028481024 250537 1992294400 134512640 135752675 4294448464 18446744073709551615 134604972 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 251094 250537 146 303 0 250789 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1004376

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 31797
/proc/meminfo: memFree=623236/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=1035536 CPUtime=1361.94
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 258454 0 0 0 135358 836 0 0 25 0 1 0 25676217 1060388864 258317 1992294400 134512640 135752675 4294448464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 258884 258317 146 303 0 258579 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1035536

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 31808
/proc/meminfo: memFree=590624/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=1067432 CPUtime=1421.92
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 266404 0 0 0 141325 867 0 0 25 0 1 0 25676217 1093050368 266267 1992294400 134512640 135752675 4294448464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 266858 266267 146 303 0 266553 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1067432

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 31810
/proc/meminfo: memFree=561236/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=1097148 CPUtime=1481.9
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 273855 0 0 0 147297 893 0 0 25 0 1 0 25676217 1123479552 273718 1992294400 134512640 135752675 4294448464 18446744073709551615 134638942 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 274287 273718 146 303 0 273982 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1097148

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 31810
/proc/meminfo: memFree=530980/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=1127064 CPUtime=1541.88
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 281306 0 0 0 153265 923 0 0 25 0 1 0 25676217 1154113536 281169 1992294400 134512640 135752675 4294448464 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 281766 281169 146 303 0 281461 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1127064

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 31812
/proc/meminfo: memFree=500848/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=1157800 CPUtime=1601.87
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 288958 0 0 0 159236 951 0 0 25 0 1 0 25676217 1185587200 288821 1992294400 134512640 135752675 4294448464 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 289450 288821 146 303 0 289145 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1157800

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 31814
/proc/meminfo: memFree=472824/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=1185424 CPUtime=1661.85
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 295881 0 0 0 165210 975 0 0 25 0 1 0 25676217 1213874176 295744 1992294400 134512640 135752675 4294448464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 296356 295744 146 303 0 296051 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1185424

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 31816
/proc/meminfo: memFree=440708/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=1217644 CPUtime=1721.83
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 303931 0 0 0 171179 1004 0 0 25 0 1 0 25676217 1246867456 303794 1992294400 134512640 135752675 4294448464 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 304411 303794 146 303 0 304106 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1217644

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 31818
/proc/meminfo: memFree=410948/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=1247216 CPUtime=1781.82
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 311300 0 0 0 177149 1033 0 0 25 0 1 0 25676217 1277149184 311163 1992294400 134512640 135752675 4294448464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 311804 311163 146 303 0 311499 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1247216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 31818
/proc/meminfo: memFree=402888/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=1255136 CPUtime=1800.02
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 313281 0 0 0 178960 1042 0 0 25 0 1 0 25676217 1285259264 313144 1992294400 134512640 135752675 4294448464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 313784 313144 146 303 0 313479 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1255136

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

############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1800.02 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1800.02 s) to the 'lost time'.

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 31818
/proc/meminfo: memFree=402888/2059040 swapFree=4136400/4192956
[pid=31760] ppid=31758 vsize=1255136 CPUtime=1800.02
/proc/31760/stat : 31760 (wbo1.4b) R 31758 31760 31635 0 -1 4202496 313281 0 0 0 178960 1042 0 0 25 0 1 0 25676217 1285259264 313144 1992294400 134512640 135752675 4294448464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31760/statm: 313784 313144 146 303 0 313479 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1255136

[startup+1800.61 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 31819
/proc/meminfo: memFree=1577656/2059040 swapFree=4136400/4192956
[pid=31760] ppid=-1 vsize=0 CPUtime=0
/proc/31760/stat : -- couldn't open stat file --/proc/31760/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############


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

[startup+1800.61 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 31819
/proc/meminfo: memFree=1577656/2059040 swapFree=4136400/4192956
[pid=31760] ppid=-1 vsize=0 CPUtime=0
/proc/31760/stat : -- couldn't open stat file --/proc/31760/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31760 and gives
#  childrusage.ru_utime.tv_sec=1789
#  childrusage.ru_utime.tv_usec=602939
#  childrusage.ru_stime.tv_sec=10
#  childrusage.ru_stime.tv_usec=533398
# CPU time returned by wait4() is 1800.14
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1800.02
#  lost CPU user time (s): 1789.6
#  lost CPU system time (s): 10.42

Real time (s): 1800.62
CPU time (s): 1800.02
CPU user time (s): 1789.6
CPU system time (s): 10.42
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 1255136

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

runsolver used 3.18252 second user time and 8.30374 second system time

The end

Launcher Data 

Begin job on node087 at 2010-07-08 09:38:00
IDJOB=2702679
IDBENCH=48274
IDSOLVER=1190
FILE ID=node087/2702679-1278574680
PBS_JOBID= 11240061
Free space on /tmp= 62548 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_4.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702679-1278574680/watcher-2702679-1278574680 -o /tmp/evaluation-result-2702679-1278574680/solver-2702679-1278574680 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702679-1278574680.opb

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

MD5SUM BENCH= edb32574ecafd14c2d1410b208d85a45
RANDOM SEED=1080049398

node087.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.201
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.40
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.201
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.50
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1660040 kB
Buffers:         97072 kB
Cached:         207116 kB
SwapCached:      12768 kB
Active:         145444 kB
Inactive:       175888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1660040 kB
SwapTotal:     4192956 kB
SwapFree:      4136400 kB
Dirty:            2624 kB
Writeback:           0 kB
AnonPages:       11956 kB
Mapped:           8508 kB
Slab:            56068 kB
PageTables:       4140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182000 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702679-1278574680.opb

Free space on /tmp at the end= 62544 MiB
End job on node087 at 2010-07-08 10:08:02