Trace number 2702665

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (TO) 1800.16 1800.55

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_3.opb
MD5SUM29cda419af6adbdf14450bbe70fbdfc2
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6180
Sum of products size (including duplicates)12360
Number of different products3090
Sum of products size6180

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-2702665-1278573651.opb.
0.00/0.00	c Instance file HOME/instance-2702665-1278573651.opb
0.00/0.00	c File size is 259160 bytes.
0.00/0.04	c Highest Coefficient sum: 200
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Parsing time:          0.05         s                                      |
0.00/0.04	c |  Number Variables:      3290                                                |
0.00/0.04	c |  Number Clauses:        3190                                                |
0.00/0.04	c |  Number Cardinality:    202                                                 |
0.00/0.04	c |  Number PB Constraints: 3090                                                |
0.07/0.09	c ============================[ Search Statistics ]==============================
0.07/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.07/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.07/0.09	c ===============================================================================
0.07/0.09	c |         0 |    3290     6482    25320 |     5000        0    nan |  0.000 % |
0.07/0.09	c ===============================================================================
0.07/0.09	c New solution: 0
0.07/0.09	o 0
0.07/0.09	c Elapsed CPU time: 0.090986 s	Remaining CPU time: 179.909 s
0.07/0.09	c ===============================================================================
0.07/0.09	c |         0 |    3290     6483    25420 |     5000        0    nan |  0.000 % |
0.07/0.10	c ===============================================================================
0.07/0.10	c New solution: -1
0.07/0.10	o -1
0.07/0.10	c Elapsed CPU time: 0.094985 s	Remaining CPU time: 179.905 s
0.07/0.10	c ===============================================================================
0.07/0.10	c |         1 |    3290     6484    25520 |     5000        1    101 |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: -2
0.09/0.10	o -2
0.09/0.10	c Elapsed CPU time: 0.097985 s	Remaining CPU time: 179.902 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |         3 |    3290     6485    25620 |     5000        3    165 |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: -3
0.09/0.10	o -3
0.09/0.10	c Elapsed CPU time: 0.100984 s	Remaining CPU time: 179.899 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |         3 |    3290     6486    25720 |     5000        3    165 |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: -4
0.09/0.11	o -4
0.09/0.11	c Elapsed CPU time: 0.104984 s	Remaining CPU time: 179.895 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |        22 |    3290     6487    25820 |     5000       22    128 |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: -5
0.09/0.11	o -5
0.09/0.11	c Elapsed CPU time: 0.109983 s	Remaining CPU time: 179.89 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |        34 |    3290     6488    25920 |     5000       34    102 |  0.000 % |
0.19/0.21	c |       153 |    3290     6488    25920 |     5500      153    145 |  0.000 % |
0.19/0.25	c |       304 |    3290     6488    25920 |     6050      304    163 |  0.000 % |
0.19/0.27	c |       529 |    3290     6488    25920 |     6655      529    175 |  0.000 % |
0.29/0.31	c |       868 |    3290     6488    25920 |     7320      868    181 |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: -6
0.29/0.34	o -6
0.29/0.34	c Elapsed CPU time: 0.340948 s	Remaining CPU time: 179.659 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |      1001 |    3290     6489    26020 |     5000     1001    163 |  0.000 % |
0.39/0.45	c |      1102 |    3290     6489    26020 |     5500     1102    162 |  0.000 % |
0.39/0.47	c |      1255 |    3290     6489    26020 |     6050     1255    166 |  0.000 % |
0.49/0.50	c |      1482 |    3290     6489    26020 |     6655     1482    169 |  0.000 % |
0.49/0.55	c |      1819 |    3290     6489    26020 |     7320     1819    173 |  0.000 % |
0.49/0.56	c ===============================================================================
0.49/0.56	c New solution: -7
0.49/0.56	o -7
0.49/0.56	c Elapsed CPU time: 0.556915 s	Remaining CPU time: 179.443 s
0.49/0.56	c ===============================================================================
0.49/0.56	c |      1868 |    3290     6490    26120 |     5000     1868    169 |  0.000 % |
0.59/0.68	c |      1969 |    3290     6490    26120 |     5500     1969    169 |  0.000 % |
0.69/0.70	c |      2121 |    3290     6490    26120 |     6050     2121    170 |  0.000 % |
0.69/0.74	c ===============================================================================
0.69/0.74	c New solution: -8
0.69/0.74	o -8
0.69/0.74	c Elapsed CPU time: 0.725889 s	Remaining CPU time: 179.274 s
0.69/0.74	c ===============================================================================
0.69/0.74	c |      2278 |    3290     6491    26220 |     5000     2278    160 |  0.000 % |
0.79/0.86	c |      2382 |    3290     6491    26220 |     5500     2382    160 |  0.000 % |
0.89/0.91	c |      2532 |    3290     6491    26220 |     6050     2532    151 |  0.000 % |
0.89/0.96	c |      2758 |    3290     6491    26220 |     6655     2758    154 |  0.000 % |
0.89/1.00	c |      3095 |    3290     6491    26220 |     7320     3095    157 |  0.000 % |
1.00/1.07	c |      3601 |    3290     6491    26220 |     8052     3601    162 |  0.000 % |
1.10/1.19	c |      4360 |    3290     6491    26220 |     8857     4360    166 |  0.000 % |
1.19/1.22	c ===============================================================================
1.19/1.22	c New solution: -9
1.19/1.22	o -9
1.19/1.22	c Elapsed CPU time: 1.19182 s	Remaining CPU time: 178.808 s
1.19/1.22	c ===============================================================================
1.19/1.22	c |      4472 |    3290     6492    26320 |     5000     4472    164 |  0.000 % |
1.19/1.26	c |      4577 |    3290     6492    26320 |     5500     4577    164 |  0.000 % |
1.19/1.29	c |      4727 |    3290     6492    26320 |     6050     4727    165 |  0.000 % |
1.30/1.33	c |      4952 |    3290     6492    26320 |     6655     4952    166 |  0.000 % |
1.30/1.39	c |      5289 |    3290     6492    26320 |     7320     5289    167 |  0.000 % |
1.39/1.43	c ===============================================================================
1.39/1.43	c New solution: -10
1.39/1.43	o -10
1.39/1.43	c Elapsed CPU time: 1.39579 s	Remaining CPU time: 178.604 s
1.39/1.43	c ===============================================================================
1.39/1.43	c |      5401 |    3290     6493    26420 |     5000     5401    164 |  0.000 % |
1.39/1.48	c |      5506 |    3290     6493    26420 |     5500     2806    174 |  0.000 % |
1.49/1.51	c |      5656 |    3290     6493    26420 |     6050     2956    174 |  0.000 % |
1.49/1.53	c |      5881 |    3290     6493    26420 |     6655     3181    175 |  0.000 % |
1.49/1.58	c |      6218 |    3290     6493    26420 |     7320     3518    175 |  0.000 % |
1.59/1.65	c |      6724 |    3290     6493    26420 |     8052     4024    176 |  0.000 % |
1.69/1.77	c |      7483 |    3290     6493    26420 |     8857     4783    178 |  0.000 % |
1.99/2.00	c |      8624 |    3290     6493    26420 |     9743     5924    179 |  0.000 % |
2.29/2.33	c |     10332 |    3290     6493    26420 |    10717     7632    179 |  0.000 % |
2.89/2.93	c |     12897 |    3290     6493    26420 |    11789    10197    181 |  0.000 % |
3.89/3.99	c |     16741 |    3290     6493    26420 |    12968    14041    179 |  0.000 % |
5.50/5.58	c |     22507 |    3290     6493    26420 |    14265    12787    179 |  0.000 % |
8.19/8.27	c |     31156 |    3290     6493    26420 |    15692    12687    182 |  0.000 % |
13.39/13.42	c |     44136 |    3290     6493    26420 |    17261    16357    156 |  0.000 % |
20.28/20.37	c |     63597 |    3290     6493    26420 |    18987    15319    173 |  0.000 % |
30.98/31.04	c |     92789 |    3290     6493    26420 |    20886    21813    178 |  0.000 % |
47.68/47.77	c |    136578 |    3290     6493    26420 |    22974    14888    179 |  0.000 % |
73.77/73.84	c |    202264 |    3290     6493    26420 |    25272    19491    171 |  0.000 % |
123.47/123.51	c |    300791 |    3290     6493    26420 |    27799    13145    182 |  0.000 % |
181.55/181.68	c There are 0 assigned variables. 0 in cost function.
182.05/182.19	c core #1
182.05/182.19	c 
182.05/182.19	c 
182.05/182.19	c Core size: 201	Core Weight: 1	Total Weight: -99
182.05/182.19	c
182.05/182.19	c
182.05/182.19	c ============================[ Search Statistics ]==============================
182.05/182.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.05/182.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.05/182.19	c ===============================================================================
182.05/182.19	c |         0 |    3390     6714    27064 |     5000        0    nan |  0.000 % |
182.15/182.23	c |       100 |    3390     6714    27064 |     5500      100     36 |  1.153 % |
182.15/182.23	c ===============================================================================
182.15/182.26	c core #2
182.15/182.26	c 
182.15/182.26	c 
182.15/182.26	c Core size: 91	Core Weight: 1	Total Weight: -98
182.15/182.26	c
182.15/182.26	c
182.15/182.26	c ============================[ Search Statistics ]==============================
182.15/182.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.15/182.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.15/182.26	c ===============================================================================
182.15/182.26	c |         0 |    3473     6729    27272 |     5000        0    nan |  0.000 % |
182.15/182.29	c |       100 |    3473     6729    27272 |     5500      100     76 |  0.000 % |
182.25/182.34	c |       250 |    3473     6729    27272 |     6050      250     68 |  0.000 % |
182.35/182.43	c |       487 |    3473     6729    27272 |     6655      487     62 |  0.000 % |
182.46/182.55	c |       824 |    3419     6729    27272 |     7320      762     67 |  1.555 % |
182.65/182.74	c |      1330 |    3411     6729    27272 |     8052     1268     65 |  5.961 % |
182.95/183.01	c ===============================================================================
182.95/183.06	c core #3
182.95/183.06	c 
182.95/183.06	c 
182.95/183.06	c Core size: 109	Core Weight: 1	Total Weight: -97
182.95/183.06	c
182.95/183.06	c
182.95/183.06	c ============================[ Search Statistics ]==============================
182.95/183.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.95/183.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.95/183.06	c ===============================================================================
182.95/183.06	c |         0 |    3572     6783    27625 |     5000        0    nan |  0.000 % |
183.06/183.10	c |       100 |    3572     6783    27625 |     5500      100    121 |  0.000 % |
183.06/183.15	c |       250 |    3572     6783    27625 |     6050      250    103 |  0.000 % |
183.15/183.23	c |       475 |    3572     6783    27625 |     6655      475     90 |  0.000 % |
183.35/183.42	c |       812 |    3572     6783    27625 |     7320      812     80 |  0.000 % |
183.56/183.63	c |      1318 |    3572     6783    27625 |     8052     1318     80 |  0.000 % |
183.86/183.94	c |      2078 |    3572     6783    27625 |     8857     2078     79 |  0.001 % |
184.35/184.43	c |      3218 |    3572     6783    27625 |     9743     3218     76 |  0.000 % |
185.05/185.17	c |      4927 |    3572     6783    27625 |    10717     4927     78 |  0.001 % |
186.25/186.35	c |      7489 |    3572     6783    27625 |    11789     7489     78 |  0.000 % |
188.06/188.18	c |     11333 |    3572     6783    27625 |    12968    11333     80 |  0.018 % |
190.85/191.00	c |     17099 |    3544     6783    27625 |    14265     7905     69 |  0.786 % |
193.95/194.09	c ===============================================================================
194.35/194.40	c core #4
194.35/194.40	c 
194.35/194.40	c 
194.35/194.40	c Core size: 109	Core Weight: 1	Total Weight: -96
194.35/194.40	c
194.35/194.40	c
194.35/194.40	c ============================[ Search Statistics ]==============================
194.35/194.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.35/194.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.35/194.40	c ===============================================================================
194.35/194.40	c |         0 |    3672     7337    29474 |     5000        0    nan |  0.000 % |
194.35/194.45	c |       100 |    3672     7337    29474 |     5500      100    166 |  0.000 % |
194.45/194.51	c |       251 |    3672     7337    29474 |     6050      251    135 |  0.000 % |
194.45/194.55	c |       477 |    3672     7337    29474 |     6655      477     81 |  0.000 % |
194.55/194.69	c |       814 |    3672     7337    29474 |     7320      814    100 |  0.000 % |
194.75/194.89	c |      1320 |    3672     7337    29474 |     8052     1320     94 |  0.000 % |
195.15/195.21	c |      2079 |    3672     7337    29474 |     8857     2079    107 |  0.000 % |
195.55/195.69	c |      3219 |    3672     7337    29474 |     9743     3219     97 |  0.000 % |
196.35/196.41	c |      4927 |    3672     7337    29474 |    10717     4927     86 |  0.000 % |
197.45/197.59	c |      7489 |    3672     7337    29474 |    11789     7489     86 |  0.000 % |
199.54/199.69	c |     11336 |    3672     7337    29474 |    12968    11336     78 |  0.000 % |
203.15/203.23	c |     17103 |    3672     7337    29474 |    14265    10314     59 |  0.000 % |
208.45/208.51	c |     25761 |    3672     7337    29474 |    15692    10232    153 |  0.000 % |
222.55/222.69	c |     38741 |    3672     7337    29474 |    17261    13757    168 |  0.000 % |
244.93/245.01	c |     58202 |    3672     7337    29474 |    18987    12961    125 |  0.000 % |
267.24/267.32	c |     87394 |    3672     7337    29474 |    20886    20184    127 |  0.000 % |
297.94/298.09	c |    131184 |    3672     7337    29474 |    22974    12975    154 |  0.000 % |
364.31/364.45	c |    196868 |    3672     7337    29474 |    25272    18072    168 |  0.000 % |
421.80/421.96	c |    295396 |    3672     7337    29474 |    27799    12465    147 |  0.000 % |
536.97/537.13	c |    443191 |    3672     7337    29474 |    30579    22504    168 |  0.000 % |
677.45/677.69	c |    664874 |    3672     7337    29474 |    33637    21781    157 |  0.000 % |
936.18/936.41	c |    997399 |    3672     7337    29474 |    37001    25654    165 |  0.000 % |
1329.90/1330.28	c |   1496187 |    3672     7337    29474 |    40701    37452    160 |  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-2702665-1278573651/watcher-2702665-1278573651 -o /tmp/evaluation-result-2702665-1278573651/solver-2702665-1278573651 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702665-1278573651.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.91 0.72 3/106 30219
/proc/meminfo: memFree=1683916/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=3164 CPUtime=0
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 25571774 3239936 293 1992294400 134512640 135752675 4286922992 18446744073709551615 134559922 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 791 293 137 303 0 422 0

