Trace number 2702353

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.23 1801.06

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_1.opb
MD5SUMaa10899bd7f711370f6ef9f1251ce7f2
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 benchmark65.4411
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 constraint44
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)3038
Sum of products size (including duplicates)6076
Number of different products3038
Sum of products size6076

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-2702353-1278564551.opb.
0.00/0.00	c Instance file HOME/instance-2702353-1278564551.opb
0.00/0.00	c File size is 217164 bytes.
0.02/0.04	c Highest Coefficient sum: 45
0.02/0.04	c ============================[ Problem Statistics ]=============================
0.02/0.04	c |                                                                             |
0.02/0.04	c |  Parsing time:          0.04         s                                      |
0.02/0.04	c |  Number Variables:      3138                                                |
0.02/0.04	c |  Number Clauses:        3138                                                |
0.02/0.04	c |  Number Cardinality:    0                                                   |
0.02/0.04	c |  Number PB Constraints: 3038                                                |
0.02/0.04	c ============================[ Search Statistics ]==============================
0.02/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.04	c ===============================================================================
0.02/0.04	c |         0 |    3138     6176    21366 |     5000        0    nan |  0.000 % |
0.02/0.04	c ===============================================================================
0.02/0.04	c New solution: 99
0.02/0.04	o 99
0.02/0.04	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 179.957 s
0.02/0.04	c ===============================================================================
0.02/0.04	c |         0 |    3138     6177    21466 |     5000        0    nan |  0.000 % |
0.02/0.04	c ===============================================================================
0.02/0.04	c New solution: 96
0.02/0.04	o 96
0.02/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 179.956 s
0.02/0.04	c ===============================================================================
0.02/0.04	c |         0 |    3138     6178    21566 |     5000        0    nan |  0.000 % |
0.02/0.05	c ===============================================================================
0.02/0.05	c New solution: 95
0.02/0.05	o 95
0.02/0.05	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 179.955 s
0.02/0.05	c ===============================================================================
0.02/0.05	c |         0 |    3138     6179    21666 |     5000        0    nan |  0.000 % |
0.02/0.05	c ===============================================================================
0.02/0.05	c New solution: 94
0.02/0.05	o 94
0.02/0.05	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 179.953 s
0.02/0.05	c ===============================================================================
0.02/0.05	c |         0 |    3138     6180    21766 |     5000        0    nan |  0.000 % |
0.02/0.05	c ===============================================================================
0.02/0.05	c New solution: 93
0.02/0.05	o 93
0.02/0.05	c Elapsed CPU time: 0.047992 s	Remaining CPU time: 179.952 s
0.02/0.05	c ===============================================================================
0.02/0.05	c |         0 |    3138     6181    21866 |     5000        0    nan |  0.000 % |
0.02/0.05	c ===============================================================================
0.02/0.05	c New solution: 92
0.02/0.05	o 92
0.02/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 179.949 s
0.02/0.05	c ===============================================================================
0.02/0.05	c |         0 |    3138     6182    21966 |     5000        0    nan |  0.000 % |
0.02/0.05	c ===============================================================================
0.02/0.05	c New solution: 91
0.02/0.05	o 91
0.02/0.05	c Elapsed CPU time: 0.052991 s	Remaining CPU time: 179.947 s
0.02/0.05	c ===============================================================================
0.02/0.05	c |         0 |    3138     6183    22066 |     5000        0    nan |  0.000 % |
0.02/0.06	c ===============================================================================
0.02/0.06	c New solution: 90
0.02/0.06	o 90
0.02/0.06	c Elapsed CPU time: 0.054991 s	Remaining CPU time: 179.945 s
0.02/0.06	c ===============================================================================
0.02/0.06	c |         0 |    3138     6184    22166 |     5000        0    nan |  0.000 % |
0.02/0.06	c ===============================================================================
0.02/0.06	c New solution: 89
0.02/0.06	o 89
0.02/0.06	c Elapsed CPU time: 0.056991 s	Remaining CPU time: 179.943 s
0.02/0.06	c ===============================================================================
0.02/0.06	c |         0 |    3138     6185    22266 |     5000        0    nan |  0.000 % |
0.02/0.06	c ===============================================================================
0.02/0.06	c New solution: 88
0.02/0.06	o 88
0.02/0.06	c Elapsed CPU time: 0.058991 s	Remaining CPU time: 179.941 s
0.02/0.06	c ===============================================================================
0.02/0.06	c |         0 |    3138     6186    22366 |     5000        0    nan |  0.000 % |
0.02/0.06	c ===============================================================================
0.02/0.06	c New solution: 40
0.02/0.06	o 40
0.02/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 179.939 s
0.02/0.06	c ===============================================================================
0.02/0.06	c |         0 |    3138     6187    22466 |     5000        0    nan |  0.000 % |
0.02/0.07	c ===============================================================================
0.02/0.07	c New solution: 39
0.02/0.07	o 39
0.02/0.07	c Elapsed CPU time: 0.06399 s	Remaining CPU time: 179.936 s
0.02/0.07	c ===============================================================================
0.02/0.07	c |         1 |    3138     6188    22566 |     5000        1     40 |  0.000 % |
0.02/0.07	c ===============================================================================
0.02/0.07	c New solution: 7
0.02/0.07	o 7
0.02/0.07	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 179.934 s
0.02/0.07	c ===============================================================================
0.02/0.07	c |         1 |    3138     6189    22666 |     5000        1     40 |  0.000 % |
0.02/0.09	c |       101 |    3138     6189    22666 |     5500      101     77 |  0.000 % |
0.09/0.11	c |       253 |    3138     6189    22666 |     6050      253     89 |  0.000 % |
0.09/0.15	c |       481 |    3138     6189    22666 |     6655      481     94 |  0.000 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c New solution: 6
0.19/0.22	o 6
0.19/0.22	c Elapsed CPU time: 0.210967 s	Remaining CPU time: 179.789 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |       796 |    3138     6190    22766 |     5000      796     95 |  0.000 % |
0.19/0.23	c |       896 |    3138     6190    22766 |     5500      896     96 |  0.000 % |
0.19/0.27	c |      1046 |    3138     6190    22766 |     6050     1046     94 |  0.000 % |
0.29/0.32	c |      1274 |    3138     6190    22766 |     6655     1274     92 |  0.000 % |
0.29/0.39	c |      1611 |    3138     6190    22766 |     7320     1611     93 |  0.000 % |
0.49/0.50	c |      2118 |    3138     6190    22766 |     8052     2118     92 |  0.000 % |
0.59/0.66	c |      2877 |    3138     6190    22766 |     8857     2877     94 |  0.000 % |
0.88/0.91	c |      4017 |    3138     6190    22766 |     9743     4017     98 |  0.000 % |
1.19/1.27	c |      5725 |    3138     6190    22766 |    10717     5725    100 |  0.000 % |
1.89/1.90	c |      8287 |    3138     6190    22766 |    11789     8287    107 |  0.000 % |
2.99/3.04	c |     12132 |    3138     6190    22766 |    12968    12132    105 |  0.000 % |
4.59/4.69	c |     17898 |    3138     6190    22766 |    14265    10294    111 |  0.000 % |
7.79/7.88	c |     26548 |    3138     6190    22766 |    15692    10783    183 |  0.000 % |
12.19/12.27	c |     39524 |    3138     6190    22766 |    17261    14893    154 |  0.000 % |
19.69/19.76	c |     58987 |    3138     6190    22766 |    18987    15331    226 |  0.000 % |
31.09/31.16	c |     88180 |    3138     6190    22766 |    20886    13199    169 |  0.000 % |
50.28/50.30	c |    131969 |    3138     6190    22766 |    22974    11389    141 |  0.000 % |
77.58/77.63	c |    197661 |    3138     6190    22766 |    25272    21492    110 |  0.000 % |
125.07/125.12	c |    296187 |    3138     6190    22766 |    27799    24733    114 |  0.000 % |
181.76/181.84	c There are 0 assigned variables. 0 in cost function.
182.26/182.33	c core #1
182.26/182.33	c 
182.26/182.33	c 
182.26/182.33	c Core size: 52	Core Weight: 1	Total Weight: 1
182.26/182.33	c
182.26/182.33	c
182.26/182.33	c ============================[ Search Statistics ]==============================
182.26/182.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.26/182.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.26/182.34	c ===============================================================================
182.26/182.34	c |         0 |     873     6291    14993 |     5000        0    nan |  0.000 % |
182.26/182.34	c ===============================================================================
182.26/182.36	c core #2
182.26/182.36	c 
182.26/182.36	c 
182.26/182.36	c Core size: 208	Core Weight: 1	Total Weight: 2
182.26/182.36	c
182.26/182.36	c
182.26/182.36	c ============================[ Search Statistics ]==============================
182.26/182.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.26/182.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.26/182.36	c ===============================================================================
182.26/182.36	c |         0 |    2928     6292    21345 |     5000        0    nan |  0.000 % |
182.36/182.41	c |       100 |    2928     6292    21345 |     5500      100    159 |  9.936 % |
182.47/182.50	c ===============================================================================
182.47/182.53	c core #3
182.47/182.53	c 
182.47/182.53	c 
182.47/182.53	c Core size: 273	Core Weight: 1	Total Weight: 3
182.47/182.53	c
182.47/182.53	c
182.47/182.53	c ============================[ Search Statistics ]==============================
182.47/182.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.47/182.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.47/182.53	c ===============================================================================
182.47/182.53	c |         0 |    3351     6293    23292 |     5000        0    nan |  0.000 % |
182.47/182.59	c |       104 |    3351     6293    23292 |     5500      104    132 |  0.000 % |
182.57/182.66	c |       258 |    3351     6293    23292 |     6050      258    151 |  0.000 % |
182.66/182.79	c |       486 |    3351     6293    23292 |     6655      486    155 |  0.000 % |
182.86/182.97	c |       823 |    3351     6293    23292 |     7320      823    156 |  0.000 % |
183.16/183.26	c |      1333 |    3351     6293    23292 |     8052     1333    175 |  0.000 % |
183.66/183.78	c |      2093 |    3351     6293    23292 |     8857     2093    219 |  0.000 % |
184.46/184.57	c |      3239 |    3351     6293    23292 |     9743     3239    205 |  0.000 % |
185.96/186.02	c |      4947 |    3351     6293    23292 |    10717     4947    239 |  0.000 % |
188.06/188.17	c |      7509 |    3351     6293    23292 |    11789     7509    218 |  0.000 % |
191.06/191.11	c |     11353 |    3351     6293    23292 |    12968    11353    208 |  0.000 % |
197.66/197.73	c |     17119 |    3351     6293    23292 |    14265    10369    259 |  0.000 % |
206.66/206.72	c |     25769 |    3351     6293    23292 |    15692    11499    234 |  0.000 % |
217.05/217.18	c |     38743 |    3351     6293    23292 |    17261    15749    166 |  0.000 % |
230.85/230.93	c |     58219 |    3351     6293    23292 |    18987    16185    111 |  0.000 % |
251.94/252.04	c |     87412 |    3351     6293    23292 |    20886    14105    317 |  0.000 % |
289.63/289.71	c |    131202 |    3351     6293    23292 |    22974    12365    170 |  0.000 % |
335.33/335.42	c |    196887 |    3351     6293    23292 |    25272    23174    190 |  0.000 % |
420.40/420.51	c |    295416 |    3351     6293    23292 |    27799    12867    205 |  0.000 % |
554.06/554.21	c |    443208 |    3351     6293    23292 |    30579    19700    123 |  0.000 % |
762.11/762.39	c |    664895 |    3351     6293    23292 |    33637    14624    197 |  0.000 % |
1019.11/1019.45	c ===============================================================================
1023.11/1023.48	c core #4
1023.11/1023.48	c 
1023.11/1023.48	c 
1023.11/1023.48	c Core size: 102	Core Weight: 1	Total Weight: 4
1023.11/1023.48	c
1023.11/1023.48	c
1023.11/1023.48	c ============================[ Search Statistics ]==============================
1023.11/1023.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1023.11/1023.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1023.11/1023.48	c ===============================================================================
1023.11/1023.48	c |         0 |    3451     6295    23495 |     5000        0    nan |  0.000 % |
1023.41/1023.70	c |       104 |    3451     6295    23495 |     5500      104    202 |  0.000 % |
1023.41/1023.74	c |       256 |    3451     6295    23495 |     6050      256    173 |  0.000 % |
1023.41/1023.79	c |       485 |    3451     6295    23495 |     6655      485    132 |  0.000 % |
1023.51/1023.87	c |       822 |    3451     6295    23495 |     7320      822    107 |  0.000 % |
1023.62/1023.99	c |      1328 |    3451     6295    23495 |     8052     1328    101 |  0.000 % |
1023.82/1024.16	c |      2092 |    3451     6295    23495 |     8857     2092     94 |  0.000 % |
1024.11/1024.45	c |      3231 |    3451     6295    23495 |     9743     3231     91 |  0.000 % |
1024.62/1024.90	c |      4940 |    3451     6295    23495 |    10717     4940     87 |  0.000 % |
1025.32/1025.62	c |      7507 |    3451     6295    23495 |    11789     7507     88 |  0.000 % |
1026.52/1026.82	c |     11351 |    3451     6295    23495 |    12968    11351     90 |  0.000 % |
1028.71/1029.09	c |     17117 |    3451     6295    23495 |    14265     9565     90 |  0.000 % |
1031.91/1032.28	c |     25766 |    3451     6295    23495 |    15692    10070     93 |  0.000 % |
1037.11/1037.43	c |     38747 |    3451     6295    23495 |    17261    14216     92 |  0.000 % |
1045.50/1045.80	c |     58209 |    3451     6295    23495 |    18987    14575     87 |  0.000 % |
1058.90/1059.27	c |     87405 |    3451     6295    23495 |    20886    12108     89 |  0.000 % |
1079.29/1079.63	c |    131196 |    3451     6295    23495 |    22974    21535     84 |  0.000 % |
1110.08/1110.46	c |    196883 |    3451     6295    23495 |    25272    19743     98 |  0.000 % |
1161.27/1161.63	c |    295409 |    3451     6295    23495 |    27799    24011    255 |  0.000 % |
1238.74/1239.15	c |    443198 |    3451     6295    23495 |    30579    25993     96 |  0.000 % |
1360.61/1361.06	c |    664882 |    3451     6295    23495 |    33637    19740     86 |  0.000 % |
1545.37/1545.80	c |    997407 |    3451     6295    23495 |    37001    17436     84 |  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-2702353-1278564551/watcher-2702353-1278564551 -o /tmp/evaluation-result-2702353-1278564551/solver-2702353-1278564551 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702353-1278564551.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.39 0.11 0.03 2/106 2373
/proc/meminfo: memFree=1668056/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=3364 CPUtime=0
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 399 0 0 0 0 0 0 0 19 0 1 0 6292 3444736 317 1992294400 134512640 135752675 4293991184 18446744073709551615 134609676 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 841 317 136 303 0 482 0

