Trace number 1880057

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 pbSAT4 1798 1798.5

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_1.opb
MD5SUM5bf563c7058af01702ea80887f1d43ad
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark695.946
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved NO
Number of variables120
Total number of constraints10
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 constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
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 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1086
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3768
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: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1880057-1245241576.opb
0.00/0.00	c File size is 5459 bytes.
0.00/0.00	c Highest Coefficient sum: 3768
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 120 Constr: 10 0/0/10 Lit: 558 Watch. Lit: 162
0.00/0.00	c Obj. Vars: 80 (66.6667 % 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    120       10      558   55      164    1116      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 1090
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    120       11      638   58      427    1276      1      0 0.00
0.00/0.00	o 1006
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        7    120       26     1748   67      776    1276     16   1750 0.00
0.00/0.00	o 200
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        9    120       31     2031   65      826    1276     21   1800 0.01
0.00/0.00	o 199
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       19    120       52     3394   65     1686    1276     42   2714 0.01
0.00/0.00	o 197
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       20    120       55     3642   66     1849    1276     45   2500 0.01
0.00/0.01	o 195
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       29    120       74     5032   68     2530    1276     64   2636 0.01
0.00/0.01	o 174
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       38    120       93     6075   65     3019    1276     83   2375 0.02
0.00/0.02	o 172
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       47    120      112     7602   67     3695    1276    102   2136 0.02
0.00/0.02	o 170
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       48    120      115     7860   68     3882    1276    105   2000 0.02
0.00/0.02	o 156
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c       49    120      118     8069   68     4036    1276    108   1960 0.03
0.00/0.05	o 154
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c       99    120      219    15776   72     7392    1276    209   1767 0.06
0.00/0.07	o 148
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c      123    120      266    18345   68     7338    1276    256   1708 0.07
0.00/0.07	o 136
0.00/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.08	c      128    120      277    19039   68     7822    1276    267   1662 0.08
0.00/0.08	o 128
0.00/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.09	c      142    120      306    20944   68     8303    1276    296   1613 0.09
0.00/0.09	o 126
0.00/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.09	c      145    120      313    21480   68     8672    1276    303   1542 0.09
0.00/0.09	o 124
0.00/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.10	c      146    120      316    21714   68     8868    1276    306   1536 0.10
0.00/0.10	o 122
0.10/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.11	c      152    120      329    22603   68     9372    1276    319   1504 0.10
0.10/0.11	o 120
0.10/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.12	c      160    120      346    23907   69    10090    1276    336   1415 0.11
0.10/0.12	o 104
0.10/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.12	c      162    120      351    24237   69    10047    1276    341   1361 0.12
0.10/0.12	o 88
0.10/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.12	c      163    120      354    24487   69    10227    1276    344   1336 0.12
0.10/0.12	o 86
0.10/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.13	c      166    120      361    25000   69    10459    1276    351   1307 0.13
0.10/0.13	o 84
0.10/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.14	c      169    120      368    25517   69    10781    1276    358   1280 0.13
0.10/0.14	o 82
0.10/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.16	c      174    120      379    26305   69    11127    1276    369   1242 0.14
0.10/0.16	o 78
0.10/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.16	c      189    120      410    28313   69    11789    1276    400   1196 0.16
0.10/0.16	o 76
0.10/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.19	c      190    120      413    28541   69    11971    1276    403   1187 0.16
0.10/0.19	o 74
0.10/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.19	c      219    110      472    32262   68    13842    1256    462   1171 0.19
0.10/0.19	o 72
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c      222    110      479    32779   68    14137    1256    469   1162 0.19
0.19/0.20	o 55
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c      230    110      496    33711   67    14590    1256    486   1150 0.20
0.19/0.20	o 53
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c      233    110      503    34219   68    14871    1256    493   1131 0.21
0.19/0.21	o 49
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c      238    110      514    35040   68    15246    1256    504   1112 0.21
0.19/0.22	o 41
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c      239    110      517    35267   68    15412    1256    507   1091 0.22
0.19/0.22	o 39
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c      240    110      520    35494   68    15544    1256    510   1081 0.22
0.19/0.23	o 36
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c      242    110      524    35724   68    15471    1256    514   1056 0.23
0.19/0.23	o 34
0.59/0.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.63	c      246    110      533    36326   68    15848    1256    523   1046 0.23
0.59/0.63	c      346    100      730    47383   64    20741    1382    720   1077 0.32
0.59/0.63	c      596    100     1220    75617   61    31887    1521   1210   1070 0.56
0.59/0.63	o 25
1.10/1.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.12	c      654    100     1333    82025   61    32816    1236   1323   1034 0.63
1.10/1.12	c      756     90      833    43164   51    17350    1360    823    959 0.79
1.10/1.12	c     1006     90     1315    70563   53    28565    1497   1305    949 1.06
1.10/1.12	o 22
1.29/1.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.39	c     1051     90     1400    75212   53    29147    1216   1390    937 1.12
1.29/1.39	c     1151     90      806    38749   48    16712    1338    796    912 1.26
1.29/1.39	o 18
2.99/3.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.07	c     1276     90     1031    50911   49    20717    1216   1021    918 1.39
2.99/3.07	c     1376     90     1218    61301   50    25362    1338   1208    919 1.50
2.99/3.07	c     1627     90      958    44008   45    18195    1472    948    897 1.81
2.99/3.07	c     2102     90     1024    45709   44    17718    1620   1014    885 2.37
2.99/3.07	o 17
7.99/8.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.99/8.02	c     2742     90     1288    58120   45    20949    1216   1278    892 3.07
7.99/8.02	c     2844     90      786    34973   44    14650    1338    776    890 3.19
7.99/8.02	c     3094     90     1207    58106   48    22385    1472   1197    897 3.45
7.99/8.02	c     3569     90     1226    55838   45    21467    1620   1216    893 3.99
7.99/8.02	c     4382     90      910    35495   39    12880    1783    900    886 4.94
7.99/8.02	c     5702     90     1215    51756   42    18451    1962   1205    892 6.39
7.99/8.02	o 14
12.69/12.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.69/12.70	c     7089     90     1427    64149   44    21271    1216   1417    883 8.02
12.69/12.70	c     7189     90      787    33372   42    12673    1338    777    882 8.15
12.69/12.70	c     7439     90     1205    56644   47    21102    1472   1195    885 8.40
12.69/12.70	c     7914     80     1229    54357   44    18292    1620   1219    884 8.95
12.69/12.70	c     8727     80      911    35985   39    11337    1783    901    889 9.81
12.69/12.70	c    10048     80     1201    50396   41    16326    1962   1191    894 11.23
12.69/12.70	o 13
15.89/15.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.89/15.94	c    11377     80     1365    59513   43    18911    1196   1355    895 12.70
15.89/15.94	c    11478     80      785    34869   44    12989    1316    775    896 12.80
15.89/15.94	c    11729     80     1212    58205   48    19808    1448   1202    899 13.03
15.89/15.94	c    12204     80     1213    54428   44    18338    1593   1203    902 13.53
15.89/15.94	c    13017     80      863    33614   38    11102    1753    853    901 14.44
15.89/15.94	c    14337     80     1168    49401   42    15581    1929   1158    906 15.81
15.89/15.94	o 10
15.89/15.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.89/15.98	c    14460     80     1367    60235   44    17943    1196   1357    907 15.94
15.89/15.98	o 8
16.59/16.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.59/16.62	c    14482     80      655    27118   41    10464    1196    645    906 15.98
16.59/16.62	c    14582     70      817    35647   43    13364    1316    807    907 16.06
16.59/16.62	c    14832     70     1238    58600   47    19982    1448   1228    910 16.28
16.59/16.62	o 6
294.91/295.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
294.91/295.03	c    15132     70      943    39300   41    13115    1176    933    910 16.62
294.91/295.03	c    15232     70     1103    47884   43    16075    1294   1093    911 16.71
294.91/295.03	c    15483     70      809    33904   41    12143    1424    799    911 16.99
294.91/295.03	c    15959     70      803    31469   39    10519    1567    793    913 17.47
294.91/295.03	c    16773     70     1291    55482   42    16818    1724   1281    919 18.25
294.91/295.03	c    18093     70     1579    68124   43    18290    1897   1569    925 19.54
294.91/295.03	c    20174     70     1900    86199   45    25371    2087   1890    927 21.74
294.91/295.03	c    23397     70     1580    68447   43    21517    2296   1570    917 25.51
294.91/295.03	c    28333     70     2240   106621   47    28878    2526   2230    901 31.44
294.91/295.03	c    35839     70     2280   108183   47    31143    2779   2270    869 41.24
294.91/295.03	c    47201     70     1472    63847   43    19629    3057   1462    826 57.09
294.91/295.03	c    64345     70     1612    71831   44    21214    3363   1602    782 82.22
294.91/295.03	c    90164     70     1766    79160   44    23070    3700   1756    733 122.90
294.91/295.03	c   128997     70     3702   183184   49    49249    4071   3692    686 188.01
294.91/295.03	o 4
1797.89/1798.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.89/1798.49	c   185799     70     3979   196788   49    49371    1176   3969    629 294.95
1797.89/1798.49	c   185900     70      773    32187   41    11027    1294    763    629 295.38
1797.89/1798.49	c   186150     70     1164    52973   45    17192    1424   1154    629 295.63
1797.89/1798.49	c   186625     70     1135    46398   40    14304    1567   1125    630 296.16
1797.89/1798.49	c   187439     60     1551    65182   42    19777    1724   1541    630 297.08
1797.89/1798.49	c   188759     60     1714    74427   43    21455    1897   1704    632 298.53
1797.89/1798.49	c   190840     60     1890    85932   45    23124    2087   1880    634 300.92
1797.89/1798.49	c   194065     60     1377    58132   42    16111    2296   1367    636 304.77
1797.89/1798.49	c   199001     60     1748    75283   43    22284    2526   1738    640 310.86
1797.89/1798.49	c   206508     60     1568    69224   44    18542    2779   1558    644 320.35
1797.89/1798.49	c   217869     60     1785    81062   45    21451    3057   1775    648 335.96
1797.89/1798.49	c   235013     60     3100   151077   48    40253    3363   3090    651 360.55
1797.89/1798.49	c   260832     60     2975   139481   46    37333    3700   2965    650 401.08
1797.89/1798.49	c   299664     60     2362   100149   42    26954    4071   2352    655 457.02
1797.89/1798.49	c   358016     60     3548   163064   45    38608    4479   3538    658 543.96
1797.89/1798.49	c   445648     60     3477   169661   48    42130    4927   3467    636 699.70
1797.89/1798.49	c   577201     60     3665   183821   50    43424    5420   3655    592 974.00
1797.89/1798.49	c   774633     60     3422   160071   46    40277    5963   3412    556 1391.55
1797.89/1798.49	c Resources Exceeded
1797.89/1798.49	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 -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 x90 
1797.89/1798.49	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.89/1798.49	c   99   945726  11417   960592     4696   216957   4686    525 1798.00
1797.89/1798.49	c Objective: 4
1797.89/1798.49	s SATISFIABLE
1797.89/1798.49	c Total time: 1798 s

Verifier Data 

OK	4

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880057-1245241576/watcher-1880057-1245241576 -o /tmp/evaluation-result-1880057-1245241576/solver-1880057-1245241576 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880057-1245241576.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 6849
/proc/meminfo: memFree=1801440/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=18520 CPUtime=0
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 191757771 18964480 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 4630 243 196 640 0 3986 0

[startup+0.106101 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 6849
/proc/meminfo: memFree=1801440/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=11228 CPUtime=0.1
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 392 0 0 0 10 0 0 0 18 0 1 0 191757771 11497472 374 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 2807 374 197 640 0 2163 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11228

[startup+0.20111 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 6849
/proc/meminfo: memFree=1801440/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=11488 CPUtime=0.19
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 458 0 0 0 19 0 0 0 18 0 1 0 191757771 11763712 440 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 2872 440 197 640 0 2228 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11488

[startup+0.301119 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 6849
/proc/meminfo: memFree=1801440/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=11748 CPUtime=0.29
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 523 0 0 0 29 0 0 0 19 0 1 0 191757771 12029952 505 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 2937 505 197 640 0 2293 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11748

[startup+0.701159 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 6849
/proc/meminfo: memFree=1801440/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=12532 CPUtime=0.69
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 744 0 0 0 69 0 0 0 22 0 1 0 191757771 12832768 726 1992294400 134512640 137136520 4294956256 18446744073709551615 136498512 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 3133 726 197 640 0 2489 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12532

[startup+1.50124 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1799256/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=12532 CPUtime=1.49
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 744 0 0 0 149 0 0 0 25 0 1 0 191757771 12832768 726 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 3133 726 197 640 0 2489 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12532

[startup+3.10139 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1799064/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=12532 CPUtime=3.09
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 744 0 0 0 309 0 0 0 25 0 1 0 191757771 12832768 726 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 3133 726 197 640 0 2489 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12532

[startup+6.3017 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1799000/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=12660 CPUtime=6.29
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 761 0 0 0 628 1 0 0 25 0 1 0 191757771 12963840 743 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 3165 743 197 640 0 2521 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12660

[startup+12.7013 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1798752/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=12796 CPUtime=12.69
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 797 0 0 0 1268 1 0 0 25 0 1 0 191757771 13103104 779 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 3199 779 197 640 0 2555 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12796

[startup+25.5015 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1798752/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=12796 CPUtime=25.48
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 803 0 0 0 2546 2 0 0 25 0 1 0 191757771 13103104 785 1992294400 134512640 137136520 4294956256 18446744073709551615 134574036 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 3199 785 197 640 0 2555 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12796

[startup+51.102 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1797856/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=13584 CPUtime=51.08
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 1004 0 0 0 5103 5 0 0 25 0 1 0 191757771 13910016 986 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 3396 986 197 640 0 2752 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13584

[startup+102.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1797216/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=14240 CPUtime=102.26
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 1171 0 0 0 10218 8 0 0 25 0 1 0 191757771 14581760 1153 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 3560 1153 197 640 0 2916 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 14240

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1796704/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=14752 CPUtime=162.24
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 1294 0 0 0 16213 11 0 0 25 0 1 0 191757771 15106048 1276 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 3688 1276 197 640 0 3044 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 14752

[startup+222.305 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1796128/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=15280 CPUtime=222.24
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 1434 0 0 0 22209 15 0 0 25 0 1 0 191757771 15646720 1416 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 3820 1416 197 640 0 3176 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 15280

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1796064/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=15280 CPUtime=282.21
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 1434 0 0 0 28202 19 0 0 25 0 1 0 191757771 15646720 1416 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 3820 1416 197 640 0 3176 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 15280

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1796000/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=15392 CPUtime=342.19
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 1443 0 0 0 34195 24 0 0 25 0 1 0 191757771 15761408 1425 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 3848 1425 197 640 0 3204 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 15392

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1796000/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=15392 CPUtime=402.18
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 1443 0 0 0 40189 29 0 0 25 0 1 0 191757771 15761408 1425 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 3848 1425 197 640 0 3204 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 15392

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1796000/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=15392 CPUtime=462.16
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 1443 0 0 0 46183 33 0 0 25 0 1 0 191757771 15761408 1425 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 3848 1425 197 640 0 3204 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 15392

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1795936/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=15392 CPUtime=522.15
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 1443 0 0 0 52176 39 0 0 25 0 1 0 191757771 15761408 1425 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 3848 1425 197 640 0 3204 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 15392

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1795680/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=15684 CPUtime=582.13
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 1517 0 0 0 58169 44 0 0 25 0 1 0 191757771 16060416 1499 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 3921 1499 197 640 0 3277 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 15684

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1795424/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=15816 CPUtime=642.11
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 1565 0 0 0 64163 48 0 0 25 0 1 0 191757771 16195584 1547 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 3954 1547 197 640 0 3310 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 15816

[startup+702.302 s]

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

/proc/meminfo: memFree=1794144/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=17048 CPUtime=1062
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 1857 0 0 0 106122 78 0 0 25 0 1 0 191757771 17457152 1839 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 4262 1839 197 640 0 3618 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 17048

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1794144/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=17044 CPUtime=1121.98
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 1861 0 0 0 112116 82 0 0 25 0 1 0 191757771 17453056 1843 1992294400 134512640 137136520 4294956256 18446744073709551615 134543837 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 4261 1843 197 640 0 3617 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 17044

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1794016/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=17044 CPUtime=1181.97
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 1873 0 0 0 118111 86 0 0 25 0 1 0 191757771 17453056 1855 1992294400 134512640 137136520 4294956256 18446744073709551615 134574036 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 4261 1855 197 640 0 3617 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 17044

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1793888/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=17144 CPUtime=1241.95
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 1880 0 0 0 124106 89 0 0 25 0 1 0 191757771 17555456 1862 1992294400 134512640 137136520 4294956256 18446744073709551615 134574036 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 4286 1862 197 640 0 3642 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 17144

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1793824/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=17144 CPUtime=1301.94
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 1895 0 0 0 130101 93 0 0 25 0 1 0 191757771 17555456 1877 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 4286 1877 197 640 0 3642 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 17144

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1793568/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=17404 CPUtime=1361.92
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 1951 0 0 0 136094 98 0 0 25 0 1 0 191757771 17821696 1933 1992294400 134512640 137136520 4294956256 18446744073709551615 134544176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 4351 1933 197 640 0 3707 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 17404

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1793184/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=17776 CPUtime=1421.9
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 2037 0 0 0 142089 101 0 0 25 0 1 0 191757771 18202624 2019 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 4444 2019 197 640 0 3800 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 17776

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6850
/proc/meminfo: memFree=1792992/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=17900 CPUtime=1481.88
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 2067 0 0 0 148083 105 0 0 25 0 1 0 191757771 18329600 2049 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 4475 2049 197 640 0 3831 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 17900

[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6852
/proc/meminfo: memFree=1792608/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=18160 CPUtime=1541.86
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 2147 0 0 0 154077 109 0 0 25 0 1 0 191757771 18595840 2129 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 4540 2129 197 640 0 3896 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 18160

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 6852
/proc/meminfo: memFree=1792608/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=18256 CPUtime=1601.85
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 2163 0 0 0 160071 114 0 0 25 0 1 0 191757771 18694144 2145 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 4564 2145 197 640 0 3920 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 18256

[startup+1662.3 s]
/proc/loadavg: 1.07 0.99 0.91 2/65 6852
/proc/meminfo: memFree=1792608/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=18248 CPUtime=1661.83
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 2165 0 0 0 166065 118 0 0 25 0 1 0 191757771 18685952 2147 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 4562 2147 197 640 0 3918 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 18248

[startup+1722.3 s]
/proc/loadavg: 1.09 1.00 0.92 2/65 6852
/proc/meminfo: memFree=1792544/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=18248 CPUtime=1721.81
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 2177 0 0 0 172059 122 0 0 25 0 1 0 191757771 18685952 2159 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 4562 2159 197 640 0 3918 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 18248

[startup+1782.3 s]
/proc/loadavg: 1.15 1.03 0.93 2/65 6852
/proc/meminfo: memFree=1792480/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=18248 CPUtime=1781.8
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 2177 0 0 0 178053 127 0 0 25 0 1 0 191757771 18685952 2159 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 4562 2159 197 640 0 3918 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 18248

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

[startup+1792.01 s]
/proc/loadavg: 1.12 1.03 0.93 2/65 6852
/proc/meminfo: memFree=1792480/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=18248 CPUtime=1791.5
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 2177 0 0 0 179023 127 0 0 25 0 1 0 191757771 18685952 2159 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 4562 2159 197 640 0 3918 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 18248

[startup+1795.2 s]
/proc/loadavg: 1.11 1.03 0.93 2/65 6852
/proc/meminfo: memFree=1792480/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=18248 CPUtime=1794.7
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 2177 0 0 0 179342 128 0 0 25 0 1 0 191757771 18685952 2159 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 4562 2159 197 640 0 3918 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 18248

[startup+1796.8 s]
/proc/loadavg: 1.11 1.03 0.93 2/65 6852
/proc/meminfo: memFree=1792480/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=18248 CPUtime=1796.3
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 2177 0 0 0 179502 128 0 0 25 0 1 0 191757771 18685952 2159 1992294400 134512640 137136520 4294956256 18446744073709551615 134616028 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 4562 2159 197 640 0 3918 0
Current children cumulated CPU time (s) 1796.3
Current children cumulated vsize (KiB) 18248

[startup+1797.6 s]
/proc/loadavg: 1.10 1.03 0.93 2/65 6852
/proc/meminfo: memFree=1792480/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=18248 CPUtime=1797.09
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 2177 0 0 0 179581 128 0 0 25 0 1 0 191757771 18685952 2159 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 4562 2159 197 640 0 3918 0
Current children cumulated CPU time (s) 1797.09
Current children cumulated vsize (KiB) 18248

[startup+1798 s]
/proc/loadavg: 1.10 1.03 0.93 2/65 6852
/proc/meminfo: memFree=1792480/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=18248 CPUtime=1797.49
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 2177 0 0 0 179621 128 0 0 25 0 1 0 191757771 18685952 2159 1992294400 134512640 137136520 4294956256 18446744073709551615 134544411 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 4562 2159 197 640 0 3918 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (KiB) 18248

[startup+1798.4 s]
/proc/loadavg: 1.10 1.03 0.93 2/65 6852
/proc/meminfo: memFree=1792480/2055920 swapFree=4181660/4192956
[pid=6849] ppid=6847 vsize=18248 CPUtime=1797.89
/proc/6849/stat : 6849 (bsolo) R 6847 6849 6484 0 -1 4194304 2177 0 0 0 179661 128 0 0 25 0 1 0 191757771 18685952 2159 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6849/statm: 4562 2159 197 640 0 3918 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 18248

Child status: 0
Real time (s): 1798.5
CPU time (s): 1798
CPU user time (s): 1796.71
CPU system time (s): 1.2888
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 18292

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

runsolver used 1.64075 second user time and 3.32949 second system time

The end

Launcher Data 

Begin job on node18 at 2009-06-17 14:26:16
IDJOB=1880057
IDBENCH=2923
IDSOLVER=701
FILE ID=node18/1880057-1245241576
PBS_JOBID= 9372320
Free space on /tmp= 66172 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880057-1245241576/watcher-1880057-1245241576 -o /tmp/evaluation-result-1880057-1245241576/solver-1880057-1245241576 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1880057-1245241576.opb

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

MD5SUM BENCH= 5bf563c7058af01702ea80887f1d43ad
RANDOM SEED=1641897712

node18.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.236
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.236
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:       1801856 kB
Buffers:         37820 kB
Cached:         143452 kB
SwapCached:       5592 kB
Active:          72320 kB
Inactive:       116896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1801856 kB
SwapTotal:     4192956 kB
SwapFree:      4181660 kB
Dirty:            3944 kB
Writeback:           0 kB
Mapped:          13044 kB
Slab:            50848 kB
Committed_AS:   170832 kB
PageTables:       1376 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-1880057-1245241576.opb

Free space on /tmp at the end= 66168 MiB
End job on node18 at 2009-06-17 14:56:15