Trace number 1877198

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.1SAT99 1798.01 1798.49

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: Cardinality Constraint 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-1877198-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.001 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.05/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.07	c        0    198       17     1482   87      903    2964      1      0 0.01
0.05/0.07	c      103    198      128    10124   79     1223    3261    112   3322 0.03
0.05/0.07	o 1065
0.05/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.09	c      246    198      274    22526   82     1638    2964    258   3194 0.08
0.05/0.09	o 1040
0.05/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.09	c      300    198      331    26001   78     1844    2964    315   3333 0.09
0.05/0.09	o 877
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      317    198      349    27437   78     1925    2964    333   3408 0.09
0.09/0.10	o 876
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c      352    198      386    30520   79     2122    2964    370   3450 0.10
0.19/0.20	c      452    198      489    38233   78     2436    3261    473   3299 0.14
0.19/0.20	o 875
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c      635    198      676    55946   82     2866    2964    660   3159 0.20
0.19/0.24	c      737    198      780    64785   83     3109    3261    764   3136 0.23
0.19/0.24	o 866
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c      759    198      803    66170   82     3254    2964    787   3123 0.24
0.19/0.25	o 850
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c      813    198      858    70269   81     3523    2964    842   3175 0.26
0.19/0.29	o 819
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c      900    198      949    77497   81     3826    2964    933   3061 0.29
0.29/0.33	c     1002    198     1057    86339   81     4121    3261   1041   3036 0.33
0.29/0.33	o 789
0.29/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.34	c     1013    198     1069    87116   81     4210    2964   1053   3023 0.34
0.29/0.34	o 781
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c     1026    198     1083    88067   81     4344    2964   1067   3008 0.34
0.29/0.38	c     1128    198     1187    95774   80     4604    3261   1171   2937 0.38
0.29/0.38	o 773
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c     1129    198     1189    95963   80     4677    2964   1173   2932 0.39
0.29/0.38	o 768
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c     1131    198     1192    96264   80     4788    2964   1176   2922 0.39
0.29/0.39	o 765
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c     1142    198     1204    97357   80     4901    2964   1188   2913 0.39
0.39/0.43	o 751
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c     1222    198     1289   104212   80     5220    2964   1273   2841 0.43
0.49/0.53	c     1324    198     1394   110797   79     5558    3261   1378   2793 0.47
0.49/0.53	o 735
0.49/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.58	c     1470    198     1548   122750   79     5971    2964   1532   2732 0.54
0.49/0.58	o 729
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c     1556    198     1637   128684   78     6288    2964   1621   2682 0.58
0.59/0.60	o 716
0.59/0.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.65	c     1601    198     1684   132374   78     6477    2964   1668   2659 0.60
0.59/0.65	c     1702    198     1785   139330   78     6788    3261   1769   2614 0.65
0.59/0.65	o 711
0.59/0.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.67	c     1706    198     1790   139746   78     6811    2964   1774   2604 0.66
0.59/0.67	o 710
0.69/0.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.70	c     1751    198     1836   142479   77     7027    2964   1820   2590 0.68
0.69/0.70	o 645
0.79/0.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.89	c     1807    198     1893   145481   76     7170    2964   1877   2574 0.70
0.79/0.89	c     1907    198     1995   152521   76     7468    3261   1979   2559 0.74
0.79/0.89	c     2157    198     2251   172635   76     7768    3588   2235   2519 0.86
0.79/0.89	o 633
0.89/0.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.90	c     2237    198     2334   178576   76     8169    2964   2318   2505 0.89
0.89/0.90	o 614
0.89/0.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.95	c     2264    198     2363   181272   76     8136    2964   2347   2496 0.91
0.89/0.95	o 566
0.89/1.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/1.00	c     2359    198     2460   187131   76     8389    2964   2444   2480 0.95
0.89/1.00	c     2461    198     2565   193511   75     8830    3261   2549   2475 0.99
0.89/1.00	o 548
1.50/1.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.50/1.52	c     2474    198     2579   194548   75     8611    2964   2563   2474 1.00
1.50/1.52	c     2575    198     2681   199887   74     9106    3261   2665   2468 1.04
1.50/1.52	c     2826    198     2934   218018   74     9209    3588   2918   2425 1.17
1.50/1.52	c     3301    198     3438   252049   73    10579    3947   3422   2385 1.38
1.50/1.52	o 544
1.50/1.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.50/1.58	c     3594    198     3744   274768   73    11010    2964   3728   2353 1.53
1.50/1.58	c     3694    198     1599   108389   67     4251    3261   1583   2342 1.58
1.50/1.58	o 542
1.69/1.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.72	c     3711    198     1617   110241   68     4375    2964   1601   2341 1.58
1.69/1.72	c     3811    198     1719   116212   67     4606    3261   1703   2346 1.62
1.69/1.72	o 536
1.79/1.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.83	c     4052    198     1962   131618   67     5206    2964   1946   2358 1.72
1.79/1.83	c     4152    198     2062   136739   66     5418    3261   2046   2357 1.76
1.79/1.83	o 532
1.89/1.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.94	c     4309    198     2229   152683   68     5983    2964   2213   2352 1.83
1.89/1.94	c     4409    198     2330   159311   68     6218    3261   2314   2345 1.88
1.89/1.94	o 526
1.89/1.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.96	c     4572    198     2500   170994   68     6655    2964   2484   2348 1.95
1.89/1.96	o 523
1.99/2.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.08	c     4601    198     2530   172332   68     6811    2964   2514   2347 1.96
1.99/2.08	c     4702    198     2644   181801   68     7246    3261   2628   2347 2.00
1.99/2.08	o 521
2.29/2.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.34	c     4900    198     2843   192724   67     7726    2964   2827   2355 2.08
2.29/2.34	c     5000    198     2947   200468   68     8015    3261   2931   2350 2.13
2.29/2.34	c     5250    198     3197   213394   66     8560    3588   3181   2347 2.24
2.29/2.34	o 519
2.29/2.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.37	c     5471    198     3420   227019   66     9134    2964   3404   2333 2.35
2.29/2.37	o 495
2.39/2.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.40	c     5510    198     1539    99756   64     4149    2964   1523   2324 2.37
2.39/2.40	c     5610    198     1640   104843   63     4361    3261   1624   2332 2.40
2.39/2.40	o 471
2.39/2.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.42	c     5611    198     1642   105043   63     4471    2964   1626   2332 2.41
2.39/2.42	o 463
2.39/2.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.44	c     5657    198     1692   108794   64     4714    2964   1676   2333 2.42
2.39/2.44	o 457
2.49/2.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.51	c     5693    198     1730   111054   64     4923    2964   1714   2334 2.44
2.49/2.51	c     5794    198     1836   120925   65     5191    3261   1820   2330 2.49
2.49/2.51	o 438
2.49/2.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.53	c     5861    198     1904   124939   65     5408    2964   1888   2329 2.52
2.49/2.53	o 428
2.69/2.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.76	c     5906    198     1951   127824   65     5620    2964   1935   2330 2.53
2.69/2.76	c     6007    198     2052   132811   64     5876    3261   2036   2331 2.58
2.69/2.76	c     6257    198     2311   149422   64     6416    3588   2295   2326 2.69
2.69/2.76	o 427
3.20/3.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.20/3.29	c     6429    198     2492   162621   65     6956    2964   2476   2326 2.76
3.20/3.29	c     6530    198     2596   169419   65     7213    3261   2580   2326 2.81
3.20/3.29	c     6781    198     2868   188508   65     7787    3588   2852   2326 2.92
3.20/3.29	c     7256    198     3354   213995   63     8794    3947   3338   2323 3.12
3.20/3.29	o 311
3.30/3.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.30/3.36	c     7609    198     3720   239717   64     9522    2964   3704   2309 3.29
3.30/3.36	c     7710    198     1602   102110   63     4119    3261   1586   2309 3.34
3.30/3.36	o 309
3.49/3.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.49/3.58	c     7784    198     1679   106158   63     4386    2964   1663   2313 3.37
3.49/3.58	c     7886    198     1783   111916   62     4605    3261   1767   2317 3.40
3.49/3.58	c     8138    198     2051   132898   64     5319    3588   2035   2325 3.50
3.49/3.58	o 297
3.69/3.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.76	c     8330    198     2255   147681   65     5907    2964   2239   2328 3.58
3.69/3.76	c     8430    198     2358   153867   65     6110    3261   2342   2330 3.62
3.69/3.76	c     8680    198     2610   167827   64     6674    3588   2594   2334 3.72
3.69/3.76	o 295
9.48/9.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.48/9.56	c     8784    198     2717   174490   64     7027    2964   2701   2335 3.76
9.48/9.56	c     8884    198     2817   178875   63     7241    3261   2801   2339 3.80
9.48/9.56	c     9134    198     3067   191107   62     7730    3588   3051   2345 3.90
9.48/9.56	c     9609    198     3546   214059   60     8678    3947   3530   2356 4.08
9.48/9.56	c    10422    198     2321   130613   56     5632    4342   2305   2358 4.42
9.48/9.56	c    11742    198     3658   212229   58     8358    4777   3642   2353 4.99
9.48/9.56	c    13824    198     3292   181148   55     7520    5255   3276   2365 5.84
9.48/9.56	c    17047    198     3843   210252   54     8631    5781   3827   2293 7.43
9.48/9.56	o 281
9.68/9.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.68/9.79	c    21240    198     5079   294749   58    11239    2964   5063   2222 9.55
9.68/9.79	c    21340    198     1600    93464   58     4130    3261   1584   2217 9.62
9.68/9.79	c    21590    198     1856   107898   58     4639    3588   1840   2217 9.74
9.68/9.79	o 280
25.88/25.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.88/25.97	c    21713    198     1983   115407   58     5062    2964   1967   2218 9.79
25.88/25.97	c    21813    198     2083   120511   57     5258    3261   2067   2220 9.82
25.88/25.97	c    22063    198     2346   135258   57     5802    3588   2330   2221 9.93
25.88/25.97	c    22538    198     2829   162167   57     6800    3947   2813   2219 10.15
25.88/25.97	c    23351    198     3661   212860   58     8579    4342   3645   2212 10.55
25.88/25.97	c    24672    198     2761   162447   58     6634    4777   2745   2200 11.21
25.88/25.97	c    26753    198     2409   124063   51     5712    5255   2393   2220 12.05
25.88/25.97	c    29978    198     2990   160722   53     6894    5781   2974   2226 13.46
25.88/25.97	c    34914    198     5039   251241   49    10977    6360   5023   2226 15.68
25.88/25.97	c    42420    198     6150   315725   51    13215    6997   6134   2191 19.36
25.88/25.97	c    53781    198     6930   382297   55    14771    7697   6914   2157 24.92
25.88/25.97	o 240
25.98/26.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.98/26.03	c    55707    198     4957   274056   55    10944    2964   4941   2145 25.97
25.98/26.03	o 236
27.49/27.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.49/27.55	c    55780    198     1573    78701   50     4167    2964   1557   2143 26.02
27.49/27.55	c    55880    198     1673    82878   49     4351    3261   1657   2144 26.06
27.49/27.55	c    56130    198     1927    94799   49     4852    3588   1911   2146 26.15
27.49/27.55	c    56605    198     2408   118271   49     5820    3947   2392   2148 26.34
27.49/27.55	c    57418    198     3228   162827   50     7478    4342   3212   2150 26.69
27.49/27.55	c    58738    198     2314   120437   52     5651    4777   2298   2149 27.32
27.49/27.55	o 234
28.38/28.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
28.38/28.45	c    59212    198     2793   149053   53     6731    2964   2777   2150 27.54
28.38/28.45	c    59313    198     2895   153535   53     6929    3261   2879   2150 27.59
28.38/28.45	c    59563    198     3154   175772   55     7548    3588   3138   2150 27.70
28.38/28.45	c    60039    198     1811   105816   58     4620    3947   1795   2149 27.93
28.38/28.45	c    60854    198     2636   151444   57     6281    4342   2620   2151 28.29
28.38/28.45	o 224
28.79/28.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
28.79/28.87	c    61206    198     2993   170280   56     7127    2964   2977   2151 28.44
28.79/28.87	c    61307    198     1600    86971   54     4100    3261   1584   2151 28.49
28.79/28.87	c    61557    198     1854    99575   53     4617    3588   1838   2153 28.59
28.79/28.87	c    62032    198     2332   124154   53     5600    3947   2316   2154 28.79
28.79/28.87	o 218
29.48/29.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.48/29.50	c    62199    198     2502   135135   54     6072    2964   2486   2155 28.86
29.48/29.50	c    62299    198     2603   139484   53     6257    3261   2587   2155 28.90
29.48/29.50	c    62551    198     2855   150832   52     6768    3588   2839   2157 29.00
29.48/29.50	c    63028    198     3350   182283   54     7851    3947   3334   2157 29.21
29.48/29.50	o 200
29.69/29.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.69/29.74	c    63700    198     2027   109712   54     5216    2964   2011   2159 29.50
29.69/29.74	c    63801    198     2130   114293   53     5424    3261   2114   2160 29.53
29.69/29.74	c    64053    198     2392   127370   53     5966    3588   2376   2160 29.64
29.69/29.74	o 198
29.69/29.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.69/29.79	c    64257    198     2599   137391   52     6506    2964   2583   2161 29.73
29.69/29.79	c    64357    198     2701   142673   52     6704    3261   2685   2161 29.77
29.69/29.79	o 196
40.27/40.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.27/40.35	c    64395    198     2741   145023   52     6922    2964   2725   2161 29.79
40.27/40.35	c    64496    198     2842   149025   52     7127    3261   2826   2162 29.82
40.27/40.35	c    64746    198     3094   161260   52     7640    3588   3078   2163 29.93
40.27/40.35	c    65221    198     3573   188211   52     8619    3947   3557   2162 30.16
40.27/40.35	c    66034    198     2334   113839   48     5704    4342   2318   2165 30.50
40.27/40.35	c    67354    198     3663   184662   50     8373    4777   3647   2165 31.11
40.27/40.35	c    69435    198     3299   163286   49     7602    5255   3283   2171 31.98
40.27/40.35	c    72658    198     3848   206594   53     8721    5781   3832   2170 33.47
40.27/40.35	c    77594    198     2908   146888   50     6708    6360   2892   2158 35.94
40.27/40.35	c    85102    198     3974   223506   56     8907    6997   3958   2143 39.70
40.27/40.35	o 171
40.47/40.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.47/40.56	c    86392    198     5286   291336   55    11746    2964   5270   2141 40.34
40.47/40.56	c    86493    198     1601    83072   51     4169    3261   1585   2139 40.43
40.47/40.56	c    86743    198     1852    95769   51     4707    3588   1836   2140 40.53
40.47/40.56	o 170
40.58/40.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.58/40.64	c    86775    198     1886    98166   52     4892    2964   1870   2140 40.55
40.58/40.64	c    86875    198     1986   101915   51     5098    3261   1970   2141 40.58
40.58/40.64	o 168
40.58/40.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.58/40.65	c    86992    198     2105   107667   51     5464    2964   2089   2141 40.63
40.58/40.65	o 164
40.77/40.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.77/40.86	c    87033    198     2151   110058   51     5696    2964   2135   2141 40.64
40.77/40.86	c    87133    198     2254   117508   52     5953    3261   2238   2141 40.69
40.77/40.86	c    87383    198     2506   131200   52     6447    3588   2490   2142 40.79
40.77/40.86	o 154
41.98/42.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.98/42.07	c    87559    198     2684   138199   51     6929    2964   2668   2143 40.85
41.98/42.07	c    87659    198     2786   144219   51     7137    3261   2770   2143 40.89
41.98/42.07	c    87909    198     3038   156770   51     7631    3588   3022   2144 40.99
41.98/42.07	c    88384    198     3524   185970   52     8707    3947   3508   2145 41.20
41.98/42.07	c    89198    198     2286   127545   55     5771    4342   2270   2147 41.54
41.98/42.07	o 152
52.68/52.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
52.68/52.73	c    90381    198     3507   190836   54     8379    2964   3491   2149 42.05
52.68/52.73	c    90481    198     1602    85285   53     4117    3261   1586   2149 42.10
52.68/52.73	c    90731    198     1854    97626   52     4628    3588   1838   2150 42.18
52.68/52.73	c    91207    198     2335   122035   52     5602    3947   2319   2152 42.38
52.68/52.73	c    92020    198     3150   163906   52     7233    4342   3134   2152 42.74
52.68/52.73	c    93340    198     2229   113533   50     5354    4777   2213   2152 43.37
52.68/52.73	c    95421    198     4329   236368   54     9597    5255   4313   2150 44.37
52.68/52.73	c    98644    198     4875   258996   53    10735    5781   4859   2150 45.88
52.68/52.73	c   103580    198     3954   220360   55     8815    6360   3938   2141 48.38
52.68/52.73	c   111086    198     5034   261405   51    11103    6997   5018   2132 52.08
52.68/52.73	o 151
53.88/53.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
53.88/53.95	c   112316    198     6277   322415   51    13724    2964   6261   2130 52.71
53.88/53.95	c   112416    198     1604    82871   51     4158    3261   1588   2128 52.81
53.88/53.95	c   112666    198     1858    95229   51     4663    3588   1842   2130 52.89
53.88/53.95	c   113141    198     2340   120217   51     5663    3947   2324   2130 53.10
53.88/53.95	c   113954    198     3163   161735   51     7300    4342   3147   2131 53.45
53.88/53.95	o 123
61.58/61.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.58/61.67	c   114948    198     4174   215025   51     9529    2964   4158   2131 53.94
61.58/61.67	c   115048    194     1601    82477   51     4144    3261   1585   2130 54.00
61.58/61.67	c   115298    194     1852    94862   51     4651    3588   1836   2131 54.10
61.58/61.67	c   115773    192     2332   116131   49     5603    3947   2316   2132 54.28
61.58/61.67	c   116586    190     3151   151913   48     7242    4342   3135   2135 54.60
61.58/61.67	c   117907    188     2263   100430   44     5405    4777   2247   2136 55.18
61.58/61.67	c   119988    186     4377   198069   45     9649    5255   4361   2139 56.08
61.58/61.67	c   123211    184     4955   225549   45    10856    5781   4939   2143 57.47
61.58/61.67	c   128147    184     4011   187417   46     8912    6360   3995   2149 59.63
61.58/61.67	o 110
70.07/70.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
70.07/70.17	c   132595    184     5289   239709   45    11592    2936   5273   2150 61.65
70.07/70.17	c   132695    184     1603    73240   45     4128    3230   1587   2148 61.76
70.07/70.17	c   132945    184     1854    83829   45     4641    3554   1838   2149 61.84
70.07/70.17	c   133423    184     2337   107016   45     5605    3910   2321   2151 62.01
70.07/70.17	c   134237    184     3153   150570   47     7239    4302   3137   2153 62.34
70.07/70.17	c   135558    184     2289   110568   48     5459    4733   2273   2155 62.90
70.07/70.17	c   137639    184     4373   202873   46     9629    5207   4357   2161 63.67
70.07/70.17	c   140862    184     4941   215817   43    10753    5728   4925   2168 64.97
70.07/70.17	c   145798    184     4051   186275   45     8971    6301   4035   2176 67.00
70.07/70.17	o 108
70.17/70.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
70.17/70.26	c   152769    182     4688   213163   45    10369    2932   4672   2177 70.15
70.17/70.26	c   152869    182     1599    74674   46     4054    3226   1583   2176 70.23
70.17/70.26	o 105
170.54/170.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
170.54/170.66	c   152921    182     1653    77536   46     4265    2932   1637   2176 70.24
170.54/170.66	c   153022    182     1760    85095   48     4535    3226   1744   2177 70.28
170.54/170.66	c   153273    182     2013    96087   47     5044    3549   1997   2178 70.36
170.54/170.66	c   153749    182     2496   118194   47     6011    3904   2480   2180 70.52
170.54/170.66	c   154563    182     3318   154023   46     7651    4295   3302   2182 70.82
170.54/170.66	c   155883    182     2446   107010   43     5761    4725   2430   2184 71.37
170.54/170.66	c   157965    182     4543   198729   43     9962    5198   4527   2188 72.17
170.54/170.66	c   161188    182     5136   223882   43    11140    5718   5120   2192 73.53
170.54/170.66	c   166125    182     4279   191079   44     9435    6290   4263   2197 75.58
170.54/170.66	c   173632    182     5411   237045   43    11678    6920   5395   2207 78.67
170.54/170.66	c   184993    182     6278   304512   48    13463    7613   6262   2197 84.19
170.54/170.66	c   202137    182     4165   179557   43     9193    8375   4149   2190 92.28
170.54/170.66	c   227956    182     4604   210224   45    10072    9213   4588   2173 104.86
170.54/170.66	c   266788    182     6183   273138   44    13215   10135   6167   2147 124.21
170.54/170.66	c   325140    182     8304   365435   44    17478   11149   8288   2099 154.83
170.54/170.66	o 103
394.08/394.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
394.08/394.20	c   352370    182     7538   340064   45    16044    2932   7522   2065 170.62
394.08/394.20	c   352470    182     1599    77760   48     4070    3226   1583   2063 170.78
394.08/394.20	c   352720    182     1849    88392   47     4566    3549   1833   2064 170.87
394.08/394.20	c   353195    182     2325   109442   47     5511    3904   2309   2064 171.07
394.08/394.20	c   354008    182     3139   146454   46     7139    4295   3123   2065 171.41
394.08/394.20	c   355328    182     2261   100460   44     5381    4725   2245   2066 171.95
394.08/394.20	c   357410    182     4344   192726   44     9547    5198   4328   2069 172.74
394.08/394.20	c   360633    182     4908   215869   43    10678    5718   4892   2072 174.03
394.08/394.20	c   365569    182     4040   183806   45     8936    6290   4024   2076 176.08
394.08/394.20	c   373075    182     5183   239734   46    11231    6920   5167   2080 179.34
394.08/394.20	c   384437    182     6018   274860   45    12899    7613   6002   2086 184.28
394.08/394.20	c   401581    182     3894   192721   49     8738    8375   3878   2083 192.72
394.08/394.20	c   427400    182     4275   201406   47     9414    9213   4259   2085 204.96
394.08/394.20	c   466232    182     5866   252537   43    12589   10135   5850   2078 224.36
394.08/394.20	c   524584    182     7924   360412   45    16715   11149   7908   2045 256.41
394.08/394.20	c   612216    182     5699   294207   51    12275   12264   5683   1961 312.10
394.08/394.20	c   743769    182     7611   379207   49    16086   13491   7595   1900 391.29
394.08/394.20	o 99
1797.91/1798.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.48	c   748096    182    11941   603726   50    24846    2932  11925   1898 394.10
1797.91/1798.48	c   748196    182     1599    79934   49     4065    3226   1583   1896 394.44
1797.91/1798.48	c   748446    182     1850    91259   49     4553    3549   1834   1897 394.52
1797.91/1798.48	c   748921    182     2325   111803   48     5507    3904   2309   1897 394.69
1797.91/1798.48	c   749734    182     3138   145657   46     7132    4295   3122   1898 394.99
1797.91/1798.48	c   751054    182     2259    95592   42     5374    4725   2243   1898 395.54
1797.91/1798.48	c   753135    182     4342   184474   42     9554    5198   4326   1900 396.34
1797.91/1798.48	c   756358    182     4914   213993   43    10687    5718   4898   1901 397.67
1797.91/1798.48	c   761295    182     4040   216317   53     8934    6290   4024   1903 399.86
1797.91/1798.48	c   768801    182     5154   250685   48    11180    6920   5138   1906 403.28
1797.91/1798.48	c   780162    182     5989   276856   46    12848    7613   5973   1909 408.48
1797.91/1798.48	c   797306    182     3891   165822   42     8644    8375   3875   1915 416.26
1797.91/1798.48	c   823126    182     4285   207858   48     9426    9213   4269   1921 428.45
1797.91/1798.48	c   861958    182     5851   278744   47    12573   10135   5835   1919 449.03
1797.91/1798.48	c   920311    182     7943   377251   47    16768   11149   7927   1914 480.67
1797.91/1798.48	c  1007943    182     5626   283810   50    12126   12264   5610   1901 530.18
1797.91/1798.48	c  1139495    182     7523   335791   44    15913   13491   7507   1883 605.05
1797.91/1798.48	c  1336928    182     8115   406603   50    17087   14841   8099   1829 730.73
1797.91/1798.48	c  1633180    182    13455   620305   46    27768   16326  13439   1756 929.88
1797.91/1798.48	c  2077662    182    14985   682500   45    30844   17959  14969   1641 1265.85
1797.91/1798.48	c  2744489    182    14548   785567   53    29981   19755  14532   1526 1797.53
1797.91/1798.48	c Resources Exceeded
1797.91/1798.48	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.91/1798.48	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.48	c  234  2744938  93736  2869212    14998   808027  14982   1526 1798.00
1797.91/1798.48	c Objective: 99
1797.91/1798.48	s SATISFIABLE
1797.91/1798.48	c Total time: 1798 s