[startup+0.024997 s]
/proc/loadavg: 0.39 0.11 0.03 2/106 2373
/proc/meminfo: memFree=1668056/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=3496 CPUtime=0.02
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 475 0 0 0 2 0 0 0 19 0 1 0 6292 3579904 393 1992294400 134512640 135752675 4293991184 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 874 393 163 303 0 515 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3496

[startup+0.100985 s]
/proc/loadavg: 0.39 0.11 0.03 2/106 2373
/proc/meminfo: memFree=1668056/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=3852 CPUtime=0.09
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 723 0 0 0 9 0 0 0 18 0 1 0 6292 3944448 514 1992294400 134512640 135752675 4293991184 18446744073709551615 134639927 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 963 514 145 303 0 658 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3852

[startup+0.300955 s]
/proc/loadavg: 0.39 0.11 0.03 2/106 2373
/proc/meminfo: memFree=1668056/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=4380 CPUtime=0.29
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 854 0 0 0 29 0 0 0 18 0 1 0 6292 4485120 645 1992294400 134512640 135752675 4293991184 18446744073709551615 134611628 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 1095 645 145 303 0 790 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4380

[startup+0.700894 s]
/proc/loadavg: 0.39 0.11 0.03 2/106 2373
/proc/meminfo: memFree=1668056/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=5312 CPUtime=0.69
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 1100 0 0 0 68 1 0 0 18 0 1 0 6292 5439488 891 1992294400 134512640 135752675 4293991184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 1328 891 145 303 0 1023 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5312

