Trace number 3303472

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
glucose 2? (TO) 5000.05 4999.92

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4231.cnf
MD5SUMa52d60bf6e72caa628ad712a5fe0fb7a
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4229
Number of clauses100397
Sum of the clauses size411595
Maximum clause length5
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 490390
Number of clauses of size 510007
Number of clauses of size over 50

Solver Data 

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.04	c ==============================================================================
0.00/0.04	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.04	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.04	c ==============================================================================
0.00/0.04	c |         0 |  100397   411595 |   30119       0        0     nan |  0.000 % |
0.00/0.07	c |         0 |  100330   412392 |      --       0       --      -- |     --   | -67/797
0.00/0.07	c ==============================================================================
0.00/0.07	c Result  :   #vars: 4219   #clauses: 100330   #literals: 412392
0.00/0.07	c CPU time:   0.068989 s
0.00/0.07	c ==============================================================================
0.00/0.14	c
0.00/0.14	c Starting glucose
0.00/0.14	c
163.08/163.11	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
163.08/163.11	c WARNING: for repeatability, setting FPU to use double precision
163.08/163.11	c ============================[ Problem Statistics ]=============================
163.08/163.11	c |                                                                             |
163.08/163.11	c |  Number of variables:          4219                                         |
163.08/163.11	c |  Number of clauses:          100330                                         |
163.08/163.11	c |  Parse time:                   0.02 s                                       |
163.08/163.11	c |                                                                             |
163.08/163.11	c ============================[ Search Statistics ]==============================
163.08/163.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
163.08/163.11	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
163.08/163.11	c ===============================================================================
163.08/163.11	c |      3549 |    4219   100330   412392 |        1     3549    148 |  0.000 % |
163.08/163.11	c |      4681 |    4219   100330   412392 |        1     2690     74 |  0.000 % |
163.08/163.11	c |   1068587 |    4219   100330   412392 |        1   117051     50 |  0.000 % |
163.08/163.11	c |   1093681 |    4219   100330   412392 |        1   142145     55 |  0.000 % |
163.08/163.11	c |   1093781 |    4219   100330   412392 |        1   142245     55 |  0.000 % |
163.08/163.11	c |   1107065 |    4219   100330   412392 |        1    83903     31 |  0.000 % |
163.08/163.11	c |   1181561 |    4219   100330   412392 |        1    84189     28 |  0.000 % |
163.08/163.11	c |   1181711 |    4219   100330   412392 |        1    84339     29 |  0.000 % |
163.08/163.11	c |   1190113 |    4219   100330   412392 |        1    92741     36 |  0.000 % |
163.08/163.11	c |   1190215 |    4219   100330   412392 |        1    92843     36 |  0.000 % |
163.08/163.11	c |   1190338 |    4219   100330   412392 |        1    92966     36 |  0.000 % |
163.08/163.11	c |   1190933 |    4219   100330   412392 |        1    93561     37 |  0.000 % |
163.08/163.11	c |   1191944 |    4219   100330   412392 |        1    94572     37 |  0.000 % |
163.08/163.11	c |   1226692 |    4219   100330   412392 |        1   129320     59 |  0.000 % |
163.08/163.11	c |   1227300 |    4219   100330   412392 |        1   129928     60 |  0.000 % |
163.08/163.11	c |   1243422 |    4219   100330   412392 |        1   146050     64 |  0.000 % |
163.08/163.11	c |   1245710 |    4219   100330   412392 |        1   148338     65 |  0.000 % |
163.08/163.11	c |   1248930 |    4219   100330   412392 |        1   151558     65 |  0.000 % |
163.08/163.11	c |   1249139 |    4219   100330   412392 |        1   151767     65 |  0.000 % |
163.08/163.11	c |   1249446 |    4219   100330   412392 |        1   152074     65 |  0.000 % |
163.08/163.11	c |   1249922 |    4219   100330   412392 |        1   152550     66 |  0.000 % |
163.08/163.11	c |   1250537 |    4219   100330   412392 |        1   153165     66 |  0.000 % |
163.08/163.11	c |   1250670 |    4219   100330   412392 |        1   153298     66 |  0.000 % |
163.08/163.11	c |   1250837 |    4219   100330   412392 |        1   153465     66 |  0.000 % |
163.08/163.11	c |   1250948 |    4219   100330   412392 |        1   153576     66 |  0.000 % |
163.08/163.11	c |   1251408 |    4219   100330   412392 |        1    77230     21 |  0.000 % |
163.08/163.11	c |   1254402 |    4219   100330   412392 |        1    80224     24 |  0.000 % |
163.08/163.11	c |   1254946 |    4219   100330   412392 |        1    80768     25 |  0.000 % |
163.08/163.11	c |   1255065 |    4219   100330   412392 |        1    80887     25 |  0.000 % |
163.08/163.11	c |   1255227 |    4219   100330   412392 |        1    81049     25 |  0.000 % |
163.08/163.11	c |   1259113 |    4219   100330   412392 |        1    84935     28 |  0.000 % |
163.08/163.11	c |   1278466 |    4219   100330   412392 |        1   104288     40 |  0.000 % |
163.08/163.11	c |   1279144 |    4219   100330   412392 |        1   104966     40 |  0.000 % |
163.08/163.11	c |   1281617 |    4219   100330   412392 |        1   107439     42 |  0.000 % |
163.08/163.11	c |   1282074 |    4219   100330   412392 |        1   107896     42 |  0.000 % |
163.08/163.11	c |   1282754 |    4219   100330   412392 |        1   108576     43 |  0.000 % |
163.08/163.11	c |   1283361 |    4219   100330   412392 |        1   109183     43 |  0.000 % |
163.08/163.11	c |   1283973 |    4219   100330   412392 |        1   109795     44 |  0.000 % |
163.08/163.11	c |   1291207 |    4219   100330   412392 |        1   117029     46 |  0.000 % |
169.78/169.81	c |   1293934 |    4219   100330   412392 |        1   119756     47 |  0.000 % |
169.78/169.81	c |   1294056 |    4219   100330   412392 |        1   119878     47 |  0.000 % |
169.78/169.81	c |   1294598 |    4219   100330   412392 |        1   120420     47 |  0.000 % |
169.78/169.81	c |   1294907 |    4219   100330   412392 |        1   120729     47 |  0.000 % |
169.78/169.81	c |   1295614 |    4219   100330   412392 |        1   121436     48 |  0.000 % |
169.78/169.81	c |   1295976 |    4219   100330   412392 |        1   121798     48 |  0.000 % |
169.78/169.81	c |   1296093 |    4219   100330   412392 |        1   121915     48 |  0.000 % |
169.78/169.81	c |   1297399 |    4219   100330   412392 |        1   123221     48 |  0.000 % |
169.78/169.81	c |   1297516 |    4219   100330   412392 |        1   123338     49 |  0.000 % |
169.78/169.81	c |   1297752 |    4219   100330   412392 |        1   123574     49 |  0.000 % |
169.78/169.81	c |   1297855 |    4219   100330   412392 |        1   123677     49 |  0.000 % |
169.78/169.81	c |   1298449 |    4219   100330   412392 |        1   124271     49 |  0.000 % |
169.78/169.81	c |   1299313 |    4219   100330   412392 |        1   125135     49 |  0.000 % |
169.78/169.81	c |   1299483 |    4219   100330   412392 |        1   125305     49 |  0.000 % |
169.78/169.81	c |   1299968 |    4219   100330   412392 |        1   125790     50 |  0.000 % |
169.78/169.81	c |   1300126 |    4219   100330   412392 |        1   125948     50 |  0.000 % |
169.78/169.81	c |   1300454 |    4219   100330   412392 |        1   126276     50 |  0.000 % |
169.78/169.81	c |   1301228 |    4219   100330   412392 |        1   127050     50 |  0.000 % |
169.78/169.81	c |   1301534 |    4219   100330   412392 |        1   127356     50 |  0.000 % |
169.78/169.81	c |   1302557 |    4219   100330   412392 |        1   128379     51 |  0.000 % |
169.78/169.81	c |   1304480 |    4219   100330   412392 |        1   130302     52 |  0.000 % |
169.78/169.81	c |   1305496 |    4219   100330   412392 |        1   131318     52 |  0.000 % |
169.78/169.81	c |   1305639 |    4219   100330   412392 |        1   131461     52 |  0.000 % |
169.78/169.81	c |   1306849 |    4219   100330   412392 |        1   132671     53 |  0.000 % |
169.78/169.81	c |   1307818 |    4219   100330   412392 |        1   133640     53 |  0.000 % |
169.78/169.81	c |   1308534 |    4219   100330   412392 |        1   134356     54 |  0.000 % |
169.78/169.81	c |   1309436 |    4219   100330   412392 |        1   135258     54 |  0.000 % |
169.78/169.81	c |   1349306 |    4219   100330   412392 |        1    95726     32 |  0.000 % |
169.78/169.81	c |   1363044 |    4219   100330   412392 |        1   109464     41 |  0.000 % |
169.78/169.81	c |   1363938 |    4219   100330   412392 |        1   110358     42 |  0.000 % |
169.78/169.81	c |   1364063 |    4219   100330   412392 |        1   110483     42 |  0.000 % |
169.78/169.81	c |   1364276 |    4219   100330   412392 |        1   110696     42 |  0.000 % |
169.78/169.81	c |   1365865 |    4219   100330   412392 |        1   112285     43 |  0.000 % |
169.78/169.81	c |   1366748 |    4219   100330   412392 |        1   113168     44 |  0.000 % |
169.78/169.81	c |   1367306 |    4219   100330   412392 |        1   113726     44 |  0.000 % |
169.78/169.81	c |   1367913 |    4219   100330   412392 |        1   114333     44 |  0.000 % |
169.78/169.81	c |   1368101 |    4219   100330   412392 |        1   114521     44 |  0.000 % |
169.78/169.81	c |   1368246 |    4219   100330   412392 |        1   114666     44 |  0.000 % |
169.78/169.81	c |   1368808 |    4219   100330   412392 |        1   115228     45 |  0.000 % |
169.78/169.81	c |   1369796 |    4219   100330   412392 |        1   116216     45 |  0.000 % |
169.78/169.81	c |   1369967 |    4219   100330   412392 |        1   116387     45 |  0.000 % |
169.78/169.81	c |   1370260 |    4219   100330   412392 |        1   116680     46 |  0.000 % |
169.78/169.81	c |   1371070 |    4219   100330   412392 |        1   117490     46 |  0.000 % |
169.78/169.81	c |   1372099 |    4219   100330   412392 |        1   118519     47 |  0.000 % |
169.78/169.81	c |   1372274 |    4219   100330   412392 |        1   118694     47 |  0.000 % |
169.78/169.81	c |   1372514 |    4219   100330   412392 |        1   118934     47 |  0.000 % |
169.78/169.81	c |   1372801 |    4219   100330   412392 |        1   119221     47 |  0.000 % |
169.78/169.81	c |   1372965 |    4219   100330   412392 |        1   119385     47 |  0.000 % |
169.78/169.81	c |   1374017 |    4219   100330   412392 |        1   120437     48 |  0.000 % |
169.78/169.81	c |   1374118 |    4219   100330   412392 |        1   120538     48 |  0.000 % |
709.00/709.05	c |   1374301 |    4219   100330   412392 |        1   120721     48 |  0.000 % |
709.00/709.05	c |   1375109 |    4219   100330   412392 |        1   121529     48 |  0.000 % |
709.00/709.05	c |   1375541 |    4219   100330   412392 |        1   121961     48 |  0.000 % |
709.00/709.05	c |   1381363 |    4219   100330   412392 |        1   127783     50 |  0.000 % |
709.00/709.05	c |   1393917 |    4219   100330   412392 |        1   140337     52 |  0.000 % |
709.00/709.05	c |   1394366 |    4219   100330   412392 |        1   140786     52 |  0.000 % |
709.00/709.05	c |   1395463 |    4219   100330   412392 |        1   141883     53 |  0.000 % |
709.00/709.05	c |   1396072 |    4219   100330   412392 |        1   142492     53 |  0.000 % |
709.00/709.05	c |   1396817 |    4219   100330   412392 |        1   143237     53 |  0.000 % |
709.00/709.05	c |   1397210 |    4219   100330   412392 |        1   143630     53 |  0.000 % |
709.00/709.05	c |   1397619 |    4219   100330   412392 |        1   144039     54 |  0.000 % |
709.00/709.05	c |   1397841 |    4219   100330   412392 |        1   144261     54 |  0.000 % |
709.00/709.05	c |   1400940 |    4219   100330   412392 |        1   147360     55 |  0.000 % |
709.00/709.05	c |   1401192 |    4219   100330   412392 |        1   147612     55 |  0.000 % |
709.00/709.05	c |   1406035 |    4219   100330   412392 |        1   152455     56 |  0.000 % |
709.00/709.05	c |   1517843 |    4219   100330   412392 |        1    97685     28 |  0.000 % |
709.00/709.05	c |   1519749 |    4219   100330   412392 |        1    99591     29 |  0.000 % |
709.00/709.05	c |   2130263 |    4219   100330   412392 |        1   147883     38 |  0.000 % |
709.00/709.05	c |   2329493 |    4219   100330   412392 |        1   138915     35 |  0.000 % |
709.00/709.05	c |   2411606 |    4219   100330   412392 |        1   113032     20 |  0.000 % |
709.00/709.05	c |   2416211 |    4219   100330   412392 |        1   117637     23 |  0.000 % |
709.00/709.05	c |   2416862 |    4219   100330   412392 |        1   118288     23 |  0.000 % |
709.00/709.05	c |   2423611 |    4219   100330   412392 |        1   125037     27 |  0.000 % |
709.00/709.05	c |   2424950 |    4219   100330   412392 |        1   126376     28 |  0.000 % |
709.00/709.05	c |   2425263 |    4219   100330   412392 |        1   126689     28 |  0.000 % |
709.00/709.05	c |   2427843 |    4219   100330   412392 |        1   129269     30 |  0.000 % |
709.00/709.05	c |   2486657 |    4219   100330   412392 |        1   188083     46 |  0.000 % |
709.00/709.05	c |   2486951 |    4219   100330   412392 |        1   188377     46 |  0.000 % |
709.00/709.05	c |   2488809 |    4219   100330   412392 |        1   190235     46 |  0.000 % |
709.00/709.05	c |   2490360 |    4219   100330   412392 |        1   191786     47 |  0.000 % |
709.00/709.05	c |   2495581 |    4219   100330   412392 |        1   197007     48 |  0.000 % |
709.00/709.05	c |   2496668 |    4219   100330   412392 |        1   198094     48 |  0.000 % |
709.00/709.05	c |   2497262 |    4219   100330   412392 |        1   198688     48 |  0.000 % |
709.00/709.05	c |   2497532 |    4219   100330   412392 |        1   198958     48 |  0.000 % |
709.00/709.05	c |   2497633 |    4219   100330   412392 |        1   199059     48 |  0.000 % |
709.00/709.05	c |   2498423 |    4219   100330   412392 |        1   199849     48 |  0.000 % |
709.00/709.05	c |   2504621 |    4219   100330   412392 |        1   206047     51 |  0.000 % |
709.00/709.05	c |   2675299 |    4219   100330   412392 |        1   152920     34 |  0.000 % |
709.00/709.05	c |   4264814 |    4219   100330   412392 |        1   181244     31 |  0.000 % |
709.00/709.05	c |   4265067 |    4219   100330   412392 |        1   181497     31 |  0.000 % |
709.00/709.05	c |   4789265 |    4219   100330   412392 |        1   256891     43 |  0.000 % |
709.00/709.05	c |   4791228 |    4219   100330   412392 |        1   258854     44 |  0.000 % |
709.00/709.05	c |   4824993 |    4219   100330   412392 |        1   292619     48 |  0.000 % |
709.00/709.05	c |   4835207 |    4219   100330   412392 |        1   302833     50 |  0.000 % |
709.00/709.05	c |   4835992 |    4219   100330   412392 |        1   303618     50 |  0.000 % |
709.00/709.05	c |   4838252 |    4219   100330   412392 |        1   305878     51 |  0.000 % |
709.00/709.05	c |   4838475 |    4219   100330   412392 |        1   306101     51 |  0.000 % |
709.00/709.05	c |   4838596 |    4219   100330   412392 |        1   306222     51 |  0.000 % |
709.00/709.05	c |   4840475 |    4219   100330   412392 |        1   308101     51 |  0.000 % |
709.00/709.05	c |   4841979 |    4219   100330   412392 |        1   309605     51 |  0.000 % |
1407.02/1407.05	c |   4845029 |    4219   100330   412392 |        1   157846     18 |  0.000 % |
1407.02/1407.05	c |   4850710 |    4219   100330   412392 |        1   163527     22 |  0.000 % |
1407.02/1407.05	c |   4852543 |    4219   100330   412392 |        1   165360     22 |  0.000 % |
1407.02/1407.05	c |   5158403 |    4219   100330   412392 |        1   313825     48 |  0.000 % |
1407.02/1407.05	c |   5159310 |    4219   100330   412392 |        1   314732     48 |  0.000 % |
1407.02/1407.05	c |   5159420 |    4219   100330   412392 |        1   314842     48 |  0.000 % |
1407.02/1407.05	c |   5174631 |    4219   100330   412392 |        1   170050     21 |  0.000 % |
1407.02/1407.05	c |   5444232 |    4219   100330   412392 |        1   277052     42 |  0.000 % |
1407.02/1407.05	c |   5446371 |    4219   100330   412392 |        1   279191     42 |  0.000 % |
1407.02/1407.05	c |   5447398 |    4219   100330   412392 |        1   280218     42 |  0.000 % |
1407.02/1407.05	c |   5465579 |    4219   100330   412392 |        1   298399     44 |  0.000 % |
1407.02/1407.05	c |   5669145 |    4219   100330   412392 |        1   168973     17 |  0.000 % |
1407.02/1407.05	c |   5669891 |    4219   100330   412392 |        1   169719     17 |  0.000 % |
1407.02/1407.05	c |   5670283 |    4219   100330   412392 |        1   170111     17 |  0.000 % |
1407.02/1407.05	c |   5980937 |    4219   100330   412392 |        1   310361     47 |  0.000 % |
1407.02/1407.05	c |   5985497 |    4219   100330   412392 |        1   314921     48 |  0.000 % |
1407.02/1407.05	c |   5985618 |    4219   100330   412392 |        1   315042     48 |  0.000 % |
1407.02/1407.05	c |   5985795 |    4219   100330   412392 |        1   315219     48 |  0.000 % |
1407.02/1407.05	c |   5985922 |    4219   100330   412392 |        1   315346     48 |  0.000 % |
1407.02/1407.05	c |   5986261 |    4219   100330   412392 |        1   315685     48 |  0.000 % |
1407.02/1407.05	c |   6776503 |    4219   100330   412392 |        1   214937     26 |  0.000 % |
1407.02/1407.05	c |   6873690 |    4219   100330   412392 |        1   312124     42 |  0.000 % |
1407.02/1407.05	c |   6883570 |    4219   100330   412392 |        1   322004     43 |  0.000 % |
1407.02/1407.05	c |   7059897 |    4219   100330   412392 |        1   312326     45 |  0.000 % |
1407.02/1407.05	c |   7060380 |    4219   100330   412392 |        1   312809     45 |  0.000 % |
1407.02/1407.05	c |   7062180 |    4219   100330   412392 |        1   314609     45 |  0.000 % |
1407.02/1407.05	c |   7063844 |    4219   100330   412392 |        1   316273     45 |  0.000 % |
1407.02/1407.05	c |   7074483 |    4219   100330   412392 |        1   326912     47 |  0.000 % |
1407.02/1407.05	c |   7075216 |    4219   100330   412392 |        1   327645     47 |  0.000 % |
1407.02/1407.05	c |   7076603 |    4219   100330   412392 |        1   329032     47 |  0.000 % |
1407.02/1407.05	c |   7077634 |    4219   100330   412392 |        1   330063     47 |  0.000 % |
1407.02/1407.05	c |   7078051 |    4219   100330   412392 |        1   330480     47 |  0.000 % |
1407.02/1407.05	c |   7078321 |    4219   100330   412392 |        1   330750     47 |  0.000 % |
1407.02/1407.05	c |   7078749 |    4219   100330   412392 |        1   331178     47 |  0.000 % |
1407.02/1407.05	c |   7078999 |    4219   100330   412392 |        1   331428     47 |  0.000 % |
1407.02/1407.05	c |   7081152 |    4219   100330   412392 |        1   333581     48 |  0.000 % |
1407.02/1407.05	c |   7081436 |    4219   100330   412392 |        1   333865     48 |  0.000 % |
1407.02/1407.05	c |   7085983 |    4219   100330   412392 |        1   338412     48 |  0.000 % |
1407.02/1407.05	c |   7089827 |    4219   100330   412392 |        1   342256     49 |  0.000 % |
1407.02/1407.05	c |   7098959 |    4219   100330   412392 |        1   351388     50 |  0.000 % |
1407.02/1407.05	c |   7099284 |    4219   100330   412392 |        1   351713     50 |  0.000 % |
1407.02/1407.05	c |   7099684 |    4219   100330   412392 |        1   352113     50 |  0.000 % |
1407.02/1407.05	c |   7101462 |    4219   100330   412392 |        1   353891     50 |  0.000 % |
1407.02/1407.05	c |   7510220 |    4219   100330   412392 |        1   382841     49 |  0.000 % |
1407.02/1407.05	c |   8376882 |    4219   100330   412392 |        1   254506     29 |  0.000 % |
1407.02/1407.05	c |   8378224 |    4219   100330   412392 |        1   255848     29 |  0.000 % |
1407.02/1407.05	c |   8379200 |    4219   100330   412392 |        1   256824     29 |  0.000 % |
1407.02/1407.05	c |   8379310 |    4219   100330   412392 |        1   256934     29 |  0.000 % |
1407.02/1407.05	c |   8386696 |    4219   100330   412392 |        1   264320     31 |  0.000 % |
1407.02/1407.05	c |   8632144 |    4219   100330   412392 |        1   302965     37 |  0.000 % |
1484.52/1484.55	c |   8643055 |    4219   100330   412392 |        1   313876     38 |  0.000 % |
1484.52/1484.55	c |   8643158 |    4219   100330   412392 |        1   313979     38 |  0.000 % |
1484.52/1484.55	c |   8645150 |    4219   100330   412392 |        1   315971     38 |  0.000 % |
1484.52/1484.55	c |   8649017 |    4219   100330   412392 |        1   319838     39 |  0.000 % |
1484.52/1484.55	c |   8685530 |    4219   100330   412392 |        1   356351     43 |  0.000 % |
1484.52/1484.55	c |   8698294 |    4219   100330   412392 |        1   369115     44 |  0.000 % |
1484.52/1484.55	c |   8698655 |    4219   100330   412392 |        1   369476     44 |  0.000 % |
1484.52/1484.55	c |   8698859 |    4219   100330   412392 |        1   369680     44 |  0.000 % |
1484.52/1484.55	c |   8712599 |    4219   100330   412392 |        1   383420     45 |  0.000 % |
1484.52/1484.55	c |   8714937 |    4219   100330   412392 |        1   385758     45 |  0.000 % |
1484.52/1484.55	c |   8758604 |    4219   100330   412392 |        1   220025     18 |  0.000 % |
1484.52/1484.55	c |   8758826 |    4219   100330   412392 |        1   220247     19 |  0.000 % |
1484.52/1484.55	c |   8771841 |    4219   100330   412392 |        1   233262     22 |  0.000 % |
1484.52/1484.55	c |   8772463 |    4219   100330   412392 |        1   233884     23 |  0.000 % |
1484.52/1484.55	c |   8772981 |    4219   100330   412392 |        1   234402     23 |  0.000 % |
1484.52/1484.55	c |   8795772 |    4219   100330   412392 |        1   257193     28 |  0.000 % |
1484.52/1484.55	c |   8799609 |    4219   100330   412392 |        1   261030     28 |  0.000 % |
1484.52/1484.55	c |   8799709 |    4219   100330   412392 |        1   261130     28 |  0.000 % |
1484.52/1484.55	c |   8801663 |    4219   100330   412392 |        1   263084     29 |  0.000 % |
1484.52/1484.55	c |   9013635 |    4219   100330   412392 |        1   263060     27 |  0.000 % |
1484.52/1484.55	c |   9016744 |    4219   100330   412392 |        1   266169     28 |  0.000 % |
1484.52/1484.55	c |   9019351 |    4219   100330   412392 |        1   268776     29 |  0.000 % |
1484.52/1484.55	c |   9043827 |    4219   100330   412392 |        1   293252     33 |  0.000 % |
1484.52/1484.55	c |   9155023 |    4219   100330   412392 |        1   404448     45 |  0.000 % |
1484.52/1484.55	c |   9158962 |    4219   100330   412392 |        1   408387     45 |  0.000 % |
1484.52/1484.55	c |   9159146 |    4219   100330   412392 |        1   408571     45 |  0.000 % |
1484.52/1484.55	c |   9160146 |    4219   100330   412392 |        1   409571     45 |  0.000 % |
1484.52/1484.55	c |   9167123 |    4219   100330   412392 |        1   416548     46 |  0.000 % |
1484.52/1484.55	c |   9187721 |    4219   100330   412392 |        1   222546     17 |  0.000 % |
1484.52/1484.55	c |   9195577 |    4219   100330   412392 |        1   230402     20 |  0.000 % |
1484.52/1484.55	c |   9204557 |    4219   100330   412392 |        1   239382     22 |  0.000 % |
1484.52/1484.55	c |   9204658 |    4219   100330   412392 |        1   239483     22 |  0.000 % |
1484.52/1484.55	c |   9204906 |    4219   100330   412392 |        1   239731     22 |  0.000 % |
1484.52/1484.55	c |   9210182 |    4219   100330   412392 |        1   245007     23 |  0.000 % |
1484.52/1484.55	c |   9213790 |    4219   100330   412392 |        1   248615     24 |  0.000 % |
1484.52/1484.55	c |   9214110 |    4219   100330   412392 |        1   248935     24 |  0.000 % |
1484.52/1484.55	c |   9215176 |    4219   100330   412392 |        1   250001     25 |  0.000 % |
1484.52/1484.55	c |   9215298 |    4219   100330   412392 |        1   250123     25 |  0.000 % |
1484.52/1484.55	c |   9215623 |    4219   100330   412392 |        1   250448     25 |  0.000 % |
1484.52/1484.55	c |   9215811 |    4219   100330   412392 |        1   250636     25 |  0.000 % |
1484.52/1484.55	c |   9216689 |    4219   100330   412392 |        1   251514     25 |  0.000 % |
1484.52/1484.55	c |   9216789 |    4219   100330   412392 |        1   251614     25 |  0.000 % |
1484.52/1484.55	c |   9216892 |    4219   100330   412392 |        1   251717     25 |  0.000 % |
1484.52/1484.55	c |   9217100 |    4219   100330   412392 |        1   251925     25 |  0.000 % |
1484.52/1484.55	c |   9221484 |    4219   100330   412392 |        1   256309     26 |  0.000 % |
1484.52/1484.55	c |   9223476 |    4219   100330   412392 |        1   258301     27 |  0.000 % |
1484.52/1484.55	c |   9224263 |    4219   100330   412392 |        1   259088     27 |  0.000 % |
1484.52/1484.55	c |   9224964 |    4219   100330   412392 |        1   259789     27 |  0.000 % |
1484.52/1484.55	c |   9227938 |    4219   100330   412392 |        1   262763     28 |  0.000 % |
1484.52/1484.55	c |   9230295 |    4219   100330   412392 |        1   265120     28 |  0.000 % |
2145.74/2145.70	c |   9230651 |    4219   100330   412392 |        1   265476     28 |  0.000 % |
2145.74/2145.70	c |   9231213 |    4219   100330   412392 |        1   266038     29 |  0.000 % |
2145.74/2145.70	c |   9231581 |    4219   100330   412392 |        1   266406     29 |  0.000 % |
2145.74/2145.70	c |   9231877 |    4219   100330   412392 |        1   266702     29 |  0.000 % |
2145.74/2145.70	c |   9232292 |    4219   100330   412392 |        1   267117     29 |  0.000 % |
2145.74/2145.70	c |   9232527 |    4219   100330   412392 |        1   267352     29 |  0.000 % |
2145.74/2145.70	c |   9235559 |    4219   100330   412392 |        1   270384     30 |  0.000 % |
2145.74/2145.70	c |   9267358 |    4219   100330   412392 |        1   302183     35 |  0.000 % |
2145.74/2145.70	c |   9274718 |    4219   100330   412392 |        1   309543     36 |  0.000 % |
2145.74/2145.70	c |   9279721 |    4219   100330   412392 |        1   314546     37 |  0.000 % |
2145.74/2145.70	c |   9279821 |    4219   100330   412392 |        1   314646     37 |  0.000 % |
2145.74/2145.70	c |  10404149 |    4219   100330   412392 |        1   326970     34 |  0.000 % |
2145.74/2145.70	c |  10514661 |    4219   100330   412392 |        1   437482     48 |  0.000 % |
2145.74/2145.70	c |  10515421 |    4219   100330   412392 |        1   438242     48 |  0.000 % |
2145.74/2145.70	c |  10515521 |    4219   100330   412392 |        1   438342     48 |  0.000 % |
2145.74/2145.70	c |  10518216 |    4219   100330   412392 |        1   441037     48 |  0.000 % |
2145.74/2145.70	c |  10543311 |    4219   100330   412392 |        1   235936     17 |  0.000 % |
2145.74/2145.70	c |  10546405 |    4219   100330   412392 |        1   239030     18 |  0.000 % |
2145.74/2145.70	c |  10959231 |    4219   100330   412392 |        1   419054     46 |  0.000 % |
2145.74/2145.70	c |  10959569 |    4219   100330   412392 |        1   419392     46 |  0.000 % |
2145.74/2145.70	c |  10959675 |    4219   100330   412392 |        1   419498     46 |  0.000 % |
2145.74/2145.70	c |  10969932 |    4219   100330   412392 |        1   429755     47 |  0.000 % |
2145.74/2145.70	c |  10970032 |    4219   100330   412392 |        1   429855     47 |  0.000 % |
2145.74/2145.70	c |  10970275 |    4219   100330   412392 |        1   430098     47 |  0.000 % |
2145.74/2145.70	c |  10973109 |    4219   100330   412392 |        1   432932     48 |  0.000 % |
2145.74/2145.70	c |  11009140 |    4219   100330   412392 |        1   468963     50 |  0.000 % |
2145.74/2145.70	c |  11023915 |    4219   100330   412392 |        1   248334     18 |  0.000 % |
2145.74/2145.70	c |  11141245 |    4219   100330   412392 |        1   365664     37 |  0.000 % |
2145.74/2145.70	c |  11141685 |    4219   100330   412392 |        1   366104     37 |  0.000 % |
2145.74/2145.70	c |  11141833 |    4219   100330   412392 |        1   366252     37 |  0.000 % |
2145.74/2145.70	c |  11168648 |    4219   100330   412392 |        1   393067     40 |  0.000 % |
2145.74/2145.70	c |  11169013 |    4219   100330   412392 |        1   393432     40 |  0.000 % |
2145.74/2145.70	c |  11169117 |    4219   100330   412392 |        1   393536     40 |  0.000 % |
2145.74/2145.70	c |  11169218 |    4219   100330   412392 |        1   393637     40 |  0.000 % |
2145.74/2145.70	c |  11169340 |    4219   100330   412392 |        1   393759     40 |  0.000 % |
2145.74/2145.70	c |  11268093 |    4219   100330   412392 |        1   254516     19 |  0.000 % |
2145.74/2145.70	c |  11966513 |    4219   100330   412392 |        1   469132     48 |  0.000 % |
2145.74/2145.70	c |  11971699 |    4219   100330   412392 |        1   474318     48 |  0.000 % |
2145.74/2145.70	c |  12025706 |    4219   100330   412392 |        1   282524     23 |  0.000 % |
2145.74/2145.70	c |  12026247 |    4219   100330   412392 |        1   283065     23 |  0.000 % |
2145.74/2145.70	c |  12048406 |    4219   100330   412392 |        1   305224     27 |  0.000 % |
2145.74/2145.70	c |  12083219 |    4219   100330   412392 |        1   340037     32 |  0.000 % |
2145.74/2145.70	c |  12093859 |    4219   100330   412392 |        1   350677     33 |  0.000 % |
2145.74/2145.70	c |  12143439 |    4219   100330   412392 |        1   400257     38 |  0.000 % |
2145.74/2145.70	c |  12144026 |    4219   100330   412392 |        1   400844     38 |  0.000 % |
2145.74/2145.70	c |  12144278 |    4219   100330   412392 |        1   401096     38 |  0.000 % |
2145.74/2145.70	c |  12145366 |    4219   100330   412392 |        1   402184     39 |  0.000 % |
2145.74/2145.70	c |  12146591 |    4219   100330   412392 |        1   403409     39 |  0.000 % |
2145.74/2145.70	c |  12147133 |    4219   100330   412392 |        1   403951     39 |  0.000 % |
2145.74/2145.70	c |  12147813 |    4219   100330   412392 |        1   404631     39 |  0.000 % |
4285.32/4285.23	c |  12150438 |    4219   100330   412392 |        1   407256     39 |  0.000 % |
4285.32/4285.23	c |  12150672 |    4219   100330   412392 |        1   407490     39 |  0.000 % |
4285.32/4285.23	c |  12194976 |    4219   100330   412392 |        1   451794     43 |  0.000 % |
4285.32/4285.23	c |  12699467 |    4219   100330   412392 |        1   456891     49 |  0.000 % |
4285.32/4285.23	c |  12701188 |    4219   100330   412392 |        1   458612     49 |  0.000 % |
4285.32/4285.23	c |  12723708 |    4219   100330   412392 |        1   481132     50 |  0.000 % |
4285.32/4285.23	c |  12746881 |    4219   100330   412392 |        1   504305     52 |  0.000 % |
4285.32/4285.23	c |  12753859 |    4219   100330   412392 |        1   257673     15 |  0.000 % |
4285.32/4285.23	c |  12756346 |    4219   100330   412392 |        1   260160     16 |  0.000 % |
4285.32/4285.23	c |  12757979 |    4219   100330   412392 |        1   261793     16 |  0.000 % |
4285.32/4285.23	c |  12790265 |    4219   100330   412392 |        1   294079     22 |  0.000 % |
4285.32/4285.23	c |  12793100 |    4219   100330   412392 |        1   296914     23 |  0.000 % |
4285.32/4285.23	c |  12804948 |    4219   100330   412392 |        1   308762     25 |  0.000 % |
4285.32/4285.23	c |  12810747 |    4219   100330   412392 |        1   314561     26 |  0.000 % |
4285.32/4285.23	c |  12810975 |    4219   100330   412392 |        1   314789     27 |  0.000 % |
4285.32/4285.23	c |  12812632 |    4219   100330   412392 |        1   316446     27 |  0.000 % |
4285.32/4285.23	c |  12818105 |    4219   100330   412392 |        1   321919     28 |  0.000 % |
4285.32/4285.23	c |  12819524 |    4219   100330   412392 |        1   323338     28 |  0.000 % |
4285.32/4285.23	c |  12887448 |    4219   100330   412392 |        1   391262     37 |  0.000 % |
4285.32/4285.23	c |  12888730 |    4219   100330   412392 |        1   392544     37 |  0.000 % |
4285.32/4285.23	c |  12888986 |    4219   100330   412392 |        1   392800     37 |  0.000 % |
4285.32/4285.23	c |  12889179 |    4219   100330   412392 |        1   392993     37 |  0.000 % |
4285.32/4285.23	c |  12889442 |    4219   100330   412392 |        1   393256     37 |  0.000 % |
4285.32/4285.23	c |  12907989 |    4219   100330   412392 |        1   411803     39 |  0.000 % |
4285.32/4285.23	c |  12930183 |    4219   100330   412392 |        1   433997     41 |  0.000 % |
4285.32/4285.23	c |  12930567 |    4219   100330   412392 |        1   434381     41 |  0.000 % |
4285.32/4285.23	c |  12980882 |    4219   100330   412392 |        1   484696     45 |  0.000 % |
4285.32/4285.23	c |  12984419 |    4219   100330   412392 |        1   488233     45 |  0.000 % |
4285.32/4285.23	c |  12984578 |    4219   100330   412392 |        1   488392     45 |  0.000 % |
4285.32/4285.23	c |  18341525 |    4219   100330   412392 |        1   532957     42 |  0.000 % |
4285.32/4285.23	c |  18394040 |    4219   100330   412392 |        1   585472     46 |  0.000 % |
4285.32/4285.23	c |  18746156 |    4219   100330   412392 |        1   323783     17 |  0.000 % |
4285.32/4285.23	c |  18746432 |    4219   100330   412392 |        1   324059     17 |  0.000 % |
4285.32/4285.23	c |  18829544 |    4219   100330   412392 |        1   407171     31 |  0.000 % |
4285.32/4285.23	c |  18857407 |    4219   100330   412392 |        1   435034     34 |  0.000 % |
4285.32/4285.23	c |  18905155 |    4219   100330   412392 |        1   482782     38 |  0.000 % |
4285.32/4285.23	c |  18921631 |    4219   100330   412392 |        1   499258     39 |  0.000 % |
4285.32/4285.23	c |  18921806 |    4219   100330   412392 |        1   499433     39 |  0.000 % |
4285.32/4285.23	c |  18939641 |    4219   100330   412392 |        1   517268     40 |  0.000 % |
4285.32/4285.23	c |  18939858 |    4219   100330   412392 |        1   517485     40 |  0.000 % |
4285.32/4285.23	c |  18968214 |    4219   100330   412392 |        1   545841     45 |  0.000 % |
4285.32/4285.23	c |  18980023 |    4219   100330   412392 |        1   557650     45 |  0.000 % |
4285.32/4285.23	c |  18984470 |    4219   100330   412392 |        1   562097     46 |  0.000 % |
4285.32/4285.23	c |  18985896 |    4219   100330   412392 |        1   563523     46 |  0.000 % |
4285.32/4285.23	c |  18986329 |    4219   100330   412392 |        1   563956     46 |  0.000 % |
4285.32/4285.23	c |  18987180 |    4219   100330   412392 |        1   564807     46 |  0.000 % |
4285.32/4285.23	c |  18987281 |    4219   100330   412392 |        1   564908     46 |  0.000 % |
4285.32/4285.23	c |  18987382 |    4219   100330   412392 |        1   565009     46 |  0.000 % |
4285.32/4285.23	c |  18987511 |    4219   100330   412392 |        1   565138     46 |  0.000 % |
4426.32/4426.29	c |  18988774 |    4219   100330   412392 |        1   566401     46 |  0.000 % |
4426.32/4426.29	c |  19002206 |    4219   100330   412392 |        1   579833     47 |  0.000 % |
4426.32/4426.29	c |  19002306 |    4219   100330   412392 |        1   579933     47 |  0.000 % |
4426.32/4426.29	c |  19002410 |    4219   100330   412392 |        1   580037     47 |  0.000 % |
4426.32/4426.29	c |  19003174 |    4219   100330   412392 |        1   580801     47 |  0.000 % |
4426.32/4426.29	c |  19003536 |    4219   100330   412392 |        1   581163     47 |  0.000 % |
4426.32/4426.29	c |  19003658 |    4219   100330   412392 |        1   581285     47 |  0.000 % |
4426.32/4426.29	c |  19037767 |    4219   100330   412392 |        1   615394     49 |  0.000 % |
4426.32/4426.29	c |  19037938 |    4219   100330   412392 |        1   615565     49 |  0.000 % |
4426.32/4426.29	c |  19040431 |    4219   100330   412392 |        1   618058     49 |  0.000 % |
4426.32/4426.29	c |  19050700 |    4219   100330   412392 |        1   317520     17 |  0.000 % |
4426.32/4426.29	c |  19050828 |    4219   100330   412392 |        1   317648     17 |  0.000 % |
4426.32/4426.29	c |  19057707 |    4219   100330   412392 |        1   324527     18 |  0.000 % |
4426.32/4426.29	c |  19057881 |    4219   100330   412392 |        1   324701     18 |  0.000 % |
4426.32/4426.29	c |  19058141 |    4219   100330   412392 |        1   324961     18 |  0.000 % |
4426.32/4426.29	c |  19058320 |    4219   100330   412392 |        1   325140     18 |  0.000 % |
4426.32/4426.29	c |  19060082 |    4219   100330   412392 |        1   326902     19 |  0.000 % |
4426.32/4426.29	c |  19060212 |    4219   100330   412392 |        1   327032     19 |  0.000 % |
4426.32/4426.29	c |  19060431 |    4219   100330   412392 |        1   327251     19 |  0.000 % |
4426.32/4426.29	c |  19062199 |    4219   100330   412392 |        1   329019     19 |  0.000 % |
4426.32/4426.29	c |  19069662 |    4219   100330   412392 |        1   336482     21 |  0.000 % |
4426.32/4426.29	c |  19069776 |    4219   100330   412392 |        1   336596     21 |  0.000 % |
4426.32/4426.29	c |  19070031 |    4219   100330   412392 |        1   336851     21 |  0.000 % |
4426.32/4426.29	c |  19070401 |    4219   100330   412392 |        1   337221     21 |  0.000 % |
4426.32/4426.29	c |  19070990 |    4219   100330   412392 |        1   337810     21 |  0.000 % |
4426.32/4426.29	c |  19071288 |    4219   100330   412392 |        1   338108     21 |  0.000 % |
4426.32/4426.29	c |  19071652 |    4219   100330   412392 |        1   338472     21 |  0.000 % |
4426.32/4426.29	c |  19072335 |    4219   100330   412392 |        1   339155     21 |  0.000 % |
4426.32/4426.29	c |  19072809 |    4219   100330   412392 |        1   339629     21 |  0.000 % |
4426.32/4426.29	c |  19072909 |    4219   100330   412392 |        1   339729     21 |  0.000 % |
4426.32/4426.29	c |  19073364 |    4219   100330   412392 |        1   340184     22 |  0.000 % |
4426.32/4426.29	c |  19073464 |    4219   100330   412392 |        1   340284     22 |  0.000 % |
4426.32/4426.29	c |  19073672 |    4219   100330   412392 |        1   340492     22 |  0.000 % |
4426.32/4426.29	c |  19086138 |    4219   100330   412392 |        1   352958     24 |  0.000 % |
4426.32/4426.29	c |  19086297 |    4219   100330   412392 |        1   353117     24 |  0.000 % |
4426.32/4426.29	c |  19086468 |    4219   100330   412392 |        1   353288     24 |  0.000 % |
4426.32/4426.29	c |  19086746 |    4219   100330   412392 |        1   353566     24 |  0.000 % |
4426.32/4426.29	c |  19086871 |    4219   100330   412392 |        1   353691     24 |  0.000 % |
4426.32/4426.29	c |  19087296 |    4219   100330   412392 |        1   354116     24 |  0.000 % |
4426.32/4426.29	c |  19087608 |    4219   100330   412392 |        1   354428     24 |  0.000 % |
4426.32/4426.29	c |  19087877 |    4219   100330   412392 |        1   354697     24 |  0.000 % |
4426.32/4426.29	c |  19091549 |    4219   100330   412392 |        1   358369     25 |  0.000 % |
4426.32/4426.29	c |  19091773 |    4219   100330   412392 |        1   358593     25 |  0.000 % |
4426.32/4426.29	c |  19099534 |    4219   100330   412392 |        1   366354     26 |  0.000 % |
4426.32/4426.29	c |  19099634 |    4219   100330   412392 |        1   366454     26 |  0.000 % |
4426.32/4426.29	c |  19100498 |    4219   100330   412392 |        1   367318     26 |  0.000 % |
4426.32/4426.29	c |  19101030 |    4219   100330   412392 |        1   367850     26 |  0.000 % |
4426.32/4426.29	c |  19101931 |    4219   100330   412392 |        1   368751     27 |  0.000 % |
4426.32/4426.29	c |  19600219 |    4219   100330   412392 |        1   553639     45 |  0.000 % |
4426.32/4426.29	c |  19611235 |    4219   100330   412392 |        1   564655     45 |  0.000 % |
4725.43/4725.32	c |  19611337 |    4219   100330   412392 |        1   564757     45 |  0.000 % |
4725.43/4725.32	c |  19611539 |    4219   100330   412392 |        1   564959     45 |  0.000 % |
4725.43/4725.32	c |  19613048 |    4219   100330   412392 |        1   566468     45 |  0.000 % |
4725.43/4725.32	c |  19613156 |    4219   100330   412392 |        1   566576     45 |  0.000 % |
4725.43/4725.32	c |  19696578 |    4219   100330   412392 |        1   334004     18 |  0.000 % |
4725.43/4725.32	c |  19697969 |    4219   100330   412392 |        1   335395     18 |  0.000 % |
4725.43/4725.32	c |  19717359 |    4219   100330   412392 |        1   354785     21 |  0.000 % |
4725.43/4725.32	c |  19804969 |    4219   100330   412392 |        1   442395     33 |  0.000 % |
4725.43/4725.32	c |  19805150 |    4219   100330   412392 |        1   442576     33 |  0.000 % |
4725.43/4725.32	c |  19969593 |    4219   100330   412392 |        1   607019     44 |  0.000 % |
4725.43/4725.32	c |  20007345 |    4219   100330   412392 |        1   326172     16 |  0.000 % |
4725.43/4725.32	c |  20007638 |    4219   100330   412392 |        1   326465     16 |  0.000 % |
4725.43/4725.32	c |  20607908 |    4219   100330   412392 |        1   605531     46 |  0.000 % |
4725.43/4725.32	c |  20612931 |    4219   100330   412392 |        1   610554     46 |  0.000 % |
4725.43/4725.32	c |  20613117 |    4219   100330   412392 |        1   610740     46 |  0.000 % |
4725.43/4725.32	c |  20652366 |    4219   100330   412392 |        1   326190     15 |  0.000 % |
4725.43/4725.32	c |  20656409 |    4219   100330   412392 |        1   330233     15 |  0.000 % |
4725.43/4725.32	c |  20658886 |    4219   100330   412392 |        1   332710     16 |  0.000 % |
4725.43/4725.32	c |  20659059 |    4219   100330   412392 |        1   332883     16 |  0.000 % |
4725.43/4725.32	c |  20673735 |    4219   100330   412392 |        1   347559     19 |  0.000 % |
4725.43/4725.32	c |  20673875 |    4219   100330   412392 |        1   347699     19 |  0.000 % |
4725.43/4725.32	c |  20675557 |    4219   100330   412392 |        1   349381     19 |  0.000 % |
4725.43/4725.32	c |  20702283 |    4219   100330   412392 |        1   376107     23 |  0.000 % |
4725.43/4725.32	c |  20788034 |    4219   100330   412392 |        1   461858     33 |  0.000 % |
4725.43/4725.32	c |  20792657 |    4219   100330   412392 |        1   466481     33 |  0.000 % |
4725.43/4725.32	c |  20809021 |    4219   100330   412392 |        1   482845     35 |  0.000 % |
4725.43/4725.32	c |  20811246 |    4219   100330   412392 |        1   485070     35 |  0.000 % |
4725.43/4725.32	c |  20814973 |    4219   100330   412392 |        1   488797     36 |  0.000 % |
4725.43/4725.32	c |  20815127 |    4219   100330   412392 |        1   488951     36 |  0.000 % |
4725.43/4725.32	c |  20815433 |    4219   100330   412392 |        1   489257     36 |  0.000 % |
4725.43/4725.32	c |  20816066 |    4219   100330   412392 |        1   489890     36 |  0.000 % |
4725.43/4725.32	c |  20816175 |    4219   100330   412392 |        1   489999     36 |  0.000 % |
4725.43/4725.32	c |  20816464 |    4219   100330   412392 |        1   490288     36 |  0.000 % |
4725.43/4725.32	c |  20816632 |    4219   100330   412392 |        1   490456     36 |  0.000 % |
4725.43/4725.32	c |  20822431 |    4219   100330   412392 |        1   496255     36 |  0.000 % |
4725.43/4725.32	c |  20822670 |    4219   100330   412392 |        1   496494     36 |  0.000 % |
4725.43/4725.32	c |  20822804 |    4219   100330   412392 |        1   496628     36 |  0.000 % |
4725.43/4725.32	c |  20822996 |    4219   100330   412392 |        1   496820     36 |  0.000 % |
4725.43/4725.32	c |  20823370 |    4219   100330   412392 |        1   497194     37 |  0.000 % |
4725.43/4725.32	c |  20824020 |    4219   100330   412392 |        1   497844     37 |  0.000 % |
4725.43/4725.32	c |  20824210 |    4219   100330   412392 |        1   498034     37 |  0.000 % |
4725.43/4725.32	c |  20824365 |    4219   100330   412392 |        1   498189     37 |  0.000 % |
4725.43/4725.32	c |  20824553 |    4219   100330   412392 |        1   498377     37 |  0.000 % |
4725.43/4725.32	c |  20825149 |    4219   100330   412392 |        1   498973     37 |  0.000 % |
4725.43/4725.32	c |  20825507 |    4219   100330   412392 |        1   499331     37 |  0.000 % |
4725.43/4725.32	c |  20826061 |    4219   100330   412392 |        1   499885     37 |  0.000 % |
4725.43/4725.32	c |  20826465 |    4219   100330   412392 |        1   500289     37 |  0.000 % |
4725.43/4725.32	c |  20826712 |    4219   100330   412392 |        1   500536     37 |  0.000 % |
4725.43/4725.32	c |  20827126 |    4219   100330   412392 |        1   500950     37 |  0.000 % |
4725.43/4725.32	c |  20827463 |    4219   100330   412392 |        1   501287     37 |

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3303472-1306925741/watcher-3303472-1306925741 -o /tmp/evaluation-result-3303472-1306925741/solver-3303472-1306925741 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303472-1306925741.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.44 7.92 7.96 2/426 8327
/proc/meminfo: memFree=29754160/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 334 0 0 0 0 0 0 0 24 0 1 0 804174534 8912896 253 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8327/statm: 2176 253 211 178 0 69 0

