Trace number 3734947

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
PB07: bsolo 3.0.17SAT (TO)23 1800.02 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
MD5SUMa70b0edfadf87ffd0bc1b32400cae43b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark1798.7
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
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 constraints14
Minimum length of a constraint74
Maximum length of a constraint76
Number of terms in the objective function 112
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 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1648
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5454
Number of bits of the biggest sum of numbers13
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.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3734947-1338702334.opb
0.00/0.00	c File size is 10354 bytes.
0.00/0.00	c Highest Coefficient sum: 5454
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: 172 Constr: 14 0/0/14 Lit: 1058 Watch. Lit: 312
0.00/0.00	c Obj. Vars: 112 (65.1163 % of total variables)
0.00/0.01	c Pre-processing Time: 0.002 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    172       14     1058   75      322    2116      0      0 0.00
0.00/0.01	c Switching off LPR mode.
0.00/0.01	o 643	0.003
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    172       15     1170   78      727    2340      1      0 0.00
0.00/0.02	c      101    172      116     8144   70      926    2575    102  14428 0.01
0.00/0.02	o 606	0.016
0.02/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.03	c      251    172      267    18946   70     1335    2340    253  15687 0.02
0.02/0.03	c      353    172      369    25361   68     1549    2575    355  15347 0.02
0.02/0.03	o 506	0.023
0.02/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.03	c      354    172      371    25546   68     1617    2340    357  15391 0.02
0.02/0.03	o 504	0.023
0.02/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.04	c      356    172      374    25845   69     1727    2340    360  15478 0.02
0.02/0.04	c      456    172      474    29995   63     1965    2575    460  16285 0.03
0.02/0.04	o 503	0.035
0.02/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.07	c      540    172      559    35171   62     2195    2340    545  15428 0.04
0.02/0.07	c      641    172      660    40128   60     2453    2575    646  15261 0.04
0.02/0.07	c      892    172      911    53745   58     2936    2833    897  14622 0.06
0.02/0.07	o 493	0.064
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c      923    172      943    55490   58     3047    2340    929  14421 0.06
0.09/0.15	c     1024    172     1044    61069   58     3333    2575   1030  14027 0.07
0.09/0.15	c     1274    172     1294    75470   58     3763    2833   1280  13698 0.09
0.09/0.15	c     1749    172     1769   101015   57     4762    3117   1755  12955 0.14
0.09/0.15	o 488	0.15
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c     1910    172     1931   111130   57     5140    2340   1917  12733 0.15
0.19/0.29	c     2010    172     2031   116313   57     5381    2575   2017  12721 0.16
0.19/0.29	c     2260    172     2281   130493   57     5887    2833   2267  12555 0.18
0.19/0.29	c     2737    172     2758   158248   57     6847    3117   2744  11951 0.23
0.19/0.29	o 473	0.284
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c     3284    172     1651    97371   58     4215    2340   1637  11563 0.28
0.29/0.30	c     3390    172     1757   103218   58     4425    2575   1743  11569 0.29
0.29/0.30	o 468	0.294
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c     3394    172     1762   103472   58     4509    2340   1748  11544 0.29
0.29/0.30	o 460	0.294
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c     3395    172     1764   103674   58     4612    2340   1750  11547 0.29
0.29/0.30	o 458	0.297
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c     3423    172     1793   105851   59     4795    2340   1779  11525 0.30
0.29/0.31	o 438	0.305
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c     3505    172     1876   110770   59     5082    2340   1862  11491 0.30
0.29/0.32	c     3605    172     1976   115584   58     5279    2575   1962  11480 0.31
0.29/0.32	o 428	0.318
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c     3653    172     2025   117855   58     5464    2340   2011  11487 0.32
0.29/0.33	o 426	0.325
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c     3720    172     2093   122256   58     5680    2340   2079  11446 0.33
0.29/0.33	o 407	0.329
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c     3750    172     2124   123606   58     5823    2340   2110  11398 0.33
0.29/0.37	c     3850    172     2224   129330   58     6123    2575   2210  11323 0.34
0.29/0.37	c     4100    172     2474   145369   58     6591    2833   2460  11202 0.37
0.29/0.37	o 333	0.37
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c     4136    172     2511   146922   58     6620    2340   2497  11178 0.37
0.29/0.38	o 331	0.376
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c     4184    172     1234    72683   58     3274    2340   1220  11127 0.38
0.29/0.39	o 329	0.383
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c     4279    172     1330    80093   60     3569    2340   1316  11172 0.38
0.29/0.39	o 273	0.388
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c     4344    172     1396    82874   59     3788    2340   1382  11195 0.39
0.39/0.40	c     4447    172     1499    88125   58     4040    2575   1485  11201 0.40
0.39/0.40	o 255	0.399
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c     4470    172     1523    89449   58     4157    2340   1509  11203 0.40
0.39/0.41	o 253	0.403
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c     4531    172     1585    93096   58     4368    2340   1571  11243 0.40
0.39/0.44	c     4631    172     1685    97661   57     4610    2575   1671  11240 0.41
0.39/0.44	c     4881    172     1935   110417   57     5094    2833   1921  11377 0.43
0.39/0.44	o 241	0.438
0.39/0.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.45	c     4992    172     2047   115910   56     5413    2340   2033  11397 0.44
0.39/0.45	o 237	0.447
0.49/0.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.50	c     5070    172     2126   120023   56     5675    2340   2112  11342 0.45
0.49/0.50	c     5170    172     2226   123578   55     5902    2575   2212  11387 0.45
0.49/0.50	c     5421    172     2477   136994   55     6413    2833   2463  11293 0.48
0.49/0.50	o 208	0.493
3.69/3.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.71	c     5538    172     2595   142374   54     6696    2340   2581  11233 0.49
3.69/3.71	c     5639    172     1286    64127   49     3283    2575   1272  11255 0.50
3.69/3.71	c     5890    172     1537    77236   50     3794    2833   1523  11414 0.52
3.69/3.71	c     6368    172     2015   105240   52     4748    3117   2001  11663 0.55
3.69/3.71	c     7181    172     2828   139863   49     6343    3429   2814  12068 0.59
3.69/3.71	c     8501    172     2372   113403   47     5437    3772   2358  12144 0.70
3.69/3.71	c    10582    172     2510   114027   45     5694    4150   2496  12038 0.88
3.69/3.71	c    13805    172     3601   152720   42     7880    4566   3587  12046 1.15
3.69/3.71	c    18741    172     3860   185961   48     8390    5023   3846  11109 1.69
3.69/3.71	c    26248    172     3693   163473   44     8092    5526   3679  10806 2.43
3.69/3.71	c    37609    172     3776   157960   41     8263    6079   3762  10292 3.65
3.69/3.71	o 206	3.707
3.79/3.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.79/3.83	c    38306    172     4474   199407   44     9767    2340   4460  10333 3.71
3.79/3.83	c    38406    172     1285    65383   50     3270    2575   1271  10277 3.74
3.79/3.83	c    38656    172     1535    76033   49     3785    2833   1521  10300 3.75
3.79/3.83	c    39131    172     2010    97435   48     4729    3117   1996  10330 3.79
3.79/3.83	o 200	3.826
3.79/3.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.79/3.88	c    39637    172     2517   123726   49     5849    2340   2503  10359 3.83
3.79/3.88	c    39737    172     1285    61131   47     3269    2575   1271  10367 3.83
3.79/3.88	c    39987    172     1535    74196   48     3768    2833   1521  10388 3.85
3.79/3.88	o 197	3.873
3.89/3.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.89/3.92	c    40351    172     1900    92846   48     4616    2340   1886  10418 3.87
3.89/3.92	c    40451    172     2000    96510   48     4796    2575   1986  10425 3.88
3.89/3.92	c    40701    172     2250   108398   48     5303    2833   2236  10441 3.90
3.89/3.92	o 195	3.92
3.89/3.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.89/3.95	c    40942    172     2492   119666   48     5921    2340   2478  10444 3.92
3.89/3.95	c    41042    172     1285    61600   47     3250    2575   1271  10445 3.93
3.89/3.95	o 194	3.947
3.89/3.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.89/3.96	c    41256    172     1500    74537   49     3814    2340   1486  10452 3.95
3.89/3.96	o 190	3.953
3.89/3.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.89/3.98	c    41315    172     1560    77757   49     4036    2340   1546  10451 3.95
3.89/3.98	c    41415    172     1660    80963   48     4233    2575   1646  10463 3.96
3.89/3.98	o 186	3.974
3.99/4.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.06	c    41575    172     1821    89249   49     4681    2340   1807  10461 3.97
3.99/4.06	c    41675    172     1921    94302   49     4877    2575   1907  10463 3.98
3.99/4.06	c    41925    172     2171   104222   48     5368    2833   2157  10476 4.00
3.99/4.06	c    42403    172     2649   130821   49     6327    3117   2635  10482 4.04
3.99/4.06	o 185	4.059
3.99/4.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.07	c    42535    172     2782   136559   49     6708    2340   2768  10479 4.06
3.99/4.07	o 181	4.062
3.99/4.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.07	c    42541    172     1192    59882   50     3201    2340   1178  10470 4.06
3.99/4.07	o 179	4.064
3.99/4.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.07	c    42561    172     1213    61013   50     3350    2340   1199  10472 4.06
3.99/4.07	o 175	4.066
3.99/4.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.07	c    42594    172     1247    62375   50     3506    2340   1233  10475 4.07
3.99/4.07	o 173	4.071
3.99/4.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.09	c    42637    172     1291    65137   50     3706    2340   1277  10473 4.07
3.99/4.09	c    42737    172     1391    68719   49     3933    2575   1377  10482 4.08
3.99/4.09	o 124	4.081
3.99/4.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.09	c    42770    172     1425    70766   49     4095    2340   1411  10480 4.08
3.99/4.09	o 118	4.088
3.99/4.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.09	c    42833    168     1489    73184   49     4331    2332   1475  10477 4.09
3.99/4.09	o 116	4.09
4.09/4.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.09/4.10	c    42846    168     1503    74259   49     4474    2332   1489  10475 4.09
4.09/4.10	o 114	4.093
4.09/4.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.09/4.13	c    42867    168     1525    75813   49     4618    2332   1511  10473 4.09
4.09/4.13	c    42967    165     1625    80171   49     4817    2566   1611  10474 4.10
4.09/4.13	o 112	4.124
4.99/5.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.99/5.07	c    43172    164     1831    90125   49     5331    2324   1817  10465 4.12
4.99/5.07	c    43272    162     1931    93697   48     5534    2557   1917  10467 4.13
4.99/5.07	c    43522    162     2181   103056   47     6028    2813   2167  10474 4.16
4.99/5.07	c    43997    162     2656   121782   45     6986    3095   2642  10467 4.20
4.99/5.07	c    44810    162     1876    77254   41     4436    3405   1862  10464 4.28
4.99/5.07	c    46130    160     3196   126403   39     7081    3746   3182  10527 4.38
4.99/5.07	c    48212    160     3352   128191   38     7394    4121   3338  10582 4.56
4.99/5.07	c    51435    160     2363    95113   40     5406    4534   2349  10552 4.87
4.99/5.07	o 111	5.062
5.09/5.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.09/5.12	c    53538    159     4467   180201   40     9726    2314   4453  10576 5.06
5.09/5.12	c    53638    159     1285    52308   40     3260    2546   1271  10560 5.08
5.09/5.12	c    53888    159     1535    62225   40     3761    2801   1521  10570 5.10
5.09/5.12	o 105	5.119
6.19/6.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.19/6.28	c    54156    159     1804    72638   40     4393    2314   1790  10579 5.12
6.19/6.28	c    54256    159     1904    76915   40     4597    2546   1890  10582 5.13
6.19/6.28	c    54506    159     2154    87128   40     5099    2801   2140  10589 5.15
6.19/6.28	c    54981    159     2629   105906   40     6041    3082   2615  10601 5.19
6.19/6.28	c    55794    159     1867    75050   40     4420    3391   1853  10617 5.25
6.19/6.28	c    57114    159     3187   128505   40     7043    3731   3173  10653 5.36
6.19/6.28	c    59195    159     3350   138746   41     7379    4105   3336  10656 5.55
6.19/6.28	c    62418    159     2367    98082   41     5414    4516   2353  10669 5.85
6.19/6.28	o 104	6.278
6.19/6.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.19/6.28	c    66983    159     2329    89260   38     5446    2314   2315  10669 6.28
6.19/6.28	o 102	6.279
12.98/13.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.98/13.02	c    66993    159     2340    89785   38     5566    2314   2326  10669 6.28
12.98/13.02	c    67094    159     1212    50431   41     3116    2546   1198  10666 6.29
12.98/13.02	c    67344    159     1462    60071   41     3611    2801   1448  10681 6.30
12.98/13.02	c    67819    159     1937    78589   40     4562    3082   1923  10703 6.34
12.98/13.02	c    68632    159     2750   112434   40     6182    3391   2736  10727 6.40
12.98/13.02	c    69952    159     2322    93054   40     5315    3731   2308  10758 6.50
12.98/13.02	c    72033    158     2485   111068   44     5657    4105   2471  10747 6.70
12.98/13.02	c    75256    158     3607   146174   40     7876    4516   3593  10828 6.95
12.98/13.02	c    80192    158     3946   162169   41     8571    4968   3932  10823 7.41
12.98/13.02	c    87698    158     3868   160965   41     8414    5465   3854  10764 8.15
12.98/13.02	c    99059    158     4121   177772   43     8929    6012   4107  10599 9.35
12.98/13.02	c   116203    158     6002   268254   44    12679    6614   5988  10219 11.37
12.98/13.02	o 73	13.011
12.98/13.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.98/13.04	c   129805    158     6185   260466   42    13159    2312   6171   9976 13.01
12.98/13.04	o 69	13.035
511.41/511.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
511.41/511.55	c   129808    158     1189    51183   43     3167    2312   1175   9958 13.04
511.41/511.55	c   129908    158     1289    57045   44     3367    2544   1275   9960 13.04
511.41/511.55	c   130158    158     1539    66172   42     3854    2799   1525   9968 13.06
511.41/511.55	c   130633    158     2014    83280   41     4805    3079   2000   9978 13.09
511.41/511.55	c   131446    158     2827   115356   40     6431    3387   2813   9992 13.15
511.41/511.55	c   132766    158     2416    90036   37     5509    3726   2402  10016 13.26
511.41/511.55	c   134847    158     2580    99684   38     5835    4099   2566  10031 13.44
511.41/511.55	c   138071    158     3709   141085   38     8102    4509   3695  10064 13.72
511.41/511.55	c   143008    158     4056   155056   38     8792    4960   4042  10117 14.13
511.41/511.55	c   150514    158     3978   156769   39     8632    5457   3964  10130 14.86
511.41/511.55	c   161875    158     4248   160824   37     9177    6003   4234  10127 15.98
511.41/511.55	c   179019    158     3097   123650   39     6864    6604   3083  10110 17.71
511.41/511.55	c   204838    158     5526   228629   41    11711    7265   5512  10027 20.43
511.41/511.55	c   243670    158     3970   160416   40     8594    7992   3956   9817 24.82
511.41/511.55	c   302022    158     5754   236498   41    12177    8792   5740   9518 31.73
511.41/511.55	c   389654    158     4561   182917   40     9801    9672   4547   9172 42.48
511.41/511.55	c   521206    158     9309   365085   39    19288   10640   9295   8621 60.45
511.41/511.55	c   718638    158     8346   344610   41    17360   11705   8332   8202 87.62
511.41/511.55	c  1014890    158     9894   405155   40    20453   12876   9880   7715 131.55
511.41/511.55	c  1459373    158     7194   299589   41    15063   14164   7180   7197 202.77
511.41/511.55	c  2126201    158    11579   499124   43    23824   15581  11565   6673 318.59
511.41/511.55	c  3126546    158     9383   353577   37    19445   17140   9369   6256 499.69
511.41/511.55	o 67	511.461
513.00/513.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
513.00/513.15	c  3193593    158    16103   626593   38    32990    2312  16089   6244 511.46
513.00/513.15	c  3193693    158     1285    59031   45     3238    2544   1271   6242 511.61
513.00/513.15	c  3193943    158     1535    70585   45     3763    2799   1521   6242 511.63
513.00/513.15	c  3194418    158     2010    86545   43     4703    3079   1996   6243 511.65
513.00/513.15	c  3195231    158     2823   115673   40     6326    3387   2809   6244 511.71
513.00/513.15	c  3196551    158     2396    89752   37     5479    3726   2382   6245 511.82
513.00/513.15	c  3198632    158     2576    92492   35     5836    4099   2562   6247 511.98
513.00/513.15	c  3201855    158     3705   139940   37     8080    4509   3691   6250 512.25
513.00/513.15	c  3206791    158     4030   147652   36     8739    4960   4016   6255 512.62
513.00/513.15	o 66	513.061
536.20/536.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
536.20/536.33	c  3211930    158     4128   159108   38     9040    2312   4114   6260 513.06
536.20/536.33	c  3212030    158     1285    51014   39     3242    2544   1271   6260 513.07
536.20/536.33	c  3212280    158     1535    59430   38     3742    2799   1521   6260 513.09
536.20/536.33	c  3212755    158     2010    75265   37     4676    3079   1996   6261 513.11
536.20/536.33	c  3213568    158     2823   102813   36     6323    3387   2809   6262 513.16
536.20/536.33	c  3214888    158     2400    83017   34     5489    3726   2386   6263 513.25
536.20/536.33	c  3216969    158     2584    96793   37     5843    4099   2570   6265 513.41
536.20/536.33	c  3220192    158     3701   145245   39     8077    4509   3687   6268 513.68
536.20/536.33	c  3225128    158     4034   148413   36     8726    4960   4020   6273 514.07
536.20/536.33	c  3232634    158     3971   142916   35     8597    5457   3957   6280 514.73
536.20/536.33	c  3243996    158     4254   157865   37     9154    6003   4240   6291 515.62
536.20/536.33	c  3261140    158     3108   113241   36     6872    6604   3094   6304 517.23
536.20/536.33	c  3286959    158     5490   204297   37    11667    7265   5476   6325 519.62
536.20/536.33	c  3325791    158     3920   149571   38     8502    7992   3906   6350 523.72
536.20/536.33	c  3384144    158     5700   219340   38    12054    8792   5686   6389 529.62
536.20/536.33	o 59	536.244
536.20/536.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
536.20/536.35	c  3440680    158     4522   183961   40     9832    2312   4508   6416 536.24
536.20/536.35	o 57	536.256
539.30/539.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
539.30/539.42	c  3440711    156     1217    53432   43     3220    2308   1203   6416 536.26
539.30/539.42	c  3440811    146     1317    57253   43     3410    2539   1303   6416 536.27
539.30/539.42	c  3441061    145     1567    68612   43     3907    2793   1553   6416 536.29
539.30/539.42	c  3441536    144     2042    90077   44     4853    3073   2028   6416 536.34
539.30/539.42	c  3442350    144     2856   127835   44     6481    3381   2842   6417 536.42
539.30/539.42	c  3443670    144     2447   111415   45     5543    3720   2433   6417 536.57
539.30/539.42	c  3445751    144     2615   123870   47     5898    4093   2601   6418 536.82
539.30/539.42	c  3448974    144     3757   181532   48     8197    4503   3743   6420 537.22
539.30/539.42	c  3453910    144     4081   191901   47     8842    4954   4067   6420 537.91
539.30/539.42	c  3461416    144     4026   186266   46     8735    5450   4012   6422 538.95
539.30/539.42	o 55	539.328
539.30/539.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
539.30/539.43	c  3464074    144     3915   182400   46     8595    2284   3901   6422 539.33
539.30/539.43	c  3464174    144     1285    60787   47     3239    2513   1271   6422 539.34
539.30/539.43	o 53	539.343
549.30/549.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
549.30/549.43	c  3464220    144     1332    63946   48     3409    2284   1318   6423 539.34
549.30/549.43	c  3464320    144     1432    68826   48     3615    2513   1418   6423 539.35
549.30/549.43	c  3464570    144     1682    79453   47     4102    2765   1668   6423 539.38
549.30/549.43	c  3465046    144     2158   101060   46     5072    3042   2144   6423 539.42
549.30/549.43	c  3465859    144     2971   137357   46     6687    3347   2957   6424 539.51
549.30/549.43	c  3467179    144     2563   112857   44     5785    3682   2549   6424 539.65
549.30/549.43	c  3469261    144     2761   123295   44     6188    4051   2747   6425 539.89
549.30/549.43	c  3472484    144     3921   183220   46     8516    4457   3907   6427 540.28
549.30/549.43	c  3477420    144     4296   189816   44     9264    4903   4282   6429 540.89
549.30/549.43	c  3484926    144     4332   195792   45     9327    5394   4318   6431 541.88
549.30/549.43	c  3496287    144     4738   216675   45    10142    5934   4724   6433 543.44
549.30/549.43	c  3513431    144     3811   172765   45     8287    6528   3797   6436 545.85
549.30/549.43	o 51	549.334
549.30/549.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
549.30/549.47	c  3536299    144     3553   172865   48     7854    2284   3539   6437 549.33
549.30/549.47	c  3536400    144     1286    62437   48     3240    2513   1272   6437 549.35
549.30/549.47	c  3536650    144     1536    73231   47     3737    2765   1522   6437 549.37
549.30/549.47	o 49	549.376
549.30/549.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
549.30/549.48	c  3536736    144     1623    78377   48     3988    2284   1609   6437 549.38
549.30/549.48	c  3536836    144     1723    83189   48     4191    2513   1709   6437 549.39
549.30/549.48	o 47	549.389
549.30/549.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
549.30/549.48	c  3536854    144     1742    84535   48     4306    2284   1728   6437 549.39
549.30/549.48	o 45	549.39
549.80/549.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
549.80/549.99	c  3536867    144     1756    85710   48     4413    2284   1742   6437 549.39
549.80/549.99	c  3536968    144     1857    90488   48     4623    2513   1843   6437 549.40
549.80/549.99	c  3537218    144     2107   100514   47     5118    2765   2093   6438 549.43
549.80/549.99	c  3537693    144     2582   120080   46     6079    3042   2568   6438 549.48
549.80/549.99	c  3538506    144     1834    78828   42     4339    3347   1820   6438 549.56
549.80/549.99	c  3539826    144     3154   135972   43     6979    3682   3140   6439 549.70
549.80/549.99	o 41	549.9
592.89/593.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
592.89/593.09	c  3541787    144     3230   138219   42     7214    2284   3216   6440 549.90
592.89/593.09	c  3541887    144     1285    53217   41     3227    2513   1271   6440 549.91
592.89/593.09	c  3542138    144     1536    63436   41     3729    2765   1522   6441 549.93
592.89/593.09	c  3542614    144     2012    82520   41     4685    3042   1998   6441 549.98
592.89/593.09	c  3543427    144     2825   117412   41     6321    3347   2811   6441 550.07
592.89/593.09	c  3544747    144     2429    97372   40     5523    3682   2415   6442 550.20
592.89/593.09	c  3546829    144     2627   105867   40     5924    4051   2613   6443 550.41
592.89/593.09	c  3550052    144     3785   159476   42     8215    4457   3771   6445 550.76
592.89/593.09	c  3554988    144     4183   180931   43     9024    4903   4169   6448 551.33
592.89/593.09	c  3562494    144     4204   184423   43     9077    5394   4190   6451 552.22
592.89/593.09	c  3573855    144     4611   211090   45     9892    5934   4597   6454 553.73
592.89/593.09	c  3590999    144     3682   162433   44     8030    6528   3668   6459 555.96
592.89/593.09	c  3616818    144     6348   292544   46    13359    7181   6334   6463 559.59
592.89/593.09	c  3655650    144     5212   237121   45    11091    7900   5198   6467 565.21
592.89/593.09	c  3714003    144     7709   338525   43    16088    8691   7695   6465 574.41
592.89/593.09	c  3801636    144     7589   353134   46    15838    9561   7575   6455 588.93
592.89/593.09	o 38	592.993
592.99/593.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
592.99/593.12	c  3825350    144     7201   320556   44    15154    2284   7187   6450 592.99
592.99/593.12	o 32	593.017
592.99/593.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
592.99/593.12	c  3825356    144     1192    52526   44     3136    2284   1178   6450 593.02
592.99/593.12	o 30	593.02
731.07/731.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
731.07/731.25	c  3825384    143     1221    54503   44     3275    2282   1207   6450 593.02
731.07/731.25	c  3825484    133     1321    58387   44     3459    2511   1307   6450 593.03
731.07/731.25	c  3825734    132     1571    70062   44     3942    2763   1557   6450 593.06
731.07/731.25	c  3826209    131     2046    92943   45     4906    3040   2032   6450 593.12
731.07/731.25	c  3827022    130     2859   132141   46     6522    3345   2845   6451 593.23
731.07/731.25	c  3828342    130     2457   117738   47     5568    3680   2443   6451 593.40
731.07/731.25	c  3830423    130     2650   127641   48     5954    4049   2636   6452 593.65
731.07/731.25	c  3833646    130     3810   183107   48     8280    4454   3796   6452 594.12
731.07/731.25	c  3838582    130     4219   210279   49     9089    4900   4205   6452 594.88
731.07/731.25	c  3846089    130     4264   206670   48     9180    5391   4250   6453 596.01
731.07/731.25	c  3857450    130     4676   229930   49     9999    5931   4662   6453 597.74
731.07/731.25	c  3874594    130     3771   186209   49     8171    6525   3757   6453 600.38
731.07/731.25	c  3900413    130     6461   317006   49    13564    7178   6447   6451 604.56
731.07/731.25	c  3939245    130     5364   262046   48    11377    7896   5350   6440 611.65
731.07/731.25	c  3997597    130     7858   389283   49    16363    8686   7844   6419 622.76
731.07/731.25	c  4085229    130     7739   382104   49    16131    9555   7725   6377 640.62
731.07/731.25	c  4216781    130     9167   455561   49    18982   10511   9153   6299 669.40
731.07/731.25	c  4414213    130     5356   268957   50    11367   11563   5342   6174 714.89
731.07/731.25	o 29	731.132
731.17/731.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
731.17/731.34	c  4482898    130    10010   494715   49    20740    2256   9996   6131 731.13
731.17/731.34	o 27	731.218
749.97/750.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
749.97/750.12	c  4482979    130     1267    61748   48     3237    2256   1253   6130 731.22
749.97/750.12	c  4483079    130     1367    66498   48     3441    2482   1353   6130 731.23
749.97/750.12	c  4483329    130     1617    78092   48     3942    2731   1603   6131 731.25
749.97/750.12	c  4483804    130     2092   101293   48     4880    3005   2078   6131 731.30
749.97/750.12	c  4484619    130     2907   140133   48     6518    3306   2893   6131 731.39
749.97/750.12	c  4485939    130     2525   119537   47     5678    3637   2511   6132 731.56
749.97/750.12	c  4488021    130     2742   130315   47     6125    4001   2728   6132 731.83
749.97/750.12	c  4491244    130     3917   189490   48     8473    4402   3903   6133 732.27
749.97/750.12	c  4496180    130     4345   209212   48     9330    4843   4331   6134 732.99
749.97/750.12	c  4503687    130     4451   215925   48     9536    5328   4437   6134 734.13
749.97/750.12	c  4515048    130     4976   242602   48    10583    5861   4962   6134 735.99
749.97/750.12	c  4532193    130     4286   207990   48     9213    6448   4272   6135 738.72
749.97/750.12	c  4558012    130     3973   189699   47     8576    7093   3959   6134 742.97
749.97/750.12	c  4596844    130     6939   334919   48    14516    7803   6925   6132 749.64
749.97/750.12	o 25	749.999
1200.09/1200.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1200.09/1200.34	c  4598777    130     4936   240251   48    10579    2256   4922   6131 750.00
1200.09/1200.34	c  4598877    130     1285    62157   48     3205    2482   1271   6131 750.02
1200.09/1200.34	c  4599128    130     1536    75967   49     3712    2731   1522   6131 750.04
1200.09/1200.34	c  4599603    130     2011    98312   48     4662    3005   1997   6131 750.10
1200.09/1200.34	c  4600416    130     2824   137846   48     6277    3306   2810   6132 750.19
1200.09/1200.34	c  4601736    130     2453   117426   47     5543    3637   2439   6132 750.36
1200.09/1200.34	c  4603817    130     2675   130100   48     5984    4001   2661   6133 750.63
1200.09/1200.34	c  4607040    130     3847   184797   48     8317    4402   3833   6134 751.06
1200.09/1200.34	c  4611976    130     4303   203748   47     9242    4843   4289   6134 751.77
1200.09/1200.34	c  4619483    130     4410   211769   48     9448    5328   4396   6135 752.86
1200.09/1200.34	c  4630844    130     4957   239886   48    10539    5861   4943   6136 754.60
1200.09/1200.34	c  4647988    130     4256   205269   48     9129    6448   4242   6137 757.32
1200.09/1200.34	c  4673807    130     3951   195614   49     8524    7093   3937   6136 761.65
1200.09/1200.34	c  4712640    130     6917   335172   48    14464    7803   6903   6134 768.28
1200.09/1200.34	c  4770993    130     6139   306880   49    12915    8584   6125   6123 779.14
1200.09/1200.34	c  4858625    130     7117   350008   49    14866    9443   7103   6102 796.22
1200.09/1200.34	c  4990177    130     5310   256299   48    11246   10388   5296   6061 823.19
1200.09/1200.34	c  5187609    130     9006   436961   48    18633   11427   8992   5992 865.64
1200.09/1200.34	c  5483861    130     6051   303453   50    12733   12570   6037   5872 933.89
1200.09/1200.34	c  5928343    130     7724   382531   49    16075   13828   7710   5702 1039.63
1200.09/1200.34	o 23	1200.15
1800.01/1800.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.01/1800.30	c  6539450    130    13721   684086   49    28148    2256  13707   5448 1200.15
1800.01/1800.30	c  6539550    130     1285    61370   47     3207    2482   1271   5448 1200.27
1800.01/1800.30	c  6539800    130     1535    73105   47     3708    2731   1521   5448 1200.29
1800.01/1800.30	c  6540276    130     2011    95495   47     4663    3005   1997   5448 1200.33
1800.01/1800.30	c  6541090    130     2825   134221   47     6272    3306   2811   5449 1200.41
1800.01/1800.30	c  6542410    130     2445   113336   46     5527    3637   2431   5449 1200.55
1800.01/1800.30	c  6544491    130     2657   124554   46     5950    4001   2643   5450 1200.78
1800.01/1800.30	c  6547715    130     3832   184740   48     8294    4402   3818   5451 1201.19
1800.01/1800.30	c  6552651    130     4266   194959   45     9174    4843   4252   5452 1201.75
1800.01/1800.30	c  6560158    130     4400   195410   44     9410    5328   4386   5454 1202.70
1800.01/1800.30	c  6571519    130     4929   223479   45    10468    5861   4915   5457 1204.16
1800.01/1800.30	c  6588663    130     4240   196353   46     9109    6448   4226   5461 1206.29
1800.01/1800.30	c  6614482    130     3950   176134   44     8499    7093   3936   5468 1209.59
1800.01/1800.30	c  6653314    130     6908   306918   44    14390    7803   6894   5475 1215.00
1800.01/1800.30	c  6711666    130     6159   285152   46    12927    8584   6145   5484 1223.64
1800.01/1800.30	c  6799299    130     7203   324988   45    15023    9443   7189   5492 1237.93
1800.01/1800.30	c  6930851    130     5385   251807   46    11378   10388   5371   5495 1261.08
1800.01/1800.30	c  7128283    130     9080   455521   50    18760   11427   9066   5484 1299.75
1800.01/1800.30	c  7424536    130     6023   294482   48    12675   12570   6009   5445 1363.54
1800.01/1800.30	c  7869018    130     7743   375865   48    16110   13828   7729   5358 1468.63
1800.01/1800.30	c  8535846    130     6971   331146   47    14548   15211   6957   5246 1626.96
1800.01/1800.30	c Caught signal: 15
1800.01/1800.30	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 x115 -x116 -x117 x118 -x119 -x120 x121 -x122 x123 x124 x125 -x126 x127 x128 -x129 -x130 -x131 -x132 x133 x134 x135 x136 -x137 x138 x139 -x140 x141 x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 x152 x153 x154 -x155 x156 -x157 -x158 x159 -x160 -x161 x162 -x163 x164 x165 -x166 x167 -x168 x169 -x170 x171 x172 
1800.01/1800.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.30	c  292  9178686  70020  9278621    15058   746076  15044   5099 1800.02
1800.01/1800.30	c Objective: 23
1800.01/1800.30	s SATISFIABLE
1800.01/1800.30	c Total time: 1800.02 s

