Trace number 3175269

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.27 1201.73

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf
MD5SUM9a5f08397d2e05808da45bc73aa751c4
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.012998
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
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 52130
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-3175269-1304105374.cnf'
0.00/0.01	c -- header says num vars:            100
0.00/0.01	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        100
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       100      2130         0         0     10650         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
0.00/0.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.00/0.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.05	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.05	c calculated reachability. Time: 0.00
0.00/0.05	c Calc default polars -  time:   0.00 s pos:      48 undec:       2 neg:      50
0.00/0.05	c =========================================================================================
0.00/0.05	c types(t): F = full restart, N = normal restart
0.00/0.05	c types(t): S = simplification begin/end, E = solution found
0.00/0.05	c restart types(rt): st = static, dy = dynamic
0.00/0.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.05	c  B st     0         0       100      2130         0         0     10650         0   no data   no data  --
0.00/0.05	c Decided on static restart strategy
3.18/0.85	c  N st     8      4918       100      2130         0      4612     10650    105757   no data   no data  --
3.18/0.85	c  N st    10     11302       100      2130         0      4265     10650     76036   no data   no data  --
3.18/0.85	c  N st    11     17047       100      2130         0      9597     10650    192501   no data   no data  --
3.18/0.85	c  F st    12     25000       100      2130         0     11706     10650    230431   no data   no data  --
3.18/0.85	c  N st    12     25000       100      2130         0     11706     10650    230431   no data   no data  --
3.98/1.05	c Decided on static restart strategy
3.98/1.05	c  N st    18     30002       100      2130         0     10057     10650    188902   no data   no data  --
3.98/1.05	c  S st    18     30002       100      2130         0     10057     10650    188902   no data   no data  --
4.40/1.15	c  S st    18     30505       100      2130         0     10535     10650    199584   no data   no data  --
4.40/1.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.40/1.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.40/1.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.40/1.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.40/1.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.40/1.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4.40/1.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.97/1.52	c lits-rem:      2140  cl-subs:     1678  v-elim:      0  v-fix:    0  time:  1.86 s
5.97/1.56	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.16
5.97/1.56	c calculated reachability. Time: 0.00
5.97/1.56	c  N st    18     30505       100      2130         0      8857     10650    160199   no data   no data  --
7.17/1.88	c  N st    20     37620       100      2130         0      8182     10650    133990   no data   no data  --
8.37/2.18	c  N st    21     44019       100      2130         0     14133     10650    266237   no data   no data  --
8.79/2.27	c  S st    22     45759       100      2130         0     15760     10650    301205   no data   no data  --
9.19/2.31	c  S st    22     46264       100      2130         0     16245     10650    312113   no data   no data  --
9.19/2.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.19/2.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.19/2.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
9.19/2.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.58/3.47	c lits-rem:      3552  cl-subs:     1923  v-elim:      0  v-fix:    0  time:  4.56 s
13.58/3.47	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
13.58/3.47	c vivif2 --  cl tried    14322 cl shrink        0 lits rem          0 time: 0.01
13.96/3.54	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.25
13.96/3.54	c calculated reachability. Time: 0.00
13.96/3.54	c  N st    22     46264       100      2130         0     14322     10650    266338   no data   no data  --
17.15/4.30	c  N st    23     60662       100      2130         0     10170     10650    151414   no data   no data  --
18.75/4.72	c  N st    24     69396       100      2130         0     18212     10650    318437   no data   no data  --
18.75/4.72	c  S st    24     69396       100      2130         0     18212     10650    318437   no data   no data  --
18.75/4.77	c  S st    24     69898       100      2130         0     18696     10650    328843   no data   no data  --
18.75/4.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.75/4.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.75/4.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
18.75/4.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.75/4.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.75/4.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
18.75/4.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.95/6.08	c lits-rem:      3476  cl-subs:     2883  v-elim:      0  v-fix:    0  time:  5.17 s
23.95/6.08	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
23.95/6.09	c vivif2 --  cl tried    15813 cl shrink        0 lits rem          0 time: 0.01
24.35/6.16	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.28
24.35/6.16	c calculated reachability. Time: 0.00
24.35/6.16	c  N st    24     69898       100      2130         0     15813     10650    268501   no data   no data  --
28.74/7.21	c  F st    25     87500       100      2130         0     11025     10650    155315   no data   no data  --
28.74/7.21	c  N st    25     87500       100      2130         0     11025     10650    155315   no data   no data  --
29.54/7.45	c Decided on static restart strategy
29.93/7.59	c  N st    32     95535       100      2130         0     18486     10650    321027   no data   no data  --
32.73/8.26	c  N st    34    104847       100      2130         0     15090     10650    240437   no data   no data  --
32.73/8.26	c  S st    34    104847       100      2130         0     15090     10650    240437   no data   no data  --
33.13/8.31	c  S st    34    105348       100      2130         0     15575     10650    251092   no data   no data  --
33.13/8.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
33.13/8.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.13/8.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
33.13/8.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
33.13/8.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
33.13/8.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
33.13/8.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37.12/9.34	c lits-rem:      1736  cl-subs:     1265  v-elim:      0  v-fix:    0  time:  4.09 s
37.12/9.34	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
37.12/9.34	c vivif2 --  cl tried    14310 cl shrink        0 lits rem          0 time: 0.01
37.52/9.41	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.26
37.52/9.41	c calculated reachability. Time: 0.00
37.52/9.41	c  N st    34    105348       100      2130         0     14310     10650    222684   no data   no data  --
39.94/10.04	c  N st    35    114946       100      2130         0     23125     10650    410023   no data   no data  --
43.52/10.99	c  N st    36    129343       100      2130         0     23587     10650    409838   no data   no data  --
49.90/12.57	c  N st    37    150938       100      2130         0     14900     10650    196585   no data   no data  --
51.90/13.02	c  S st    38    158023       100      2130         0     21466     10650    339006   no data   no data  --
51.90/13.07	c  S st    38    158531       100      2130         0     21958     10650    350161   no data   no data  --
51.90/13.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
51.90/13.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.90/13.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
51.90/13.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.90/13.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.90/13.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
51.90/13.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
57.11/14.35	c lits-rem:      2847  cl-subs:     2240  v-elim:      0  v-fix:    0  time:  5.04 s
57.11/14.35	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
57.11/14.35	c vivif2 --  cl tried    19718 cl shrink        0 lits rem          0 time: 0.01
57.51/14.44	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.34
57.51/14.44	c calculated reachability. Time: 0.00
57.51/14.44	c  N st    38    158531       100      2130         0     19718     10650    302525   no data   no data  --
73.07/18.34	c  N st    39    207119       100      2130         0     32187     10650    530017   no data   no data  --
84.65/21.22	c  N st    40    237796       100      2130         0     24587     10650    361067   no data   no data  --
84.65/21.22	c  S st    40    237796       100      2130         0     24587     10650    361067   no data   no data  --
84.65/21.28	c  S st    40    238303       100      2130         0     25072     10650    371911   no data   no data  --
84.65/21.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.65/21.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
84.65/21.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
85.05/21.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.05/21.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.05/21.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
85.05/21.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
90.25/22.63	c lits-rem:      2226  cl-subs:     2338  v-elim:      0  v-fix:    0  time:  5.28 s
90.25/22.63	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
90.25/22.63	c vivif2 --  cl tried    22734 cl shrink        0 lits rem          0 time: 0.01
90.65/22.72	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.38
90.65/22.73	c calculated reachability. Time: 0.00
90.65/22.73	c  N st    40    238303       100      2130         0     22734     10650    327003   no data   no data  --
116.21/29.16	c  F st    41    306251       100      2130         0     24669     10650    339054   no data   no data  --
116.21/29.16	c  N st    41    306251       100      2130         0     24669     10650    339054   no data   no data  --
118.21/29.63	c Decided on static restart strategy
126.60/31.78	c  N st    51    334560       100      2130         0     28835     10650    421348   no data   no data  --
136.61/34.25	c  N st    53    357454       100      2130         0     26945     10650    361565   no data   no data  --
136.61/34.25	c  S st    53    357454       100      2130         0     26945     10650    361565   no data   no data  --
136.99/34.32	c  S st    53    357958       100      2130         0     27436     10650    372493   no data   no data  --
136.99/34.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
136.99/34.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
136.99/34.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
136.99/34.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
136.99/34.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.99/34.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
136.99/34.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
141.78/35.57	c lits-rem:      1792  cl-subs:     1263  v-elim:      0  v-fix:    0  time:  4.95 s
141.78/35.57	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
141.78/35.58	c vivif2 --  cl tried    26173 cl shrink        0 lits rem          0 time: 0.02
142.18/35.69	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.45
142.18/35.69	c calculated reachability. Time: 0.00
142.18/35.69	c  N st    53    357958       100      2130         0     26173     10650    346768   no data   no data  --
158.95/39.83	c  N st    54    390351       100      2130         0     32008     10650    461872   no data   no data  --
180.92/45.35	c  N st    55    438941       100      2130         0     26195     10650    313954   no data   no data  --
213.68/53.53	c  N st    56    511824       100      2130         0     38906     10650    567091   no data   no data  --
226.47/56.70	c  N st    57    536939       100      2130         0     33461     10650    441406   no data   no data  --
226.47/56.70	c  S st    57    536939       100      2130         0     33461     10650    441406   no data   no data  --
226.47/56.78	c  S st    57    537443       100      2130         0     33945     10650    452693   no data   no data  --
226.47/56.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
226.47/56.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
226.47/56.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
226.87/56.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
226.87/56.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
226.87/56.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
226.87/56.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
232.46/58.22	c lits-rem:      1789  cl-subs:     1383  v-elim:      0  v-fix:    0  time:  5.65 s
232.46/58.22	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
232.46/58.23	c vivif2 --  cl tried    32562 cl shrink        0 lits rem          0 time: 0.02
232.87/58.38	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.61
232.87/58.38	c calculated reachability. Time: 0.00
232.87/58.38	c  N st    57    537443       100      2130         0     32562     10650    423165   no data   no data  --
321.94/80.67	c  N st    58    701427       100      2130         0     59524     10650    917532   no data   no data  --
377.06/94.40	c  N st    59    806165       100      2130         0     54235     10650    815554   no data   no data  --
377.06/94.40	c  S st    59    806165       100      2130         0     54235     10650    815554   no data   no data  --
377.46/94.55	c  S st    59    806665       100      2130         0     54710     10650    826503   no data   no data  --
377.46/94.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
377.46/94.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
377.46/94.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
377.46/94.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
377.46/94.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
377.46/94.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
377.46/94.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
396.63/99.37	c lits-rem:      2663  cl-subs:     5920  v-elim:      0  v-fix:    0  time: 19.06 s
396.63/99.37	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
396.63/99.38	c vivif2 --  cl tried    48790 cl shrink        0 lits rem          0 time: 0.03
397.84/99.62	c asymm  cl-useful: 0/1761/2130 lits-rem:0 time: 0.96
397.84/99.62	c calculated reachability. Time: 0.00
397.84/99.62	c  N st    59    806665       100      2130         0     48790     10650    709437   no data   no data  --
552.82/138.47	c  F st    60   1071876       100      2130         0     63837     10650    932738   no data   no data  --
552.82/138.47	c  N st    60   1071876       100      2130         0     63837     10650    932738   no data   no data  --
557.62/139.64	c Decided on static restart strategy
573.60/143.63	c  N st    70   1100183       100      2130         0     48853     10650    623719   no data   no data  --
602.37/150.89	c  N st    72   1136177       100      2130         0     81972     10650   1353210   no data   no data  --
621.53/155.60	c  N st    73   1168569       100      2130         0     69605     10650   1076035   no data   no data  --
656.28/164.34	c  N st    74   1209997       100      2130         0     64549     10650    947990   no data   no data  --
656.28/164.34	c  S st    74   1209997       100      2130         0     64549     10650    947990   no data   no data  --
657.08/164.59	c  S st    74   1210503       100      2130         0     65037     10650    959342   no data   no data  --
657.08/164.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
657.08/164.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
657.48/164.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
657.48/164.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
657.48/164.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
657.48/164.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
657.48/164.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
687.84/172.24	c lits-rem:      3397  cl-subs:     5849  v-elim:      0  v-fix:    0  time: 30.27 s
687.84/172.24	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
687.84/172.25	c vivif2 --  cl tried    59188 cl shrink        0 lits rem          0 time: 0.04
689.04/172.52	c asymm  cl-useful: 0/1509/2130 lits-rem:0 time: 1.10
689.04/172.53	c calculated reachability. Time: 0.00
689.04/172.53	c  N st    74   1210503       100      2130         0     59188     10650    836270   no data   no data  --
742.99/186.08	c  N st    75   1283385       100      2130         0     82123     10650   1338068   no data   no data  --
828.44/207.41	c  N st    76   1392709       100      2130         0     91505     10650   1480220   no data   no data  --
967.46/242.28	c  N st    77   1556694       100      2130         0     98553     10650   1576135   no data   no data  --
1088.49/272.59	c  N st    78   1710503       100      2130         0     88962     10650   1383284   no data   no data  --
1088.49/272.59	c  S st    78   1710503       100      2130         0     88962     10650   1383284   no data   no data  --
1090.12/272.95	c  S st    78   1711008       100      2130         0     89441     10650   1394461   no data   no data  --
1090.12/272.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1090.12/272.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1090.49/273.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.21
1090.49/273.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1090.49/273.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1090.49/273.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1090.49/273.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1194.34/299.02	c lits-rem:      7797  cl-subs:     9477  v-elim:      0  v-fix:    0  time: 103.63 s
1194.34/299.02	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1194.34/299.04	c vivif2 --  cl tried    79964 cl shrink        0 lits rem          0 time: 0.07
1195.15/299.29	c asymm  cl-useful: 0/621/2130 lits-rem:0 time: 0.99
1195.15/299.29	c calculated reachability. Time: 0.00
1195.15/299.29	c  N st    78   1711008       100      2130         0     79964     10650   1197963   no data   no data  --
1529.11/382.87	c  N st    79   2079972       100      2130         0     91298     10650   1381880   no data   no data  --
1663.71/416.52	c  N st    80   2211009       100      2130         0     95046     10650   1402527   no data   no data  --
1663.71/416.52	c  S st    80   2211009       100      2130         0     95046     10650   1402527   no data   no data  --
1664.91/416.86	c  S st    80   2211512       100      2130         0     95530     10650   1413988   no data   no data  --
1664.91/416.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1664.91/416.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1665.33/416.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
1665.33/416.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1665.33/416.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1665.33/416.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1665.33/416.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1775.16/444.45	c lits-rem:      8008  cl-subs:    11296  v-elim:      0  v-fix:    0  time: 109.77 s
1775.16/444.45	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1775.16/444.46	c vivif2 --  cl tried    84234 cl shrink        0 lits rem          0 time: 0.07
1776.74/444.85	c asymm  cl-useful: 0/1090/2130 lits-rem:0 time: 1.53
1776.74/444.85	c calculated reachability. Time: 0.00
1776.74/444.85	c  N st    80   2211512       100      2130         0     84234     10650   1192479   no data   no data  --
2264.47/566.92	c  N st    81   2711513       100      2130         0    106463     10650   1538607   no data   no data  --
2264.47/566.92	c  S st    81   2711513       100      2130         0    106463     10650   1538607   no data   no data  --
2265.67/567.25	c  S st    81   2712021       100      2130         0    106953     10650   1550079   no data   no data  --
2265.67/567.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2265.67/567.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2266.07/567.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2266.07/567.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2266.07/567.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2266.07/567.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2266.07/567.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2372.33/593.91	c lits-rem:     11922  cl-subs:    14635  v-elim:      0  v-fix:    0  time: 106.03 s
2372.33/593.91	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2372.33/593.93	c vivif2 --  cl tried    92318 cl shrink        0 lits rem          0 time: 0.08
2374.32/594.44	c asymm  cl-useful: 0/881/2130 lits-rem:0 time: 2.04
2374.32/594.45	c calculated reachability. Time: 0.00
2374.32/594.45	c  N st    81   2712021       100      2130         0     92318     10650   1293467   no data   no data  --
2928.77/733.24	c  N st    82   3212022       100      2130         0    141365     10650   2192331   no data   no data  --
2928.77/733.24	c  S st    82   3212022       100      2130         0    141365     10650   2192331   no data   no data  --
2931.96/734.02	c  S st    82   3212528       100      2130         0     71110     10650    751171   no data   no data  --
2931.96/734.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2931.96/734.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2931.96/734.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.11
2931.96/734.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2931.96/734.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2931.96/734.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2931.96/734.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2951.54/738.95	c lits-rem:       167  cl-subs:       81  v-elim:      0  v-fix:    0  time: 19.43 s
2951.54/738.95	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2951.54/738.96	c vivif2 --  cl tried    71029 cl shrink        0 lits rem          0 time: 0.05
2953.16/739.33	c asymm  cl-useful: 0/1288/2130 lits-rem:0 time: 1.49
2953.16/739.34	c calculated reachability. Time: 0.00
2953.16/739.34	c  N st    82   3212528       100      2130         0     71029     10650    749309   no data   no data  --
3536.75/885.48	c  N st    83   3712528       100      2130         0     81062     10650    903885   no data   no data  --
3536.75/885.48	c  S st    83   3712528       100      2130         0     81062     10650    903885   no data   no data  --
3537.94/885.72	c  S st    83   3713035       100      2130         0     81545     10650    914955   no data   no data  --
3537.94/885.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3537.94/885.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3537.94/885.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3537.94/885.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3537.94/885.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3537.94/885.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3537.94/885.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3566.31/892.86	c lits-rem:      1091  cl-subs:     1503  v-elim:      0  v-fix:    0  time: 28.22 s
3566.31/892.86	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3566.31/892.87	c vivif2 --  cl tried    80042 cl shrink        0 lits rem          0 time: 0.05
3567.51/893.14	c asymm  cl-useful: 0/842/2130 lits-rem:0 time: 1.07
3567.51/893.15	c calculated reachability. Time: 0.00
3567.51/893.15	c  N st    83   3713035       100      2130         0     80042     10650    887135   no data   no data  --
3608.65/903.42	c  F st    84   3751563       100      2130         0    115313     10650   1649964   no data   no data  --
3608.65/903.42	c  N st    84   3751563       100      2130         0    115313     10650   1649964   no data   no data  --
3615.45/905.12	c Decided on static restart strategy
3651.42/914.18	c  N st    94   3779865       100      2130         0    141298     10650   2221401   no data   no data  --
3698.93/926.00	c  N st    96   3815859       100      2130         0     96877     10650   1235779   no data   no data  --
3747.66/938.25	c  N st    97   3848253       100      2130         0    126618     10650   1899097   no data   no data  --
3810.00/953.83	c  N st    98   3896842       100      2130         0     92537     10650   1133499   no data   no data  --
3899.45/976.22	c  N st    99   3969725       100      2130         0    159108     10650   2592973   no data   no data  --
4032.87/1009.65	c  N st   100   4079050       100      2130         0     99438     10650   1263986   no data   no data  --
4220.61/1056.63	c  N st   101   4213035       100      2130         0    140634     10650   2144733   no data   no data  --
4220.61/1056.63	c  S st   101   4213035       100      2130         0    140634     10650   2144733   no data   no data  --
4222.21/1057.08	c  S st   101   4213538       100      2130         0    141121     10650   2156321   no data   no data  --
4222.21/1057.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4222.21/1057.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4222.63/1057.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.28
4223.03/1057.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4223.03/1057.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4223.03/1057.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4223.03/1057.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4418.35/1106.18	c lits-rem:      2462  cl-subs:    16538  v-elim:      0  v-fix:    0  time: 195.45 s
4418.35/1106.18	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4418.75/1106.20	c vivif2 --  cl tried   124583 cl shrink        0 lits rem          0 time: 0.10
4419.95/1106.56	c asymm  cl-useful: 0/845/2130 lits-rem:0 time: 1.44
4419.95/1106.57	c calculated reachability. Time: 0.00
4419.95/1106.57	c  N st   101   4213538       100      2130         0    124583     10650   1829020   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-3175269-1304105374/watcher-3175269-1304105374 -o /tmp/evaluation-result-3175269-1304105374/solver-3175269-1304105374 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175269-1304105374.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: 4.77 7.15 7.57 4/176 21012
/proc/meminfo: memFree=30328444/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 415 0 0 0 1 0 0 0 18 0 4 0 522137810 52465664 354 33554432000 4194304 4650419 140733322281472 18446744073709551615 47551948847016 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 12809 354 303 112 0 7774 0
[pid=21010/tid=21013] ppid=21007 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 522137810 52465664 354 33554432000 4194304 4650419 140733322281472 18446744073709551615 47551948847026 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 522137810 52465664 354 33554432000 4194304 4650419 140733322281472 18446744073709551615 47551948847016 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 522137810 52465664 354 33554432000 4194304 4650419 140733322281472 18446744073709551615 253640915953 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.157065 s]
/proc/loadavg: 4.77 7.15 7.57 4/176 21012
/proc/meminfo: memFree=30328444/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=283856 CPUtime=0.61 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 2381 0 0 0 61 0 0 0 18 0 4 0 522137810 290668544 1703 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365195 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 70964 1704 391 112 0 65929 0
[pid=21010/tid=21013] ppid=21007 vsize=283856 CPUtime=0.15 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 512 0 0 0 15 0 0 0 18 0 4 0 522137810 290668544 1704 33554432000 4194304 4650419 140733322281472 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=283856 CPUtime=0.15 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 516 0 0 0 15 0 0 0 18 0 4 0 522137810 290668544 1704 33554432000 4194304 4650419 140733322281472 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=283856 CPUtime=0.14 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 413 0 0 0 14 0 0 0 21 0 4 0 522137810 290668544 1704 33554432000 4194304 4650419 140733322281472 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 283856

