Trace number 3368827

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
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.43 1203.14

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S1061710238-001.UNKNOWN.cnf
MD5SUM23ebfbdf095807765a162fcb1d02f57a
Bench CategoryRANDOM (random 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 variables125
Number of clauses2662
Sum of the clauses size13310
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52662
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368827-1305404045.cnf'
0.00/0.01	c -- header says num vars:            125
0.00/0.01	c -- header says num clauses:        2662
0.00/0.02	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.02	c -- vars added        125
0.00/0.02	c Parsing time:  0.01 s
0.00/0.02	c  N st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.33	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.33	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.33	c calculated reachability. Time: 0.00
0.00/0.33	c Calc default polars -  time:   0.00 s pos:      61 undec:       2 neg:      62
0.00/0.33	c =========================================================================================
0.00/0.33	c types(t): F = full restart, N = normal restart
0.00/0.33	c types(t): S = simplification begin/end, E = solution found
0.00/0.33	c restart types(rt): st = static, dy = dynamic
0.00/0.33	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.33	c  B st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.00/0.33	c Decided on static restart strategy
0.00/0.33	c  N st     8      4916       125      2662         0      4651     13310    121915   no data   no data  --
0.00/0.33	c  N st    10     11299       125      2662         0      4304     13310     88460   no data   no data  --
3.56/0.90	c  N st    11     17042       125      2662         0      9702     13310    228411   no data   no data  --
3.56/0.90	c  F st    12     25001       125      2662         0     11916     13310    283080   no data   no data  --
3.56/0.90	c  N st    12     25001       125      2662         0     11916     13310    283080   no data   no data  --
3.97/1.08	c Decided on static restart strategy
3.97/1.08	c  N st    18     30000       125      2662         0     10218     13310    226433   no data   no data  --
3.97/1.08	c  S st    18     30000       125      2662         0     10218     13310    226433   no data   no data  --
4.37/1.12	c  S st    18     30505       125      2662         0     10710     13310    239168   no data   no data  --
4.37/1.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.37/1.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.37/1.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.37/1.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.37/1.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.37/1.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.37/1.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.76/1.72	c lits-rem:      2339  cl-subs:     1424  v-elim:      0  v-fix:    0  time:  2.36 s
6.76/1.76	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.16
6.76/1.76	c calculated reachability. Time: 0.00
6.76/1.76	c  N st    18     30505       125      2662         0      9286     13310    197620   no data   no data  --
8.35/2.12	c  N st    20     37618       125      2662         0      8567     13310    164063   no data   no data  --
9.57/2.42	c  N st    21     44017       125      2662         0     14620     13310    326653   no data   no data  --
9.99/2.51	c  S st    22     45758       125      2662         0     16259     13310    370251   no data   no data  --
9.99/2.56	c  S st    22     46262       125      2662         0     16752     13310    383004   no data   no data  --
9.99/2.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.99/2.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.99/2.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.99/2.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.99/2.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.99/2.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
9.99/2.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.13/3.86	c lits-rem:      3384  cl-subs:     1544  v-elim:      0  v-fix:    0  time:  5.12 s
15.13/3.86	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
15.13/3.86	c vivif2 --  cl tried    15208 cl shrink        0 lits rem          0 time: 0.02
15.53/3.93	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.28
15.53/3.93	c calculated reachability. Time: 0.00
15.53/3.93	c  N st    22     46262       125      2662         0     15208     13310    334655   no data   no data  --
18.35/4.69	c  N st    23     60659       125      2662         0     10935     13310    195771   no data   no data  --
20.72/5.21	c  N st    24     69393       125      2662         0     19024     13310    402459   no data   no data  --
20.72/5.21	c  S st    24     69393       125      2662         0     19024     13310    402459   no data   no data  --
20.72/5.26	c  S st    24     69894       125      2662         0     19509     13310    414950   no data   no data  --
20.72/5.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.72/5.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.72/5.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
20.72/5.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.72/5.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.72/5.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
20.72/5.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.13/6.82	c lits-rem:      4045  cl-subs:     2280  v-elim:      0  v-fix:    0  time:  6.15 s
27.13/6.82	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.13/6.83	c vivif2 --  cl tried    17229 cl shrink        0 lits rem          0 time: 0.02
27.13/6.90	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.30
27.13/6.90	c calculated reachability. Time: 0.00
27.13/6.90	c  N st    24     69894       125      2662         0     17229     13310    351685   no data   no data  --
31.52/7.96	c  F st    25     87500       125      2662         0     12381     13310    212934   no data   no data  --
31.52/7.96	c  N st    25     87500       125      2662         0     12381     13310    212934   no data   no data  --
32.69/8.26	c Decided on static restart strategy
33.49/8.45	c  N st    32     95538       125      2662         0     20006     13310    411637   no data   no data  --
36.32/9.11	c  N st    34    104841       125      2662         0     16566     13310    312039   no data   no data  --
36.32/9.11	c  S st    34    104841       125      2662         0     16566     13310    312039   no data   no data  --
36.32/9.16	c  S st    34    105341       125      2662         0     17057     13310    325210   no data   no data  --
36.32/9.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.32/9.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.32/9.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
36.32/9.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.32/9.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.32/9.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
36.32/9.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.06/10.31	c lits-rem:      2066  cl-subs:      994  v-elim:      0  v-fix:    0  time:  4.52 s
41.06/10.31	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
41.06/10.31	c vivif2 --  cl tried    16063 cl shrink        0 lits rem          0 time: 0.01
41.06/10.38	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.27
41.06/10.38	c calculated reachability. Time: 0.00
41.06/10.38	c  N st    34    105341       125      2662         0     16063     13310    297607   no data   no data  --
44.27/11.13	c  N st    35    114939       125      2662         0     25069     13310    523158   no data   no data  --
48.26/12.17	c  N st    36    129336       125      2662         0     25376     13310    525698   no data   no data  --
55.03/13.82	c  N st    37    150932       125      2662         0     16606     13310    264678   no data   no data  --
56.63/14.29	c  S st    38    158011       125      2662         0     23226     13310    436033   no data   no data  --
57.03/14.34	c  S st    38    158518       125      2662         0     23721     13310    448563   no data   no data  --
57.03/14.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
57.03/14.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.03/14.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
57.03/14.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.03/14.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.03/14.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
57.03/14.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
63.41/15.95	c lits-rem:      3378  cl-subs:     1930  v-elim:      0  v-fix:    0  time:  6.32 s
63.41/15.95	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
63.41/15.95	c vivif2 --  cl tried    21791 cl shrink        0 lits rem          0 time: 0.02
63.81/16.06	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.44
63.81/16.07	c calculated reachability. Time: 0.00
63.81/16.07	c  N st    38    158518       125      2662         0     21791     13310    395653   no data   no data  --
80.97/20.30	c  N st    39    207106       125      2662         0     34427     13310    692512   no data   no data  --
90.55/22.75	c  N st    40    237778       125      2662         0     26794     13310    479688   no data   no data  --
90.55/22.75	c  S st    40    237778       125      2662         0     26794     13310    479688   no data   no data  --
90.95/22.82	c  S st    40    238284       125      2662         0     27284     13310    493042   no data   no data  --
90.95/22.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
90.95/22.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
90.95/22.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
90.95/22.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
90.95/22.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.95/22.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
90.95/22.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
97.35/24.50	c lits-rem:      3739  cl-subs:     2059  v-elim:      0  v-fix:    0  time:  6.63 s
97.35/24.50	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
97.77/24.51	c vivif2 --  cl tried    25225 cl shrink        0 lits rem          0 time: 0.02
98.12/24.62	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.45
98.12/24.62	c calculated reachability. Time: 0.00
98.12/24.62	c  N st    40    238284       125      2662         0     25225     13310    438550   no data   no data  --
124.10/31.13	c  F st    41    306252       125      2662         0     27003     13310    441036   no data   no data  --
124.10/31.13	c  N st    41    306252       125      2662         0     27003     13310    441036   no data   no data  --
126.05/31.61	c Decided on static restart strategy
136.03/34.17	c  N st    51    334556       125      2662         0     31202     13310    537082   no data   no data  --
147.60/37.02	c  N st    53    357426       125      2662         0     29269     13310    471542   no data   no data  --
147.60/37.02	c  S st    53    357426       125      2662         0     29269     13310    471542   no data   no data  --
147.60/37.09	c  S st    53    357933       125      2662         0     29759     13310    484150   no data   no data  --
147.60/37.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
147.60/37.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
148.00/37.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
148.00/37.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
148.00/37.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.00/37.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
148.00/37.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
153.59/38.59	c lits-rem:      2595  cl-subs:     1502  v-elim:      0  v-fix:    0  time:  5.90 s
153.59/38.59	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
153.99/38.60	c vivif2 --  cl tried    28257 cl shrink        0 lits rem          0 time: 0.02
154.41/38.73	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.51
154.41/38.73	c calculated reachability. Time: 0.00
154.41/38.73	c  N st    53    357933       125      2662         0     28257     13310    441403   no data   no data  --
169.55/42.50	c  N st    54    390326       125      2662         0     34247     13310    585620   no data   no data  --
190.30/47.78	c  N st    55    438914       125      2662         0     28297     13310    406963   no data   no data  --
221.82/55.69	c  N st    56    511797       125      2662         0     41185     13310    705266   no data   no data  --
234.19/58.72	c  N st    57    536899       125      2662         0     35606     13310    543910   no data   no data  --
234.19/58.72	c  S st    57    536899       125      2662         0     35606     13310    543910   no data   no data  --
234.58/58.81	c  S st    57    537402       125      2662         0     36096     13310    556718   no data   no data  --
234.58/58.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
234.58/58.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
234.58/58.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
234.58/58.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
234.58/58.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
234.58/58.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
234.58/58.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
241.78/60.65	c lits-rem:      2422  cl-subs:     1725  v-elim:      0  v-fix:    0  time:  7.25 s
241.78/60.65	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
241.78/60.66	c vivif2 --  cl tried    34371 cl shrink        0 lits rem          0 time: 0.02
242.61/60.82	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.62
242.61/60.82	c calculated reachability. Time: 0.00
242.61/60.82	c  N st    57    537402       125      2662         0     34371     13310    514078   no data   no data  --
325.59/81.62	c  N st    58    701388       125      2662         0     62150     13310   1183297   no data   no data  --
382.23/95.90	c  N st    59    806103       125      2662         0     56428     13310    981469   no data   no data  --
382.23/95.90	c  S st    59    806103       125      2662         0     56428     13310    981469   no data   no data  --
383.07/96.08	c  S st    59    806608       125      2662         0     56918     13310    994358   no data   no data  --
383.07/96.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
383.07/96.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
383.42/96.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.12
383.42/96.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
383.42/96.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
383.42/96.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
383.42/96.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
405.01/101.54	c lits-rem:      1140  cl-subs:     5485  v-elim:      0  v-fix:    0  time: 21.54 s
405.01/101.54	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
405.01/101.55	c vivif2 --  cl tried    51433 cl shrink        0 lits rem          0 time: 0.04
406.16/101.82	c asymm  cl-useful: 0/2212/2662 lits-rem:0 time: 1.05
406.16/101.82	c calculated reachability. Time: 0.00
406.16/101.82	c  N st    59    806608       125      2662         0     51433     13310    870668   no data   no data  --
556.19/139.41	c  F st    60   1071875       125      2662         0     67157     13310   1181021   no data   no data  --
556.19/139.42	c  N st    60   1071875       125      2662         0     67157     13310   1181021   no data   no data  --
560.98/140.66	c Decided on static restart strategy
577.33/144.75	c  N st    70   1100181       125      2662         0     51782     13310    786913   no data   no data  --
605.67/151.81	c  N st    72   1136174       125      2662         0     85517     13310   1678882   no data   no data  --
626.82/157.12	c  N st    73   1168569       125      2662         0     72526     13310   1282531   no data   no data  --
655.18/164.29	c  N st    74   1209912       125      2662         0     67291     13310   1132072   no data   no data  --
655.18/164.29	c  S st    74   1209912       125      2662         0     67291     13310   1132072   no data   no data  --
655.94/164.49	c  S st    74   1210417       125      2662         0     67784     13310   1145543   no data   no data  --
655.94/164.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
655.94/164.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
656.34/164.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
656.34/164.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
656.34/164.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
656.34/164.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
656.34/164.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
684.67/171.63	c lits-rem:      1429  cl-subs:     5859  v-elim:      0  v-fix:    0  time: 28.21 s
684.67/171.63	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
684.67/171.64	c vivif2 --  cl tried    61925 cl shrink        0 lits rem          0 time: 0.05
685.91/171.94	c asymm  cl-useful: 0/1790/2662 lits-rem:0 time: 1.18
685.91/171.94	c calculated reachability. Time: 0.00
685.91/171.94	c  N st    74   1210417       125      2662         0     61925     13310   1003763   no data   no data  --
752.50/188.63	c  N st    75   1283299       125      2662         0     85387     13310   1610723   no data   no data  --
837.89/210.08	c  N st    76   1392623       125      2662         0     94571     13310   1809049   no data   no data  --
981.53/246.08	c  N st    77   1556607       125      2662         0     51796     13310    639254   no data   no data  --
1106.02/277.28	c  N st    78   1710418       125      2662         0     91718     13310   1654883   no data   no data  --
1106.02/277.28	c  S st    78   1710418       125      2662         0     91718     13310   1654883   no data   no data  --
1107.25/277.55	c  S st    78   1710918       125      2662         0     92201     13310   1667672   no data   no data  --
1107.25/277.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1107.25/277.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1107.61/277.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
1107.61/277.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1107.61/277.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1107.61/277.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1107.61/277.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1202.98/301.50	c lits-rem:      7618  cl-subs:     9818  v-elim:      0  v-fix:    0  time: 95.10 s
1202.98/301.50	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1202.98/301.52	c vivif2 --  cl tried    82383 cl shrink        0 lits rem          0 time: 0.08
1204.17/301.87	c asymm  cl-useful: 0/872/2662 lits-rem:0 time: 1.38
1204.17/301.87	c calculated reachability. Time: 0.00
1204.17/301.87	c  N st    78   1710918       125      2662         0     82383     13310   1418422   no data   no data  --
1567.70/392.93	c  N st    79   2079883       125      2662         0     93994     13310   1614036   no data   no data  --
1692.16/424.11	c  N st    80   2210919       125      2662         0     97849     13310   1685287   no data   no data  --
1692.16/424.11	c  S st    80   2210919       125      2662         0     97849     13310   1685287   no data   no data  --
1693.36/424.43	c  S st    80   2211422       125      2662         0     98345     13310   1698059   no data   no data  --
1693.36/424.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1693.36/424.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1693.36/424.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1693.76/424.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1693.76/424.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1693.76/424.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1693.76/424.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1786.33/447.70	c lits-rem:      7001  cl-subs:     9527  v-elim:      0  v-fix:    0  time: 92.34 s
1786.33/447.70	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1786.33/447.72	c vivif2 --  cl tried    88818 cl shrink        0 lits rem          0 time: 0.08
1787.91/448.17	c asymm  cl-useful: 0/1204/2662 lits-rem:0 time: 1.81
1787.91/448.18	c calculated reachability. Time: 0.00
1787.91/448.18	c  N st    80   2211422       125      2662         0     88818     13310   1461303   no data   no data  --
2295.07/575.29	c  N st    81   2711422       125      2662         0    111665     13310   1965297   no data   no data  --
2295.07/575.29	c  S st    81   2711422       125      2662         0    111665     13310   1965297   no data   no data  --
2296.70/575.66	c  S st    81   2711925       125      2662         0    112157     13310   1978001   no data   no data  --
2296.70/575.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2296.70/575.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2297.05/575.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2297.05/575.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2297.05/575.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2297.05/575.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2297.05/575.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2437.15/610.86	c lits-rem:      7520  cl-subs:    11623  v-elim:      0  v-fix:    0  time: 139.90 s
2437.15/610.86	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2437.15/610.89	c vivif2 --  cl tried   100534 cl shrink        0 lits rem          0 time: 0.10
2439.10/611.36	c asymm  cl-useful: 0/1036/2662 lits-rem:0 time: 1.92
2439.10/611.37	c calculated reachability. Time: 0.00
2439.10/611.37	c  N st    81   2711925       125      2662         0    100534     13310   1699559   no data   no data  --
3006.49/753.51	c  N st    82   3211925       125      2662         0     77793     13310    980634   no data   no data  --
3006.49/753.51	c  S st    82   3211925       125      2662         0     77793     13310    980634   no data   no data  --
3007.31/753.74	c  S st    82   3212427       125      2662         0     78287     13310    993814   no data   no data  --
3007.31/753.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3007.31/753.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3007.31/753.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3007.73/753.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3007.73/753.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3007.73/753.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3007.73/753.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3026.04/758.48	c lits-rem:       418  cl-subs:     1564  v-elim:      0  v-fix:    0  time: 18.65 s
3026.04/758.48	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3026.44/758.50	c vivif2 --  cl tried    76723 cl shrink        0 lits rem          0 time: 0.05
3027.24/758.79	c asymm  cl-useful: 0/1573/2662 lits-rem:0 time: 1.18
3027.24/758.79	c calculated reachability. Time: 0.00
3027.24/758.79	c  N st    82   3212427       125      2662         0     76723     13310    958648   no data   no data  --
3626.19/908.84	c  N st    83   3712427       125      2662         0     87037     13310   1131665   no data   no data  --
3626.19/908.84	c  S st    83   3712427       125      2662         0     87037     13310   1131665   no data   no data  --
3626.96/909.09	c  S st    83   3712932       125      2662         0     87525     13310   1144696   no data   no data  --
3627.36/909.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3627.36/909.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3627.36/909.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3627.36/909.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3627.36/909.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3627.36/909.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3627.36/909.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3652.09/915.34	c lits-rem:       723  cl-subs:     2545  v-elim:      0  v-fix:    0  time: 24.58 s
3652.09/915.34	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3652.09/915.35	c vivif2 --  cl tried    84980 cl shrink        0 lits rem          0 time: 0.06
3653.29/915.65	c asymm  cl-useful: 0/1089/2662 lits-rem:0 time: 1.19
3653.29/915.66	c calculated reachability. Time: 0.00
3653.29/915.66	c  N st    83   3712932       125      2662         0     84980     13310   1088284   no data   no data  --
3699.58/927.26	c  F st    84   3751562       125      2662         0    120825     13310   2041683   no data   no data  --
3699.58/927.26	c  N st    84   3751562       125      2662         0    120825     13310   2041683   no data   no data  --
3709.57/929.72	c Decided on static restart strategy
3743.47/938.23	c  N st    94   3779863       125      2662         0    147365     13310   2746990   no data   no data  --
3790.15/949.97	c  N st    96   3815856       125      2662         0    102121     13310   1502770   no data   no data  --
3836.03/961.43	c  N st    97   3848249       125      2662         0    132378     13310   2293364   no data   no data  --
3917.01/981.74	c  N st    98   3896838       125      2662         0     97792     13310   1406164   no data   no data  --
4012.41/1005.64	c  N st    99   3969721       125      2662         0     84629     13310   1024405   no data   no data  --
4168.39/1044.79	c  N st   100   4079044       125      2662         0    104574     13310   1553580   no data   no data  --
4347.94/1089.71	c  N st   101   4212934       125      2662         0    146199     13310   2615127   no data   no data  --
4347.94/1089.71	c  S st   101   4212934       125      2662         0    146199     13310   2615127   no data   no data  --
4349.94/1090.23	c  S st   101   4213436       125      2662         0    146681     13310   2627833   no data   no data  --
4349.94/1090.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4349.94/1090.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4350.36/1090.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.30
4350.36/1090.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4350.36/1090.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4350.36/1090.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4350.36/1090.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4598.86/1152.61	c lits-rem:     10389  cl-subs:    15377  v-elim:      0  v-fix:    0  time: 248.08 s
4598.86/1152.61	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4598.86/1152.64	c vivif2 --  cl tried   131304 cl shrink        0 lits rem          0 time: 0.12
4600.48/1153.01	c asymm  cl-useful: 0/933/2662 lits-rem:0 time: 1.48
4600.48/1153.02	c calculated reachability. Time: 0.00
4600.48/1153.02	c  N st   101   4213436       125      2662         0    131304     13310   2241199   no data   no data  --

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: 961)

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-3368827-1305404045/watcher-3368827-1305404045 -o /tmp/evaluation-result-3368827-1305404045/solver-3368827-1305404045 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368827-1305404045.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 5.87 7.54 7.84 5/315 18021
/proc/meminfo: memFree=15688304/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 411 0 0 0 0 0 0 0 18 0 4 0 730635163 52465664 352 33554432000 4194304 4650419 140733562070960 18446744073709551615 47289185429426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 12809 352 303 112 0 7774 0
[pid=18021/tid=18025] ppid=18017 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 730635164 52465664 352 33554432000 4194304 4650419 140733562070960 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 730635164 52465664 352 33554432000 4194304 4650419 140733562070960 18446744073709551615 47289185429426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 730635164 52465664 352 33554432000 4194304 4650419 140733562070960 18446744073709551615 47289185429420 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.336916 s]
/proc/loadavg: 5.87 7.54 7.84 5/315 18021
/proc/meminfo: memFree=15688304/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=285056 CPUtime=1.31 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 3685 0 0 0 130 1 0 0 18 0 4 0 730635163 291897344 2196 33554432000 4194304 4650419 140733562070960 18446744073709551615 4330612 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 71264 2196 391 112 0 66229 0
[pid=18021/tid=18025] ppid=18017 vsize=285056 CPUtime=0.31 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 727 0 0 0 31 0 0 0 18 0 4 0 730635164 291897344 2196 33554432000 4194304 4650419 140733562070960 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=285056 CPUtime=0.32 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 916 0 0 0 32 0 0 0 18 0 4 0 730635164 291897344 2196 33554432000 4194304 4650419 140733562070960 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=285056 CPUtime=0.32 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 713 0 0 0 32 0 0 0 18 0 4 0 730635164 291897344 2196 33554432000 4194304 4650419 140733562070960 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 285056

