Trace number 1880060

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 pbSAT45 1798.01 1798.67

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
MD5SUM87341d3e4752b9f90faef0f8d9385430
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark1802.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 44
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 constraint84
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 1881
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6154
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: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1880060-1245240403.opb
0.00/0.00	c File size is 13265 bytes.
0.00/0.00	c Highest Coefficient sum: 6154
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: 1368 Watch. Lit: 396
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     1368   85      400    2736      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 1434
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    198       17     1496   88      894    2992      1      0 0.00
0.00/0.02	o 1265
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c       49    198      113    11032   97     3357    2992     97   1814 0.03
0.00/0.03	o 1223
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c       53    198      122    11926   97     3629    2992    106   1827 0.03
0.09/0.14	c      154    198      322    36341  112    12601    3292    306   1252 0.12
0.09/0.14	o 1217
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c      161    198      337    38028  112    13288    2992    321   1158 0.14
0.09/0.19	o 1213
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c      186    198      388    44153  113    15842    2992    372    968 0.19
0.19/0.25	o 1211
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c      213    198      443    51360  115    19121    2992    427    848 0.25
0.19/0.25	o 603
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c      213    198      444    51488  115    16475    2992    428    841 0.25
0.19/0.25	o 601
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c      213    198      445    51616  115    16466    2992    429    838 0.25
0.19/0.26	o 599
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c      218    198      455    52680  115    16036    2992    439    844 0.26
0.19/0.28	o 595
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c      246    198      511    58603  114    18014    2992    495    872 0.28
0.19/0.28	o 593
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c      249    198      518    59198  114    17046    2992    502    873 0.28
0.29/0.38	o 587
0.49/0.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.50	c      330    198      681    77929  114    22737    2992    665    852 0.39
0.49/0.50	o 580
0.49/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.55	c      425    198      868    96393  111    25545    2992    852    841 0.51
0.49/0.55	o 578
0.49/0.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.57	c      451    198      921   102450  111    27990    2992    905    815 0.55
0.49/0.57	o 576
0.49/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.58	c      457    198      934   104120  111    28492    2992    918    798 0.57
0.49/0.58	o 574
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c      459    198      939   104665  111    28859    2992    923    790 0.58
0.49/0.59	o 537
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c      463    198      948   105437  111    28169    2992    932    780 0.59
0.59/0.60	o 533
0.59/0.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.61	c      465    198      953   105915  111    28505    2992    937    774 0.60
0.59/0.61	o 531
0.69/0.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.71	c      472    198      968   108020  111    29496    2992    952    767 0.61
0.69/0.71	o 529
0.79/0.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.87	c      510    198     1045   117441  112    33172    2992   1029    719 0.71
0.79/0.87	o 528
0.89/0.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.90	c      588    198     1198   133138  111    37352    2992   1182    675 0.87
0.89/0.90	o 508
0.89/0.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.91	c      600    198     1223   135670  110    38235    2992   1207    665 0.90
0.89/0.91	o 502
0.89/0.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.96	c      601    198     1226   136057  110    38498    2992   1210    658 0.91
0.89/0.96	o 496
1.69/1.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.78	c      617    198     1259   140046  111    39994    2992   1243    641 0.96
1.69/1.78	c      717    198     1459   164823  112    50138    3292   1443    592 1.21
1.69/1.78	c      967    198     1899   203244  107    63332    3622   1883    619 1.56
1.69/1.78	o 494
1.89/1.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.90	c     1057    198     2058   217635  105    63545    2992   2042    593 1.78
1.89/1.90	o 492
1.89/1.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.95	c     1086    198     2116   224397  106    63733    2992   2100    569 1.91
1.89/1.95	o 490
1.89/1.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.98	c     1094    198     2133   225997  105    61642    2992   2117    561 1.95
1.89/1.98	o 484
1.99/2.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.05	c     1098    198     2142   227111  106    62011    2992   2126    554 1.98
1.99/2.05	o 482
1.99/2.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.07	c     1111    198     2169   230928  106    62863    2992   2153    542 2.05
1.99/2.07	o 472
2.10/2.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.10/2.11	c     1113    198     2174   231452  106    62807    2992   2158    537 2.07
2.10/2.11	o 470
2.20/2.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.20/2.23	c     1118    198     2185   233004  106    63379    2992   2169    529 2.11
2.20/2.23	o 416
2.59/2.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.69	c     1151    198     2252   240960  106    65046    2992   2236    514 2.23
2.59/2.69	c     1251    198     2451   262969  107    72967    3292   2435    468 2.67
2.59/2.69	o 414
2.69/2.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.73	c     1256    198     2462   264103  107    72547    2992   2446    465 2.70
2.69/2.73	o 412
2.69/2.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.76	c     1260    198     2471   265220  107    72729    2992   2455    461 2.73
2.69/2.76	o 410
2.79/2.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.83	c     1264    198     2480   266430  107    73171    2992   2464    457 2.76
2.79/2.83	o 395
2.79/2.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.89	c     1272    198     2497   268132  107    73090    2992   2481    449 2.83
2.79/2.89	o 393
2.89/2.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.98	c     1280    198     2513   269926  107    73673    2992   2497    442 2.90
2.89/2.98	o 380
3.09/3.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.19	c     1301    198     2555   273960  107    71544    2992   2539    436 2.98
3.09/3.19	o 367
16.49/16.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.49/16.51	c     1361    198     2673   285217  106    76880    2992   2657    426 3.19
16.49/16.51	c     1461    198     2865   303492  105    85803    3292   2849    416 3.50
16.49/16.51	c     1711    198     1663   169132  101    60799    3622   1647    349 4.89
16.49/16.51	c     2186    198     2413   230305   95    86064    3985   2397    381 5.74
16.49/16.51	c     2999    198     3691   332466   90   127834    4384   3675    411 7.29
16.49/16.51	c     4320    198     3565   293037   82   126890    4823   3549    315 13.70
16.49/16.51	o 364
21.89/21.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.89/21.95	c     4803    198     4327   356578   82   149129    2992   4311    290 16.51
21.89/21.95	c     4903    198     1700   134495   79    52327    3292   1684    245 19.96
21.89/21.95	c     5153    198     2085   165268   79    63421    3622   2069    250 20.57
21.89/21.95	o 363
22.08/22.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.08/22.17	c     5616    198     2879   233735   81    87017    2992   2863    255 21.95
22.08/22.17	o 362
23.28/23.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
23.28/23.33	c     5672    198     2976   242330   81    87731    2992   2960    255 22.16
23.28/23.33	c     5773    198     1573   122856   78    44420    3292   1557    248 23.23
23.28/23.33	o 361
23.38/23.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
23.38/23.43	c     5806    198     1637   129683   79    46019    2992   1621    248 23.32
23.38/23.43	o 352
23.38/23.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
23.38/23.45	c     5838    198     1702   136061   79    45768    2992   1686    249 23.43
23.38/23.45	o 331
23.38/23.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
23.38/23.48	c     5839    198     1705   136349   79    45116    2992   1689    249 23.44
23.38/23.48	o 328
23.58/23.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
23.58/23.60	c     5846    198     1720   138199   80    45749    2992   1704    248 23.48
23.58/23.60	o 326
23.68/23.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
23.68/23.76	c     5881    198     1791   146630   81    48994    2992   1775    249 23.59
23.68/23.76	o 323
24.19/24.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.19/24.22	c     5930    198     1886   155756   82    52368    2992   1870    249 23.76
24.19/24.22	c     6032    198     2083   175426   84    56870    3292   2067    249 24.13
24.19/24.22	o 310
24.48/24.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.48/24.50	c     6046    198     2111   178511   84    56838    2992   2095    249 24.21
24.48/24.50	o 308
24.48/24.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.48/24.60	c     6121    198     2262   197965   87    64583    2992   2246    249 24.50
24.48/24.60	o 306
24.78/24.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.78/24.80	c     6147    198     2315   203546   87    53053    2992   2299    249 24.59
24.78/24.80	o 304
24.98/25.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.98/25.06	c     6214    198     2450   219216   89    55111    2992   2434    250 24.80
24.98/25.06	o 301
25.08/25.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.08/25.16	c     6282    198     2576   230789   89    67504    2992   2560    250 25.06
25.08/25.16	o 299
25.08/25.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.08/25.19	c     6300    198     2613   235177   90    68509    2992   2597    250 25.16
25.08/25.19	o 297
25.19/25.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.19/25.23	c     6305    198     2624   236657   90    69178    2992   2608    250 25.18
25.19/25.23	o 288
25.19/25.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.19/25.27	c     6309    198     2633   237689   90    69388    2992   2617    250 25.23
25.19/25.27	o 286
25.29/25.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.29/25.35	c     6312    198     2640   238592   90    69936    2992   2624    249 25.26
25.29/25.35	o 284
25.58/25.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.58/25.69	c     6323    198     2663   241644   90    71164    2992   2647    249 25.34
25.58/25.69	o 205
25.88/25.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.88/25.95	c     6381    198     2778   254002   91    74990    2992   2762    248 25.68
25.88/25.95	o 203
25.88/25.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.88/25.99	c     6426    198     2869   264987   92    78553    2992   2853    247 25.94
25.88/25.99	o 201
25.98/26.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.98/26.05	c     6430    198     2878   266306   92    79234    2992   2862    247 25.98
25.98/26.05	o 199
43.07/43.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
43.07/43.18	c     6439    198     2897   268755   92    80058    2992   2881    247 26.05
43.07/43.18	c     6539    198     1513   152909  101    57910    3292   1497    246 26.54
43.07/43.18	c     6789    198     1946   191396   98    71690    3622   1930    251 26.97
43.07/43.18	c     7264    198     2691   245625   91    87345    3985   2675    262 27.72
43.07/43.18	c     8077    198     3915   334687   85   107825    4384   3899    274 29.41
43.07/43.18	c     9397    198     3581   264476   73    75096    4823   3565    286 32.76
43.07/43.18	c    11478    198     4018   287841   71    73270    5306   4002    308 37.20
43.07/43.18	o 191
43.67/43.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
43.67/43.76	c    14163    198     5200   379697   73    80760    2992   5184    328 43.16
43.67/43.76	o 189
49.06/49.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.06/49.17	c    14166    198     1519   107286   70    28588    2992   1503    323 43.74
49.06/49.17	c    14266    198     1664   119351   71    32455    3292   1648    324 43.90
49.06/49.17	c    14516    198     2025   145753   71    41701    3622   2009    328 44.19
49.06/49.17	c    14991    198     2708   197344   72    60384    3985   2692    333 44.92
49.06/49.17	c    15805    198     3923   290272   73    94128    4384   3907    337 46.89
49.06/49.17	o 172
49.06/49.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.06/49.19	c    16314    198     2441   176741   72    57279    2992   2425    331 49.15
49.06/49.19	o 138
49.37/49.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.37/49.42	c    16315    198     2443   176941   72    57151    2992   2427    331 49.17
49.37/49.42	o 134
49.37/49.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.37/49.49	c    16363    198     2540   188653   74    62533    2992   2524    331 49.40
49.37/49.49	o 132
49.48/49.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.48/49.53	c    16391    198     2597   194164   74    48123    2992   2581    331 49.47
49.48/49.53	o 130
50.77/50.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
50.77/50.89	c    16406    198     2628   198121   75    49615    2992   2612    331 49.51
50.77/50.89	c    16506    198     2810   214324   76    56438    3292   2794    332 49.66
50.77/50.89	c    16756    198     3280   258447   78    77024    3622   3264    335 50.00
50.77/50.89	o 125
50.97/51.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
50.97/51.06	c    17014    198     1873   159392   85    58815    2992   1857    334 50.87
50.97/51.06	o 123
51.17/51.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
51.17/51.23	c    17049    198     1944   167281   86    60158    2992   1928    334 51.04
51.17/51.23	o 121
54.67/54.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
54.67/54.72	c    17111    198     2065   179072   86    63627    2992   2049    334 51.21
54.67/54.72	c    17211    198     2247   194845   86    69926    3292   2231    334 51.46
54.67/54.72	c    17461    198     2700   235829   87    88389    3622   2684    335 52.02
54.67/54.72	c    17937    198     3581   316706   88   117414    3985   3565    333 53.72
54.67/54.72	o 118
56.27/56.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
56.27/56.32	c    18146    198     3960   350991   88   119682    2992   3944    331 54.70
56.27/56.32	o 116
59.37/59.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
59.37/59.49	c    18149    198     1520   133173   87    54684    2992   1504    322 56.30
59.37/59.49	c    18250    198     1704   149868   87    62655    3292   1688    322 56.55
59.37/59.49	c    18500    198     2159   193521   89    76419    3622   2143    322 57.36
59.37/59.49	c    18975    198     3013   270064   89   112846    3985   2997    324 58.51
59.37/59.49	o 112
61.16/61.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.16/61.26	c    19254    198     3510   312873   89   124518    2992   3494    323 59.46
61.16/61.26	o 110
61.26/61.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.26/61.31	c    19284    198     1574   133968   85    57379    2992   1558    314 61.24
61.26/61.31	o 108
61.26/61.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.26/61.38	c    19296    198     1598   136641   85    58470    2992   1582    314 61.28
61.26/61.38	o 104
61.36/61.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.36/61.42	c    19312    198     1631   140408   86    59567    2992   1615    314 61.36
61.36/61.42	o 100
61.36/61.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.36/61.46	c    19319    198     1646   142209   86    60643    2992   1630    314 61.40
61.36/61.46	o 96
63.96/64.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.96/64.09	c    19325    198     1659   143974   86    61601    2992   1643    314 61.44
63.96/64.09	c    19425    198     1843   160242   86    68572    3292   1827    314 61.68
63.96/64.09	c    19675    198     2276   196804   86    85480    3622   2260    315 62.34
63.96/64.09	c    20153    198     3115   269197   86   111837    3985   3099    315 63.93
63.96/64.09	o 94
65.36/65.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.36/65.46	c    20175    198     3160   274304   86   108163    2992   3144    314 64.07
65.36/65.46	o 93
65.46/65.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.46/65.52	c    20255    198     1654   142601   86    61226    2992   1638    309 65.43
65.46/65.52	o 91
68.86/68.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
68.86/68.94	c    20265    198     1675   144980   86    62053    2992   1659    309 65.50
68.86/68.94	c    20365    198     1850   159774   86    68603    3292   1834    309 65.74
68.86/68.94	c    20615    198     2290   198171   86    87409    3622   2274    310 66.47
68.86/68.94	c    21091    198     3094   267677   86   121186    3985   3078    310 67.96
68.86/68.94	o 89
124.54/124.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
124.54/124.66	c    21344    198     3525   304687   86   133117    2992   3509    309 68.92
124.54/124.66	c    21444    198     1669   135966   81    65593    3292   1653    300 71.28
124.54/124.66	c    21694    198     2096   173119   82    82278    3622   2080    301 71.89
124.54/124.66	c    22169    198     2937   249093   84   117513    3985   2921    302 73.35
124.54/124.66	c    22983    198     2277   189998   83    90706    4384   2261    291 78.82
124.54/124.66	c    24304    198     2334   197121   84    91423    4823   2318    278 87.27
124.54/124.66	c    26385    198     3477   298814   85   135101    5306   3461    266 99.16
124.54/124.66	c    29608    198     3715   316448   85   147508    5837   3699    241 122.80
124.54/124.66	o 85
138.14/138.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
138.14/138.20	c    29970    198     4356   371026   85   153077    2992   4340    240 124.61
138.14/138.20	c    30070    198     1696   139509   82    63012    3292   1680    232 129.59
138.14/138.20	c    30320    198     2133   177758   83    77101    3622   2117    232 130.34
138.14/138.20	c    30795    198     2970   249946   84   108859    3985   2954    233 132.07
138.14/138.20	c    31608    198     2368   201057   84    94427    4384   2352    229 137.55
138.14/138.20	o 79
138.44/138.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
138.44/138.53	c    31758    198     2634   224210   85   101446    2992   2618    229 138.15
138.44/138.53	o 77
138.54/138.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
138.54/138.61	c    31799    198     2713   232609   85   101220    2992   2697    229 138.48
138.54/138.61	o 75
138.64/138.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
138.64/138.73	c    31808    198     2730   234300   85   102156    2992   2714    229 138.56
138.64/138.73	o 73
378.55/378.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
378.55/378.72	c    31824    198     2760   237459   86   103675    2992   2744    229 138.68
378.55/378.72	c    31924    198     2934   252560   86   109007    3292   2918    229 139.09
378.55/378.72	c    32174    198     1663   141740   85    68787    3622   1647    226 141.88
378.55/378.72	c    32649    198     2501   216258   86   104064    3985   2485    227 143.42
378.55/378.72	c    33462    198     3881   337160   86   158046    4384   3865    228 146.65
378.55/378.72	c    34782    198     3835   324057   84   152377    4823   3819    223 155.29
378.55/378.72	c    36863    198     2429   200116   82    91205    5306   2413    214 171.93
378.55/378.72	c    40086    182     5012   410116   81   190790    5837   4996    213 187.91
378.55/378.72	c    45024    182     4118   336666   81   153991    6421   4102    203 221.35
378.55/378.72	c    52530    182     3375   278118   82   122079    7064   3359    189 276.96
378.55/378.72	c    63891    182     4223   353245   83   167474    7771   4207    169 377.96
378.55/378.72	o 71
396.14/396.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
396.14/396.36	c    64017    182     4439   371492   83   161203    2960   4423    169 378.58
396.14/396.36	c    64117    182     1657   126645   76    54619    3257   1641    166 384.38
396.14/396.36	c    64368    182     2058   160436   77    71346    3583   2042    167 384.95
396.14/396.36	c    64843    182     2849   228735   80   106395    3942   2833    167 386.13
396.14/396.36	c    65656    182     2109   162388   76    76926    4337   2093    167 391.30
396.14/396.36	c    66976    182     4274   347524   81   156773    4771   4258    169 395.75
396.14/396.36	o 59
567.68/567.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
567.68/567.97	c    67070    182     4427   360111   81   154985    2960   4411    169 396.22
567.68/567.97	c    67170    182     1674   126483   75    51706    3257   1658    167 400.50
567.68/567.97	c    67420    182     2065   157938   76    66473    3583   2049    168 401.07
567.68/567.97	c    67895    182     2802   216329   77    93709    3942   2786    168 402.40
567.68/567.97	c    68708    182     2070   158995   76    75741    4337   2054    168 406.98
567.68/567.97	c    70028    182     4206   340158   80   158111    4771   4190    170 411.05
567.68/567.97	c    72109    182     2707   212554   78    98670    5249   2691    169 424.94
567.68/567.97	c    75332    182     2644   207991   78    94606    5774   2628    168 446.05
567.68/567.97	c    80268    166     4718   373400   79   177215    6352   4702    167 479.97
567.68/567.97	c    87774    166     3400   266526   78   124503    6988   3384    161 544.10
567.68/567.97	o 57
579.48/579.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
579.48/579.74	c    91623    166     6362   529474   83   226229    2928   6346    161 567.76
579.48/579.74	c    91723    166     1659   127826   77    57312    3221   1643    158 579.48
579.48/579.74	o 55
580.08/580.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
580.08/580.30	c    91738    166     1690   130938   77    56378    2928   1674    158 579.52
580.08/580.30	c    91838    166     1856   145184   78    63940    3221   1840    158 579.76
580.08/580.30	o 53
620.46/620.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
620.46/620.74	c    91952    166     2058   163458   79    70854    2928   2042    158 580.09
620.46/620.74	c    92052    166     2227   177644   79    78577    3221   2211    158 580.36
620.46/620.74	c    92303    166     2637   213048   80    96592    3544   2621    158 581.08
620.46/620.74	c    92778    166     3402   277970   81   128666    3899   3386    159 582.68
620.46/620.74	c    93591    166     2742   222984   81   106488    4289   2726    159 587.95
620.46/620.74	c    94911    166     2708   218496   80   101506    4718   2692    159 596.38
620.46/620.74	c    96992    166     3719   307233   82   135281    5190   3703    159 608.03
620.46/620.74	o 51
625.06/625.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
625.06/625.30	c    98996    166     4247   352457   82   154275    2928   4231    159 620.51
625.06/625.30	o 49
733.52/733.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
733.52/733.83	c    99012    166     1513   117165   77    54422    2928   1497    158 625.07
733.52/733.83	c    99112    166     1675   130829   78    62371    3221   1659    158 625.38
733.52/733.83	c    99362    166     2080   164991   79    77756    3544   2064    158 626.11
733.52/733.83	c    99837    166     2802   224736   80   107626    3899   2786    159 627.64
733.52/733.83	c   100650    166     2087   161662   77    74863    4289   2071    158 633.60
733.52/733.83	c   101970    166     4237   345184   81   143086    4718   4221    159 638.64
733.52/733.83	c   104051    166     2783   230399   82    98077    5190   2767    159 653.24
733.52/733.83	c   107274    166     2687   217262   80    94266    5710   2671    158 675.35
733.52/733.83	c   112211    166     4997   438637   87   192653    6282   4981    158 707.50
733.52/733.83	o 45
1797.93/1798.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1798.66	c   115238    166     3511   299145   85   119819    2928   3495    157 733.57
1797.93/1798.66	c   115338    166     1626   129146   79    55293    3221   1610    156 736.12
1797.93/1798.66	c   115588    166     2006   159401   79    69678    3544   1990    156 736.70
1797.93/1798.66	c   116063    166     2766   223180   80    98904    3899   2750    157 738.06
1797.93/1798.66	c   116877    166     2067   168693   81    78115    4289   2051    157 743.02
1797.93/1798.66	c   118197    166     4194   355994   84   159212    4718   4178    158 747.92
1797.93/1798.66	c   120278    166     2688   220770   82    95197    5190   2672    157 763.38
1797.93/1798.66	c   123501    166     2749   232376   84    98366    5710   2733    157 785.36
1797.93/1798.66	c   128437    166     5033   436479   86   184346    6282   5017    157 816.16
1797.93/1798.66	c   135944    166     4470   391627   87   164814    6911   4454    154 878.55
1797.93/1798.66	c   147305    166     4673   394818   84   172024    7603   4657    150 979.06
1797.93/1798.66	c   164449    166     5102   438574   85   187030    8364   5086    144 1138.93
1797.93/1798.66	c   190268    166     4441   378147   85   162833    9201   4425    135 1399.42
1797.93/1798.66	c   229100    166     5869   508449   86   199572   10122   5853    127 1797.44
1797.93/1798.66	c Resources Exceeded
1797.93/1798.66	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 x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 x185 x186 -x187 x188 x189 -x190 x191 -x192 -x193 -x194 x195 x196 x197 x198 
1797.93/1798.66	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.66	c  198   229241   5708   247736     6079   525763   6063    127 1798.01
1797.93/1798.66	c Objective: 45
1797.93/1798.66	s SATISFIABLE
1797.93/1798.66	c Total time: 1798.01 s