[startup+0.0743849 s]
/proc/loadavg: 0.99 0.91 0.72 3/106 30219
/proc/meminfo: memFree=1683916/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=4716 CPUtime=0.07
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 856 0 0 0 7 0 0 0 20 0 1 0 25571774 4829184 710 1992294400 134512640 135752675 4286922992 18446744073709551615 135211752 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 1179 710 142 303 0 874 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4716

[startup+0.101388 s]
/proc/loadavg: 0.99 0.91 0.72 3/106 30219
/proc/meminfo: memFree=1683916/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=4716 CPUtime=0.09
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 878 0 0 0 9 0 0 0 20 0 1 0 25571774 4829184 732 1992294400 134512640 135752675 4286922992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 1179 732 144 303 0 874 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4716

[startup+0.3014 s]
/proc/loadavg: 0.99 0.91 0.72 3/106 30219
/proc/meminfo: memFree=1683916/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=4716 CPUtime=0.29
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 879 0 0 0 29 0 0 0 20 0 1 0 25571774 4829184 733 1992294400 134512640 135752675 4286922992 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 1179 733 145 303 0 874 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4716

[startup+0.701427 s]
/proc/loadavg: 0.99 0.91 0.72 3/106 30219
/proc/meminfo: memFree=1683916/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=5752 CPUtime=0.69
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 1126 0 0 0 68 1 0 0 21 0 1 0 25571774 5890048 980 1992294400 134512640 135752675 4286922992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 1438 980 145 303 0 1133 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5752