[startup+1.50077 s]
/proc/loadavg: 0.39 0.11 0.03 2/107 2374
/proc/meminfo: memFree=1664360/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=7304 CPUtime=1.49
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 1608 0 0 0 147 2 0 0 19 0 1 0 6292 7479296 1399 1992294400 134512640 135752675 4293991184 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 1826 1400 145 303 0 1521 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7304

[startup+3.10053 s]
/proc/loadavg: 0.44 0.12 0.04 2/107 2374
/proc/meminfo: memFree=1661632/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=10624 CPUtime=3.09
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 2420 0 0 0 305 4 0 0 25 0 1 0 6292 10878976 2211 1992294400 134512640 135752675 4293991184 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 2656 2211 145 303 0 2351 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10624

[startup+6.30004 s]
/proc/loadavg: 0.44 0.12 0.04 2/107 2374
/proc/meminfo: memFree=1654712/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=19108 CPUtime=6.28
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 4530 0 0 0 621 7 0 0 25 0 1 0 6292 19566592 4321 1992294400 134512640 135752675 4293991184 18446744073709551615 134604943 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 4777 4321 145 303 0 4472 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19108

[startup+12.7001 s]
/proc/loadavg: 0.49 0.13 0.04 2/107 2374
/proc/meminfo: memFree=1639584/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=32512 CPUtime=12.68
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 7893 0 0 0 1255 13 0 0 25 0 1 0 6292 33292288 7684 1992294400 134512640 135752675 4293991184 18446744073709551615 134638152 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 8128 7684 145 303 0 7823 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32512

