Trace number 1878628

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 clSAT86 1798 1798.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
MD5SUM0278ee4f163393ac33163ff791a7f96d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark1802.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
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 constraints16
Minimum length of a constraint82
Maximum length of a constraint86
Number of terms in the objective function 128
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 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1782
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5856
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.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1878628-1245175914.opb
0.00/0.00	c File size is 13159 bytes.
0.00/0.00	c Highest Coefficient sum: 5856
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 198 Constr: 16 0/0/16 Lit: 1354 Watch. Lit: 388
0.00/0.00	c Obj. Vars: 128 (64.6465 % of total variables)
0.00/0.00	c Pre-processing Time: 0.004 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    198       16     1354   84      394    2708      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 1080
0.03/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.04	c        0    198       17     1482   87      903    2964      1      0 0.01
0.03/0.04	c      103    198      120     9459   78     1114    3261    104   5421 0.02
0.03/0.04	o 1065
0.03/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.05	c      246    198      264    21679   82     1506    2964    248   5720 0.04
0.03/0.05	o 1040
0.03/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.05	c      300    198      319    25057   78     1708    2964    303   5882 0.05
0.03/0.05	o 877
0.03/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.06	c      317    198      337    26493   78     1789    2964    321   5981 0.05
0.03/0.06	o 876
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      352    198      373    29488   79     1964    2964    357   5966 0.06
0.09/0.11	c      452    198      473    36918   78     2204    3261    457   5794 0.08
0.09/0.11	o 875
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      635    198      657    54359   82     2589    2964    641   5619 0.11
0.09/0.14	c      737    198      759    63012   83     2812    3261    743   5541 0.13
0.09/0.14	o 866
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      759    198      782    64397   82     2957    2964    766   5500 0.14
0.09/0.14	o 850
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c      813    198      837    68496   81     3226    2964    821   5568 0.15
0.09/0.16	o 819
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c      900    198      925    75471   81     3484    2964    909   5421 0.17
0.09/0.19	c     1002    198     1027    83805   81     3677    3261   1011   5416 0.18
0.09/0.19	o 789
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c     1013    198     1039    84582   81     3766    2964   1023   5359 0.19
0.09/0.19	o 781
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c     1026    198     1053    85533   81     3900    2964   1037   5343 0.19
0.19/0.21	c     1128    198     1155    93051   80     4156    3261   1139   5222 0.22
0.19/0.21	o 773
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c     1129    198     1157    93240   80     4229    2964   1141   5202 0.22
0.19/0.22	o 768
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c     1131    198     1160    93541   80     4340    2964   1144   5188 0.22
0.19/0.22	o 765
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c     1142    198     1172    94634   80     4453    2964   1156   5144 0.22
0.19/0.24	o 751
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c     1222    198     1253   101128   80     4734    2964   1237   5028 0.24
0.29/0.30	c     1324    198     1355   107484   79     5023    3261   1339   4977 0.27
0.29/0.30	o 735
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c     1470    198     1502   118837   79     5296    2964   1486   4900 0.30
0.29/0.32	o 729
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c     1556    198     1589   124617   78     5589    2964   1573   4802 0.32
0.29/0.33	o 716
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c     1601    198     1635   128234   78     5776    2964   1619   4764 0.34
0.29/0.36	c     1702    198     1736   135190   77     6087    3261   1720   4663 0.36
0.29/0.36	o 711
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c     1706    198     1741   135606   77     6110    2964   1725   4648 0.37
0.29/0.38	o 710
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c     1751    198     1787   138339   77     6326    2964   1771   4620 0.38
0.29/0.39	o 645
0.39/0.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.50	c     1807    198     1844   141341   76     6469    2964   1828   4586 0.39
0.39/0.50	c     1907    198     1944   148241   76     6756    3261   1928   4573 0.42
0.39/0.50	c     2157    198     2194   167813   76     6999    3588   2178   4503 0.48
0.39/0.50	o 633
0.49/0.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.50	c     2237    198     2275   173592   76     7368    2964   2259   4482 0.50
0.49/0.50	o 614
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c     2264    198     2303   176205   76     7312    2964   2287   4465 0.51
0.49/0.53	o 566
0.49/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.55	c     2359    198     2399   181983   75     7563    2964   2383   4450 0.53
0.49/0.55	c     2461    198     2501   188212   75     7998    3261   2485   4466 0.55
0.49/0.55	o 548
0.79/0.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.83	c     2474    198     2515   189249   75     7779    2964   2499   4457 0.56
0.79/0.83	c     2575    198     2616   194509   74     8253    3261   2600   4455 0.58
0.79/0.83	c     2826    198     2867   212494   74     8324    3588   2851   4395 0.64
0.79/0.83	c     3301    198     3342   244376   73     9574    3947   3326   4360 0.76
0.79/0.83	o 544
0.79/0.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.86	c     3594    198     3636   266165   73     9873    2964   3620   4319 0.83
0.79/0.86	c     3694    198     1599   108246   67     4092    3261   1583   4280 0.86
0.79/0.86	o 542
0.89/0.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.93	c     3711    198     1617   110098   68     4216    2964   1601   4280 0.87
0.89/0.93	c     3811    198     1717   115928   67     4441    3261   1701   4296 0.89
0.89/0.93	o 536
0.89/0.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.99	c     4052    198     1959   131237   66     5027    2964   1943   4333 0.94
0.89/0.99	c     4152    198     2059   136358   66     5239    3261   2043   4329 0.96
0.89/0.99	o 534
1.00/1.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.04	c     4315    198     2223   151869   68     5673    2964   2207   4332 1.00
1.00/1.04	c     4415    198     2323   158258   68     5883    3261   2307   4311 1.02
1.00/1.04	o 532
1.19/1.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.29	c     4502    198     2411   164101   68     6165    2964   2395   4312 1.04
1.19/1.29	c     4602    198     2511   169197   67     6404    3261   2495   4308 1.07
1.19/1.29	c     4853    198     2762   183787   66     6854    3588   2746   4290 1.13
1.19/1.29	c     5328    198     3237   211310   65     7839    3947   3221   4221 1.26
1.19/1.29	o 522
1.29/1.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.32	c     5430    198     3340   219118   65     8122    2964   3324   4206 1.29
1.29/1.32	c     5530    198     1599    98868   61     4089    3261   1583   4195 1.32
1.29/1.32	o 477
1.29/1.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.32	c     5531    198     1601    99044   61     4203    2964   1585   4193 1.32
1.29/1.32	o 475
1.29/1.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.35	c     5532    198     1603    99283   61     4322    2964   1587   4190 1.32
1.29/1.35	c     5632    198     1703   109552   64     4522    3261   1687   4209 1.34
1.29/1.35	o 431
1.79/1.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.88	c     5709    198     1781   114299   64     4776    2964   1765   4210 1.36
1.79/1.88	c     5810    198     1882   120967   64     4990    3261   1866   4222 1.38
1.79/1.88	c     6060    198     2132   138637   65     5490    3588   2116   4246 1.43
1.79/1.88	c     6535    198     2607   167438   64     6443    3947   2591   4268 1.53
1.79/1.88	c     7348    198     3420   212099   62     8070    4342   3404   4267 1.72
1.79/1.88	o 430
1.89/1.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.93	c     8013    198     4086   259298   63     9513    2964   4070   4255 1.88
1.89/1.93	c     8113    198     1599    98028   61     4070    3261   1583   4247 1.91
1.89/1.93	o 420
2.59/2.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.64	c     8253    198     1740   108229   62     4473    2964   1724   4262 1.94
2.59/2.64	c     8353    198     1840   114511   62     4679    3261   1824   4272 1.96
2.59/2.64	c     8603    198     2090   134658   64     5177    3588   2074   4292 2.00
2.59/2.64	c     9078    198     2565   161789   63     6133    3947   2549   4300 2.11
2.59/2.64	c     9891    198     3378   211102   62     7773    4342   3362   4267 2.32
2.59/2.64	o 419
2.59/2.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.69	c    11118    198     2344   149683   63     5691    2964   2328   4214 2.64
2.59/2.69	c    11218    198     2444   156392   63     5894    3261   2428   4217 2.66
2.59/2.69	o 359
2.69/2.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.75	c    11331    198     2558   163710   63     6240    2964   2542   4213 2.69
2.69/2.75	c    11432    198     2659   170017   63     6448    3261   2643   4220 2.71
2.69/2.75	o 328
2.69/2.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.75	c    11598    198     2826   180648   63     6885    2964   2810   4222 2.75
2.69/2.75	o 286
2.69/2.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.78	c    11634    198     2863   183185   63     7053    2964   2847   4221 2.76
2.69/2.78	c    11734    198     2963   189059   63     7300    3261   2947   4222 2.78
2.69/2.78	o 282
2.89/2.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.92	c    11752    198     2982   190545   63     7415    2964   2966   4219 2.79
2.89/2.92	c    11852    198     1599   101860   63     4093    3261   1583   4219 2.81
2.89/2.92	c    12102    198     1849   115728   62     4592    3588   1833   4231 2.86
2.89/2.92	o 278
2.89/2.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.97	c    12413    198     2161   138623   64     5333    2964   2145   4251 2.92
2.89/2.97	c    12515    198     2263   145970   64     5521    3261   2247   4253 2.94
2.89/2.97	o 272
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c    12676    198     2425   153726   63     5961    2964   2409   4260 2.98
2.99/3.00	c    12776    198     2525   159333   63     6191    3261   2509   4261 3.00
2.99/3.00	o 270
2.99/3.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.01	c    12788    198     2538   160464   63     6319    2964   2522   4261 3.00
2.99/3.01	o 266
2.99/3.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.03	c    12839    198     2590   163311   63     6554    2964   2574   4258 3.02
2.99/3.03	o 264
2.99/3.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.07	c    12908    198     2660   166800   62     6811    2964   2644   4261 3.03
2.99/3.07	c    13008    198     2760   173642   62     7026    3261   2744   4259 3.05
2.99/3.07	o 262
3.09/3.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.13	c    13091    198     2844   178000   62     7296    2964   2828   4257 3.08
3.09/3.13	c    13191    198     2944   183469   62     7526    3261   2928   4256 3.10
3.09/3.13	o 260
3.29/3.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.29/3.35	c    13317    198     3071   190937   62     7883    2964   3055   4250 3.13
3.29/3.35	c    13418    198     1600    94684   59     4085    3261   1584   4251 3.16
3.29/3.35	c    13668    198     1850   107799   58     4592    3588   1834   4267 3.20
3.29/3.35	c    14143    198     2325   132233   56     5538    3947   2309   4293 3.29
3.29/3.35	o 245
3.59/3.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.65	c    14369    198     2552   145182   56     6113    2964   2536   4290 3.35
3.59/3.65	c    14470    198     2653   151562   57     6309    3261   2637   4293 3.37
3.59/3.65	c    14724    198     2907   166927   57     6786    3588   2891   4307 3.42
3.59/3.65	c    15199    198     3382   189395   56     7779    3947   3366   4330 3.51
3.59/3.65	o 182
6.29/6.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.29/6.32	c    15763    198     3947   228533   57     9029    2964   3931   4322 3.65
6.29/6.32	c    15863    198     1599    94310   58     4089    3261   1583   4318 3.67
6.29/6.32	c    16113    198     1849   107816   58     4593    3588   1833   4329 3.72
6.29/6.32	c    16588    198     2324   130679   56     5543    3947   2308   4358 3.81
6.29/6.32	c    17401    198     3137   174470   55     7176    4342   3121   4377 3.98
6.29/6.32	c    18722    198     2215   116994   52     5323    4777   2199   4374 4.28
6.29/6.32	c    20804    198     4297   229897   53     9485    5255   4281   4312 4.82
6.29/6.32	c    24027    198     4852   252010   51    10605    5781   4836   4166 5.77
6.29/6.32	o 181
6.29/6.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.29/6.34	c    25913    198     3779   193591   51     8575    2964   3763   4102 6.32
6.29/6.34	o 175
6.29/6.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.29/6.34	c    25926    198     1513    76439   50     4043    2964   1497   4091 6.34
6.29/6.34	o 173
6.29/6.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.29/6.40	c    25954    198     1542    78770   51     4226    2964   1526   4092 6.34
6.29/6.40	c    26054    198     1642    82829   50     4410    3261   1626   4098 6.36
6.29/6.40	o 171
6.39/6.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.39/6.48	c    26238    198     1827    94081   51     4923    2964   1811   4102 6.39
6.39/6.48	c    26338    198     1927    98025   50     5114    3261   1911   4107 6.41
6.39/6.48	c    26589    198     2178   110400   50     5610    3588   2162   4114 6.46
6.39/6.48	o 165
6.39/6.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.39/6.49	c    26660    198     2250   113436   50     5889    2964   2234   4116 6.48
6.39/6.49	o 163
6.49/6.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.49/6.53	c    26698    198     2289   115751   50     6084    2964   2273   4116 6.49
6.49/6.53	c    26798    198     2389   119653   50     6286    3261   2373   4120 6.50
6.49/6.53	o 161
6.49/6.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.49/6.55	c    26911    198     2503   125209   50     6635    2964   2487   4122 6.53
6.49/6.55	c    27011    198     2603   129198   49     6839    3261   2587   4126 6.55
6.49/6.55	o 141
6.49/6.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.49/6.57	c    27041    198     2634   130810   49     7012    2964   2618   4126 6.55
6.49/6.57	o 139
13.19/13.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.19/13.21	c    27095    198     2689   134182   49     7266    2964   2673   4125 6.57
13.19/13.21	c    27195    198     2789   138534   49     7455    3261   2773   4128 6.59
13.19/13.21	c    27445    198     3039   150334   49     7984    3588   3023   4128 6.65
13.19/13.21	c    27920    198     3514   174132   49     8924    3947   3498   4117 6.78
13.19/13.21	c    28733    198     2270   110262   48     5425    4342   2254   4111 6.99
13.19/13.21	c    30053    198     3590   181914   50     8077    4777   3574   4107 7.32
13.19/13.21	c    32134    198     3215   164658   51     7312    5255   3199   4088 7.86
13.19/13.21	c    35357    198     3763   189140   50     8415    5781   3747   4054 8.72
13.19/13.21	c    40294    198     5730   289111   50    12354    6360   5714   3969 10.15
13.19/13.21	c    47800    198     3472   184878   53     7836    6997   3456   3828 12.48
13.19/13.21	o 138
16.98/17.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.98/17.01	c    50389    198     6062   326072   53    13139    2964   6046   3814 13.21
16.98/17.01	c    50489    198     1599    85519   53     4081    3261   1583   3797 13.29
16.98/17.01	c    50739    198     1849    97438   52     4584    3588   1833   3800 13.35
16.98/17.01	c    51214    198     2324   123341   53     5540    3947   2308   3808 13.45
16.98/17.01	c    52027    198     3137   166972   53     7163    4342   3121   3821 13.61
16.98/17.01	c    53347    198     2230   114585   51     5349    4777   2214   3820 13.96
16.98/17.01	c    55428    198     4311   212279   49     9520    5255   4295   3835 14.45
16.98/17.01	c    58651    198     4827   246329   51    10555    5781   4811   3828 15.32
16.98/17.01	c    63587    198     3812   200557   52     8517    6360   3796   3797 16.75
16.98/17.01	o 135
1446.99/1447.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1446.99/1447.52	c    64593    198     4819   250213   51    10664    2964   4803   3797 17.01
1446.99/1447.52	c    64693    198     1599    78887   49     4083    3261   1583   3793 17.05
1446.99/1447.52	c    64943    198     1849    89510   48     4579    3588   1833   3798 17.10
1446.99/1447.52	c    65419    198     2325   113284   48     5542    3947   2309   3804 17.19
1446.99/1447.52	c    66232    198     3138   156297   49     7160    4342   3122   3814 17.36
1446.99/1447.52	c    67552    198     2237    97630   43     5345    4777   2221   3819 17.68
1446.99/1447.52	c    69633    198     4318   174883   40     9502    5255   4302   3856 18.05
1446.99/1447.52	c    72856    198     4845   184785   38    10568    5781   4829   3900 18.68
1446.99/1447.52	c    77792    198     3902   151516   38     8659    6360   3886   3943 19.73
1446.99/1447.52	c    85298    198     4930   179503   36    10715    6997   4914   3990 21.38
1446.99/1447.52	c    96659    198     5624   200251   35    12102    7697   5608   4054 23.84
1446.99/1447.52	c   113803    198     7175   265738   37    15207    8467   7159   4090 27.82
1446.99/1447.52	c   139622    198     7322   269714   36    15508    9314   7306   4050 34.47
1446.99/1447.52	c   178455    198     8490   323196   38    17848   10246   8474   3919 45.53
1446.99/1447.52	c   236807    198     9953   380643   38    20773   11271   9937   3692 64.12
1446.99/1447.52	c   324439    198     6664   347482   52    14225   12399   6648   3284 98.78
1446.99/1447.52	c   455991    198     6485   379748   58    13865   13639   6469   2674 170.48
1446.99/1447.52	c   653423    198    11335   467705   41    23555   15003  11319   2295 284.71
1446.99/1447.52	c   949675    198    12745   619223   48    26379   16504  12729   2045 464.27
1446.99/1447.52	c  1394157    198     8556   309436   36    17985   18155   8540   1873 744.03
1446.99/1447.52	c  2060985    198    18113  1103961   60    37122   19971  18097   1713 1202.64
1446.99/1447.52	o 126
1689.50/1690.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1689.50/1690.13	c  2373426    198    18871  1062922   56    38765    2964  18855   1640 1447.02
1689.50/1690.13	c  2373526    195     1599    90521   56     4083    3261   1583   1639 1448.11
1689.50/1690.13	c  2373776    193     1849   101040   54     4573    3588   1833   1639 1448.16
1689.50/1690.13	c  2374251    193     2324   120313   51     5530    3947   2308   1639 1448.25
1689.50/1690.13	c  2375064    193     3137   154626   49     7156    4342   3121   1639 1448.41
1689.50/1690.13	c  2376384    193     2232   100141   44     5343    4777   2216   1640 1448.73
1689.50/1690.13	c  2378465    192     4313   192854   44     9501    5255   4297   1641 1449.14
1689.50/1690.13	c  2381688    191     4872   222650   45    10609    5781   4856   1642 1449.97
1689.50/1690.13	c  2386626    190     3935   190760   48     8754    6360   3919   1644 1451.35
1689.50/1690.13	c  2394132    189     4969   248953   50    10819    6997   4953   1647 1453.50
1689.50/1690.13	c  2405493    189     5673   282338   49    12216    7697   5657   1651 1456.95
1689.50/1690.13	c  2422637    188     7202   339383   47    15275    8467   7186   1656 1462.43
1689.50/1690.13	c  2448456    188     7318   341215   46    15524    9314   7302   1665 1470.50
1689.50/1690.13	c  2487288    188     8482   438769   51    17842   10246   8466   1674 1485.69
1689.50/1690.13	c  2545640    187     9907   465396   46    20689   11271   9891   1685 1510.13
1689.50/1690.13	c  2633272    186     6540   326240   49    13958   12399   6524   1707 1542.08
1689.50/1690.13	c  2764824    186     6772   307556   45    14420   13639   6756   1734 1593.73
1689.50/1690.13	c  2962256    183    11744   534109   45    24368   15003  11728   1764 1678.88
1689.50/1690.13	o 124
1689.70/1690.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1689.70/1690.38	c  2985171    183    11994   550177   45    24975    2934  11978   1766 1689.55
1689.70/1690.38	c  2985272    183     1600    78290   48     4061    3228   1584   1766 1689.79
1689.70/1690.38	o 120
1689.80/1690.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1689.80/1690.40	c  2985310    183     1639    80079   48     4249    2934   1623   1766 1689.80
1689.80/1690.40	c  2985410    183     1739    84678   48     4449    3228   1723   1766 1689.82
1689.80/1690.40	o 118
1689.80/1690.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1689.80/1690.43	c  2985427    183     1757    85700   48     4598    2934   1741   1766 1689.82
1689.80/1690.43	c  2985527    183     1857    89722   48     4796    3228   1841   1766 1689.84
1689.80/1690.43	o 114
1717.60/1718.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1717.60/1718.22	c  2985572    183     1903    93267   49     4998    2934   1887   1766 1689.85
1717.60/1718.22	c  2985672    183     2003    97288   48     5199    3228   1987   1766 1689.87
1717.60/1718.22	c  2985922    183     2253   108510   48     5706    3551   2237   1766 1689.92
1717.60/1718.22	c  2986397    183     2728   130475   47     6651    3907   2712   1767 1690.02
1717.60/1718.22	c  2987210    183     3541   169188   47     8279    4298   3525   1767 1690.19
1717.60/1718.22	c  2988530    183     2665   118386   44     6199    4728   2649   1767 1690.49
1717.60/1718.22	c  2990611    183     4746   212538   44    10349    5201   4730   1768 1690.93
1717.60/1718.22	c  2993834    183     2676   116760   43     6215    5722   2660   1769 1691.72
1717.60/1718.22	c  2998770    183     4687   204487   43    10236    6295   4671   1771 1692.79
1717.60/1718.22	c  3006276    183     5813   256439   44    12486    6925   5797   1773 1694.64
1717.60/1718.22	c  3017637    182     6618   329479   49    14093    7618   6602   1777 1697.95
1717.60/1718.22	c  3034781    182     4437   206039   46     9742    8380   4421   1781 1703.16
1717.60/1718.22	c  3060603    182     4789   213908   44    10438    9219   4773   1788 1711.11
1717.60/1718.22	o 110
1727.20/1727.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1727.20/1727.82	c  3082828    182     8356   395049   47    17679    2932   8340   1794 1717.63
1727.20/1727.82	c  3082928    182     1599    80122   50     4051    3226   1583   1794 1717.73
1727.20/1727.82	c  3083180    182     1851    92578   50     4556    3549   1835   1794 1717.78
1727.20/1727.82	c  3083655    182     2326   117859   50     5514    3904   2310   1795 1717.88
1727.20/1727.82	c  3084468    182     3139   155666   49     7138    4295   3123   1795 1718.05
1727.20/1727.82	c  3085789    182     2243   103309   46     5350    4725   2227   1795 1718.41
1727.20/1727.82	c  3087870    182     4324   199073   46     9511    5198   4308   1796 1718.84
1727.20/1727.82	c  3091093    182     4903   225705   46    10666    5718   4887   1797 1719.62
1727.20/1727.82	c  3096029    182     4024   175622   43     8906    6290   4008   1799 1720.83
1727.20/1727.82	c  3103535    182     5129   235802   45    11116    6920   5113   1801 1722.74
1727.20/1727.82	c  3114896    182     5951   285618   47    12764    7613   5935   1804 1725.86
1727.20/1727.82	o 100
1727.30/1727.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1727.30/1727.92	c  3119540    182     6729   305763   45    14424    2932   6713   1806 1727.23
1727.30/1727.92	o 96
1727.30/1727.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1727.30/1727.93	c  3119549    182     1509    70134   46     3983    2932   1493   1805 1727.33
1727.30/1727.93	o 94
1732.69/1733.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1732.69/1733.36	c  3119589    182     1550    71981   46     4177    2932   1534   1806 1727.34
1732.69/1733.36	c  3119689    182     1650    75809   45     4376    3226   1634   1806 1727.35
1732.69/1733.36	c  3119939    182     1900    86561   45     4878    3549   1884   1806 1727.39
1732.69/1733.36	c  3120414    182     2375   107198   45     5832    3904   2359   1806 1727.49
1732.69/1733.36	c  3121227    182     3188   144975   45     7445    4295   3172   1806 1727.67
1732.69/1733.36	c  3122548    182     2296   100587   43     5452    4725   2280   1807 1728.01
1732.69/1733.36	c  3124629    182     4377   195049   44     9617    5198   4361   1807 1728.48
1732.69/1733.36	c  3127854    182     4962   229362   46    10791    5718   4946   1808 1729.30
1732.69/1733.36	c  3132790    182     4080   172620   42     9024    6290   4064   1810 1730.57
1732.69/1733.36	c  3140296    182     5206   231151   44    11271    6920   5190   1812 1732.41
1732.69/1733.36	o 90
1756.38/1757.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1756.38/1757.02	c  3141768    182     6679   288024   43    14322    2932   6663   1813 1732.77
1756.38/1757.02	c  3141868    182     1599    64305   40     4057    3226   1583   1813 1732.93
1756.38/1757.02	c  3142121    182     1852    74610   40     4563    3549   1836   1813 1732.98
1756.38/1757.02	c  3142596    182     2327    95664   41     5513    3904   2311   1813 1733.07
1756.38/1757.02	c  3143409    182     3140   134011   42     7141    4295   3124   1813 1733.25
1756.38/1757.02	c  3144729    182     2269   105438   46     5399    4725   2253   1813 1733.59
1756.38/1757.02	c  3146810    182     4350   196154   45     9559    5198   4334   1814 1734.04
1756.38/1757.02	c  3150033    182     4917   213616   43    10689    5718   4901   1815 1734.82
1756.38/1757.02	c  3154969    182     4040   172241   42     8938    6290   4024   1817 1736.13
1756.38/1757.02	c  3162475    182     5149   235519   45    11165    6920   5133   1819 1737.98
1756.38/1757.02	c  3173836    182     5974   275524   46    12806    7613   5958   1823 1740.97
1756.38/1757.02	c  3190981    182     3840   184097   47     8534    8375   3824   1827 1746.14
1756.38/1757.02	c  3216800    182     4240   169208   39     9331    9213   4224   1834 1753.89
1756.38/1757.02	o 86
1797.97/1798.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.97/1798.62	c  3225676    182     8462   366228   43    17896    2932   8446   1836 1756.42
1797.97/1798.62	c  3225778    182     1601    74615   46     4062    3226   1585   1836 1756.53
1797.97/1798.62	c  3226028    182     1851    84118   45     4563    3549   1835   1836 1756.56
1797.97/1798.62	c  3226503    182     2326   106601   45     5510    3904   2310   1836 1756.64
1797.97/1798.62	c  3227316    182     3139   142972   45     7138    4295   3123   1837 1756.79
1797.97/1798.62	c  3228636    182     2270   106837   47     5393    4725   2254   1837 1757.11
1797.97/1798.62	c  3230717    182     4351   195190   44     9563    5198   4335   1838 1757.51
1797.97/1798.62	c  3233940    182     4924   207387   42    10707    5718   4908   1839 1758.22
1797.97/1798.62	c  3238876    182     4035   189690   47     8931    6290   4019   1840 1759.55
1797.97/1798.62	c  3246382    182     5130   231823   45    11117    6920   5114   1842 1761.55
1797.97/1798.62	c  3257743    182     5958   250468   42    12773    7613   5942   1846 1764.64
1797.97/1798.62	c  3274887    182     3840   166279   43     8544    8375   3824   1850 1769.30
1797.97/1798.62	c  3300706    182     4221   174796   41     9303    9213   4205   1858 1776.26
1797.97/1798.62	c  3339539    182     5778   255269   44    12417   10135   5762   1867 1788.45
1797.97/1798.62	c Resources Exceeded
1797.97/1798.62	v x1 x2 x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 x106 -x107 x108 x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 -x131 x132 -x133 x134 x135 -x136 -x137 -x138 -x139 x140 x141 x142 x143 -x144 x145 -x146 -x147 -x148 x149 -x150 x151 x152 -x153 -x154 -x155 x156 x157 x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 x166 -x167 -x168 x169 x170 -x171 x172 -x173 x174 -x175 x177 x178 x179 x180 x181 x182 -x183 -x184 x185 -x186 x187 x188 -x189 x190 x191 -x192 -x193 -x194 x195 x196 -x197 -x198 x176 
1797.97/1798.62	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.62	c  243  3368697 128016  3550673     9366   394261   9350   1873 1798.00
1797.97/1798.62	c Objective: 86
1797.97/1798.62	s SATISFIABLE
1797.97/1798.62	c Total time: 1798 s