[startup+1.50148 s]
/proc/loadavg: 0.99 0.91 0.72 2/107 30220
/proc/meminfo: memFree=1680188/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=8348 CPUtime=1.49
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 1803 0 0 0 146 3 0 0 23 0 1 0 25571774 8548352 1657 1992294400 134512640 135752675 4286922992 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 2087 1657 145 303 0 1782 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8348

[startup+3.10158 s]
/proc/loadavg: 0.99 0.91 0.72 2/107 30220
/proc/meminfo: memFree=1674856/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=14960 CPUtime=3.1
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 3431 0 0 0 304 6 0 0 25 0 1 0 25571774 15319040 3285 1992294400 134512640 135752675 4286922992 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 3740 3285 145 303 0 3435 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 14960

[startup+6.3008 s]
/proc/loadavg: 0.99 0.91 0.73 2/107 30220
/proc/meminfo: memFree=1664316/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=23892 CPUtime=6.29
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 5663 0 0 0 620 9 0 0 25 0 1 0 25571774 24465408 5517 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 5973 5517 145 303 0 5668 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23892

[startup+12.7002 s]
/proc/loadavg: 0.99 0.91 0.73 2/107 30220
/proc/meminfo: memFree=1649808/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=37612 CPUtime=12.69
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 9086 0 0 0 1252 17 0 0 25 0 1 0 25571774 38514688 8940 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 9403 8940 145 303 0 9098 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37612

