Trace number 2702244

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.4bOPT3 1299.09 1299.44

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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2702244-1278547100.opb.
0.00/0.00	c Instance file HOME/instance-2702244-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.01         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.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	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.03	c |       252 |     540      826     3456 |     6050      252     83 |  0.004 % |
0.00/0.04	c |       477 |     540      826     3456 |     6655      477     71 |  0.000 % |
0.06/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.78/0.84	c |      7493 |     540      826     3456 |    11789     7493     63 |  0.000 % |
1.29/1.39	c |     11338 |     540      826     3456 |    12968    11338     70 |  0.000 % |
1.99/2.09	c |     17105 |     540      826     3456 |    14265    10579     63 |  0.004 % |
2.38/2.43	c ===============================================================================
2.38/2.43	c New solution: 129
2.38/2.43	o 129
2.38/2.43	c Elapsed CPU time: 2.37764 s	Remaining CPU time: 177.622 s
2.38/2.43	c ===============================================================================
2.38/2.43	c |     20291 |     540      827     3465 |     5000    13765     64 |  0.004 % |
2.38/2.49	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.98/3.07	c |     25223 |     529      827     3465 |    10717     8374     62 |  2.037 % |
3.38/3.45	c |     27785 |     529      827     3465 |    11789     5537     49 |  2.037 % |
3.79/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.85	c |     46045 |     529      827     3465 |    15692     9758     54 |  2.037 % |
5.99/6.08	c ===============================================================================
5.99/6.08	c New solution: 27
5.99/6.08	o 27
5.99/6.08	c Elapsed CPU time: 5.96009 s	Remaining CPU time: 174.04 s
5.99/6.08	c ===============================================================================
5.99/6.08	c |     47525 |     529      828     3474 |     5000    11238     55 |  2.037 % |
6.09/6.12	c |     47626 |     499      828     3474 |     5500     2911     55 |  8.148 % |
6.09/6.14	c |     47777 |     496      828     3474 |     6050     3062     56 |  8.152 % |
6.09/6.17	c |     48003 |     496      828     3474 |     6655     3288     58 |  8.152 % |
6.19/6.20	c |     48341 |     496      828     3474 |     7320     3626     60 |  8.152 % |
6.19/6.26	c |     48849 |     496      828     3474 |     8052     4134     60 |  8.148 % |
6.29/6.35	c |     49609 |     496      828     3474 |     8857     4894     60 |  8.148 % |
6.38/6.49	c |     50748 |     496      828     3474 |     9743     6033     61 |  8.152 % |
6.60/6.67	c |     52456 |     496      828     3474 |    10717     7741     62 |  8.148 % |
6.98/7.05	c |     55019 |     496      828     3474 |    11789    10304     62 |  8.148 % |
7.48/7.57	c |     58864 |     496      828     3474 |    12968     8157     58 |  8.148 % |
8.19/8.26	c |     64631 |     496      828     3474 |    14265     7264     59 |  8.148 % |
9.38/9.43	c |     73281 |     496      828     3474 |    15692     8627     56 |  8.148 % |
11.28/11.30	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.39/15.47	c ===============================================================================
15.39/15.47	c New solution: 9
15.39/15.47	o 9
15.39/15.47	c Elapsed CPU time: 15.1677 s	Remaining CPU time: 164.832 s
15.39/15.47	c ===============================================================================
15.39/15.47	c |    110934 |     496      829     3483 |     5000    10836     54 |  8.148 % |
15.49/15.54	c |    111035 |     485      829     3483 |     5500     2810     56 | 10.189 % |
15.49/15.55	c |    111186 |     485      829     3483 |     6050     2961     57 | 10.186 % |
15.49/15.57	c |    111412 |     485      829     3483 |     6655     3187     57 | 10.186 % |
15.59/15.60	c |    111749 |     485      829     3483 |     7320     3524     57 | 10.186 % |
15.59/15.66	c |    112256 |     485      829     3483 |     8052     4031     58 | 10.186 % |
15.69/15.75	c |    113017 |     485      829     3483 |     8857     4792     59 | 10.189 % |
15.88/15.90	c |    114157 |     485      829     3483 |     9743     5932     59 | 10.186 % |
16.09/16.11	c |    115866 |     485      829     3483 |    10717     7641     61 | 10.186 % |
16.49/16.52	c |    118429 |     485      829     3483 |    11789    10204     59 | 10.186 % |
17.08/17.11	c |    122273 |     485      829     3483 |    12968     7905     67 | 10.186 % |
17.98/18.07	c |    128040 |     485      829     3483 |    14265     6970     83 | 10.186 % |
19.38/19.46	c |    136691 |     485      829     3483 |    15692     8367     57 | 10.189 % |
21.28/21.38	c |    149666 |     485      829     3483 |    17261    13256     66 | 10.186 % |
24.19/24.22	c |    169128 |     485      829     3483 |    18987    14952     79 | 10.186 % |
29.88/29.97	c |    198320 |     485      829     3483 |    20886    15168     60 | 10.189 % |
40.59/40.70	c |    242112 |     485      829     3483 |    22974    16276     68 | 10.186 % |
54.38/54.48	c |    307797 |     485      829     3483 |    25272    20342     64 | 10.186 % |
78.27/78.32	c |    406323 |     485      829     3483 |    27799    16938     49 | 10.186 % |
118.96/119.05	c |    554112 |     485      829     3483 |    30579    14217     40 | 10.186 % |
139.65/139.79	c ===============================================================================
139.65/139.79	c New solution: 5
139.65/139.79	o 5
139.65/139.79	c Elapsed CPU time: 138.014 s	Remaining CPU time: 41.986 s
139.65/139.79	c ===============================================================================
139.65/139.79	c |    625124 |     484      830     3492 |     5000    26603     47 | 10.186 % |
139.95/140.05	c |    625224 |     473      830     3492 |     5500     2875     72 | 12.408 % |
139.95/140.06	c |    625375 |     473      830     3492 |     6050     3026     73 | 12.408 % |
139.95/140.08	c |    625601 |     473      830     3492 |     6655     3252     73 | 12.408 % |
140.05/140.12	c |    625938 |     473      830     3492 |     7320     3589     73 | 12.408 % |
140.05/140.19	c |    626445 |     473      830     3492 |     8052     4096     72 | 12.408 % |
140.15/140.29	c |    627204 |     473      830     3492 |     8857     4855     71 | 12.408 % |
140.36/140.44	c |    628344 |     473      830     3492 |     9743     5995     71 | 12.408 % |
140.66/140.73	c |    630053 |     473      830     3492 |    10717     7704     72 | 12.408 % |
140.95/141.06	c |    632616 |     473      830     3492 |    11789    10267     70 | 12.408 % |
141.76/141.84	c |    636460 |     473      830     3492 |    12968     8027     72 | 12.408 % |
143.25/143.38	c |    642227 |     473      830     3492 |    14265     7230     54 | 12.408 % |
144.75/144.84	c |    650876 |     473      830     3492 |    15692     8513     65 | 12.408 % |
146.45/146.59	c |    663852 |     473      830     3492 |    17261    13402     50 | 12.408 % |
149.65/149.75	c |    683315 |     473      830     3492 |    18987    15365     41 | 12.408 % |
158.95/159.07	c |    712507 |     473      830     3492 |    20886    15795     47 | 12.408 % |
169.73/169.81	c |    756297 |     473      830     3492 |    22974    16939     60 | 12.408 % |
182.23/182.31	c There are 67 assigned variables. 6 in cost function.
182.93/183.04	c core #1
182.93/183.04	c core #2
182.93/183.04	c ============================[ Search Statistics ]==============================
182.93/183.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.93/183.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.93/183.05	c ===============================================================================
182.93/183.05	c |         0 |     450      795     2968 |     5000        0    nan |  0.000 % |
182.93/183.05	c |       100 |     450      795     2968 |     5500      100     92 | 17.432 % |
182.93/183.07	c |       251 |     450      795     2968 |     6050      251     89 | 17.435 % |
182.93/183.09	c |       476 |     450      795     2968 |     6655      476     82 | 17.432 % |
183.03/183.13	c |       818 |     450      795     2968 |     7320      818     78 | 17.435 % |
183.03/183.19	c |      1324 |     450      795     2968 |     8052     1324     73 | 17.435 % |
183.12/183.29	c |      2084 |     450      795     2968 |     8857     2084     75 | 17.432 % |
183.33/183.46	c |      3223 |     450      795     2968 |     9743     3223     70 | 17.432 % |
183.53/183.66	c |      4934 |     450      795     2968 |    10717     4934     65 | 17.432 % |
183.93/184.07	c |      7499 |     450      795     2968 |    11789     7499     65 | 17.432 % |
184.73/184.88	c |     11343 |     450      795     2968 |    12968    11343     62 | 17.432 % |
186.63/186.76	c |     17109 |     450      795     2968 |    14265    10424     65 | 17.432 % |
187.93/188.04	c |     25759 |     450      795     2968 |    15692    11707     67 | 17.435 % |
190.52/190.68	c |     38734 |     450      795     2968 |    17261     8595     63 | 17.432 % |
197.12/197.27	c |     58195 |     450      795     2968 |    18987    10486     43 | 17.432 % |
207.92/208.08	c |     87387 |     450      795     2968 |    20886    10826     41 | 17.432 % |
220.02/220.17	c |    131176 |     450      795     2968 |    22974    11942     40 | 17.432 % |
246.41/246.58	c |    196861 |     450      795     2968 |    25272    15864     58 | 17.432 % |
280.20/280.35	c |    295390 |     450      795     2968 |    27799    12230     58 | 17.432 % |
338.28/338.43	c |    443179 |     449      795     2968 |    30579    24172     60 | 17.615 % |
425.06/425.24	c |    664863 |     449      795     2968 |    33637    12267     38 | 17.615 % |
553.73/553.90	c |    997390 |     449      795     2968 |    37001    31462     53 | 17.615 % |
811.48/811.77	c |   1496179 |     449      795     2968 |    40701    15652     34 | 17.615 % |
1180.37/1180.75	c |   2244361 |     447      795     2968 |    44771    26329     39 | 17.982 % |
1294.15/1294.59	c ===============================================================================
1296.05/1296.46	c core #3
1296.05/1296.46	c ============================[ Search Statistics ]==============================
1296.05/1296.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1296.05/1296.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1296.05/1296.46	c ===============================================================================
1296.05/1296.46	c |         0 |     467      797     2975 |     5000        0    nan |  0.000 % |
1296.45/1296.87	c |       101 |     467      797     2975 |     5500      101     85 | 14.785 % |
1296.45/1296.88	c |       251 |     467      797     2975 |     6050      251     87 | 14.784 % |
1296.45/1296.90	c |       477 |     467      797     2975 |     6655      477     83 | 14.781 % |
1296.55/1296.93	c |       815 |     467      797     2975 |     7320      815     81 | 14.781 % |
1296.55/1296.97	c |      1322 |     467      797     2975 |     8052     1322     83 | 14.781 % |
1296.64/1297.04	c |      2081 |     467      797     2975 |     8857     2081     82 | 14.784 % |
1296.85/1297.21	c |      3221 |     467      797     2975 |     9743     3221     74 | 14.781 % |
1297.05/1297.46	c |      4930 |     467      797     2975 |    10717     4930     75 | 14.781 % |
1297.34/1297.77	c |      7492 |     467      797     2975 |    11789     7492     73 | 14.781 % |
1298.35/1298.70	c |     11336 |     467      797     2975 |    12968    11336     72 | 14.781 % |
1298.95/1299.36	c ===============================================================================
1298.95/1299.36	c #cores: 3
1298.95/1299.36	c Final Weight: 3
1298.95/1299.36	o 3
1298.95/1299.36	s OPTIMUM FOUND
1298.95/1299.36	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
1298.95/1299.36	c Total CPU time: 1288.98 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-2702244-1278547100/watcher-2702244-1278547100 -o /tmp/evaluation-result-2702244-1278547100/solver-2702244-1278547100 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702244-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.99 0.92 0.58 3/106 27935
/proc/meminfo: memFree=1699196/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=2600 CPUtime=0
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 298 0 0 0 0 0 0 0 19 0 1 0 22917826 2662400 216 1992294400 134512640 135751879 4289307568 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 650 216 141 303 0 337 0

