Trace number 2702245

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)OPT3 1291.67 1292

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=347-P1=127-P2=53-P3=293-P4=199-P5=107-B.opb
MD5SUMea08c66c9e8e41f4a763233d2f14489d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark3.32149
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables135
Total number of constraints11
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)405
Sum of products size (including duplicates)810
Number of different products405
Sum of products size810

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-2702245-1278547100.opb.
0.00/0.00	c Instance file HOME/instance-2702245-1278547100.opb
0.00/0.00	c File size is 30042 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      540                                                 |
0.00/0.00	c |  Number Clauses:        405                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 421                                                 |
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 |     540      826     3456 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       101 |     540      826     3456 |     5500      101     90 |  0.003 % |
0.00/0.02	c |       252 |     540      826     3456 |     6050      252     83 |  0.004 % |
0.03/0.04	c |       477 |     540      826     3456 |     6655      477     71 |  0.000 % |
0.03/0.08	c |       814 |     540      826     3456 |     7320      814     68 |  0.000 % |
0.09/0.13	c |      1321 |     540      826     3456 |     8052     1321     73 |  0.000 % |
0.19/0.20	c |      2081 |     540      826     3456 |     8857     2081     72 |  0.000 % |
0.29/0.33	c |      3220 |     540      826     3456 |     9743     3220     68 |  0.000 % |
0.49/0.58	c |      4929 |     540      826     3456 |    10717     4929     63 |  0.003 % |
0.79/0.84	c |      7493 |     540      826     3456 |    11789     7493     63 |  0.000 % |
1.39/1.40	c |     11338 |     540      826     3456 |    12968    11338     70 |  0.000 % |
1.98/2.09	c |     17105 |     540      826     3456 |    14265    10579     63 |  0.004 % |
2.39/2.43	c ===============================================================================
2.39/2.43	c New solution: 129
2.39/2.43	o 129
2.39/2.43	c Elapsed CPU time: 2.38464 s	Remaining CPU time: 177.615 s
2.39/2.43	c ===============================================================================
2.39/2.43	c |     20291 |     540      827     3465 |     5000    13765     64 |  0.004 % |
2.39/2.48	c |     20391 |     529      827     3465 |     5500     3542     67 |  2.037 % |
2.49/2.50	c |     20541 |     529      827     3465 |     6050     3692     67 |  2.040 % |
2.49/2.52	c |     20766 |     529      827     3465 |     6655     3917     66 |  2.037 % |
2.49/2.55	c |     21108 |     529      827     3465 |     7320     4259     65 |  2.037 % |
2.59/2.60	c |     21615 |     529      827     3465 |     8052     4766     65 |  2.037 % |
2.59/2.69	c |     22375 |     529      827     3465 |     8857     5526     66 |  2.037 % |
2.79/2.82	c |     23515 |     529      827     3465 |     9743     6666     62 |  2.037 % |
2.99/3.06	c |     25223 |     529      827     3465 |    10717     8374     62 |  2.037 % |
3.39/3.45	c |     27785 |     529      827     3465 |    11789     5537     49 |  2.037 % |
3.78/3.83	c |     31630 |     529      827     3465 |    12968     9382     53 |  2.037 % |
4.59/4.66	c |     37396 |     529      827     3465 |    14265     8432     68 |  2.037 % |
5.79/5.84	c |     46045 |     529      827     3465 |    15692     9758     54 |  2.037 % |
5.99/6.07	c ===============================================================================
5.99/6.07	c New solution: 27
5.99/6.07	o 27
5.99/6.07	c Elapsed CPU time: 5.97409 s	Remaining CPU time: 174.026 s
5.99/6.07	c ===============================================================================
5.99/6.07	c |     47525 |     529      828     3474 |     5000    11238     55 |  2.037 % |
6.09/6.11	c |     47626 |     499      828     3474 |     5500     2911     55 |  8.148 % |
6.09/6.13	c |     47777 |     496      828     3474 |     6050     3062     56 |  8.152 % |
6.09/6.15	c |     48003 |     496      828     3474 |     6655     3288     58 |  8.152 % |
6.09/6.19	c |     48341 |     496      828     3474 |     7320     3626     60 |  8.152 % |
6.19/6.25	c |     48849 |     496      828     3474 |     8052     4134     60 |  8.148 % |
6.29/6.33	c |     49609 |     496      828     3474 |     8857     4894     60 |  8.148 % |
6.39/6.48	c |     50748 |     496      828     3474 |     9743     6033     61 |  8.152 % |
6.60/6.66	c |     52456 |     496      828     3474 |    10717     7741     62 |  8.148 % |
6.99/7.04	c |     55019 |     496      828     3474 |    11789    10304     62 |  8.148 % |
7.49/7.55	c |     58864 |     496      828     3474 |    12968     8157     58 |  8.148 % |
8.19/8.24	c |     64631 |     496      828     3474 |    14265     7264     59 |  8.148 % |
9.39/9.40	c |     73281 |     496      828     3474 |    15692     8627     56 |  8.148 % |
11.19/11.27	c |     86255 |     496      828     3474 |    17261    13516     70 |  8.148 % |
14.78/14.82	c |    105718 |     496      828     3474 |    18987    15232     56 |  8.148 % |
15.40/15.45	c ===============================================================================
15.40/15.45	c New solution: 9
15.40/15.45	o 9
15.40/15.45	c Elapsed CPU time: 15.2017 s	Remaining CPU time: 164.798 s
15.40/15.45	c ===============================================================================
15.40/15.45	c |    110934 |     496      829     3483 |     5000    10836     54 |  8.148 % |
15.49/15.50	c |    111035 |     485      829     3483 |     5500     2810     56 | 10.189 % |
15.49/15.51	c |    111186 |     485      829     3483 |     6050     2961     57 | 10.186 % |
15.49/15.54	c |    111412 |     485      829     3483 |     6655     3187     57 | 10.186 % |
15.49/15.57	c |    111749 |     485      829     3483 |     7320     3524     57 | 10.186 % |
15.59/15.63	c |    112256 |     485      829     3483 |     8052     4031     58 | 10.186 % |
15.68/15.71	c |    113017 |     485      829     3483 |     8857     4792     59 | 10.189 % |
15.78/15.87	c |    114157 |     485      829     3483 |     9743     5932     59 | 10.186 % |
15.99/16.08	c |    115866 |     485      829     3483 |    10717     7641     61 | 10.186 % |
16.40/16.49	c |    118429 |     485      829     3483 |    11789    10204     59 | 10.186 % |
16.98/17.08	c |    122273 |     485      829     3483 |    12968     7905     67 | 10.186 % |
17.99/18.04	c |    128040 |     485      829     3483 |    14265     6970     83 | 10.186 % |
19.39/19.43	c |    136691 |     485      829     3483 |    15692     8367     57 | 10.189 % |
21.28/21.36	c |    149666 |     485      829     3483 |    17261    13256     66 | 10.186 % |
24.20/24.21	c |    169128 |     485      829     3483 |    18987    14952     79 | 10.186 % |
29.88/29.93	c |    198320 |     485      829     3483 |    20886    15168     60 | 10.189 % |
40.69/40.73	c |    242112 |     485      829     3483 |    22974    16276     68 | 10.186 % |
54.38/54.43	c |    307797 |     485      829     3483 |    25272    20342     64 | 10.186 % |
77.98/78.07	c |    406323 |     485      829     3483 |    27799    16938     49 | 10.186 % |
117.96/118.03	c |    554112 |     485      829     3483 |    30579    14217     40 | 10.186 % |
138.46/138.59	c ===============================================================================
138.46/138.59	c New solution: 5
138.46/138.59	o 5
138.46/138.59	c Elapsed CPU time: 136.783 s	Remaining CPU time: 43.2168 s
138.46/138.59	c ===============================================================================
138.46/138.59	c |    625124 |     484      830     3492 |     5000    26603     47 | 10.186 % |
138.66/138.77	c |    625224 |     473      830     3492 |     5500     2875     72 | 12.408 % |
138.66/138.78	c |    625375 |     473      830     3492 |     6050     3026     73 | 12.408 % |
138.75/138.81	c |    625601 |     473      830     3492 |     6655     3252     73 | 12.408 % |
138.75/138.84	c |    625938 |     473      830     3492 |     7320     3589     73 | 12.408 % |
138.85/138.91	c |    626445 |     473      830     3492 |     8052     4096     72 | 12.408 % |
138.96/139.02	c |    627204 |     473      830     3492 |     8857     4855     71 | 12.408 % |
139.06/139.16	c |    628344 |     473      830     3492 |     9743     5995     71 | 12.408 % |
139.36/139.46	c |    630053 |     473      830     3492 |    10717     7704     72 | 12.408 % |
139.66/139.79	c |    632616 |     473      830     3492 |    11789    10267     70 | 12.408 % |
140.45/140.56	c |    636460 |     473      830     3492 |    12968     8027     72 | 12.408 % |
141.96/142.06	c |    642227 |     473      830     3492 |    14265     7230     54 | 12.408 % |
143.45/143.51	c |    650876 |     473      830     3492 |    15692     8513     65 | 12.408 % |
145.16/145.27	c |    663852 |     473      830     3492 |    17261    13402     50 | 12.408 % |
148.36/148.43	c |    683315 |     473      830     3492 |    18987    15365     41 | 12.408 % |
157.65/157.77	c |    712507 |     473      830     3492 |    20886    15795     47 | 12.408 % |
168.25/168.35	c |    756297 |     473      830     3492 |    22974    16939     60 | 12.408 % |
182.24/182.37	c There are 67 assigned variables. 6 in cost function.
183.05/183.10	c core #1
183.05/183.10	c 
183.05/183.10	c 
183.05/183.10	c Core size: 4	Core Weight: 1	Total Weight: 1
183.05/183.10	c
183.05/183.10	c
183.05/183.10	c core #2
183.05/183.10	c 
183.05/183.10	c 
183.05/183.10	c Core size: 3	Core Weight: 1	Total Weight: 2
183.05/183.10	c
183.05/183.10	c
183.05/183.10	c ============================[ Search Statistics ]==============================
183.05/183.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.05/183.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.05/183.10	c ===============================================================================
183.05/183.10	c |         0 |     450      794     2968 |     5000        0    nan |  0.000 % |
183.05/183.11	c |       100 |     450      794     2968 |     5500      100     92 | 17.432 % |
183.05/183.13	c |       251 |     450      794     2968 |     6050      251     89 | 17.435 % |
183.05/183.14	c |       476 |     450      794     2968 |     6655      476     82 | 17.432 % |
183.05/183.19	c |       818 |     450      794     2968 |     7320      818     78 | 17.435 % |
183.14/183.25	c |      1324 |     450      794     2968 |     8052     1324     73 | 17.435 % |
183.24/183.35	c |      2084 |     450      794     2968 |     8857     2084     75 | 17.432 % |
183.45/183.52	c |      3223 |     450      794     2968 |     9743     3223     70 | 17.432 % |
183.65/183.72	c |      4934 |     450      794     2968 |    10717     4934     65 | 17.432 % |
184.04/184.14	c |      7499 |     450      794     2968 |    11789     7499     65 | 17.432 % |
184.84/184.95	c |     11343 |     450      794     2968 |    12968    11343     62 | 17.432 % |
186.74/186.84	c |     17109 |     450      794     2968 |    14265    10424     65 | 17.432 % |
188.05/188.11	c |     25759 |     450      794     2968 |    15692    11707     67 | 17.435 % |
190.65/190.75	c |     38734 |     450      794     2968 |    17261     8595     63 | 17.432 % |
197.24/197.34	c |     58195 |     450      794     2968 |    18987    10486     43 | 17.432 % |
208.04/208.19	c |     87387 |     450      794     2968 |    20886    10826     41 | 17.432 % |
220.03/220.15	c |    131176 |     450      794     2968 |    22974    11942     40 | 17.432 % |
246.63/246.77	c |    196861 |     450      794     2968 |    25272    15864     58 | 17.432 % |
279.81/279.93	c |    295390 |     450      794     2968 |    27799    12230     58 | 17.432 % |
338.21/338.39	c |    443179 |     449      794     2968 |    30579    24172     60 | 17.615 % |
424.19/424.32	c |    664863 |     449      794     2968 |    33637    12267     38 | 17.615 % |
552.05/552.21	c |    997390 |     449      794     2968 |    37001    31462     53 | 17.615 % |
808.48/808.77	c |   1496179 |     449      794     2968 |    40701    15652     34 | 17.615 % |
1173.89/1174.20	c |   2244361 |     447      794     2968 |    44771    26329     39 | 17.982 % |
1286.76/1287.14	c ===============================================================================
1288.66/1289.02	c core #3
1288.66/1289.02	c 
1288.66/1289.02	c 
1288.66/1289.02	c Core size: 106	Core Weight: 1	Total Weight: 3
1288.66/1289.02	c
1288.66/1289.02	c
1288.66/1289.02	c ============================[ Search Statistics ]==============================
1288.66/1289.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1288.66/1289.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1288.66/1289.02	c ===============================================================================
1288.66/1289.02	c |         0 |     467      796     2975 |     5000        0    nan |  0.000 % |
1289.06/1289.42	c |       101 |     467      796     2975 |     5500      101     85 | 14.785 % |
1289.06/1289.43	c |       251 |     467      796     2975 |     6050      251     87 | 14.784 % |
1289.06/1289.45	c |       477 |     467      796     2975 |     6655      477     83 | 14.781 % |
1289.06/1289.48	c |       815 |     467      796     2975 |     7320      815     81 | 14.781 % |
1289.17/1289.52	c |      1322 |     467      796     2975 |     8052     1322     83 | 14.781 % |
1289.17/1289.59	c |      2081 |     467      796     2975 |     8857     2081     82 | 14.784 % |
1289.36/1289.76	c |      3221 |     467      796     2975 |     9743     3221     74 | 14.781 % |
1289.67/1290.02	c |      4930 |     467      796     2975 |    10717     4930     75 | 14.781 % |
1289.98/1290.32	c |      7492 |     467      796     2975 |    11789     7492     73 | 14.781 % |
1290.87/1291.26	c |     11336 |     467      796     2975 |    12968    11336     72 | 14.781 % |
1291.56/1291.91	c ===============================================================================
1291.56/1291.92	c #cores: 3
1291.56/1291.92	c Final Weight: 3
1291.56/1291.92	o 3
1291.56/1291.92	s OPTIMUM FOUND
1291.56/1291.92	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 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 x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 x63 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 x297 x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 x100 -x101 x102 -x103 -x104 -x105 -x106 x107 -x108 x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135
1291.56/1291.92	c Total CPU time: 1281.24 s

