Trace number 354817

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.16SAT7 1800 1800.72

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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/354817-1176726995/instance-354817-1176726995.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   4625 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.03/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.05	c      193    146      211    12010   56     1263    1776    199   9650 0.02
0.03/0.05	c      293    146      311    15874   51     1470    1954    299   9766 0.03
0.03/0.05	o 266	0.054
0.89/0.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.96	c      538    146      557    27225   48     2004    1776    545   9962 0.05
0.89/0.96	c      638    146      657    30367   46     2240    1954    645  10633 0.06
0.89/0.96	c      888    146      907    38858   42     2734    2150    895  10829 0.08
0.89/0.96	c     1363    146     1382    58102   42     3676    2366   1370  10096 0.14
0.89/0.96	c     2176    146     2195    83896   38     5310    2603   2183  10411 0.21
0.89/0.96	c     3496    146     2177    77131   35     4893    2864   2165   9127 0.38
0.89/0.96	c     5577    146     2774   113574   40     6100    3151   2762   7944 0.70
0.89/0.96	o 256	0.958
1.19/1.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.22	c     7265    146     2839   116289   40     6326    1776   2827   7583 0.96
1.19/1.22	c     7365    146     1001    39318   39     2551    1954    989   7500 0.98
1.19/1.22	c     7615    146     1251    48704   38     3056    2150   1239   7517 1.01
1.19/1.22	c     8091    146     1727    67904   39     4015    2366   1715   7484 1.08
1.19/1.22	c     8905    146     1315    51438   39     3196    2603   1303   7347 1.21
1.19/1.22	o 252	1.221
1.19/1.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.22	c     8983    146     1394    54862   39     3439    1776   1382   7357 1.22
1.19/1.22	o 248	1.223
1.19/1.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.22	c     8991    146     1403    55334   39     3547    1776   1391   7351 1.22
1.19/1.22	o 246	1.224
1.19/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.24	c     8996    146     1409    55793   39     3650    1776   1397   7349 1.22
1.19/1.24	o 244	1.236
1.19/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.24	c     9091    146     1505    60517   40     3950    1776   1493   7355 1.24
1.19/1.24	o 242	1.239
1.19/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.24	c     9107    146     1522    61380   40     4065    1776   1510   7350 1.24
1.19/1.24	o 230	1.24
1.19/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.24	c     9113    146     1529    61663   40     4167    1776   1517   7349 1.24
1.19/1.24	o 228	1.243
1.19/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.24	c     9125    146     1542    62289   40     4281    1776   1530   7341 1.24
1.19/1.24	o 226	1.243
1.19/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.24	c     9127    146     1545    62478   40     4379    1776   1533   7342 1.24
1.19/1.24	o 220	1.244
1.19/1.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.25	c     9130    146     1549    62786   40     4479    1776   1537   7333 1.25
1.19/1.25	o 216	1.249
1.19/1.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.25	c     9155    146     1575    64510   40     4621    1776   1563   7329 1.25
1.19/1.25	o 212	1.25
1.19/1.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.25	c     9158    146     1579    64819   41     4722    1776   1567   7320 1.25
1.19/1.25	o 210	1.254
1.19/1.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.27	c     9175    146     1597    66046   41     4850    1776   1585   7316 1.25
1.19/1.27	c     9275    146     1697    70207   41     5078    1954   1685   7303 1.27
1.19/1.27	o 171	1.272
1.59/1.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.63	c     9278    146     1701    70438   41     5119    1776   1689   7294 1.27
1.59/1.63	c     9378    146      901    38834   43     2357    1954    889   7252 1.29
1.59/1.63	c     9628    146     1151    49425   42     2841    2150   1139   7288 1.32
1.59/1.63	c    10103    146     1626    66346   40     3782    2366   1614   7347 1.38
1.59/1.63	c    10916    146     1222    46943   38     2970    2603   1210   7350 1.49
1.59/1.63	o 170	1.63
1.59/1.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.65	c    12038    146     2345    92010   39     5343    1776   2333   7385 1.63
1.59/1.65	c    12138    146     1001    39483   39     2563    1954    989   7365 1.65
1.59/1.65	o 168	1.652
1.59/1.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.66	c    12168    146     1032    40659   39     2713    1776   1020   7365 1.65
1.59/1.66	o 162	1.655
1.59/1.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.68	c    12193    146     1058    42312   39     2860    1776   1046   7367 1.66
1.59/1.68	c    12293    146     1158    45950   39     3046    1954   1146   7378 1.67
1.59/1.68	o 135	1.677
1.69/1.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.76	c    12375    146     1241    49298   39     3309    1776   1229   7374 1.68
1.69/1.76	c    12476    146     1342    53320   39     3512    1954   1330   7386 1.69
1.69/1.76	c    12726    146     1592    62551   39     4020    2150   1580   7398 1.72
1.69/1.76	o 133	1.763
1.79/1.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.85	c    13071    146     1938    76649   39     4789    1776   1926   7414 1.76
1.79/1.85	c    13171    146     1001    40173   40     2554    1954    989   7411 1.78
1.79/1.85	c    13421    146     1251    48101   38     3037    2150   1239   7476 1.79
1.79/1.85	o 126	1.848
1.79/1.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.86	c    13859    146     1690    65293   38     4033    1776   1678   7495 1.85
1.79/1.86	o 124	1.864
1.79/1.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.87	c    13954    145     1786    69431   38     4318    1774   1774   7486 1.86
1.79/1.87	o 122	1.87
1.79/1.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.88	c    13988    145      900    37299   41     2358    1774    888   7468 1.87
1.79/1.88	o 120	1.876
1.79/1.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.88	c    14003    145      916    38176   41     2486    1774    904   7464 1.88
1.79/1.88	o 118	1.882
1.79/1.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.88	c    14047    145      961    41058   42     2663    1774    949   7463 1.88
1.79/1.88	o 116	1.883
1.89/1.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.91	c    14056    145      971    41757   43     2777    1774    959   7464 1.88
1.89/1.91	c    14157    143     1072    46081   42     2988    1952   1060   7454 1.90
1.89/1.91	o 108	1.911
1.89/1.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.92	c    14243    141     1159    49144   42     3247    1766   1147   7453 1.91
1.89/1.92	o 106	1.915
1.89/1.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.92	c    14272    141     1189    50275   42     3397    1766   1177   7452 1.92
1.89/1.92	o 104	1.917
1.89/1.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.92	c    14283    141     1201    51157   42     3507    1766   1189   7446 1.92
1.89/1.92	o 100	1.922
1.89/1.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.92	c    14309    141     1228    52500   42     3646    1766   1216   7440 1.92
1.89/1.92	o 98	1.925
1.89/1.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.93	c    14318    141     1238    53180   42     3757    1766   1226   7437 1.93
1.89/1.93	o 96	1.926
1.89/1.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.93	c    14320    141     1241    53374   43     3852    1766   1229   7435 1.93
1.89/1.93	o 94	1.927
1.89/1.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.97	c    14325    141     1247    53810   43     3955    1766   1235   7433 1.93
1.89/1.97	c    14425    141     1347    58552   43     4145    1943   1335   7412 1.95
1.89/1.97	o 81	1.974
1.89/1.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.98	c    14625    139     1548    65385   42     4634    1762   1536   7408 1.97
1.89/1.98	o 79	1.976
1.89/1.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.99	c    14631    139     1555    65927   42     4735    1762   1543   7404 1.98
1.89/1.99	o 75	1.989
2.29/2.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.32	c    14692    139     1617    69709   43     4945    1762   1605   7382 1.99
2.29/2.32	c    14792    138     1717    72723   42     5138    1939   1705   7388 2.00
2.29/2.32	c    15042    135      990    39620   40     2521    2133    978   7369 2.04
2.29/2.32	c    15517    135     1465    54625   37     3457    2347   1453   7445 2.08
2.29/2.32	c    16330    135     2278    79542   34     5084    2582   2266   7570 2.16
2.29/2.32	c    17650    135     2263    70726   31     5069    2841   2251   7707 2.29
2.29/2.32	o 66	2.316
2.29/2.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.33	c    17909    135     2523    79689   31     5669    1754   2511   7732 2.32
2.29/2.33	o 64	2.335
2.29/2.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.34	c    17910    135      903    30502   33     2423    1754    891   7670 2.33
2.29/2.34	o 56	2.342
2.49/2.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.52	c    17983    135      977    34970   35     2654    1754    965   7678 2.34
2.49/2.52	c    18083    128     1077    38394   35     2846    1930   1065   7678 2.35
2.49/2.52	c    18334    126     1328    47712   35     3355    2124   1316   7674 2.39
2.49/2.52	c    18809    124     1803    66635   36     4305    2337   1791   7667 2.45
2.49/2.52	o 53	2.516
2.49/2.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.52	c    19206    122     2201    81514   37     5171    1728   2189   7633 2.52
2.49/2.52	o 47	2.523
4.68/4.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.68/4.71	c    19217    122      912    34721   38     2411    1728    900   7616 2.52
4.68/4.71	c    19318    122     1013    39048   38     2610    1901   1001   7623 2.53
4.68/4.71	c    19568    122     1263    48073   38     3114    2092   1251   7637 2.56
4.68/4.71	c    20043    122     1738    64763   37     4054    2302   1726   7641 2.62
4.68/4.71	c    20857    122     1369    49258   35     3255    2533   1357   7595 2.75
4.68/4.71	c    22178    122     1392    49222   35     3298    2787   1380   7584 2.92
4.68/4.71	c    24259    122     2054    73559   35     4621    3066   2042   7595 3.19
4.68/4.71	c    27482    122     2147    73963   34     4816    3373   2135   7465 3.68
4.68/4.71	c    32419    122     1909    68259   35     4344    3711   1897   7233 4.48
4.68/4.71	o 46	4.713
4.68/4.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.68/4.73	c    34027    122     3518   127918   36     7626    1728   3506   7218 4.71
4.68/4.73	o 44	4.733
4.68/4.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.68/4.74	c    34040    122      915    34759   37     2419    1728    903   7192 4.73
4.68/4.74	o 42	4.735
4.68/4.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.68/4.76	c    34062    122      938    36090   38     2536    1728    926   7193 4.74
4.68/4.76	c    34162    122     1038    39367   37     2736    1901   1026   7198 4.75
4.68/4.76	o 40	4.755
6.08/6.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.08/6.17	c    34239    122     1116    42782   38     2961    1728   1104   7200 4.75
6.08/6.17	c    34339    122     1216    46281   38     3164    1901   1204   7204 4.77
6.08/6.17	c    34590    122     1467    54431   37     3669    2092   1455   7213 4.79
6.08/6.17	c    35065    122     1942    70123   36     4612    2302   1930   7228 4.85
6.08/6.17	c    35878    122     1565    52297   33     3648    2533   1553   7243 4.95
6.08/6.17	c    37198    122     1581    54401   34     3683    2787   1569   7235 5.14
6.08/6.17	c    39279    122     2233    76711   34     4980    3066   2221   7241 5.42
6.08/6.17	c    42502    122     2326    81118   34     5167    3373   2314   7215 5.89
6.08/6.17	o 39	6.174
6.18/6.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.18/6.23	c    44230    122     2335    84389   36     5263    1728   2323   7163 6.17
6.18/6.23	c    44330    122     1001    34859   34     2524    1901    989   7158 6.19
6.18/6.23	c    44580    122     1251    43074   34     3028    2092   1239   7164 6.22
6.18/6.23	o 38	6.226
6.18/6.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.18/6.23	c    44618    122     1290    44534   34     3165    1728   1278   7165 6.23
6.18/6.23	o 34	6.227
6.18/6.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.18/6.23	c    44619    122     1292    44648   34     3239    1728   1280   7165 6.23
6.18/6.23	o 32	6.229
33.88/33.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.88/33.99	c    44638    122     1312    45716   34     3353    1728   1300   7166 6.23
33.88/33.99	c    44738    113     1412    49252   34     3546    1901   1400   7163 6.25
33.88/33.99	c    44988    112     1662    59612   35     4040    2092   1650   7165 6.28
33.88/33.99	c    45464    111     2138    77356   36     4968    2302   2126   7174 6.34
33.88/33.99	c    46277    111     1772    65970   37     4026    2533   1760   7189 6.44
33.88/33.99	c    47597    111     1794    67495   37     4087    2787   1782   7183 6.63
33.88/33.99	c    49678    111     2444    92626   37     5376    3066   2432   7139 6.96
33.88/33.99	c    52901    110     2553    98447   38     5611    3373   2541   7051 7.50
33.88/33.99	c    57837    110     2336    86610   37     5148    3711   2324   6903 8.38
33.88/33.99	c    65343    110     2291    87643   38     5067    4083   2279   6758 9.67
33.88/33.99	c    76704    110     3286   125128   38     7020    4492   3274   6522 11.76
33.88/33.99	c    93848    110     4502   167603   37     9484    4942   4490   6175 15.20
33.88/33.99	c   119667    110     2774   103887   37     6045    5437   2762   5714 20.94
33.88/33.99	c   158499    110     3102   117865   37     6686    5981   3090   5183 30.58
33.88/33.99	o 27	33.979
33.98/34.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.98/34.08	c   173375    110     5879   232354   39    12331    1704   5867   5102 33.98
33.98/34.08	o 25	34.065
38.08/38.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.08/38.15	c   173432    110      959    37547   39     2478    1704    947   5091 34.06
38.08/38.15	c   173532    110     1059    41379   39     2668    1875   1047   5092 34.08
38.08/38.15	c   173784    110     1311    51135   39     3177    2063   1299   5095 34.11
38.08/38.15	c   174259    110     1786    69486   38     4105    2270   1774   5100 34.17
38.08/38.15	c   175072    110     1425    54400   38     3336    2498   1413   5106 34.28
38.08/38.15	c   176393    110     1471    57240   38     3444    2748   1459   5113 34.49
38.08/38.15	c   178474    110     2136    83049   38     4759    3023   2124   5126 34.82
38.08/38.15	c   181698    110     2271    89635   39     5034    3326   2259   5138 35.36
38.08/38.15	c   186634    110     2099    82464   39     4674    3659   2087   5147 36.26
38.08/38.15	c   194140    110     2150    85996   39     4789    4025   2138   5158 37.63
38.08/38.15	o 19	38.135
38.08/38.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.08/38.16	c   196878    110     2832   110461   39     6222    1704   2820   5162 38.13
38.08/38.16	o 15	38.15
38.08/38.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.08/38.16	c   196894    110      918    35129   38     2394    1704    906   5161 38.15
38.08/38.16	o 13	38.15
246.51/246.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
246.51/246.69	c   196900    110      925    35538   38     2465    1704    913   5161 38.15
246.51/246.69	c   197001    101     1026    39145   38     2652    1875   1014   5161 38.17
246.51/246.69	c   197252     99     1277    48230   37     3148    2063   1265   5162 38.21
246.51/246.69	c   197727     99     1752    67209   38     4104    2270   1740   5164 38.29
246.51/246.69	c   198541     98     1399    52518   37     3276    2498   1387   5167 38.42
246.51/246.69	c   199861     98     1445    52222   36     3368    2748   1433   5176 38.61
246.51/246.69	c   201942     98     2111    79530   37     4700    3023   2099   5182 38.97
246.51/246.69	c   205165     98     2239    84345   37     4950    3326   2227   5188 39.54
246.51/246.69	c   210101     98     2093    80442   38     4669    3659   2081   5185 40.51
246.51/246.69	c   217608     98     2156    81160   37     4785    4025   2144   5183 41.98
246.51/246.69	c   228969     98     3296   127660   38     7055    4428   3284   5166 44.31
246.51/246.69	c   246113     98     2459    95010   38     5396    4871   2447   5119 48.07
246.51/246.69	c   271932     98     3586   138336   38     7653    5359   3574   5041 53.94
246.51/246.69	c   310765     98     4460   174018   39     9401    5895   4448   4847 64.11
246.51/246.69	c   369118     98     3234   125313   38     6941    6485   3222   4593 80.35
246.51/246.69	c   456750     98     5684   226686   39    11838    7134   5672   4324 105.63
246.51/246.69	c   588303     98     4005   158059   39     8480    7848   3993   4007 146.78
246.51/246.69	c   785735     98     7536   298653   39    15551    8633   7524   3654 214.98
246.51/246.69	o 12	246.606
481.82/482.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
481.82/482.02	c   866993     98     6148   236186   38    12826    1680   6136   3515 246.61
481.82/482.02	c   867093     98     1001    38228   38     2464    1849    989   3514 246.69
481.82/482.02	c   867343     98     1251    47567   38     2970    2034   1239   3515 246.72
481.82/482.02	c   867818     98     1726    66227   38     3911    2238   1714   3516 246.79
481.82/482.02	c   868631     98     1392    53897   38     3254    2462   1380   3517 246.91
481.82/482.02	c   869951     98     1453    56130   38     3356    2709   1441   3520 247.14
481.82/482.02	c   872032     98     2148    81381   37     4757    2980   2136   3523 247.48
481.82/482.02	c   875256     98     2321    89934   38     5108    3279   2309   3529 248.00
481.82/482.02	c   880192     98     2230    86260   38     4922    3607   2218   3536 248.91
481.82/482.02	c   887699     98     2389    93091   38     5245    3968   2377   3544 250.44
481.82/482.02	c   899060     98     3656   142625   39     7781    4365   3644   3559 252.59
481.82/482.02	c   916204     98     3080   119453   38     6623    4802   3068   3577 256.13
481.82/482.02	c   942024     98     4567   178288   39     9595    5283   4555   3596 261.95
481.82/482.02	c   980856     98     3278   128882   39     7021    5812   3266   3611 271.56
481.82/482.02	c  1039208     98     5773   231092   40    12011    6394   5761   3625 286.62
481.82/482.02	c  1126840     98     6170   244931   39    12808    7034   6158   3622 311.10
481.82/482.02	c  1258393     98     6330   250958   39    13126    7738   6318   3589 350.54
481.82/482.02	c  1455825     98     4751   185231   38     9942    8512   4739   3486 417.53
481.82/482.02	o 11	481.855
1078.64/1079.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1078.64/1079.04	c  1639123     98     7863   312802   39    16237    1680   7851   3401 481.86
1078.64/1079.04	c  1639223     98     1001    38580   38     2473    1849    989   3401 481.97
1078.64/1079.04	c  1639473     98     1251    48385   38     2973    2034   1239   3401 482.00
1078.64/1079.04	c  1639948     98     1726    67065   38     3911    2238   1714   3401 482.06
1078.64/1079.04	c  1640761     98     1389    52704   37     3241    2462   1377   3402 482.18
1078.64/1079.04	c  1642081     98     1448    56128   38     3355    2709   1436   3404 482.39
1078.64/1079.04	c  1644162     98     2147    82808   38     4756    2980   2135   3406 482.70
1078.64/1079.04	c  1647386     98     2324    89480   38     5113    3279   2312   3409 483.23
1078.64/1079.04	c  1652322     98     2239    83383   37     4931    3607   2227   3413 484.04
1078.64/1079.04	c  1659828     98     2415    93652   38     5283    3968   2403   3419 485.41
1078.64/1079.04	c  1671189     98     3684   143164   38     7827    4365   3672   3427 487.61
1078.64/1079.04	c  1688333     98     3089   119641   38     6631    4802   3077   3436 491.23
1078.64/1079.04	c  1714152     98     4585   181868   39     9631    5283   4573   3449 496.98
1078.64/1079.04	c  1752984     98     3263   124839   38     6974    5812   3251   3461 506.39
1078.64/1079.04	c  1811337     98     5816   220589   37    12098    6394   5804   3472 521.64
1078.64/1079.04	c  1898969     98     6204   236758   38    12873    7034   6192   3474 546.56
1078.64/1079.04	c  2030521     98     6418   246650   38    13272    7738   6406   3452 588.20
1078.64/1079.04	c  2227953     98     4795   187716   39    10058    8512   4783   3403 654.62
1078.64/1079.04	c  2524205     98     5141   201538   39    10752    9364   5129   3301 764.49
1078.64/1079.04	c  2968687     98     6456   256746   39    13358   10301   6444   3137 946.08
1078.64/1079.04	o 10	1078.68
1680.22/1680.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1680.22/1680.93	c  3255748     98     8457   333704   39    17429    1680   8445   3018 1078.68
1680.22/1680.93	c  3255848     98     1001    37726   37     2462    1849    989   3017 1078.83
1680.22/1680.93	c  3256098     98     1251    47132   37     2960    2034   1239   3018 1078.86
1680.22/1680.93	c  3256573     98     1726    64361   37     3917    2238   1714   3018 1078.91
1680.22/1680.93	c  3257386     98     1387    49366   35     3235    2462   1375   3018 1079.03
1680.22/1680.93	c  3258706     98     1449    53039   36     3364    2709   1437   3019 1079.24
1680.22/1680.93	c  3260787     98     2141    79448   37     4746    2980   2129   3020 1079.58
1680.22/1680.93	c  3264010     98     2318    87670   37     5091    3279   2306   3021 1080.14
1680.22/1680.93	c  3268947     98     2234    84977   38     4936    3607   2222   3023 1081.08
1680.22/1680.93	c  3276454     98     2378    89502   37     5228    3968   2366   3026 1082.58
1680.22/1680.93	c  3287815     98     3633   138270   38     7733    4365   3621   3030 1084.99
1680.22/1680.93	c  3304960     98     3046   116880   38     6558    4802   3034   3035 1088.81
1680.22/1680.93	c  3330780     98     4524   175477   38     9518    5283   4512   3042 1094.69
1680.22/1680.93	c  3369613     98     3262   121156   37     6986    5812   3250   3051 1104.10
1680.22/1680.93	c  3427965     98     5790   218456   37    12045    6394   5778   3064 1118.56
1680.22/1680.93	c  3515597     98     6250   237053   37    12963    7034   6238   3080 1141.38
1680.22/1680.93	c  3647150     98     6443   245738   38    13336    7738   6431   3097 1177.53
1680.22/1680.93	c  3844584     98     4905   182537   37    10251    8512   4893   3089 1244.21
1680.22/1680.93	c  4140836     98     5238   198486   37    10943    9364   5226   3058 1354.05
1680.22/1680.93	c  4585319     98     6700   251104   37    13861   10301   6688   2995 1530.72
1680.22/1680.93	o 9	1680.26
1680.52/1681.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1680.52/1681.21	c  4917585     98     7210   281491   39    14933    1680   7198   2926 1680.26
1680.52/1681.21	c  4917685     98     1001    38462   38     2467    1849    989   2926 1680.39
1680.52/1681.21	c  4917935     98     1251    47833   38     2970    2034   1239   2926 1680.42
1680.52/1681.21	c  4918410     98     1726    66261   38     3917    2238   1714   2926 1680.49
1680.52/1681.21	o 7	1680.54
1799.98/1800.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.98/1800.71	c  4918735     98     2052    79291   38     4618    1680   2040   2926 1680.54
1799.98/1800.71	c  4918836     93     1002    37118   37     2448    1849    990   2926 1680.56
1799.98/1800.71	c  4919086     90     1252    46591   37     2961    2034   1240   2927 1680.58
1799.98/1800.71	c  4919561     88     1727    64403   37     3875    2238   1715   2927 1680.63
1799.98/1800.71	c  4920375     88     1392    51986   37     3234    2462   1380   2927 1680.75
1799.98/1800.71	c  4921696     87     1450    53545   36     3346    2709   1438   2927 1680.96
1799.98/1800.71	c  4923777     87     2142    79267   37     4715    2980   2130   2928 1681.29
1799.98/1800.71	c  4927001     87     2308    88389   38     5064    3279   2296   2929 1681.84
1799.98/1800.71	c  4931937     86     2239    87486   39     4918    3607   2227   2930 1682.72
1799.98/1800.71	c  4939444     86     2385    92652   38     5219    3968   2373   2932 1684.26
1799.98/1800.71	c  4950805     86     3647   143200   39     7738    4365   3635   2935 1686.48
1799.98/1800.71	c  4967949     86     3061   116096   37     6562    4802   3049   2939 1690.19
1799.98/1800.71	c  4993769     86     4538   173636   38     9508    5283   4526   2943 1696.45
1799.98/1800.71	c  5032601     86     3279   126648   38     6981    5812   3267   2951 1705.36
1799.98/1800.71	c  5090953     86     5793   223070   38    12030    6394   5781   2958 1720.82
1799.98/1800.71	c  5178586     86     6242   245492   39    12927    7034   6230   2967 1745.15
1799.98/1800.71	c  5310138     86     6452   255910   39    13346    7738   6440   2976 1783.99
1799.98/1800.71	c Resources Exceeded
1799.98/1800.71	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
1799.98/1800.71	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
1799.98/1800.71	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
1799.98/1800.71	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
1799.98/1800.71	v x107 -x108 -x109 x110 x111 -x112 -x113 x114 -x115 x116 -x117 x118 -x119 -x120 x121 x122 x123 x124 -x125 -x126 x127 -x128 x129
1799.98/1800.71	v x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 x138 x139 x140 -x141 x142 x143 x144 -x145 -x146
1799.98/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.98/1800.71	c  228  5359265   5071  5374597     4824   189362   4812   2977 1800.00
1799.98/1800.71	c Objective: 7
1799.98/1800.71	s SATISFIABLE
1799.98/1800.71	c Total time: 1800 s