[startup+0.078752 s]
/proc/loadavg: 7.44 7.92 7.96 2/426 8327
/proc/meminfo: memFree=29754160/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 334 0 0 0 0 0 0 0 24 0 1 0 804174534 8912896 253 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8327/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100744 s]
/proc/loadavg: 7.44 7.92 7.96 2/426 8327
/proc/meminfo: memFree=29754160/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 334 0 0 0 0 0 0 0 24 0 1 0 804174534 8912896 253 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8327/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300645 s]
/proc/loadavg: 7.44 7.92 7.96 2/426 8327
/proc/meminfo: memFree=29754160/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 8704

[startup+0.700573 s]
/proc/loadavg: 7.44 7.92 7.96 2/426 8327
/proc/meminfo: memFree=29754160/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 8704

[startup+1.50045 s]
/proc/loadavg: 7.44 7.92 7.96 3/428 8330
/proc/meminfo: memFree=29713968/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=34668 CPUtime=1.34 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 8274 0 0 0 134 0 0 0 25 0 1 0 804174548 35500032 5293 33554432000 4194304 4260849 140737060020512 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 8667 5293 251 17 0 5308 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 43372

[startup+3.10116 s]
/proc/loadavg: 7.44 7.92 7.96 3/432 8337
/proc/meminfo: memFree=29621060/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=39088 CPUtime=2.94 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 9664 0 0 0 294 0 0 0 25 0 1 0 804174548 40026112 6572 33554432000 4194304 4260849 140737060020512 18446744073709551615 4224906 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 9772 6572 251 17 0 6413 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 47792

