Trace number 1875391

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 NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.19 1800.9

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_3.opb
MD5SUMe70f8e0da8fa345ba6e82dce1b0133d2
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7
Best CPU time to get the best result obtained on this benchmark233.561
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -7
Optimality of the best value was proved YES
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)2952
Sum of products size (including duplicates)5904
Number of different products1476
Sum of products size2952

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875391-1245206045.opb.
0.00/0.00	c Instance file HOME/instance-1875391-1245206045.opb
0.00/0.00	c File size is 118615 bytes.
0.00/0.01	c Highest Coefficient sum: 100
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:      1576                                                |
0.00/0.01	c |  Number Clauses:        1576                                                |
0.00/0.01	c |  Number Cardinality:    102                                                 |
0.00/0.01	c |  Number PB Constraints: 1476                                                |
0.00/0.01	c core #1
0.00/0.01	c Core size: 101	Core Weight: 1	Total Weight: -49
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1626     3155    12258 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #2
0.00/0.02	c Core size: 103	Core Weight: 1	Total Weight: -48
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 1799.98 s
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 |    1675     3156    12356 |     5000        0    nan |  0.000 % |
0.00/0.04	c |       100 |    1675     3156    12356 |     5500      100     31 |  0.060 % |
0.04/0.06	c |       250 |    1614     3156    12356 |     6050      188     33 |  3.643 % |
0.04/0.08	c |       478 |    1452     3156    12356 |     6655      299     39 | 13.493 % |
0.09/0.13	c |       817 |    1265     3156    12356 |     7320      490     39 | 26.216 % |
0.09/0.15	c ===============================================================================
0.09/0.16	c core #3
0.09/0.16	c Core size: 163	Core Weight: 1	Total Weight: -47
0.09/0.16	c Elapsed CPU time: 0.156976 s	Remaining CPU time: 1799.84 s
0.09/0.16	c Learning 18 hard constraints
0.09/0.16	c ============================[ Search Statistics ]==============================
0.09/0.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.16	c ===============================================================================
0.09/0.16	c |         0 |    1725     3175    12790 |     5000        0    nan |  0.000 % |
0.09/0.17	c |       100 |    1725     3175    12790 |     5500      100     49 |  0.001 % |
0.09/0.19	c |       250 |    1725     3175    12790 |     6050      250     38 |  0.001 % |
0.19/0.21	c |       475 |    1725     3175    12790 |     6655      475     36 |  0.001 % |
0.19/0.25	c |       812 |    1725     3175    12790 |     7320      812     33 |  0.002 % |
0.29/0.31	c |      1319 |    1725     3175    12790 |     8052     1319     31 |  0.003 % |
0.39/0.40	c |      2079 |    1725     3175    12790 |     8857     2079     28 |  0.005 % |
0.49/0.57	c |      3218 |    1695     3175    12790 |     9743     2102     31 |  1.740 % |
0.69/0.72	c ===============================================================================
0.69/0.75	c core #4
0.69/0.75	c Core size: 591	Core Weight: 1	Total Weight: -46
0.69/0.75	c Elapsed CPU time: 0.731888 s	Remaining CPU time: 1799.27 s
0.69/0.76	c Learning 404 hard constraints
0.69/0.76	c ============================[ Search Statistics ]==============================
0.69/0.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.76	c ===============================================================================
0.69/0.76	c |         0 |    1775     3580    15778 |     5000        0    nan |  0.000 % |
0.69/0.77	c |       100 |    1775     3580    15778 |     5500      100     66 |  0.001 % |
0.69/0.79	c |       251 |    1775     3580    15778 |     6050      251     48 |  0.001 % |
0.79/0.82	c |       476 |    1775     3580    15778 |     6655      476     46 |  0.001 % |
0.79/0.85	c |       814 |    1775     3580    15778 |     7320      814     50 |  0.001 % |
0.89/0.94	c |      1322 |    1775     3580    15778 |     8052     1322     49 |  0.001 % |
1.00/1.05	c |      2081 |    1775     3580    15778 |     8857     2081     43 |  0.001 % |
1.19/1.24	c |      3222 |    1775     3580    15778 |     9743     3222     38 |  0.001 % |
1.49/1.53	c |      4933 |    1775     3580    15778 |    10717     4933     34 |  0.001 % |
1.99/2.01	c |      7495 |    1739     3580    15778 |    11789     5749     34 |  2.029 % |
1.99/2.09	c ===============================================================================
2.09/2.15	c core #5
2.09/2.15	c Core size: 1138	Core Weight: 1	Total Weight: -45
2.09/2.15	c Elapsed CPU time: 2.12068 s	Remaining CPU time: 1797.88 s
2.09/2.17	c Learning 1509 hard constraints
2.09/2.17	c ============================[ Search Statistics ]==============================
2.09/2.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.09/2.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.09/2.17	c ===============================================================================
2.09/2.17	c |         0 |    1825     5090    48117 |     5000        0    nan |  0.000 % |
2.09/2.19	c |       100 |    1825     5090    48117 |     5500      100     63 |  0.001 % |
2.20/2.22	c |       254 |    1825     5090    48117 |     6050      254     40 |  0.001 % |
2.20/2.25	c |       479 |    1825     5090    48117 |     6655      479     39 |  0.001 % |
2.20/2.29	c |       816 |    1825     5090    48117 |     7320      816     42 |  0.001 % |
2.29/2.39	c |      1323 |    1825     5090    48117 |     8052     1323     41 |  0.001 % |
2.49/2.51	c |      2085 |    1825     5090    48117 |     8857     2085     39 |  0.001 % |
2.69/2.72	c |      3224 |    1825     5090    48117 |     9743     3224     39 |  0.000 % |
2.99/3.02	c |      4932 |    1825     5090    48117 |    10717     4932     39 |  0.001 % |
3.49/3.56	c |      7494 |    1825     5090    48117 |    11789     7494     39 |  0.000 % |
4.49/4.58	c |     11342 |    1825     5090    48117 |    12968    11342     38 |  0.001 % |
6.29/6.34	c |     17110 |    1825     5090    48117 |    14265    10514     33 |  0.001 % |
8.69/8.79	c |     25759 |    1797     5090    48117 |    15692     5643     29 |  1.534 % |
9.18/9.21	c ===============================================================================
9.48/9.59	c core #6
9.48/9.59	c Core size: 1426	Core Weight: 1	Total Weight: -44
9.48/9.59	c Elapsed CPU time: 9.46756 s	Remaining CPU time: 1790.53 s
9.58/9.64	c Learning 2189 hard constraints
9.58/9.64	c ============================[ Search Statistics ]==============================
9.58/9.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.58/9.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.58/9.64	c ===============================================================================
9.58/9.64	c |         0 |    1864     7280   114580 |     5000        0    nan |  0.000 % |
9.58/9.66	c |       100 |    1864     7280   114580 |     5500      100     72 |  0.001 % |
9.58/9.68	c |       250 |    1864     7280   114580 |     6050      250     57 |  0.001 % |
9.68/9.71	c |       475 |    1864     7280   114580 |     6655      475     54 |  0.001 % |
9.68/9.78	c |       819 |    1864     7280   114580 |     7320      819     53 |  0.000 % |
9.78/9.88	c |      1326 |    1864     7280   114580 |     8052     1326     47 |  0.001 % |
9.97/10.01	c |      2086 |    1864     7280   114580 |     8857     2086     42 |  0.001 % |
10.18/10.27	c |      3226 |    1864     7280   114580 |     9743     3226     43 |  0.000 % |
10.57/10.67	c |      4935 |    1864     7280   114580 |    10717     4935     42 |  0.001 % |
11.28/11.37	c |      7498 |    1864     7280   114580 |    11789     7498     41 |  0.001 % |
12.17/12.27	c |     11344 |    1864     7280   114580 |    12968    11344     39 |  0.000 % |
13.98/14.02	c |     17110 |    1864     7280   114580 |    14265    10319     33 |  0.000 % |
17.67/17.79	c |     25759 |    1864     7280   114580 |    15692    11367     41 |  0.000 % |
22.98/23.10	c |     38736 |    1864     7280   114580 |    17261     8403     38 |  0.001 % |
30.97/31.08	c |     58198 |    1864     7280   114580 |    18987    10252     38 |  0.000 % |
41.96/42.00	c |     87390 |    1864     7280   114580 |    20886    20071     45 |  0.000 % |
62.56/62.60	c |    131179 |    1791     7280   114580 |    22974    11312     39 |  3.916 % |
62.86/62.95	c ===============================================================================
65.36/65.43	c core #7
65.36/65.43	c Core size: 2037	Core Weight: 1	Total Weight: -43
65.36/65.43	c Elapsed CPU time: 64.9281 s	Remaining CPU time: 1735.07 s
65.46/65.59	c Learning 1792 hard constraints
65.46/65.59	c ============================[ Search Statistics ]==============================
65.46/65.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
65.46/65.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
65.46/65.59	c ===============================================================================
65.46/65.59	c |         0 |    1912     9073   172278 |     5000        0    nan |  0.000 % |
65.55/65.63	c |       100 |    1912     9073   172278 |     5500      100     40 |  0.001 % |
65.55/65.65	c |       252 |    1912     9073   172278 |     6050      252     62 |  0.001 % |
65.55/65.69	c |       481 |    1912     9073   172278 |     6655      481     73 |  0.001 % |
65.65/65.71	c |       819 |    1912     9073   172278 |     7320      819     54 |  0.001 % |
65.76/65.84	c |      1325 |    1912     9073   172278 |     8052     1325     55 |  0.001 % |
65.86/65.97	c |      2084 |    1912     9073   172278 |     8857     2084     49 |  0.001 % |
66.06/66.19	c |      3228 |    1912     9073   172278 |     9743     3228     45 |  0.001 % |
66.46/66.54	c |      4938 |    1912     9073   172278 |    10717     4938     51 |  0.001 % |
67.35/67.45	c |      7501 |    1912     9073   172278 |    11789     7501     58 |  0.000 % |
68.95/69.09	c |     11345 |    1912     9073   172278 |    12968    11345     53 |  0.000 % |
70.85/70.96	c |     17113 |    1912     9073   172278 |    14265    10390     44 |  0.001 % |
75.15/75.23	c |     25764 |    1912     9073   172278 |    15692    11521     43 |  0.000 % |
80.95/81.00	c |     38739 |    1912     9073   172278 |    17261     8432     41 |  0.001 % |
89.85/89.93	c |     58201 |    1912     9073   172278 |    18987    10035     39 |  0.001 % |
106.63/106.79	c |     87393 |    1912     9073   172278 |    20886    19670     41 |  0.000 % |
127.72/127.88	c |    131187 |    1912     9073   172278 |    22974    20575     52 |  0.000 % |
164.92/165.03	c |    196872 |    1912     9073   172278 |    25272    15985     50 |  0.001 % |
228.48/228.62	c |    295398 |    1912     9073   172278 |    27799    23847     51 |  0.001 % |
329.23/329.44	c |    443189 |    1912     9073   172278 |    30579    23478     41 |  0.001 % |
505.67/505.93	c |    664874 |    1912     9073   172278 |    33637    20830     51 |  0.000 % |
810.25/810.66	c |    997399 |    1870     9073   172278 |    37001    32150     55 |  2.217 % |
915.21/915.69	c ===============================================================================
945.80/946.29	c core #8
945.80/946.29	c Core size: 2856	Core Weight: 1	Total Weight: -42
945.80/946.29	c Elapsed CPU time: 942.154 s	Remaining CPU time: 857.846 s
947.00/947.42	c Learning 6 hard constraints
947.00/947.42	c ============================[ Search Statistics ]==============================
947.00/947.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
947.00/947.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
947.00/947.42	c ===============================================================================
947.00/947.42	c |         0 |    1962     9080   172395 |     5000        0    nan |  0.000 % |
947.20/947.61	c |       100 |    1962     9080   172395 |     5500      100     45 |  0.001 % |
947.20/947.64	c |       250 |    1962     9080   172395 |     6050      250     55 |  0.001 % |
947.30/947.72	c |       475 |    1962     9080   172395 |     6655      475     75 |  0.001 % |
947.30/947.76	c |       813 |    1962     9080   172395 |     7320      813     68 |  0.001 % |
947.40/947.84	c |      1319 |    1962     9080   172395 |     8052     1319     76 |  0.001 % |
947.60/948.00	c |      2079 |    1962     9080   172395 |     8857     2079     68 |  0.000 % |
947.80/948.26	c |      3218 |    1962     9080   172395 |     9743     3218     67 |  0.000 % |
948.30/948.70	c |      4928 |    1962     9080   172395 |    10717     4928     64 |  0.001 % |
948.99/949.50	c |      7492 |    1962     9080   172395 |    11789     7492     63 |  0.000 % |
950.20/950.64	c |     11337 |    1962     9080   172395 |    12968    11337     64 |  0.001 % |
953.00/953.47	c |     17104 |    1962     9080   172395 |    14265    10455     58 |  0.000 % |
957.69/958.10	c |     25753 |    1962     9080   172395 |    15692    11812     58 |  0.001 % |
965.99/966.41	c |     38727 |    1962     9080   172395 |    17261     8581     51 |  0.000 % |
976.69/977.16	c |     58190 |    1962     9080   172395 |    18987     9761     47 |  0.000 % |
997.37/997.82	c |     87382 |    1962     9080   172395 |    20886    19398     54 |  0.001 % |
1036.66/1037.14	c |    131172 |    1962     9080   172395 |    22974    20512     56 |  0.001 % |
1103.24/1103.74	c |    196856 |    1962     9080   172395 |    25272    15617     49 |  0.000 % |
1190.71/1191.27	c |    295382 |    1962     9080   172395 |    27799    22822     56 |  0.000 % |
1332.55/1333.17	c |    443171 |    1962     9080   172395 |    30579    22532     56 |  0.000 % |
1547.47/1548.12	c |    664854 |    1962     9080   172395 |    33637    20020     57 |  0.001 % |

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-1875391-1245206045/watcher-1875391-1245206045 -o /tmp/evaluation-result-1875391-1245206045/solver-1875391-1245206045 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875391-1245206045.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/64 3367
/proc/meminfo: memFree=1757232/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=2792 CPUtime=0
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 249 0 0 0 0 0 0 0 18 0 1 0 188205484 2859008 233 1992294400 134512640 135709839 4294956240 18446744073709551615 134570352 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 698 233 127 292 0 374 0