[startup+0.257047 s]
/proc/loadavg: 4.77 7.15 7.57 4/176 21012
/proc/meminfo: memFree=30328444/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=283856 CPUtime=1.01 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 2775 0 0 0 101 0 0 0 18 0 4 0 522137810 290668544 2097 33554432000 4194304 4650419 140733322281472 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 70964 2098 391 112 0 65929 0
[pid=21010/tid=21013] ppid=21007 vsize=283856 CPUtime=0.25 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 609 0 0 0 25 0 0 0 18 0 4 0 522137810 290668544 2098 33554432000 4194304 4650419 140733322281472 18446744073709551615 4333991 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=283856 CPUtime=0.25 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 615 0 0 0 25 0 0 0 18 0 4 0 522137810 290668544 2098 33554432000 4194304 4650419 140733322281472 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=283856 CPUtime=0.24 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 517 0 0 0 24 0 0 0 21 0 4 0 522137810 290668544 2098 33554432000 4194304 4650419 140733322281472 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 283856

[startup+0.357029 s]
/proc/loadavg: 4.77 7.15 7.57 4/176 21012
/proc/meminfo: memFree=30328444/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=284604 CPUtime=1.41 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 3569 0 0 0 141 0 0 0 18 0 4 0 522137810 291434496 2090 33554432000 4194304 4650419 140733322281472 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 71151 2090 391 112 0 66116 0
[pid=21010/tid=21013] ppid=21007 vsize=284604 CPUtime=0.35 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 803 0 0 0 35 0 0 0 18 0 4 0 522137810 291434496 2090 33554432000 4194304 4650419 140733322281472 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=284604 CPUtime=0.35 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 824 0 0 0 35 0 0 0 18 0 4 0 522137810 291434496 2090 33554432000 4194304 4650419 140733322281472 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=284604 CPUtime=0.34 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 700 0 0 0 34 0 0 0 21 0 4 0 522137810 291434496 2090 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 284604