Verifier Data 

OK	3

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702245-1278547100/watcher-2702245-1278547100 -o /tmp/evaluation-result-2702245-1278547100/solver-2702245-1278547100 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702245-1278547100.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.92 0.97 0.65 3/106 26623
/proc/meminfo: memFree=1929400/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=2708 CPUtime=0
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 336 0 0 0 0 0 0 0 19 0 1 0 22923066 2772992 246 1992294400 134512640 135752675 4294269104 18446744073709551615 134524580 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 677 248 142 303 0 372 0

[startup+0.035232 s]
/proc/loadavg: 0.92 0.97 0.65 3/106 26623
/proc/meminfo: memFree=1929400/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=2836 CPUtime=0.03
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 359 0 0 0 3 0 0 0 19 0 1 0 22923066 2904064 269 1992294400 134512640 135752675 4294269104 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 709 269 145 303 0 404 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2836

[startup+0.101239 s]
/proc/loadavg: 0.92 0.97 0.65 3/106 26623
/proc/meminfo: memFree=1929400/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=3092 CPUtime=0.09
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 422 0 0 0 9 0 0 0 20 0 1 0 22923066 3166208 332 1992294400 134512640 135752675 4294269104 18446744073709551615 134639846 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 773 332 145 303 0 468 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3092