[startup+25.5001 s]
/proc/loadavg: 0.60 0.18 0.06 2/107 2374
/proc/meminfo: memFree=1607840/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=63796 CPUtime=25.48
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 15715 0 0 0 2521 27 0 0 25 0 1 0 6292 65327104 15506 1992294400 134512640 135752675 4293991184 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 15949 15506 145 303 0 15644 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 63796

[startup+51.1002 s]
/proc/loadavg: 0.73 0.24 0.08 2/107 2374
/proc/meminfo: memFree=1565184/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=107308 CPUtime=51.08
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 26581 0 0 0 5052 56 0 0 25 0 1 0 6292 109883392 26372 1992294400 134512640 135752675 4293991184 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 26827 26372 145 303 0 26522 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 107308

[startup+102.308 s]
/proc/loadavg: 0.89 0.37 0.13 2/107 2374
/proc/meminfo: memFree=1477764/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=193076 CPUtime=102.28
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 48020 0 0 0 10122 106 0 0 25 0 1 0 6292 197709824 47811 1992294400 134512640 135752675 4293991184 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 48269 47811 145 303 0 47964 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 193076

[startup+162.3 s]
/proc/loadavg: 0.95 0.47 0.18 2/107 2376
/proc/meminfo: memFree=1397164/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=273980 CPUtime=162.27
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 68232 0 0 0 16066 161 0 0 25 0 1 0 6292 280555520 68023 1992294400 134512640 135752675 4293991184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 68495 68023 145 303 0 68190 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 273980