Verifier Data 

OK	45

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880060-1245240403/watcher-1880060-1245240403 -o /tmp/evaluation-result-1880060-1245240403/solver-1880060-1245240403 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880060-1245240403.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 1.02 0.94 3/64 13245
/proc/meminfo: memFree=1841344/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=18520 CPUtime=0
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 191641131 18964480 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 4630 243 189 640 0 3986 0

[startup+0.0467389 s]
/proc/loadavg: 1.00 1.02 0.94 3/64 13245
/proc/meminfo: memFree=1841344/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=10972 CPUtime=0.04
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 357 0 0 0 4 0 0 0 18 0 1 0 191641131 11235328 337 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 2743 337 196 640 0 2099 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10972

[startup+0.101748 s]
/proc/loadavg: 1.00 1.02 0.94 3/64 13245
/proc/meminfo: memFree=1841344/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=11364 CPUtime=0.09
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 432 0 0 0 9 0 0 0 18 0 1 0 191641131 11636736 412 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 2841 412 196 640 0 2197 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11364

[startup+0.30223 s]
/proc/loadavg: 1.00 1.02 0.94 3/64 13245
/proc/meminfo: memFree=1841344/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=11884 CPUtime=0.29
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 583 0 0 0 29 0 0 0 19 0 1 0 191641131 12169216 563 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 2971 563 196 640 0 2327 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11884