[startup+0.700966 s]
/proc/loadavg: 4.77 7.15 7.57 4/176 21012
/proc/meminfo: memFree=30328444/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=285208 CPUtime=2.78 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 5138 0 0 0 278 0 0 0 18 0 4 0 522137810 292052992 2655 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 71302 2655 391 112 0 66267 0
[pid=21010/tid=21013] ppid=21007 vsize=285208 CPUtime=0.69 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 1195 0 0 0 69 0 0 0 18 0 4 0 522137810 292052992 2655 33554432000 4194304 4650419 140733322281472 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=285208 CPUtime=0.69 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 1231 0 0 0 69 0 0 0 18 0 4 0 522137810 292052992 2655 33554432000 4194304 4650419 140733322281472 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=285208 CPUtime=0.69 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 1071 0 0 0 69 0 0 0 22 0 4 0 522137810 292052992 2655 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285208

[startup+1.50082 s]
/proc/loadavg: 4.77 7.15 7.57 11/184 21020
/proc/meminfo: memFree=30298620/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=277620 CPUtime=5.97 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 10213 0 0 0 597 0 0 0 20 0 4 0 522137810 284282880 5510 33554432000 4194304 4650419 140733322281472 18446744073709551615 4438378 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 69405 5510 393 112 0 64370 0
[pid=21010/tid=21013] ppid=21007 vsize=277620 CPUtime=1.49 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 2978 0 0 0 149 0 0 0 20 0 4 0 522137810 284282880 5510 33554432000 4194304 4650419 140733322281472 18446744073709551615 4420299 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=277620 CPUtime=1.49 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 2070 0 0 0 149 0 0 0 19 0 4 0 522137810 284282880 5510 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=277620 CPUtime=1.48 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 1816 0 0 0 148 0 0 0 25 0 4 0 522137810 284282880 5510 33554432000 4194304 4650419 140733322281472 18446744073709551615 4334274 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 277620