[startup+0.401139 s]
/proc/loadavg: 5.87 7.54 7.84 5/315 18021
/proc/meminfo: memFree=15688304/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=285224 CPUtime=1.57 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 4048 0 0 0 156 1 0 0 18 0 4 0 730635163 292069376 2320 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 71306 2320 391 112 0 66271 0
[pid=18021/tid=18025] ppid=18017 vsize=285224 CPUtime=0.38 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 927 0 0 0 38 0 0 0 18 0 4 0 730635164 292069376 2320 33554432000 4194304 4650419 140733562070960 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=285224 CPUtime=0.39 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 974 0 0 0 39 0 0 0 18 0 4 0 730635164 292069376 2320 33554432000 4194304 4650419 140733562070960 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=285224 CPUtime=0.39 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 766 0 0 0 39 0 0 0 18 0 4 0 730635164 292069376 2320 33554432000 4194304 4650419 140733562070960 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 285224

[startup+0.501121 s]
/proc/loadavg: 5.87 7.54 7.84 5/315 18021
/proc/meminfo: memFree=15688304/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=285396 CPUtime=1.97 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 4368 0 0 0 196 1 0 0 18 0 4 0 730635163 292245504 2640 33554432000 4194304 4650419 140733562070960 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 71349 2640 391 112 0 66314 0
[pid=18021/tid=18025] ppid=18017 vsize=285396 CPUtime=0.48 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 1012 0 0 0 48 0 0 0 18 0 4 0 730635164 292245504 2640 33554432000 4194304 4650419 140733562070960 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=285396 CPUtime=0.49 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 1059 0 0 0 49 0 0 0 18 0 4 0 730635164 292245504 2640 33554432000 4194304 4650419 140733562070960 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=285396 CPUtime=0.49 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 851 0 0 0 49 0 0 0 18 0 4 0 730635164 292245504 2640 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 285396