[startup+0.701859 s]
/proc/loadavg: 1.00 1.02 0.94 3/64 13245
/proc/meminfo: memFree=1841344/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=13052 CPUtime=0.69
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 850 0 0 0 69 0 0 0 22 0 1 0 191641131 13365248 830 1992294400 134512640 137136520 4294956256 18446744073709551615 134606757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 3263 830 197 640 0 2619 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13052

[startup+1.50201 s]
/proc/loadavg: 1.00 1.02 0.94 2/65 13246
/proc/meminfo: memFree=1838136/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=14748 CPUtime=1.49
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 1289 0 0 0 148 1 0 0 25 0 1 0 191641131 15101952 1269 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 3687 1269 197 640 0 3043 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14748

[startup+3.1023 s]
/proc/loadavg: 1.00 1.02 0.94 2/65 13246
/proc/meminfo: memFree=1836280/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=16188 CPUtime=3.09
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 1654 0 0 0 308 1 0 0 25 0 1 0 191641131 16576512 1634 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 4047 1634 197 640 0 3403 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16188

[startup+6.30189 s]
/proc/loadavg: 1.00 1.02 0.94 2/65 13246
/proc/meminfo: memFree=1833784/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=17756 CPUtime=6.29
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 2030 0 0 0 626 3 0 0 25 0 1 0 191641131 18182144 2010 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 4439 2010 197 640 0 3795 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17756