[startup+3.10053 s]
/proc/loadavg: 4.77 7.15 7.57 10/184 21020
/proc/meminfo: memFree=30257576/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=285544 CPUtime=12.37 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 17131 0 0 0 1235 2 0 0 25 0 4 0 522137810 292397056 10098 33554432000 4194304 4650419 140733322281472 18446744073709551615 4438661 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 71386 10098 393 112 0 66351 0
[pid=21010/tid=21013] ppid=21007 vsize=285544 CPUtime=3.09 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 4101 0 0 0 309 0 0 0 25 0 4 0 522137810 292397056 10098 33554432000 4194304 4650419 140733322281472 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=285544 CPUtime=3.09 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 4091 0 0 0 309 0 0 0 25 0 4 0 522137810 292397056 10098 33554432000 4194304 4650419 140733322281472 18446744073709551615 4339884 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=285544 CPUtime=3.07 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 4190 0 0 0 307 0 0 0 25 0 4 0 522137810 292397056 10098 33554432000 4194304 4650419 140733322281472 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 285544

[startup+6.30095 s]
/proc/loadavg: 5.03 7.16 7.57 10/184 21021
/proc/meminfo: memFree=30220272/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=289284 CPUtime=25.15 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 24945 0 0 0 2511 4 0 0 25 0 4 0 522137810 296226816 13204 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 72321 13204 393 112 0 67286 0
[pid=21010/tid=21013] ppid=21007 vsize=289284 CPUtime=6.29 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 6475 0 0 0 628 1 0 0 25 0 4 0 522137810 296226816 13204 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=289284 CPUtime=6.28 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 6619 0 0 0 628 0 0 0 25 0 4 0 522137810 296226816 13204 33554432000 4194304 4650419 140733322281472 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=289284 CPUtime=6.26 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 5732 0 0 0 625 1 0 0 25 0 4 0 522137810 296226816 13204 33554432000 4194304 4650419 140733322281472 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 289284

