Trace number 2689541

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 NameAnswerCPU timeWall clock time
wbo 1.4aOPTIMUM 1039.76 1039.74

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo
MD5SUMc0d431beb578ab67ce1970cb297cf650
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark514.642
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 137973
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137972
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 689
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing wbo file format. File HOME/instance-2689541-1277925146.wbo.
0.00/0.00	c Instance file HOME/instance-2689541-1277925146.wbo
0.00/0.00	c File size is 96792 bytes.
0.00/0.00	c Highest Coefficient sum: 689
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      231                                                 |
0.00/0.00	c |  Number Clauses:        2684                                                |
0.00/0.00	c |  Number Cardinality:    22                                                  |
0.00/0.00	c |  Number PB Constraints: 1                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     231     2707     8338 |     5000        0    nan |  0.000 % |
0.00/0.00	c |       100 |     231     2707     8338 |     5500      100     22 |  0.002 % |
0.00/0.01	c |       250 |     231     2707     8338 |     6050      250     33 |  0.002 % |
0.00/0.02	c |       477 |     231     2707     8338 |     6655      477     33 |  0.002 % |
0.00/0.02	c |       814 |     231     2707     8338 |     7320      814     32 |  0.002 % |
0.00/0.04	c |      1321 |     231     2707     8338 |     8052     1321     30 |  0.002 % |
0.03/0.06	c |      2081 |     231     2707     8338 |     8857     2081     29 |  0.002 % |
0.09/0.10	c |      3222 |     231     2707     8338 |     9743     3222     30 |  0.002 % |
0.09/0.16	c |      4930 |     231     2707     8338 |    10717     4930     30 |  0.002 % |
0.19/0.26	c |      7492 |     231     2707     8338 |    11789     7492     32 |  0.002 % |
0.39/0.46	c |     11336 |     231     2707     8338 |    12968    11336     32 |  0.002 % |
0.69/0.76	c |     17104 |     231     2707     8338 |    14265    10570     32 |  0.002 % |
1.29/1.34	c |     25755 |     231     2707     8338 |    15692    12041     35 |  0.002 % |
2.20/2.28	c |     38729 |     231     2707     8338 |    17261     9208     36 |  0.002 % |
3.59/3.61	c |     58190 |     231     2707     8338 |    18987    11307     32 |  0.002 % |
5.79/5.82	c |     87384 |     231     2707     8338 |    20886    11879     36 |  0.002 % |
9.68/9.73	c |    131173 |     231     2707     8338 |    22974    13708     37 |  0.002 % |
15.89/15.93	c |    196857 |     231     2707     8338 |    25272    21697     36 |  0.002 % |
25.99/26.05	c |    295384 |     231     2707     8338 |    27799    13798     35 |  0.002 % |
40.39/40.48	c |    443175 |     231     2707     8338 |    30579    19533     38 |  0.002 % |
63.00/63.03	c |    664859 |     231     2707     8338 |    33637    18247     36 |  0.002 % |
97.29/97.33	c ===============================================================================
103.69/103.79	c core #1
103.69/103.79	c ============================[ Search Statistics ]==============================
103.69/103.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
103.69/103.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
103.69/103.79	c ===============================================================================
103.69/103.79	c |         0 |    1585     5256    20247 |     5000        0    nan |  0.000 % |
103.89/103.98	c |       100 |    1585     5256    20247 |     5500      100     27 |  0.000 % |
103.99/104.00	c |       251 |    1585     5256    20247 |     6050      251     30 |  0.000 % |
103.99/104.02	c |       478 |    1585     5256    20247 |     6655      478     30 |  0.000 % |
103.99/104.05	c |       818 |    1585     5256    20247 |     7320      818     28 |  0.000 % |
103.99/104.07	c |      1324 |    1585     5256    20247 |     8052     1324     28 |  0.000 % |
104.09/104.10	c |      2084 |    1585     5256    20247 |     8857     2084     29 |  0.000 % |
104.09/104.14	c |      3226 |    1585     5256    20247 |     9743     3226     30 |  0.000 % |
104.19/104.23	c |      4934 |    1585     5256    20247 |    10717     4934     31 |  0.000 % |
104.30/104.36	c |      7497 |    1585     5256    20247 |    11789     7497     31 |  0.000 % |
104.50/104.58	c |     11341 |    1585     5256    20247 |    12968    11341     30 |  0.000 % |
104.89/104.96	c |     17107 |    1585     5256    20247 |    14265    10559     31 |  0.000 % |
105.60/105.65	c |     25759 |    1585     5256    20247 |    15692    12044     36 |  0.000 % |
106.70/106.73	c |     38734 |    1585     5256    20247 |    17261     9217     36 |  0.000 % |
108.40/108.45	c |     58195 |    1585     5256    20247 |    18987    11313     34 |  0.000 % |
111.10/111.17	c |     87389 |    1585     5256    20247 |    20886    11872     37 |  0.000 % |
115.69/115.73	c |    131180 |    1585     5256    20247 |    22974    13670     34 |  0.000 % |
122.99/123.07	c |    196864 |    1585     5256    20247 |    25272    21677     36 |  0.000 % |
133.69/133.78	c |    295390 |    1585     5256    20247 |    27799    13009     36 |  0.000 % |
150.69/150.73	c |    443180 |    1585     5256    20247 |    30579    18087     37 |  0.000 % |
174.80/174.85	c |    664863 |    1585     5256    20247 |    33637    16602     36 |  0.000 % |
206.80/206.85	c ===============================================================================
214.29/214.31	c core #2
214.29/214.31	c ============================[ Search Statistics ]==============================
214.29/214.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.29/214.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.29/214.31	c ===============================================================================
214.29/214.31	c |         0 |    2939     7791    32116 |     5000        0    nan |  0.000 % |
214.40/214.41	c |       103 |    2939     7791    32116 |     5500      103     20 |  0.000 % |
214.40/214.41	c |       253 |    2939     7791    32116 |     6050      253     23 |  0.000 % |
214.40/214.42	c |       478 |    2939     7791    32116 |     6655      478     27 |  0.000 % |
214.40/214.44	c |       815 |    2939     7791    32116 |     7320      815     28 |  0.000 % |
214.40/214.47	c |      1322 |    2939     7791    32116 |     8052     1322     27 |  0.000 % |
214.49/214.51	c |      2083 |    2939     7791    32116 |     8857     2083     27 |  0.000 % |
214.49/214.57	c |      3224 |    2939     7791    32116 |     9743     3224     28 |  0.000 % |
214.60/214.67	c |      4932 |    2939     7791    32116 |    10717     4932     29 |  0.000 % |
214.79/214.82	c |      7495 |    2939     7791    32116 |    11789     7495     29 |  0.000 % |
215.10/215.11	c |     11339 |    2939     7791    32116 |    12968    11339     29 |  0.000 % |
215.49/215.56	c |     17106 |    2939     7791    32116 |    14265    10584     31 |  0.000 % |
216.20/216.21	c |     25755 |    2939     7791    32116 |    15692    12061     30 |  0.000 % |
217.30/217.30	c |     38731 |    2939     7791    32116 |    17261     9227     33 |  0.000 % |
219.00/219.08	c |     58193 |    2939     7791    32116 |    18987    11323     36 |  0.000 % |
222.00/222.04	c |     87385 |    2939     7791    32116 |    20886    11890     36 |  0.000 % |
226.40/226.48	c |    131174 |    2939     7791    32116 |    22974    13671     36 |  0.000 % |
234.30/234.33	c |    196858 |    2939     7791    32116 |    25272    21477     41 |  0.000 % |
246.40/246.42	c |    295385 |    2939     7791    32116 |    27799    12519     35 |  0.000 % |
263.19/263.25	c |    443176 |    2939     7791    32116 |    30579    18435     39 |  0.000 % |
288.00/288.06	c |    664863 |    2939     7791    32116 |    33637    18407     37 |  0.000 % |
309.00/309.02	c ===============================================================================
314.60/314.69	c core #3
314.60/314.69	c ============================[ Search Statistics ]==============================
314.60/314.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
314.60/314.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
314.60/314.69	c ===============================================================================
314.60/314.69	c |         0 |    4304    10308    43947 |     5000        0    nan |  0.000 % |
314.70/314.78	c |       104 |    4304    10308    43947 |     5500      104     25 |  0.000 % |
314.70/314.78	c |       254 |    4304    10308    43947 |     6050      254     29 |  0.000 % |
314.79/314.80	c |       479 |    4304    10308    43947 |     6655      479     29 |  0.000 % |
314.79/314.82	c |       817 |    4304    10308    43947 |     7320      817     29 |  0.000 % |
314.79/314.86	c |      1323 |    4304    10308    43947 |     8052     1323     28 |  0.000 % |
314.89/314.91	c |      2082 |    4304    10308    43947 |     8857     2082     28 |  0.000 % |
314.89/314.97	c |      3221 |    4304    10308    43947 |     9743     3221     29 |  0.000 % |
315.00/315.09	c |      4930 |    4304    10308    43947 |    10717     4930     30 |  0.000 % |
315.19/315.28	c |      7493 |    4304    10308    43947 |    11789     7493     30 |  0.000 % |
315.49/315.56	c |     11337 |    4304    10308    43947 |    12968    11337     31 |  0.000 % |
316.00/316.04	c |     17103 |    4304    10308    43947 |    14265    10556     32 |  0.000 % |
316.71/316.80	c |     25752 |    4304    10308    43947 |    15692    12023     33 |  0.000 % |
317.99/318.07	c |     38727 |    4304    10308    43947 |    17261     9204     33 |  0.000 % |
319.79/319.86	c |     58189 |    4304    10308    43947 |    18987    11296     34 |  0.000 % |
323.10/323.14	c |     87381 |    4304    10308    43947 |    20886    11832     38 |  0.000 % |
328.10/328.13	c |    131170 |    4304    10308    43947 |    22974    13660     37 |  0.000 % |
336.50/336.60	c |    196854 |    4304    10308    43947 |    25272    21594     36 |  0.000 % |
348.90/348.96	c |    295380 |    4304    10308    43947 |    27799    13044     36 |  0.000 % |
366.30/366.36	c |    443170 |    4304    10308    43947 |    30579    21308     34 |  0.000 % |
394.70/394.74	c |    664855 |    4304    10308    43947 |    33637    25129     38 |  0.000 % |
419.49/419.57	c ===============================================================================
425.79/425.81	c core #4
425.79/425.81	c ============================[ Search Statistics ]==============================
425.79/425.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
425.79/425.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
425.79/425.81	c ===============================================================================
425.79/425.81	c |         0 |    5676    12806    55736 |     5000        0    nan |  0.000 % |
425.79/425.89	c |       100 |    5676    12806    55736 |     5500      100     30 |  0.000 % |
425.90/425.91	c |       250 |    5676    12806    55736 |     6050      250     33 |  0.000 % |
425.90/425.92	c |       475 |    5676    12806    55736 |     6655      475     34 |  0.000 % |
425.90/425.95	c |       813 |    5676    12806    55736 |     7320      813     32 |  0.000 % |
425.90/425.98	c |      1319 |    5676    12806    55736 |     8052     1319     32 |  0.000 % |
426.00/426.03	c |      2078 |    5676    12806    55736 |     8857     2078     31 |  0.000 % |
426.10/426.11	c |      3217 |    5676    12806    55736 |     9743     3217     28 |  0.000 % |
426.20/426.22	c |      4927 |    5676    12806    55736 |    10717     4927     28 |  0.000 % |
426.40/426.42	c |      7490 |    5676    12806    55736 |    11789     7490     28 |  0.000 % |
426.70/426.73	c |     11334 |    5676    12806    55736 |    12968    11334     29 |  0.000 % |
427.20/427.29	c |     17100 |    5676    12806    55736 |    14265    10553     30 |  0.000 % |
428.09/428.12	c |     25749 |    5676    12806    55736 |    15692    12008     34 |  0.000 % |
429.50/429.54	c |     38724 |    5676    12806    55736 |    17261     9176     32 |  0.000 % |
431.59/431.67	c |     58185 |    5676    12806    55736 |    18987    11278     35 |  0.000 % |
435.50/435.56	c |     87378 |    5676    12806    55736 |    20886    11840     37 |  0.000 % |
441.20/441.29	c |    131167 |    5676    12806    55736 |    22974    13644     37 |  0.000 % |
450.49/450.56	c |    196853 |    5676    12806    55736 |    25272    21580     37 |  0.000 % |
463.30/463.35	c |    295381 |    5676    12806    55736 |    27799    13222     40 |  0.000 % |
482.60/482.64	c |    443171 |    5676    12806    55736 |    30579    17308     34 |  0.000 % |
513.21/513.27	c |    664854 |    5676    12806    55736 |    33637    18664     38 |  0.000 % |
555.41/555.49	c |    997380 |    5676    12806    55736 |    37001    31350     36 |  0.000 % |
624.51/624.54	c |   1496173 |    5676    12806    55736 |    40701    16130     41 |  0.000 % |
648.70/648.76	c ===============================================================================
661.80/661.83	c core #5
661.80/661.83	c ============================[ Search Statistics ]==============================
661.80/661.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
661.80/661.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
661.80/661.83	c ===============================================================================
661.80/661.83	c |         0 |    7092    15281    67573 |     5093        0    nan |  0.000 % |
661.91/661.96	c |       102 |    7092    15281    67573 |     5603      102     28 |  0.000 % |
661.91/661.97	c |       255 |    7092    15281    67573 |     6163      255     30 |  0.000 % |
661.91/661.98	c |       482 |    7092    15281    67573 |     6779      482     31 |  0.000 % |
662.01/662.01	c |       822 |    7092    15281    67573 |     7457      822     30 |  0.000 % |
662.01/662.05	c |      1328 |    7092    15281    67573 |     8203     1328     30 |  0.000 % |
662.11/662.12	c |      2087 |    7092    15281    67573 |     9023     2087     29 |  0.000 % |
662.21/662.21	c |      3226 |    7092    15281    67573 |     9926     3226     30 |  0.000 % |
662.31/662.33	c |      4934 |    7092    15281    67573 |    10918     4934     30 |  0.000 % |
662.50/662.52	c |      7496 |    7092    15281    67573 |    12010     7496     31 |  0.000 % |
662.81/662.85	c |     11341 |    7092    15281    67573 |    13211    11341     31 |  0.000 % |
663.31/663.38	c |     17107 |    7092    15281    67573 |    14532    10445     33 |  0.000 % |
664.20/664.28	c |     25756 |    7092    15281    67573 |    15986    11777     34 |  0.000 % |
665.70/665.73	c |     38731 |    7092    15281    67573 |    17584     8675     39 |  0.000 % |
667.90/667.91	c |     58193 |    7092    15281    67573 |    19343    10452     37 |  0.000 % |
671.70/671.72	c |     87386 |    7092    15281    67573 |    21277    10483     37 |  0.000 % |
676.91/676.91	c |    131177 |    7092    15281    67573 |    23405    11528     38 |  0.000 % |
686.20/686.28	c |    196861 |    7092    15281    67573 |    25745    17863     43 |  0.000 % |
701.10/701.12	c |    295391 |    7092    15281    67573 |    28320    19180     41 |  0.000 % |
723.60/723.63	c |    443180 |    7092    15281    67573 |    31152    21361     41 |  0.000 % |
754.20/754.23	c |    664863 |    7092    15281    67573 |    34267    14007     37 |  0.000 % |
799.50/799.57	c |    997390 |    7092    15281    67573 |    37694    16499     36 |  0.000 % |
867.71/867.80	c |   1496180 |    7092    15281    67573 |    41463    36247     38 |  0.000 % |
978.01/978.03	c |   2244364 |    7092    15281    67573 |    45610    40187     40 |  0.000 % |
1016.11/1016.10	c ===============================================================================
1037.61/1037.64	c core #6
1037.61/1037.64	c ============================[ Search Statistics ]==============================
1037.61/1037.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1037.61/1037.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1037.61/1037.64	c ===============================================================================
1037.61/1037.64	c |         0 |    8568    17736    79486 |     5912        0    nan |  0.000 % |
1037.81/1037.82	c |       100 |    8568    17736    79486 |     6503      100     32 |  0.000 % |
1037.81/1037.83	c |       250 |    8568    17736    79486 |     7153      250     32 |  0.000 % |
1037.81/1037.85	c |       475 |    8568    17736    79486 |     7868      475     32 |  0.000 % |
1037.81/1037.88	c |       812 |    8568    17736    79486 |     8655      812     33 |  0.000 % |
1037.92/1037.93	c |      1318 |    8568    17736    79486 |     9521     1318     34 |  0.000 % |
1038.01/1038.00	c |      2077 |    8568    17736    79486 |    10473     2077     33 |  0.000 % |
1038.11/1038.10	c |      3217 |    8568    17736    79486 |    11520     3217     32 |  0.000 % |
1038.21/1038.29	c |      4925 |    8568    17736    79486 |    12672     4925     31 |  0.000 % |
1038.51/1038.52	c |      7487 |    8568    17736    79486 |    13940     7487     32 |  0.000 % |
1038.92/1038.91	c |     11331 |    8568    17736    79486 |    15334    11331     32 |  0.000 % |
1039.52/1039.59	c |     17097 |    8568    17736    79486 |    16867     9377     34 |  0.000 % |
1039.61/1039.68	c ===============================================================================
1039.61/1039.68	c #cores: 6
1039.61/1039.68	c Final Weight: 6
1039.61/1039.68	o 6
1039.61/1039.68	s OPTIMUM FOUND
1039.61/1039.68	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1039.61/1039.68	c Total CPU time: 1023.41 s