[startup+0.701084 s]
/proc/loadavg: 5.87 7.54 7.84 5/315 18021
/proc/meminfo: memFree=15688304/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=286104 CPUtime=2.76 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 5689 0 0 0 275 1 0 0 18 0 4 0 730635163 292970496 2772 33554432000 4194304 4650419 140733562070960 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 71526 2772 391 112 0 66491 0
[pid=18021/tid=18025] ppid=18017 vsize=286104 CPUtime=0.68 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 1361 0 0 0 68 0 0 0 18 0 4 0 730635164 292970496 2772 33554432000 4194304 4650419 140733562070960 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=286104 CPUtime=0.68 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 1387 0 0 0 68 0 0 0 18 0 4 0 730635164 292970496 2772 33554432000 4194304 4650419 140733562070960 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=286104 CPUtime=0.69 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 1164 0 0 0 69 0 0 0 18 0 4 0 730635164 292970496 2772 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 286104

[startup+1.50094 s]
/proc/loadavg: 6.12 7.56 7.85 10/323 18029
/proc/meminfo: memFree=15650920/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=287568 CPUtime=5.96 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 11499 0 0 0 593 3 0 0 20 0 4 0 730635163 294469632 6345 33554432000 4194304 4650419 140733562070960 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 71892 6345 393 112 0 66857 0
[pid=18021/tid=18025] ppid=18017 vsize=287568 CPUtime=1.46 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 3430 0 0 0 146 0 0 0 20 0 4 0 730635164 294469632 6345 33554432000 4194304 4650419 140733562070960 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=287568 CPUtime=1.48 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 2321 0 0 0 148 0 0 0 20 0 4 0 730635164 294469632 6345 33554432000 4194304 4650419 140733562070960 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=287568 CPUtime=1.48 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 1976 0 0 0 148 0 0 0 20 0 4 0 730635164 294469632 6345 33554432000 4194304 4650419 140733562070960 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287568