[startup+6.3006 s]
/proc/loadavg: 7.00 7.83 7.93 3/432 8338
/proc/meminfo: memFree=29626896/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=41808 CPUtime=6.15 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 10361 0 0 0 614 1 0 0 25 0 1 0 804174548 42811392 7252 33554432000 4194304 4260849 140737060020512 18446744073709551615 4229342 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 10452 7252 251 17 0 7093 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 50512

[startup+12.7004 s]
/proc/loadavg: 6.60 7.73 7.90 3/432 8339
/proc/meminfo: memFree=29599856/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=53412 CPUtime=12.54 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 18837 0 0 0 1252 2 0 0 25 0 1 0 804174548 54693888 8517 33554432000 4194304 4260849 140737060020512 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 13353 8517 251 17 0 9994 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 62116

[startup+25.501 s]
/proc/loadavg: 5.58 7.45 7.80 3/432 8339
/proc/meminfo: memFree=29583968/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=53412 CPUtime=25.35 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 20477 0 0 0 2532 3 0 0 25 0 1 0 804174548 54693888 10145 33554432000 4194304 4260849 140737060020512 18446744073709551615 4224753 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 13353 10145 251 17 0 9994 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62116

[startup+51.1013 s]
/proc/loadavg: 4.36 7.01 7.64 3/432 8340
/proc/meminfo: memFree=29554696/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=91136 CPUtime=50.94 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 32073 0 0 0 5090 4 0 0 25 0 1 0 804174548 93323264 16531 33554432000 4194304 4260849 140737060020512 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 22784 16531 251 17 0 19425 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 99840