Verifier Data 

OK	6

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689541-1277925146/watcher-2689541-1277925146 -o /tmp/evaluation-result-2689541-1277925146/solver-2689541-1277925146 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689541-1277925146.wbo 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 1.99 1.99 4/196 13915
/proc/meminfo: memFree=31022364/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=2668 CPUtime=0
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 308 0 0 0 0 0 0 0 25 0 1 0 133811887 2732032 226 4089446400 134512640 135751879 4292697376 18446744073709551615 135378772 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13915/statm: 667 227 147 303 0 338 0

[startup+0.0438399 s]
/proc/loadavg: 1.93 1.99 1.99 4/196 13915
/proc/meminfo: memFree=31022364/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=3112 CPUtime=0.03
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 449 0 0 0 3 0 0 0 25 0 1 0 133811887 3186688 343 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13915/statm: 778 343 143 303 0 473 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3112

[startup+0.10084 s]
/proc/loadavg: 1.93 1.99 1.99 4/196 13915
/proc/meminfo: memFree=31022364/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=3640 CPUtime=0.09
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 589 0 0 0 9 0 0 0 25 0 1 0 133811887 3727360 483 4089446400 134512640 135751879 4292697376 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13915/statm: 910 483 143 303 0 605 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3640

[startup+0.300793 s]
/proc/loadavg: 1.93 1.99 1.99 4/196 13915
/proc/meminfo: memFree=31022364/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=5224 CPUtime=0.29
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 979 0 0 0 29 0 0 0 25 0 1 0 133811887 5349376 873 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13915/statm: 1306 873 143 303 0 1001 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5224

