Trace number 3175218

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? (TO) 4800.26 1201.74

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175218-1304099980.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	c -- header says num clauses:        2662
0.00/0.00	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.00	c -- vars added        125
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.00/0.01	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
3.17/0.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
3.17/0.83	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.83	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.83	c calculated reachability. Time: 0.00
3.17/0.83	c Calc default polars -  time:   0.00 s pos:      61 undec:       2 neg:      62
3.17/0.83	c =========================================================================================
3.17/0.83	c types(t): F = full restart, N = normal restart
3.17/0.83	c types(t): S = simplification begin/end, E = solution found
3.17/0.83	c restart types(rt): st = static, dy = dynamic
3.17/0.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.83	c  B st     0         0       125      2662         0         0     13310         0   no data   no data  --
3.17/0.83	c Decided on static restart strategy
3.17/0.83	c  N st     8      4916       125      2662         0      4651     13310    121915   no data   no data  --
3.17/0.83	c  N st    10     11299       125      2662         0      4304     13310     88460   no data   no data  --
3.17/0.83	c  N st    11     17042       125      2662         0      9702     13310    228411   no data   no data  --
3.57/0.93	c  F st    12     25001       125      2662         0     11916     13310    283080   no data   no data  --
3.57/0.93	c  N st    12     25001       125      2662         0     11916     13310    283080   no data   no data  --
4.39/1.13	c Decided on static restart strategy
4.39/1.13	c  N st    18     30000       125      2662         0     10218     13310    226433   no data   no data  --
4.39/1.13	c  S st    18     30000       125      2662         0     10218     13310    226433   no data   no data  --
4.39/1.13	c  S st    18     30505       125      2662         0     10710     13310    239168   no data   no data  --
4.39/1.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.39/1.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.39/1.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.39/1.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.39/1.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.39/1.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.39/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.37 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.37/2.11	c  N st    20     37618       125      2662         0      8567     13310    164063   no data   no data  --
9.56/2.41	c  N st    21     44017       125      2662         0     14620     13310    326653   no data   no data  --
9.96/2.50	c  S st    22     45758       125      2662         0     16259     13310    370251   no data   no data  --
9.96/2.55	c  S st    22     46262       125      2662         0     16752     13310    383004   no data   no data  --
9.96/2.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.96/2.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.96/2.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
9.96/2.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.15/3.84	c lits-rem:      3384  cl-subs:     1544  v-elim:      0  v-fix:    0  time:  5.10 s
15.15/3.84	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
15.15/3.85	c vivif2 --  cl tried    15208 cl shrink        0 lits rem          0 time: 0.01
15.55/3.91	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.27
15.55/3.91	c calculated reachability. Time: 0.00
15.55/3.91	c  N st    22     46262       125      2662         0     15208     13310    334655   no data   no data  --
18.35/4.67	c  N st    23     60659       125      2662         0     10935     13310    195771   no data   no data  --
20.35/5.19	c  N st    24     69393       125      2662         0     19024     13310    402459   no data   no data  --
20.35/5.19	c  S st    24     69393       125      2662         0     19024     13310    402459   no data   no data  --
20.74/5.24	c  S st    24     69894       125      2662         0     19509     13310    414950   no data   no data  --
20.74/5.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.74/5.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.74/5.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
20.74/5.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.74/5.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.74/5.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
20.74/5.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.76/6.79	c lits-rem:      4045  cl-subs:     2280  v-elim:      0  v-fix:    0  time:  6.12 s
26.76/6.79	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
26.76/6.79	c vivif2 --  cl tried    17229 cl shrink        0 lits rem          0 time: 0.02
27.14/6.86	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.30
27.14/6.86	c calculated reachability. Time: 0.00
27.14/6.86	c  N st    24     69894       125      2662         0     17229     13310    351685   no data   no data  --
31.53/7.92	c  F st    25     87500       125      2662         0     12381     13310    212934   no data   no data  --
31.53/7.92	c  N st    25     87500       125      2662         0     12381     13310    212934   no data   no data  --
32.73/8.22	c Decided on static restart strategy
33.53/8.41	c  N st    32     95538       125      2662         0     20006     13310    411637   no data   no data  --
35.92/9.07	c  N st    34    104841       125      2662         0     16566     13310    312039   no data   no data  --
35.92/9.07	c  S st    34    104841       125      2662         0     16566     13310    312039   no data   no data  --
36.32/9.12	c  S st    34    105341       125      2662         0     17057     13310    325210   no data   no data  --
36.32/9.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.32/9.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.32/9.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
36.32/9.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.32/9.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.32/9.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
36.32/9.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
40.71/10.28	c lits-rem:      2066  cl-subs:      994  v-elim:      0  v-fix:    0  time:  4.58 s
40.71/10.28	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
40.71/10.28	c vivif2 --  cl tried    16063 cl shrink        0 lits rem          0 time: 0.01
41.12/10.35	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.28
41.12/10.35	c calculated reachability. Time: 0.00
41.12/10.35	c  N st    34    105341       125      2662         0     16063     13310    297607   no data   no data  --
43.94/11.10	c  N st    35    114939       125      2662         0     25069     13310    523158   no data   no data  --
48.32/12.14	c  N st    36    129336       125      2662         0     25376     13310    525698   no data   no data  --
54.70/13.79	c  N st    37    150932       125      2662         0     16606     13310    264678   no data   no data  --
56.70/14.26	c  S st    38    158011       125      2662         0     23226     13310    436033   no data   no data  --
57.11/14.31	c  S st    38    158518       125      2662         0     23721     13310    448563   no data   no data  --
57.11/14.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
57.11/14.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.11/14.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
57.11/14.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.11/14.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.11/14.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
57.11/14.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
63.48/15.91	c lits-rem:      3378  cl-subs:     1930  v-elim:      0  v-fix:    0  time:  6.28 s
63.48/15.91	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
63.48/15.91	c vivif2 --  cl tried    21791 cl shrink        0 lits rem          0 time: 0.02
63.88/16.02	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.44
63.88/16.02	c calculated reachability. Time: 0.00
63.88/16.02	c  N st    38    158518       125      2662         0     21791     13310    395653   no data   no data  --
80.66/20.26	c  N st    39    207106       125      2662         0     34427     13310    692512   no data   no data  --
90.65/22.71	c  N st    40    237778       125      2662         0     26794     13310    479688   no data   no data  --
90.65/22.71	c  S st    40    237778       125      2662         0     26794     13310    479688   no data   no data  --
90.65/22.77	c  S st    40    238284       125      2662         0     27284     13310    493042   no data   no data  --
90.65/22.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
90.65/22.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
90.65/22.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
90.65/22.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
90.65/22.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.65/22.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
90.65/22.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
97.44/24.45	c lits-rem:      3739  cl-subs:     2059  v-elim:      0  v-fix:    0  time:  6.61 s
97.44/24.45	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
97.44/24.45	c vivif2 --  cl tried    25225 cl shrink        0 lits rem          0 time: 0.02
97.84/24.57	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.45
97.84/24.57	c calculated reachability. Time: 0.00
97.84/24.57	c  N st    40    238284       125      2662         0     25225     13310    438550   no data   no data  --
123.81/31.06	c  F st    41    306252       125      2662         0     27003     13310    441036   no data   no data  --
123.81/31.06	c  N st    41    306252       125      2662         0     27003     13310    441036   no data   no data  --
125.81/31.53	c Decided on static restart strategy
135.79/34.09	c  N st    51    334556       125      2662         0     31202     13310    537082   no data   no data  --
147.38/36.94	c  N st    53    357426       125      2662         0     29269     13310    471542   no data   no data  --
147.38/36.94	c  S st    53    357426       125      2662         0     29269     13310    471542   no data   no data  --
147.78/37.01	c  S st    53    357933       125      2662         0     29759     13310    484150   no data   no data  --
147.78/37.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
147.78/37.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
147.78/37.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
147.78/37.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
147.78/37.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.78/37.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
147.78/37.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
153.78/38.52	c lits-rem:      2595  cl-subs:     1502  v-elim:      0  v-fix:    0  time:  5.94 s
153.78/38.52	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
153.78/38.53	c vivif2 --  cl tried    28257 cl shrink        0 lits rem          0 time: 0.02
154.19/38.66	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.53
154.19/38.66	c calculated reachability. Time: 0.00
154.19/38.66	c  N st    53    357933       125      2662         0     28257     13310    441403   no data   no data  --
169.35/42.46	c  N st    54    390326       125      2662         0     34247     13310    585620   no data   no data  --
190.52/47.72	c  N st    55    438914       125      2662         0     28297     13310    406963   no data   no data  --
222.08/55.61	c  N st    56    511797       125      2662         0     41185     13310    705266   no data   no data  --
234.06/58.65	c  N st    57    536899       125      2662         0     35606     13310    543910   no data   no data  --
234.06/58.65	c  S st    57    536899       125      2662         0     35606     13310    543910   no data   no data  --
234.46/58.73	c  S st    57    537402       125      2662         0     36096     13310    556718   no data   no data  --
234.46/58.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
234.46/58.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
234.46/58.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
234.46/58.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
234.46/58.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
234.46/58.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
234.46/58.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
241.66/60.58	c lits-rem:      2422  cl-subs:     1725  v-elim:      0  v-fix:    0  time:  7.25 s
241.66/60.58	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
241.66/60.58	c vivif2 --  cl tried    34371 cl shrink        0 lits rem          0 time: 0.02
242.44/60.74	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.63
242.44/60.74	c calculated reachability. Time: 0.00
242.44/60.74	c  N st    57    537402       125      2662         0     34371     13310    514078   no data   no data  --
325.14/81.49	c  N st    58    701388       125      2662         0     62150     13310   1183297   no data   no data  --
381.84/95.68	c  N st    59    806103       125      2662         0     56428     13310    981469   no data   no data  --
381.84/95.68	c  S st    59    806103       125      2662         0     56428     13310    981469   no data   no data  --
382.66/95.84	c  S st    59    806608       125      2662         0     56918     13310    994358   no data   no data  --
382.66/95.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
382.66/95.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
382.66/95.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
382.66/95.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
382.66/95.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
382.66/95.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
382.66/95.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
405.41/101.50	c lits-rem:      1140  cl-subs:     5485  v-elim:      0  v-fix:    0  time: 22.36 s
405.41/101.50	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
405.41/101.51	c vivif2 --  cl tried    51433 cl shrink        0 lits rem          0 time: 0.04
406.21/101.77	c asymm  cl-useful: 0/2212/2662 lits-rem:0 time: 1.04
406.21/101.77	c calculated reachability. Time: 0.00
406.21/101.77	c  N st    59    806608       125      2662         0     51433     13310    870668   no data   no data  --
556.00/139.29	c  F st    60   1071875       125      2662         0     67157     13310   1181021   no data   no data  --
556.00/139.29	c  N st    60   1071875       125      2662         0     67157     13310   1181021   no data   no data  --
561.19/140.55	c Decided on static restart strategy
577.57/144.62	c  N st    70   1100181       125      2662         0     51782     13310    786913   no data   no data  --
605.54/151.68	c  N st    72   1136174       125      2662         0     85517     13310   1678882   no data   no data  --
626.71/156.94	c  N st    73   1168569       125      2662         0     72526     13310   1282531   no data   no data  --
655.46/164.14	c  N st    74   1209912       125      2662         0     67291     13310   1132072   no data   no data  --
655.46/164.14	c  S st    74   1209912       125      2662         0     67291     13310   1132072   no data   no data  --
656.26/164.33	c  S st    74   1210417       125      2662         0     67784     13310   1145543   no data   no data  --
656.26/164.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
656.26/164.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
656.26/164.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.11
656.66/164.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
656.66/164.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
656.66/164.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
656.66/164.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
685.03/171.50	c lits-rem:      1429  cl-subs:     5859  v-elim:      0  v-fix:    0  time: 28.34 s
685.03/171.50	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
685.03/171.51	c vivif2 --  cl tried    61925 cl shrink        0 lits rem          0 time: 0.05
686.22/171.80	c asymm  cl-useful: 0/1790/2662 lits-rem:0 time: 1.15
686.22/171.80	c calculated reachability. Time: 0.00
686.22/171.80	c  N st    74   1210417       125      2662         0     61925     13310   1003763   no data   no data  --
752.93/188.50	c  N st    75   1283299       125      2662         0     85387     13310   1610723   no data   no data  --
838.01/209.85	c  N st    76   1392623       125      2662         0     94571     13310   1809049   no data   no data  --
981.01/245.66	c  N st    77   1556607       125      2662         0     51796     13310    639254   no data   no data  --
1105.25/276.79	c  N st    78   1710418       125      2662         0     91718     13310   1654883   no data   no data  --
1105.25/276.79	c  S st    78   1710418       125      2662         0     91718     13310   1654883   no data   no data  --
1106.45/277.06	c  S st    78   1710918       125      2662         0     92201     13310   1667672   no data   no data  --
1106.45/277.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1106.45/277.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1106.84/277.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
1106.84/277.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1106.84/277.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1106.84/277.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1106.84/277.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1204.33/301.59	c lits-rem:      7618  cl-subs:     9818  v-elim:      0  v-fix:    0  time: 97.50 s
1204.33/301.59	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1204.70/301.61	c vivif2 --  cl tried    82383 cl shrink        0 lits rem          0 time: 0.08
1205.90/301.96	c asymm  cl-useful: 0/872/2662 lits-rem:0 time: 1.41
1205.90/301.96	c calculated reachability. Time: 0.00
1205.90/301.96	c  N st    78   1710918       125      2662         0     82383     13310   1418422   no data   no data  --
1567.42/392.46	c  N st    79   2079883       125      2662         0     93994     13310   1614036   no data   no data  --
1691.66/423.59	c  N st    80   2210919       125      2662         0     97849     13310   1685287   no data   no data  --
1691.66/423.59	c  S st    80   2210919       125      2662         0     97849     13310   1685287   no data   no data  --
1693.24/423.91	c  S st    80   2211422       125      2662         0     98345     13310   1698059   no data   no data  --
1693.24/423.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1693.24/423.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1693.24/423.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1693.64/424.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1693.64/424.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1693.64/424.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1693.64/424.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1788.73/447.81	c lits-rem:      7001  cl-subs:     9527  v-elim:      0  v-fix:    0  time: 94.99 s
1788.73/447.81	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1788.73/447.83	c vivif2 --  cl tried    88818 cl shrink        0 lits rem          0 time: 0.08
1790.31/448.29	c asymm  cl-useful: 0/1204/2662 lits-rem:0 time: 1.85
1790.31/448.29	c calculated reachability. Time: 0.00
1790.31/448.29	c  N st    80   2211422       125      2662         0     88818     13310   1461303   no data   no data  --
2296.42/574.91	c  N st    81   2711422       125      2662         0    111665     13310   1965297   no data   no data  --
2296.42/574.91	c  S st    81   2711422       125      2662         0    111665     13310   1965297   no data   no data  --
2297.62/575.28	c  S st    81   2711925       125      2662         0    112157     13310   1978001   no data   no data  --
2297.62/575.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2297.62/575.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2298.03/575.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.21
2298.43/575.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2298.43/575.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2298.43/575.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2298.43/575.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2445.01/612.10	c lits-rem:      7520  cl-subs:    11623  v-elim:      0  v-fix:    0  time: 146.51 s
2445.01/612.10	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2445.01/612.12	c vivif2 --  cl tried   100534 cl shrink        0 lits rem          0 time: 0.10
2447.01/612.61	c asymm  cl-useful: 0/1036/2662 lits-rem:0 time: 1.97
2447.01/612.62	c calculated reachability. Time: 0.00
2447.01/612.62	c  N st    81   2711925       125      2662         0    100534     13310   1699559   no data   no data  --
3010.26/753.61	c  N st    82   3211925       125      2662         0     77793     13310    980634   no data   no data  --
3010.26/753.61	c  S st    82   3211925       125      2662         0     77793     13310    980634   no data   no data  --
3011.03/753.85	c  S st    82   3212427       125      2662         0     78287     13310    993814   no data   no data  --
3011.03/753.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3011.03/753.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3011.03/753.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
3011.43/753.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3011.43/753.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3011.43/753.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3011.43/753.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3029.81/758.60	c lits-rem:       418  cl-subs:     1564  v-elim:      0  v-fix:    0  time: 18.69 s
3029.81/758.60	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3030.21/758.61	c vivif2 --  cl tried    76723 cl shrink        0 lits rem          0 time: 0.05
3031.41/758.91	c asymm  cl-useful: 0/1573/2662 lits-rem:0 time: 1.20
3031.41/758.91	c calculated reachability. Time: 0.00
3031.41/758.91	c  N st    82   3212427       125      2662         0     76723     13310    958648   no data   no data  --
3628.59/908.49	c  N st    83   3712427       125      2662         0     87037     13310   1131665   no data   no data  --
3628.59/908.49	c  S st    83   3712427       125      2662         0     87037     13310   1131665   no data   no data  --
3629.81/908.74	c  S st    83   3712932       125      2662         0     87525     13310   1144696   no data   no data  --
3629.81/908.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3629.81/908.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3629.81/908.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3630.19/908.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3630.19/908.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3630.19/908.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3630.19/908.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3654.55/914.98	c lits-rem:       723  cl-subs:     2545  v-elim:      0  v-fix:    0  time: 24.57 s
3654.55/914.98	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3654.55/914.99	c vivif2 --  cl tried    84980 cl shrink        0 lits rem          0 time: 0.06
3655.78/915.29	c asymm  cl-useful: 0/1089/2662 lits-rem:0 time: 1.19
3655.78/915.29	c calculated reachability. Time: 0.00
3655.78/915.29	c  N st    83   3712932       125      2662         0     84980     13310   1088284   no data   no data  --
3702.09/926.85	c  F st    84   3751562       125      2662         0    120825     13310   2041683   no data   no data  --
3702.09/926.85	c  N st    84   3751562       125      2662         0    120825     13310   2041683   no data   no data  --
3712.08/929.30	c Decided on static restart strategy
3745.63/937.73	c  N st    94   3779863       125      2662         0    147365     13310   2746990   no data   no data  --
3792.39/949.46	c  N st    96   3815856       125      2662         0    102121     13310   1502770   no data   no data  --
3838.31/960.92	c  N st    97   3848249       125      2662         0    132378     13310   2293364   no data   no data  --
3918.60/981.06	c  N st    98   3896838       125      2662         0     97792     13310   1406164   no data   no data  --
4012.87/1004.61	c  N st    99   3969721       125      2662         0     84629     13310   1024405   no data   no data  --
4165.07/1042.77	c  N st   100   4079044       125      2662         0    104574     13310   1553580   no data   no data  --
4348.01/1088.50	c  N st   101   4212934       125      2662         0    146199     13310   2615127   no data   no data  --
4348.01/1088.50	c  S st   101   4212934       125      2662         0    146199     13310   2615127   no data   no data  --
4350.03/1089.02	c  S st   101   4213436       125      2662         0    146681     13310   2627833   no data   no data  --
4350.03/1089.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4350.03/1089.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4350.42/1089.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.31
4350.42/1089.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4350.42/1089.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4350.42/1089.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4350.42/1089.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4593.68/1150.06	c lits-rem:     10389  cl-subs:    15377  v-elim:      0  v-fix:    0  time: 243.08 s
4593.68/1150.06	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4593.68/1150.09	c vivif2 --  cl tried   131304 cl shrink        0 lits rem          0 time: 0.12
4595.28/1150.46	c asymm  cl-useful: 0/933/2662 lits-rem:0 time: 1.48
4595.28/1150.47	c calculated reachability. Time: 0.00
4595.28/1150.47	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: 935)

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

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

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: 8.17 8.08 8.02 6/180 30990
/proc/meminfo: memFree=30797800/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 418 0 0 0 0 0 0 0 25 0 4 0 521595956 52465664 357 33554432000 4194304 4650419 140734122721120 18446744073709551615 228244348859 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 12809 357 306 112 0 7774 0
[pid=30990/tid=30991] ppid=30988 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521595957 52465664 357 33554432000 4194304 4650419 140734122721120 18446744073709551615 47930882217904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521595957 52465664 357 33554432000 4194304 4650419 140734122721120 18446744073709551615 228239395926 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521595957 52465664 357 33554432000 4194304 4650419 140734122721120 18446744073709551615 228239395926 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.108214 s]
/proc/loadavg: 8.17 8.08 8.02 6/180 30990
/proc/meminfo: memFree=30797800/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=282780 CPUtime=0.4 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 1919 0 0 0 40 0 0 0 18 0 4 0 521595956 289566720 1766 33554432000 4194304 4650419 140734122721120 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 70695 1766 389 112 0 65660 0
[pid=30990/tid=30991] ppid=30988 vsize=282780 CPUtime=0.1 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 401 0 0 0 10 0 0 0 25 0 4 0 521595957 289566720 1766 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=282780 CPUtime=0.1 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 424 0 0 0 10 0 0 0 18 0 4 0 521595957 289566720 1766 33554432000 4194304 4650419 140734122721120 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=282780 CPUtime=0.1 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 277 0 0 0 10 0 0 0 18 0 4 0 521595957 289566720 1766 33554432000 4194304 4650419 140734122721120 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282780