[startup+25.5011 s]
/proc/loadavg: 0.99 0.92 0.73 2/107 30220
/proc/meminfo: memFree=1619428/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=67160 CPUtime=25.49
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 16488 0 0 0 2518 31 0 0 25 0 1 0 25571774 68771840 16342 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 16790 16342 145 303 0 16485 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67160

[startup+51.1008 s]
/proc/loadavg: 0.99 0.92 0.74 2/107 30220
/proc/meminfo: memFree=1566108/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=121292 CPUtime=51.08
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 30019 0 0 0 5051 57 0 0 25 0 1 0 25571774 124203008 29873 1992294400 134512640 135752675 4286922992 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 30323 29873 145 303 0 30018 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 121292

[startup+102.308 s]
/proc/loadavg: 0.99 0.93 0.75 2/107 30222
/proc/meminfo: memFree=1471248/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=214564 CPUtime=102.28
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 53285 0 0 0 10125 103 0 0 25 0 1 0 25571774 219713536 53139 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 53641 53139 145 303 0 53336 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 214564

[startup+162.301 s]
/proc/loadavg: 0.99 0.94 0.76 2/107 30224
/proc/meminfo: memFree=1385068/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=301660 CPUtime=162.25
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 75021 0 0 0 16076 149 0 0 25 0 1 0 25571774 308899840 74875 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 75415 74875 145 303 0 75110 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 301660