[startup+0.700723 s]
/proc/loadavg: 1.93 1.99 1.99 4/196 13915
/proc/meminfo: memFree=31022364/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=7664 CPUtime=0.69
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 1581 0 0 0 68 1 0 0 25 0 1 0 133811887 7847936 1475 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13915/statm: 1916 1475 143 303 0 1611 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7664

[startup+1.5006 s]
/proc/loadavg: 1.93 1.99 1.99 3/197 13916
/proc/meminfo: memFree=31015288/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=11492 CPUtime=1.49
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 2539 0 0 0 147 2 0 0 25 0 1 0 133811887 11767808 2433 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13915/statm: 2873 2433 143 303 0 2568 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11492

[startup+3.1003 s]
/proc/loadavg: 1.93 1.99 1.99 3/197 13916
/proc/meminfo: memFree=31006980/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=18488 CPUtime=3.09
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 4303 0 0 0 305 4 0 0 25 0 1 0 133811887 18931712 4197 4089446400 134512640 135751879 4292697376 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13915/statm: 4622 4197 143 303 0 4317 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18488

[startup+6.30073 s]
/proc/loadavg: 1.93 1.99 1.99 3/197 13916
/proc/meminfo: memFree=30992492/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=32112 CPUtime=6.29
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 7690 0 0 0 620 9 0 0 25 0 1 0 133811887 32882688 7584 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13915/statm: 8028 7584 143 303 0 7723 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32112