[startup+12.7011 s]
/proc/loadavg: 1.00 1.02 0.94 2/65 13246
/proc/meminfo: memFree=1831736/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=19704 CPUtime=12.69
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 2529 0 0 0 1265 4 0 0 25 0 1 0 191641131 20176896 2509 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 4926 2509 197 640 0 4282 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19704

[startup+25.5014 s]
/proc/loadavg: 1.00 1.01 0.94 2/65 13246
/proc/meminfo: memFree=1831736/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=19704 CPUtime=25.48
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 2529 0 0 0 2544 4 0 0 25 0 1 0 191641131 20176896 2509 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 4926 2509 197 640 0 4282 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19704

[startup+51.1012 s]
/proc/loadavg: 1.00 1.01 0.94 2/65 13246
/proc/meminfo: memFree=1831736/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=19708 CPUtime=51.07
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 2530 0 0 0 5101 6 0 0 25 0 1 0 191641131 20180992 2510 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 4927 2510 197 640 0 4283 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19708

[startup+102.306 s]
/proc/loadavg: 1.00 1.01 0.94 2/65 13246
/proc/meminfo: memFree=1830712/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=20748 CPUtime=102.26
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 2786 0 0 0 10217 9 0 0 25 0 1 0 191641131 21245952 2766 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 5187 2766 197 640 0 4543 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 20748

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1829688/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=21792 CPUtime=162.23
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 3046 0 0 0 16211 12 0 0 25 0 1 0 191641131 22315008 3026 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 5448 3026 197 640 0 4804 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 21792

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1828856/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=22580 CPUtime=222.2
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 3247 0 0 0 22205 15 0 0 25 0 1 0 191641131 23121920 3227 1992294400 134512640 137136520 4294956256 18446744073709551615 134543918 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 5645 3227 197 640 0 5001 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 22580

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1827768/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=23604 CPUtime=282.18
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 3513 0 0 0 28200 18 0 0 25 0 1 0 191641131 24170496 3493 1992294400 134512640 137136520 4294956256 18446744073709551615 134571443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 5901 3493 197 640 0 5257 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 23604

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1825976/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=25416 CPUtime=342.16
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 3954 0 0 0 34196 20 0 0 25 0 1 0 191641131 26025984 3934 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 6354 3934 197 640 0 5710 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 25416

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1825976/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=25416 CPUtime=402.14
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 3963 0 0 0 40192 22 0 0 25 0 1 0 191641131 26025984 3943 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 6354 3943 197 640 0 5710 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 25416

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1825976/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=25416 CPUtime=462.12
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 3963 0 0 0 46187 25 0 0 25 0 1 0 191641131 26025984 3943 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 6354 3943 197 640 0 5710 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 25416

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1825976/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=25416 CPUtime=522.09
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 3963 0 0 0 52182 27 0 0 25 0 1 0 191641131 26025984 3943 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 6354 3943 197 640 0 5710 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 25416

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1825976/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=25416 CPUtime=582.08
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 3963 0 0 0 58179 29 0 0 25 0 1 0 191641131 26025984 3943 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 6354 3943 197 640 0 5710 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 25416

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1825912/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=25416 CPUtime=642.06
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 3963 0 0 0 64175 31 0 0 25 0 1 0 191641131 26025984 3943 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 6354 3943 197 640 0 5710 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 25416