[startup+0.0673149 s]
/proc/loadavg: 0.99 0.92 0.58 3/106 27935
/proc/meminfo: memFree=1699196/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=2960 CPUtime=0.06
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 388 0 0 0 6 0 0 0 20 0 1 0 22917826 3031040 298 1992294400 134512640 135751879 4289307568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 740 298 147 303 0 435 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2960

[startup+0.101319 s]
/proc/loadavg: 0.99 0.92 0.58 3/106 27935
/proc/meminfo: memFree=1699196/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=3088 CPUtime=0.09
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 423 0 0 0 9 0 0 0 20 0 1 0 22917826 3162112 333 1992294400 134512640 135751879 4289307568 18446744073709551615 134606476 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 772 333 147 303 0 467 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3088

[startup+0.301339 s]
/proc/loadavg: 0.99 0.92 0.58 3/106 27935
/proc/meminfo: memFree=1699196/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=3740 CPUtime=0.29
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 599 0 0 0 29 0 0 0 20 0 1 0 22917826 3829760 509 1992294400 134512640 135751879 4289307568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 935 509 147 303 0 630 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3740

[startup+0.701377 s]
/proc/loadavg: 0.99 0.92 0.58 3/106 27935
/proc/meminfo: memFree=1699196/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=4900 CPUtime=0.69
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 894 0 0 0 68 1 0 0 20 0 1 0 22917826 5017600 804 1992294400 134512640 135751879 4289307568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 1225 805 147 303 0 920 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4900