[startup+0.201198 s]
/proc/loadavg: 8.17 8.08 8.02 6/180 30990
/proc/meminfo: memFree=30797800/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=284116 CPUtime=0.77 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 2765 0 0 0 77 0 0 0 18 0 4 0 521595956 290934784 1985 33554432000 4194304 4650419 140734122721120 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 71029 1985 391 112 0 65994 0
[pid=30990/tid=30991] ppid=30988 vsize=284116 CPUtime=0.19 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 613 0 0 0 19 0 0 0 25 0 4 0 521595957 290934784 1985 33554432000 4194304 4650419 140734122721120 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=284116 CPUtime=0.19 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 638 0 0 0 19 0 0 0 18 0 4 0 521595957 290934784 1985 33554432000 4194304 4650419 140734122721120 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=284116 CPUtime=0.19 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 478 0 0 0 19 0 0 0 18 0 4 0 521595957 290934784 1985 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284116

[startup+0.30118 s]
/proc/loadavg: 8.17 8.08 8.02 6/180 30990
/proc/meminfo: memFree=30797800/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=284116 CPUtime=1.17 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 3172 0 0 0 117 0 0 0 18 0 4 0 521595956 290934784 2392 33554432000 4194304 4650419 140734122721120 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 71029 2392 391 112 0 65994 0
[pid=30990/tid=30991] ppid=30988 vsize=284116 CPUtime=0.29 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 711 0 0 0 29 0 0 0 25 0 4 0 521595957 290934784 2392 33554432000 4194304 4650419 140734122721120 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=284116 CPUtime=0.29 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 731 0 0 0 29 0 0 0 18 0 4 0 521595957 290934784 2392 33554432000 4194304 4650419 140734122721120 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=284116 CPUtime=0.29 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 594 0 0 0 29 0 0 0 18 0 4 0 521595957 290934784 2392 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284116