[startup+702.302 s]

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

/proc/meminfo: memFree=1824568/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=26692 CPUtime=1121.88
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 4268 0 0 0 112140 48 0 0 25 0 1 0 191641131 27332608 4248 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 6673 4248 197 640 0 6029 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 26692

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1823352/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=27844 CPUtime=1181.86
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 4557 0 0 0 118135 51 0 0 25 0 1 0 191641131 28512256 4537 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 6961 4537 197 640 0 6317 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 27844

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1823288/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=27840 CPUtime=1241.83
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 4557 0 0 0 124131 52 0 0 25 0 1 0 191641131 28508160 4537 1992294400 134512640 137136520 4294956256 18446744073709551615 134616028 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 6960 4537 197 640 0 6316 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 27840

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1823096/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=27972 CPUtime=1301.82
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 4609 0 0 0 130127 55 0 0 25 0 1 0 191641131 28643328 4589 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 6993 4589 197 640 0 6349 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 27972

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1823096/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=28088 CPUtime=1361.79
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 4623 0 0 0 136123 56 0 0 25 0 1 0 191641131 28762112 4603 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 7022 4603 197 640 0 6378 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 28088

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1822008/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=29128 CPUtime=1421.77
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 4878 0 0 0 142119 58 0 0 25 0 1 0 191641131 29827072 4858 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 7282 4858 197 640 0 6638 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 29128

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1821560/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=29524 CPUtime=1481.74
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 4997 0 0 0 148114 60 0 0 25 0 1 0 191641131 30232576 4977 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 7381 4977 197 640 0 6737 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 29524

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1821496/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=29524 CPUtime=1541.73
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 4997 0 0 0 154111 62 0 0 25 0 1 0 191641131 30232576 4977 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 7381 4977 197 640 0 6737 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 29524

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1821496/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=29524 CPUtime=1601.71
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 4997 0 0 0 160107 64 0 0 25 0 1 0 191641131 30232576 4977 1992294400 134512640 137136520 4294956256 18446744073709551615 134544827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 7381 4977 197 640 0 6737 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 29524

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1821496/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=29524 CPUtime=1661.69
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 4997 0 0 0 166104 65 0 0 25 0 1 0 191641131 30232576 4977 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 7381 4977 197 640 0 6737 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 29524

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1821496/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=29524 CPUtime=1721.67
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 4997 0 0 0 172100 67 0 0 25 0 1 0 191641131 30232576 4977 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 7381 4977 197 640 0 6737 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 29524

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1821432/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=29524 CPUtime=1781.64
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 4997 0 0 0 178095 69 0 0 25 0 1 0 191641131 30232576 4977 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 7381 4977 197 640 0 6737 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 29524

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

