Trace number 2702417

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.16 1800.64

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_4.opb
MD5SUM4c6ab7a9b1b11dc4bf8c6231156cc585
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark129.492
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint26
Maximum length of a constraint41
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 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3070
Sum of products size (including duplicates)6140
Number of different products3070
Sum of products size6140

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-2702417-1278566421.opb.
0.00/0.00	c Instance file HOME/instance-2702417-1278566421.opb
0.00/0.00	c File size is 219416 bytes.
0.01/0.03	c Highest Coefficient sum: 42
0.01/0.03	c ============================[ Problem Statistics ]=============================
0.01/0.03	c |                                                                             |
0.01/0.03	c |  Parsing time:          0.04         s                                      |
0.01/0.03	c |  Number Variables:      3170                                                |
0.01/0.03	c |  Number Clauses:        3170                                                |
0.01/0.03	c |  Number Cardinality:    0                                                   |
0.01/0.03	c |  Number PB Constraints: 3070                                                |
0.01/0.04	c ============================[ Search Statistics ]==============================
0.01/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.04	c ===============================================================================
0.01/0.04	c |         0 |    3170     6240    21590 |     5000        0    nan |  0.000 % |
0.01/0.04	c ===============================================================================
0.01/0.04	c New solution: 99
0.01/0.04	o 99
0.01/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 179.956 s
0.01/0.04	c ===============================================================================
0.01/0.04	c |         0 |    3170     6241    21690 |     5000        0    nan |  0.000 % |
0.01/0.04	c ===============================================================================
0.01/0.04	c New solution: 98
0.01/0.04	o 98
0.01/0.04	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 179.955 s
0.01/0.04	c ===============================================================================
0.01/0.04	c |         0 |    3170     6242    21790 |     5000        0    nan |  0.000 % |
0.01/0.05	c ===============================================================================
0.01/0.05	c New solution: 62
0.01/0.05	o 62
0.01/0.05	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 179.953 s
0.01/0.05	c ===============================================================================
0.01/0.05	c |         0 |    3170     6243    21890 |     5000        0    nan |  0.000 % |
0.01/0.05	c ===============================================================================
0.01/0.05	c New solution: 61
0.01/0.05	o 61
0.01/0.05	c Elapsed CPU time: 0.048992 s	Remaining CPU time: 179.951 s
0.01/0.05	c ===============================================================================
0.01/0.05	c |         0 |    3170     6244    21990 |     5000        0    nan |  0.000 % |
0.01/0.05	c ===============================================================================
0.01/0.05	c New solution: 60
0.01/0.05	o 60
0.01/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 179.949 s
0.01/0.05	c ===============================================================================
0.01/0.05	c |         0 |    3170     6245    22090 |     5000        0    nan |  0.000 % |
0.01/0.05	c ===============================================================================
0.01/0.05	c New solution: 59
0.01/0.05	o 59
0.01/0.05	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 179.946 s
0.01/0.05	c ===============================================================================
0.01/0.05	c |         0 |    3170     6246    22190 |     5000        0    nan |  0.000 % |
0.01/0.05	c ===============================================================================
0.01/0.05	c New solution: 58
0.01/0.05	o 58
0.01/0.05	c Elapsed CPU time: 0.055991 s	Remaining CPU time: 179.944 s
0.01/0.05	c ===============================================================================
0.01/0.05	c |         0 |    3170     6247    22290 |     5000        0    nan |  0.000 % |
0.01/0.06	c ===============================================================================
0.01/0.06	c New solution: 57
0.01/0.06	o 57
0.01/0.06	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 179.942 s
0.01/0.06	c ===============================================================================
0.01/0.06	c |         0 |    3170     6248    22390 |     5000        0    nan |  0.000 % |
0.01/0.06	c ===============================================================================
0.01/0.06	c New solution: 56
0.01/0.06	o 56
0.01/0.06	c Elapsed CPU time: 0.05999 s	Remaining CPU time: 179.94 s
0.01/0.06	c ===============================================================================
0.01/0.06	c |         0 |    3170     6249    22490 |     5000        0    nan |  0.000 % |
0.01/0.06	c ===============================================================================
0.01/0.06	c New solution: 55
0.01/0.06	o 55
0.01/0.06	c Elapsed CPU time: 0.06199 s	Remaining CPU time: 179.938 s
0.01/0.06	c ===============================================================================
0.01/0.06	c |         0 |    3170     6250    22590 |     5000        0    nan |  0.000 % |
0.01/0.06	c ===============================================================================
0.01/0.06	c New solution: 54
0.01/0.06	o 54
0.01/0.06	c Elapsed CPU time: 0.06399 s	Remaining CPU time: 179.936 s
0.01/0.06	c ===============================================================================
0.01/0.06	c |         1 |    3170     6251    22690 |     5000        1     55 |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c New solution: 8
0.01/0.07	o 8
0.01/0.07	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 179.934 s
0.01/0.07	c ===============================================================================
0.01/0.07	c |         1 |    3170     6252    22790 |     5000        1     55 |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c New solution: 7
0.01/0.07	o 7
0.01/0.07	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 179.924 s
0.01/0.07	c ===============================================================================
0.01/0.07	c |        55 |    3170     6253    22890 |     5000       55    113 |  0.000 % |
0.01/0.09	c |       157 |    3170     6253    22890 |     5500      157    101 |  0.000 % |
0.09/0.12	c |       307 |    3170     6253    22890 |     6050      307    105 |  0.000 % |
0.09/0.16	c |       532 |    3170     6253    22890 |     6655      532    106 |  0.000 % |
0.19/0.21	c |       871 |    3170     6253    22890 |     7320      871    104 |  0.000 % |
0.19/0.29	c |      1377 |    3170     6253    22890 |     8052     1377    104 |  0.000 % |
0.39/0.41	c ===============================================================================
0.39/0.41	c New solution: 6
0.39/0.41	o 6
0.39/0.41	c Elapsed CPU time: 0.407937 s	Remaining CPU time: 179.592 s
0.39/0.41	c ===============================================================================
0.39/0.41	c |      1987 |    3170     6254    22990 |     5000     1987    101 |  0.000 % |
0.39/0.44	c |      2090 |    3170     6254    22990 |     5500     2090    102 |  0.000 % |
0.39/0.47	c |      2240 |    3170     6254    22990 |     6050     2240    102 |  0.000 % |
0.49/0.52	c |      2466 |    3170     6254    22990 |     6655     2466    100 |  0.000 % |
0.49/0.59	c |      2805 |    3170     6254    22990 |     7320     2805    100 |  0.000 % |
0.59/0.70	c |      3313 |    3170     6254    22990 |     8052     3313    102 |  0.000 % |
0.79/0.85	c |      4072 |    3170     6254    22990 |     8857     4072    101 |  0.000 % |
1.10/1.14	c |      5214 |    3170     6254    22990 |     9743     5214    106 |  0.000 % |
1.49/1.56	c |      6922 |    3170     6254    22990 |    10717     6922    103 |  0.000 % |
2.29/2.36	c |      9487 |    3170     6254    22990 |    11789     9487     98 |  0.000 % |
3.39/3.42	c |     13334 |    3170     6254    22990 |    12968    13334    106 |  0.000 % |
4.99/5.08	c |     19102 |    3170     6254    22990 |    14265    12435    112 |  0.000 % |
7.70/7.78	c |     27752 |    3170     6254    22990 |    15692    12928    110 |  0.000 % |
12.48/12.56	c |     40726 |    3170     6254    22990 |    17261    17111    120 |  0.000 % |
19.18/19.29	c |     60188 |    3170     6254    22990 |    18987    17342    165 |  0.000 % |
30.69/30.75	c |     89380 |    3170     6254    22990 |    20886    15270    131 |  0.000 % |
48.97/49.01	c |    133172 |    3170     6254    22990 |    22974    12403    179 |  0.000 % |
78.67/78.77	c |    198856 |    3170     6254    22990 |    25272    23642    132 |  0.000 % |
123.26/123.30	c |    297382 |    3170     6254    22990 |    27799    27210    112 |  0.000 % |
181.64/181.72	c There are 0 assigned variables. 0 in cost function.
182.14/182.23	c core #1
182.14/182.23	c 
182.14/182.23	c 
182.14/182.23	c Core size: 52	Core Weight: 1	Total Weight: 1
182.14/182.23	c
182.14/182.23	c
182.14/182.23	c ============================[ Search Statistics ]==============================
182.14/182.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.14/182.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.14/182.23	c ===============================================================================
182.14/182.23	c |         0 |     865     6355    15197 |     5000        0    nan |  0.000 % |
182.14/182.23	c ===============================================================================
182.14/182.25	c core #2
182.14/182.25	c 
182.14/182.25	c 
182.14/182.25	c Core size: 244	Core Weight: 1	Total Weight: 2
182.14/182.25	c
182.14/182.25	c
182.14/182.25	c ============================[ Search Statistics ]==============================
182.14/182.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.14/182.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.14/182.25	c ===============================================================================
182.14/182.25	c |         0 |    3166     6356    22769 |     5000        0    nan |  0.000 % |
182.14/182.29	c |       100 |    3166     6356    22769 |     5500      100    150 |  3.681 % |
182.24/182.36	c |       250 |    3166     6356    22769 |     6050      250    171 |  3.681 % |
182.45/182.57	c ===============================================================================
182.45/182.59	c core #3
182.45/182.59	c 
182.45/182.59	c 
182.45/182.59	c Core size: 335	Core Weight: 1	Total Weight: 3
182.45/182.59	c
182.45/182.59	c
182.45/182.59	c ============================[ Search Statistics ]==============================
182.45/182.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.45/182.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.45/182.59	c ===============================================================================
182.45/182.59	c |         0 |    3387     6357    23524 |     5000        0    nan |  0.000 % |
182.55/182.64	c |       101 |    3387     6357    23524 |     5500      101    164 |  0.000 % |
182.64/182.72	c |       261 |    3387     6357    23524 |     6050      261    219 |  0.000 % |
182.74/182.84	c |       488 |    3387     6357    23524 |     6655      488    281 |  0.000 % |
182.94/183.03	c |       826 |    3387     6357    23524 |     7320      826    328 |  0.000 % |
183.04/183.18	c |      1332 |    3387     6357    23524 |     8052     1332    245 |  0.000 % |
183.45/183.58	c |      2098 |    3387     6357    23524 |     8857     2098    213 |  0.000 % |
184.14/184.27	c |      3247 |    3387     6357    23524 |     9743     3247    216 |  0.000 % |
185.44/185.52	c |      4955 |    3387     6357    23524 |    10717     4955    251 |  0.000 % |
188.05/188.18	c |      7519 |    3387     6357    23524 |    11789     7519    280 |  0.000 % |
191.54/191.62	c |     11364 |    3387     6357    23524 |    12968    11364    311 |  0.000 % |
195.44/195.52	c |     17130 |    3387     6357    23524 |    14265     9927    294 |  0.000 % |
200.94/201.06	c |     25779 |    3387     6357    23524 |    15692    10565    226 |  0.000 % |
210.24/210.35	c |     38755 |    3387     6357    23524 |    17261    14970    193 |  0.000 % |
224.53/224.69	c |     58219 |    3387     6357    23524 |    18987    15875    176 |  0.000 % |
247.34/247.43	c |     87412 |    3387     6357    23524 |    20886    13732    220 |  0.000 % |
276.32/276.40	c |    131203 |    3387     6357    23524 |    22974    22221    143 |  0.000 % |
326.91/327.06	c |    196887 |    3387     6357    23524 |    25272    20713    151 |  0.000 % |
403.59/403.71	c |    295418 |    3387     6357    23524 |    27799    24581    236 |  0.000 % |
522.85/523.03	c |    443209 |    3387     6357    23524 |    30579    26553    188 |  0.000 % |
569.74/569.93	c ===============================================================================
571.74/571.94	c core #4
571.74/571.94	c 
571.74/571.94	c 
571.74/571.94	c Core size: 173	Core Weight: 1	Total Weight: 4
571.74/571.94	c
571.74/571.94	c
571.74/571.94	c ============================[ Search Statistics ]==============================
571.74/571.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
571.74/571.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
571.74/571.94	c ===============================================================================
571.74/571.94	c |         0 |    3487     6358    23724 |     5000        0    nan |  0.000 % |
571.84/572.06	c |       103 |    3487     6358    23724 |     5500      103    184 |  0.000 % |
571.94/572.10	c |       254 |    3487     6358    23724 |     6050      254    147 |  0.000 % |
571.94/572.16	c |       482 |    3487     6358    23724 |     6655      482    119 |  0.000 % |
572.04/572.24	c |       821 |    3487     6358    23724 |     7320      821     96 |  0.000 % |
572.14/572.37	c |      1329 |    3487     6358    23724 |     8052     1329     90 |  0.000 % |
572.34/572.53	c |      2088 |    3487     6358    23724 |     8857     2088     89 |  0.000 % |
572.54/572.79	c |      3228 |    3487     6358    23724 |     9743     3228     92 |  0.000 % |
573.04/573.24	c |      4936 |    3487     6358    23724 |    10717     4936     95 |  0.000 % |
573.84/574.03	c |      7503 |    3487     6358    23724 |    11789     7503     94 |  0.000 % |
575.05/575.22	c |     11350 |    3487     6358    23724 |    12968    11350     95 |  0.000 % |
577.24/577.40	c |     17119 |    3487     6358    23724 |    14265     9677     95 |  0.000 % |
580.24/580.41	c |     25770 |    3487     6358    23724 |    15692    10158     92 |  0.000 % |
585.74/585.91	c |     38745 |    3487     6358    23724 |    17261    14226     79 |  0.000 % |
593.93/594.15	c |     58213 |    3487     6358    23724 |    18987    14486     98 |  0.000 % |
606.84/607.03	c |     87407 |    3487     6358    23724 |    20886    12275     87 |  0.000 % |
628.22/628.41	c |    131198 |    3487     6358    23724 |    22974    20750     78 |  0.000 % |
660.12/660.33	c |    196887 |    3487     6358    23724 |    25272    17741     90 |  0.000 % |
708.11/708.31	c |    295414 |    3487     6358    23724 |    27799    19946     88 |  0.000 % |
785.38/785.63	c |    443203 |    3487     6358    23724 |    30579    22529     87 |  0.000 % |
904.15/904.41	c |    664886 |    3487     6358    23724 |    33637    12954     92 |  0.000 % |
1097.30/1097.69	c |    997413 |    3487     6358    23724 |    37001    35169     94 |  0.000 % |
1401.02/1401.42	c |   1496203 |    3487     6358    23724 |    40701    20944     96 |  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-2702417-1278566421/watcher-2702417-1278566421 -o /tmp/evaluation-result-2702417-1278566421/solver-2702417-1278566421 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702417-1278566421.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 0.99 0.99 2/105 28149
/proc/meminfo: memFree=1671372/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=3348 CPUtime=0
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 401 0 0 0 0 0 0 0 25 0 1 0 24850580 3428352 319 1992294400 134512640 135752675 4291355600 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 837 319 140 303 0 478 0