Verifier Data (download as text)

OK	7

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node67/watcher-354817-1176726995 -o ROOT/results/node67/solver-354817-1176726995 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354817-1176726995/instance-354817-1176726995.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: 1.00 1.00 1.00 3/64 19209
/proc/meminfo: memFree=1698936/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=11744 CPUtime=0
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 148688984 12025856 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2936 336 282 324 0 2003 0

[startup+0.037816 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 19209
/proc/meminfo: memFree=1698936/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=4184 CPUtime=0.03
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 474 0 0 0 3 0 0 0 18 0 1 0 148688984 4284416 440 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 1046 440 312 324 0 115 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4184

[startup+0.101829 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 19209
/proc/meminfo: memFree=1698936/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=4716 CPUtime=0.09
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 580 0 0 0 9 0 0 0 18 0 1 0 148688984 4829184 546 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 1179 546 312 324 0 248 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4716

[startup+0.301866 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 19209
/proc/meminfo: memFree=1698936/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=5640 CPUtime=0.29
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 809 0 0 0 29 0 0 0 19 0 1 0 148688984 5775360 775 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 1410 775 312 324 0 479 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5640

[startup+0.701938 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 19209
/proc/meminfo: memFree=1698936/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=5768 CPUtime=0.69
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 843 0 0 0 69 0 0 0 22 0 1 0 148688984 5906432 809 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 1442 809 312 324 0 511 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5768

[startup+1.50109 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19210
/proc/meminfo: memFree=1696560/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=6032 CPUtime=1.49
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 919 0 0 0 148 1 0 0 25 0 1 0 148688984 6176768 885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 1508 885 312 324 0 577 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6032

[startup+3.10238 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19210
/proc/meminfo: memFree=1696240/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=6032 CPUtime=3.09
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 919 0 0 0 307 2 0 0 25 0 1 0 148688984 6176768 885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 1508 885 312 324 0 577 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6032

[startup+6.30196 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19210
/proc/meminfo: memFree=1696176/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=6032 CPUtime=6.28
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 919 0 0 0 625 3 0 0 25 0 1 0 148688984 6176768 885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 1508 885 312 324 0 577 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 6032

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19210
/proc/meminfo: memFree=1695600/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=6688 CPUtime=12.68
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 1094 0 0 0 1263 5 0 0 25 0 1 0 148688984 6848512 1060 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 1672 1060 312 324 0 741 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 6688

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19210
/proc/meminfo: memFree=1695088/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=7332 CPUtime=25.48
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 1235 0 0 0 2539 9 0 0 25 0 1 0 148688984 7507968 1201 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 1833 1201 312 324 0 902 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 7332

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19210
/proc/meminfo: memFree=1694704/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=7636 CPUtime=51.08
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 1336 0 0 0 5091 17 0 0 25 0 1 0 148688984 7819264 1302 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 1909 1302 312 324 0 978 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7636

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19210
/proc/meminfo: memFree=1694384/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=8116 CPUtime=102.26
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 1442 0 0 0 10196 30 0 0 25 0 1 0 148688984 8310784 1408 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2029 1408 312 324 0 1098 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 8116

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19210
/proc/meminfo: memFree=1693488/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=8964 CPUtime=162.24
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 1657 0 0 0 16180 44 0 0 25 0 1 0 148688984 9179136 1623 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2241 1623 312 324 0 1310 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 8964

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19212
/proc/meminfo: memFree=1692976/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=9476 CPUtime=222.21
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 1778 0 0 0 22166 55 0 0 25 0 1 0 148688984 9703424 1744 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2369 1744 312 324 0 1438 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 9476

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19212
/proc/meminfo: memFree=1692976/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=9420 CPUtime=282.19
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 1778 0 0 0 28149 70 0 0 25 0 1 0 148688984 9646080 1744 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2355 1744 312 324 0 1424 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 9420

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19212
/proc/meminfo: memFree=1692976/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=9420 CPUtime=342.18
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 1778 0 0 0 34132 86 0 0 25 0 1 0 148688984 9646080 1744 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2355 1744 312 324 0 1424 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 9420

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19212
/proc/meminfo: memFree=1692976/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=9420 CPUtime=402.15
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 1778 0 0 0 40114 101 0 0 25 0 1 0 148688984 9646080 1744 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2355 1744 312 324 0 1424 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 9420

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19212
/proc/meminfo: memFree=1692976/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=9420 CPUtime=462.13
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 1778 0 0 0 46098 115 0 0 25 0 1 0 148688984 9646080 1744 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2355 1744 312 324 0 1424 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 9420

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19212
/proc/meminfo: memFree=1692976/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=9384 CPUtime=522.12
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 1778 0 0 0 52082 130 0 0 25 0 1 0 148688984 9609216 1740 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2346 1740 312 324 0 1415 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 9384

[startup+582.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19212
/proc/meminfo: memFree=1692976/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=9384 CPUtime=582.09
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 1778 0 0 0 58063 146 0 0 25 0 1 0 148688984 9609216 1740 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2346 1740 312 324 0 1415 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 9384

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19212
/proc/meminfo: memFree=1692976/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=9384 CPUtime=642.08
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 1778 0 0 0 64047 161 0 0 25 0 1 0 148688984 9609216 1740 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2346 1740 312 324 0 1415 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 9384


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

/proc/meminfo: memFree=1691824/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=10496 CPUtime=1061.93
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 2036 0 0 0 105951 242 0 0 25 0 1 0 148688984 10747904 1998 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2624 1998 312 324 0 1693 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 10496

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19212
/proc/meminfo: memFree=1691760/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=10436 CPUtime=1121.91
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 2049 0 0 0 111933 258 0 0 25 0 1 0 148688984 10686464 2003 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2609 2003 312 324 0 1678 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 10436

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19212
/proc/meminfo: memFree=1691760/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=10436 CPUtime=1181.89
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 2049 0 0 0 117914 275 0 0 25 0 1 0 148688984 10686464 2003 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2609 2003 312 324 0 1678 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 10436

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19212
/proc/meminfo: memFree=1691632/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=10436 CPUtime=1241.87
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 2049 0 0 0 123898 289 0 0 25 0 1 0 148688984 10686464 2003 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2609 2003 312 324 0 1678 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 10436

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19212
/proc/meminfo: memFree=1691632/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=10432 CPUtime=1301.86
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 2049 0 0 0 129884 302 0 0 25 0 1 0 148688984 10682368 2002 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2608 2002 312 324 0 1677 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 10432

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19212
/proc/meminfo: memFree=1691632/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=10432 CPUtime=1361.83
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 2049 0 0 0 135868 315 0 0 25 0 1 0 148688984 10682368 2002 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2608 2002 312 324 0 1677 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 10432

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19212
/proc/meminfo: memFree=1691632/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=10432 CPUtime=1421.82
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 2049 0 0 0 141856 326 0 0 25 0 1 0 148688984 10682368 2002 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2608 2002 312 324 0 1677 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 10432

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 19320
/proc/meminfo: memFree=1690240/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=10432 CPUtime=1481.74
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 2049 0 0 0 147837 337 0 0 25 0 1 0 148688984 10682368 2002 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2608 2002 312 324 0 1677 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 10432

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19410
/proc/meminfo: memFree=1691376/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=10432 CPUtime=1541.68
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 2049 0 0 0 153818 350 0 0 25 0 1 0 148688984 10682368 2002 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2608 2002 312 324 0 1677 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 10432

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19410
/proc/meminfo: memFree=1691440/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=10432 CPUtime=1601.65
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 2049 0 0 0 159804 361 0 0 25 0 1 0 148688984 10682368 2002 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2608 2002 312 324 0 1677 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 10432

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19410
/proc/meminfo: memFree=1691376/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=10432 CPUtime=1661.63
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 2049 0 0 0 165791 372 0 0 25 0 1 0 148688984 10682368 2002 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2608 2002 312 324 0 1677 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 10432

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19410
/proc/meminfo: memFree=1691376/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=10336 CPUtime=1721.61
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 2049 0 0 0 171770 391 0 0 25 0 1 0 148688984 10584064 1978 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2584 1978 312 324 0 1653 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 10336

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19410
/proc/meminfo: memFree=1691440/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=10336 CPUtime=1781.58
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 2049 0 0 0 177754 404 0 0 25 0 1 0 148688984 10584064 1978 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2584 1978 312 324 0 1653 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 10336

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

[startup+1791.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19410
/proc/meminfo: memFree=1691440/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=10336 CPUtime=1791.18
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 2049 0 0 0 178712 406 0 0 25 0 1 0 148688984 10584064 1978 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2584 1978 312 324 0 1653 0
Current children cumulated CPU time (s) 1791.18
Current children cumulated vsize (KiB) 10336

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 19410
/proc/meminfo: memFree=1691440/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=10336 CPUtime=1794.38
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 2049 0 0 0 179031 407 0 0 25 0 1 0 148688984 10584064 1978 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2584 1978 312 324 0 1653 0
Current children cumulated CPU time (s) 1794.38
Current children cumulated vsize (KiB) 10336

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19410
/proc/meminfo: memFree=1691440/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=10336 CPUtime=1797.58
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 2049 0 0 0 179350 408 0 0 25 0 1 0 148688984 10584064 1978 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2584 1978 312 324 0 1653 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 10336

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19410
/proc/meminfo: memFree=1691440/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=10336 CPUtime=1799.18
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 2049 0 0 0 179510 408 0 0 25 0 1 0 148688984 10584064 1978 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2584 1978 312 324 0 1653 0
Current children cumulated CPU time (s) 1799.18
Current children cumulated vsize (KiB) 10336

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19410
/proc/meminfo: memFree=1691440/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=10336 CPUtime=1799.58
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 2049 0 0 0 179549 409 0 0 25 0 1 0 148688984 10584064 1978 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2584 1978 312 324 0 1653 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (KiB) 10336

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19410
/proc/meminfo: memFree=1691440/2055920 swapFree=4183964/4192956
[pid=19209] ppid=19207 vsize=10336 CPUtime=1799.98
/proc/19209/stat : 19209 (bsolo3.0.16) R 19207 19209 18474 0 -1 4194304 2049 0 0 0 179589 409 0 0 25 0 1 0 148688984 10584064 1978 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19209/statm: 2584 1978 312 324 0 1653 0
Current children cumulated CPU time (s) 1799.98
Current children cumulated vsize (KiB) 10336

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800
CPU user time (s): 1795.91
CPU system time (s): 4.09538
CPU usage (%): 99.9603
Max. virtual memory (cumulated for all children) (KiB): 10504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.91
system time used= 4.09538
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2050
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= 11
involuntary context switches= 1355

runsolver used 1.14183 second user time and 3.83842 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Mon Apr 16 12:36:35 UTC 2007

IDJOB= 354817
IDBENCH= 2902
IDSOLVER= 163
FILE ID= node67/354817-1176726995

PBS_JOBID= 4559487

Free space on /tmp= 66543 MiB

SOLVER NAME= bsolo 3.0.16
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.16 -t1800 -m1800 /tmp/evaluation/354817-1176726995/instance-354817-1176726995.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node67/watcher-354817-1176726995 -o ROOT/results/node67/solver-354817-1176726995 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354817-1176726995/instance-354817-1176726995.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  cdfa46b59876181d5d89fd18757b8cfb

RANDOM SEED= 272527753

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1699344 kB
Buffers:         21624 kB
Cached:         265904 kB
SwapCached:       3580 kB
Active:         165192 kB
Inactive:       133256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1699344 kB
SwapTotal:     4192956 kB
SwapFree:      4183964 kB
Dirty:            4392 kB
Writeback:           0 kB
Mapped:          16432 kB
Slab:            44120 kB
Committed_AS:   213904 kB
PageTables:       1456 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= 66543 MiB

End job on node67 on Mon Apr 16 13:06:36 UTC 2007