[startup+222.301 s]
/proc/loadavg: 0.98 0.57 0.23 2/107 2378
/proc/meminfo: memFree=1350416/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=320096 CPUtime=222.25
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 79807 0 0 0 22021 204 0 0 25 0 1 0 6292 327778304 79568 1992294400 134512640 135752675 4293991184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 80024 79568 146 303 0 79719 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 320096

[startup+282.301 s]
/proc/loadavg: 0.99 0.64 0.27 2/107 2379
/proc/meminfo: memFree=1281224/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=390068 CPUtime=282.24
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 97307 0 0 0 27979 245 0 0 25 0 1 0 6292 399429632 97068 1992294400 134512640 135752675 4293991184 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 97517 97068 146 303 0 97212 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 390068

[startup+342.3 s]
/proc/loadavg: 0.99 0.70 0.32 2/107 2381
/proc/meminfo: memFree=1212156/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=458124 CPUtime=342.22
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 114310 0 0 0 33934 288 0 0 25 0 1 0 6292 469118976 114071 1992294400 134512640 135752675 4293991184 18446744073709551615 134605234 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 114531 114071 146 303 0 114226 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 458124

[startup+402.301 s]
/proc/loadavg: 0.99 0.75 0.36 2/107 2382
/proc/meminfo: memFree=1153132/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=517952 CPUtime=402.21
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 129269 0 0 0 39890 331 0 0 25 0 1 0 6292 530382848 129030 1992294400 134512640 135752675 4293991184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 129488 129030 146 303 0 129183 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 517952

[startup+462.301 s]
/proc/loadavg: 0.99 0.80 0.39 2/107 2384
/proc/meminfo: memFree=1076624/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=593468 CPUtime=462.19
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 148159 0 0 0 45846 373 0 0 25 0 1 0 6292 607711232 147920 1992294400 134512640 135752675 4293991184 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 148367 147920 146 303 0 148062 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 593468