[startup+0.0205029 s]
/proc/loadavg: 1.00 0.99 0.99 2/105 28149
/proc/meminfo: memFree=1671372/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=3480 CPUtime=0.01
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 453 0 0 0 1 0 0 0 25 0 1 0 24850580 3563520 371 1992294400 134512640 135752675 4291355600 18446744073709551615 134560765 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 870 371 158 303 0 511 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3480

[startup+0.100513 s]
/proc/loadavg: 1.00 0.99 0.99 2/105 28149
/proc/meminfo: memFree=1671372/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=3852 CPUtime=0.09
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 727 0 0 0 9 0 0 0 18 0 1 0 24850580 3944448 517 1992294400 134512640 135752675 4291355600 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 963 517 145 303 0 658 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3852

[startup+0.300536 s]
/proc/loadavg: 1.00 0.99 0.99 2/105 28149
/proc/meminfo: memFree=1671372/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=4512 CPUtime=0.29
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 897 0 0 0 29 0 0 0 18 0 1 0 24850580 4620288 687 1992294400 134512640 135752675 4291355600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 1128 687 145 303 0 823 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4512

[startup+0.700581 s]
/proc/loadavg: 1.00 0.99 0.99 2/105 28149
/proc/meminfo: memFree=1671372/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=5568 CPUtime=0.69
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 1157 0 0 0 68 1 0 0 18 0 1 0 24850580 5701632 947 1992294400 134512640 135752675 4291355600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 1392 947 145 303 0 1087 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5568