[startup+1.50146 s]
/proc/loadavg: 0.99 0.92 0.58 2/107 27936
/proc/meminfo: memFree=1695716/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=7400 CPUtime=1.49
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 1519 0 0 0 146 3 0 0 22 0 1 0 22917826 7577600 1429 1992294400 134512640 135751879 4289307568 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 1850 1429 147 303 0 1545 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7400

[startup+3.10061 s]
/proc/loadavg: 0.99 0.92 0.58 2/107 27936
/proc/meminfo: memFree=1692864/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=11640 CPUtime=3.09
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 2581 0 0 0 303 6 0 0 25 0 1 0 22917826 11919360 2491 1992294400 134512640 135751879 4289307568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 2910 2491 148 303 0 2605 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11640

[startup+6.30093 s]
/proc/loadavg: 1.07 0.94 0.58 2/107 27936
/proc/meminfo: memFree=1683936/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=19252 CPUtime=6.29
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 4481 0 0 0 617 12 0 0 25 0 1 0 22917826 19714048 4391 1992294400 134512640 135751879 4289307568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 4813 4392 148 303 0 4508 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19252

[startup+12.7006 s]
/proc/loadavg: 1.07 0.94 0.59 2/107 27938
/proc/meminfo: memFree=1668064/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=34740 CPUtime=12.69
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 8332 0 0 0 1243 26 0 0 25 0 1 0 22917826 35573760 8242 1992294400 134512640 135751879 4289307568 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 8685 8242 148 303 0 8380 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34740

