Trace number 1878615

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
bsolo 3.1 clOPT2 1211.29 1211.6

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 benchmark47.0908
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.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1878615-1245174194.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 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  12000 0.00
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   9800 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  10166 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   9714 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   9714 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   9857 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   9800 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   9750 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   9647 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   9611 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   9545 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   9259 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.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      493     89      520    14994   28     2011     850    512   9666 0.05
0.00/0.05	o 46
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      557     89      585    16111   27     2314     850    577   9771 0.06
0.00/0.06	o 44
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      558     89      587    16218   27     2372     850    579   9620 0.06
0.00/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   9661 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   9684 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   9976 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   9984 0.13
0.09/0.14	c     1359     71      446     9118   20     1145     911    438   9919 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   9886 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  10099 0.16
0.09/0.17	c     1727     70      816    17256   21     1964     894    808  10099 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  10132 0.17
0.19/0.23	c     1863     70      539    11553   21     1319     894    531  10180 0.18
0.19/0.23	c     2114     70      790    17067   21     1826     984    782  10312 0.20
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  10301 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  10313 0.24
0.19/0.26	c     2534     64      707    15133   21     1722     894    699  10342 0.24
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  10370 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  10301 0.26
0.39/0.42	c     2799     62      553    11799   21     1355     876    545  10366 0.27
0.39/0.42	c     3050     62      804    17298   21     1863     964    796  10517 0.29
0.39/0.42	c     3526     62      784    16639   21     1790    1061    776  10556 0.33
0.39/0.42	c     4339     62     1052    23288   22     2325    1168   1044  10660 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  10658 0.42
0.79/0.86	c     4567     62      540    11550   21     1302     876    532  10645 0.43
0.79/0.86	c     4817     62      790    16985   21     1800     964    782  10728 0.45
0.79/0.86	c     5293     62      770    16300   21     1764    1061    762  10802 0.49
0.79/0.86	c     6106     62     1038    22292   21     2301    1168   1030  10845 0.56
0.79/0.86	c     7426     62     1167    25579   21     2556    1285   1159  10793 0.69
0.79/0.86	o 7
3.30/3.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.30/3.38	c     9144     62      917    20307   22     2087     796    909  10657 0.86
3.30/3.38	c     9244     60      539    11674   21     1299     876    531  10649 0.87
3.30/3.38	c     9495     57      790    16971   21     1796     964    782  10668 0.89
3.30/3.38	c     9971     55      772    16001   20     1752    1061    764  10687 0.93
3.30/3.38	c    10785     55     1044    22159   21     2300    1168   1036  10688 1.01
3.30/3.38	c    12105     55     1168    25129   21     2546    1285   1160  10627 1.14
3.30/3.38	c    14186     54     1287    27874   21     2778    1414   1279  10602 1.34
3.30/3.38	c    17411     54      906    20054   22     2018    1556    898  10388 1.68
3.30/3.38	c    22347     54     1078    23946   22     2366    1712   1070  10003 2.23
3.30/3.38	c    29854     54     1588    34766   21     3386    1884   1580   9587 3.11
3.30/3.38	o 5
5.29/5.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.29/5.30	c    32111     54     1920    41667   21     4074     780   1912   9505 3.38
5.29/5.30	c    32211     54      539    11294   20     1278     859    531   9498 3.39
5.29/5.30	c    32462     54      790    16884   21     1775     945    782   9514 3.41
5.29/5.30	c    32937     54      782    16008   20     1764    1040    774   9533 3.46
5.29/5.30	c    33750     54     1056    22163   20     2312    1145   1048   9555 3.53
5.29/5.30	c    35071     54      622    13248   21     1447    1260    614   9543 3.67
5.29/5.30	c    37153     54      786    16768   21     1772    1387    778   9587 3.88
5.29/5.30	c    40378     54     1182    25862   21     2565    1526   1174   9584 4.21
5.29/5.30	c    45315     54     1443    31566   21     3087    1679   1435   9546 4.75
5.29/5.30	o 4
29.18/29.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.18/29.24	c    50294     54     1277    28069   21     2776     780   1269   9491 5.30
29.18/29.24	c    50395     53      540    11675   21     1276     859    532   9490 5.31
29.18/29.24	c    50645     52      790    17085   21     1776     945    782   9498 5.33
29.18/29.24	c    51120     51      779    16423   21     1749    1040    771   9510 5.38
29.18/29.24	c    51933     50     1055    22267   21     2302    1145   1047   9525 5.45
29.18/29.24	c    53253     50      626    13169   21     1446    1260    618   9538 5.58
29.18/29.24	c    55335     50      785    16901   21     1763    1387    777   9556 5.79
29.18/29.24	c    58560     49     1192    25502   21     2578    1526   1184   9562 6.12
29.18/29.24	c    63497     48     1435    30731   21     3054    1679   1427   9542 6.65
29.18/29.24	c    71005     48     1230    27256   22     2647    1847   1222   9440 7.52
29.18/29.24	c    82366     48     1275    27760   21     2735    2032   1267   9316 8.84
29.18/29.24	c    99510     47     1872    41023   21     3933    2236   1864   8990 11.07
29.18/29.24	c   125330     46     1543    33960   22     3273    2460   1535   8716 14.38
29.18/29.24	c   164163     46     1684    35651   21     3550    2707   1676   8318 19.73
29.18/29.24	c   222517     46     2468    54902   22     5121    2978   2460   7773 28.62
29.18/29.24	o 3
76.98/77.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
76.98/77.04	c   226341     46     1766    38587   21     3730     764   1758   7742 29.23
76.98/77.04	c   226441     46      539    11237   20     1252     841    531   7741 29.25
76.98/77.04	c   226691     46      789    16795   21     1751     926    781   7744 29.27
76.98/77.04	c   227167     46      790    16763   21     1755    1019    782   7749 29.32
76.98/77.04	c   227980     46      567    11952   21     1310    1121    559   7754 29.40
76.98/77.04	c   229303     46      751    16098   21     1682    1234    743   7765 29.53
76.98/77.04	c   231385     46      952    20504   21     2081    1358    944   7781 29.74
76.98/77.04	c   234609     46     1409    30790   21     2995    1494   1401   7797 30.09
76.98/77.04	c   239545     46     1007    21994   21     2190    1644    999   7820 30.63
76.98/77.04	c   247051     46      957    20556   21     2090    1809    949   7845 31.49
76.98/77.04	c   258413     46     1259    27164   21     2697    1990   1251   7863 32.86
76.98/77.04	c   275557     46     1194    25925   21     2562    2190   1186   7850 35.10
76.98/77.04	c   301376     46     1432    31320   21     3040    2410   1424   7836 38.46
76.98/77.04	c   340208     46     2338    50636   21     4854    2652   2330   7718 44.08
76.98/77.04	c   398561     46     1597    34068   21     3373    2918   1589   7553 52.77
76.98/77.04	c   486193     46     2110    44531   21     4399    3210   2102   7261 66.95
76.98/77.04	o 2
1211.18/1211.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1211.18/1211.60	c   550592     46     3211    68799   21     6613     764   3203   7148 77.02
1211.18/1211.60	c   550692     46      539    10874   20     1258     841    531   7147 77.05
1211.18/1211.60	c   550943     46      790    15950   20     1758     926    782   7148 77.07
1211.18/1211.60	c   551418     46      792    15770   19     1761    1019    784   7151 77.11
1211.18/1211.60	c   552231     45      568    11326   19     1312    1121    560   7155 77.18
1211.18/1211.60	c   553551     45      745    14737   19     1666    1234    737   7161 77.30
1211.18/1211.60	c   555632     44      945    19742   20     2064    1358    937   7169 77.50
1211.18/1211.60	c   558855     44     1392    30380   21     2958    1494   1384   7180 77.83
1211.18/1211.60	c   563792     43      977    21116   21     2127    1644    969   7195 78.35
1211.18/1211.60	c   571298     43      944    19567   20     2059    1809    936   7216 79.16
1211.18/1211.60	c   582659     43     1245    25826   20     2658    1990   1237   7238 80.49
1211.18/1211.60	c   599804     42     1142    24227   21     2454    2190   1134   7253 82.69
1211.18/1211.60	c   625623     42     1375    29826   21     2917    2410   1367   7269 86.06
1211.18/1211.60	c   664455     42     2312    50162   21     4794    2652   2304   7272 91.37
1211.18/1211.60	c   722807     41     1533    32600   21     3233    2918   1525   7247 99.73
1211.18/1211.60	c   810439     40     2037    45136   22     4234    3210   2029   7192 112.67
1211.18/1211.60	c   941992     40     2126    46417   21     4417    3532   2118   7050 133.61
1211.18/1211.60	c  1139426     39     3351    74392   22     6866    3886   3343   6809 167.34
1211.18/1211.60	c  1435679     39     3534    77750   22     7232    4275   3526   6477 221.65
1211.18/1211.60	c  1880161     39     4143    91766   22     8445    4703   4135   6076 309.43
1211.18/1211.60	c  2546991     38     2951    64904   21     6064    5174   2943   5707 446.27
1211.18/1211.60	c  3547338     38     3291    71147   21     6742    5692   3283   5270 673.07
1211.18/1211.60	c  5047961     37     3811    81163   21     7784    6262   3803   4945 1020.80
1211.18/1211.60	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 
1211.18/1211.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1211.18/1211.60	c  123  5785129  21035  5808985     5032    76167   5024   4776 1211.29
1211.18/1211.60	c Objective: 2
1211.18/1211.60	s OPTIMUM FOUND
1211.18/1211.60	c Total time: 1211.29 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-1878615-1245174194/watcher-1878615-1245174194 -o /tmp/evaluation-result-1878615-1245174194/solver-1878615-1245174194 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878615-1245174194.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.84 0.95 0.98 3/64 2135
/proc/meminfo: memFree=1856752/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=26200 CPUtime=0
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 185019686 26828800 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 6550 242 196 640 0 5906 0