[startup+1.50067 s]
/proc/loadavg: 1.00 0.99 0.99 2/106 28150
/proc/meminfo: memFree=1667644/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=7416 CPUtime=1.49
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 1620 0 0 0 147 2 0 0 19 0 1 0 24850580 7593984 1410 1992294400 134512640 135752675 4291355600 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 1854 1410 145 303 0 1549 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7416

[startup+3.10085 s]
/proc/loadavg: 1.00 0.99 0.99 2/106 28150
/proc/meminfo: memFree=1665412/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=10480 CPUtime=3.09
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 2398 0 0 0 306 3 0 0 25 0 1 0 24850580 10731520 2188 1992294400 134512640 135752675 4291355600 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 2620 2188 145 303 0 2315 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10480

[startup+6.30121 s]
/proc/loadavg: 1.00 0.99 0.99 2/106 28150
/proc/meminfo: memFree=1658468/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=17000 CPUtime=6.29
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 4001 0 0 0 622 7 0 0 25 0 1 0 24850580 17408000 3791 1992294400 134512640 135752675 4291355600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 4250 3791 145 303 0 3945 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17000

[startup+12.7009 s]
/proc/loadavg: 1.00 0.99 0.99 2/106 28150
/proc/meminfo: memFree=1646936/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=27828 CPUtime=12.69
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 6735 0 0 0 1256 13 0 0 25 0 1 0 24850580 28495872 6525 1992294400 134512640 135752675 4291355600 18446744073709551615 135222232 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 6957 6525 145 303 0 6652 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27828

