Trace number 2657551

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.2 ClOPT2 1235.87 1236.28

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb
MD5SUMd26b3b10be20d9248aac462b86b1f040
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark269.719
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
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 constraints8
Minimum length of a constraint45
Maximum length of a constraint46
Number of terms in the objective function 64
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 940
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3331
Number of bits of the biggest sum of numbers12
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.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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657551-1276599243.opb
0.00/0.00	c File size is 3596 bytes.
0.00/0.00	c Highest Coefficient sum: 3331
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 94 Constr: 8 0/0/8 Lit: 366 Watch. Lit: 108
0.00/0.00	c Obj. Vars: 64 (68.0851 % of total variables)
0.00/0.00	c Pre-processing Time: 0.001 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     94        8      366   45      112     732      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 780
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     94        9      430   47      302     860      1      0 0.00
0.00/0.00	o 550
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       48     94       58     2361   40      439     860     50   9600 0.01
0.00/0.00	o 394
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       49     94       60     2445   40      494     860     52   8166 0.01
0.00/0.00	o 390
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       61     94       73     2880   39      562     860     65   8714 0.01
0.00/0.00	o 382
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       68     94       81     3095   38      622     860     73   8500 0.01
0.00/0.00	o 380
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       68     94       82     3159   38      678     860     74   8500 0.01
0.00/0.00	o 372
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       69     94       84     3277   39      737     860     76   8625 0.01
0.00/0.01	o 325
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       98     94      114     4125   36      833     860    106   8166 0.01
0.00/0.01	o 302
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      156     94      173     5767   33     1008     860    165   8666 0.02
0.00/0.01	o 281
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      164     94      182     6081   33     1079     860    174   9111 0.02
0.00/0.02	o 275
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      173     94      192     6368   33     1147     860    184   8650 0.02
0.00/0.02	o 126
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      210     94      230     7563   32     1235     860    222   9130 0.02
0.00/0.02	o 124
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      211     94      232     7679   33     1292     860    224   9173 0.02
0.00/0.02	o 115
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      211     94      233     7743   33     1307     860    225   9173 0.02
0.00/0.02	o 103
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      213     94      236     7899   33     1363     860    228   8875 0.02
0.00/0.02	o 101
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      250     92      274     8785   32     1440     856    266   8928 0.03
0.00/0.04	c      351     90      375    11289   30     1672     942    367   9486 0.04
0.00/0.04	o 99
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      424     89      449    12781   28     1840     850    441   9636 0.04
0.00/0.05	o 69
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      463     89      489    13716   28     1938     850    481   9645 0.05
0.00/0.05	o 65
0.05/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.06	c      493     89      520    14994   28     2011     850    512   9666 0.05
0.05/0.06	o 46
0.05/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.06	c      557     89      585    16111   27     2314     850    577   9603 0.06
0.05/0.06	o 44
0.05/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.06	c      558     89      587    16218   27     2372     850    579   9620 0.06
0.05/0.06	o 42
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      570     86      600    16546   27     2423     844    592   9500 0.06
0.09/0.12	c      670     81      700    18518   26     2599     929    692   9436 0.07
0.09/0.12	c      920     80      950    23627   24     3056    1022    942   9583 0.10
0.09/0.12	o 33
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c     1257     78      759    15648   20     1834     828    751   9897 0.13
0.09/0.12	o 31
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c     1258     78      761    15737   20     1884     828    753   9905 0.13
0.09/0.14	c     1359     71      446     9118   20     1145     911    438   9847 0.14
0.09/0.14	o 27
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c     1394     71      482     9907   20     1257     814    474   9816 0.14
0.09/0.16	c     1494     70      582    12126   20     1450     896    574   9960 0.15
0.09/0.16	o 26
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c     1626     70      715    15070   21     1760     812    707  10037 0.16
0.09/0.17	c     1727     70      816    17256   21     1964     894    808  10040 0.17
0.09/0.17	o 25
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c     1763     70      853    18103   21     2071     812    845  10074 0.17
0.19/0.23	c     1863     70      539    11553   21     1319     894    531  10125 0.18
0.19/0.23	c     2114     70      790    17067   21     1826     984    782  10262 0.21
0.19/0.23	o 22
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c     2390     70      562    12082   21     1406     812    554  10257 0.23
0.19/0.23	o 16
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c     2434     70      607    12995   21     1536     812    599  10270 0.24
0.19/0.26	c     2534     64      707    15133   21     1722     894    699  10300 0.25
0.19/0.26	o 15
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c     2686     62      860    18485   21     2051     796    852  10330 0.26
0.19/0.26	o 13
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c     2699     62      453     9574   21     1157     796    445  10262 0.26
0.39/0.42	c     2799     62      553    11799   21     1355     876    545  10328 0.27
0.39/0.42	c     3050     62      804    17298   21     1863     964    796  10445 0.29
0.39/0.42	c     3526     62      784    16639   21     1790    1061    776  10525 0.34
0.39/0.42	c     4339     62     1052    23288   22     2325    1168   1044  10634 0.41
0.39/0.42	o 11
0.79/0.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.86	c     4466     62     1180    26143   22     2611     796   1172  10633 0.42
0.79/0.86	c     4567     62      540    11550   21     1302     876    532  10620 0.43
0.79/0.86	c     4817     62      790    16985   21     1800     964    782  10704 0.45
0.79/0.86	c     5293     62      770    16300   21     1764    1061    762  10780 0.49
0.79/0.86	c     6106     62     1038    22292   21     2301    1168   1030  10826 0.56
0.79/0.86	c     7426     62     1167    25579   21     2556    1285   1159  10762 0.69
0.79/0.86	o 7
3.29/3.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.29/3.38	c     9144     62      917    20307   22     2087     796    909  10632 0.86
3.29/3.38	c     9244     60      539    11674   21     1299     876    531  10625 0.87
3.29/3.38	c     9495     57      790    16971   21     1796     964    782  10644 0.89
3.29/3.38	c     9971     55      772    16001   20     1752    1061    764  10652 0.94
3.29/3.38	c    10785     55     1044    22159   21     2300    1168   1036  10667 1.01
3.29/3.38	c    12105     55     1168    25129   21     2546    1285   1160  10618 1.14
3.29/3.38	c    14186     54     1287    27874   21     2778    1414   1279  10594 1.34
3.29/3.38	c    17411     54      906    20054   22     2018    1556    898  10376 1.68
3.29/3.38	c    22347     54     1078    23946   22     2366    1712   1070   9985 2.24
3.29/3.38	c    29854     54     1588    34766   21     3386    1884   1580   9571 3.12
3.29/3.38	o 5
5.29/5.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.29/5.31	c    32111     54     1920    41667   21     4074     780   1912   9494 3.38
5.29/5.31	c    32211     54      539    11294   20     1278     859    531   9487 3.40
5.29/5.31	c    32462     54      790    16884   21     1775     945    782   9500 3.42
5.29/5.31	c    32937     54      782    16008   20     1764    1040    774   9519 3.46
5.29/5.31	c    33750     54     1056    22163   20     2312    1145   1048   9541 3.54
5.29/5.31	c    35071     54      622    13248   21     1447    1260    614   9527 3.68
5.29/5.31	c    37153     54      786    16768   21     1772    1387    778   9570 3.88
5.29/5.31	c    40378     54     1182    25862   21     2565    1526   1174   9570 4.22
5.29/5.31	c    45315     54     1443    31566   21     3087    1679   1435   9529 4.75
5.29/5.31	o 4
29.18/29.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.18/29.28	c    50294     54     1277    28069   21     2776     780   1269   9473 5.31
29.18/29.28	c    50395     53      540    11675   21     1276     859    532   9472 5.32
29.18/29.28	c    50645     52      790    17085   21     1776     945    782   9480 5.34
29.18/29.28	c    51120     51      779    16423   21     1749    1040    771   9491 5.39
29.18/29.28	c    51933     50     1055    22267   21     2302    1145   1047   9506 5.46
29.18/29.28	c    53253     50      626    13169   21     1446    1260    618   9517 5.59
29.18/29.28	c    55335     50      785    16901   21     1763    1387    777   9535 5.80
29.18/29.28	c    58560     49     1192    25502   21     2578    1526   1184   9539 6.14
29.18/29.28	c    63497     48     1435    30731   21     3054    1679   1427   9519 6.67
29.18/29.28	c    71005     48     1230    27256   22     2647    1847   1222   9410 7.54
29.18/29.28	c    82366     48     1275    27760   21     2735    2032   1267   9278 8.88
29.18/29.28	c    99510     47     1872    41023   21     3933    2236   1864   8949 11.12
29.18/29.28	c   125330     46     1543    33960   22     3273    2460   1535   8673 14.45
29.18/29.28	c   164163     46     1684    35651   21     3550    2707   1676   8291 19.80
29.18/29.28	c   222517     46     2468    54902   22     5121    2978   2460   7763 28.66
29.18/29.28	o 3
77.17/77.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
77.17/77.23	c   226341     46     1766    38587   21     3730     764   1758   7731 29.27
77.17/77.23	c   226441     46      539    11237   20     1252     841    531   7731 29.29
77.17/77.23	c   226691     46      789    16795   21     1751     926    781   7733 29.31
77.17/77.23	c   227167     46      790    16763   21     1755    1019    782   7738 29.36
77.17/77.23	c   227980     46      567    11952   21     1310    1121    559   7743 29.44
77.17/77.23	c   229303     46      751    16098   21     1682    1234    743   7753 29.57
77.17/77.23	c   231385     46      952    20504   21     2081    1358    944   7768 29.79
77.17/77.23	c   234609     46     1409    30790   21     2995    1494   1401   7783 30.14
77.17/77.23	c   239545     46     1007    21994   21     2190    1644    999   7805 30.69
77.17/77.23	c   247051     46      957    20556   21     2090    1809    949   7828 31.56
77.17/77.23	c   258413     46     1259    27164   21     2697    1990   1251   7843 32.95
77.17/77.23	c   275557     46     1194    25925   21     2562    2190   1186   7826 35.21
77.17/77.23	c   301376     46     1432    31320   21     3040    2410   1424   7811 38.58
77.17/77.23	c   340208     46     2338    50636   21     4854    2652   2330   7700 44.18
77.17/77.23	c   398561     46     1597    34068   21     3373    2918   1589   7537 52.88
77.17/77.23	c   486193     46     2110    44531   21     4399    3210   2102   7247 67.08
77.17/77.23	o 2
1235.78/1236.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1235.78/1236.27	c   550592     46     3211    68799   21     6613     764   3203   7131 77.21
1235.78/1236.27	c   550692     46      539    10874   20     1258     841    531   7130 77.23
1235.78/1236.27	c   550943     46      790    15950   20     1758     926    782   7131 77.25
1235.78/1236.27	c   551418     46      792    15770   19     1761    1019    784   7134 77.29
1235.78/1236.27	c   552231     45      568    11326   19     1312    1121    560   7137 77.36
1235.78/1236.27	c   553551     45      745    14737   19     1666    1234    737   7144 77.48
1235.78/1236.27	c   555632     44      945    19742   20     2064    1358    937   7152 77.69
1235.78/1236.27	c   558855     44     1392    30380   21     2958    1494   1384   7163 78.01
1235.78/1236.27	c   563792     43      977    21116   21     2127    1644    969   7178 78.54
1235.78/1236.27	c   571298     43      944    19567   20     2059    1809    936   7199 79.35
1235.78/1236.27	c   582659     43     1245    25826   20     2658    1990   1237   7221 80.69
1235.78/1236.27	c   599804     42     1142    24227   21     2454    2190   1134   7235 82.89
1235.78/1236.27	c   625623     42     1375    29826   21     2917    2410   1367   7253 86.25
1235.78/1236.27	c   664455     42     2312    50162   21     4794    2652   2304   7256 91.56
1235.78/1236.27	c   722807     41     1533    32600   21     3233    2918   1525   7232 99.93
1235.78/1236.27	c   810439     40     2037    45136   22     4234    3210   2029   7179 112.89
1235.78/1236.27	c   941992     40     2126    46417   21     4417    3532   2118   7039 133.82
1235.78/1236.27	c  1139426     39     3351    74392   22     6866    3886   3343   6806 167.41
1235.78/1236.27	c  1435679     39     3534    77750   22     7232    4275   3526   6464 222.09
1235.78/1236.27	c  1880161     39     4143    91766   22     8445    4703   4135   6029 311.82
1235.78/1236.27	c  2546991     38     2951    64904   21     6064    5174   2943   5635 451.98
1235.78/1236.27	c  3547338     38     3291    71147   21     6742    5692   3283   5172 685.86
1235.78/1236.27	c  5047961     37     3811    81163   21     7784    6262   3803   4846 1041.57
1235.78/1236.27	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 
1235.78/1236.27	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1235.78/1236.27	c  123  5785129  21035  5808985     5032    76167   5024   4681 1235.86
1235.78/1236.27	c Objective: 2
1235.78/1236.27	s OPTIMUM FOUND
1235.78/1236.27	c Total time: 1235.86 s

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657551-1276599243/watcher-2657551-1276599243 -o /tmp/evaluation-result-2657551-1276599243/solver-2657551-1276599243 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657551-1276599243.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.78 0.95 0.98 3/106 1923
/proc/meminfo: memFree=1823704/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=26412 CPUtime=0
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 35525774 27045888 244 1992294400 134512640 137138936 4293137120 18446744073709551615 134600376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 6603 244 191 642 0 5959 0