[startup+222.301 s]
/proc/loadavg: 1.03 0.96 0.77 2/107 30226
/proc/meminfo: memFree=1346752/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=338588 CPUtime=222.25
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 84377 0 0 0 22033 192 0 0 25 0 1 0 25571774 346714112 84200 1992294400 134512640 135752675 4286922992 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 84647 84200 146 303 0 84342 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 338588

[startup+282.301 s]
/proc/loadavg: 1.01 0.97 0.79 2/107 30227
/proc/meminfo: memFree=1310544/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=375204 CPUtime=282.23
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 93532 0 0 0 27991 232 0 0 25 0 1 0 25571774 384208896 93355 1992294400 134512640 135752675 4286922992 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 93801 93355 146 303 0 93496 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 375204

[startup+342.301 s]
/proc/loadavg: 1.00 0.97 0.80 2/107 30228
/proc/meminfo: memFree=1264912/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=420376 CPUtime=342.22
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 104784 0 0 0 33951 271 0 0 25 0 1 0 25571774 430465024 104607 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 105094 104607 146 303 0 104789 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 420376

[startup+402.301 s]
/proc/loadavg: 1.00 0.97 0.81 2/107 30230
/proc/meminfo: memFree=1201672/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=485012 CPUtime=402.2
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 120870 0 0 0 39912 308 0 0 25 0 1 0 25571774 496652288 120693 1992294400 134512640 135752675 4286922992 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 121253 120693 146 303 0 120948 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 485012