[startup+0.301258 s]
/proc/loadavg: 0.92 0.97 0.65 3/106 26623
/proc/meminfo: memFree=1929400/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=3732 CPUtime=0.29
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 598 0 0 0 29 0 0 0 20 0 1 0 22923066 3821568 508 1992294400 134512640 135752675 4294269104 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 933 508 145 303 0 628 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3732

[startup+0.701297 s]
/proc/loadavg: 0.92 0.97 0.65 3/106 26623
/proc/meminfo: memFree=1929400/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=4892 CPUtime=0.69
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 892 0 0 0 68 1 0 0 21 0 1 0 22923066 5009408 802 1992294400 134512640 135752675 4294269104 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 1223 803 145 303 0 918 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4892

[startup+1.50138 s]
/proc/loadavg: 0.93 0.97 0.65 2/107 26624
/proc/meminfo: memFree=1926044/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=7480 CPUtime=1.49
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 1515 0 0 0 146 3 0 0 23 0 1 0 22923066 7659520 1425 1992294400 134512640 135752675 4294269104 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 1870 1425 145 303 0 1565 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7480

[startup+3.10054 s]
/proc/loadavg: 0.93 0.97 0.65 2/107 26624
/proc/meminfo: memFree=1922944/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=11648 CPUtime=3.09
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 2578 0 0 0 304 5 0 0 25 0 1 0 22923066 11927552 2488 1992294400 134512640 135752675 4294269104 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 2912 2488 145 303 0 2607 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11648