[startup+0.70111 s]
/proc/loadavg: 8.17 8.08 8.02 6/180 30990
/proc/meminfo: memFree=30797800/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=285716 CPUtime=2.77 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 5654 0 0 0 277 0 0 0 18 0 4 0 521595956 292573184 2734 33554432000 4194304 4650419 140734122721120 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 71429 2734 391 112 0 66394 0
[pid=30990/tid=30991] ppid=30988 vsize=285716 CPUtime=0.69 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 1388 0 0 0 69 0 0 0 25 0 4 0 521595957 292573184 2734 33554432000 4194304 4650419 140734122721120 18446744073709551615 4315564 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=285716 CPUtime=0.69 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 1363 0 0 0 69 0 0 0 18 0 4 0 521595957 292573184 2734 33554432000 4194304 4650419 140734122721120 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=285716 CPUtime=0.69 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 1150 0 0 0 69 0 0 0 18 0 4 0 521595957 292573184 2734 33554432000 4194304 4650419 140734122721120 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285716

[startup+1.50097 s]
/proc/loadavg: 8.17 8.08 8.02 10/184 30994
/proc/meminfo: memFree=30786980/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=278084 CPUtime=5.96 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 11484 0 0 0 595 1 0 0 20 0 4 0 521595956 284758016 6327 33554432000 4194304 4650419 140734122721120 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 69521 6327 393 112 0 64486 0
[pid=30990/tid=30991] ppid=30988 vsize=278084 CPUtime=1.48 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 3422 0 0 0 148 0 0 0 25 0 4 0 521595957 284758016 6327 33554432000 4194304 4650419 140734122721120 18446744073709551615 4438643 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=278084 CPUtime=1.48 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 2341 0 0 0 148 0 0 0 20 0 4 0 521595957 284758016 6327 33554432000 4194304 4650419 140734122721120 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=278084 CPUtime=1.49 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 2034 0 0 0 149 0 0 0 20 0 4 0 521595957 284758016 6327 33554432000 4194304 4650419 140734122721120 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 278084