[startup+3.10064 s]
/proc/loadavg: 6.12 7.56 7.85 10/323 18029
/proc/meminfo: memFree=15609492/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=278692 CPUtime=12.34 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 18482 0 0 0 1230 4 0 0 25 0 4 0 730635163 285380608 11744 33554432000 4194304 4650419 140733562070960 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 69673 11744 393 112 0 64638 0
[pid=18021/tid=18025] ppid=18017 vsize=278692 CPUtime=3.06 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 4488 0 0 0 305 1 0 0 25 0 4 0 730635164 285380608 11744 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=278692 CPUtime=3.09 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 4114 0 0 0 308 1 0 0 25 0 4 0 730635164 285380608 11744 33554432000 4194304 4650419 140733562070960 18446744073709551615 4370671 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=278692 CPUtime=3.09 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 4749 0 0 0 308 1 0 0 25 0 4 0 730635164 285380608 11744 33554432000 4194304 4650419 140733562070960 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 278692

[startup+6.30104 s]
/proc/loadavg: 6.27 7.57 7.85 9/323 18029
/proc/meminfo: memFree=15573172/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=283012 CPUtime=25.11 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 27438 0 0 0 2504 7 0 0 25 0 4 0 730635163 289804288 16021 33554432000 4194304 4650419 140733562070960 18446744073709551615 4439636 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 70753 16021 393 112 0 65718 0
[pid=18021/tid=18025] ppid=18017 vsize=283012 CPUtime=6.22 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 7049 0 0 0 621 1 0 0 25 0 4 0 730635164 289804288 16021 33554432000 4194304 4650419 140733562070960 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=283012 CPUtime=6.28 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 7259 0 0 0 627 1 0 0 25 0 4 0 730635164 289804288 16021 33554432000 4194304 4650419 140733562070960 18446744073709551615 4438387 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=283012 CPUtime=6.28 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 6489 0 0 0 627 1 0 0 25 0 4 0 730635164 289804288 16021 33554432000 4194304 4650419 140733562070960 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 283012