[startup+25.5004 s]
/proc/loadavg: 1.00 0.99 0.99 2/106 28150
/proc/meminfo: memFree=1621640/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=52432 CPUtime=25.49
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 12884 0 0 0 2523 26 0 0 25 0 1 0 24850580 53690368 12674 1992294400 134512640 135752675 4291355600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 13108 12674 145 303 0 12803 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52432

[startup+51.1013 s]
/proc/loadavg: 1.00 0.99 0.99 2/106 28150
/proc/meminfo: memFree=1577372/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=97260 CPUtime=51.08
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 24085 0 0 0 5057 51 0 0 25 0 1 0 24850580 99594240 23875 1992294400 134512640 135752675 4291355600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 24315 23875 145 303 0 24010 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 97260

[startup+102.308 s]
/proc/loadavg: 1.00 0.99 0.99 2/106 28152
/proc/meminfo: memFree=1504708/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=168688 CPUtime=102.28
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 41924 0 0 0 10133 95 0 0 25 0 1 0 24850580 172736512 41714 1992294400 134512640 135752675 4291355600 18446744073709551615 134612133 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 42172 41714 145 303 0 41867 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 168688

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/106 28154
/proc/meminfo: memFree=1421752/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=252188 CPUtime=162.25
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 62805 0 0 0 16077 148 0 0 25 0 1 0 24850580 258240512 62595 1992294400 134512640 135752675 4291355600 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 63047 62595 145 303 0 62742 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 252188

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/106 28156
/proc/meminfo: memFree=1366448/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=306568 CPUtime=222.24
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 76458 0 0 0 22032 192 0 0 25 0 1 0 24850580 313925632 76218 1992294400 134512640 135752675 4291355600 18446744073709551615 134616024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 76642 76218 146 303 0 76337 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 306568