[startup+102.317 s]
/proc/loadavg: 3.02 6.23 7.35 3/432 8341
/proc/meminfo: memFree=29517948/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=140456 CPUtime=102.16 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 50614 0 0 0 10209 7 0 0 25 0 1 0 804174548 143826944 27417 33554432000 4194304 4260849 140737060020512 18446744073709551615 4220710 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 35114 27417 251 17 0 31755 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 149160

[startup+162.301 s]
/proc/loadavg: 2.37 5.46 7.01 3/432 8343
/proc/meminfo: memFree=29517532/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=92956 CPUtime=162.15 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 103765 0 0 0 16201 14 0 0 25 0 1 0 804174548 95186944 19601 33554432000 4194304 4260849 140737060020512 18446744073709551615 4225107 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 23239 19601 251 17 0 19880 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 101660

[startup+222.3 s]
/proc/loadavg: 2.21 4.85 6.70 3/432 8344
/proc/meminfo: memFree=29449504/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=142276 CPUtime=222.15 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 172552 0 0 0 22192 23 0 0 25 0 1 0 804174548 145690624 27897 33554432000 4194304 4260849 140737060020512 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 35569 27897 251 17 0 32210 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 150980

[startup+282.301 s]
/proc/loadavg: 2.08 4.33 6.40 3/432 8346
/proc/meminfo: memFree=29398372/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=142784 CPUtime=282.15 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 220055 0 0 0 28186 29 0 0 25 0 1 0 804174548 146210816 30417 33554432000 4194304 4260849 140737060020512 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 35696 30417 251 17 0 32337 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 151488