[startup+0.0474511 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3367
/proc/meminfo: memFree=1757232/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=3740 CPUtime=0.04
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 555 0 0 0 4 0 0 0 18 0 1 0 188205484 3829760 510 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 935 510 136 292 0 640 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3740

[startup+0.101456 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3367
/proc/meminfo: memFree=1757232/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=3740 CPUtime=0.09
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 555 0 0 0 9 0 0 0 18 0 1 0 188205484 3829760 510 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 935 510 136 292 0 640 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3740

[startup+0.301473 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3367
/proc/meminfo: memFree=1757232/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=4400 CPUtime=0.29
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 708 0 0 0 29 0 0 0 19 0 1 0 188205484 4505600 663 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 1100 663 136 292 0 805 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4400

[startup+0.701504 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3367
/proc/meminfo: memFree=1757232/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=5312 CPUtime=0.69
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 928 0 0 0 68 1 0 0 23 0 1 0 188205484 5439488 883 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 1328 883 136 292 0 1033 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5312

[startup+1.50258 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3368
/proc/meminfo: memFree=1753512/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=5984 CPUtime=1.49
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 1107 0 0 0 146 3 0 0 25 0 1 0 188205484 6127616 1062 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 1496 1062 136 292 0 1201 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5984

[startup+3.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3368
/proc/meminfo: memFree=1752424/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=7840 CPUtime=3.09
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 1576 0 0 0 304 5 0 0 25 0 1 0 188205484 8028160 1531 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 1960 1531 136 292 0 1665 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7840

[startup+6.30196 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3368
/proc/meminfo: memFree=1749608/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=10876 CPUtime=6.29
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 2331 0 0 0 621 8 0 0 25 0 1 0 188205484 11137024 2286 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 2719 2286 136 292 0 2424 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10876

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3368
/proc/meminfo: memFree=1742888/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=16352 CPUtime=12.67
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 3674 0 0 0 1254 13 0 0 25 0 1 0 188205484 16744448 3629 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 4088 3629 136 292 0 3793 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 16352

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3368
/proc/meminfo: memFree=1733480/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=26132 CPUtime=25.47
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 6132 0 0 0 2525 22 0 0 25 0 1 0 188205484 26759168 6087 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 6533 6087 136 292 0 6238 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 26132

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3368
/proc/meminfo: memFree=1711592/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=48272 CPUtime=51.07
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 11666 0 0 0 5067 40 0 0 25 0 1 0 188205484 49430528 11621 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 12068 11621 136 292 0 11773 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 48272

[startup+102.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3368
/proc/meminfo: memFree=1694632/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=64788 CPUtime=102.23
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 15779 0 0 0 10160 63 0 0 25 0 1 0 188205484 66342912 15734 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 16197 15734 136 292 0 15902 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 64788

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3368
/proc/meminfo: memFree=1652136/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=107584 CPUtime=162.21
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 26489 0 0 0 16124 97 0 0 25 0 1 0 188205484 110166016 26444 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 26896 26444 136 292 0 26601 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 107584

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3368
/proc/meminfo: memFree=1613160/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=146200 CPUtime=222.19
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 36103 0 0 0 22092 127 0 0 25 0 1 0 188205484 149708800 36058 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 36550 36058 136 292 0 36255 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 146200

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3368
/proc/meminfo: memFree=1578728/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=180780 CPUtime=282.16
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 44706 0 0 0 28063 153 0 0 25 0 1 0 188205484 185118720 44661 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 45195 44661 136 292 0 44900 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 180780

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3368
/proc/meminfo: memFree=1549288/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=210124 CPUtime=342.14
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 52026 0 0 0 34037 177 0 0 25 0 1 0 188205484 215166976 51981 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 52531 51981 136 292 0 52236 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 210124

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3368
/proc/meminfo: memFree=1522216/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=237396 CPUtime=402.11
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 58846 0 0 0 40012 199 0 0 25 0 1 0 188205484 243093504 58801 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 59349 58801 136 292 0 59054 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 237396

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3368
/proc/meminfo: memFree=1490728/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=268548 CPUtime=462.08
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 66628 0 0 0 45986 222 0 0 25 0 1 0 188205484 274993152 66583 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 67137 66583 136 292 0 66842 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 268548

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3368
/proc/meminfo: memFree=1462376/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=297440 CPUtime=522.07
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 73817 0 0 0 51962 245 0 0 25 0 1 0 188205484 304578560 73772 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 74360 73772 136 292 0 74065 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 297440

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3368
/proc/meminfo: memFree=1432488/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=326956 CPUtime=582.05
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 81196 0 0 0 57938 267 0 0 25 0 1 0 188205484 334802944 81151 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 81739 81151 136 292 0 81444 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 326956

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3368
/proc/meminfo: memFree=1403048/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=356120 CPUtime=642.02
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 88481 0 0 0 63913 289 0 0 25 0 1 0 188205484 364666880 88436 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 89030 88436 136 292 0 88735 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 356120

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3368
/proc/meminfo: memFree=1329640/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=429608 CPUtime=821.94
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 106792 0 0 0 81850 344 0 0 25 0 1 0 188205484 439918592 106747 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 107402 106747 136 292 0 107107 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 429608

[startup+882.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 3368
/proc/meminfo: memFree=1309032/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=450176 CPUtime=881.92
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 111925 0 0 0 87832 360 0 0 25 0 1 0 188205484 460980224 111880 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 112544 111880 136 292 0 112249 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 450176

[startup+942.302 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 3368
/proc/meminfo: memFree=1265192/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=493888 CPUtime=941.9
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 122857 0 0 0 93816 374 0 0 25 0 1 0 188205484 505741312 122812 1992294400 134512640 135709839 4294956240 18446744073709551615 134583741 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 123472 122812 136 292 0 123177 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 493888

[startup+1002.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 3370
/proc/meminfo: memFree=1263656/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=494968 CPUtime=1001.88
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 123183 0 0 0 99790 398 0 0 25 0 1 0 188205484 506847232 123100 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 123742 123100 136 292 0 123447 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 494968

[startup+1062.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 3370
/proc/meminfo: memFree=1263656/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=494968 CPUtime=1061.86
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 123196 0 0 0 105772 414 0 0 25 0 1 0 188205484 506847232 123113 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 123742 123113 136 292 0 123447 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 494968

[startup+1122.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 3370
/proc/meminfo: memFree=1263656/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=494968 CPUtime=1121.83
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 123201 0 0 0 111759 424 0 0 25 0 1 0 188205484 506847232 123118 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 123742 123118 136 292 0 123447 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 494968

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 3370
/proc/meminfo: memFree=1263080/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=494968 CPUtime=1181.81
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 123358 0 0 0 117739 442 0 0 25 0 1 0 188205484 506847232 123275 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 123742 123275 136 292 0 123447 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 494968

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 3370
/proc/meminfo: memFree=1263016/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=494968 CPUtime=1241.8
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 123375 0 0 0 123726 454 0 0 25 0 1 0 188205484 506847232 123292 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 123742 123292 136 292 0 123447 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 494968

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3370
/proc/meminfo: memFree=1262632/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=495236 CPUtime=1301.76
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 123445 0 0 0 129706 470 0 0 25 0 1 0 188205484 507121664 123362 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 123809 123362 136 292 0 123514 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 495236

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3370
/proc/meminfo: memFree=1246760/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=511464 CPUtime=1361.74
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 127467 0 0 0 135685 489 0 0 25 0 1 0 188205484 523739136 127384 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 127866 127384 136 292 0 127571 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 511464

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3370
/proc/meminfo: memFree=1224296/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=533772 CPUtime=1421.72
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 133038 0 0 0 141663 509 0 0 25 0 1 0 188205484 546582528 132955 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 133443 132955 136 292 0 133148 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 533772

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3370
/proc/meminfo: memFree=1203752/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=554644 CPUtime=1481.69
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 138227 0 0 0 147640 529 0 0 25 0 1 0 188205484 567955456 138144 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 138661 138144 136 292 0 138366 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 554644

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3370
/proc/meminfo: memFree=1184296/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=573720 CPUtime=1541.67
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 143004 0 0 0 153620 547 0 0 25 0 1 0 188205484 587489280 142921 1992294400 134512640 135709839 4294956240 18446744073709551615 134568583 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 143430 142921 136 292 0 143135 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 573720

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3370
/proc/meminfo: memFree=1166440/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=591928 CPUtime=1601.65
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 147521 0 0 0 159599 566 0 0 25 0 1 0 188205484 606134272 147438 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 147982 147438 136 292 0 147687 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 591928

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3376
/proc/meminfo: memFree=1146216/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=611916 CPUtime=1661.63
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 152503 0 0 0 165580 583 0 0 25 0 1 0 188205484 626601984 152420 1992294400 134512640 135709839 4294956240 18446744073709551615 134568552 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 152979 152420 136 292 0 152684 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 611916

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3376
/proc/meminfo: memFree=1119080/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=639348 CPUtime=1721.6
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 159366 0 0 0 171558 602 0 0 25 0 1 0 188205484 654692352 159283 1992294400 134512640 135709839 4294956240 18446744073709551615 134573796 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 159837 159283 136 292 0 159542 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 639348

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3376
/proc/meminfo: memFree=1092136/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=666084 CPUtime=1781.58
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 166038 0 0 0 177538 620 0 0 25 0 1 0 188205484 682070016 165955 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 166521 165955 136 292 0 166226 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 666084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3376
/proc/meminfo: memFree=1082152/2055920 swapFree=4191900/4192956
[pid=3367] ppid=3365 vsize=675924 CPUtime=1800.08
/proc/3367/stat : 3367 (wbo) R 3365 3367 2491 0 -1 4194304 168479 0 0 0 179383 625 0 0 25 0 1 0 188205484 692146176 168396 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 0 0 0
/proc/3367/statm: 168981 168396 136 292 0 168686 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 675924

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.9
CPU time (s): 1800.19
CPU user time (s): 1793.83
CPU system time (s): 6.35603
CPU usage (%): 99.9602
Max. virtual memory (cumulated for all children) (KiB): 675924

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

runsolver used 1.9477 second user time and 4.6203 second system time

The end

Launcher Data 

Begin job on node3 at 2009-06-17 04:34:05
IDJOB=1875391
IDBENCH=48231
IDSOLVER=698
FILE ID=node3/1875391-1245206045
PBS_JOBID= 9368339
Free space on /tmp= 66320 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_3.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875391-1245206045/watcher-1875391-1245206045 -o /tmp/evaluation-result-1875391-1245206045/solver-1875391-1245206045 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875391-1245206045.opb

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

MD5SUM BENCH= e70f8e0da8fa345ba6e82dce1b0133d2
RANDOM SEED=1859042745

node3.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1757776 kB
Buffers:         55764 kB
Cached:         154776 kB
SwapCached:        260 kB
Active:          68212 kB
Inactive:       155656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1757776 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2408 kB
Writeback:           0 kB
Mapped:          21804 kB
Slab:            60280 kB
Committed_AS:   164068 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875391-1245206045.opb

Free space on /tmp at the end= 66316 MiB
End job on node3 at 2009-06-17 05:04:08