Trace number 433515

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, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)7 1800.03 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_1.opb
MD5SUMcdfa46b59876181d5d89fd18757b8cfb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
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 constraints12
Minimum length of a constraint66
Maximum length of a constraint66
Number of terms in the objective function 96
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 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1273
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4329
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 (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433515-1177960301/instance-433515-1177960301.opb
0.00/0.00	c File size is 7798 bytes.
0.00/0.00	c Highest Coefficient sum: 4329
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: 146 Constr: 12 0/0/12 Lit: 792 Watch. Lit: 220
0.00/0.00	c Obj. Vars: 96 (65.7534 % of total variables)
0.00/0.00	c Pre-processing Time: 0.003 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    146       12      792   66      228    1584      0      0 0.00
0.00/0.00	c Switching off LPR mode.
0.00/0.00	o 1026	0.003
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    146       13      888   68      577    1776      1      0 0.00
0.00/0.01	o 743	0.006
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       28    146       42     2702   64      698    1776     30   4666 0.01
0.00/0.01	o 737	0.007
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       37    146       52     3347   64      807    1776     40   5285 0.01
0.00/0.01	o 331	0.008
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       40    146       56     3623   64      825    1776     44   5000 0.01
0.00/0.02	o 330	0.016
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      139    146      156     9737   62     1068    1776    144   8687 0.02
0.00/0.02	o 270	0.02
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      193    146      211    12010   56     1263    1776    199   9650 0.02
0.00/0.05	c      293    146      311    15874   51     1470    1954    299  10103 0.03
0.00/0.05	o 266	0.053
0.89/0.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.95	c      538    146      557    27225   48     2004    1776    545  10150 0.05
0.89/0.95	c      638    146      657    30367   46     2240    1954    645  10813 0.06
0.89/0.95	c      888    146      907    38858   42     2734    2150    895  11100 0.08
0.89/0.95	c     1363    146     1382    58102   42     3676    2366   1370  10248 0.13
0.89/0.95	c     2176    146     2195    83896   38     5310    2603   2183  10563 0.21
0.89/0.95	c     3496    146     2177    77131   35     4893    2864   2165   9200 0.38
0.89/0.95	c     5577    146     2774   113574   40     6100    3151   2762   7978 0.70
0.89/0.95	o 256	0.953
1.19/1.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.21	c     7265    146     2839   116289   40     6326    1776   2827   7623 0.95
1.19/1.21	c     7365    146     1001    39318   39     2551    1954    989   7538 0.98
1.19/1.21	c     7615    146     1251    48704   38     3056    2150   1239   7562 1.01
1.19/1.21	c     8091    146     1727    67904   39     4015    2366   1715   7533 1.07
1.19/1.21	c     8905    146     1315    51438   39     3196    2603   1303   7408 1.20
1.19/1.21	o 252	1.211
1.19/1.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.21	c     8983    146     1394    54862   39     3439    1776   1382   7417 1.21
1.19/1.21	o 248	1.213
1.19/1.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.21	c     8991    146     1403    55334   39     3547    1776   1391   7412 1.21
1.19/1.21	o 246	1.214
1.19/1.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.23	c     8996    146     1409    55793   39     3650    1776   1397   7410 1.21
1.19/1.23	o 244	1.226
1.19/1.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.23	c     9091    146     1505    60517   40     3950    1776   1493   7415 1.23
1.19/1.23	o 242	1.229
1.19/1.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.23	c     9107    146     1522    61380   40     4065    1776   1510   7410 1.23
1.19/1.23	o 230	1.23
1.19/1.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.23	c     9113    146     1529    61663   40     4167    1776   1517   7408 1.23
1.19/1.23	o 228	1.232
1.19/1.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.23	c     9125    146     1542    62289   40     4281    1776   1530   7406 1.23
1.19/1.23	o 226	1.233
1.19/1.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.23	c     9127    146     1545    62478   40     4379    1776   1533   7402 1.23
1.19/1.23	o 220	1.234
1.19/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.24	c     9130    146     1549    62786   40     4479    1776   1537   7398 1.23
1.19/1.24	o 216	1.239
1.19/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.24	c     9155    146     1575    64510   40     4621    1776   1563   7389 1.24
1.19/1.24	o 212	1.24
1.19/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.24	c     9158    146     1579    64819   41     4722    1776   1567   7385 1.24
1.19/1.24	o 210	1.243
1.19/1.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.26	c     9175    146     1597    66046   41     4850    1776   1585   7381 1.24
1.19/1.26	c     9275    146     1697    70207   41     5078    1954   1685   7361 1.26
1.19/1.26	o 171	1.261
1.59/1.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.61	c     9278    146     1701    70438   41     5119    1776   1689   7357 1.26
1.59/1.61	c     9378    146      901    38834   43     2357    1954    889   7315 1.28
1.59/1.61	c     9628    146     1151    49425   42     2841    2150   1139   7355 1.31
1.59/1.61	c    10103    146     1626    66346   40     3782    2366   1614   7417 1.36
1.59/1.61	c    10916    146     1222    46943   38     2970    2603   1210   7415 1.47
1.59/1.61	o 170	1.615
1.59/1.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.64	c    12038    146     2345    92010   39     5343    1776   2333   7453 1.61
1.59/1.64	c    12138    146     1001    39483   39     2563    1954    989   7432 1.63
1.59/1.64	o 168	1.637
1.59/1.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.64	c    12168    146     1032    40659   39     2713    1776   1020   7433 1.64
1.59/1.64	o 162	1.64
1.59/1.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.66	c    12193    146     1058    42312   39     2860    1776   1046   7434 1.64
1.59/1.66	c    12293    146     1158    45950   39     3046    1954   1146   7445 1.65
1.59/1.66	o 135	1.662
1.69/1.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.75	c    12375    146     1241    49298   39     3309    1776   1229   7445 1.66
1.69/1.75	c    12476    146     1342    53320   39     3512    1954   1330   7452 1.67
1.69/1.75	c    12726    146     1592    62551   39     4020    2150   1580   7468 1.70
1.69/1.75	o 133	1.747
1.79/1.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.83	c    13071    146     1938    76649   39     4789    1776   1926   7481 1.75
1.79/1.83	c    13171    146     1001    40173   40     2554    1954    989   7483 1.76
1.79/1.83	c    13421    146     1251    48101   38     3037    2150   1239   7548 1.78
1.79/1.83	o 126	1.831
1.79/1.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.85	c    13859    146     1690    65293   38     4033    1776   1678   7569 1.83
1.79/1.85	o 124	1.846
1.79/1.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.85	c    13954    145     1786    69431   38     4318    1774   1774   7559 1.85
1.79/1.85	o 122	1.852
1.79/1.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.86	c    13988    145      900    37299   41     2358    1774    888   7540 1.85
1.79/1.86	o 120	1.858
1.79/1.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.86	c    14003    145      916    38176   41     2486    1774    904   7536 1.86
1.79/1.86	o 118	1.864
1.79/1.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.86	c    14047    145      961    41058   42     2663    1774    949   7535 1.86
1.79/1.86	o 116	1.865
1.79/1.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.89	c    14056    145      971    41757   43     2777    1774    959   7536 1.86
1.79/1.89	c    14157    143     1072    46081   42     2988    1952   1060   7526 1.88
1.79/1.89	o 108	1.892
1.89/1.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.90	c    14243    141     1159    49144   42     3247    1766   1147   7528 1.89
1.89/1.90	o 106	1.897
1.89/1.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.90	c    14272    141     1189    50275   42     3397    1766   1177   7523 1.90
1.89/1.90	o 104	1.899
1.89/1.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.90	c    14283    141     1201    51157   42     3507    1766   1189   7521 1.90
1.89/1.90	o 100	1.904
1.89/1.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.91	c    14309    141     1228    52500   42     3646    1766   1216   7515 1.90
1.89/1.91	o 98	1.906
1.89/1.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.91	c    14318    141     1238    53180   42     3757    1766   1226   7512 1.91
1.89/1.91	o 96	1.907
1.89/1.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.91	c    14320    141     1241    53374   43     3852    1766   1229   7509 1.91
1.89/1.91	o 94	1.908
1.89/1.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.95	c    14325    141     1247    53810   43     3955    1766   1235   7507 1.91
1.89/1.95	c    14425    141     1347    58552   43     4145    1943   1335   7485 1.93
1.89/1.95	o 81	1.955
1.89/1.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.96	c    14625    139     1548    65385   42     4634    1762   1536   7480 1.96
1.89/1.96	o 79	1.957
1.89/1.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.97	c    14631    139     1555    65927   42     4735    1762   1543   7476 1.96
1.89/1.97	o 75	1.97
2.19/2.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.29	c    14692    139     1617    69709   43     4945    1762   1605   7457 1.97
2.19/2.29	c    14792    138     1717    72723   42     5138    1939   1705   7459 1.98
2.19/2.29	c    15042    135      990    39620   40     2521    2133    978   7442 2.02
2.19/2.29	c    15517    135     1465    54625   37     3457    2347   1453   7517 2.06
2.19/2.29	c    16330    135     2278    79542   34     5084    2582   2266   7645 2.14
2.19/2.29	c    17650    135     2263    70726   31     5069    2841   2251   7782 2.27
2.19/2.29	o 66	2.294
2.29/2.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.31	c    17909    135     2523    79689   31     5669    1754   2511   7806 2.29
2.29/2.31	o 64	2.312
2.29/2.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.32	c    17910    135      903    30502   33     2423    1754    891   7746 2.31
2.29/2.32	o 56	2.319
2.39/2.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.49	c    17983    135      977    34970   35     2654    1754    965   7751 2.32
2.39/2.49	c    18083    128     1077    38394   35     2846    1930   1065   7754 2.33
2.39/2.49	c    18334    126     1328    47712   35     3355    2124   1316   7752 2.37
2.39/2.49	c    18809    124     1803    66635   36     4305    2337   1791   7743 2.43
2.39/2.49	o 53	2.491
2.49/2.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.50	c    19206    122     2201    81514   37     5171    1728   2189   7710 2.49
2.49/2.50	o 47	2.498
4.58/4.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.58/4.68	c    19217    122      912    34721   38     2411    1728    900   7689 2.50
4.58/4.68	c    19318    122     1013    39048   38     2610    1901   1001   7699 2.51
4.58/4.68	c    19568    122     1263    48073   38     3114    2092   1251   7713 2.54
4.58/4.68	c    20043    122     1738    64763   37     4054    2302   1726   7714 2.60
4.58/4.68	c    20857    122     1369    49258   35     3255    2533   1357   7668 2.72
4.58/4.68	c    22178    122     1392    49222   35     3298    2787   1380   7652 2.90
4.58/4.68	c    24259    122     2054    73559   35     4621    3066   2042   7657 3.17
4.58/4.68	c    27482    122     2147    73963   34     4816    3373   2135   7521 3.65
4.58/4.68	c    32419    122     1909    68259   35     4344    3711   1897   7286 4.45
4.58/4.68	o 46	4.679
4.68/4.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.68/4.70	c    34027    122     3518   127918   36     7626    1728   3506   7272 4.68
4.68/4.70	o 44	4.699
4.68/4.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.68/4.70	c    34040    122      915    34759   37     2419    1728    903   7244 4.70
4.68/4.70	o 42	4.702
4.68/4.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.68/4.72	c    34062    122      938    36090   38     2536    1728    926   7244 4.70
4.68/4.72	c    34162    122     1038    39367   37     2736    1901   1026   7248 4.71
4.68/4.72	o 40	4.721
6.08/6.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.08/6.14	c    34239    122     1116    42782   38     2961    1728   1104   7252 4.72
6.08/6.14	c    34339    122     1216    46281   38     3164    1901   1204   7256 4.73
6.08/6.14	c    34590    122     1467    54431   37     3669    2092   1455   7263 4.76
6.08/6.14	c    35065    122     1942    70123   36     4612    2302   1930   7277 4.82
6.08/6.14	c    35878    122     1565    52297   33     3648    2533   1553   7290 4.92
6.08/6.14	c    37198    122     1581    54401   34     3683    2787   1569   7282 5.11
6.08/6.14	c    39279    122     2233    76711   34     4980    3066   2221   7286 5.39
6.08/6.14	c    42502    122     2326    81118   34     5167    3373   2314   7259 5.86
6.08/6.14	o 39	6.137
6.08/6.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.08/6.19	c    44230    122     2335    84389   36     5263    1728   2323   7207 6.14
6.08/6.19	c    44330    122     1001    34859   34     2524    1901    989   7201 6.16
6.08/6.19	c    44580    122     1251    43074   34     3028    2092   1239   7207 6.18
6.08/6.19	o 38	6.189
6.08/6.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.08/6.19	c    44618    122     1290    44534   34     3165    1728   1278   7209 6.19
6.08/6.19	o 34	6.19
6.08/6.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.08/6.19	c    44619    122     1292    44648   34     3239    1728   1280   7208 6.19
6.08/6.19	o 32	6.192
33.57/33.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.57/33.63	c    44638    122     1312    45716   34     3353    1728   1300   7208 6.19
33.57/33.63	c    44738    113     1412    49252   34     3546    1901   1400   7206 6.21
33.57/33.63	c    44988    112     1662    59612   35     4040    2092   1650   7209 6.24
33.57/33.63	c    45464    111     2138    77356   36     4968    2302   2126   7217 6.30
33.57/33.63	c    46277    111     1772    65970   37     4026    2533   1760   7233 6.40
33.57/33.63	c    47597    111     1794    67495   37     4087    2787   1782   7228 6.58
33.57/33.63	c    49678    111     2444    92626   37     5376    3066   2432   7186 6.91
33.57/33.63	c    52901    110     2553    98447   38     5611    3373   2541   7098 7.45
33.57/33.63	c    57837    110     2336    86610   37     5148    3711   2324   6949 8.32
33.57/33.63	c    65343    110     2291    87643   38     5067    4083   2279   6803 9.60
33.57/33.63	c    76704    110     3286   125128   38     7020    4492   3274   6567 11.68
33.57/33.63	c    93848    110     4502   167603   37     9484    4942   4490   6227 15.07
33.57/33.63	c   119667    110     2774   103887   37     6045    5437   2762   5769 20.74
33.57/33.63	c   158499    110     3102   117865   37     6686    5981   3090   5237 30.27
33.57/33.63	o 27	33.617
33.67/33.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.67/33.72	c   173375    110     5879   232354   39    12331    1704   5867   5157 33.62
33.67/33.72	o 25	33.704
37.67/37.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.67/37.74	c   173432    110      959    37547   39     2478    1704    947   5145 33.70
37.67/37.74	c   173532    110     1059    41379   39     2668    1875   1047   5147 33.72
37.67/37.74	c   173784    110     1311    51135   39     3177    2063   1299   5149 33.74
37.67/37.74	c   174259    110     1786    69486   38     4105    2270   1774   5154 33.80
37.67/37.74	c   175072    110     1425    54400   38     3336    2498   1413   5161 33.92
37.67/37.74	c   176393    110     1471    57240   38     3444    2748   1459   5168 34.13
37.67/37.74	c   178474    110     2136    83049   38     4759    3023   2124   5180 34.45
37.67/37.74	c   181698    110     2271    89635   39     5034    3326   2259   5194 34.98
37.67/37.74	c   186634    110     2099    82464   39     4674    3659   2087   5203 35.87
37.67/37.74	c   194140    110     2150    85996   39     4789    4025   2138   5214 37.23
37.67/37.74	o 19	37.727
37.67/37.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.67/37.76	c   196878    110     2832   110461   39     6222    1704   2820   5218 37.73
37.67/37.76	o 15	37.742
37.67/37.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.67/37.76	c   196894    110      918    35129   38     2394    1704    906   5216 37.74
37.67/37.76	o 13	37.743
245.71/245.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
245.71/245.82	c   196900    110      925    35538   38     2465    1704    913   5216 37.74
245.71/245.82	c   197001    101     1026    39145   38     2652    1875   1014   5217 37.76
245.71/245.82	c   197252     99     1277    48230   37     3148    2063   1265   5218 37.80
245.71/245.82	c   197727     99     1752    67209   38     4104    2270   1740   5219 37.88
245.71/245.82	c   198541     98     1399    52518   37     3276    2498   1387   5223 38.01
245.71/245.82	c   199861     98     1445    52222   36     3368    2748   1433   5231 38.20
245.71/245.82	c   201942     98     2111    79530   37     4700    3023   2099   5237 38.56
245.71/245.82	c   205165     98     2239    84345   37     4950    3326   2227   5243 39.12
245.71/245.82	c   210101     98     2093    80442   38     4669    3659   2081   5240 40.09
245.71/245.82	c   217608     98     2156    81160   37     4785    4025   2144   5236 41.55
245.71/245.82	c   228969     98     3296   127660   38     7055    4428   3284   5219 43.87
245.71/245.82	c   246113     98     2459    95010   38     5396    4871   2447   5168 47.61
245.71/245.82	c   271932     98     3586   138336   38     7653    5359   3574   5085 53.47
245.71/245.82	c   310765     98     4460   174018   39     9401    5895   4448   4886 63.59
245.71/245.82	c   369118     98     3234   125313   38     6941    6485   3222   4630 79.71
245.71/245.82	c   456750     98     5684   226686   39    11838    7134   5672   4353 104.91
245.71/245.82	c   588303     98     4005   158059   39     8480    7848   3993   4034 145.83
245.71/245.82	c   785735     98     7536   298653   39    15551    8633   7524   3670 214.06
245.71/245.82	o 12	245.746
481.95/482.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
481.95/482.18	c   866993     98     6148   236186   38    12826    1680   6136   3527 245.75
481.95/482.18	c   867093     98     1001    38228   38     2464    1849    989   3527 245.84
481.95/482.18	c   867343     98     1251    47567   38     2970    2034   1239   3527 245.87
481.95/482.18	c   867818     98     1726    66227   38     3911    2238   1714   3528 245.93
481.95/482.18	c   868631     98     1392    53897   38     3254    2462   1380   3530 246.05
481.95/482.18	c   869951     98     1453    56130   38     3356    2709   1441   3532 246.28
481.95/482.18	c   872032     98     2148    81381   37     4757    2980   2136   3536 246.61
481.95/482.18	c   875256     98     2321    89934   38     5108    3279   2309   3541 247.14
481.95/482.18	c   880192     98     2230    86260   38     4922    3607   2218   3548 248.04
481.95/482.18	c   887699     98     2389    93091   38     5245    3968   2377   3556 249.57
481.95/482.18	c   899060     98     3656   142625   39     7781    4365   3644   3571 251.74
481.95/482.18	c   916204     98     3080   119453   38     6623    4802   3068   3588 255.29
481.95/482.18	c   942024     98     4567   178288   39     9595    5283   4555   3607 261.15
481.95/482.18	c   980856     98     3278   128882   39     7021    5812   3266   3621 270.86
481.95/482.18	c  1039208     98     5773   231092   40    12011    6394   5761   3632 286.06
481.95/482.18	c  1126840     98     6170   244931   39    12808    7034   6158   3626 310.76
481.95/482.18	c  1258393     98     6330   250958   39    13126    7738   6318   3591 350.35
481.95/482.18	c  1455825     98     4751   185231   38     9942    8512   4739   3485 417.68
481.95/482.18	o 11	482.043
1080.31/1080.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1080.31/1080.62	c  1639123     98     7863   312802   39    16237    1680   7851   3400 482.04
1080.31/1080.62	c  1639223     98     1001    38580   38     2473    1849    989   3399 482.16
1080.31/1080.62	c  1639473     98     1251    48385   38     2973    2034   1239   3400 482.19
1080.31/1080.62	c  1639948     98     1726    67065   38     3911    2238   1714   3400 482.25
1080.31/1080.62	c  1640761     98     1389    52704   37     3241    2462   1377   3401 482.37
1080.31/1080.62	c  1642081     98     1448    56128   38     3355    2709   1436   3402 482.57
1080.31/1080.62	c  1644162     98     2147    82808   38     4756    2980   2135   3404 482.89
1080.31/1080.62	c  1647386     98     2324    89480   38     5113    3279   2312   3407 483.41
1080.31/1080.62	c  1652322     98     2239    83383   37     4931    3607   2227   3412 484.21
1080.31/1080.62	c  1659828     98     2415    93652   38     5283    3968   2403   3418 485.58
1080.31/1080.62	c  1671189     98     3684   143164   38     7827    4365   3672   3426 487.77
1080.31/1080.62	c  1688333     98     3089   119641   38     6631    4802   3077   3436 491.35
1080.31/1080.62	c  1714152     98     4585   181868   39     9631    5283   4573   3448 497.05
1080.31/1080.62	c  1752984     98     3263   124839   38     6974    5812   3251   3461 506.49
1080.31/1080.62	c  1811337     98     5816   220589   37    12098    6394   5804   3471 521.80
1080.31/1080.62	c  1898969     98     6204   236758   38    12873    7034   6192   3472 546.89
1080.31/1080.62	c  2030521     98     6418   246650   38    13272    7738   6406   3448 588.79
1080.31/1080.62	c  2227953     98     4795   187716   39    10058    8512   4783   3397 655.73
1080.31/1080.62	c  2524205     98     5141   201538   39    10752    9364   5129   3295 765.86
1080.31/1080.62	c  2968687     98     6456   256746   39    13358   10301   6444   3130 948.24
1080.31/1080.62	o 10	1080.33
1678.85/1679.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1678.85/1679.39	c  3255748     98     8457   333704   39    17429    1680   8445   3013 1080.33
1678.85/1679.39	c  3255848     98     1001    37726   37     2462    1849    989   3013 1080.48
1678.85/1679.39	c  3256098     98     1251    47132   37     2960    2034   1239   3013 1080.51
1678.85/1679.39	c  3256573     98     1726    64361   37     3917    2238   1714   3013 1080.56
1678.85/1679.39	c  3257386     98     1387    49366   35     3235    2462   1375   3014 1080.68
1678.85/1679.39	c  3258706     98     1449    53039   36     3364    2709   1437   3014 1080.89
1678.85/1679.39	c  3260787     98     2141    79448   37     4746    2980   2129   3015 1081.22
1678.85/1679.39	c  3264010     98     2318    87670   37     5091    3279   2306   3017 1081.79
1678.85/1679.39	c  3268947     98     2234    84977   38     4936    3607   2222   3019 1082.71
1678.85/1679.39	c  3276454     98     2378    89502   37     5228    3968   2366   3021 1084.21
1678.85/1679.39	c  3287815     98     3633   138270   38     7733    4365   3621   3025 1086.62
1678.85/1679.39	c  3304960     98     3046   116880   38     6558    4802   3034   3030 1090.42
1678.85/1679.39	c  3330780     98     4524   175477   38     9518    5283   4512   3038 1096.23
1678.85/1679.39	c  3369613     98     3262   121156   37     6986    5812   3250   3047 1105.57
1678.85/1679.39	c  3427965     98     5790   218456   37    12045    6394   5778   3060 1119.99
1678.85/1679.39	c  3515597     98     6250   237053   37    12963    7034   6238   3076 1142.75
1678.85/1679.39	c  3647150     98     6443   245738   38    13336    7738   6431   3093 1178.87
1678.85/1679.39	c  3844584     98     4905   182537   37    10251    8512   4893   3087 1245.34
1678.85/1679.39	c  4140836     98     5238   198486   37    10943    9364   5226   3056 1354.69
1678.85/1679.39	c  4585319     98     6700   251104   37    13861   10301   6688   2996 1530.25
1678.85/1679.39	o 9	1678.95
1679.15/1679.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1679.15/1679.68	c  4917585     98     7210   281491   39    14933    1680   7198   2928 1678.95
1679.15/1679.68	c  4917685     98     1001    38462   38     2467    1849    989   2928 1679.08
1679.15/1679.68	c  4917935     98     1251    47833   38     2970    2034   1239   2928 1679.11
1679.15/1679.68	c  4918410     98     1726    66261   38     3917    2238   1714   2929 1679.19
1679.15/1679.68	o 7	1679.24
1800.02/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.50	c  4918735     98     2052    79291   38     4618    1680   2040   2929 1679.24
1800.02/1800.50	c  4918836     93     1002    37118   37     2448    1849    990   2929 1679.25
1800.02/1800.50	c  4919086     90     1252    46591   37     2961    2034   1240   2929 1679.28
1800.02/1800.50	c  4919561     88     1727    64403   37     3875    2238   1715   2929 1679.33
1800.02/1800.50	c  4920375     88     1392    51986   37     3234    2462   1380   2929 1679.44
1800.02/1800.50	c  4921696     87     1450    53545   36     3346    2709   1438   2930 1679.65
1800.02/1800.50	c  4923777     87     2142    79267   37     4715    2980   2130   2930 1679.98
1800.02/1800.50	c  4927001     87     2308    88389   38     5064    3279   2296   2931 1680.52
1800.02/1800.50	c  4931937     86     2239    87486   39     4918    3607   2227   2933 1681.39
1800.02/1800.50	c  4939444     86     2385    92652   38     5219    3968   2373   2935 1682.90
1800.02/1800.50	c  4950805     86     3647   143200   39     7738    4365   3635   2937 1685.10
1800.02/1800.50	c  4967949     86     3061   116096   37     6562    4802   3049   2941 1688.77
1800.02/1800.50	c  4993769     86     4538   173636   38     9508    5283   4526   2946 1694.96
1800.02/1800.50	c  5032601     86     3279   126648   38     6981    5812   3267   2953 1703.82
1800.02/1800.50	c  5090953     86     5793   223070   38    12030    6394   5781   2961 1719.26
1800.02/1800.50	c  5178586     86     6242   245492   39    12927    7034   6230   2970 1743.54
1800.02/1800.50	c  5310138     86     6452   255910   39    13346    7738   6440   2979 1782.35
1800.02/1800.50	c Caught signal: 15
1800.02/1800.50	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
1800.02/1800.50	v -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
1800.02/1800.50	v -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
1800.02/1800.50	v -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
1800.02/1800.50	v x107 -x108 -x109 x110 x111 -x112 -x113 x114 -x115 x116 -x117 x118 -x119 -x120 x121 x122 x123 x124 -x125 -x126 x127 -x128 x129
1800.02/1800.50	v x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 x138 x139 x140 -x141 x142 x143 x144 -x145 -x146
1800.02/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.50	c  228  5365319   5071  5380650     6980   274761   6968   2980 1800.03
1800.02/1800.50	c Objective: 7
1800.02/1800.50	s SATISFIABLE
1800.02/1800.50	c Total time: 1800.03 s

Verifier Data (download as text)

OK	7

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node34/watcher-433515-1177960301 -o ROOT/results/node34/solver-433515-1177960301 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433515-1177960301/instance-433515-1177960301.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.96 3/77 5445
/proc/meminfo: memFree=1870656/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=11744 CPUtime=0
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 243945596 12025856 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2936 334 280 324 0 2004 0

[startup+0.063896 s]
/proc/loadavg: 0.92 0.98 0.96 3/77 5445
/proc/meminfo: memFree=1870656/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=4448 CPUtime=0.06
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 519 0 0 0 6 0 0 0 18 0 1 0 243945596 4554752 487 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 1112 487 310 324 0 182 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4448

[startup+0.101899 s]
/proc/loadavg: 0.92 0.98 0.96 3/77 5445
/proc/meminfo: memFree=1870656/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=4716 CPUtime=0.09
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 578 0 0 0 9 0 0 0 18 0 1 0 243945596 4829184 546 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 1179 546 310 324 0 249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4716

[startup+0.301914 s]
/proc/loadavg: 0.92 0.98 0.96 3/77 5445
/proc/meminfo: memFree=1870656/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=5640 CPUtime=0.29
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 805 0 0 0 29 0 0 0 19 0 1 0 243945596 5775360 773 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 1410 773 310 324 0 480 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5640

[startup+0.701947 s]
/proc/loadavg: 0.92 0.98 0.96 3/77 5445
/proc/meminfo: memFree=1870656/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=5768 CPUtime=0.69
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 841 0 0 0 69 0 0 0 22 0 1 0 243945596 5906432 809 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 1442 809 310 324 0 512 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5768

[startup+1.50201 s]
/proc/loadavg: 0.92 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1868280/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=6032 CPUtime=1.49
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 915 0 0 0 149 0 0 0 25 0 1 0 243945596 6176768 883 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572673 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 1508 883 310 324 0 578 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6032

[startup+3.10114 s]
/proc/loadavg: 0.92 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1868088/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=6032 CPUtime=3.08
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 915 0 0 0 308 0 0 0 25 0 1 0 243945596 6176768 883 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 1508 883 310 324 0 578 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 6032

[startup+6.30139 s]
/proc/loadavg: 0.93 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1867832/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=6032 CPUtime=6.28
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 915 0 0 0 628 0 0 0 25 0 1 0 243945596 6176768 883 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 1508 883 310 324 0 578 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 6032

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1867256/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=6688 CPUtime=12.69
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 1090 0 0 0 1268 1 0 0 25 0 1 0 243945596 6848512 1058 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 1672 1058 310 324 0 742 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6688

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1866744/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=7332 CPUtime=25.49
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 1231 0 0 0 2548 1 0 0 25 0 1 0 243945596 7507968 1199 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521833 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 1833 1199 310 324 0 903 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 7332

[startup+51.102 s]
/proc/loadavg: 0.96 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1866296/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=7636 CPUtime=51.07
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 1332 0 0 0 5106 1 0 0 25 0 1 0 243945596 7819264 1300 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 1909 1300 310 324 0 979 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 7636

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1865848/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=8116 CPUtime=102.26
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 1438 0 0 0 10225 1 0 0 25 0 1 0 243945596 8310784 1406 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2029 1406 310 324 0 1099 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 8116

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1864952/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=8964 CPUtime=162.24
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 1653 0 0 0 16222 2 0 0 25 0 1 0 243945596 9179136 1621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547678 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2241 1621 310 324 0 1311 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 8964

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1864440/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=9476 CPUtime=222.22
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 1774 0 0 0 22220 2 0 0 25 0 1 0 243945596 9703424 1742 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8163108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2369 1742 310 324 0 1439 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 9476

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1864376/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=9420 CPUtime=282.21
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 1774 0 0 0 28218 3 0 0 25 0 1 0 243945596 9646080 1742 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2355 1742 310 324 0 1425 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 9420

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1864312/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=9420 CPUtime=342.19
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 1774 0 0 0 34216 3 0 0 25 0 1 0 243945596 9646080 1742 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2355 1742 310 324 0 1425 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 9420

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1864248/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=9420 CPUtime=402.18
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 1774 0 0 0 40214 4 0 0 25 0 1 0 243945596 9646080 1742 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2355 1742 310 324 0 1425 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 9420

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1864184/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=9420 CPUtime=462.16
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 1774 0 0 0 46212 4 0 0 25 0 1 0 243945596 9646080 1742 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2355 1742 310 324 0 1425 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 9420

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1864184/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=9384 CPUtime=522.14
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 1774 0 0 0 52210 4 0 0 25 0 1 0 243945596 9609216 1738 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2346 1738 310 324 0 1416 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 9384

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1864120/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=9384 CPUtime=582.13
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 1774 0 0 0 58208 5 0 0 25 0 1 0 243945596 9609216 1738 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2346 1738 310 324 0 1416 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 9384

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1864056/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=9384 CPUtime=642.11
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 1774 0 0 0 64206 5 0 0 25 0 1 0 243945596 9609216 1738 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2346 1738 310 324 0 1416 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 9384


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1863288/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=9876 CPUtime=882.05
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 1891 0 0 0 88198 7 0 0 25 0 1 0 243945596 10113024 1855 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550863 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2469 1855 310 324 0 1539 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 9876

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1863288/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=9876 CPUtime=942.03
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 1891 0 0 0 94196 7 0 0 25 0 1 0 243945596 10113024 1855 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2469 1855 310 324 0 1539 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 9876

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1862648/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=10496 CPUtime=1002.02
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 2032 0 0 0 100194 8 0 0 25 0 1 0 243945596 10747904 1996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2624 1996 310 324 0 1694 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 10496

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1862584/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=10496 CPUtime=1062
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 2032 0 0 0 106192 8 0 0 25 0 1 0 243945596 10747904 1996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2624 1996 310 324 0 1694 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 10496

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1862520/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=10436 CPUtime=1121.99
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 2045 0 0 0 112190 9 0 0 25 0 1 0 243945596 10686464 2001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8154888 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2609 2001 310 324 0 1679 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 10436

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1862456/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=10436 CPUtime=1181.97
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 2045 0 0 0 118188 9 0 0 25 0 1 0 243945596 10686464 2001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2609 2001 310 324 0 1679 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 10436

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1862328/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=10436 CPUtime=1241.96
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 2045 0 0 0 124186 10 0 0 25 0 1 0 243945596 10686464 2001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2609 2001 310 324 0 1679 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 10436

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1862328/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=10432 CPUtime=1301.95
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 2045 0 0 0 130185 10 0 0 25 0 1 0 243945596 10682368 2000 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8163045 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2608 2000 310 324 0 1678 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 10432

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1862264/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=10432 CPUtime=1361.92
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 2045 0 0 0 136182 10 0 0 25 0 1 0 243945596 10682368 2000 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2608 2000 310 324 0 1678 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 10432

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1862200/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=10432 CPUtime=1421.92
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 2045 0 0 0 142181 11 0 0 25 0 1 0 243945596 10682368 2000 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2608 2000 310 324 0 1678 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 10432

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1862136/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=10432 CPUtime=1481.89
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 2045 0 0 0 148178 11 0 0 25 0 1 0 243945596 10682368 2000 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2608 2000 310 324 0 1678 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 10432

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1862136/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=10432 CPUtime=1541.89
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 2045 0 0 0 154177 12 0 0 25 0 1 0 243945596 10682368 2000 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134585035 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2608 2000 310 324 0 1678 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 10432

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/78 5446
/proc/meminfo: memFree=1862008/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=10432 CPUtime=1601.86
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 2045 0 0 0 160174 12 0 0 25 0 1 0 243945596 10682368 2000 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2608 2000 310 324 0 1678 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 10432

[startup+1662.3 s]
/proc/loadavg: 1.04 1.00 0.97 2/78 5446
/proc/meminfo: memFree=1862072/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=10432 CPUtime=1661.85
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 2045 0 0 0 166172 13 0 0 25 0 1 0 243945596 10682368 2000 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8152388 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2608 2000 310 324 0 1678 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 10432

[startup+1722.3 s]
/proc/loadavg: 1.09 1.03 0.98 2/78 5448
/proc/meminfo: memFree=1861944/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=10336 CPUtime=1721.83
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 2045 0 0 0 172170 13 0 0 25 0 1 0 243945596 10584064 1976 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2584 1976 310 324 0 1654 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 10336

[startup+1782.3 s]
/proc/loadavg: 1.03 1.02 0.98 2/78 5448
/proc/meminfo: memFree=1861944/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=10336 CPUtime=1781.82
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 2045 0 0 0 178169 13 0 0 25 0 1 0 243945596 10584064 1976 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2584 1976 310 324 0 1654 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 10336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.02 1.02 0.98 2/78 5448
/proc/meminfo: memFree=1861944/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=10336 CPUtime=1800.02
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 2045 0 0 0 179988 14 0 0 25 0 1 0 243945596 10584064 1976 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2584 1976 310 324 0 1654 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10336

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

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

[startup+1800.5 s]
/proc/loadavg: 1.02 1.02 0.98 2/78 5448
/proc/meminfo: memFree=1861944/2055920 swapFree=4159588/4192956
[pid=5445] ppid=5443 vsize=10336 CPUtime=1800.02
/proc/5445/stat : 5445 (bsolo3.0.17) R 5443 5445 4740 0 -1 4194304 2045 0 0 0 179988 14 0 0 25 0 1 0 243945596 10584064 1976 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5445/statm: 2584 1976 310 324 0 1654 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10336

Child status: 15
Real time (s): 1800.52
CPU time (s): 1800.03
CPU user time (s): 1799.89
CPU system time (s): 0.142978
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 10504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.142978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2049
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= 12
involuntary context switches= 3347

runsolver used 1.45778 second user time and 3.73543 second system time

The end

Launcher Data (download as text)

Begin job on node34 on Mon Apr 30 19:11:42 UTC 2007

IDJOB= 433515
IDBENCH= 2902
IDSOLVER= 199
FILE ID= node34/433515-1177960301

PBS_JOBID= 4727721

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433515-1177960301/instance-433515-1177960301.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-433515-1177960301 -o ROOT/results/node34/solver-433515-1177960301 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433515-1177960301/instance-433515-1177960301.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  cdfa46b59876181d5d89fd18757b8cfb

RANDOM SEED= 398920558

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node34.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1871064 kB
Buffers:         12316 kB
Cached:          85424 kB
SwapCached:       2696 kB
Active:          44512 kB
Inactive:        76544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1871064 kB
SwapTotal:     4192956 kB
SwapFree:      4159588 kB
Dirty:            6608 kB
Writeback:           0 kB
Mapped:          30284 kB
Slab:            49120 kB
Committed_AS:  1780236 kB
PageTables:       1976 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node34 on Mon Apr 30 19:41:44 UTC 2007