[startup+342.301 s]
/proc/loadavg: 2.03 3.90 6.12 3/432 8357
/proc/meminfo: memFree=29413168/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=123876 CPUtime=342.16 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 278893 0 0 0 34178 38 0 0 25 0 1 0 804174548 126849024 27777 33554432000 4194304 4260849 140737060020512 18446744073709551615 4225072 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 30969 27777 251 17 0 27610 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 132580

[startup+402.301 s]
/proc/loadavg: 2.01 3.55 5.86 3/432 8358
/proc/meminfo: memFree=29491972/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6

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

/proc/8330/statm: 129607 106123 251 17 0 126248 0
Current children cumulated CPU time (s) 4362.42
Current children cumulated vsize (KiB) 527132

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/432 8480
/proc/meminfo: memFree=28916784/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=446220 CPUtime=4422.29 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 2056927 0 0 0 441830 399 0 0 25 0 1 0 804174548 456929280 101237 33554432000 4194304 4260849 140737060020512 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 111555 101237 251 17 0 108196 0
Current children cumulated CPU time (s) 4422.42
Current children cumulated vsize (KiB) 454924

[startup+4482.3 s]
/proc/loadavg: 2.16 2.03 2.04 3/432 8482
/proc/meminfo: memFree=29078044/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=369252 CPUtime=4482.3 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 2104812 0 0 0 447822 408 0 0 25 0 1 0 804174548 378114048 85521 33554432000 4194304 4260849 140737060020512 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 92313 85521 251 17 0 88954 0
Current children cumulated CPU time (s) 4482.43
Current children cumulated vsize (KiB) 377956