[startup+3.10069 s]
/proc/loadavg: 8.17 8.08 8.02 9/184 30994
/proc/meminfo: memFree=30762232/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=286924 CPUtime=12.36 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 18944 0 0 0 1233 3 0 0 25 0 4 0 521595956 293810176 11321 33554432000 4194304 4650419 140734122721120 18446744073709551615 4476769 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 71731 11321 393 112 0 66696 0
[pid=30990/tid=30991] ppid=30988 vsize=286924 CPUtime=3.07 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 4549 0 0 0 307 0 0 0 25 0 4 0 521595957 293810176 11321 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365568 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=286924 CPUtime=3.08 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 4506 0 0 0 308 0 0 0 25 0 4 0 521595957 293810176 11321 33554432000 4194304 4650419 140734122721120 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=286924 CPUtime=3.08 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 4332 0 0 0 308 0 0 0 25 0 4 0 521595957 293810176 11321 33554432000 4194304 4650419 140734122721120 18446744073709551615 4315286 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 286924

[startup+6.30114 s]
/proc/loadavg: 8.15 8.08 8.02 9/184 30994
/proc/meminfo: memFree=30732468/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=282144 CPUtime=25.14 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 28060 0 0 0 2509 5 0 0 25 0 4 0 521595956 288915456 16349 33554432000 4194304 4650419 140734122721120 18446744073709551615 4476437 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 70536 16349 393 112 0 65501 0
[pid=30990/tid=30991] ppid=30988 vsize=282144 CPUtime=6.26 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 7294 0 0 0 625 1 0 0 25 0 4 0 521595957 288915456 16349 33554432000 4194304 4650419 140734122721120 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=282144 CPUtime=6.29 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 7612 0 0 0 628 1 0 0 25 0 4 0 521595957 288915456 16349 33554432000 4194304 4650419 140734122721120 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=282144 CPUtime=6.29 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 6091 0 0 0 628 1 0 0 25 0 4 0 521595957 288915456 16349 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 282144