[startup+12.7008 s]
/proc/loadavg: 6.41 7.58 7.85 10/323 18029
/proc/meminfo: memFree=15529532/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=284336 CPUtime=50.64 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 40712 0 0 0 5055 9 0 0 25 0 4 0 730635163 291160064 18474 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365313 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 71084 18474 393 112 0 66049 0
[pid=18021/tid=18025] ppid=18017 vsize=284336 CPUtime=12.56 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 10772 0 0 0 1254 2 0 0 25 0 4 0 730635164 291160064 18474 33554432000 4194304 4650419 140733562070960 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=284336 CPUtime=12.68 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 10764 0 0 0 1266 2 0 0 25 0 4 0 730635164 291160064 18474 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=284336 CPUtime=12.69 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 9855 0 0 0 1267 2 0 0 25 0 4 0 730635164 291160064 18474 33554432000 4194304 4650419 140733562070960 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 284336

[startup+25.5005 s]
/proc/loadavg: 6.72 7.61 7.86 10/323 18030
/proc/meminfo: memFree=15481304/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=304464 CPUtime=101.74 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 62786 0 0 0 10160 14 0 0 25 0 4 0 730635163 311771136 24376 33554432000 4194304 4650419 140733562070960 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 76116 24376 393 112 0 71081 0
[pid=18021/tid=18025] ppid=18017 vsize=304464 CPUtime=25.23 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 17995 0 0 0 2520 3 0 0 25 0 4 0 730635164 311771136 24381 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=304464 CPUtime=25.5 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 16566 0 0 0 2546 4 0 0 25 0 4 0 730635164 311771136 24381 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365634 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=304464 CPUtime=25.49 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 13812 0 0 0 2546 3 0 0 25 0 4 0 730635164 311771136 24381 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 304464