[startup+25.5008 s]
/proc/loadavg: 1.05 0.94 0.59 2/107 27938
/proc/meminfo: memFree=1638924/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=63024 CPUtime=25.48
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 15418 0 0 0 2500 48 0 0 25 0 1 0 22917826 64536576 15328 1992294400 134512640 135751879 4289307568 18446744073709551615 134606038 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 15756 15328 148 303 0 15451 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 63024

[startup+51.1013 s]
/proc/loadavg: 1.03 0.95 0.60 2/107 27938
/proc/meminfo: memFree=1602964/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=99556 CPUtime=51.07
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 24522 0 0 0 5028 79 0 0 25 0 1 0 22917826 101945344 24432 1992294400 134512640 135751879 4289307568 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 24889 24432 148 303 0 24584 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 99556

[startup+102.308 s]
/proc/loadavg: 1.01 0.95 0.62 2/107 27940
/proc/meminfo: memFree=1541460/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=159956 CPUtime=102.27
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 39567 0 0 0 10090 137 0 0 25 0 1 0 22917826 163794944 39477 1992294400 134512640 135751879 4289307568 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 39989 39477 148 303 0 39684 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 159956

[startup+162.301 s]
/proc/loadavg: 1.00 0.96 0.64 2/107 27951
/proc/meminfo: memFree=1481056/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=221316 CPUtime=162.23
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 54858 0 0 0 16020 203 0 0 25 0 1 0 22917826 226627584 54768 1992294400 134512640 135751879 4289307568 18446744073709551615 135209062 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 55329 54768 148 303 0 55024 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 221316