Verifier Data 

OK	23

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734947-1338702334/watcher-3734947-1338702334 -o /tmp/evaluation-result-3734947-1338702334/solver-3734947-1338702334 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3734947-1338702334.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11971
/proc/meminfo: memFree=27312992/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) D 11969 11971 9030 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 336359462 2723840 47 33554432000 134512640 135840783 4294186096 4294184132 5551044 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 665 47 37 325 0 32 0

[startup+0.028902 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11971
/proc/meminfo: memFree=27312992/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=4948 CPUtime=0.02 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 563 0 0 0 2 0 0 0 20 0 1 0 336359462 5066752 497 33554432000 134512640 135840783 4294186096 4294183984 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 1237 497 350 325 0 173 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4948

[startup+0.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11971
/proc/meminfo: memFree=27312992/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=5736 CPUtime=0.09 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 755 0 0 0 9 0 0 0 20 0 1 0 336359462 5873664 689 33554432000 134512640 135840783 4294186096 4294185168 1579934 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 1434 690 350 325 0 370 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5736

[startup+0.300178 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11971
/proc/meminfo: memFree=27312992/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=7436 CPUtime=0.29 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 1173 0 0 0 29 0 0 0 20 0 1 0 336359462 7614464 1107 33554432000 134512640 135840783 4294186096 4294185456 134550951 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 1859 1107 350 325 0 795 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7436

[startup+0.700174 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11971
/proc/meminfo: memFree=27312992/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=7436 CPUtime=0.69 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 1173 0 0 0 69 0 0 0 20 0 1 0 336359462 7614464 1107 33554432000 134512640 135840783 4294186096 4294185456 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 1859 1107 350 325 0 795 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7436

[startup+1.50017 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11972
/proc/meminfo: memFree=27309852/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=7704 CPUtime=1.49 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 1250 0 0 0 149 0 0 0 20 0 1 0 336359462 7888896 1184 33554432000 134512640 135840783 4294186096 4294185456 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 1926 1184 350 325 0 862 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7704

[startup+3.10016 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11972
/proc/meminfo: memFree=27308248/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=8468 CPUtime=3.09 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 1457 0 0 0 309 0 0 0 20 0 1 0 336359462 8671232 1391 33554432000 134512640 135840783 4294186096 4294185408 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 2117 1391 350 325 0 1053 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8468

[startup+6.3001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11972
/proc/meminfo: memFree=27308332/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=8468 CPUtime=6.29 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 1457 0 0 0 629 0 0 0 20 0 1 0 336359462 8671232 1391 33554432000 134512640 135840783 4294186096 4294185408 134550884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 2117 1391 350 325 0 1053 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8468

[startup+12.7001 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 11972
/proc/meminfo: memFree=27308092/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=9220 CPUtime=12.68 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 1623 0 0 0 1268 0 0 0 20 0 1 0 336359462 9441280 1557 33554432000 134512640 135840783 4294186096 4294185456 134551182 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 2305 1557 350 325 0 1241 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 9220

[startup+25.5002 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 11972
/proc/meminfo: memFree=27307924/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=9576 CPUtime=25.48 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 1726 0 0 0 2548 0 0 0 20 0 1 0 336359462 9805824 1659 33554432000 134512640 135840783 4294186096 4294185456 134551276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 2394 1659 350 325 0 1330 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9576

[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 11972
/proc/meminfo: memFree=27306576/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=11068 CPUtime=51.08 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 2089 0 0 0 5108 0 0 0 20 0 1 0 336359462 11333632 2021 33554432000 134512640 135840783 4294186096 4294185456 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 2767 2021 350 325 0 1703 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11068

[startup+102.306 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 11973
/proc/meminfo: memFree=27304344/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=12484 CPUtime=102.27 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 2445 0 0 0 10227 0 0 0 20 0 1 0 336359462 12783616 2376 33554432000 134512640 135840783 4294186096 4294185392 134571467 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3121 2376 350 325 0 2057 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 12484

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 11973
/proc/meminfo: memFree=27302240/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=13296 CPUtime=162.26 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 2653 0 0 0 16226 0 0 0 20 0 1 0 336359462 13615104 2584 33554432000 134512640 135840783 4294186096 4294185408 134551106 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3324 2584 350 325 0 2260 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13296

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11973
/proc/meminfo: memFree=27301184/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=14044 CPUtime=222.25 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 2840 0 0 0 22225 0 0 0 20 0 1 0 336359462 14381056 2770 33554432000 134512640 135840783 4294186096 4294185408 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3511 2770 350 325 0 2447 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 14044

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 11976
/proc/meminfo: memFree=27300868/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=14304 CPUtime=282.24 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 2920 0 0 0 28224 0 0 0 20 0 1 0 336359462 14647296 2850 33554432000 134512640 135840783 4294186096 4294185184 1579839 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3576 2850 350 325 0 2512 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 14304

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11976
/proc/meminfo: memFree=27300508/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=14944 CPUtime=342.23 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3064 0 0 0 34223 0 0 0 20 0 1 0 336359462 15302656 2994 33554432000 134512640 135840783 4294186096 4294185448 3291308 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3736 2994 350 325 0 2672 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 14944

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11977
/proc/meminfo: memFree=27300384/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=15072 CPUtime=402.22 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3123 0 0 0 40222 0 0 0 20 0 1 0 336359462 15433728 3028 33554432000 134512640 135840783 4294186096 4294185408 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3768 3028 350 325 0 2704 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 15072

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11977
/proc/meminfo: memFree=27300632/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=15128 CPUtime=462.21 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3147 0 0 0 46221 0 0 0 20 0 1 0 336359462 15491072 3052 33554432000 134512640 135840783 4294186096 4294185520 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3782 3052 350 325 0 2718 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 15128

[startup+522.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 11977
/proc/meminfo: memFree=27300508/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=14784 CPUtime=522.2 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3190 0 0 0 52220 0 0 0 20 0 1 0 336359462 15138816 2971 33554432000 134512640 135840783 4294186096 4294185456 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3696 2971 350 325 0 2632 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 14784

[startup+582.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 11977
/proc/meminfo: memFree=27300644/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=14736 CPUtime=582.19 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3190 0 0 0 58219 0 0 0 20 0 1 0 336359462 15089664 2959 33554432000 134512640 135840783 4294186096 4294185456 134551326 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3684 2959 350 325 0 2620 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 14736

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/178 11981
/proc/meminfo: memFree=27300768/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=14736 CPUtime=882.14 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3190 0 0 0 88214 0 0 0 20 0 1 0 336359462 15089664 2959 33554432000 134512640 135840783 4294186096 4294185408 134550924 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3684 2959 350 325 0 2620 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 14736

[startup+942.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 12004
/proc/meminfo: memFree=27299804/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=14736 CPUtime=942.14 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3190 0 0 0 94214 0 0 0 20 0 1 0 336359462 15089664 2959 33554432000 134512640 135840783 4294186096 4294185456 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3684 2959 350 325 0 2620 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 14736

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 12005
/proc/meminfo: memFree=27300412/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=14736 CPUtime=1002.13 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3190 0 0 0 100213 0 0 0 20 0 1 0 336359462 15089664 2959 33554432000 134512640 135840783 4294186096 4294185408 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3684 2959 350 325 0 2620 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 14736

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 12005
/proc/meminfo: memFree=27300412/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=15128 CPUtime=1062.12 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3284 0 0 0 106212 0 0 0 20 0 1 0 336359462 15491072 3053 33554432000 134512640 135840783 4294186096 4294185456 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3782 3053 350 325 0 2718 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 15128

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12005
/proc/meminfo: memFree=27300292/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=15256 CPUtime=1122.11 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3317 0 0 0 112211 0 0 0 20 0 1 0 336359462 15622144 3086 33554432000 134512640 135840783 4294186096 4294185456 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3814 3086 350 325 0 2750 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 15256

[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 12005
/proc/meminfo: memFree=27299360/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=15308 CPUtime=1182.1 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3326 0 0 0 118210 0 0 0 20 0 1 0 336359462 15675392 3095 33554432000 134512640 135840783 4294186096 4294185456 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3827 3095 350 325 0 2763 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 15308

[startup+1242.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 12005
/proc/meminfo: memFree=27299980/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=14928 CPUtime=1242.09 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3326 0 0 0 124209 0 0 0 20 0 1 0 336359462 15286272 3007 33554432000 134512640 135840783 4294186096 4294185408 134551353 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3732 3007 350 325 0 2668 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 14928

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 12006
/proc/meminfo: memFree=27299732/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=14904 CPUtime=1302.09 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3326 0 0 0 130209 0 0 0 20 0 1 0 336359462 15261696 3001 33554432000 134512640 135840783 4294186096 4294185408 134550782 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3726 3001 350 325 0 2662 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 14904

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 12006
/proc/meminfo: memFree=27299856/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=14904 CPUtime=1362.07 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3326 0 0 0 136207 0 0 0 20 0 1 0 336359462 15261696 3001 33554432000 134512640 135840783 4294186096 4294185352 1584837 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3726 3001 350 325 0 2662 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 14904

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12006
/proc/meminfo: memFree=27299856/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=14904 CPUtime=1422.07 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3326 0 0 0 142207 0 0 0 20 0 1 0 336359462 15261696 3001 33554432000 134512640 135840783 4294186096 4294185456 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3726 3001 350 325 0 2662 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 14904

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 12009
/proc/meminfo: memFree=27300032/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=14904 CPUtime=1482.05 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3326 0 0 0 148205 0 0 0 20 0 1 0 336359462 15261696 3001 33554432000 134512640 135840783 4294186096 4294185408 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3726 3001 350 325 0 2662 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 14904

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12048
/proc/meminfo: memFree=26943596/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=14904 CPUtime=1542.04 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3326 0 0 0 154204 0 0 0 20 0 1 0 336359462 15261696 3001 33554432000 134512640 135840783 4294186096 4294185456 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3726 3001 350 325 0 2662 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 14904

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12049
/proc/meminfo: memFree=26943132/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=14984 CPUtime=1602.03 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3332 0 0 0 160203 0 0 0 20 0 1 0 336359462 15343616 3007 33554432000 134512640 135840783 4294186096 4294185456 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 3746 3007 350 325 0 2682 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 14984

[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 12049
/proc/meminfo: memFree=26942788/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=16036 CPUtime=1662.02 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3605 0 0 0 166202 0 0 0 20 0 1 0 336359462 16420864 3280 33554432000 134512640 135840783 4294186096 4294185456 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 4009 3280 350 325 0 2945 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 16036

[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 12049
/proc/meminfo: memFree=26942220/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=16112 CPUtime=1722.02 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3627 0 0 0 172202 0 0 0 20 0 1 0 336359462 16498688 3302 33554432000 134512640 135840783 4294186096 4294185456 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 4028 3302 350 325 0 2964 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 16112

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 12049
/proc/meminfo: memFree=26938236/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=16208 CPUtime=1782.01 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3650 0 0 0 178201 0 0 0 20 0 1 0 336359462 16596992 3324 33554432000 134512640 135840783 4294186096 4294185520 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 4052 3324 350 325 0 2988 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 16208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 12049
/proc/meminfo: memFree=26920256/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=16328 CPUtime=1800.01 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3674 0 0 0 180001 0 0 0 20 0 1 0 336359462 16719872 3348 33554432000 134512640 135840783 4294186096 4294185456 134551455 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 4082 3348 350 325 0 3018 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 16328

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 12049
/proc/meminfo: memFree=26920256/32873648 swapFree=6860/6860
[pid=11971] ppid=11969 vsize=16328 CPUtime=1800.01 cores=1,3,5,7
/proc/11971/stat : 11971 (bsolo3.0.17) R 11969 11971 9030 0 -1 4202496 3674 0 0 0 180001 0 0 0 20 0 1 0 336359462 16719872 3348 33554432000 134512640 135840783 4294186096 4294185456 134551455 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11971/statm: 4082 3348 350 325 0 3018 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 16328

Child status: 15
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1800.01
CPU system time (s): 0.007998
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 16336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.007998
maximum resident set size= 13392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3677
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= 18
involuntary context switches= 1855

runsolver used 3.03254 second user time and 8.17276 second system time

The end

Launcher Data 

Begin job on node116 at 2012-06-03 07:45:34
IDJOB=3734947
IDBENCH=2924
IDSOLVER=2318
FILE ID=node116/3734947-1338702334
RUNJOBID= node116-1338678620-9050
PBS_JOBID= 14636697
Free space on /tmp= 71032 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734947-1338702334/watcher-3734947-1338702334 -o /tmp/evaluation-result-3734947-1338702334/solver-3734947-1338702334 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3734947-1338702334.opb            

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

MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b
RANDOM SEED=145389298

node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27313348 kB
Buffers:          546312 kB
Cached:          4072192 kB
SwapCached:         3028 kB
Active:          2209656 kB
Inactive:        2437428 kB
Active(anon):      18300 kB
Inactive(anon):     8500 kB
Active(file):    2191356 kB
Inactive(file):  2428928 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103480 kB
Dirty:              6680 kB
Writeback:             0 kB
AnonPages:         29548 kB
Mapped:            13320 kB
Shmem:                68 kB
Slab:             773760 kB
SReclaimable:     218160 kB
SUnreclaim:       555600 kB
KernelStack:        1448 kB
PageTables:         4052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     140072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70960 MiB
End job on node116 at 2012-06-03 08:15:36