[startup+522.3 s]
/proc/loadavg: 0.99 0.83 0.43 2/107 2386
/proc/meminfo: memFree=1006068/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=664412 CPUtime=522.17
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 165881 0 0 0 51801 416 0 0 25 0 1 0 6292 680357888 165642 1992294400 134512640 135752675 4293991184 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 166103 165642 146 303 0 165798 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 664412

[startup+582.301 s]
/proc/loadavg: 0.99 0.86 0.46 2/107 2387
/proc/meminfo: memFree=957708/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=712064 CPUtime=582.15
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 177815 0 0 0 57762 453 0 0 25 0 1 0 6292 729153536 177576 1992294400 134512640 135752675 4293991184 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 178016 177576 146 303 0 177711 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 712064

[startup+642.3 s]
/proc/loadavg: 0.99 0.88 0.49 2/107 2389
/proc/meminfo: memFree=909348/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=760120 CPUtime=642.15
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 189804 0 0 0 63723 492 0 0 25 0 1 0 6292 778362880 189565 1992294400 134512640 135752675 4293991184 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 190030 189565 146 303 0 189725 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 760120

[startup+702.3 s]

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

[startup+882.301 s]
/proc/loadavg: 1.01 0.95 0.60 2/107 2404
/proc/meminfo: memFree=717588/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=950792 CPUtime=882.05
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 237472 0 0 0 87558 647 0 0 25 0 1 0 6292 973611008 237233 1992294400 134512640 135752675 4293991184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 237698 237233 146 303 0 237393 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 950792

[startup+942.3 s]
/proc/loadavg: 1.00 0.95 0.62 2/107 2406
/proc/meminfo: memFree=677288/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=991356 CPUtime=942.04
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 247618 0 0 0 93520 684 0 0 25 0 1 0 6292 1015148544 247379 1992294400 134512640 135752675 4293991184 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 247839 247379 146 303 0 247534 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 991356

[startup+1002.3 s]
/proc/loadavg: 1.00 0.96 0.65 2/107 2407
/proc/meminfo: memFree=645420/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=1022904 CPUtime=1002.02
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 255499 0 0 0 99485 717 0 0 25 0 1 0 6292 1047453696 255260 1992294400 134512640 135752675 4293991184 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 255726 255260 146 303 0 255421 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1022904

[startup+1062.3 s]
/proc/loadavg: 1.00 0.97 0.66 2/107 2409
/proc/meminfo: memFree=625828/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=1043048 CPUtime=1062
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 260546 0 0 0 105441 759 0 0 25 0 1 0 6292 1068081152 260307 1992294400 134512640 135752675 4293991184 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 260762 260307 146 303 0 260457 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1043048

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.68 2/107 2411
/proc/meminfo: memFree=571392/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=1097408 CPUtime=1121.98
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 274141 0 0 0 111387 811 0 0 25 0 1 0 6292 1123745792 273902 1992294400 134512640 135752675 4293991184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 274352 273902 146 303 0 274047 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1097408

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.70 2/107 2412
/proc/meminfo: memFree=481120/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=1188304 CPUtime=1181.95
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 296856 0 0 0 117337 858 0 0 25 0 1 0 6292 1216823296 296617 1992294400 134512640 135752675 4293991184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 297076 296617 146 303 0 296771 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 1188304

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.72 2/107 2414
/proc/meminfo: memFree=406844/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=1261544 CPUtime=1241.94
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 315159 0 0 0 123281 913 0 0 25 0 1 0 6292 1291821056 314920 1992294400 134512640 135752675 4293991184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 315386 314920 146 303 0 315081 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1261544

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.73 2/107 2415
/proc/meminfo: memFree=330460/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=1337284 CPUtime=1301.93
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 334099 0 0 0 129230 963 0 0 25 0 1 0 6292 1369378816 333860 1992294400 134512640 135752675 4293991184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 334321 333860 146 303 0 334016 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1337284

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.74 2/107 2417
/proc/meminfo: memFree=277760/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=1390780 CPUtime=1361.91
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 347482 0 0 0 135181 1010 0 0 25 0 1 0 6292 1424158720 347243 1992294400 134512640 135752675 4293991184 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 347695 347243 146 303 0 347390 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1390780

