Trace number 1879971

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbSAT26366 1798.14 1798.66

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
MD5SUMf675f355e04fd5af6f49610fb88dbbd3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark25184
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24674
Optimality of the best value was proved NO
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 116904
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 116904
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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 bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1879971-1245146886.opb
0.00/0.00	c File size is 202954 bytes.
0.00/0.03	c Highest Coefficient sum: 116904
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.029 s
0.00/0.03	c Var: 540 Constr: 4626 2682/264/1680 Lit: 21888 Watch. Lit: 10776
0.00/0.03	c Obj. Vars: 180 (33.3333 % of total variables)
0.03/0.07	c Pre-processing Time: 0.069 s
0.03/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.07	c        0    540     4626    21888    4    14136   31514      0      0 0.07
0.03/0.07	c Switching off lower bounding mode.
0.09/0.11	c      102    540     4819    30883    6    15724   34666    193   1120 0.09
0.09/0.11	o 31277
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c      167    540     4939    39153    7    16897   31874    313   1464 0.11
0.09/0.13	o 30643
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c      204    540     5012    46559    9    18853   31874    386   1500 0.14
0.09/0.13	o 29929
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      204    540     5013    46739    9    18900   31874    387   1489 0.14
0.09/0.14	o 28952
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c      208    540     5022    47742    9    19339   31874    396   1475 0.14
0.29/0.39	c      308    540     5218    71196   13    22172   35062    592   1419 0.22
0.29/0.39	o 28600
9.58/9.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.58/9.68	c      477    540     5551   112799   20    26299   31874    925   1201 0.40
9.58/9.68	c      577    540     5740   140575   24    29034   35062   1114   1043 0.55
9.58/9.68	c      827    540     6216   199699   32    37962   38569   1590    803 1.03
9.58/9.68	c     1302    540     7137   341394   47    50795   42426   2511    570 2.28
9.58/9.68	c     2115    540     8709   581370   66    71391   46669   4083    400 5.28
9.58/9.68	o 28531
21.99/22.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.99/22.06	c     2915    540    10260   838656   81    94799   31874   5634    301 9.68
21.99/22.06	c     3015    540    10457   870597   83    94786   35062   5831    293 10.26
21.99/22.06	c     3265    540    10946   934443   85    96707   38569   6320    284 11.46
21.99/22.06	c     3741    540    11862  1086203   91   117668   42426   7236    258 14.46
21.99/22.06	c     4555    540    13463  1269243   94   119318   46669   8837    243 18.68
21.99/22.06	o 28193
23.18/23.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
23.18/23.23	c     5125    540    14594  1398404   95   114414   31874   9968    232 22.06
23.18/23.23	c     5225    540    14786  1428779   96   116321   35062  10160    228 22.91
23.18/23.23	o 27681
171.64/171.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
171.64/171.77	c     5259    540    14853  1438384   96   119279   31874  10227    226 23.23
171.64/171.77	c     5359    540    15053  1461405   97   118323   35062  10427    223 24.02
171.64/171.77	c     5609    540    15545  1522653   97   121087   38569  10919    217 25.81
171.64/171.77	c     6084    540    16476  1655121  100   135686   42426  11850    202 29.98
171.64/171.77	c     6897    540    18086  1906984  105   162176   46669  13460    175 39.20
171.64/171.77	c     8218    540    20667  2340403  113   198641   51336  16041    142 57.76
171.64/171.77	c    10299    540    24725  3079125  124   264232   56470  20099    104 98.28
171.64/171.77	c    13522    540    31065  4154171  133   340134   62118  26439     80 166.97
171.64/171.77	o 27668
244.92/245.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
244.92/245.07	c    13951    540    31914  4238789  132   304748   31874  27288     81 171.72
244.92/245.07	c    14053    540    32116  4260800  132   291221   35062  27490     80 173.88
244.92/245.07	c    14305    540    32611  4322711  132   293942   38569  27985     79 179.26
244.92/245.07	c    14780    540    33547  4434016  132   291563   42426  28921     77 190.08
244.92/245.07	c    15593    540    35142  4656403  132   304732   46669  30516     74 209.17
244.92/245.07	c    16913    540    37727  5060971  134   359575   51336  33101     69 242.41
244.92/245.07	o 27496
415.87/416.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
415.87/416.08	c    17020    540    37942  5092105  134   359005   31874  33316     69 245.00
415.87/416.08	c    17120    540    20760  2300632  110   197820   35062  16134     66 255.96
415.87/416.08	c    17370    540    21244  2383919  112   212887   38569  16618     66 259.71
415.87/416.08	c    17847    540    22193  2496529  112   203094   42426  17567     67 265.41
415.87/416.08	c    18660    540    23800  2679124  112   218305   46669  19174     67 276.12
415.87/416.08	c    19980    540    26379  3025284  114   242494   51336  21753     66 299.76
415.87/416.08	c    22063    540    30461  3655908  120   281404   56470  25835     64 342.43
415.87/416.08	o 26948
491.84/492.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
491.84/492.01	c    25020    540    36236  4551346  125   359158   31874  31610     60 415.96
491.84/492.01	c    25120    540    36434  4573782  125   330651   35062  31808     60 417.78
491.84/492.01	c    25373    540    36940  4632143  125   318251   38569  32314     59 423.16
491.84/492.01	c    25848    540    37879  4758070  125   339165   42426  33253     59 433.99
491.84/492.01	c    26661    540    39449  4995244  126   385362   46669  34823     58 458.02
491.84/492.01	o 26790
1291.22/1291.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1291.22/1291.68	c    27687    540    41490  5277296  127   386466   31874  36864     56 491.87
1291.22/1291.68	c    27789    540    20764  2185236  105   174283   35062  16138     54 505.44
1291.22/1291.68	c    28041    540    21265  2247017  105   179635   38569  16639     55 508.56
1291.22/1291.68	c    28522    540    22194  2395215  107   201433   42426  17568     55 515.46
1291.22/1291.68	c    29335    540    23806  2594650  108   208827   46669  19180     55 526.49
1291.22/1291.68	c    30655    540    26424  2935173  111   241500   51336  21798     55 547.88
1291.22/1291.68	c    32736    540    30485  3530393  115   281075   56470  25859     55 592.34
1291.22/1291.68	c    35960    540    36696  4546033  123   357753   62118  32070     53 671.36
1291.22/1291.68	c    40896    540    46345  6130054  132   493259   68330  41719     48 834.92
1291.22/1291.68	c    48403    540    60846  8666666  142   681135   75164  56220     39 1224.22
1291.22/1291.68	o 26411
1548.64/1549.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1548.64/1549.16	c    49510    540    62976  9043170  143   718636   31874  58350     38 1291.31
1548.64/1549.16	c    49610    540    20764  2362745  113   243837   35062  16138     36 1352.63
1548.64/1549.16	c    49862    540    21256  2433900  114   257325   38569  16630     36 1359.34
1548.64/1549.16	c    50337    540    22186  2569023  115   271158   42426  17560     36 1372.74
1548.64/1549.16	c    51150    540    23735  2836123  119   281714   46669  19109     36 1395.25
1548.64/1549.16	c    52472    540    26308  3297357  125   310882   51336  21682     36 1432.67
1548.64/1549.16	c    54553    540    30335  4060124  133   382095   56470  25709     36 1499.76
1548.64/1549.16	o 26366
1798.07/1798.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.07/1798.63	c    55757    540    32685  4508865  137   415211   31874  28059     36 1548.72
1798.07/1798.63	c    55861    540    32889  4548345  138   416284   35062  28263     35 1554.11
1798.07/1798.63	c    56113    540    33374  4639375  139   409561   38569  28748     35 1566.14
1798.07/1798.63	c    56588    540    34289  4810778  140   436600   42426  29663     35 1589.11
1798.07/1798.63	c    57401    540    35891  5055206  140   435280   46669  31265     35 1624.41
1798.07/1798.63	c    58722    540    38470  5488956  142   471372   51336  33844     34 1691.28
1798.07/1798.63	c Resources Exceeded
1798.07/1798.63	v -x361 -x362 x363 -x364 x365 x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 x378 -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 -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 -x2 -x38 -x74 -x110 -x146 x182 -x218 -x254 -x290 -x326 -x3 -x39 -x75 -x111 x147 -x183 -x219 -x255 -x291 -x327 -x4 -x40 -x76 x112 -x148 -x184 -x220 -x256 -x292 -x328 -x5 -x41 -x77 -x113 -x149 -x185 -x221 -x257 -x293 x329 -x6 -x42 -x78 -x114 -x150 -x186 -x222 -x258 x294 -x330 -x7 -x43 x79 -x115 -x151 -x187 -x223 -x259 -x295 -x331 -x9 -x45 -x81 -x117 -x153 -x189 x225 -x261 -x297 -x333 -x10 -x46 -x82 -x118 -x154 -x190 -x226 -x262 x298 -x334 -x11 -x47 -x83 x119 -x155 -x191 -x227 -x263 -x299 -x335 -x12 -x48 -x84 -x120 -x156 -x192 -x228 x264 -x300 -x336 -x13 -x49 -x85 -x121 -x157 -x193 -x229 x265 -x301 -x337 -x14 -x50 -x86 -x122 -x158 -x194 -x230 -x266 -x302 x338 -x16 -x52 x88 -x124 -x160 -x196 -x232 -x268 -x304 -x340 -x17 -x53 -x89 -x125 -x161 -x197 -x233 -x269 x305 -x341 -x18 -x54 -x90 x126 -x162 -x198 -x234 -x270 -x306 -x342 -x19 x55 -x91 -x127 -x163 -x199 -x235 -x271 -x307 -x343 x20 -x56 -x92 -x128 -x164 -x200 -x236 -x272 -x308 -x344 -x21 -x57 -x93 -x129 -x165 x201 -x237 -x273 -x309 -x345 -x23 -x59 -x95 -x131 x167 -x203 -x239 -x275 -x311 -x347 -x24 -x60 -x96 -x132 -x168 -x204 x240 -x276 -x312 -x348 -x25 -x61 -x97 -x133 -x169 -x205 x241 -x277 -x313 -x349 -x26 x62 -x98 -x134 -x170 -x206 -x242 -x278 -x314 -x350 x27 -x63 -x99 -x135 -x171 -x207 -x243 -x279 -x315 -x351 -x28 -x64 -x100 -x136 -x172 -x208 -x244 x280 -x316 -x352 -x30 -x66 x102 -x138 -x174 -x210 -x246 -x282 -x318 -x354 x31 -x67 -x103 -x139 -x175 -x211 -x247 -x283 -x319 -x355 -x32 -x68 -x104 -x140 x176 -x212 -x248 -x284 -x320 -x356 -x33 x69 -x105 -x141 -x177 -x213 -x249 -x285 -x321 -x357 -x34 -x70 -x106 -x142 -x178 -x214 -x250 -x286 -x322 x358 -x35 -x71 -x107 -x143 -x179 x215 -x251 -x287 -x323 -x359 x8 x44 -x80 -x116 x152 x188 -x224 -x260 -x296 x332 x15 x51 -x87 -x123 x159 x195 x231 -x267 -x303 -x339 -x22 -x58 x94 x130 -x166 -x202 -x238 x274 x310 x346 -x29 -x65 -x101 x137 x173 x209 -x245 -x281 x317 x353 -x36 -x72 x108 x144 -x180 -x216 x252 x288 x324 -x360 x1 x37 x73 -x109 -x145 -x181 x217 x253 -x289 -x325 
1798.07/1798.63	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.07/1798.63	c   67    60643  13006   104738    42177  6187876  37551     33 1798.12
1798.07/1798.63	c Objective: 26366
1798.07/1798.63	s SATISFIABLE
1798.07/1798.63	c Total time: 1798.12 s