[startup+4542.3 s]
/proc/loadavg: 2.13 2.04 2.04 3/432 8484
/proc/meminfo: memFree=29126236/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=450160 CPUtime=4542.29 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 2120328 0 0 0 453817 412 0 0 25 0 1 0 804174548 460963840 100849 33554432000 4194304 4260849 140737060020512 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 112540 100849 251 17 0 109181 0
Current children cumulated CPU time (s) 4542.42
Current children cumulated vsize (KiB) 458864

[startup+4602.3 s]
/proc/loadavg: 2.05 2.03 2.04 3/432 8485
/proc/meminfo: memFree=28966472/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=324052 CPUtime=4602.31 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 2128188 0 0 0 459815 416 0 0 25 0 1 0 804174548 331829248 76767 33554432000 4194304 4260849 140737060020512 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 81013 76767 251 17 0 77654 0
Current children cumulated CPU time (s) 4602.44
Current children cumulated vsize (KiB) 332756

[startup+4662.3 s]
/proc/loadavg: 2.02 2.02 2.03 3/432 8487
/proc/meminfo: memFree=28973828/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=454280 CPUtime=4662.3 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 2152636 0 0 0 465809 421 0 0 25 0 1 0 804174548 465182720 101044 33554432000 4194304 4260849 140737060020512 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 113570 101044 251 17 0 110211 0
Current children cumulated CPU time (s) 4662.43
Current children cumulated vsize (KiB) 462984