[startup+6.30085 s]
/proc/loadavg: 0.93 0.97 0.65 2/107 26624
/proc/meminfo: memFree=1914388/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=19368 CPUtime=6.29
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 4485 0 0 0 619 10 0 0 25 0 1 0 22923066 19832832 4395 1992294400 134512640 135752675 4294269104 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 4842 4395 145 303 0 4537 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19368

[startup+12.7005 s]
/proc/loadavg: 0.94 0.97 0.65 2/107 26624
/proc/meminfo: memFree=1898516/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=34684 CPUtime=12.68
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 8335 0 0 0 1247 21 0 0 25 0 1 0 22923066 35516416 8245 1992294400 134512640 135752675 4294269104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 8671 8245 145 303 0 8366 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34684

[startup+25.5017 s]
/proc/loadavg: 0.95 0.97 0.66 2/107 26624
/proc/meminfo: memFree=1869376/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=63140 CPUtime=25.49
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 15430 0 0 0 2506 43 0 0 25 0 1 0 22923066 64655360 15340 1992294400 134512640 135752675 4294269104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 15785 15340 145 303 0 15480 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 63140

[startup+51.1013 s]
/proc/loadavg: 0.97 0.97 0.66 2/107 26626
/proc/meminfo: memFree=1833664/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=99436 CPUtime=51.08
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 24518 0 0 0 5031 77 0 0 25 0 1 0 22923066 101822464 24428 1992294400 134512640 135752675 4294269104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 24859 24428 145 303 0 24554 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 99436