[startup+12.7008 s]
/proc/loadavg: 5.42 7.21 7.58 10/184 21021
/proc/meminfo: memFree=30174568/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=281176 CPUtime=50.7 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 37036 0 0 0 5064 6 0 0 25 0 4 0 522137810 287924224 16930 33554432000 4194304 4650419 140733322281472 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 70294 16930 393 112 0 65259 0
[pid=21010/tid=21013] ppid=21007 vsize=281176 CPUtime=12.68 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 9804 0 0 0 1267 1 0 0 25 0 4 0 522137810 287924224 16930 33554432000 4194304 4650419 140733322281472 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=281176 CPUtime=12.68 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 9678 0 0 0 1267 1 0 0 25 0 4 0 522137810 287924224 16930 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=281176 CPUtime=12.62 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 8627 0 0 0 1261 1 0 0 25 0 4 0 522137810 287924224 16930 33554432000 4194304 4650419 140733322281472 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 281176

[startup+25.5004 s]
/proc/loadavg: 5.99 7.25 7.59 10/184 21021
/proc/meminfo: memFree=30122292/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=286992 CPUtime=101.83 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 56338 0 0 0 10173 10 0 0 25 0 4 0 522137810 293879808 22197 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 71748 22197 393 112 0 66713 0
[pid=21010/tid=21013] ppid=21007 vsize=286992 CPUtime=25.48 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 16279 0 0 0 2546 2 0 0 25 0 4 0 522137810 293879808 22197 33554432000 4194304 4650419 140733322281472 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=286992 CPUtime=25.49 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 15224 0 0 0 2546 3 0 0 25 0 4 0 522137810 293879808 22197 33554432000 4194304 4650419 140733322281472 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=286992 CPUtime=25.34 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 11560 0 0 0 2532 2 0 0 25 0 4 0 522137810 293879808 22197 33554432000 4194304 4650419 140733322281472 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 286992

