Trace number 3462748

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
bsolo 3.2SAT-107 1798.01 1798.17

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_4.opb
MD5SUM81ea6ef3f58dd056541f0542171b5402
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-112
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -112
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint10
Maximum length of a constraint21
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6326
Sum of products size (including duplicates)12652
Number of different products3163
Sum of products size6326

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.2 - 23/05/2010 : 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: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462748-1307650701.opb
0.00/0.00	c File size is 86057 bytes.
0.00/0.01	c Highest Coefficient sum: 500
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.014 s
0.00/0.02	c Var: 6826 Constr: 13652 6826/500/6326 Lit: 50608 Watch. Lit: 37956
0.00/0.02	c Obj. Vars: 500 (7.32493 % of total variables)
0.00/0.05	c Pre-processing Time: 0.05 s
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0    500     3163     9489    3     6326    1054      0      0 0.05
0.00/0.05	c Switching off lower bounding mode.
0.00/0.05	o -100
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c        0    500     3164     9989    3     6428    2054      1      0 0.05
0.00/0.07	o -101
5.69/5.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.72	c       32    500     3197    23225    7     6595    2054     34    463 0.07
5.69/5.72	c      132    500     3297    62853   19     6795    2260    134   1039 0.13
5.69/5.72	c      383    500     3548   162326   45     7297    2487    385   1402 0.27
5.69/5.72	c      859    500     4024   350926   87     8249    2736    861   1525 0.56
5.69/5.72	c     1672    500     4838   673686  139     9877    3010   1675   1613 1.04
5.69/5.72	c     2992    500     6158  1197053  194    12517    3312   2995   1678 1.78
5.69/5.72	c     5073    500     8239  2021985  245    16679    3644   5076   1549 3.27
5.69/5.72	c     8296    500    11471  3301980  287    23143    4009   8308   1451 5.72
5.69/5.72	o -102
11.99/12.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.99/12.05	c     8296    500    11472  3302480  287    23247    2054   8309   1450 5.72
11.99/12.05	c     8397    500     4191   416399   99     8484    2260   1028   1396 6.01
11.99/12.05	c     8648    500     4442   515647  116     8986    2487   1279   1402 6.17
11.99/12.05	c     9123    500     4917   703410  143     9936    2736   1754   1412 6.46
11.99/12.05	c     9937    500     5731  1025344  178    11564    3010   2568   1424 6.97
11.99/12.05	c    11257    500     7052  1547526  219    14206    3312   3889   1444 7.79
11.99/12.05	c    13338    500     9133  2370516  259    18368    3644   5970   1452 9.18
11.99/12.05	c    16562    500    12358  3645419  294    24818    4009   9195   1376 12.03
11.99/12.05	o -103
36.79/36.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.79/36.87	c    16582    500    12379  3653832  295    24963    2054   9216   1375 12.06
36.79/36.87	c    16683    500     4292   455699  106     8687    2260   1129   1360 12.26
36.79/36.87	c    16933    500     4542   554160  122     9187    2487   1379   1364 12.41
36.79/36.87	c    17408    500     5017   741409  147    10137    2736   1854   1369 12.71
36.79/36.87	c    18221    500     5832  1062655  182    11767    3010   2669   1378 13.22
36.79/36.87	c    19542    500     7154  1582148  221    14511    3312   3991   1391 14.04
36.79/36.87	c    21623    500     9247  2406745  260    18697    3644   6084   1396 15.48
36.79/36.87	c    24847    500    12475  3678163  294    25153    4009   9312   1401 17.73
36.79/36.87	c    29783    500     8634  2164954  250    17371    4410   5471   1383 21.53
36.79/36.87	c    37290    500     7157  1577855  220    14417    4852   3994   1343 27.76
36.79/36.87	c    48652    500     9337  2431681  260    18777    5338   6174   1324 36.74
36.79/36.87	o -104
320.30/320.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
320.30/320.37	c    48879    500     9565  2521764  263    19337    2054   6402   1325 36.88
320.30/320.37	c    48980    500     9666  2561516  265    19539    2260   6503   1325 36.94
320.30/320.37	c    49230    500     9916  2659801  268    20039    2487   6753   1326 37.11
320.30/320.37	c    49705    500    10391  2846581  273    20989    2736   7228   1328 37.43
320.30/320.37	c    50520    500    11206  3167127  282    22619    3010   8043   1331 37.96
320.30/320.37	c    51841    500     4669   601976  128     9442    3312   1506   1324 39.15
320.30/320.37	c    53922    500     6751  1420464  210    13606    3644   3588   1332 40.45
320.30/320.37	c    57145    500     9975  2686992  269    20156    4009   6812   1339 42.66
320.30/320.37	c    62081    500     6123  1173702  191    12350    4410   2960   1321 46.98
320.30/320.37	c    69588    500    13647  4129756  302    27398    4852  10484   1313 52.97
320.30/320.37	c    80950    500     6578  1353642  205    13260    5338   3415   1252 64.63
320.30/320.37	c    98095    500    14294  4353626  304    28989    5872  11131   1229 79.77
320.30/320.37	c   123915    500    11019  3086455  280    22243    6460   7856   1186 104.40
320.30/320.37	c   162748    500     9841  2635168  267    19786    7107   6678   1146 141.90
320.30/320.37	c   221101    500     6718  1395065  207    13638    7818   3555   1097 201.55
320.30/320.37	c   308733    500     9108  2330303  255    18421    8600   5945   1087 283.90
320.30/320.37	o -105
1176.32/1176.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1176.32/1176.39	c   335498    500    13700  4156088  303    27609    2054  10537   1047 320.38
1176.32/1176.39	c   335598    500     4291   453345  105     8687    2260   1128   1045 320.84
1176.32/1176.39	c   335849    500     4542   551788  121     9189    2487   1379   1046 320.99
1176.32/1176.39	c   336324    500     5017   738162  147    10139    2736   1854   1046 321.28
1176.32/1176.39	c   337138    500     5831  1057474  181    11767    3010   2668   1047 321.79
1176.32/1176.39	c   338459    500     7156  1576959  220    14417    3312   3993   1049 322.59
1176.32/1176.39	c   340540    500     9238  2393418  259    18681    3644   6075   1050 324.14
1176.32/1176.39	c   343763    500    12462  3656976  293    25129    4009   9299   1053 326.44
1176.32/1176.39	c   348700    500     8622  2148246  249    17349    4410   5459   1055 330.29
1176.32/1176.39	c   356206    500     7138  1569557  219    14381    4852   3975   1057 336.89
1176.32/1176.39	c   367568    500     9305  2414606  259    18817    5338   6142   1059 346.80
1176.32/1176.39	c   384713    500     7578  1721216  227    15261    5872   4415   1062 362.06
1176.32/1176.39	c   410533    500    13981  4177755  298    28361    6460  10818   1068 384.20
1176.32/1176.39	c   449365    500    12786  3780997  295    25780    7107   9623   1065 421.63
1176.32/1176.39	c   507718    500     9334  2419528  259    18876    7818   6171   1056 480.62
1176.32/1176.39	c   595351    500    11544  3209049  277    23287    8600   8381   1026 580.15
1176.32/1176.39	c   726903    500    10176  2737032  268    20457    9461   7013    942 771.05
1176.32/1176.39	c   924335    500    12534  3638932  290    25472   10408   9371    937 985.51
1176.32/1176.39	o -106
1672.04/1672.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1672.04/1672.09	c  1097126    500    17989  5557544  308    36274    2054  14826    932 1176.42
1672.04/1672.09	c  1097226    500     4291   440792  102     8688    2260   1128    932 1176.79
1672.04/1672.09	c  1097476    500     4541   538535  118     9188    2487   1378    932 1176.94
1672.04/1672.09	c  1097951    500     5016   724295  144    10138    2736   1853    932 1177.24
1672.04/1672.09	c  1098764    500     5831  1042855  178    11768    3010   2668    932 1177.73
1672.04/1672.09	c  1100085    500     7153  1559729  218    14412    3312   3990    933 1178.60
1672.04/1672.09	c  1102167    500     9236  2374541  257    18578    3644   6073    933 1180.10
1672.04/1672.09	c  1105391    500    12461  3636040  291    25028    4009   9298    934 1182.58
1672.04/1672.09	c  1110327    500     8634  2147195  248    17374    4410   5471    935 1186.45
1672.04/1672.09	c  1117834    500     7167  1574603  219    14440    4852   4004    937 1192.88
1672.04/1672.09	c  1129196    500     9363  2419439  258    18936    5338   6200    939 1201.83
1672.04/1672.09	c  1146340    500     7641  1750190  229    15491    5872   4478    941 1217.39
1672.04/1672.09	c  1172160    500    14042  4240846  302    28293    6460  10879    943 1242.32
1672.04/1672.09	c  1210993    500    12939  3708739  286    26077    7107   9776    947 1277.75
1672.04/1672.09	c  1269346    500     9435  2461372  260    18976    7818   6272    948 1338.61
1672.04/1672.09	c  1356979    500    11755  3360958  285    23616    8600   8592    952 1424.96
1672.04/1672.09	c  1488531    500    10640  2885800  271    21686    9461   7477    945 1574.92
1672.04/1672.09	o -107
1797.93/1797.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.96	c  1570987    500    12625  3642595  288    25727    2054   9462    939 1672.14
1797.93/1797.96	c  1571087    500     4291   448052  104     8689    2260   1128    939 1672.27
1797.93/1797.96	c  1571337    500     4541   545560  120     9189    2487   1378    939 1672.42
1797.93/1797.96	c  1571812    500     5016   730826  145    10139    2736   1853    939 1672.69
1797.93/1797.96	c  1572625    500     5831  1048454  179    11769    3010   2668    939 1673.18
1797.93/1797.96	c  1573945    500     7152  1563359  218    14411    3312   3989    940 1674.01
1797.93/1797.96	c  1576026    500     9236  2376302  257    18579    3644   6073    940 1675.30
1797.93/1797.96	c  1579249    500    12461  3634099  291    25029    4009   9298    941 1677.60
1797.93/1797.96	c  1584186    500     8631  2141284  248    17369    4410   5468    942 1681.28
1797.93/1797.96	c  1591692    500     7159  1561169  218    14529    4852   3996    943 1686.91
1797.93/1797.96	c  1603053    500     9320  2409969  258    18747    5338   6157    945 1696.23
1797.93/1797.96	c  1620199    500     7580  1733435  228    15267    5872   4417    945 1713.44
1797.93/1797.96	c  1646019    500    13978  4231313  302    28063    6460  10815    947 1737.62
1797.93/1797.96	c  1684852    500    12790  3766470  294    25687    7107   9627    948 1777.23
1797.93/1797.96	c Resources Exceeded
1797.93/1797.96	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 x11 -x12 -x13 -x14 -x15 x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 x107 -x108 -x109 -x110 x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 x166 x167 x168 -x169 x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 x186 -x187 x188 x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 x213 x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -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 -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 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 
1797.93/1797.96	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.96	c   93  1706983 406124  2599183    14326  4334911  11163    949 1798.00
1797.93/1797.96	c Objective: -107
1797.93/1797.96	s SATISFIABLE
1797.93/1797.96	c Total time: 1798 s