[startup+12.701 s]
/proc/loadavg: 8.14 8.08 8.02 9/184 30994
/proc/meminfo: memFree=30710052/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=273688 CPUtime=50.7 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 40717 0 0 0 5063 7 0 0 25 0 4 0 521595956 280256512 20413 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 68422 20413 393 112 0 63387 0
[pid=30990/tid=30991] ppid=30988 vsize=273688 CPUtime=12.62 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 10861 0 0 0 1261 1 0 0 25 0 4 0 521595957 280256512 20413 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=273688 CPUtime=12.68 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 11177 0 0 0 1266 2 0 0 25 0 4 0 521595957 280256512 20413 33554432000 4194304 4650419 140734122721120 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=273688 CPUtime=12.68 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 8699 0 0 0 1267 1 0 0 25 0 4 0 521595957 280256512 20413 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 273688

[startup+25.5008 s]
/proc/loadavg: 8.18 8.09 8.02 9/184 30994
/proc/meminfo: memFree=30671968/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=300704 CPUtime=101.83 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 62793 0 0 0 10171 12 0 0 25 0 4 0 521595956 307920896 28424 33554432000 4194304 4650419 140734122721120 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 75176 28424 393 112 0 70141 0
[pid=30990/tid=30991] ppid=30988 vsize=300704 CPUtime=25.35 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 17891 0 0 0 2532 3 0 0 25 0 4 0 521595957 307920896 28424 33554432000 4194304 4650419 140734122721120 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=300704 CPUtime=25.48 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 17641 0 0 0 2545 3 0 0 25 0 4 0 521595957 307920896 28424 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=300704 CPUtime=25.49 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 11957 0 0 0 2546 3 0 0 25 0 4 0 521595957 307920896 28424 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 300704