Verifier Data 

OK	99

Watcher Data 

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

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

[startup+0.0623339 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 12702
/proc/meminfo: memFree=1681368/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=10956 CPUtime=0.05
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 331 0 0 0 5 0 0 0 18 0 1 0 70300171 11218944 311 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 2739 311 197 640 0 2095 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10956

[startup+0.101337 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 12702
/proc/meminfo: memFree=1681368/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=11084 CPUtime=0.09
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 374 0 0 0 9 0 0 0 18 0 1 0 70300171 11350016 354 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 2771 355 197 640 0 2127 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11084

[startup+0.301356 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 12702
/proc/meminfo: memFree=1681368/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=11804 CPUtime=0.29
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 550 0 0 0 29 0 0 0 19 0 1 0 70300171 12087296 530 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 2951 530 197 640 0 2307 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11804

[startup+0.70139 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 12702
/proc/meminfo: memFree=1681368/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=12780 CPUtime=0.69
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 799 0 0 0 69 0 0 0 22 0 1 0 70300171 13086720 779 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 3195 779 197 640 0 2551 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12780

[startup+1.50146 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1678344/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=14620 CPUtime=1.5
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 1249 0 0 0 149 1 0 0 25 0 1 0 70300171 14970880 1229 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 3655 1229 197 640 0 3011 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 14620

[startup+3.1016 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1677064/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=14620 CPUtime=3.09
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 1268 0 0 0 307 2 0 0 25 0 1 0 70300171 14970880 1248 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 3655 1248 197 640 0 3011 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14620

[startup+6.30188 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1676808/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=14744 CPUtime=6.29
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 1281 0 0 0 626 3 0 0 25 0 1 0 70300171 15097856 1261 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 3686 1261 197 640 0 3042 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14744

[startup+12.7024 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1675992/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=15604 CPUtime=12.69
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 1500 0 0 0 1265 4 0 0 25 0 1 0 70300171 15978496 1480 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 3901 1480 197 640 0 3257 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15604

[startup+25.5016 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1674904/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=16964 CPUtime=25.49
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 1859 0 0 0 2542 7 0 0 25 0 1 0 70300171 17371136 1839 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 4241 1839 197 640 0 3597 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16964

[startup+51.1018 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1674648/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=16964 CPUtime=51.08
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 1859 0 0 0 5095 13 0 0 25 0 1 0 70300171 17371136 1839 1992294400 134512640 137136520 4294956256 18446744073709551615 134543685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 4241 1839 197 640 0 3597 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16964

[startup+102.305 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1674584/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=16968 CPUtime=102.26
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 1860 0 0 0 10201 25 0 0 25 0 1 0 70300171 17375232 1840 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 4242 1840 197 640 0 3598 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 16968

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1673176/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=18416 CPUtime=162.24
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 2210 0 0 0 16186 38 0 0 25 0 1 0 70300171 18857984 2190 1992294400 134512640 137136520 4294956256 18446744073709551615 134543869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 4604 2190 197 640 0 3960 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 18416

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1673176/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=18244 CPUtime=222.23
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 2211 0 0 0 22173 50 0 0 25 0 1 0 70300171 18681856 2159 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 4561 2159 197 640 0 3917 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 18244

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1672216/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=19300 CPUtime=282.22
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 2470 0 0 0 28162 60 0 0 25 0 1 0 70300171 19763200 2417 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 4825 2417 197 640 0 4181 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 19300

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1671576/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=19916 CPUtime=342.2
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 2624 0 0 0 34152 68 0 0 25 0 1 0 70300171 20393984 2571 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 4979 2571 197 640 0 4335 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 19916

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1671576/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=19880 CPUtime=402.18
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 2624 0 0 0 40138 80 0 0 25 0 1 0 70300171 20357120 2569 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 4970 2569 197 640 0 4326 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 19880

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1671576/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=19876 CPUtime=462.16
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 2624 0 0 0 46125 91 0 0 25 0 1 0 70300171 20353024 2568 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 4969 2568 197 640 0 4325 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 19876

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1671576/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=19752 CPUtime=522.15
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 2624 0 0 0 52113 102 0 0 25 0 1 0 70300171 20226048 2537 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 4938 2537 197 640 0 4294 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 19752

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1671576/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=19744 CPUtime=582.13
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 2624 0 0 0 58100 113 0 0 25 0 1 0 70300171 20217856 2535 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 4936 2535 197 640 0 4292 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 19744

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1669848/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=21540 CPUtime=642.12
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 3069 0 0 0 64088 124 0 0 25 0 1 0 70300171 22056960 2979 1992294400 134512640 137136520 4294956256 18446744073709551615 134543939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 5385 2979 197 640 0 4741 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 21540

[startup+702.301 s]

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

/proc/meminfo: memFree=1667160/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=24020 CPUtime=1121.99
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 3691 0 0 0 112003 196 0 0 25 0 1 0 70300171 24596480 3601 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 6005 3601 197 640 0 5361 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 24020

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1667224/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=24012 CPUtime=1181.98
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 3691 0 0 0 117992 206 0 0 25 0 1 0 70300171 24588288 3601 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 6003 3601 197 640 0 5359 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 24012

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1666840/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=24376 CPUtime=1241.96
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 3768 0 0 0 123982 214 0 0 25 0 1 0 70300171 24961024 3678 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 6094 3678 197 640 0 5450 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 24376

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1666456/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=24700 CPUtime=1301.94
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 3860 0 0 0 129971 223 0 0 25 0 1 0 70300171 25292800 3770 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 6175 3770 197 640 0 5531 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 24700

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1666456/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=24700 CPUtime=1361.93
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 3860 0 0 0 135962 231 0 0 25 0 1 0 70300171 25292800 3770 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 6175 3770 197 640 0 5531 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 24700

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1666456/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=24700 CPUtime=1421.91
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 3860 0 0 0 141952 239 0 0 25 0 1 0 70300171 25292800 3770 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 6175 3770 197 640 0 5531 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 24700

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1665304/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=25808 CPUtime=1481.89
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 4133 0 0 0 147943 246 0 0 25 0 1 0 70300171 26427392 4043 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 6452 4043 197 640 0 5808 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 25808

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1664792/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=26080 CPUtime=1541.87
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 4312 0 0 0 153933 254 0 0 25 0 1 0 70300171 26705920 4119 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 6520 4119 197 640 0 5876 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 26080

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1664792/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=26060 CPUtime=1601.87
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 4312 0 0 0 159924 263 0 0 25 0 1 0 70300171 26685440 4114 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 6515 4114 197 640 0 5871 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 26060

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1665048/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=25804 CPUtime=1661.85
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 4312 0 0 0 165914 271 0 0 25 0 1 0 70300171 26423296 4050 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 6451 4050 197 640 0 5807 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 25804

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1665112/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=25800 CPUtime=1721.83
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 4312 0 0 0 171903 280 0 0 25 0 1 0 70300171 26419200 4049 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 6450 4049 197 640 0 5806 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 25800

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1665112/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=25800 CPUtime=1781.82
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 4312 0 0 0 177895 287 0 0 25 0 1 0 70300171 26419200 4049 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 6450 4049 197 640 0 5806 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 25800

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

[startup+1791.91 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1665112/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=25800 CPUtime=1791.42
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 4312 0 0 0 178854 288 0 0 25 0 1 0 70300171 26419200 4049 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 6450 4049 197 640 0 5806 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 25800

[startup+1795.1 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1665112/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=25800 CPUtime=1794.61
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 4312 0 0 0 179173 288 0 0 25 0 1 0 70300171 26419200 4049 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 6450 4049 197 640 0 5806 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 25800

[startup+1796.7 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1665112/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=25800 CPUtime=1796.21
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 4312 0 0 0 179332 289 0 0 25 0 1 0 70300171 26419200 4049 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 6450 4049 197 640 0 5806 0
Current children cumulated CPU time (s) 1796.21
Current children cumulated vsize (KiB) 25800

[startup+1797.5 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1665112/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=25800 CPUtime=1797.01
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 4312 0 0 0 179412 289 0 0 25 0 1 0 70300171 26419200 4049 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 6450 4049 197 640 0 5806 0
Current children cumulated CPU time (s) 1797.01
Current children cumulated vsize (KiB) 25800

[startup+1797.9 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1665112/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=25800 CPUtime=1797.41
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 4312 0 0 0 179452 289 0 0 25 0 1 0 70300171 26419200 4049 1992294400 134512640 137136520 4294956256 18446744073709551615 134571834 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 6450 4049 197 640 0 5806 0
Current children cumulated CPU time (s) 1797.41
Current children cumulated vsize (KiB) 25800

[startup+1798.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1665112/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=25800 CPUtime=1797.81
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 4312 0 0 0 179492 289 0 0 25 0 1 0 70300171 26419200 4049 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 6450 4049 197 640 0 5806 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 25800

[startup+1798.4 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12703
/proc/meminfo: memFree=1665112/2055920 swapFree=4192956/4192956
[pid=12702] ppid=12700 vsize=25800 CPUtime=1797.91
/proc/12702/stat : 12702 (bsolo) R 12700 12702 12308 0 -1 4194304 4312 0 0 0 179502 289 0 0 25 0 1 0 70300171 26419200 4049 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12702/statm: 6450 4049 197 640 0 5806 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 25800

Child status: 0
Real time (s): 1798.49
CPU time (s): 1798.01
CPU user time (s): 1795.11
CPU system time (s): 2.89956
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 26540

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

runsolver used 1.09883 second user time and 3.98339 second system time

The end

Launcher Data 

Begin job on node41 at 2009-06-16 20:11:54
IDJOB=1877198
IDBENCH=2912
IDSOLVER=699
FILE ID=node41/1877198-1245175914
PBS_JOBID= 9363885
Free space on /tmp= 65960 MiB

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

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

MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d
RANDOM SEED=950294828

node41.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.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
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:       1681912 kB
Buffers:         50812 kB
Cached:         243016 kB
SwapCached:          0 kB
Active:         162956 kB
Inactive:       143784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1681912 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3956 kB
Writeback:           0 kB
Mapped:          22716 kB
Slab:            53328 kB
Committed_AS:    53832 kB
PageTables:       1360 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-1877198-1245175914.opb

Free space on /tmp at the end= 65960 MiB
End job on node41 at 2009-06-16 20:41:52