[startup+51.1008 s]
/proc/loadavg: 6.68 7.31 7.60 10/184 21022
/proc/meminfo: memFree=30076052/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=304076 CPUtime=204.09 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 85763 0 0 0 20393 16 0 0 25 0 4 0 522137810 311373824 27064 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 76019 27064 393 112 0 70984 0
[pid=21010/tid=21013] ppid=21007 vsize=304076 CPUtime=51.09 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 25908 0 0 0 5105 4 0 0 25 0 4 0 522137810 311373824 27064 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365311 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=304076 CPUtime=51.09 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 24375 0 0 0 5104 5 0 0 25 0 4 0 522137810 311373824 27064 33554432000 4194304 4650419 140733322281472 18446744073709551615 4333639 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=304076 CPUtime=50.8 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 15674 0 0 0 5078 2 0 0 25 0 4 0 522137810 311373824 27064 33554432000 4194304 4650419 140733322281472 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 304076

[startup+102.3 s]
/proc/loadavg: 7.51 7.44 7.63 9/184 21023
/proc/meminfo: memFree=29994440/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=301228 CPUtime=408.63 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 133643 0 0 0 40833 30 0 0 25 0 4 0 522137810 308457472 34586 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 75307 34586 393 112 0 70272 0
[pid=21010/tid=21013] ppid=21007 vsize=301228 CPUtime=102.29 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 41944 0 0 0 10220 9 0 0 25 0 4 0 522137810 308457472 34586 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=301228 CPUtime=102.3 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 38811 0 0 0 10220 10 0 0 25 0 4 0 522137810 308457472 34586 33554432000 4194304 4650419 140733322281472 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=301228 CPUtime=101.73 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 21050 0 0 0 10169 4 0 0 25 0 4 0 522137810 308457472 34586 33554432000 4194304 4650419 140733322281472 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 301228

[startup+162.3 s]

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

[pid=21010] ppid=21007 vsize=537860 CPUtime=2565.66 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 406946 0 0 0 256432 134 0 0 25 0 4 0 522137810 550768640 85918 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 134465 85918 393 112 0 129430 0
[pid=21010/tid=21013] ppid=21007 vsize=537860 CPUtime=642.3 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 121757 0 0 0 64195 35 0 0 25 0 4 0 522137810 550768640 85918 33554432000 4194304 4650419 140733322281472 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=537860 CPUtime=642.31 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 119529 0 0 0 64184 47 0 0 25 0 4 0 522137810 550768640 85918 33554432000 4194304 4650419 140733322281472 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=537860 CPUtime=638.72 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 58985 0 0 0 63854 18 0 0 25 0 4 0 522137810 550768640 85918 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.66
Current children cumulated vsize (KiB) 537860