[startup+0.055711 s]
/proc/loadavg: 0.78 0.95 0.98 3/106 1923
/proc/meminfo: memFree=1823704/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=18728 CPUtime=0.05
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 384 0 0 0 5 0 0 0 20 0 1 0 35525774 19177472 302 1992294400 134512640 137138936 4293137120 18446744073709551615 136504083 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 4682 302 191 642 0 4038 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18728

[startup+0.100717 s]
/proc/loadavg: 0.78 0.95 0.98 3/106 1923
/proc/meminfo: memFree=1823704/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=18988 CPUtime=0.09
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 424 0 0 0 9 0 0 0 20 0 1 0 35525774 19443712 342 1992294400 134512640 137138936 4293137120 18446744073709551615 134542469 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 4747 342 191 642 0 4103 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18988

[startup+0.300743 s]
/proc/loadavg: 0.78 0.95 0.98 3/106 1923
/proc/meminfo: memFree=1823704/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=18992 CPUtime=0.29
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 435 0 0 0 29 0 0 0 20 0 1 0 35525774 19447808 353 1992294400 134512640 137138936 4293137120 18446744073709551615 136500294 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 4748 353 191 642 0 4104 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18992

[startup+0.700795 s]
/proc/loadavg: 0.78 0.95 0.98 3/106 1923
/proc/meminfo: memFree=1823704/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=18992 CPUtime=0.69
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 438 0 0 0 69 0 0 0 20 0 1 0 35525774 19447808 356 1992294400 134512640 137138936 4293137120 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 4748 356 191 642 0 4104 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18992