[startup+0.0687359 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 2135
/proc/meminfo: memFree=1856752/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=18776 CPUtime=0.06
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 333 0 0 0 6 0 0 0 18 0 1 0 185019686 19226624 316 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 4694 316 196 640 0 4050 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18776

[startup+0.101738 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 2135
/proc/meminfo: memFree=1856752/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=18904 CPUtime=0.09
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 364 0 0 0 9 0 0 0 18 0 1 0 185019686 19357696 347 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 4726 347 196 640 0 4082 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18904

[startup+0.301758 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 2135
/proc/meminfo: memFree=1856752/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=18908 CPUtime=0.29
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 373 0 0 0 29 0 0 0 19 0 1 0 185019686 19361792 356 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 4727 356 196 640 0 4083 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18908

[startup+0.701798 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 2135
/proc/meminfo: memFree=1856752/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=18908 CPUtime=0.69
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 378 0 0 0 69 0 0 0 22 0 1 0 185019686 19361792 361 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 4727 361 196 640 0 4083 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18908

[startup+1.50288 s]
/proc/loadavg: 0.84 0.95 0.98 2/65 2136
/proc/meminfo: memFree=1855976/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=19036 CPUtime=1.49
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 402 0 0 0 148 1 0 0 25 0 1 0 185019686 19492864 385 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 4759 385 196 640 0 4115 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19036

[startup+3.10104 s]
/proc/loadavg: 0.84 0.95 0.98 2/65 2136
/proc/meminfo: memFree=1855720/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=19164 CPUtime=3.09
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 433 0 0 0 307 2 0 0 25 0 1 0 185019686 19623936 416 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 4791 416 196 640 0 4147 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19164

[startup+6.30137 s]
/proc/loadavg: 0.85 0.95 0.98 2/65 2136
/proc/meminfo: memFree=1855472/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=19164 CPUtime=6.29
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 447 0 0 0 624 5 0 0 25 0 1 0 185019686 19623936 430 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 4791 430 196 640 0 4147 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19164

[startup+12.702 s]
/proc/loadavg: 0.87 0.95 0.98 2/65 2136
/proc/meminfo: memFree=1855344/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=19420 CPUtime=12.69
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 487 0 0 0 1259 10 0 0 25 0 1 0 185019686 19886080 470 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 4855 470 196 640 0 4211 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19420

[startup+25.5013 s]
/proc/loadavg: 0.89 0.95 0.98 2/65 2136
/proc/meminfo: memFree=1855216/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=19540 CPUtime=25.48
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 535 0 0 0 2530 18 0 0 25 0 1 0 185019686 20008960 518 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 4885 518 196 640 0 4241 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19540

[startup+51.1019 s]
/proc/loadavg: 0.93 0.96 0.98 2/65 2136
/proc/meminfo: memFree=1855088/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=19672 CPUtime=51.08
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 560 0 0 0 5075 33 0 0 25 0 1 0 185019686 20144128 543 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 4918 543 196 640 0 4274 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19672

[startup+102.305 s]
/proc/loadavg: 0.97 0.96 0.98 2/65 2136
/proc/meminfo: memFree=1855024/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=19788 CPUtime=102.27
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 586 0 0 0 10163 64 0 0 25 0 1 0 185019686 20262912 569 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 4947 569 196 640 0 4303 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 19788

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2136
/proc/meminfo: memFree=1854832/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=19916 CPUtime=162.25
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 622 0 0 0 16131 94 0 0 25 0 1 0 185019686 20393984 605 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 4979 605 196 640 0 4335 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 19916

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2136
/proc/meminfo: memFree=1854640/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20176 CPUtime=222.23
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 689 0 0 0 22102 121 0 0 25 0 1 0 185019686 20660224 672 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5044 672 196 640 0 4400 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 20176

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2136
/proc/meminfo: memFree=1854576/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20176 CPUtime=282.22
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 697 0 0 0 28073 149 0 0 25 0 1 0 185019686 20660224 680 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5044 680 196 640 0 4400 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 20176

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2136
/proc/meminfo: memFree=1854320/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20416 CPUtime=342.21
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 742 0 0 0 34046 175 0 0 25 0 1 0 185019686 20905984 725 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5104 725 196 640 0 4460 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 20416

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2136
/proc/meminfo: memFree=1854384/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20416 CPUtime=402.19
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 743 0 0 0 40020 199 0 0 25 0 1 0 185019686 20905984 726 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5104 726 196 640 0 4460 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 20416

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2136
/proc/meminfo: memFree=1854128/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20544 CPUtime=462.18
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 786 0 0 0 45992 226 0 0 25 0 1 0 185019686 21037056 769 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5136 769 196 640 0 4492 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 20544

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2138
/proc/meminfo: memFree=1853936/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20544 CPUtime=522.16
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 790 0 0 0 51967 249 0 0 25 0 1 0 185019686 21037056 773 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5136 773 196 640 0 4492 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 20544

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2138
/proc/meminfo: memFree=1854000/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20544 CPUtime=582.14
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 791 0 0 0 57944 270 0 0 25 0 1 0 185019686 21037056 774 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5136 774 196 640 0 4492 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 20544

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2138
/proc/meminfo: memFree=1854000/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20544 CPUtime=642.13
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 791 0 0 0 63919 294 0 0 25 0 1 0 185019686 21037056 774 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5136 774 196 640 0 4492 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 20544

[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2138
/proc/meminfo: memFree=1853872/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20788 CPUtime=702.11
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 838 0 0 0 69897 314 0 0 25 0 1 0 185019686 21286912 821 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5197 821 196 640 0 4553 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 20788

[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2138
/proc/meminfo: memFree=1853872/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20788 CPUtime=762.1
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 846 0 0 0 75874 336 0 0 25 0 1 0 185019686 21286912 829 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5197 829 196 640 0 4553 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 20788

[startup+822.301 s]
/proc/loadavg: 1.03 0.99 0.99 2/65 2138
/proc/meminfo: memFree=1853808/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20788 CPUtime=822.08
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 850 0 0 0 81851 357 0 0 25 0 1 0 185019686 21286912 833 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5197 833 196 640 0 4553 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 20788

[startup+882.301 s]
/proc/loadavg: 1.05 1.00 0.99 2/65 2138
/proc/meminfo: memFree=1853744/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20788 CPUtime=882.07
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 851 0 0 0 87829 378 0 0 25 0 1 0 185019686 21286912 834 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5197 834 196 640 0 4553 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 20788

[startup+942.301 s]
/proc/loadavg: 1.13 1.03 1.01 2/65 2138
/proc/meminfo: memFree=1853744/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20788 CPUtime=942.05
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 851 0 0 0 93806 399 0 0 25 0 1 0 185019686 21286912 834 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5197 834 196 640 0 4553 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 20788

[startup+1002.3 s]
/proc/loadavg: 1.12 1.04 1.00 2/65 2138
/proc/meminfo: memFree=1853744/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20788 CPUtime=1002.03
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 851 0 0 0 99784 419 0 0 25 0 1 0 185019686 21286912 834 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5197 834 196 640 0 4553 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 20788

[startup+1062.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/65 2138
/proc/meminfo: memFree=1853680/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20920 CPUtime=1062.02
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 890 0 0 0 105761 441 0 0 25 0 1 0 185019686 21422080 873 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5230 873 196 640 0 4586 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 20920

[startup+1122.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 2144
/proc/meminfo: memFree=1853680/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20920 CPUtime=1122.01
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 890 0 0 0 111742 459 0 0 25 0 1 0 185019686 21422080 873 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5230 873 196 640 0 4586 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 20920

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 2144
/proc/meminfo: memFree=1853616/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20920 CPUtime=1181.99
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 890 0 0 0 117720 479 0 0 25 0 1 0 185019686 21422080 873 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5230 873 196 640 0 4586 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 20920

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

[startup+1190.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 2144
/proc/meminfo: memFree=1853616/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20920 CPUtime=1189.98
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 890 0 0 0 118517 481 0 0 25 0 1 0 185019686 21422080 873 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5230 873 196 640 0 4586 0
Current children cumulated CPU time (s) 1189.98
Current children cumulated vsize (KiB) 20920

[startup+1203.1 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2144
/proc/meminfo: memFree=1853616/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20920 CPUtime=1202.78
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 890 0 0 0 119792 486 0 0 25 0 1 0 185019686 21422080 873 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5230 873 196 640 0 4586 0
Current children cumulated CPU time (s) 1202.78
Current children cumulated vsize (KiB) 20920

[startup+1206.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2144
/proc/meminfo: memFree=1853616/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20920 CPUtime=1205.98
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 890 0 0 0 120111 487 0 0 25 0 1 0 185019686 21422080 873 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5230 873 196 640 0 4586 0
Current children cumulated CPU time (s) 1205.98
Current children cumulated vsize (KiB) 20920

[startup+1209.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2144
/proc/meminfo: memFree=1853552/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20920 CPUtime=1209.18
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 890 0 0 0 120430 488 0 0 25 0 1 0 185019686 21422080 873 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5230 873 196 640 0 4586 0
Current children cumulated CPU time (s) 1209.18
Current children cumulated vsize (KiB) 20920

[startup+1210.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2144
/proc/meminfo: memFree=1853552/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20920 CPUtime=1209.98
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 890 0 0 0 120510 488 0 0 25 0 1 0 185019686 21422080 873 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5230 873 196 640 0 4586 0
Current children cumulated CPU time (s) 1209.98
Current children cumulated vsize (KiB) 20920

[startup+1211.11 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2144
/proc/meminfo: memFree=1853552/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20920 CPUtime=1210.78
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 890 0 0 0 120590 488 0 0 25 0 1 0 185019686 21422080 873 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5230 873 196 640 0 4586 0
Current children cumulated CPU time (s) 1210.78
Current children cumulated vsize (KiB) 20920

[startup+1211.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2144
/proc/meminfo: memFree=1853552/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=20920 CPUtime=1211.18
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194304 890 0 0 0 120629 489 0 0 25 0 1 0 185019686 21422080 873 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 5230 873 196 640 0 4586 0
Current children cumulated CPU time (s) 1211.18
Current children cumulated vsize (KiB) 20920

[startup+1211.6 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2144
/proc/meminfo: memFree=1853552/2055920 swapFree=4182564/4192956
[pid=2135] ppid=2133 vsize=0 CPUtime=1211.28
/proc/2135/stat : 2135 (bsolo) R 2133 2135 2092 0 -1 4194308 892 0 0 0 120639 489 0 0 25 0 1 0 185019686 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2135/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1211.28
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1211.6
CPU time (s): 1211.29
CPU user time (s): 1206.4
CPU system time (s): 4.89126
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 20920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1206.4
system time used= 4.89126
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 892
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1866

runsolver used 1.10183 second user time and 2.23466 second system time

The end

Launcher Data 

Begin job on node17 at 2009-06-16 19:43:14
IDJOB=1878615
IDBENCH=2896
IDSOLVER=700
FILE ID=node17/1878615-1245174194
PBS_JOBID= 9363919
Free space on /tmp= 66356 MiB

SOLVER NAME= bsolo 3.1 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 -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878615-1245174194/watcher-1878615-1245174194 -o /tmp/evaluation-result-1878615-1245174194/solver-1878615-1245174194 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1878615-1245174194.opb

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

MD5SUM BENCH= d26b3b10be20d9248aac462b86b1f040
RANDOM SEED=1312657815

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1857232 kB
Buffers:         42448 kB
Cached:          88444 kB
SwapCached:       4224 kB
Active:          18596 kB
Inactive:       120048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1857232 kB
SwapTotal:     4192956 kB
SwapFree:      4182564 kB
Dirty:            4136 kB
Writeback:           0 kB
Mapped:          13604 kB
Slab:            45984 kB
Committed_AS:   168384 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878615-1245174194.opb

Free space on /tmp at the end= 66352 MiB
End job on node17 at 2009-06-16 20:03:26