Verifier Data 

OK	86

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878628-1245175914/watcher-1878628-1245175914 -o /tmp/evaluation-result-1878628-1245175914/solver-1878628-1245175914 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878628-1245175914.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.92 0.98 0.99 3/64 11641
/proc/meminfo: memFree=1887640/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=18520 CPUtime=0
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 185191095 18964480 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 4630 243 189 640 0 3986 0

[startup+0.0327439 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11641
/proc/meminfo: memFree=1887640/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=10836 CPUtime=0.03
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 318 0 0 0 3 0 0 0 18 0 1 0 185191095 11096064 298 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 2709 298 196 640 0 2065 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10836

[startup+0.101753 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11641
/proc/meminfo: memFree=1887640/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=11344 CPUtime=0.09
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 428 0 0 0 9 0 0 0 18 0 1 0 185191095 11616256 408 1992294400 134512640 137136520 4294956256 18446744073709551615 136502340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 2836 408 196 640 0 2192 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344

[startup+0.301786 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11641
/proc/meminfo: memFree=1887640/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=12364 CPUtime=0.29
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 693 0 0 0 29 0 0 0 19 0 1 0 185191095 12660736 673 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 3091 673 196 640 0 2447 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12364

[startup+0.70185 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11641
/proc/meminfo: memFree=1887640/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=13904 CPUtime=0.69
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 1094 0 0 0 68 1 0 0 22 0 1 0 185191095 14237696 1074 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 3476 1074 196 640 0 2832 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13904

[startup+1.50198 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 11642
/proc/meminfo: memFree=1883472/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=14540 CPUtime=1.49
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 1230 0 0 0 148 1 0 0 25 0 1 0 185191095 14888960 1210 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 3635 1210 196 640 0 2991 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14540

[startup+3.10123 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 11642
/proc/meminfo: memFree=1883344/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=14800 CPUtime=3.09
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 1297 0 0 0 307 2 0 0 25 0 1 0 185191095 15155200 1277 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 3700 1277 196 640 0 3056 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14800

[startup+6.30174 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 11642
/proc/meminfo: memFree=1882832/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=15188 CPUtime=6.29
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 1404 0 0 0 625 4 0 0 25 0 1 0 185191095 15552512 1384 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 3797 1384 196 640 0 3153 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15188

[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 11642
/proc/meminfo: memFree=1882008/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=15828 CPUtime=12.68
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 1552 0 0 0 1262 6 0 0 25 0 1 0 185191095 16207872 1532 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 3957 1532 196 640 0 3313 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15828

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 11642
/proc/meminfo: memFree=1881816/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=15816 CPUtime=25.48
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 1553 0 0 0 2537 11 0 0 25 0 1 0 185191095 16195584 1533 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 3954 1533 196 640 0 3310 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15816

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 11642
/proc/meminfo: memFree=1880664/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=17040 CPUtime=51.07
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 1875 0 0 0 5085 22 0 0 25 0 1 0 185191095 17448960 1836 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 4260 1836 196 640 0 3616 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17040

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 11642
/proc/meminfo: memFree=1877208/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=20464 CPUtime=102.25
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 2737 0 0 0 10190 35 0 0 25 0 1 0 185191095 20955136 2698 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 5116 2698 196 640 0 4472 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 20464

[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11642
/proc/meminfo: memFree=1875736/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=21600 CPUtime=162.23
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 3712 0 0 0 16175 48 0 0 25 0 1 0 185191095 22118400 2998 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 5400 2998 196 640 0 4756 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 21600

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11642
/proc/meminfo: memFree=1874712/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=22820 CPUtime=222.21
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 4008 0 0 0 22160 61 0 0 25 0 1 0 185191095 23367680 3285 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 5705 3285 196 640 0 5061 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 22820

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11642
/proc/meminfo: memFree=1874328/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=23156 CPUtime=282.19
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 4099 0 0 0 28148 71 0 0 25 0 1 0 185191095 23711744 3376 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 5789 3376 196 640 0 5145 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 23156

[startup+342.301 s]
/proc/loadavg: 1.07 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1873496/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=23908 CPUtime=342.17
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 4298 0 0 0 34135 82 0 0 25 0 1 0 185191095 24481792 3575 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 5977 3575 196 640 0 5333 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 23908

[startup+402.302 s]
/proc/loadavg: 1.10 1.02 1.00 2/65 11642
/proc/meminfo: memFree=1873432/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=23908 CPUtime=402.15
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 4298 0 0 0 40123 92 0 0 25 0 1 0 185191095 24481792 3575 1992294400 134512640 137136520 4294956256 18446744073709551615 134543912 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 5977 3575 196 640 0 5333 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 23908

[startup+462.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 11642
/proc/meminfo: memFree=1873368/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=23908 CPUtime=462.13
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 4298 0 0 0 46113 100 0 0 25 0 1 0 185191095 24481792 3575 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 5977 3575 196 640 0 5333 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 23908

[startup+522.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1873176/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=24296 CPUtime=522.1
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 4386 0 0 0 52099 111 0 0 25 0 1 0 185191095 24879104 3663 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 6074 3663 196 640 0 5430 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 24296

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1871832/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=25636 CPUtime=582.09
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 4719 0 0 0 58084 125 0 0 25 0 1 0 185191095 26251264 3996 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 6409 3996 196 640 0 5765 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 25636

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1871832/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=25448 CPUtime=642.07
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 4719 0 0 0 64073 134 0 0 25 0 1 0 185191095 26058752 3960 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 6362 3960 196 640 0 5718 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 25448

[startup+702.302 s]

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

/proc/meminfo: memFree=1869656/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=27440 CPUtime=1121.91
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 5560 0 0 0 111969 222 0 0 25 0 1 0 185191095 28098560 4458 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 6860 4458 196 640 0 6216 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 27440

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1869592/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=27440 CPUtime=1181.88
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 5560 0 0 0 117957 231 0 0 25 0 1 0 185191095 28098560 4458 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 6860 4458 196 640 0 6216 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 27440

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1868824/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=28188 CPUtime=1241.86
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 5735 0 0 0 123945 241 0 0 25 0 1 0 185191095 28864512 4633 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 7047 4633 196 640 0 6403 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 28188

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1868440/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=28544 CPUtime=1301.84
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 5824 0 0 0 129935 249 0 0 25 0 1 0 185191095 29229056 4722 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 7136 4722 196 640 0 6492 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 28544

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1865944/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=30972 CPUtime=1361.82
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 6432 0 0 0 135923 259 0 0 25 0 1 0 185191095 31715328 5330 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 7743 5330 196 640 0 7099 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 30972

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1868248/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=28524 CPUtime=1421.8
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 6432 0 0 0 141911 269 0 0 25 0 1 0 185191095 29208576 4729 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 7131 4729 196 640 0 6487 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 28524

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1868504/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=28208 CPUtime=1481.78
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 6432 0 0 0 147897 281 0 0 25 0 1 0 185191095 28884992 4650 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 7052 4650 196 640 0 6408 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 28208

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1868632/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=28200 CPUtime=1541.76
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 6432 0 0 0 153878 298 0 0 25 0 1 0 185191095 28876800 4648 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 7050 4648 196 640 0 6406 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 28200

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1868632/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=28184 CPUtime=1601.74
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 6432 0 0 0 159860 314 0 0 25 0 1 0 185191095 28860416 4644 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 7046 4644 196 640 0 6402 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 28184

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1868632/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=28180 CPUtime=1661.71
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 6432 0 0 0 165842 329 0 0 25 0 1 0 185191095 28856320 4643 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 7045 4643 196 640 0 6401 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 28180

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1868632/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=28172 CPUtime=1721.7
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 6432 0 0 0 171823 347 0 0 25 0 1 0 185191095 28848128 4641 1992294400 134512640 137136520 4294956256 18446744073709551615 134543924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 7043 4641 196 640 0 6399 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 28172

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1868504/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=28172 CPUtime=1781.68
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 6432 0 0 0 177798 370 0 0 25 0 1 0 185191095 28848128 4641 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 7043 4641 196 640 0 6399 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 28172

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1868504/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=28172 CPUtime=1791.28
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 6432 0 0 0 178755 373 0 0 25 0 1 0 185191095 28848128 4641 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 7043 4641 196 640 0 6399 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 28172

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1868504/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=28172 CPUtime=1794.47
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 6432 0 0 0 179074 373 0 0 25 0 1 0 185191095 28848128 4641 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 7043 4641 196 640 0 6399 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (KiB) 28172

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1868504/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=28172 CPUtime=1796.07
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 6432 0 0 0 179233 374 0 0 25 0 1 0 185191095 28848128 4641 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 7043 4641 196 640 0 6399 0
Current children cumulated CPU time (s) 1796.07
Current children cumulated vsize (KiB) 28172

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1868504/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=28172 CPUtime=1796.87
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 6432 0 0 0 179313 374 0 0 25 0 1 0 185191095 28848128 4641 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 7043 4641 196 640 0 6399 0
Current children cumulated CPU time (s) 1796.87
Current children cumulated vsize (KiB) 28172

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1868504/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=28172 CPUtime=1797.67
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 6432 0 0 0 179393 374 0 0 25 0 1 0 185191095 28848128 4641 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 7043 4641 196 640 0 6399 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (KiB) 28172

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1868504/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=28172 CPUtime=1797.87
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 6432 0 0 0 179413 374 0 0 25 0 1 0 185191095 28848128 4641 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 7043 4641 196 640 0 6399 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 28172

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11642
/proc/meminfo: memFree=1868504/2055920 swapFree=4192812/4192956
[pid=11641] ppid=11639 vsize=28172 CPUtime=1797.97
/proc/11641/stat : 11641 (bsolo) R 11639 11641 11292 0 -1 4194304 6432 0 0 0 179423 374 0 0 25 0 1 0 185191095 28848128 4641 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11641/statm: 7043 4641 196 640 0 6399 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 28172

Child status: 0
Real time (s): 1798.62
CPU time (s): 1798
CPU user time (s): 1794.25
CPU system time (s): 3.74943
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 30972

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

runsolver used 1.42678 second user time and 3.65544 second system time

The end

Launcher Data 

Begin job on node26 at 2009-06-16 20:11:54
IDJOB=1878628
IDBENCH=2912
IDSOLVER=700
FILE ID=node26/1878628-1245175914
PBS_JOBID= 9363880
Free space on /tmp= 66156 MiB

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

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

MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d
RANDOM SEED=841284056

node26.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.263
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	: 5931.00
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.263
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:       1888056 kB
Buffers:         33632 kB
Cached:          70680 kB
SwapCached:          0 kB
Active:          62324 kB
Inactive:        55864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1888056 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3956 kB
Writeback:           0 kB
Mapped:          23704 kB
Slab:            35736 kB
Committed_AS:   158636 kB
PageTables:       1372 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-1878628-1245175914.opb

Free space on /tmp at the end= 66152 MiB
End job on node26 at 2009-06-16 20:41:53