[startup+102.308 s]
/proc/loadavg: 0.98 0.97 0.68 2/107 26626
/proc/meminfo: memFree=1771788/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=160360 CPUtime=102.28
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 39654 0 0 0 10087 141 0 0 25 0 1 0 22923066 164208640 39564 1992294400 134512640 135752675 4294269104 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 40090 39564 145 303 0 39785 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 160360

[startup+162.301 s]
/proc/loadavg: 1.07 0.99 0.70 2/107 26637
/proc/meminfo: memFree=1708076/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=223120 CPUtime=162.25
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 55308 0 0 0 16017 208 0 0 25 0 1 0 22923066 228474880 55218 1992294400 134512640 135752675 4294269104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 55780 55218 145 303 0 55475 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 223120

[startup+222.301 s]
/proc/loadavg: 1.02 0.99 0.72 2/107 26639
/proc/meminfo: memFree=1663312/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=266736 CPUtime=222.23
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 66326 0 0 0 21952 271 0 0 25 0 1 0 22923066 273137664 66205 1992294400 134512640 135752675 4294269104 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 66684 66205 146 303 0 66379 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 266736

[startup+282.301 s]
/proc/loadavg: 1.01 0.99 0.73 2/107 26641
/proc/meminfo: memFree=1624872/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=305932 CPUtime=282.22
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 76067 0 0 0 27898 324 0 0 25 0 1 0 22923066 313274368 75946 1992294400 134512640 135752675 4294269104 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 76483 75946 146 303 0 76178 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 305932

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.75 2/107 26643
/proc/meminfo: memFree=1593004/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=337324 CPUtime=342.21
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 83902 0 0 0 33852 369 0 0 25 0 1 0 22923066 345419776 83781 1992294400 134512640 135752675 4294269104 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 84331 83781 146 303 0 84026 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 337324

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.76 2/107 26643
/proc/meminfo: memFree=1564112/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=366484 CPUtime=402.19
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 91157 0 0 0 39805 414 0 0 25 0 1 0 22923066 375279616 91036 1992294400 134512640 135752675 4294269104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 91621 91036 146 303 0 91316 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 366484

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.77 2/107 26645
/proc/meminfo: memFree=1528152/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=402184 CPUtime=462.18
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 100068 0 0 0 45750 468 0 0 25 0 1 0 22923066 411836416 99947 1992294400 134512640 135752675 4294269104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 100546 99947 146 303 0 100241 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 402184

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.78 2/107 26647
/proc/meminfo: memFree=1492564/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=438380 CPUtime=522.16
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 109077 0 0 0 51702 514 0 0 25 0 1 0 22923066 448901120 108956 1992294400 134512640 135752675 4294269104 18446744073709551615 134607284 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 109595 108956 146 303 0 109290 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 438380

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.79 2/107 26649
/proc/meminfo: memFree=1456604/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=474008 CPUtime=582.15
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 117983 0 0 0 57651 564 0 0 25 0 1 0 22923066 485384192 117862 1992294400 134512640 135752675 4294269104 18446744073709551615 134638140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 118502 117862 146 303 0 118197 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 474008

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.80 2/107 26651
/proc/meminfo: memFree=1423372/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=506768 CPUtime=642.13
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 126154 0 0 0 63609 604 0 0 25 0 1 0 22923066 518930432 126033 1992294400 134512640 135752675 4294269104 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 126692 126033 146 303 0 126387 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 506768