Verifier Data 

OK	26366

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879971-1245146886/watcher-1879971-1245146886 -o /tmp/evaluation-result-1879971-1245146886/solver-1879971-1245146886 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879971-1245146886.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.97 0.99 3/64 5681
/proc/meminfo: memFree=1861072/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=10908 CPUtime=0
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 251 0 0 0 0 0 0 0 18 0 1 0 182285412 11169792 235 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 2727 236 175 640 0 2033 0

[startup+0.0366531 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 5681
/proc/meminfo: memFree=1861072/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=11652 CPUtime=0.03
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 564 0 0 0 3 0 0 0 18 0 1 0 182285412 11931648 498 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 2913 498 189 640 0 2269 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11652

[startup+0.101661 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 5681
/proc/meminfo: memFree=1861072/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=11800 CPUtime=0.09
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 642 0 0 0 9 0 0 0 18 0 1 0 182285412 12083200 549 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 2950 549 197 640 0 2306 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11800

[startup+0.301682 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 5681
/proc/meminfo: memFree=1861072/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=12840 CPUtime=0.29
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 875 0 0 0 29 0 0 0 19 0 1 0 182285412 13148160 782 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 3210 782 198 640 0 2566 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12840

[startup+0.701726 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 5681
/proc/meminfo: memFree=1861072/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=13872 CPUtime=0.69
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 1152 0 0 0 69 0 0 0 22 0 1 0 182285412 14204928 1059 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 3468 1059 198 640 0 2824 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13872

[startup+1.50181 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1857032/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=15412 CPUtime=1.49
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 1538 0 0 0 148 1 0 0 25 0 1 0 182285412 15781888 1445 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 3853 1445 198 640 0 3209 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15412

[startup+3.10199 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1854856/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=17860 CPUtime=3.09
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 2145 0 0 0 308 1 0 0 25 0 1 0 182285412 18288640 2052 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 4465 2052 198 640 0 3821 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17860

[startup+6.30134 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1850768/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=21488 CPUtime=6.29
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 3050 0 0 0 627 2 0 0 25 0 1 0 182285412 22003712 2957 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 5372 2957 198 640 0 4728 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21488

[startup+12.7011 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1845136/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=26760 CPUtime=12.69
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 4370 0 0 0 1265 4 0 0 25 0 1 0 182285412 27402240 4277 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 6690 4277 198 640 0 6046 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26760

[startup+25.5015 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1837456/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=33952 CPUtime=25.48
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 6162 0 0 0 2542 6 0 0 25 0 1 0 182285412 34766848 6069 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 8488 6069 198 640 0 7844 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33952

[startup+51.1013 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1827088/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=44284 CPUtime=51.07
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 8757 0 0 0 5097 10 0 0 25 0 1 0 182285412 45346816 8664 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 11071 8664 198 640 0 10427 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 44284

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1812560/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=58668 CPUtime=102.26
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 12340 0 0 0 10212 14 0 0 25 0 1 0 182285412 60076032 12247 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 14667 12247 198 640 0 14023 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 58668

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1798800/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=72532 CPUtime=162.24
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 15801 0 0 0 16206 18 0 0 25 0 1 0 182285412 74272768 15708 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 18133 15708 198 640 0 17489 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 72532

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1788944/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=82208 CPUtime=222.22
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 18219 0 0 0 22200 22 0 0 25 0 1 0 182285412 84180992 18126 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 20552 18126 198 640 0 19908 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 82208

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1784336/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=86608 CPUtime=282.21
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 19359 0 0 0 28196 25 0 0 25 0 1 0 182285412 88686592 19233 1992294400 134512640 137136520 4294956256 18446744073709551615 134544411 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 21652 19233 198 640 0 21008 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 86608

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1784344/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=86608 CPUtime=342.19
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 19359 0 0 0 34193 26 0 0 25 0 1 0 182285412 88686592 19233 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 21652 19233 198 640 0 21008 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 86608

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1784344/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=86608 CPUtime=402.17
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 19359 0 0 0 40189 28 0 0 25 0 1 0 182285412 88686592 19233 1992294400 134512640 137136520 4294956256 18446744073709551615 134543912 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 21652 19233 198 640 0 21008 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 86608

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1784344/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=86612 CPUtime=462.16
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 19360 0 0 0 46187 29 0 0 25 0 1 0 182285412 88690688 19234 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 21653 19234 198 640 0 21009 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 86612

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1780824/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=89920 CPUtime=522.14
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 20237 0 0 0 52183 31 0 0 25 0 1 0 182285412 92078080 20074 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 22480 20074 198 640 0 21836 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 89920

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1780824/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=89920 CPUtime=582.12
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 20237 0 0 0 58180 32 0 0 25 0 1 0 182285412 92078080 20074 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 22480 20074 198 640 0 21836 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 89920

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1780824/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=89920 CPUtime=642.11
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 20237 0 0 0 64177 34 0 0 25 0 1 0 182285412 92078080 20074 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 22480 20074 198 640 0 21836 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 89920

[startup+702.301 s]

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

/proc/meminfo: memFree=1737176/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=133280 CPUtime=1121.96
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 31082 0 0 0 112145 51 0 0 25 0 1 0 182285412 136478720 30919 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 33320 30919 198 640 0 32676 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 133280

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1732248/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=138304 CPUtime=1181.95
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 32309 0 0 0 118142 53 0 0 25 0 1 0 182285412 141623296 32146 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 34576 32146 198 640 0 33932 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 138304

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1727448/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=142928 CPUtime=1241.93
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 33492 0 0 0 124139 54 0 0 25 0 1 0 182285412 146358272 33329 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 35732 33329 198 640 0 35088 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 142928

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1723160/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=147028 CPUtime=1301.92
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 34545 0 0 0 130136 56 0 0 25 0 1 0 182285412 150556672 34325 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 36757 34325 198 640 0 36113 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 147028

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1723160/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=147028 CPUtime=1361.89
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 34545 0 0 0 136133 56 0 0 25 0 1 0 182285412 150556672 34325 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 36757 34325 198 640 0 36113 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 147028

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1723160/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=147028 CPUtime=1421.88
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 34545 0 0 0 142131 57 0 0 25 0 1 0 182285412 150556672 34325 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 36757 34325 198 640 0 36113 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 147028

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1723160/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=147028 CPUtime=1481.86
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 34545 0 0 0 148128 58 0 0 25 0 1 0 182285412 150556672 34325 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 36757 34325 198 640 0 36113 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 147028

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1723160/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=147028 CPUtime=1541.84
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 34545 0 0 0 154125 59 0 0 25 0 1 0 182285412 150556672 34325 1992294400 134512640 137136520 4294956256 18446744073709551615 134544455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 36757 34325 198 640 0 36113 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 147028

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1723160/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=147028 CPUtime=1601.82
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 34545 0 0 0 160123 59 0 0 25 0 1 0 182285412 150556672 34325 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 36757 34325 198 640 0 36113 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 147028

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1723096/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=147028 CPUtime=1661.81
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 34545 0 0 0 166121 60 0 0 25 0 1 0 182285412 150556672 34325 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 36757 34325 198 640 0 36113 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 147028

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1723096/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=147028 CPUtime=1721.79
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 34545 0 0 0 172119 60 0 0 25 0 1 0 182285412 150556672 34325 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 36757 34325 198 640 0 36113 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 147028

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1723032/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=147028 CPUtime=1781.77
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 34545 0 0 0 178116 61 0 0 25 0 1 0 182285412 150556672 34325 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 36757 34325 198 640 0 36113 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 147028

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1723032/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=147028 CPUtime=1791.38
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 34545 0 0 0 179076 62 0 0 25 0 1 0 182285412 150556672 34325 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 36757 34325 198 640 0 36113 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 147028

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1723032/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=147028 CPUtime=1794.58
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 34545 0 0 0 179396 62 0 0 25 0 1 0 182285412 150556672 34325 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 36757 34325 198 640 0 36113 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (KiB) 147028

[startup+1796.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1723032/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=147028 CPUtime=1796.17
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 34545 0 0 0 179555 62 0 0 25 0 1 0 182285412 150556672 34325 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 36757 34325 198 640 0 36113 0
Current children cumulated CPU time (s) 1796.17
Current children cumulated vsize (KiB) 147028

[startup+1797.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1723032/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=147028 CPUtime=1796.97
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 34545 0 0 0 179635 62 0 0 25 0 1 0 182285412 150556672 34325 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 36757 34325 198 640 0 36113 0
Current children cumulated CPU time (s) 1796.97
Current children cumulated vsize (KiB) 147028

[startup+1798.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1723032/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=147028 CPUtime=1797.77
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 34545 0 0 0 179715 62 0 0 25 0 1 0 182285412 150556672 34325 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 36757 34325 198 640 0 36113 0
Current children cumulated CPU time (s) 1797.77
Current children cumulated vsize (KiB) 147028

[startup+1798.51 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1723032/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=147028 CPUtime=1797.98
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 34545 0 0 0 179736 62 0 0 25 0 1 0 182285412 150556672 34325 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 36757 34325 198 640 0 36113 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 147028

[startup+1798.6 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5682
/proc/meminfo: memFree=1723032/2055920 swapFree=4192812/4192956
[pid=5681] ppid=5679 vsize=147028 CPUtime=1798.07
/proc/5681/stat : 5681 (bsolo) R 5679 5681 5567 0 -1 4194304 34545 0 0 0 179745 62 0 0 25 0 1 0 182285412 150556672 34325 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5681/statm: 36757 34325 198 640 0 36113 0
Current children cumulated CPU time (s) 1798.07
Current children cumulated vsize (KiB) 147028

Child status: 0
Real time (s): 1798.66
CPU time (s): 1798.14
CPU user time (s): 1797.5
CPU system time (s): 0.644901
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 147256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.5
system time used= 0.644901
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34547
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= 2
involuntary context switches= 2341

runsolver used 1.3118 second user time and 3.68044 second system time

The end

Launcher Data 

Begin job on node42 at 2009-06-16 12:08:06
IDJOB=1879971
IDBENCH=2010
IDSOLVER=701
FILE ID=node42/1879971-1245146886
PBS_JOBID= 9363744
Free space on /tmp= 66148 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879971-1245146886/watcher-1879971-1245146886 -o /tmp/evaluation-result-1879971-1245146886/solver-1879971-1245146886 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879971-1245146886.opb

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

MD5SUM BENCH= f675f355e04fd5af6f49610fb88dbbd3
RANDOM SEED=1422630121

node42.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.214
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.214
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1861552 kB
Buffers:         14468 kB
Cached:         105484 kB
SwapCached:          0 kB
Active:          44440 kB
Inactive:        89512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1861552 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4140 kB
Writeback:           0 kB
Mapped:          23760 kB
Slab:            46384 kB
Committed_AS:   161008 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879971-1245146886.opb

Free space on /tmp at the end= 66144 MiB
End job on node42 at 2009-06-16 12:38:05