[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.76 2/107 2419
/proc/meminfo: memFree=230268/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=1437316 CPUtime=1421.9
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 359107 0 0 0 141131 1059 0 0 25 0 1 0 6292 1471811584 358868 1992294400 134512640 135752675 4293991184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 359329 358868 146 303 0 359024 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1437316

[startup+1482.3 s]
/proc/loadavg: 1.04 0.99 0.77 2/107 2420
/proc/meminfo: memFree=190588/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=1477740 CPUtime=1481.88
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 369190 0 0 0 147080 1108 0 0 25 0 1 0 6292 1513205760 368951 1992294400 134512640 135752675 4293991184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 369435 368951 146 303 0 369130 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1477740

[startup+1542.3 s]
/proc/loadavg: 1.05 1.00 0.79 2/107 2422
/proc/meminfo: memFree=146940/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=1520648 CPUtime=1541.87
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 379931 0 0 0 153035 1152 0 0 25 0 1 0 6292 1557143552 379692 1992294400 134512640 135752675 4293991184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 380162 379692 146 303 0 379857 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1520648

[startup+1602.3 s]
/proc/loadavg: 1.06 1.01 0.81 2/107 2423
/proc/meminfo: memFree=35960/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=1632864 CPUtime=1601.84
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 407987 0 0 0 158984 1200 0 0 25 0 1 0 6292 1672052736 407748 1992294400 134512640 135752675 4293991184 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 408216 407748 146 303 0 407911 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1632864

[startup+1662.3 s]
/proc/loadavg: 1.05 1.02 0.82 2/107 2425
/proc/meminfo: memFree=9500/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=1722740 CPUtime=1661.73
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 430452 0 0 0 164923 1250 0 0 25 0 1 0 6292 1764085760 430213 1992294400 134512640 135752675 4293991184 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 430685 430213 146 303 0 430380 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1722740

[startup+1722.3 s]
/proc/loadavg: 1.02 1.02 0.83 2/107 2427
/proc/meminfo: memFree=10504/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=1766196 CPUtime=1721.66
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 441306 0 0 0 170873 1293 0 0 25 0 1 0 6292 1808584704 441067 1992294400 134512640 135752675 4293991184 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 441549 441067 146 303 0 441244 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 1766196

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 0.83 2/107 2428
/proc/meminfo: memFree=9840/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=1810556 CPUtime=1781.52
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 452414 0 0 0 176816 1336 0 0 25 0 1 0 6292 1854009344 452175 1992294400 134512640 135752675 4293991184 18446744073709551615 134606801 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 452639 452175 146 303 0 452334 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (KiB) 1810556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.00 1.01 0.83 2/107 2429
/proc/meminfo: memFree=9564/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=1824680 CPUtime=1800.06
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 455928 0 0 0 178654 1352 0 0 25 0 1 0 6292 1868472320 455689 1992294400 134512640 135752675 4293991184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/2373/statm: 456170 455689 146 303 0 455865 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1824680

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

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

[startup+1801.01 s]
/proc/loadavg: 1.00 1.01 0.83 2/107 2429
/proc/meminfo: memFree=9564/2059040 swapFree=4192956/4192956
[pid=2373] ppid=2371 vsize=0 CPUtime=1800.16
/proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4203524 455928 0 0 0 178654 1362 0 0 25 0 1 0 6292 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0
/proc/2373/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.06
CPU time (s): 1800.23
CPU user time (s): 1786.55
CPU system time (s): 13.6809
CPU usage (%): 99.9538
Max. virtual memory (cumulated for all children) (KiB): 1824680

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

runsolver used 3.02454 second user time and 8.5137 second system time

The end

Launcher Data 

Begin job on node033 at 2010-07-08 06:49:12
IDJOB=2702353
IDBENCH=48111
IDSOLVER=1190
FILE ID=node033/2702353-1278564551
PBS_JOBID= 11239586
Free space on /tmp= 62512 MiB

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

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

MD5SUM BENCH= aa10899bd7f711370f6ef9f1251ce7f2
RANDOM SEED=258454128

node033.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.224
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.44
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.224
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	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1671604 kB
Buffers:         48424 kB
Cached:         232464 kB
SwapCached:          0 kB
Active:         126956 kB
Inactive:       212908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1671604 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           41008 kB
Writeback:           0 kB
AnonPages:       58896 kB
Mapped:          14392 kB
Slab:            25736 kB
PageTables:       4152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   176520 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-2702353-1278564551.opb

Free space on /tmp at the end= 62508 MiB
End job on node033 at 2010-07-08 07:19:15