[startup+702.301 s]
/proc/loadavg: 8.09 8.00 7.83 10/184 21039
/proc/meminfo: memFree=29509012/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=538016 CPUtime=2805.34 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 431023 0 0 0 280390 144 0 0 25 0 4 0 522137810 550928384 94233 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365300 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 134504 94233 393 112 0 129469 0
[pid=21010/tid=21013] ppid=21007 vsize=538016 CPUtime=702.3 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 126887 0 0 0 70193 37 0 0 25 0 4 0 522137810 550928384 94233 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=538016 CPUtime=702.31 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 127599 0 0 0 70181 50 0 0 25 0 4 0 522137810 550928384 94233 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=538016 CPUtime=698.39 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 64573 0 0 0 69819 20 0 0 25 0 4 0 522137810 550928384 94233 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 538016

[startup+762.301 s]
/proc/loadavg: 8.14 8.03 7.85 10/184 21041
/proc/meminfo: memFree=29469296/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=540324 CPUtime=3045.04 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 448015 0 0 0 304353 151 0 0 25 0 4 0 522137810 553291776 95961 33554432000 4194304 4650419 140733322281472 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 135081 95961 393 112 0 130046 0
[pid=21010/tid=21013] ppid=21007 vsize=540324 CPUtime=762.31 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 131979 0 0 0 76192 39 0 0 25 0 4 0 522137810 553291776 95961 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=540324 CPUtime=762.31 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 134618 0 0 0 76179 52 0 0 25 0 4 0 522137810 553291776 95961 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=540324 CPUtime=758.07 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 66238 0 0 0 75785 22 0 0 25 0 4 0 522137810 553291776 95961 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.04
Current children cumulated vsize (KiB) 540324

[startup+822.301 s]
/proc/loadavg: 8.15 8.05 7.86 10/184 21042
/proc/meminfo: memFree=29452152/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=540416 CPUtime=3284.68 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 469724 0 0 0 328308 160 0 0 25 0 4 0 522137810 553385984 96092 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 135104 96092 393 112 0 130069 0
[pid=21010/tid=21013] ppid=21007 vsize=540416 CPUtime=822.3 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 137830 0 0 0 82189 41 0 0 25 0 4 0 522137810 553385984 96092 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=540416 CPUtime=822.31 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 140837 0 0 0 82176 55 0 0 25 0 4 0 522137810 553385984 96092 33554432000 4194304 4650419 140733322281472 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=540416 CPUtime=817.73 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 70985 0 0 0 81749 24 0 0 25 0 4 0 522137810 553385984 96092 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 540416

[startup+882.307 s]
/proc/loadavg: 8.05 8.04 7.87 10/184 21044
/proc/meminfo: memFree=29450356/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=540516 CPUtime=3524.38 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 483925 0 0 0 352270 168 0 0 25 0 4 0 522137810 553488384 92598 33554432000 4194304 4650419 140733322281472 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 135129 92598 393 112 0 130094 0
[pid=21010/tid=21013] ppid=21007 vsize=540516 CPUtime=882.31 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 141505 0 0 0 88188 43 0 0 25 0 4 0 522137810 553488384 92598 33554432000 4194304 4650419 140733322281472 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=540516 CPUtime=882.32 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 146580 0 0 0 88173 59 0 0 25 0 4 0 522137810 553488384 92598 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=540516 CPUtime=877.4 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 72277 0 0 0 87716 24 0 0 25 0 4 0 522137810 553488384 92598 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365311 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.38
Current children cumulated vsize (KiB) 540516

[startup+942.301 s]
/proc/loadavg: 8.02 8.03 7.88 10/184 21045
/proc/meminfo: memFree=29459620/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=556108 CPUtime=3764.04 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 504774 0 0 0 376228 176 0 0 25 0 4 0 522137810 569454592 94994 33554432000 4194304 4650419 140733322281472 18446744073709551615 4366953 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 139027 94994 393 112 0 133992 0
[pid=21010/tid=21013] ppid=21007 vsize=556108 CPUtime=942.31 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 146546 0 0 0 94186 45 0 0 25 0 4 0 522137810 569454592 94994 33554432000 4194304 4650419 140733322281472 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=556108 CPUtime=942.31 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 152212 0 0 0 94170 61 0 0 25 0 4 0 522137810 569454592 94994 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=556108 CPUtime=937.07 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 76856 0 0 0 93681 26 0 0 25 0 4 0 522137810 569454592 94994 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.04
Current children cumulated vsize (KiB) 556108

[startup+1002.3 s]
/proc/loadavg: 8.00 8.02 7.88 10/184 21047
/proc/meminfo: memFree=29463436/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=569652 CPUtime=4003.71 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 525096 0 0 0 400187 184 0 0 25 0 4 0 522137810 583323648 94970 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 142413 94970 393 112 0 137378 0
[pid=21010/tid=21013] ppid=21007 vsize=569652 CPUtime=1002.32 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 151921 0 0 0 100185 47 0 0 25 0 4 0 522137810 583323648 94970 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=569652 CPUtime=1002.32 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 158547 0 0 0 100168 64 0 0 25 0 4 0 522137810 583323648 94970 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=569652 CPUtime=996.74 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 79001 0 0 0 99647 27 0 0 25 0 4 0 522137810 583323648 94970 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.71
Current children cumulated vsize (KiB) 569652

[startup+1062.3 s]
/proc/loadavg: 8.00 8.02 7.89 10/184 21049
/proc/meminfo: memFree=29429408/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=556552 CPUtime=4243.39 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 550715 0 0 0 424145 194 0 0 25 0 4 0 522137810 569909248 102090 33554432000 4194304 4650419 140733322281472 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 139138 102090 393 112 0 134103 0
[pid=21010/tid=21013] ppid=21007 vsize=556552 CPUtime=1062.31 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 158063 0 0 0 106181 50 0 0 25 0 4 0 522137810 569909248 102090 33554432000 4194304 4650419 140733322281472 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=556552 CPUtime=1062.31 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 164980 0 0 0 106165 66 0 0 25 0 4 0 522137810 569909248 102090 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=556552 CPUtime=1056.41 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 82577 0 0 0 105612 29 0 0 25 0 4 0 522137810 569909248 102090 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.39
Current children cumulated vsize (KiB) 556552