[startup+1791.9 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1821432/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=29524 CPUtime=1791.24
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 4997 0 0 0 179055 69 0 0 25 0 1 0 191641131 30232576 4977 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 7381 4977 197 640 0 6737 0
Current children cumulated CPU time (s) 1791.24
Current children cumulated vsize (KiB) 29524

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1821432/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=29524 CPUtime=1794.44
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 4997 0 0 0 179375 69 0 0 25 0 1 0 191641131 30232576 4977 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 7381 4977 197 640 0 6737 0
Current children cumulated CPU time (s) 1794.44
Current children cumulated vsize (KiB) 29524

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1821432/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=29524 CPUtime=1796.04
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 4997 0 0 0 179535 69 0 0 25 0 1 0 191641131 30232576 4977 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 7381 4977 197 640 0 6737 0
Current children cumulated CPU time (s) 1796.04
Current children cumulated vsize (KiB) 29524

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1821432/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=29524 CPUtime=1796.84
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 4997 0 0 0 179615 69 0 0 25 0 1 0 191641131 30232576 4977 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 7381 4977 197 640 0 6737 0
Current children cumulated CPU time (s) 1796.84
Current children cumulated vsize (KiB) 29524

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1821432/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=29524 CPUtime=1797.63
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 4997 0 0 0 179694 69 0 0 25 0 1 0 191641131 30232576 4977 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 7381 4977 197 640 0 6737 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 29524

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1821432/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=29524 CPUtime=1797.84
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 4997 0 0 0 179715 69 0 0 25 0 1 0 191641131 30232576 4977 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 7381 4977 197 640 0 6737 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 29524

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 13246
/proc/meminfo: memFree=1821432/2055920 swapFree=4188244/4192956
[pid=13245] ppid=13243 vsize=29524 CPUtime=1797.93
/proc/13245/stat : 13245 (bsolo) R 13243 13245 13202 0 -1 4194304 4997 0 0 0 179724 69 0 0 25 0 1 0 191641131 30232576 4977 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13245/statm: 7381 4977 197 640 0 6737 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 29524

Child status: 0
Real time (s): 1798.67
CPU time (s): 1798.01
CPU user time (s): 1797.31
CPU system time (s): 0.699893
CPU usage (%): 99.9635
Max. virtual memory (cumulated for all children) (KiB): 29524

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

runsolver used 1.81172 second user time and 3.14952 second system time

The end

Launcher Data 

Begin job on node7 at 2009-06-17 14:06:43
IDJOB=1880060
IDBENCH=2904
IDSOLVER=701
FILE ID=node7/1880060-1245240403
PBS_JOBID= 9372335
Free space on /tmp= 66272 MiB

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

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

MD5SUM BENCH= 87341d3e4752b9f90faef0f8d9385430
RANDOM SEED=927706143

node7.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.274
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.274
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:       1841824 kB
Buffers:         52864 kB
Cached:          94584 kB
SwapCached:       2424 kB
Active:          86332 kB
Inactive:        72816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1841824 kB
SwapTotal:     4192956 kB
SwapFree:      4188244 kB
Dirty:            4096 kB
Writeback:           0 kB
Mapped:          18648 kB
Slab:            40872 kB
Committed_AS:   180816 kB
PageTables:       1444 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-1880060-1245240403.opb

Free space on /tmp at the end= 66268 MiB
End job on node7 at 2009-06-17 14:36:42