[startup+222.301 s]
/proc/loadavg: 1.00 0.96 0.66 2/107 27951
/proc/meminfo: memFree=1437796/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=263160 CPUtime=222.22
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 65429 0 0 0 21957 265 0 0 25 0 1 0 22917826 269475840 65308 1992294400 134512640 135751879 4289307568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 65790 65308 151 303 0 65485 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 263160

[startup+282.301 s]
/proc/loadavg: 1.00 0.97 0.68 2/107 27953
/proc/meminfo: memFree=1399728/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=302044 CPUtime=282.2
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 75097 0 0 0 27907 313 0 0 25 0 1 0 22917826 309293056 74976 1992294400 134512640 135751879 4289307568 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 75511 74976 151 303 0 75206 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 302044

[startup+342.301 s]
/proc/loadavg: 1.00 0.97 0.70 2/107 27955
/proc/meminfo: memFree=1367488/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=333852 CPUtime=342.18
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 83007 0 0 0 33861 357 0 0 25 0 1 0 22917826 341864448 82886 1992294400 134512640 135751879 4289307568 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 83463 82886 151 303 0 83158 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 333852

[startup+402.302 s]
/proc/loadavg: 1.00 0.97 0.71 2/107 27957
/proc/meminfo: memFree=1338720/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=362632 CPUtime=402.17
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 90175 0 0 0 39812 405 0 0 25 0 1 0 22917826 371335168 90054 1992294400 134512640 135751879 4289307568 18446744073709551615 134602936 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 90658 90054 151 303 0 90353 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 362632

[startup+462.302 s]
/proc/loadavg: 1.00 0.97 0.73 2/107 27959
/proc/meminfo: memFree=1302264/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=398816 CPUtime=462.16
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 99234 0 0 0 45762 454 0 0 25 0 1 0 22917826 408387584 99113 1992294400 134512640 135751879 4289307568 18446744073709551615 134616374 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 99704 99113 151 303 0 99399 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 398816

[startup+522.302 s]
/proc/loadavg: 1.00 0.97 0.74 2/107 27959
/proc/meminfo: memFree=1268164/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=433696 CPUtime=522.14
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 107928 0 0 0 51715 499 0 0 25 0 1 0 22917826 444104704 107807 1992294400 134512640 135751879 4289307568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 108424 107807 151 303 0 108119 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 433696

[startup+582.301 s]
/proc/loadavg: 1.00 0.97 0.75 2/107 27961
/proc/meminfo: memFree=1230840/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=470244 CPUtime=582.13
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 117040 0 0 0 57669 544 0 0 25 0 1 0 22917826 481529856 116919 1992294400 134512640 135751879 4289307568 18446744073709551615 134602933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 117561 116919 151 303 0 117256 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 470244

[startup+642.301 s]
/proc/loadavg: 1.00 0.97 0.76 2/107 27963
/proc/meminfo: memFree=1197484/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=503268 CPUtime=642.12
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 125306 0 0 0 63628 584 0 0 25 0 1 0 22917826 515346432 125185 1992294400 134512640 135751879 4289307568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 125817 125185 151 303 0 125512 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 503268

[startup+702.301 s]

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

/proc/meminfo: memFree=1170204/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=530968 CPUtime=702.1
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 132206 0 0 0 69586 624 0 0 25 0 1 0 22917826 543711232 132085 1992294400 134512640 135751879 4289307568 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 132742 132085 151 303 0 132437 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 530968

[startup+762.309 s]
/proc/loadavg: 1.00 0.97 0.79 2/107 27967
/proc/meminfo: memFree=1137220/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=563356 CPUtime=762.09
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 140306 0 0 0 75543 666 0 0 25 0 1 0 22917826 576876544 140185 1992294400 134512640 135751879 4289307568 18446744073709551615 134606399 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 140839 140185 151 303 0 140534 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 563356