[startup+51.1003 s]
/proc/loadavg: 8.18 8.10 8.03 9/184 30995
/proc/meminfo: memFree=30646640/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=298236 CPUtime=204.1 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 97745 0 0 0 20388 22 0 0 25 0 4 0 521595956 305393664 31704 33554432000 4194304 4650419 140734122721120 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 74559 31704 393 112 0 69524 0
[pid=30990/tid=30991] ppid=30988 vsize=298236 CPUtime=50.82 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 28749 0 0 0 5076 6 0 0 25 0 4 0 521595957 305393664 31704 33554432000 4194304 4650419 140734122721120 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=298236 CPUtime=51.08 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 27426 0 0 0 5102 6 0 0 25 0 4 0 521595957 305393664 31704 33554432000 4194304 4650419 140734122721120 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=298236 CPUtime=51.08 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 17538 0 0 0 5104 4 0 0 25 0 4 0 521595957 305393664 31704 33554432000 4194304 4650419 140734122721120 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 298236

[startup+102.3 s]
/proc/loadavg: 8.13 8.10 8.03 9/184 31006
/proc/meminfo: memFree=30573824/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=300772 CPUtime=408.62 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 158279 0 0 0 40823 39 0 0 25 0 4 0 521595956 307990528 39411 33554432000 4194304 4650419 140734122721120 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 75193 39411 393 112 0 70158 0
[pid=30990/tid=30991] ppid=30988 vsize=300772 CPUtime=101.74 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 45561 0 0 0 10164 10 0 0 25 0 4 0 521595957 307990528 39411 33554432000 4194304 4650419 140734122721120 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=300772 CPUtime=102.29 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 42972 0 0 0 10217 12 0 0 25 0 4 0 521595957 307990528 39411 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=300772 CPUtime=102.27 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 28135 0 0 0 10220 7 0 0 25 0 4 0 521595957 307990528 39411 33554432000 4194304 4650419 140734122721120 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 300772

[startup+162.301 s]

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

[pid=30990] ppid=30988 vsize=534904 CPUtime=2565.65 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 461858 0 0 0 256409 156 0 0 25 0 4 0 521595956 547741696 97004 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 133726 97004 393 112 0 128691 0
[pid=30990/tid=30991] ppid=30988 vsize=534904 CPUtime=638.81 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 134932 0 0 0 63840 41 0 0 25 0 4 0 521595957 547741696 97004 33554432000 4194304 4650419 140734122721120 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=534904 CPUtime=642.23 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 114880 0 0 0 64182 41 0 0 25 0 4 0 521595957 547741696 97004 33554432000 4194304 4650419 140734122721120 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=534904 CPUtime=642.29 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 72124 0 0 0 64202 27 0 0 25 0 4 0 521595957 547741696 97004 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.65
Current children cumulated vsize (KiB) 534904

[startup+702.3 s]
/proc/loadavg: 8.13 8.14 8.08 9/184 31025
/proc/meminfo: memFree=30164236/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=548440 CPUtime=2805.31 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 483986 0 0 0 280368 163 0 0 25 0 4 0 521595956 561602560 98537 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 137110 98537 393 112 0 132075 0
[pid=30990/tid=30991] ppid=30988 vsize=548440 CPUtime=698.47 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 143583 0 0 0 69804 43 0 0 25 0 4 0 521595957 561602560 98537 33554432000 4194304 4650419 140734122721120 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=548440 CPUtime=702.23 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 118222 0 0 0 70180 43 0 0 25 0 4 0 521595957 561602560 98537 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=548440 CPUtime=702.28 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 72612 0 0 0 70201 27 0 0 25 0 4 0 521595957 561602560 98537 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.31
Current children cumulated vsize (KiB) 548440