[startup+4722.32 s]
/proc/loadavg: 2.00 2.02 2.03 3/432 8488
/proc/meminfo: memFree=29111412/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=405828 CPUtime=4722.32 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 2179983 0 0 0 471804 428 0 0 25 0 1 0 804174548 415567872 95297 33554432000 4194304 4260849 140737060020512 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 101457 95297 251 17 0 98098 0
Current children cumulated CPU time (s) 4722.45
Current children cumulated vsize (KiB) 414532

[startup+4782.3 s]
/proc/loadavg: 2.12 2.04 2.03 3/432 8490
/proc/meminfo: memFree=28877988/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=406640 CPUtime=4782.3 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 2211697 0 0 0 477797 433 0 0 25 0 1 0 804174548 416399360 94710 33554432000 4194304 4260849 140737060020512 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 101660 94710 251 17 0 98301 0
Current children cumulated CPU time (s) 4782.43
Current children cumulated vsize (KiB) 415344

[startup+4842.3 s]
/proc/loadavg: 2.10 2.05 2.03 3/432 8492
/proc/meminfo: memFree=28935472/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=456728 CPUtime=4842.31 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 2224373 0 0 0 483794 437 0 0 25 0 1 0 804174548 467689472 107223 33554432000 4194304 4260849 140737060020512 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 114182 107223 251 17 0 110823 0
Current children cumulated CPU time (s) 4842.44
Current children cumulated vsize (KiB) 465432