[startup+702.302 s]
/proc/loadavg: 1.00 0.99 0.82 2/107 26651
/proc/meminfo: memFree=1394728/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=535784 CPUtime=702.12
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 133402 0 0 0 69566 646 0 0 25 0 1 0 22923066 548642816 133281 1992294400 134512640 135752675 4294269104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 133946 133281 146 303 0 133641 0
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (KiB) 535784

[startup+762.309 s]
/proc/loadavg: 1.00 0.99 0.82 2/107 26653
/proc/meminfo: memFree=1361744/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=568452 CPUtime=762.11
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 141550 0 0 0 75524 687 0 0 25 0 1 0 22923066 582094848 141429 1992294400 134512640 135752675 4294269104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 142113 141429 146 303 0 141808 0
Current children cumulated CPU time (s) 762.11
Current children cumulated vsize (KiB) 568452

[startup+822.301 s]
/proc/loadavg: 1.00 0.99 0.83 2/107 26655
/proc/meminfo: memFree=1334464/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=595904 CPUtime=822.08
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 148394 0 0 0 81483 725 0 0 25 0 1 0 22923066 610205696 148273 1992294400 134512640 135752675 4294269104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 148976 148273 146 303 0 148671 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 595904

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.83 2/107 26657
/proc/meminfo: memFree=1306564/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=623768 CPUtime=882.07
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 155334 0 0 0 87443 764 0 0 25 0 1 0 22923066 638738432 155213 1992294400 134512640 135752675 4294269104 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 155942 155213 146 303 0 155637 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 623768

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.84 2/107 26659
/proc/meminfo: memFree=1278044/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=652476 CPUtime=942.05
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 162499 0 0 0 93401 804 0 0 25 0 1 0 22923066 668135424 162378 1992294400 134512640 135752675 4294269104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 163119 162378 146 303 0 162814 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 652476

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.85 2/107 26659
/proc/meminfo: memFree=1247416/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=682600 CPUtime=1002.04
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 170047 0 0 0 99354 850 0 0 25 0 1 0 22923066 698982400 169926 1992294400 134512640 135752675 4294269104 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 170650 169926 146 303 0 170345 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 682600

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.85 2/107 26661
/proc/meminfo: memFree=1220136/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=710160 CPUtime=1062.02
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 176899 0 0 0 105313 889 0 0 25 0 1 0 22923066 727203840 176778 1992294400 134512640 135752675 4294269104 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 177540 176778 146 303 0 177235 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 710160

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.86 2/107 26663
/proc/meminfo: memFree=1192608/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=737588 CPUtime=1122.01
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 183733 0 0 0 111271 930 0 0 25 0 1 0 22923066 755290112 183612 1992294400 134512640 135752675 4294269104 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 184397 183612 146 303 0 184092 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 737588

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.86 2/107 26665
/proc/meminfo: memFree=1164212/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=766216 CPUtime=1181.99
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 190855 0 0 0 117229 970 0 0 25 0 1 0 22923066 784605184 190734 1992294400 134512640 135752675 4294269104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 191554 190734 146 303 0 191249 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 766216