[startup+762.301 s]
/proc/loadavg: 8.11 8.13 8.08 9/184 31026
/proc/meminfo: memFree=30163716/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=631420 CPUtime=3045.01 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 511579 0 0 0 304326 175 0 0 25 0 4 0 521595956 646574080 102388 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 157855 102388 393 112 0 152820 0
[pid=30990/tid=30991] ppid=30988 vsize=631420 CPUtime=758.15 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 151197 0 0 0 75769 46 0 0 25 0 4 0 521595957 646574080 102388 33554432000 4194304 4650419 140734122721120 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=631420 CPUtime=762.24 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 127203 0 0 0 76177 47 0 0 25 0 4 0 521595957 646574080 102388 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=631420 CPUtime=762.3 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 75282 0 0 0 76201 29 0 0 25 0 4 0 521595957 646574080 102388 33554432000 4194304 4650419 140734122721120 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.01
Current children cumulated vsize (KiB) 631420

[startup+822.3 s]
/proc/loadavg: 8.21 8.15 8.09 9/184 31028
/proc/meminfo: memFree=30106768/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=603692 CPUtime=3284.66 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 531239 0 0 0 328281 185 0 0 25 0 4 0 521595956 618180608 109279 33554432000 4194304 4650419 140734122721120 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 150923 109279 393 112 0 145888 0
[pid=30990/tid=30991] ppid=30988 vsize=603692 CPUtime=817.82 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 157571 0 0 0 81733 49 0 0 25 0 4 0 521595957 618180608 109279 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=603692 CPUtime=822.22 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 131496 0 0 0 82174 48 0 0 25 0 4 0 521595957 618180608 109279 33554432000 4194304 4650419 140734122721120 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=603692 CPUtime=822.28 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 80279 0 0 0 82197 31 0 0 25 0 4 0 521595957 618180608 109279 33554432000 4194304 4650419 140734122721120 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.66
Current children cumulated vsize (KiB) 603692

[startup+882.307 s]
/proc/loadavg: 8.15 8.14 8.09 9/184 31029
/proc/meminfo: memFree=30163396/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=537140 CPUtime=3524.36 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 548109 0 0 0 352243 193 0 0 25 0 4 0 521595956 550031360 97093 33554432000 4194304 4650419 140734122721120 18446744073709551615 4333890 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 134285 97093 393 112 0 129250 0
[pid=30990/tid=30991] ppid=30988 vsize=537140 CPUtime=877.5 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 161332 0 0 0 87698 52 0 0 25 0 4 0 521595957 550031360 97093 33554432000 4194304 4650419 140734122721120 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=537140 CPUtime=882.22 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 132317 0 0 0 88173 49 0 0 25 0 4 0 521595957 550031360 97093 33554432000 4194304 4650419 140734122721120 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=537140 CPUtime=882.3 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 83919 0 0 0 88197 33 0 0 25 0 4 0 521595957 550031360 97093 33554432000 4194304 4650419 140734122721120 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.36
Current children cumulated vsize (KiB) 537140

[startup+942.3 s]
/proc/loadavg: 8.12 8.12 8.09 9/184 31031
/proc/meminfo: memFree=30172648/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=607396 CPUtime=3764.01 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 570223 0 0 0 376198 203 0 0 25 0 4 0 521595956 621973504 98870 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 151849 98870 393 112 0 146814 0
[pid=30990/tid=30991] ppid=30988 vsize=607396 CPUtime=937.17 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 167331 0 0 0 93663 54 0 0 25 0 4 0 521595957 621973504 98870 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=607396 CPUtime=942.21 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 137978 0 0 0 94170 51 0 0 25 0 4 0 521595957 621973504 98870 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=607396 CPUtime=942.29 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 87718 0 0 0 94194 35 0 0 25 0 4 0 521595957 621973504 98870 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.01
Current children cumulated vsize (KiB) 607396

[startup+1002.3 s]
/proc/loadavg: 8.10 8.12 8.09 9/184 31033
/proc/meminfo: memFree=30094608/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=658808 CPUtime=4003.68 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 592128 0 0 0 400157 211 0 0 25 0 4 0 521595956 674619392 104686 33554432000 4194304 4650419 140734122721120 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 164702 104686 393 112 0 159667 0
[pid=30990/tid=30991] ppid=30988 vsize=658808 CPUtime=996.84 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 176055 0 0 0 99628 56 0 0 25 0 4 0 521595957 674619392 104686 33554432000 4194304 4650419 140734122721120 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=658808 CPUtime=1002.21 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 139461 0 0 0 100169 52 0 0 25 0 4 0 521595957 674619392 104686 33554432000 4194304 4650419 140734122721120 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=658808 CPUtime=1002.3 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 92197 0 0 0 100192 38 0 0 25 0 4 0 521595957 674619392 104686 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.68
Current children cumulated vsize (KiB) 658808