Verifier Data 

OK	-107

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462748-1307650701/watcher-3462748-1307650701 -o /tmp/evaluation-result-3462748-1307650701/solver-3462748-1307650701 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462748-1307650701.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 10032
/proc/meminfo: memFree=32598608/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=11564 CPUtime=0 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 448 0 0 0 0 0 0 0 25 0 1 0 876668889 11841536 403 33554432000 134512640 137138936 4287355440 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10032/statm: 2891 404 179 642 0 2225 0

[startup+0.106872 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 10032
/proc/meminfo: memFree=32598608/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=14708 CPUtime=0.1 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 1329 0 0 0 10 0 0 0 25 0 1 0 876668889 15060992 1239 33554432000 134512640 137138936 4287355440 18446744073709551615 134618938 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 3677 1239 192 642 0 3033 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14708

[startup+0.200881 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 10032
/proc/meminfo: memFree=32598608/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=15480 CPUtime=0.19 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 1520 0 0 0 19 0 0 0 25 0 1 0 876668889 15851520 1430 33554432000 134512640 137138936 4287355440 18446744073709551615 136504452 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 3870 1430 192 642 0 3226 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15480

[startup+0.300863 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 10032
/proc/meminfo: memFree=32598608/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=16276 CPUtime=0.29 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 1719 0 0 0 29 0 0 0 25 0 1 0 876668889 16666624 1629 33554432000 134512640 137138936 4287355440 18446744073709551615 134618964 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 4069 1629 192 642 0 3425 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16276

[startup+0.700679 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 10032
/proc/meminfo: memFree=32598608/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=19324 CPUtime=0.69 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 2490 0 0 0 69 0 0 0 25 0 1 0 876668889 19787776 2400 33554432000 134512640 137138936 4287355440 18446744073709551615 134552497 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 4831 2400 192 642 0 4187 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19324

[startup+1.50054 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10033
/proc/meminfo: memFree=32586108/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=26448 CPUtime=1.49 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 4263 0 0 0 149 0 0 0 25 0 1 0 876668889 27082752 4173 33554432000 134512640 137138936 4287355440 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 6612 4173 192 642 0 5968 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26448

[startup+3.10038 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10033
/proc/meminfo: memFree=32576064/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=38392 CPUtime=3.09 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 7254 0 0 0 308 1 0 0 25 0 1 0 876668889 39313408 7164 33554432000 134512640 137138936 4287355440 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 9598 7164 192 642 0 8954 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38392

[startup+6.30081 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10033
/proc/meminfo: memFree=32553608/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=56648 CPUtime=6.29 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 11811 0 0 0 627 2 0 0 25 0 1 0 876668889 58007552 11721 33554432000 134512640 137138936 4287355440 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 14162 11721 192 642 0 13518 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56648

[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10033
/proc/meminfo: memFree=32547504/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=60772 CPUtime=12.69 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 12844 0 0 0 1266 3 0 0 25 0 1 0 876668889 62230528 12754 33554432000 134512640 137138936 4287355440 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 15193 12754 192 642 0 14549 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60772

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10033
/proc/meminfo: memFree=32539664/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=68504 CPUtime=25.49 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 14779 0 0 0 2544 5 0 0 25 0 1 0 876668889 70148096 14689 33554432000 134512640 137138936 4287355440 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 17126 14689 192 642 0 16482 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68504

[startup+51.1009 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10034
/proc/meminfo: memFree=32535488/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=72576 CPUtime=51.09 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 15801 0 0 0 5100 9 0 0 25 0 1 0 876668889 74317824 15711 33554432000 134512640 137138936 4287355440 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 18144 15711 192 642 0 17500 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 72576

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10035
/proc/meminfo: memFree=32526740/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=77908 CPUtime=102.3 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 17129 0 0 0 10215 15 0 0 25 0 1 0 876668889 79777792 17039 33554432000 134512640 137138936 4287355440 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 19477 17039 192 642 0 18833 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 77908

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10037
/proc/meminfo: memFree=32520232/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=84264 CPUtime=162.3 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 18726 0 0 0 16208 22 0 0 25 0 1 0 876668889 86286336 18636 33554432000 134512640 137138936 4287355440 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 21066 18636 192 642 0 20422 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 84264

[startup+222.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 10039
/proc/meminfo: memFree=32516932/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=87452 CPUtime=222.3 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 19537 0 0 0 22203 27 0 0 25 0 1 0 876668889 89550848 19433 33554432000 134512640 137138936 4287355440 18446744073709551615 134607023 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 21863 19433 192 642 0 21219 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 87452

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 10040
/proc/meminfo: memFree=32516492/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=87280 CPUtime=282.3 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 19550 0 0 0 28198 32 0 0 25 0 1 0 876668889 89374720 19379 33554432000 134512640 137138936 4287355440 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 21820 19379 192 642 0 21176 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 87280

[startup+342.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 10042
/proc/meminfo: memFree=32512440/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=90948 CPUtime=342.3 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 20732 0 0 0 34192 38 0 0 25 0 1 0 876668889 93130752 20308 33554432000 134512640 137138936 4287355440 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 22737 20308 192 642 0 22093 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 90948

[startup+402.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 10043
/proc/meminfo: memFree=32513000/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=90340 CPUtime=402.3 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 20732 0 0 0 40186 44 0 0 25 0 1 0 876668889 92508160 20156 33554432000 134512640 137138936 4287355440 18446744073709551615 134544908 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 22585 20156 192 642 0 21941 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 90340

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 10045
/proc/meminfo: memFree=32513052/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=90244 CPUtime=462.3 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 20732 0 0 0 46179 51 0 0 25 0 1 0 876668889 92409856 20132 33554432000 134512640 137138936 4287355440 18446744073709551615 136504249 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 22561 20132 192 642 0 21917 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 90244

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10047
/proc/meminfo: memFree=32513476/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=90112 CPUtime=522.31 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 20732 0 0 0 52173 58 0 0 25 0 1 0 876668889 92274688 20099 33554432000 134512640 137138936 4287355440 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 22528 20099 192 642 0 21884 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 90112

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10048
/proc/meminfo: memFree=32513520/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=90112 CPUtime=582.31 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 20732 0 0 0 58167 64 0 0 25 0 1 0 876668889 92274688 20099 33554432000 134512640 137138936 4287355440 18446744073709551615 136520965 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 22528 20099 192 642 0 21884 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 90112

[startup+642.301 s]

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

/proc/meminfo: memFree=32171692/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=100768 CPUtime=1122.31 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 23508 0 0 0 112118 113 0 0 25 0 1 0 876668889 103186432 22762 33554432000 134512640 137138936 4287355440 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 25192 22762 192 642 0 24548 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 100768

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10102
/proc/meminfo: memFree=32039448/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=100612 CPUtime=1182.31 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 23508 0 0 0 118112 119 0 0 25 0 1 0 876668889 103026688 22724 33554432000 134512640 137138936 4287355440 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 25153 22724 192 642 0 24509 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 100612

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10104
/proc/meminfo: memFree=31909164/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=100048 CPUtime=1242.33 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 23508 0 0 0 124108 125 0 0 25 0 1 0 876668889 102449152 22583 33554432000 134512640 137138936 4287355440 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 25012 22583 192 642 0 24368 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 100048

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10105
/proc/meminfo: memFree=31780972/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=99908 CPUtime=1302.32 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 23508 0 0 0 130101 131 0 0 25 0 1 0 876668889 102305792 22548 33554432000 134512640 137138936 4287355440 18446744073709551615 134572956 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 24977 22548 192 642 0 24333 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 99908

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 10107
/proc/meminfo: memFree=31655172/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=99872 CPUtime=1362.33 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 23508 0 0 0 136097 136 0 0 25 0 1 0 876668889 102268928 22539 33554432000 134512640 137138936 4287355440 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 24968 22539 192 642 0 24324 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 99872

[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 10109
/proc/meminfo: memFree=31533324/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=95932 CPUtime=1422.33 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 23508 0 0 0 142091 142 0 0 25 0 1 0 876668889 98234368 21554 33554432000 134512640 137138936 4287355440 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 23983 21554 192 642 0 23339 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 95932

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10110
/proc/meminfo: memFree=31481792/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=95896 CPUtime=1482.32 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 23508 0 0 0 148085 147 0 0 25 0 1 0 876668889 98197504 21545 33554432000 134512640 137138936 4287355440 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 23974 21545 192 642 0 23330 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 95896

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 10112
/proc/meminfo: memFree=31481708/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=95864 CPUtime=1542.33 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 23508 0 0 0 154080 153 0 0 25 0 1 0 876668889 98164736 21537 33554432000 134512640 137138936 4287355440 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 23966 21537 192 642 0 23322 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 95864

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10113
/proc/meminfo: memFree=31482000/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=95500 CPUtime=1602.33 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 23508 0 0 0 160075 158 0 0 25 0 1 0 876668889 97792000 21446 33554432000 134512640 137138936 4287355440 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 23875 21446 192 642 0 23231 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 95500

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10115
/proc/meminfo: memFree=31482176/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=95776 CPUtime=1662.33 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 23574 0 0 0 166068 165 0 0 25 0 1 0 876668889 98074624 21512 33554432000 134512640 137138936 4287355440 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 23944 21512 192 642 0 23300 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 95776

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10117
/proc/meminfo: memFree=31481988/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=95420 CPUtime=1722.33 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 23574 0 0 0 172060 173 0 0 25 0 1 0 876668889 97710080 21426 33554432000 134512640 137138936 4287355440 18446744073709551615 134603190 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 23855 21426 192 642 0 23211 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 95420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10118
/proc/meminfo: memFree=31481924/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=95408 CPUtime=1782.34 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 23574 0 0 0 178054 180 0 0 25 0 1 0 876668889 97697792 21423 33554432000 134512640 137138936 4287355440 18446744073709551615 134551026 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 23852 21423 192 642 0 23208 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 95408

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

[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10118
/proc/meminfo: memFree=31481800/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=95408 CPUtime=1785.64 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 23574 0 0 0 178384 180 0 0 25 0 1 0 876668889 97697792 21423 33554432000 134512640 137138936 4287355440 18446744073709551615 134552410 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 23852 21423 192 642 0 23208 0
Current children cumulated CPU time (s) 1785.64
Current children cumulated vsize (KiB) 95408

[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10118
/proc/meminfo: memFree=31481784/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=95408 CPUtime=1792.04 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 23574 0 0 0 179024 180 0 0 25 0 1 0 876668889 97697792 21423 33554432000 134512640 137138936 4287355440 18446744073709551615 134606979 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 23852 21423 192 642 0 23208 0
Current children cumulated CPU time (s) 1792.04
Current children cumulated vsize (KiB) 95408

[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10119
/proc/meminfo: memFree=31481536/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=95408 CPUtime=1795.24 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 23574 0 0 0 179344 180 0 0 25 0 1 0 876668889 97697792 21423 33554432000 134512640 137138936 4287355440 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 23852 21423 192 642 0 23208 0
Current children cumulated CPU time (s) 1795.24
Current children cumulated vsize (KiB) 95408

[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10119
/proc/meminfo: memFree=31481536/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=95408 CPUtime=1796.84 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 23574 0 0 0 179503 181 0 0 25 0 1 0 876668889 97697792 21423 33554432000 134512640 137138936 4287355440 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 23852 21423 192 642 0 23208 0
Current children cumulated CPU time (s) 1796.84
Current children cumulated vsize (KiB) 95408

[startup+1797.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10119
/proc/meminfo: memFree=31481760/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=95408 CPUtime=1797.63 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) R 10030 10032 8181 0 -1 4202496 23574 0 0 0 179582 181 0 0 25 0 1 0 876668889 97697792 21423 33554432000 134512640 137138936 4287355440 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10032/statm: 23852 21423 192 642 0 23208 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 95408

[startup+1798 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10119
/proc/meminfo: memFree=31481760/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=0 CPUtime=1797.99 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) S 10030 10032 8181 0 -1 4202500 23575 0 0 0 179618 181 0 0 25 0 1 0 876668889 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/10032/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 0

[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10119
/proc/meminfo: memFree=31481760/32950928 swapFree=67052072/67111528
[pid=10032] ppid=10030 vsize=0 CPUtime=1797.99 cores=0,2,4,6
/proc/10032/stat : 10032 (bsolo) S 10030 10032 8181 0 -1 4202500 23575 0 0 0 179618 181 0 0 25 0 1 0 876668889 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/10032/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.17
CPU time (s): 1798.01
CPU user time (s): 1796.19
CPU system time (s): 1.81772
CPU usage (%): 99.9912
Max. virtual memory (cumulated for all children) (KiB): 100768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.19
system time used= 1.81772
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23575
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= 5864

runsolver used 3.18352 second user time and 6.12607 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-09 22:18:21
IDJOB=3462748
IDBENCH=48164
IDSOLVER=1955
FILE ID=node120/3462748-1307650701
RUNJOBID= node120-1307649562-9695
PBS_JOBID= 13549392
Free space on /tmp= 74040 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_4.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462748-1307650701/watcher-3462748-1307650701 -o /tmp/evaluation-result-3462748-1307650701/solver-3462748-1307650701 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462748-1307650701.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 81ea6ef3f58dd056541f0542171b5402
RANDOM SEED=2130895124

node120.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      32599168 kB
Buffers:         39852 kB
Cached:         116436 kB
SwapCached:      11084 kB
Active:         119180 kB
Inactive:        83136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      32599168 kB
SwapTotal:    67111528 kB
SwapFree:     67052072 kB
Dirty:            3908 kB
Writeback:           0 kB
AnonPages:       43716 kB
Mapped:           9976 kB
Slab:            84984 kB
PageTables:       4428 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   246108 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74032 MiB
End job on node120 at 2011-06-09 22:48:20