[startup+51.1007 s]
/proc/loadavg: 7.29 7.66 7.86 10/323 18030
/proc/meminfo: memFree=15437284/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=297716 CPUtime=203.86 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 95793 0 0 0 20360 26 0 0 25 0 4 0 730635163 304861184 31128 33554432000 4194304 4650419 140733562070960 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 74429 31128 393 112 0 69394 0
[pid=18021/tid=18025] ppid=18017 vsize=297716 CPUtime=50.57 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 27908 0 0 0 5051 6 0 0 25 0 4 0 730635164 304861184 31128 33554432000 4194304 4650419 140733562070960 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=297716 CPUtime=51.08 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 24502 0 0 0 5102 6 0 0 25 0 4 0 730635164 304861184 31128 33554432000 4194304 4650419 140733562070960 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=297716 CPUtime=51.09 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 19144 0 0 0 5103 6 0 0 25 0 4 0 730635164 304861184 31128 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 297716

[startup+102.3 s]
/proc/loadavg: 7.81 7.74 7.88 10/323 18032
/proc/meminfo: memFree=15368680/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=313000 CPUtime=408.16 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 150415 0 0 0 40772 44 0 0 25 0 4 0 730635163 320512000 41473 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365453 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 78250 41473 393 112 0 73215 0
[pid=18021/tid=18025] ppid=18017 vsize=313000 CPUtime=101.27 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 44901 0 0 0 10115 12 0 0 25 0 4 0 730635164 320512000 41473 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=313000 CPUtime=102.29 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 37756 0 0 0 10217 12 0 0 25 0 4 0 730635164 320512000 41473 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=313000 CPUtime=102.29 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 27151 0 0 0 10221 8 0 0 25 0 4 0 730635164 320512000 41473 33554432000 4194304 4650419 140733562070960 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.16
Current children cumulated vsize (KiB) 313000

[startup+162.301 s]

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

[pid=18021] ppid=18017 vsize=528512 CPUtime=2562.79 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 464279 0 0 0 256094 185 0 0 25 0 4 0 730635163 541196288 92252 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 132128 92252 393 112 0 127093 0
[pid=18021/tid=18025] ppid=18017 vsize=528512 CPUtime=635.85 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 135525 0 0 0 63535 50 0 0 25 0 4 0 730635164 541196288 92252 33554432000 4194304 4650419 140733562070960 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=528512 CPUtime=642.3 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 116068 0 0 0 64181 49 0 0 25 0 4 0 730635164 541196288 92252 33554432000 4194304 4650419 140733562070960 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=528512 CPUtime=642.3 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 77500 0 0 0 64197 33 0 0 25 0 4 0 730635164 541196288 92252 33554432000 4194304 4650419 140733562070960 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2562.79
Current children cumulated vsize (KiB) 528512

[startup+702.3 s]
/proc/loadavg: 8.14 8.06 7.97 10/323 18048
/proc/meminfo: memFree=15000804/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=501668 CPUtime=2802.19 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 488768 0 0 0 280019 200 0 0 25 0 4 0 730635163 513708032 98826 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365210 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 125417 98826 393 112 0 120382 0
[pid=18021/tid=18025] ppid=18017 vsize=501668 CPUtime=695.24 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 143660 0 0 0 69469 55 0 0 25 0 4 0 730635164 513708032 98826 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=501668 CPUtime=702.3 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 118905 0 0 0 70179 51 0 0 25 0 4 0 730635164 513708032 98826 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=501668 CPUtime=702.3 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 84017 0 0 0 70193 37 0 0 25 0 4 0 730635164 513708032 98826 33554432000 4194304 4650419 140733562070960 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.19
Current children cumulated vsize (KiB) 501668