[startup+1122.3 s]
/proc/loadavg: 8.00 8.01 7.89 10/184 21050
/proc/meminfo: memFree=29419088/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=586328 CPUtime=4483.06 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 566575 0 0 0 448104 202 0 0 25 0 4 0 522137810 600399872 105498 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 146582 105498 393 112 0 141547 0
[pid=21010/tid=21013] ppid=21007 vsize=586328 CPUtime=1122.32 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 163879 0 0 0 112179 53 0 0 25 0 4 0 522137810 600399872 105498 33554432000 4194304 4650419 140733322281472 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=586328 CPUtime=1122.32 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 171781 0 0 0 112163 69 0 0 25 0 4 0 522137810 600399872 105498 33554432000 4194304 4650419 140733322281472 18446744073709551615 4432399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=586328 CPUtime=1116.08 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 84040 0 0 0 111577 31 0 0 25 0 4 0 522137810 600399872 105498 33554432000 4194304 4650419 140733322281472 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.06
Current children cumulated vsize (KiB) 586328

[startup+1182.3 s]
/proc/loadavg: 8.03 8.02 7.90 9/184 21052
/proc/meminfo: memFree=29369088/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=589728 CPUtime=4722.71 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 573519 0 0 0 472065 206 0 0 25 0 4 0 522137810 603881472 105997 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 147432 105997 393 112 0 142397 0
[pid=21010/tid=21013] ppid=21007 vsize=589728 CPUtime=1182.32 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 164088 0 0 0 118179 53 0 0 25 0 4 0 522137810 603881472 105997 33554432000 4194304 4650419 140733322281472 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=589728 CPUtime=1182.32 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 172451 0 0 0 118163 69 0 0 25 0 4 0 522137810 603881472 105997 33554432000 4194304 4650419 140733322281472 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=589728 CPUtime=1175.73 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 85184 0 0 0 117541 32 0 0 25 0 4 0 522137810 603881472 105997 33554432000 4194304 4650419 140733322281472 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.71
Current children cumulated vsize (KiB) 589728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.15 8.05 7.92 10/184 21052
/proc/meminfo: memFree=29364372/32951124 swapFree=67111364/67111528
[pid=21010] ppid=21007 vsize=589728 CPUtime=4800.21 cores=0,2,4,6
/proc/21010/stat : 21010 (strangenight1-m) R 21007 21010 20975 0 -1 4202496 581540 0 0 0 479813 208 0 0 25 0 4 0 522137810 603881472 107734 33554432000 4194304 4650419 140733322281472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21010/statm: 147432 107734 393 112 0 142397 0
[pid=21010/tid=21013] ppid=21007 vsize=589728 CPUtime=1201.72 cores=0,2,4,6
/proc/21010/task/21013/stat : 21013 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 169534 0 0 0 120119 53 0 0 25 0 4 0 522137810 603881472 107734 33554432000 4194304 4650419 140733322281472 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21010/tid=21014] ppid=21007 vsize=589728 CPUtime=1201.73 cores=0,2,4,6
/proc/21010/task/21014/stat : 21014 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 172491 0 0 0 120104 69 0 0 25 0 4 0 522137810 603881472 107734 33554432000 4194304 4650419 140733322281472 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21010/tid=21015] ppid=21007 vsize=589728 CPUtime=1195.01 cores=0,2,4,6
/proc/21010/task/21015/stat : 21015 (strangenight1-m) R 21007 21010 20975 0 -1 4202560 86737 0 0 0 119468 33 0 0 25 0 4 0 522137810 603881472 107734 33554432000 4194304 4650419 140733322281472 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 589728

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.73
CPU time (s): 4800.27
CPU user time (s): 4798.16
CPU system time (s): 2.10368
CPU usage (%): 399.445
Max. virtual memory (cumulated for all children) (KiB): 640236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.16
system time used= 2.10368
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 581540
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= 257
involuntary context switches= 53525

runsolver used 1.85072 second user time and 4.76828 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-29 21:29:34
IDJOB=3175269
IDBENCH=82887
IDSOLVER=1588
FILE ID=node106/3175269-1304105374
RUNJOBID= node106-1304105374-20993
PBS_JOBID= 13170655
Free space on /tmp= 72160 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175269-1304105374/watcher-3175269-1304105374 -o /tmp/evaluation-result-3175269-1304105374/solver-3175269-1304105374 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175269-1304105374.cnf

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

MD5SUM BENCH= 9a5f08397d2e05808da45bc73aa751c4
RANDOM SEED=1632634727

node106.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.830
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.66
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.830
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.20
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.830
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.830
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.82
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.830
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.74
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.830
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.830
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.830
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30329004 kB
Buffers:        255452 kB
Cached:        2089240 kB
SwapCached:         88 kB
Active:         803172 kB
Inactive:      1605052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30329004 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           12556 kB
Writeback:           0 kB
AnonPages:       63288 kB
Mapped:          14420 kB
Slab:           146604 kB
PageTables:       5268 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185252 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= 72148 MiB
End job on node106 at 2011-04-29 21:49:38