[startup+1.5009 s]
/proc/loadavg: 0.78 0.95 0.98 2/107 1924
/proc/meminfo: memFree=1822952/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=19120 CPUtime=1.49
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 464 0 0 0 148 1 0 0 23 0 1 0 35525774 19578880 382 1992294400 134512640 137138936 4293137120 18446744073709551615 136511153 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 4780 382 191 642 0 4136 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19120

[startup+3.10111 s]
/proc/loadavg: 0.78 0.95 0.98 2/107 1924
/proc/meminfo: memFree=1822580/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=19248 CPUtime=3.09
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 495 0 0 0 306 3 0 0 25 0 1 0 35525774 19709952 413 1992294400 134512640 137138936 4293137120 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 4812 413 191 642 0 4168 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19248

[startup+6.30153 s]
/proc/loadavg: 0.80 0.95 0.98 2/107 1924
/proc/meminfo: memFree=1822208/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=19248 CPUtime=6.29
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 509 0 0 0 622 7 0 0 25 0 1 0 35525774 19709952 427 1992294400 134512640 137138936 4293137120 18446744073709551615 134603709 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 4812 427 191 642 0 4168 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19248

[startup+12.7014 s]
/proc/loadavg: 0.81 0.95 0.98 2/107 1926
/proc/meminfo: memFree=1822084/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=19504 CPUtime=12.69
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 549 0 0 0 1256 13 0 0 25 0 1 0 35525774 19972096 467 1992294400 134512640 137138936 4293137120 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 4876 467 191 642 0 4232 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19504