[startup+1062.3 s]
/proc/loadavg: 8.09 8.11 8.09 9/184 31034
/proc/meminfo: memFree=30026988/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=669392 CPUtime=4243.35 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 612000 0 0 0 424117 218 0 0 25 0 4 0 521595956 685457408 115699 33554432000 4194304 4650419 140734122721120 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 167348 115699 393 112 0 162313 0
[pid=30990/tid=30991] ppid=30988 vsize=669392 CPUtime=1056.52 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 182688 0 0 0 105593 59 0 0 25 0 4 0 521595957 685457408 115699 33554432000 4194304 4650419 140734122721120 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=669392 CPUtime=1062.2 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 143400 0 0 0 106167 53 0 0 25 0 4 0 521595957 685457408 115699 33554432000 4194304 4650419 140734122721120 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=669392 CPUtime=1062.29 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 97764 0 0 0 106191 38 0 0 25 0 4 0 521595957 685457408 115699 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.35
Current children cumulated vsize (KiB) 669392

[startup+1122.3 s]
/proc/loadavg: 8.08 8.10 8.09 9/184 31036
/proc/meminfo: memFree=30030564/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=648040 CPUtime=4483.03 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 633832 0 0 0 448076 227 0 0 25 0 4 0 521595956 663592960 113924 33554432000 4194304 4650419 140734122721120 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 162010 113924 393 112 0 156975 0
[pid=30990/tid=30991] ppid=30988 vsize=648040 CPUtime=1116.19 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 185100 0 0 0 111558 61 0 0 25 0 4 0 521595957 663592960 113924 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=648040 CPUtime=1122.2 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 150041 0 0 0 112163 57 0 0 25 0 4 0 521595957 663592960 113924 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=648040 CPUtime=1122.3 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 100790 0 0 0 112190 40 0 0 25 0 4 0 521595957 663592960 113924 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.03
Current children cumulated vsize (KiB) 648040

[startup+1182.3 s]
/proc/loadavg: 6.66 7.76 7.97 5/175 31055
/proc/meminfo: memFree=30455752/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=657808 CPUtime=4722.7 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 652791 0 0 0 472035 235 0 0 25 0 4 0 521595956 673595392 123526 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 164452 123526 393 112 0 159417 0
[pid=30990/tid=30991] ppid=30988 vsize=657808 CPUtime=1175.87 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 188489 0 0 0 117525 62 0 0 25 0 4 0 521595957 673595392 123526 33554432000 4194304 4650419 140734122721120 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=657808 CPUtime=1182.19 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 156354 0 0 0 118161 58 0 0 25 0 4 0 521595957 673595392 123526 33554432000 4194304 4650419 140734122721120 18446744073709551615 4433093 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=657808 CPUtime=1182.29 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 105370 0 0 0 118186 43 0 0 25 0 4 0 521595957 673595392 123526 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.7
Current children cumulated vsize (KiB) 657808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 5.98 7.53 7.89 5/175 31056
/proc/meminfo: memFree=30448288/32951124 swapFree=67111364/67111528
[pid=30990] ppid=30988 vsize=657808 CPUtime=4800.2 cores=0,2,4,6
/proc/30990/stat : 30990 (strangenight1-m) R 30988 30990 30527 0 -1 4202496 654583 0 0 0 479784 236 0 0 25 0 4 0 521595956 673595392 125318 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30990/statm: 164452 125318 393 112 0 159417 0
[pid=30990/tid=30991] ppid=30988 vsize=657808 CPUtime=1195.16 cores=0,2,4,6
/proc/30990/task/30991/stat : 30991 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 188489 0 0 0 119454 62 0 0 25 0 4 0 521595957 673595392 125318 33554432000 4194304 4650419 140734122721120 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30990/tid=30992] ppid=30988 vsize=657808 CPUtime=1201.6 cores=0,2,4,6
/proc/30990/task/30992/stat : 30992 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 156354 0 0 0 120102 58 0 0 25 0 4 0 521595957 673595392 125318 33554432000 4194304 4650419 140734122721120 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30990/tid=30993] ppid=30988 vsize=657808 CPUtime=1201.7 cores=0,2,4,6
/proc/30990/task/30993/stat : 30993 (strangenight1-m) R 30988 30990 30527 0 -1 4202560 106126 0 0 0 120126 44 0 0 25 0 4 0 521595957 673595392 125318 33554432000 4194304 4650419 140734122721120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 657808

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): 1201.74
CPU time (s): 4800.26
CPU user time (s): 4797.87
CPU system time (s): 2.39364
CPU usage (%): 399.444
Max. virtual memory (cumulated for all children) (KiB): 780504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.87
system time used= 2.39364
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 654584
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= 333
involuntary context switches= 23695

runsolver used 1.93071 second user time and 4.6303 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-29 19:59:40
IDJOB=3175218
IDBENCH=82836
IDSOLVER=1588
FILE ID=node136/3175218-1304099980
RUNJOBID= node136-1304098731-30842
PBS_JOBID= 13170595
Free space on /tmp= 72328 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
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-3175218-1304099980/watcher-3175218-1304099980 -o /tmp/evaluation-result-3175218-1304099980/solver-3175218-1304099980 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175218-1304099980.cnf

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

MD5SUM BENCH= 23ebfbdf095807765a162fcb1d02f57a
RANDOM SEED=878291399

node136.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.809
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.61
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.809
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	: 5332.75
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.809
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.75
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.809
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.76
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.809
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.809
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.83
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.809
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.75
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30797956 kB
Buffers:        581412 kB
Cached:         938560 kB
SwapCached:          0 kB
Active:         281120 kB
Inactive:      1448652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30797956 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            6292 kB
Writeback:           0 kB
AnonPages:      210088 kB
Mapped:          15520 kB
Slab:           359996 kB
PageTables:       5112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   472684 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= 72328 MiB
End job on node136 at 2011-04-29 20:19:44