[startup+1242.3 s]
/proc/loadavg: 1.06 1.00 0.88 2/107 26670
/proc/meminfo: memFree=1095052/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=789180 CPUtime=1241.98
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 196611 0 0 0 123195 1003 0 0 25 0 1 0 22923066 808120320 196490 1992294400 134512640 135752675 4294269104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 197295 196490 146 303 0 196990 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 789180

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

[startup+1254.3 s]
/proc/loadavg: 1.05 1.00 0.88 2/107 26670
/proc/meminfo: memFree=1092696/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=791424 CPUtime=1253.98
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 197173 0 0 0 124391 1007 0 0 25 0 1 0 22923066 810418176 197052 1992294400 134512640 135752675 4294269104 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 197856 197052 146 303 0 197551 0
Current children cumulated CPU time (s) 1253.98
Current children cumulated vsize (KiB) 791424

[startup+1267.1 s]
/proc/loadavg: 1.04 1.00 0.88 2/107 26670
/proc/meminfo: memFree=1087736/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=796440 CPUtime=1266.77
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 198424 0 0 0 125664 1013 0 0 25 0 1 0 22923066 815554560 198303 1992294400 134512640 135752675 4294269104 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 199110 198303 146 303 0 198805 0
Current children cumulated CPU time (s) 1266.77
Current children cumulated vsize (KiB) 796440

[startup+1279.9 s]
/proc/loadavg: 1.03 1.00 0.88 2/107 26670
/proc/meminfo: memFree=1084388/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=800664 CPUtime=1279.57
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 199471 0 0 0 126934 1023 0 0 25 0 1 0 22923066 819879936 199350 1992294400 134512640 135752675 4294269104 18446744073709551615 134611597 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 200166 199350 146 303 0 199861 0
Current children cumulated CPU time (s) 1279.57
Current children cumulated vsize (KiB) 800664