[startup+25.501 s]
/proc/loadavg: 0.85 0.95 0.98 2/107 1926
/proc/meminfo: memFree=1821960/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=19624 CPUtime=25.48
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 597 0 0 0 2525 23 0 0 25 0 1 0 35525774 20094976 515 1992294400 134512640 137138936 4293137120 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 4906 515 191 642 0 4262 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19624

[startup+51.1004 s]
/proc/loadavg: 0.90 0.96 0.98 2/107 1926
/proc/meminfo: memFree=1821836/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=19756 CPUtime=51.07
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 622 0 0 0 5062 45 0 0 25 0 1 0 35525774 20230144 540 1992294400 134512640 137138936 4293137120 18446744073709551615 134599986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 4939 540 191 642 0 4295 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19756

[startup+102.308 s]
/proc/loadavg: 0.96 0.96 0.98 2/107 1928
/proc/meminfo: memFree=1821588/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=19872 CPUtime=102.27
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 648 0 0 0 10138 89 0 0 25 0 1 0 35525774 20348928 566 1992294400 134512640 137138936 4293137120 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 4968 566 191 642 0 4324 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 19872

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.98 2/107 1930
/proc/meminfo: memFree=1821340/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=20000 CPUtime=162.24
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 684 0 0 0 16093 131 0 0 25 0 1 0 35525774 20480000 602 1992294400 134512640 137138936 4293137120 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5000 602 191 642 0 4356 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 20000

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 1930
/proc/meminfo: memFree=1821340/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=20260 CPUtime=222.22
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 740 0 0 0 22054 168 0 0 25 0 1 0 35525774 20746240 658 1992294400 134512640 137138936 4293137120 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5065 658 191 642 0 4421 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 20260

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 1932
/proc/meminfo: memFree=1821092/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=20260 CPUtime=282.2
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 759 0 0 0 28017 203 0 0 25 0 1 0 35525774 20746240 677 1992294400 134512640 137138936 4293137120 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5065 677 191 642 0 4421 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 20260

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 1934
/proc/meminfo: memFree=1820968/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=20500 CPUtime=342.18
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 804 0 0 0 33979 239 0 0 25 0 1 0 35525774 20992000 722 1992294400 134512640 137138936 4293137120 18446744073709551615 136501669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5125 722 191 642 0 4481 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 20500