[startup+282.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/106 28156
/proc/meminfo: memFree=1315236/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=358584 CPUtime=282.22
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 89453 0 0 0 27988 234 0 0 25 0 1 0 24850580 367190016 89213 1992294400 134512640 135752675 4291355600 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 89646 89213 146 303 0 89341 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 358584

[startup+342.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/106 28158
/proc/meminfo: memFree=1259808/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=413148 CPUtime=342.2
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 103105 0 0 0 33942 278 0 0 25 0 1 0 24850580 423063552 102865 1992294400 134512640 135752675 4291355600 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 103287 102865 146 303 0 102982 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 413148

[startup+402.301 s]
/proc/loadavg: 1.08 1.02 1.00 2/106 28160
/proc/meminfo: memFree=1186276/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=487396 CPUtime=402.18
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 121648 0 0 0 39895 323 0 0 25 0 1 0 24850580 499093504 121408 1992294400 134512640 135752675 4291355600 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 121849 121408 146 303 0 121544 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 487396

[startup+462.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/106 28162
/proc/meminfo: memFree=1112000/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=560584 CPUtime=462.17
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 139932 0 0 0 45852 365 0 0 25 0 1 0 24850580 574038016 139692 1992294400 134512640 135752675 4291355600 18446744073709551615 134605239 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 140146 139692 146 303 0 139841 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 560584

[startup+522.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/106 28164
/proc/meminfo: memFree=1051860/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=621076 CPUtime=522.15
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 155054 0 0 0 51809 406 0 0 25 0 1 0 24850580 635981824 154814 1992294400 134512640 135752675 4291355600 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 155269 154814 146 303 0 154964 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 621076

[startup+582.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/106 28164
/proc/meminfo: memFree=1012800/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=659480 CPUtime=582.14
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 164646 0 0 0 57774 440 0 0 25 0 1 0 24850580 675307520 164406 1992294400 134512640 135752675 4291355600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 164870 164406 146 303 0 164565 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 659480

[startup+642.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/106 28166
/proc/meminfo: memFree=969152/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=702844 CPUtime=642.13
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 175523 0 0 0 63727 486 0 0 25 0 1 0 24850580 719712256 175283 1992294400 134512640 135752675 4291355600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 175711 175283 146 303 0 175406 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 702844

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.06 1.05 1.00 2/106 28172
/proc/meminfo: memFree=776208/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=895388 CPUtime=882.05
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 223631 0 0 0 87533 672 0 0 25 0 1 0 24850580 916877312 223391 1992294400 134512640 135752675 4291355600 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 223847 223391 146 303 0 223542 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 895388

[startup+942.301 s]
/proc/loadavg: 1.13 1.07 1.01 2/106 28174
/proc/meminfo: memFree=725368/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=946632 CPUtime=942.04
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 236429 0 0 0 93491 713 0 0 25 0 1 0 24850580 969351168 236189 1992294400 134512640 135752675 4291355600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 236658 236189 146 303 0 236353 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 946632

[startup+1002.3 s]
/proc/loadavg: 1.12 1.07 1.00 2/106 28176
/proc/meminfo: memFree=682216/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=989296 CPUtime=1002.03
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 247095 0 0 0 99448 755 0 0 25 0 1 0 24850580 1013039104 246855 1992294400 134512640 135752675 4291355600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 247324 246855 146 303 0 247019 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 989296

[startup+1062.3 s]
/proc/loadavg: 1.11 1.07 1.00 2/106 28178
/proc/meminfo: memFree=638196/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=1033672 CPUtime=1062.01
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 258192 0 0 0 105403 798 0 0 25 0 1 0 24850580 1058480128 257952 1992294400 134512640 135752675 4291355600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 258418 257952 146 303 0 258113 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1033672

[startup+1122.3 s]
/proc/loadavg: 1.10 1.07 1.00 2/106 28180
/proc/meminfo: memFree=592688/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=1078696 CPUtime=1121.99
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 269425 0 0 0 111360 839 0 0 25 0 1 0 24850580 1104584704 269185 1992294400 134512640 135752675 4291355600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 269674 269185 146 303 0 269369 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1078696

[startup+1182.3 s]
/proc/loadavg: 1.09 1.07 1.00 2/106 28180
/proc/meminfo: memFree=551396/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=1120224 CPUtime=1181.98
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 279797 0 0 0 117316 882 0 0 25 0 1 0 24850580 1147109376 279557 1992294400 134512640 135752675 4291355600 18446744073709551615 134603238 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 280056 279557 146 303 0 279751 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1120224

[startup+1242.3 s]
/proc/loadavg: 1.08 1.07 1.00 2/106 28182
/proc/meminfo: memFree=505392/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=1165632 CPUtime=1241.96
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 291166 0 0 0 123273 923 0 0 25 0 1 0 24850580 1193607168 290926 1992294400 134512640 135752675 4291355600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 291408 290926 146 303 0 291103 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1165632

[startup+1302.3 s]
/proc/loadavg: 1.08 1.07 1.00 2/106 28184
/proc/meminfo: memFree=459140/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=1211460 CPUtime=1301.95
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 302604 0 0 0 129228 967 0 0 25 0 1 0 24850580 1240535040 302364 1992294400 134512640 135752675 4291355600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 302865 302364 146 303 0 302560 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1211460

[startup+1362.3 s]
/proc/loadavg: 1.07 1.07 1.00 2/106 28186
/proc/meminfo: memFree=417104/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=1253832 CPUtime=1361.93
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 313214 0 0 0 135188 1005 0 0 25 0 1 0 24850580 1283923968 312974 1992294400 134512640 135752675 4291355600 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 313458 312974 146 303 0 313153 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1253832

[startup+1422.31 s]
/proc/loadavg: 1.07 1.06 1.00 2/106 28188
/proc/meminfo: memFree=370232/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=1300292 CPUtime=1421.93
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 324819 0 0 0 141146 1047 0 0 25 0 1 0 24850580 1331499008 324579 1992294400 134512640 135752675 4291355600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 325073 324579 146 303 0 324768 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1300292

[startup+1482.3 s]
/proc/loadavg: 1.06 1.06 1.00 2/106 28188
/proc/meminfo: memFree=328072/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=1342812 CPUtime=1481.9
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 335436 0 0 0 147105 1085 0 0 25 0 1 0 24850580 1375039488 335196 1992294400 134512640 135752675 4291355600 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 335703 335196 146 303 0 335398 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1342812

[startup+1542.3 s]
/proc/loadavg: 1.06 1.06 1.00 2/106 28190
/proc/meminfo: memFree=289880/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=1380536 CPUtime=1541.89
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 344875 0 0 0 153063 1126 0 0 25 0 1 0 24850580 1413668864 344635 1992294400 134512640 135752675 4291355600 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 345134 344635 146 303 0 344829 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1380536

[startup+1602.3 s]
/proc/loadavg: 1.13 1.08 1.01 2/106 28192
/proc/meminfo: memFree=252928/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=1417948 CPUtime=1601.87
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 354200 0 0 0 159018 1169 0 0 25 0 1 0 24850580 1451978752 353960 1992294400 134512640 135752675 4291355600 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 354487 353960 146 303 0 354182 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1417948

[startup+1662.3 s]
/proc/loadavg: 1.12 1.08 1.00 2/106 28194
/proc/meminfo: memFree=212752/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=1457552 CPUtime=1661.86
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 364113 0 0 0 164977 1209 0 0 25 0 1 0 24850580 1492533248 363873 1992294400 134512640 135752675 4291355600 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 364388 363873 146 303 0 364083 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1457552

[startup+1722.3 s]
/proc/loadavg: 1.11 1.08 1.00 2/106 28196
/proc/meminfo: memFree=171584/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=1498740 CPUtime=1721.83
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 374427 0 0 0 170931 1252 0 0 25 0 1 0 24850580 1534709760 374187 1992294400 134512640 135752675 4291355600 18446744073709551615 134616042 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 374685 374187 146 303 0 374380 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1498740

[startup+1782.3 s]
/proc/loadavg: 1.10 1.08 1.00 2/106 28196
/proc/meminfo: memFree=134260/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=1535708 CPUtime=1781.82
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 383640 0 0 0 176890 1292 0 0 25 0 1 0 24850580 1572564992 383400 1992294400 134512640 135752675 4291355600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 383927 383400 146 303 0 383622 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1535708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.07 1.07 1.00 2/106 28198
/proc/meminfo: memFree=123100/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=1546532 CPUtime=1800.02
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4202496 386367 0 0 0 178699 1303 0 0 25 0 1 0 24850580 1583648768 386127 1992294400 134512640 135752675 4291355600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28149/statm: 386633 386127 146 303 0 386328 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1546532

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

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

[startup+1800.61 s]
/proc/loadavg: 1.07 1.07 1.00 2/107 28199
/proc/meminfo: memFree=1302332/2059040 swapFree=4139760/4192956
[pid=28149] ppid=28147 vsize=0 CPUtime=1800.13
/proc/28149/stat : 28149 (wbo1.4b) R 28147 28149 27605 0 -1 4203524 386367 0 0 0 178699 1314 0 0 25 0 1 0 24850580 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/28149/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.64
CPU time (s): 1800.16
CPU user time (s): 1787
CPU system time (s): 13.168
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1546532

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

runsolver used 3.03854 second user time and 8.44772 second system time

The end

Launcher Data 

Begin job on node085 at 2010-07-08 07:20:21
IDJOB=2702417
IDBENCH=48143
IDSOLVER=1190
FILE ID=node085/2702417-1278566421
PBS_JOBID= 11239583
Free space on /tmp= 121804 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_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-2702417-1278566421/watcher-2702417-1278566421 -o /tmp/evaluation-result-2702417-1278566421/solver-2702417-1278566421 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702417-1278566421.opb

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

MD5SUM BENCH= 4c6ab7a9b1b11dc4bf8c6231156cc585
RANDOM SEED=681404588

node085.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.215
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.43
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.215
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.39
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1672644 kB
Buffers:         70112 kB
Cached:         216016 kB
SwapCached:       7548 kB
Active:         125176 kB
Inactive:       175308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1672644 kB
SwapTotal:     4192956 kB
SwapFree:      4139760 kB
Dirty:            2720 kB
Writeback:           0 kB
AnonPages:       11736 kB
Mapped:          11984 kB
Slab:            64184 kB
PageTables:       4076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181108 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-2702417-1278566421.opb

Free space on /tmp at the end= 121800 MiB
End job on node085 at 2010-07-08 07:50:24