[startup+762.3 s]
/proc/loadavg: 8.08 8.06 7.97 10/323 18049
/proc/meminfo: memFree=15000520/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=516884 CPUtime=3041.6 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 521323 0 0 0 303945 215 0 0 25 0 4 0 730635163 529289216 91446 33554432000 4194304 4650419 140733562070960 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 129221 91446 393 112 0 124186 0
[pid=18021/tid=18025] ppid=18017 vsize=516884 CPUtime=754.65 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 152744 0 0 0 75405 60 0 0 25 0 4 0 730635164 529289216 91446 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=516884 CPUtime=762.3 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 127396 0 0 0 76176 54 0 0 25 0 4 0 730635164 529289216 91446 33554432000 4194304 4650419 140733562070960 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=516884 CPUtime=762.3 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 89862 0 0 0 76189 41 0 0 25 0 4 0 730635164 529289216 91446 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3041.6
Current children cumulated vsize (KiB) 516884

[startup+822.301 s]
/proc/loadavg: 8.11 8.07 7.98 9/323 18051
/proc/meminfo: memFree=14925596/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=529292 CPUtime=3281.01 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 543761 0 0 0 327873 228 0 0 25 0 4 0 730635163 541995008 104052 33554432000 4194304 4650419 140733562070960 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 132323 104052 393 112 0 127288 0
[pid=18021/tid=18025] ppid=18017 vsize=529292 CPUtime=814.04 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 159197 0 0 0 81341 63 0 0 25 0 4 0 730635164 541995008 104052 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=529292 CPUtime=822.31 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 132524 0 0 0 82174 57 0 0 25 0 4 0 730635164 541995008 104052 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=529292 CPUtime=822.31 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 93680 0 0 0 82187 44 0 0 25 0 4 0 730635164 541995008 104052 33554432000 4194304 4650419 140733562070960 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3281.01
Current children cumulated vsize (KiB) 529292

[startup+882.301 s]
/proc/loadavg: 8.10 8.07 7.99 10/323 18053
/proc/meminfo: memFree=14970716/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=514840 CPUtime=3520.42 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 561113 0 0 0 351803 239 0 0 25 0 4 0 730635163 527196160 98579 33554432000 4194304 4650419 140733562070960 18446744073709551615 4313071 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 128710 98579 393 112 0 123675 0
[pid=18021/tid=18025] ppid=18017 vsize=514840 CPUtime=873.45 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 163219 0 0 0 87279 66 0 0 25 0 4 0 730635164 527196160 98579 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=514840 CPUtime=882.3 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 134921 0 0 0 88172 58 0 0 25 0 4 0 730635164 527196160 98579 33554432000 4194304 4650419 140733562070960 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=514840 CPUtime=882.31 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 97105 0 0 0 88185 46 0 0 25 0 4 0 730635164 527196160 98579 33554432000 4194304 4650419 140733562070960 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3520.42
Current children cumulated vsize (KiB) 514840

[startup+942.301 s]
/proc/loadavg: 8.03 8.06 7.99 10/323 18054
/proc/meminfo: memFree=14949860/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=594332 CPUtime=3759.82 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 583324 0 0 0 375732 250 0 0 25 0 4 0 730635163 608595968 103521 33554432000 4194304 4650419 140733562070960 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 148583 103521 393 112 0 143548 0
[pid=18021/tid=18025] ppid=18017 vsize=594332 CPUtime=932.85 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 169869 0 0 0 93215 70 0 0 25 0 4 0 730635164 608595968 103521 33554432000 4194304 4650419 140733562070960 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=594332 CPUtime=942.31 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 142004 0 0 0 94170 61 0 0 25 0 4 0 730635164 608595968 103521 33554432000 4194304 4650419 140733562070960 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=594332 CPUtime=942.31 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 101309 0 0 0 94182 49 0 0 25 0 4 0 730635164 608595968 103521 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3759.82
Current children cumulated vsize (KiB) 594332

[startup+1002.3 s]
/proc/loadavg: 8.13 8.07 8.00 10/323 18056
/proc/meminfo: memFree=14923420/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=539872 CPUtime=3999.23 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 599322 0 0 0 399662 261 0 0 25 0 4 0 730635163 552828928 103957 33554432000 4194304 4650419 140733562070960 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 134968 103957 393 112 0 129933 0
[pid=18021/tid=18025] ppid=18017 vsize=539872 CPUtime=992.24 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 174881 0 0 0 99150 74 0 0 25 0 4 0 730635164 552828928 103957 33554432000 4194304 4650419 140733562070960 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=539872 CPUtime=1002.33 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 143773 0 0 0 100171 62 0 0 25 0 4 0 730635164 552828928 103957 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=539872 CPUtime=1002.32 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 103455 0 0 0 100181 51 0 0 25 0 4 0 730635164 552828928 103957 33554432000 4194304 4650419 140733562070960 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3999.23
Current children cumulated vsize (KiB) 539872

[startup+1062.3 s]
/proc/loadavg: 8.05 8.06 8.00 9/323 18057
/proc/meminfo: memFree=14885192/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=619424 CPUtime=4238.62 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 618952 0 0 0 423592 270 0 0 25 0 4 0 730635163 634290176 110080 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 154856 110080 393 112 0 149821 0
[pid=18021/tid=18025] ppid=18017 vsize=619424 CPUtime=1051.62 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 179236 0 0 0 105086 76 0 0 25 0 4 0 730635164 634290176 110080 33554432000 4194304 4650419 140733562070960 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=619424 CPUtime=1062.32 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 147418 0 0 0 106168 64 0 0 25 0 4 0 730635164 634290176 110080 33554432000 4194304 4650419 140733562070960 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=619424 CPUtime=1062.32 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 108034 0 0 0 106180 52 0 0 25 0 4 0 730635164 634290176 110080 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4238.62
Current children cumulated vsize (KiB) 619424