[startup+402.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 1940
/proc/meminfo: memFree=1820844/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=20500 CPUtime=402.16
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 805 0 0 0 39947 269 0 0 25 0 1 0 35525774 20992000 723 1992294400 134512640 137138936 4293137120 18446744073709551615 134542544 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5125 723 191 642 0 4481 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 20500

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 1951
/proc/meminfo: memFree=1819976/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=20628 CPUtime=462.13
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 848 0 0 0 45910 303 0 0 25 0 1 0 35525774 21123072 766 1992294400 134512640 137138936 4293137120 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5157 766 191 642 0 4513 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 20628

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 1951
/proc/meminfo: memFree=1819976/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=20628 CPUtime=522.11
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 852 0 0 0 51874 337 0 0 25 0 1 0 35525774 21123072 770 1992294400 134512640 137138936 4293137120 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5157 770 191 642 0 4513 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 20628

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 1953
/proc/meminfo: memFree=1819976/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=20628 CPUtime=582.09
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 853 0 0 0 57840 369 0 0 25 0 1 0 35525774 21123072 771 1992294400 134512640 137138936 4293137120 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5157 771 191 642 0 4513 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 20628

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 1955
/proc/meminfo: memFree=1819976/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=20628 CPUtime=642.07
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 853 0 0 0 63805 402 0 0 25 0 1 0 35525774 21123072 771 1992294400 134512640 137138936 4293137120 18446744073709551615 136296970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5157 771 191 642 0 4513 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 20628

[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 1957
/proc/meminfo: memFree=1819728/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=20872 CPUtime=702.04
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 900 0 0 0 69769 435 0 0 25 0 1 0 35525774 21372928 818 1992294400 134512640 137138936 4293137120 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5218 818 191 642 0 4574 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 20872

[startup+762.309 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 1959
/proc/meminfo: memFree=1819728/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=20872 CPUtime=762.04
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 908 0 0 0 75736 468 0 0 25 0 1 0 35525774 21372928 826 1992294400 134512640 137138936 4293137120 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5218 826 191 642 0 4574 0
Current children cumulated CPU time (s) 762.04
Current children cumulated vsize (KiB) 20872

[startup+822.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 1959
/proc/meminfo: memFree=1819604/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=20872 CPUtime=822.01
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 908 0 0 0 81703 498 0 0 25 0 1 0 35525774 21372928 826 1992294400 134512640 137138936 4293137120 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5218 826 191 642 0 4574 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 20872

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 1961
/proc/meminfo: memFree=1819480/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=20872 CPUtime=881.99
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 912 0 0 0 87673 526 0 0 25 0 1 0 35525774 21372928 830 1992294400 134512640 137138936 4293137120 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5218 830 191 642 0 4574 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 20872

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 1963
/proc/meminfo: memFree=1819356/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=20872 CPUtime=941.98
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 913 0 0 0 93646 552 0 0 25 0 1 0 35525774 21372928 831 1992294400 134512640 137138936 4293137120 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5218 831 191 642 0 4574 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 20872

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 1965
/proc/meminfo: memFree=1819356/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=20872 CPUtime=1001.96
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 913 0 0 0 99614 582 0 0 25 0 1 0 35525774 21372928 831 1992294400 134512640 137138936 4293137120 18446744073709551615 134600089 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5218 831 191 642 0 4574 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 20872

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 3/107 1967
/proc/meminfo: memFree=1819232/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=21004 CPUtime=1061.93
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 945 0 0 0 105583 610 0 0 25 0 1 0 35525774 21508096 863 1992294400 134512640 137138936 4293137120 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5251 863 191 642 0 4607 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 21004

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 1967
/proc/meminfo: memFree=1819108/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=21004 CPUtime=1121.91
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 952 0 0 0 111553 638 0 0 25 0 1 0 35525774 21508096 870 1992294400 134512640 137138936 4293137120 18446744073709551615 136505202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5251 870 191 642 0 4607 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 21004

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 1969
/proc/meminfo: memFree=1819108/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=21004 CPUtime=1181.9
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 952 0 0 0 117525 665 0 0 25 0 1 0 35525774 21508096 870 1992294400 134512640 137138936 4293137120 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5251 870 191 642 0 4607 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 21004

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

[startup+1203.1 s]
/proc/loadavg: 1.07 0.99 0.99 3/108 1976
/proc/meminfo: memFree=1791820/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=21004 CPUtime=1202.69
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 952 0 0 0 119594 675 0 0 25 0 1 0 35525774 21508096 870 1992294400 134512640 137138936 4293137120 18446744073709551615 136501668 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5251 870 191 642 0 4607 0
Current children cumulated CPU time (s) 1202.69
Current children cumulated vsize (KiB) 21004

[startup+1215.9 s]
/proc/loadavg: 1.06 0.99 0.99 2/107 1979
/proc/meminfo: memFree=1818488/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=21004 CPUtime=1215.48
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 952 0 0 0 120867 681 0 0 25 0 1 0 35525774 21508096 870 1992294400 134512640 137138936 4293137120 18446744073709551615 134540744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5251 870 191 642 0 4607 0
Current children cumulated CPU time (s) 1215.48
Current children cumulated vsize (KiB) 21004

[startup+1228.71 s]
/proc/loadavg: 1.05 0.99 0.99 2/107 1979
/proc/meminfo: memFree=1818612/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=21004 CPUtime=1228.28
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 952 0 0 0 122143 685 0 0 25 0 1 0 35525774 21508096 870 1992294400 134512640 137138936 4293137120 18446744073709551615 134542152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5251 870 191 642 0 4607 0
Current children cumulated CPU time (s) 1228.28
Current children cumulated vsize (KiB) 21004

[startup+1231.9 s]
/proc/loadavg: 1.05 0.99 0.99 2/107 1979
/proc/meminfo: memFree=1818612/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=21004 CPUtime=1231.48
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 952 0 0 0 122461 687 0 0 25 0 1 0 35525774 21508096 870 1992294400 134512640 137138936 4293137120 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5251 870 191 642 0 4607 0
Current children cumulated CPU time (s) 1231.48
Current children cumulated vsize (KiB) 21004

[startup+1233.5 s]
/proc/loadavg: 1.04 0.99 0.99 2/107 1979
/proc/meminfo: memFree=1818612/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=21004 CPUtime=1233.08
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 952 0 0 0 122620 688 0 0 25 0 1 0 35525774 21508096 870 1992294400 134512640 137138936 4293137120 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5251 870 191 642 0 4607 0
Current children cumulated CPU time (s) 1233.08
Current children cumulated vsize (KiB) 21004

[startup+1235.1 s]
/proc/loadavg: 1.04 0.99 0.99 2/107 1979
/proc/meminfo: memFree=1818612/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=21004 CPUtime=1234.68
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 952 0 0 0 122779 689 0 0 25 0 1 0 35525774 21508096 870 1992294400 134512640 137138936 4293137120 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5251 870 191 642 0 4607 0
Current children cumulated CPU time (s) 1234.68
Current children cumulated vsize (KiB) 21004

[startup+1235.9 s]
/proc/loadavg: 1.04 0.99 0.99 2/107 1979
/proc/meminfo: memFree=1818612/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=21004 CPUtime=1235.48
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 952 0 0 0 122859 689 0 0 25 0 1 0 35525774 21508096 870 1992294400 134512640 137138936 4293137120 18446744073709551615 134542883 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5251 870 191 642 0 4607 0
Current children cumulated CPU time (s) 1235.48
Current children cumulated vsize (KiB) 21004

[startup+1236.1 s]
/proc/loadavg: 1.04 0.99 0.99 2/107 1979
/proc/meminfo: memFree=1818612/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=21004 CPUtime=1235.68
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 952 0 0 0 122879 689 0 0 25 0 1 0 35525774 21508096 870 1992294400 134512640 137138936 4293137120 18446744073709551615 136504280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5251 870 191 642 0 4607 0
Current children cumulated CPU time (s) 1235.68
Current children cumulated vsize (KiB) 21004

[startup+1236.2 s]
/proc/loadavg: 1.04 0.99 0.99 2/107 1979
/proc/meminfo: memFree=1818612/2059040 swapFree=4139776/4192956
[pid=1923] ppid=1921 vsize=21004 CPUtime=1235.78
/proc/1923/stat : 1923 (bsolo_pb10) R 1921 1923 1897 0 -1 4202496 952 0 0 0 122889 689 0 0 25 0 1 0 35525774 21508096 870 1992294400 134512640 137138936 4293137120 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1923/statm: 5251 870 191 642 0 4607 0
Current children cumulated CPU time (s) 1235.78
Current children cumulated vsize (KiB) 21004

Child status: 0
Real time (s): 1236.28
CPU time (s): 1235.87
CPU user time (s): 1228.97
CPU system time (s): 6.89695
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 21004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1228.97
system time used= 6.89695
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 953
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= 1
involuntary context switches= 6163

runsolver used 2.10168 second user time and 5.78812 second system time

The end

Launcher Data 

Begin job on node013 at 2010-06-15 12:54:03
IDJOB=2657551
IDBENCH=2896
IDSOLVER=1163
FILE ID=node013/2657551-1276599243
PBS_JOBID= 11172238
Free space on /tmp= 62552 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_3.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657551-1276599243/watcher-2657551-1276599243 -o /tmp/evaluation-result-2657551-1276599243/solver-2657551-1276599243 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657551-1276599243.opb

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

MD5SUM BENCH= d26b3b10be20d9248aac462b86b1f040
RANDOM SEED=228720730

node013.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.253
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.50
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.253
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1824232 kB
Buffers:         47012 kB
Cached:         106348 kB
SwapCached:       6656 kB
Active:          86232 kB
Inactive:        80844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1824232 kB
SwapTotal:     4192956 kB
SwapFree:      4139776 kB
Dirty:            4088 kB
Writeback:           0 kB
AnonPages:       11964 kB
Mapped:          13028 kB
Slab:            45968 kB
PageTables:       4020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182544 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62548 MiB
End job on node013 at 2010-06-15 13:14:39