[startup+1286.3 s]
/proc/loadavg: 1.03 1.00 0.88 2/107 26670
/proc/meminfo: memFree=1080048/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=804756 CPUtime=1285.96
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 200512 0 0 0 127568 1028 0 0 25 0 1 0 22923066 824070144 200391 1992294400 134512640 135752675 4294269104 18446744073709551615 135211752 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 201189 200391 146 303 0 200884 0
Current children cumulated CPU time (s) 1285.96
Current children cumulated vsize (KiB) 804756

[startup+1289.5 s]
/proc/loadavg: 1.03 1.00 0.88 2/107 26670
/proc/meminfo: memFree=1078312/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=805568 CPUtime=1289.17
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 200784 0 0 0 127886 1031 0 0 25 0 1 0 22923066 824901632 200619 1992294400 134512640 135752675 4294269104 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 201392 200619 146 303 0 201087 0
Current children cumulated CPU time (s) 1289.17
Current children cumulated vsize (KiB) 805568

[startup+1291.1 s]
/proc/loadavg: 1.02 1.00 0.88 2/107 26670
/proc/meminfo: memFree=1078312/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=805568 CPUtime=1290.77
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 200808 0 0 0 128043 1034 0 0 25 0 1 0 22923066 824901632 200643 1992294400 134512640 135752675 4294269104 18446744073709551615 135204801 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 201392 200643 146 303 0 201087 0
Current children cumulated CPU time (s) 1290.77
Current children cumulated vsize (KiB) 805568

[startup+1291.5 s]
/proc/loadavg: 1.02 1.00 0.88 2/107 26670
/proc/meminfo: memFree=1078312/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=805568 CPUtime=1291.17
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 200812 0 0 0 128083 1034 0 0 25 0 1 0 22923066 824901632 200647 1992294400 134512640 135752675 4294269104 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 201392 200647 146 303 0 201087 0
Current children cumulated CPU time (s) 1291.17
Current children cumulated vsize (KiB) 805568

[startup+1291.9 s]
/proc/loadavg: 1.02 1.00 0.88 2/107 26670
/proc/meminfo: memFree=1078312/2059040 swapFree=4139620/4192956
[pid=26623] ppid=26621 vsize=805568 CPUtime=1291.56
/proc/26623/stat : 26623 (wbo1.4b) R 26621 26623 25669 0 -1 4202496 200820 0 0 0 128122 1034 0 0 25 0 1 0 22923066 824901632 200655 1992294400 134512640 135752675 4294269104 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26623/statm: 201392 200655 146 303 0 201087 0
Current children cumulated CPU time (s) 1291.56
Current children cumulated vsize (KiB) 805568

Child status: 0
Real time (s): 1292
CPU time (s): 1291.67
CPU user time (s): 1281.24
CPU system time (s): 10.4274
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 805812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1281.24
system time used= 10.4274
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200821
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= 4
involuntary context switches= 2019

runsolver used 2.12568 second user time and 6.12107 second system time

The end

Launcher Data 

Begin job on node012 at 2010-07-08 01:58:20
IDJOB=2702245
IDBENCH=48057
IDSOLVER=1190
FILE ID=node012/2702245-1278547100
PBS_JOBID= 11239519
Free space on /tmp= 62484 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=347-P1=127-P2=53-P3=293-P4=199-P5=107-B.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-2702245-1278547100/watcher-2702245-1278547100 -o /tmp/evaluation-result-2702245-1278547100/solver-2702245-1278547100 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702245-1278547100.opb

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

MD5SUM BENCH= ea08c66c9e8e41f4a763233d2f14489d
RANDOM SEED=1322399927

node012.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.248
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.49
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.248
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1930424 kB
Buffers:          4324 kB
Cached:          38304 kB
SwapCached:       4528 kB
Active:          44828 kB
Inactive:         9356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1930424 kB
SwapTotal:     4192956 kB
SwapFree:      4139620 kB
Dirty:            2884 kB
Writeback:           0 kB
AnonPages:       11468 kB
Mapped:          12356 kB
Slab:            52608 kB
PageTables:       4160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181708 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-2702245-1278547100.opb

Free space on /tmp at the end= 62480 MiB
End job on node012 at 2010-07-08 02:19:53