[startup+12.7006 s]
/proc/loadavg: 1.94 1.99 1.99 3/197 13916
/proc/meminfo: memFree=30968616/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=54696 CPUtime=12.69
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 13349 0 0 0 1254 15 0 0 25 0 1 0 133811887 56008704 13243 4089446400 134512640 135751879 4292697376 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13915/statm: 13674 13243 143 303 0 13369 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54696

[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/197 13916
/proc/meminfo: memFree=30927112/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=94628 CPUtime=25.49
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 23332 0 0 0 2519 30 0 0 25 0 1 0 133811887 96899072 23226 4089446400 134512640 135751879 4292697376 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13915/statm: 23657 23226 143 303 0 23352 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 94628

[startup+51.1008 s]
/proc/loadavg: 1.97 1.99 1.99 3/197 13918
/proc/meminfo: memFree=30847968/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=174972 CPUtime=51.09
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 43380 0 0 0 5051 58 0 0 25 0 1 0 133811887 179171328 43274 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13915/statm: 43743 43274 143 303 0 43438 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 174972

[startup+102.306 s]
/proc/loadavg: 1.98 1.99 1.99 3/197 13919
/proc/meminfo: memFree=30676056/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=344368 CPUtime=102.3
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 85723 0 0 0 10120 110 0 0 25 0 1 0 133811887 352632832 85617 4089446400 134512640 135751879 4292697376 18446744073709551615 134618395 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/13915/statm: 86092 85617 143 303 0 85787 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 344368

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 13950
/proc/meminfo: memFree=30844152/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=354020 CPUtime=162.3
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 88199 0 0 0 16008 222 0 0 25 0 1 0 133811887 362516480 88060 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13915/statm: 88505 88060 146 303 0 88200 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 354020

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 13952
/proc/meminfo: memFree=30509572/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=510204 CPUtime=222.29
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 127226 0 0 0 21893 336 0 0 25 0 1 0 133811887 522448896 127087 4089446400 134512640 135751879 4292697376 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13915/statm: 127551 127087 146 303 0 127246 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 510204

[startup+282.301 s]
/proc/loadavg: 2.07 2.00 2.00 3/179 13954
/proc/meminfo: memFree=30319692/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=537040 CPUtime=282.29
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 133961 0 0 0 27768 461 0 0 25 0 1 0 133811887 549928960 133822 4089446400 134512640 135751879 4292697376 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13915/statm: 134260 133822 146 303 0 133955 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 537040

[startup+342.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 13955
/proc/meminfo: memFree=30066060/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=627452 CPUtime=342.3
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 156533 0 0 0 33664 566 0 0 25 0 1 0 133811887 642510848 156394 4089446400 134512640 135751879 4292697376 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13915/statm: 156863 156394 146 303 0 156558 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 627452

[startup+402.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 13956
/proc/meminfo: memFree=29823844/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=717816 CPUtime=402.3
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 179127 0 0 0 39545 685 0 0 25 0 1 0 133811887 735043584 178988 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13915/statm: 179454 178988 146 303 0 179149 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 717816

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13958
/proc/meminfo: memFree=29607152/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=787136 CPUtime=462.3
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 196495 0 0 0 45445 785 0 0 25 0 1 0 133811887 806027264 196356 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13915/statm: 196784 196356 146 303 0 196479 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 787136

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13960
/proc/meminfo: memFree=29383560/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=869420 CPUtime=522.3
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 217044 0 0 0 51344 886 0 0 25 0 1 0 133811887 890286080 216905 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13915/statm: 217355 216905 146 303 0 217050 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 869420

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13962
/proc/meminfo: memFree=29094972/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=1011944 CPUtime=582.3
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 252671 0 0 0 57236 994 0 0 25 0 1 0 133811887 1036230656 252532 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13915/statm: 252986 252532 146 303 0 252681 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1011944

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13990
/proc/meminfo: memFree=30151840/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=1150492 CPUtime=642.31
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 287268 0 0 0 63130 1101 0 0 25 0 1 0 133811887 1178103808 287129 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13915/statm: 287623 287129 146 303 0 287318 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1150492

[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13991
/proc/meminfo: memFree=29909796/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=1214492 CPUtime=702.31
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 303274 0 0 0 69048 1183 0 0 25 0 1 0 133811887 1243639808 303135 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13915/statm: 303623 303135 146 303 0 303318 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 1214492

[startup+762.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14020
/proc/meminfo: memFree=30066740/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=1214492 CPUtime=762.31
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 303319 0 0 0 74959 1272 0 0 25 0 1 0 133811887 1243639808 303180 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13915/statm: 303623 303180 146 303 0 303318 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 1214492

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14022
/proc/meminfo: memFree=29862740/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=1304824 CPUtime=822.3
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 325852 0 0 0 80871 1359 0 0 25 0 1 0 133811887 1336139776 325713 4089446400 134512640 135751879 4292697376 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13915/statm: 326206 325713 146 303 0 325901 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 1304824

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14024
/proc/meminfo: memFree=29648688/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=1441604 CPUtime=882.31
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 360009 0 0 0 86785 1446 0 0 25 0 1 0 133811887 1476202496 359870 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13915/statm: 360401 359870 146 303 0 360096 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1441604

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 14025
/proc/meminfo: memFree=29455084/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=1574172 CPUtime=942.31
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 393148 0 0 0 92705 1526 0 0 25 0 1 0 133811887 1611952128 393009 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13915/statm: 393543 393009 146 303 0 393238 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1574172

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14027
/proc/meminfo: memFree=29256272/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=1701108 CPUtime=1002.31
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 424877 0 0 0 98629 1602 0 0 25 0 1 0 133811887 1741934592 424738 4089446400 134512640 135751879 4292697376 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13915/statm: 425277 424738 146 303 0 424972 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1701108

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

[startup+1023.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14027
/proc/meminfo: memFree=29150236/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=1794960 CPUtime=1023.91
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 448336 0 0 0 100767 1624 0 0 25 0 1 0 133811887 1838039040 448197 4089446400 134512640 135751879 4292697376 18446744073709551615 134712506 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13915/statm: 448740 448198 146 303 0 448435 0
Current children cumulated CPU time (s) 1023.91
Current children cumulated vsize (KiB) 1794960

[startup+1030.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14028
/proc/meminfo: memFree=29127172/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=1804596 CPUtime=1030.31
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 450751 0 0 0 101406 1625 0 0 25 0 1 0 133811887 1847906304 450612 4089446400 134512640 135751879 4292697376 18446744073709551615 134618750 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13915/statm: 451149 450612 146 303 0 450844 0
Current children cumulated CPU time (s) 1030.31
Current children cumulated vsize (KiB) 1804596

[startup+1036.7 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 14028
/proc/meminfo: memFree=29119220/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=1806632 CPUtime=1036.71
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 451235 0 0 0 102046 1625 0 0 25 0 1 0 133811887 1849991168 451096 4089446400 134512640 135751879 4292697376 18446744073709551615 134712389 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13915/statm: 451658 451096 146 303 0 451353 0
Current children cumulated CPU time (s) 1036.71
Current children cumulated vsize (KiB) 1806632

[startup+1038.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14028
/proc/meminfo: memFree=29116244/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=1806460 CPUtime=1038.31
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 451293 0 0 0 102205 1626 0 0 25 0 1 0 133811887 1849815040 451067 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13915/statm: 451615 451067 146 303 0 451310 0
Current children cumulated CPU time (s) 1038.31
Current children cumulated vsize (KiB) 1806460

[startup+1039.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14028
/proc/meminfo: memFree=29116244/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=1806460 CPUtime=1039.11
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 451302 0 0 0 102283 1628 0 0 25 0 1 0 133811887 1849815040 451076 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13915/statm: 451615 451076 146 303 0 451310 0
Current children cumulated CPU time (s) 1039.11
Current children cumulated vsize (KiB) 1806460

[startup+1039.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14028
/proc/meminfo: memFree=29115128/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=1806460 CPUtime=1039.52
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 451304 0 0 0 102324 1628 0 0 25 0 1 0 133811887 1849815040 451078 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13915/statm: 451615 451078 146 303 0 451310 0
Current children cumulated CPU time (s) 1039.52
Current children cumulated vsize (KiB) 1806460

[startup+1039.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14028
/proc/meminfo: memFree=29115128/32951124 swapFree=67111528/67111528
[pid=13915] ppid=13913 vsize=0 CPUtime=1039.71
/proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202500 451304 0 0 0 102341 1630 0 0 25 0 1 0 133811887 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/13915/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1039.71
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1039.74
CPU time (s): 1039.76
CPU user time (s): 1023.41
CPU system time (s): 16.3495
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1806632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1023.41
system time used= 16.3495
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 451304
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 10336

runsolver used 1.42778 second user time and 3.33549 second system time

The end

Launcher Data 

Begin job on node108 at 2010-06-30 21:12:27
IDJOB=2689541
IDBENCH=79258
IDSOLVER=1200
FILE ID=node108/2689541-1277925146
PBS_JOBID= 11197295
Free space on /tmp= 74212 MiB

SOLVER NAME= wbo 1.4a
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo
COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689541-1277925146/watcher-2689541-1277925146 -o /tmp/evaluation-result-2689541-1277925146/solver-2689541-1277925146 -C 1800 -W 2000 -M 3800  wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689541-1277925146.wbo

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

MD5SUM BENCH= c0d431beb578ab67ce1970cb297cf650
RANDOM SEED=1344646365

node108.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5320.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31022892 kB
Buffers:        206904 kB
Cached:        1169832 kB
SwapCached:          0 kB
Active:         928456 kB
Inactive:       857484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31022892 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2824 kB
Writeback:           0 kB
AnonPages:      409400 kB
Mapped:          20292 kB
Slab:            79392 kB
PageTables:       5472 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1655136 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74204 MiB
End job on node108 at 2010-06-30 21:29:46