[startup+1122.31 s]
/proc/loadavg: 8.12 8.08 8.00 10/323 18059
/proc/meminfo: memFree=14819820/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=685116 CPUtime=4478.03 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 635976 0 0 0 447523 280 0 0 25 0 4 0 730635163 701558784 118760 33554432000 4194304 4650419 140733562070960 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 171279 118760 393 112 0 166244 0
[pid=18021/tid=18025] ppid=18017 vsize=685116 CPUtime=1111.01 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 185881 0 0 0 111020 81 0 0 25 0 4 0 730635164 701558784 118760 33554432000 4194304 4650419 140733562070960 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=685116 CPUtime=1122.33 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 150689 0 0 0 112167 66 0 0 25 0 4 0 730635164 701558784 118760 33554432000 4194304 4650419 140733562070960 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=685116 CPUtime=1122.33 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 108358 0 0 0 112181 52 0 0 25 0 4 0 730635164 701558784 118760 33554432000 4194304 4650419 140733562070960 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4478.03
Current children cumulated vsize (KiB) 685116

[startup+1182.3 s]
/proc/loadavg: 8.14 8.09 8.01 10/323 18061
/proc/meminfo: memFree=14811084/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=671192 CPUtime=4717.37 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 652806 0 0 0 471447 290 0 0 25 0 4 0 730635163 687300608 122500 33554432000 4194304 4650419 140733562070960 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 167798 122500 393 112 0 162763 0
[pid=18021/tid=18025] ppid=18017 vsize=671192 CPUtime=1170.36 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 192096 0 0 0 116953 83 0 0 25 0 4 0 730635164 687300608 122500 33554432000 4194304 4650419 140733562070960 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=671192 CPUtime=1182.31 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 151795 0 0 0 118164 67 0 0 25 0 4 0 730635164 687300608 122500 33554432000 4194304 4650419 140733562070960 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=671192 CPUtime=1182.32 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 113258 0 0 0 118177 55 0 0 25 0 4 0 730635164 687300608 122500 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4717.37
Current children cumulated vsize (KiB) 671192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.16 8.10 8.01 10/323 18061
/proc/meminfo: memFree=14799048/32950928 swapFree=67085488/67111528
[pid=18021] ppid=18017 vsize=671192 CPUtime=4800.36 cores=1,3,5,7
/proc/18021/stat : 18021 (strangenight1-m) R 18017 18021 17424 0 -1 4202496 654846 0 0 0 479744 292 0 0 25 0 4 0 730635163 687300608 124540 33554432000 4194304 4650419 140733562070960 18446744073709551615 4330361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18021/statm: 167798 124540 393 112 0 162763 0
[pid=18021/tid=18025] ppid=18017 vsize=671192 CPUtime=1190.93 cores=1,3,5,7
/proc/18021/task/18025/stat : 18025 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 192284 0 0 0 119010 83 0 0 25 0 4 0 730635164 687300608 124540 33554432000 4194304 4650419 140733562070960 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18021/tid=18026] ppid=18017 vsize=671192 CPUtime=1203.13 cores=1,3,5,7
/proc/18021/task/18026/stat : 18026 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 151795 0 0 0 120246 67 0 0 25 0 4 0 730635164 687300608 124540 33554432000 4194304 4650419 140733562070960 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18021/tid=18027] ppid=18017 vsize=671192 CPUtime=1203.13 cores=1,3,5,7
/proc/18021/task/18027/stat : 18027 (strangenight1-m) R 18017 18021 17424 0 -1 4202560 113983 0 0 0 120258 55 0 0 25 0 4 0 730635164 687300608 124540 33554432000 4194304 4650419 140733562070960 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 671192

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.14
CPU time (s): 4800.43
CPU user time (s): 4797.49
CPU system time (s): 2.94455
CPU usage (%): 398.991
Max. virtual memory (cumulated for all children) (KiB): 785528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.49
system time used= 2.94455
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 654846
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= 482
involuntary context switches= 36771

runsolver used 3.10053 second user time and 9.10661 second system time

The end

Launcher Data 

Begin job on node114 at 2011-05-14 22:14:05
IDJOB=3368827
IDBENCH=82836
IDSOLVER=1846
FILE ID=node114/3368827-1305404045
RUNJOBID= node114-1305404045-18003
PBS_JOBID= 13324473
Free space on /tmp= 72980 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v125-c2662-S1061710238-001.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368827-1305404045/watcher-3368827-1305404045 -o /tmp/evaluation-result-3368827-1305404045/solver-3368827-1305404045 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368827-1305404045.cnf

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

MD5SUM BENCH= 23ebfbdf095807765a162fcb1d02f57a
RANDOM SEED=1289234492

node114.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.848
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.69
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.848
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.848
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.74
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.848
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.73
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.848
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	: 5332.75
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.848
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.75
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.848
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.74
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.848
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:     32950928 kB
MemFree:      15688872 kB
Buffers:        275692 kB
Cached:        6224212 kB
SwapCached:         96 kB
Active:       11889832 kB
Inactive:      4963108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15688872 kB
SwapTotal:    67111528 kB
SwapFree:     67085488 kB
Dirty:           12100 kB
Writeback:           0 kB
AnonPages:    10352680 kB
Mapped:          26300 kB
Slab:           307468 kB
PageTables:      36544 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52430368 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= 72968 MiB
End job on node114 at 2011-05-14 22:34:10