[startup+462.301 s]
/proc/loadavg: 1.00 0.97 0.82 2/107 30232
/proc/meminfo: memFree=1147980/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=537388 CPUtime=462.19
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 133953 0 0 0 45872 347 0 0 25 0 1 0 25571774 550285312 133776 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 134347 133776 146 303 0 134042 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 537388

[startup+522.301 s]
/proc/loadavg: 1.00 0.97 0.83 2/107 30234
/proc/meminfo: memFree=1094784/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=591036 CPUtime=522.18
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 147342 0 0 0 51826 392 0 0 25 0 1 0 25571774 605220864 147165 1992294400 134512640 135752675 4286922992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 147759 147165 146 303 0 147454 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 591036

[startup+582.301 s]
/proc/loadavg: 1.00 0.97 0.83 2/107 30235
/proc/meminfo: memFree=1037496/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=647804 CPUtime=582.16
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 161534 0 0 0 57786 430 0 0 25 0 1 0 25571774 663351296 161357 1992294400 134512640 135752675 4286922992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 161951 161357 146 303 0 161646 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 647804

[startup+642.301 s]
/proc/loadavg: 1.06 0.99 0.84 2/107 30236
/proc/meminfo: memFree=970536/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=714296 CPUtime=642.16
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 178149 0 0 0 63743 473 0 0 25 0 1 0 25571774 731439104 177972 1992294400 134512640 135752675 4286922992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 178574 177972 146 303 0 178269 0
Current children cumulated CPU time (s) 642.16
Current children cumulated vsize (KiB) 714296

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.01 1.00 0.88 2/107 30243
/proc/meminfo: memFree=733572/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=951056 CPUtime=882.1
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 237221 0 0 0 87587 623 0 0 25 0 1 0 25571774 973881344 237044 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 237764 237044 146 303 0 237459 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 951056

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.88 2/107 30244
/proc/meminfo: memFree=675168/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=1010292 CPUtime=942.08
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 252010 0 0 0 93542 666 0 0 25 0 1 0 25571774 1034539008 251833 1992294400 134512640 135752675 4286922992 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 252573 251833 146 303 0 252268 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 1010292

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.89 2/107 30246
/proc/meminfo: memFree=615152/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=1069356 CPUtime=1002.07
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 266777 0 0 0 99507 700 0 0 25 0 1 0 25571774 1095020544 266600 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 267339 266600 146 303 0 267034 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 1069356

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.89 2/107 30248
/proc/meminfo: memFree=569520/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=1115340 CPUtime=1062.06
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 278270 0 0 0 105472 734 0 0 25 0 1 0 25571774 1142108160 278093 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 278835 278093 146 303 0 278530 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 1115340

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.90 2/107 30250
/proc/meminfo: memFree=513100/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=1171264 CPUtime=1122.05
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 292258 0 0 0 111433 772 0 0 25 0 1 0 25571774 1199374336 292081 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 292816 292081 146 303 0 292511 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 1171264

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 30251
/proc/meminfo: memFree=456804/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=1228088 CPUtime=1182.03
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 306430 0 0 0 117394 809 0 0 25 0 1 0 25571774 1257562112 306253 1992294400 134512640 135752675 4286922992 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 307022 306253 146 303 0 306717 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 1228088

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 30252
/proc/meminfo: memFree=401500/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=1282708 CPUtime=1242.02
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 320091 0 0 0 123353 849 0 0 25 0 1 0 25571774 1313492992 319914 1992294400 134512640 135752675 4286922992 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 320677 319914 146 303 0 320372 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 1282708

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 30254
/proc/meminfo: memFree=346072/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=1337356 CPUtime=1302.01
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 333768 0 0 0 129314 887 0 0 25 0 1 0 25571774 1369452544 333591 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 334339 333591 146 303 0 334034 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1337356

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 30256
/proc/meminfo: memFree=305648/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=1378208 CPUtime=1361.99
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 343954 0 0 0 135282 917 0 0 25 0 1 0 25571774 1411284992 343777 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 344552 343777 146 303 0 344247 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1378208

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 30258
/proc/meminfo: memFree=273036/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=1410672 CPUtime=1421.99
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 352023 0 0 0 141263 936 0 0 25 0 1 0 25571774 1444528128 351846 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 352668 351846 146 303 0 352363 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1410672

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 30259
/proc/meminfo: memFree=245756/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=1438052 CPUtime=1481.97
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 358838 0 0 0 147241 956 0 0 25 0 1 0 25571774 1472565248 358661 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 359513 358661 146 303 0 359208 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1438052

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 30260
/proc/meminfo: memFree=218476/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=1465232 CPUtime=1541.96
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 365626 0 0 0 153221 975 0 0 25 0 1 0 25571774 1500397568 365449 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 366308 365449 146 303 0 366003 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1465232

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 30262
/proc/meminfo: memFree=194296/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=1489688 CPUtime=1601.94
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 371716 0 0 0 159202 992 0 0 25 0 1 0 25571774 1525440512 371539 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 372422 371539 146 303 0 372117 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1489688

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 30264
/proc/meminfo: memFree=174084/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=1509524 CPUtime=1661.93
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 376692 0 0 0 165182 1011 0 0 25 0 1 0 25571774 1545752576 376515 1992294400 134512640 135752675 4286922992 18446744073709551615 134611669 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 377381 376515 146 303 0 377076 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1509524

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 30266
/proc/meminfo: memFree=152632/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=1531080 CPUtime=1721.91
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 382076 0 0 0 171163 1028 0 0 25 0 1 0 25571774 1567825920 381899 1992294400 134512640 135752675 4286922992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 382770 381899 146 303 0 382465 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1531080

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 30267
/proc/meminfo: memFree=134032/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=1549412 CPUtime=1781.9
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 386676 0 0 0 177145 1045 0 0 25 0 1 0 25571774 1586597888 386499 1992294400 134512640 135752675 4286922992 18446744073709551615 134611618 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 387353 386499 146 303 0 387048 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1549412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 30268
/proc/meminfo: memFree=121136/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=1562168 CPUtime=1800.01
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4202496 389843 0 0 0 178947 1054 0 0 25 0 1 0 25571774 1599660032 389666 1992294400 134512640 135752675 4286922992 18446744073709551615 134603340 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30219/statm: 390542 389666 146 303 0 390237 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1562168

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

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