[startup+822.301 s]
/proc/loadavg: 1.00 0.97 0.80 2/107 27967
/proc/meminfo: memFree=1109320/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=591876 CPUtime=822.06
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 147374 0 0 0 81507 699 0 0 25 0 1 0 22917826 606081024 147253 1992294400 134512640 135751879 4289307568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 147969 147253 151 303 0 147664 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 591876

[startup+882.302 s]
/proc/loadavg: 1.00 0.97 0.81 2/107 27969
/proc/meminfo: memFree=1082784/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=618148 CPUtime=882.05
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 153941 0 0 0 87469 736 0 0 25 0 1 0 22917826 632983552 153820 1992294400 134512640 135751879 4289307568 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 154537 153820 151 303 0 154232 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 618148

[startup+942.302 s]
/proc/loadavg: 1.00 0.97 0.82 2/107 27971
/proc/meminfo: memFree=1054760/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=646712 CPUtime=942.04
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 161080 0 0 0 93426 778 0 0 25 0 1 0 22917826 662233088 160959 1992294400 134512640 135751879 4289307568 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 161678 160959 151 303 0 161373 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 646712

[startup+1002.3 s]
/proc/loadavg: 1.00 0.97 0.83 2/107 27973
/proc/meminfo: memFree=1023388/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=677492 CPUtime=1002.02
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 168763 0 0 0 99382 820 0 0 25 0 1 0 22917826 693751808 168642 1992294400 134512640 135751879 4289307568 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 169373 168642 151 303 0 169068 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 677492

[startup+1062.3 s]
/proc/loadavg: 1.00 0.97 0.83 3/107 27975
/proc/meminfo: memFree=995860/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=705180 CPUtime=1062.01
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 175669 0 0 0 105346 855 0 0 25 0 1 0 22917826 722104320 175548 1992294400 134512640 135751879 4289307568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 176295 175548 151 303 0 175990 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 705180

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.84 2/107 27975
/proc/meminfo: memFree=968456/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=732600 CPUtime=1121.99
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 182472 0 0 0 111306 893 0 0 25 0 1 0 22917826 750182400 182351 1992294400 134512640 135751879 4289307568 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 183150 182351 151 303 0 182845 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 732600

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.84 2/107 27977
/proc/meminfo: memFree=940556/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=760608 CPUtime=1181.98
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 189466 0 0 0 117263 935 0 0 25 0 1 0 22917826 778862592 189345 1992294400 134512640 135751879 4289307568 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 190152 189345 151 303 0 189847 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 760608

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/107 27979
/proc/meminfo: memFree=916252/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=784496 CPUtime=1241.96
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 195426 0 0 0 123228 968 0 0 25 0 1 0 22917826 803323904 195305 1992294400 134512640 135751879 4289307568 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 196124 195305 151 303 0 195819 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 784496

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