[startup+4902.3 s]
/proc/loadavg: 2.04 2.04 2.02 3/432 8493
/proc/meminfo: memFree=29107040/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=411720 CPUtime=4902.3 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 2247470 0 0 0 489788 442 0 0 25 0 1 0 804174548 421601280 97634 33554432000 4194304 4260849 140737060020512 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 102930 97634 251 17 0 99571 0
Current children cumulated CPU time (s) 4902.43
Current children cumulated vsize (KiB) 420424

[startup+4962.3 s]
/proc/loadavg: 2.01 2.03 2.02 3/432 8495
/proc/meminfo: memFree=28818448/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=461808 CPUtime=4962.31 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 2259191 0 0 0 495785 446 0 0 25 0 1 0 804174548 472891392 109227 33554432000 4194304 4260849 140737060020512 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 115452 109227 251 17 0 112093 0
Current children cumulated CPU time (s) 4962.44
Current children cumulated vsize (KiB) 470512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 2.00 2.02 2.02 3/432 8496
/proc/meminfo: memFree=29106460/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=382996 CPUtime=4999.92 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 2273205 0 0 0 499543 449 0 0 25 0 1 0 804174548 392187904 89733 33554432000 4194304 4260849 140737060020512 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 95749 89733 251 17 0 92390 0
Current children cumulated CPU time (s) 5000.05
Current children cumulated vsize (KiB) 391700

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

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

[startup+4999.9 s]
/proc/loadavg: 2.00 2.02 2.02 3/432 8496
/proc/meminfo: memFree=29106460/32951124 swapFree=43324008/67111528
[pid=8327] ppid=8325 vsize=8704 CPUtime=0.13 cores=0,2,4,6
/proc/8327/stat : 8327 (glucose.sh) S 8325 8327 8295 0 -1 4202496 361 2461 0 0 0 0 13 0 23 0 1 0 804174534 8912896 255 33554432000 4194304 4922060 140735304838736 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8327/statm: 2176 255 211 178 0 69 0
[pid=8330] ppid=8327 vsize=382996 CPUtime=4999.92 cores=0,2,4,6
/proc/8330/stat : 8330 (glucose_static) R 8327 8327 8295 0 -1 4202496 2273205 0 0 0 499543 449 0 0 25 0 1 0 804174548 392187904 89733 33554432000 4194304 4260849 140737060020512 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8330/statm: 95749 89733 251 17 0 92390 0
Current children cumulated CPU time (s) 5000.05
Current children cumulated vsize (KiB) 391700

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8327 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=134979
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=6998
# CPU time returned by wait4() is 0.141977
# while last known CPU time is 5000.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 4999.92
CPU time (s): 5000.05
CPU user time (s): 4995.56
CPU system time (s): 4.49
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 553996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.134979
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2822
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= 8
involuntary context switches= 5

runsolver used 21.9537 second user time and 46.4139 second system time

The end

Launcher Data 

Begin job on node105 at 2011-06-01 12:55:41
IDJOB=3303472
IDBENCH=83248
IDSOLVER=1687
FILE ID=node105/3303472-1306925741
RUNJOBID= node105-1306925741-8313
PBS_JOBID= 13488558
Free space on /tmp= 73716 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-5_4231.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303472-1306925741/watcher-3303472-1306925741 -o /tmp/evaluation-result-3303472-1306925741/solver-3303472-1306925741 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303472-1306925741.cnf 

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a52d60bf6e72caa628ad712a5fe0fb7a
RANDOM SEED=148678476

node105.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5410.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29754432 kB
Buffers:        188448 kB
Cached:         294744 kB
SwapCached:      20984 kB
Active:        2595924 kB
Inactive:       297532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29754432 kB
SwapTotal:    67111528 kB
SwapFree:     43324008 kB
Dirty:            3896 kB
Writeback:           0 kB
AnonPages:     2407144 kB
Mapped:          18676 kB
Slab:           153476 kB
PageTables:      81660 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 114857672 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73664 MiB
End job on node105 at 2011-06-01 14:19:03