[startup+1800.51 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 30268
/proc/meminfo: memFree=121136/2059040 swapFree=4122628/4192956
[pid=30219] ppid=30217 vsize=0 CPUtime=1800.11
/proc/30219/stat : 30219 (wbo1.4b) R 30217 30219 30096 0 -1 4203524 389843 0 0 0 178947 1064 0 0 25 0 1 0 25571774 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/30219/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.55
CPU time (s): 1800.16
CPU user time (s): 1789.47
CPU system time (s): 10.6844
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 1562168

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

runsolver used 3.20851 second user time and 8.27774 second system time

The end

Launcher Data 

Begin job on node052 at 2010-07-08 09:20:51
IDJOB=2702665
IDBENCH=48267
IDSOLVER=1190
FILE ID=node052/2702665-1278573651
PBS_JOBID= 11240074
Free space on /tmp= 62528 MiB

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

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

MD5SUM BENCH= 29cda419af6adbdf14450bbe70fbdfc2
RANDOM SEED=1670020678

node052.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.213
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.42
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.213
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1684940 kB
Buffers:         55604 kB
Cached:         212372 kB
SwapCached:      24948 kB
Active:         121188 kB
Inactive:       173824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1684940 kB
SwapTotal:     4192956 kB
SwapFree:      4122628 kB
Dirty:            2716 kB
Writeback:           0 kB
AnonPages:       11528 kB
Mapped:           8504 kB
Slab:            57068 kB
PageTables:       4264 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180504 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-2702665-1278573651.opb

Free space on /tmp at the end= 62524 MiB
End job on node052 at 2010-07-08 09:50:54