[startup+1254.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/107 27979
/proc/meminfo: memFree=913152/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=787400 CPUtime=1253.96
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 196146 0 0 0 124423 973 0 0 25 0 1 0 22917826 806297600 196025 1992294400 134512640 135751879 4289307568 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 196850 196025 151 303 0 196545 0
Current children cumulated CPU time (s) 1253.96
Current children cumulated vsize (KiB) 787400

[startup+1279.9 s]
/proc/loadavg: 1.00 0.97 0.85 2/107 27981
/proc/meminfo: memFree=905216/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=794924 CPUtime=1279.55
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 198049 0 0 0 126969 986 0 0 25 0 1 0 22917826 814002176 197928 1992294400 134512640 135751879 4289307568 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 198731 197928 151 303 0 198426 0
Current children cumulated CPU time (s) 1279.55
Current children cumulated vsize (KiB) 794924

[startup+1292.7 s]
/proc/loadavg: 1.00 0.97 0.85 2/107 27984
/proc/meminfo: memFree=899388/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=800600 CPUtime=1292.35
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 199450 0 0 0 128238 997 0 0 25 0 1 0 22917826 819814400 199329 1992294400 134512640 135751879 4289307568 18446744073709551615 134602986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 200150 199329 151 303 0 199845 0
Current children cumulated CPU time (s) 1292.35
Current children cumulated vsize (KiB) 800600

[startup+1295.9 s]
/proc/loadavg: 1.00 0.97 0.86 2/107 27984
/proc/meminfo: memFree=897032/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=802844 CPUtime=1295.55
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 200038 0 0 0 128555 1000 0 0 25 0 1 0 22917826 822112256 199917 1992294400 134512640 135751879 4289307568 18446744073709551615 135200235 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 200711 199917 151 303 0 200406 0
Current children cumulated CPU time (s) 1295.55
Current children cumulated vsize (KiB) 802844

[startup+1297.5 s]
/proc/loadavg: 1.00 0.97 0.86 2/107 27984
/proc/meminfo: memFree=897032/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=802600 CPUtime=1297.14
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 200042 0 0 0 128713 1001 0 0 25 0 1 0 22917826 821862400 199877 1992294400 134512640 135751879 4289307568 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 200650 199877 151 303 0 200345 0
Current children cumulated CPU time (s) 1297.14
Current children cumulated vsize (KiB) 802600

[startup+1298.3 s]
/proc/loadavg: 1.00 0.97 0.86 2/107 27984
/proc/meminfo: memFree=897032/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=802600 CPUtime=1297.95
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 200061 0 0 0 128792 1003 0 0 25 0 1 0 22917826 821862400 199896 1992294400 134512640 135751879 4289307568 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 200650 199896 151 303 0 200345 0
Current children cumulated CPU time (s) 1297.95
Current children cumulated vsize (KiB) 802600

[startup+1299.11 s]
/proc/loadavg: 1.00 0.97 0.86 2/107 27984
/proc/meminfo: memFree=897032/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=802600 CPUtime=1298.75
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 200078 0 0 0 128872 1003 0 0 25 0 1 0 22917826 821862400 199913 1992294400 134512640 135751879 4289307568 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 200650 199913 151 303 0 200345 0
Current children cumulated CPU time (s) 1298.75
Current children cumulated vsize (KiB) 802600

[startup+1299.3 s]
/proc/loadavg: 1.00 0.97 0.86 2/107 27984
/proc/meminfo: memFree=897032/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=802600 CPUtime=1298.95
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202496 200084 0 0 0 128891 1004 0 0 25 0 1 0 22917826 821862400 199919 1992294400 134512640 135751879 4289307568 18446744073709551615 134602986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27935/statm: 200650 199919 151 303 0 200345 0
Current children cumulated CPU time (s) 1298.95
Current children cumulated vsize (KiB) 802600

[startup+1299.4 s]
/proc/loadavg: 1.00 0.97 0.86 2/107 27984
/proc/meminfo: memFree=897032/2059040 swapFree=4144756/4192956
[pid=27935] ppid=27933 vsize=0 CPUtime=1299.04
/proc/27935/stat : 27935 (wbo1.4b) R 27933 27935 27087 0 -1 4202500 200085 0 0 0 128897 1007 0 0 25 0 1 0 22917826 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/27935/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1299.04
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1299.44
CPU time (s): 1299.09
CPU user time (s): 1288.98
CPU system time (s): 10.1175
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 802844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1288.98
system time used= 10.1175
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200085
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 1026

runsolver used 2.06469 second user time and 6.22905 second system time

The end

Launcher Data 

Begin job on node036 at 2010-07-08 01:58:20
IDJOB=2702244
IDBENCH=48057
IDSOLVER=1161
FILE ID=node036/2702244-1278547100
PBS_JOBID= 11239503
Free space on /tmp= 62504 MiB

SOLVER NAME= wbo 1.4b
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-2702244-1278547100/watcher-2702244-1278547100 -o /tmp/evaluation-result-2702244-1278547100/solver-2702244-1278547100 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702244-1278547100.opb

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

MD5SUM BENCH= ea08c66c9e8e41f4a763233d2f14489d
RANDOM SEED=23435886

node036.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.244
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.48
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.244
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.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1700344 kB
Buffers:         60764 kB
Cached:         199668 kB
SwapCached:      11800 kB
Active:         139124 kB
Inactive:       144948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1700344 kB
SwapTotal:     4192956 kB
SwapFree:      4144756 kB
Dirty:            2624 kB
Writeback:           0 kB
AnonPages:       15292 kB
Mapped:          12004 kB
Slab:            52792 kB
PageTables:       4140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180292 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-2702244-1278547100.opb

Free space on /tmp at the end= 62500 MiB
End job on node036 at 2010-07-08 02:20:00