Trace number 3368760

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.42 1203.94

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S2098066936-001.UNKNOWN.cnf
MD5SUM7a1181bb5cb0b1221253c27ad7ead33e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark347.943
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-3368760-1305402327.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        100
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	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.02
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.08	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.08	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.08	c calculated reachability. Time: 0.00
0.00/0.08	c Calc default polars -  time:   0.00 s pos:      48 undec:       5 neg:      47
0.00/0.08	c =========================================================================================
0.00/0.08	c types(t): F = full restart, N = normal restart
0.00/0.08	c types(t): S = simplification begin/end, E = solution found
0.00/0.08	c restart types(rt): st = static, dy = dynamic
0.00/0.08	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.08	c  B st     0         0       100      2130         0         0     10650         0   no data   no data  --
0.00/0.08	c Decided on static restart strategy
0.77/0.20	c  N st     8      4916       100      2130         0      4574     10650     97844   no data   no data  --
1.17/0.31	c  N st    10     11299       100      2130         0      4210     10650     72503   no data   no data  --
1.57/0.49	c  N st    11     17042       100      2130         0      9526     10650    182176   no data   no data  --
2.77/0.77	c  F st    12     25003       100      2130         0     11667     10650    225831   no data   no data  --
2.77/0.77	c  N st    12     25003       100      2130         0     11667     10650    225831   no data   no data  --
3.57/0.99	c Decided on static restart strategy
3.57/0.99	c  N st    18     30000       100      2130         0     10027     10650    184482   no data   no data  --
3.57/0.99	c  S st    18     30000       100      2130         0     10027     10650    184482   no data   no data  --
3.96/1.02	c  S st    18     30505       100      2130         0     10502     10650    194792   no data   no data  --
3.96/1.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.96/1.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.96/1.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
3.96/1.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.96/1.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.96/1.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.96/1.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.56/1.43	c lits-rem:      2248  cl-subs:     1908  v-elim:      0  v-fix:    0  time:  1.58 s
5.56/1.46	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.14
5.56/1.46	c calculated reachability. Time: 0.00
5.56/1.46	c  N st    18     30505       100      2130         0      8594     10650    152185   no data   no data  --
6.75/1.79	c  N st    20     37616       100      2130         0      7923     10650    126967   no data   no data  --
7.95/2.06	c  N st    21     44015       100      2130         0     13868     10650    256621   no data   no data  --
8.35/2.15	c  S st    22     45759       100      2130         0     15509     10650    292049   no data   no data  --
8.35/2.19	c  S st    22     46263       100      2130         0     15993     10650    302653   no data   no data  --
8.35/2.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.35/2.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.35/2.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
8.35/2.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.35/2.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.35/2.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
8.35/2.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.15/3.35	c lits-rem:      3316  cl-subs:     1912  v-elim:      0  v-fix:    0  time:  4.55 s
13.15/3.35	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
13.15/3.35	c vivif2 --  cl tried    14081 cl shrink        0 lits rem          0 time: 0.01
13.57/3.41	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.25
13.57/3.41	c calculated reachability. Time: 0.00
13.57/3.41	c  N st    22     46263       100      2130         0     14081     10650    258033   no data   no data  --
16.32/4.19	c  N st    23     60661       100      2130         0      9967     10650    148018   no data   no data  --
18.31/4.61	c  N st    24     69395       100      2130         0     18097     10650    321358   no data   no data  --
18.31/4.61	c  S st    24     69395       100      2130         0     18097     10650    321358   no data   no data  --
18.31/4.66	c  S st    24     69897       100      2130         0     18582     10650    332396   no data   no data  --
18.31/4.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.31/4.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.31/4.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
18.31/4.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.31/4.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.31/4.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
18.31/4.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.49/5.93	c lits-rem:      3933  cl-subs:     2361  v-elim:      0  v-fix:    0  time:  5.00 s
23.49/5.93	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
23.49/5.93	c vivif2 --  cl tried    16221 cl shrink        0 lits rem          0 time: 0.01
23.89/6.00	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.27
23.89/6.00	c calculated reachability. Time: 0.00
23.89/6.00	c  N st    24     69897       100      2130         0     16221     10650    280623   no data   no data  --
27.48/6.95	c  F st    25     87500       100      2130         0     11370     10650    162296   no data   no data  --
27.48/6.95	c  N st    25     87500       100      2130         0     11370     10650    162296   no data   no data  --
28.69/7.21	c Decided on static restart strategy
29.09/7.39	c  N st    32     95539       100      2130         0     18806     10650    321174   no data   no data  --
31.12/7.86	c  N st    34    104846       100      2130         0     15471     10650    247072   no data   no data  --
31.12/7.86	c  S st    34    104846       100      2130         0     15471     10650    247072   no data   no data  --
31.47/7.91	c  S st    34    105352       100      2130         0     15958     10650    257739   no data   no data  --
31.47/7.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
31.47/7.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
31.47/7.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
31.47/7.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
31.47/7.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31.47/7.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
31.47/7.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
35.51/8.93	c lits-rem:      1740  cl-subs:     1177  v-elim:      0  v-fix:    0  time:  3.99 s
35.51/8.93	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
35.51/8.93	c vivif2 --  cl tried    14781 cl shrink        0 lits rem          0 time: 0.01
35.85/9.00	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.28
35.85/9.00	c calculated reachability. Time: 0.00
35.85/9.00	c  N st    34    105352       100      2130         0     14781     10650    231655   no data   no data  --
38.25/9.61	c  N st    35    114950       100      2130         0     23575     10650    408683   no data   no data  --
41.84/10.54	c  N st    36    129349       100      2130         0     23965     10650    404563   no data   no data  --
47.83/12.05	c  N st    37    150945       100      2130         0     15322     10650    203954   no data   no data  --
49.41/12.49	c  S st    38    158028       100      2130         0     21830     10650    345269   no data   no data  --
49.81/12.55	c  S st    38    158530       100      2130         0     22314     10650    356225   no data   no data  --
49.81/12.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.81/12.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
49.81/12.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
49.81/12.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.81/12.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.81/12.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
49.81/12.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
54.60/13.77	c lits-rem:      2900  cl-subs:     2411  v-elim:      0  v-fix:    0  time:  4.82 s
54.60/13.77	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
54.60/13.77	c vivif2 --  cl tried    19903 cl shrink        0 lits rem          0 time: 0.01
55.00/13.86	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.33
55.00/13.86	c calculated reachability. Time: 0.00
55.00/13.86	c  N st    38    158530       100      2130         0     19903     10650    304242   no data   no data  --
68.96/17.31	c  N st    39    207118       100      2130         0     32439     10650    541887   no data   no data  --
78.54/19.70	c  N st    40    237796       100      2130         0     24746     10650    368916   no data   no data  --
78.54/19.70	c  S st    40    237796       100      2130         0     24746     10650    368916   no data   no data  --
78.54/19.77	c  S st    40    238301       100      2130         0     25226     10650    379333   no data   no data  --
78.54/19.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.54/19.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
78.54/19.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
78.54/19.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
78.54/19.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
78.54/19.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
78.54/19.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
84.10/21.16	c lits-rem:      3130  cl-subs:     2423  v-elim:      0  v-fix:    0  time:  5.48 s
84.10/21.16	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
84.10/21.16	c vivif2 --  cl tried    22803 cl shrink        0 lits rem          0 time: 0.02
84.50/21.26	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.38
84.50/21.26	c calculated reachability. Time: 0.00
84.50/21.26	c  N st    40    238301       100      2130         0     22803     10650    329587   no data   no data  --
108.03/27.16	c  F st    41    306250       100      2130         0     24857     10650    347755   no data   no data  --
108.03/27.16	c  N st    41    306250       100      2130         0     24857     10650    347755   no data   no data  --
109.65/27.59	c Decided on static restart strategy
119.60/30.04	c  N st    51    334559       100      2130         0     28985     10650    425195   no data   no data  --
128.77/32.30	c  N st    53    357451       100      2130         0     27109     10650    365573   no data   no data  --
128.77/32.30	c  S st    53    357451       100      2130         0     27109     10650    365573   no data   no data  --
128.77/32.37	c  S st    53    357952       100      2130         0     27594     10650    376582   no data   no data  --
128.77/32.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
128.77/32.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.77/32.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
128.77/32.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
128.77/32.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
128.77/32.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
128.77/32.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
133.55/33.56	c lits-rem:      2092  cl-subs:     1172  v-elim:      0  v-fix:    0  time:  4.70 s
133.55/33.56	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
133.55/33.57	c vivif2 --  cl tried    26422 cl shrink        0 lits rem          0 time: 0.02
133.95/33.69	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.47
133.95/33.69	c calculated reachability. Time: 0.00
133.95/33.69	c  N st    53    357952       100      2130         0     26422     10650    351540   no data   no data  --
146.32/36.78	c  N st    54    390347       100      2130         0     32292     10650    460459   no data   no data  --
168.25/42.22	c  N st    55    438935       100      2130         0     26343     10650    316877   no data   no data  --
197.38/49.53	c  N st    56    511817       100      2130         0     39056     10650    571131   no data   no data  --
208.13/52.28	c  N st    57    536931       100      2130         0     33755     10650    450760   no data   no data  --
208.13/52.28	c  S st    57    536931       100      2130         0     33755     10650    450760   no data   no data  --
208.53/52.37	c  S st    57    537434       100      2130         0     34239     10650    461672   no data   no data  --
208.53/52.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
208.53/52.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
208.53/52.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
208.53/52.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
208.53/52.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
208.53/52.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
208.53/52.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
215.35/54.08	c lits-rem:      2190  cl-subs:     1353  v-elim:      0  v-fix:    0  time:  6.72 s
215.35/54.08	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
215.35/54.09	c vivif2 --  cl tried    32886 cl shrink        0 lits rem          0 time: 0.02
216.09/54.23	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.58
216.09/54.23	c calculated reachability. Time: 0.00
216.09/54.23	c  N st    57    537434       100      2130         0     32886     10650    430281   no data   no data  --
299.04/75.01	c  N st    58    701418       100      2130         0     60314     10650    985685   no data   no data  --
357.25/89.69	c  N st    59    806151       100      2130         0     54425     10650    809635   no data   no data  --
357.25/89.69	c  S st    59    806151       100      2130         0     54425     10650    809635   no data   no data  --
358.05/89.85	c  S st    59    806656       100      2130         0     54906     10650    820876   no data   no data  --
358.05/89.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
358.05/89.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
358.05/89.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
358.45/89.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
358.45/89.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
358.45/89.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
358.45/89.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
375.99/94.37	c lits-rem:      3152  cl-subs:     5904  v-elim:      0  v-fix:    0  time: 17.82 s
375.99/94.37	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
375.99/94.38	c vivif2 --  cl tried    49002 cl shrink        0 lits rem          0 time: 0.03
376.79/94.60	c asymm  cl-useful: 0/1923/2130 lits-rem:0 time: 0.90
376.79/94.60	c calculated reachability. Time: 0.00
376.79/94.60	c  N st    59    806656       100      2130         0     49002     10650    707029   no data   no data  --
541.07/135.72	c  F st    60   1071877       100      2130         0     64335     10650    962097   no data   no data  --
541.07/135.72	c  N st    60   1071877       100      2130         0     64335     10650    962097   no data   no data  --
545.45/136.87	c Decided on static restart strategy
561.01/140.77	c  N st    70   1100178       100      2130         0     49244     10650    645116   no data   no data  --
586.52/147.18	c  N st    72   1136172       100      2130         0     82548     10650   1373695   no data   no data  --
610.84/153.20	c  N st    73   1168564       100      2130         0     69907     10650   1056829   no data   no data  --
640.38/160.67	c  N st    74   1209986       100      2130         0     64732     10650    931696   no data   no data  --
640.38/160.67	c  S st    74   1209986       100      2130         0     64732     10650    931696   no data   no data  --
641.14/160.87	c  S st    74   1210489       100      2130         0     65213     10650    942822   no data   no data  --
641.14/160.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
641.14/160.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
641.54/160.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
641.54/160.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
641.54/160.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
641.54/160.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
641.54/160.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
675.05/169.36	c lits-rem:      6784  cl-subs:     6159  v-elim:      0  v-fix:    0  time: 33.60 s
675.05/169.36	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
675.05/169.37	c vivif2 --  cl tried    59054 cl shrink        0 lits rem          0 time: 0.04
676.63/169.72	c asymm  cl-useful: 0/1628/2130 lits-rem:0 time: 1.41
676.63/169.73	c calculated reachability. Time: 0.00
676.63/169.73	c  N st    74   1210489       100      2130         0     59054     10650    822347   no data   no data  --
730.87/183.36	c  N st    75   1283372       100      2130         0     82014     10650   1282800   no data   no data  --
826.56/207.36	c  N st    76   1392695       100      2130         0     91482     10650   1455868   no data   no data  --
949.77/238.25	c  N st    77   1556679       100      2130         0     98820     10650   1577127   no data   no data  --
1076.17/269.92	c  N st    78   1710490       100      2130         0     88606     10650   1348035   no data   no data  --
1076.17/269.92	c  S st    78   1710490       100      2130         0     88606     10650   1348035   no data   no data  --
1077.38/270.21	c  S st    78   1710995       100      2130         0     89088     10650   1359019   no data   no data  --
1077.38/270.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1077.38/270.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1077.38/270.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1077.77/270.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1077.77/270.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1077.77/270.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1077.77/270.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1169.88/293.47	c lits-rem:      3057  cl-subs:    12314  v-elim:      0  v-fix:    0  time: 92.33 s
1169.88/293.47	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1169.88/293.48	c vivif2 --  cl tried    76774 cl shrink        0 lits rem          0 time: 0.07
1170.68/293.70	c asymm  cl-useful: 0/502/2130 lits-rem:0 time: 0.86
1170.68/293.70	c calculated reachability. Time: 0.00
1170.68/293.70	c  N st    78   1710995       100      2130         0     76774     10650   1117463   no data   no data  --
1494.05/374.71	c  N st    79   2079959       100      2130         0     88654     10650   1303100   no data   no data  --
1622.87/407.03	c  N st    80   2210996       100      2130         0     92499     10650   1350964   no data   no data  --
1622.87/407.03	c  S st    80   2210996       100      2130         0     92499     10650   1350964   no data   no data  --
1624.03/407.35	c  S st    80   2211497       100      2130         0     92977     10650   1361847   no data   no data  --
1624.03/407.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1624.03/407.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1624.43/407.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
1624.43/407.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1624.43/407.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1624.43/407.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1624.43/407.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1687.83/423.35	c lits-rem:      5022  cl-subs:    10098  v-elim:      0  v-fix:    0  time: 63.45 s
1687.83/423.35	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1687.83/423.37	c vivif2 --  cl tried    82879 cl shrink        0 lits rem          0 time: 0.06
1689.08/423.68	c asymm  cl-useful: 0/1192/2130 lits-rem:0 time: 1.22
1689.08/423.68	c calculated reachability. Time: 0.00
1689.08/423.68	c  N st    80   2211497       100      2130         0     82879     10650   1160104   no data   no data  --
2218.16/556.32	c  N st    81   2711499       100      2130         0    104715     10650   1506132   no data   no data  --
2218.16/556.32	c  S st    81   2711499       100      2130         0    104715     10650   1506132   no data   no data  --
2219.38/556.67	c  S st    81   2711999       100      2130         0    105190     10650   1516971   no data   no data  --
2219.38/556.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2219.38/556.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2219.80/556.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2219.80/556.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2219.80/556.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2219.80/556.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2219.80/556.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2317.04/581.17	c lits-rem:      1783  cl-subs:    15739  v-elim:      0  v-fix:    0  time: 97.22 s
2317.04/581.17	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2317.04/581.19	c vivif2 --  cl tried    89451 cl shrink        0 lits rem          0 time: 0.08
2319.04/581.64	c asymm  cl-useful: 0/907/2130 lits-rem:0 time: 1.83
2319.04/581.65	c calculated reachability. Time: 0.00
2319.04/581.65	c  N st    81   2711999       100      2130         0     89451     10650   1222727   no data   no data  --
2890.87/725.08	c  N st    82   3212000       100      2130         0    139199     10650   2209849   no data   no data  --
2890.87/725.08	c  S st    82   3212000       100      2130         0    139199     10650   2209849   no data   no data  --
2892.81/725.56	c  S st    82   3212503       100      2130         0    139679     10650   2220833   no data   no data  --
2892.81/725.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2892.81/725.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2893.21/725.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.28
2893.61/725.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2893.61/725.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2893.61/725.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2893.61/725.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3161.56/792.94	c lits-rem:      6251  cl-subs:    24719  v-elim:      0  v-fix:    0  time: 268.02 s
3161.56/792.94	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3161.56/792.96	c vivif2 --  cl tried   114960 cl shrink        0 lits rem          0 time: 0.09
3163.14/793.32	c asymm  cl-useful: 0/864/2130 lits-rem:0 time: 1.41
3163.14/793.32	c calculated reachability. Time: 0.00
3163.14/793.32	c  N st    82   3212503       100      2130         0    114960     10650   1747803   no data   no data  --
3726.95/934.74	c  N st    83   3712506       100      2130         0    133162     10650   2030926   no data   no data  --
3726.95/934.74	c  S st    83   3712506       100      2130         0    133162     10650   2030926   no data   no data  --
3728.93/935.24	c  S st    83   3713008       100      2130         0    133633     10650   2042027   no data   no data  --
3728.93/935.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3728.93/935.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3729.33/935.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.26
3729.33/935.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3729.33/935.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3729.33/935.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3729.33/935.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3905.18/979.48	c lits-rem:      7222  cl-subs:    17441  v-elim:      0  v-fix:    0  time: 175.76 s
3905.18/979.48	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3905.58/979.50	c vivif2 --  cl tried   116192 cl shrink        0 lits rem          0 time: 0.09
3906.78/979.87	c asymm  cl-useful: 0/733/2130 lits-rem:0 time: 1.46
3906.78/979.87	c calculated reachability. Time: 0.00
3906.78/979.87	c  N st    83   3713008       100      2130         0    116192     10650   1706123   no data   no data  --
3966.58/994.83	c  F st    84   3751562       100      2130         0    151327     10650   2453664   no data   no data  --
3966.58/994.83	c  N st    84   3751562       100      2130         0    151327     10650   2453664   no data   no data  --
3975.36/997.03	c Decided on static restart strategy
3999.69/1003.11	c  N st    94   3779866       100      2130         0    101459     10650   1361571   no data   no data  --
4043.55/1014.15	c  N st    96   3815859       100      2130         0    134588     10650   2081703   no data   no data  --
4097.02/1027.57	c  N st    97   3848251       100      2130         0     86926     10650   1015163   no data   no data  --
4156.39/1042.45	c  N st    98   3896840       100      2130         0    131696     10650   2035896   no data   no data  --
4256.07/1067.43	c  N st    99   3969723       100      2130         0    119557     10650   1719015   no data   no data  --
4432.71/1111.75	c  N st   100   4079046       100      2130         0    139952     10650   2134435   no data   no data  --
4667.96/1170.75	c  N st   101   4213010       100      2130         0    100430     10650   1243980   no data   no data  --
4667.96/1170.75	c  S st   101   4213010       100      2130         0    100430     10650   1243980   no data   no data  --
4669.96/1171.22	c  S st   101   4213511       100      2130         0    100905     10650   1254751   no data   no data  --
4669.96/1171.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4669.96/1171.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4669.96/1171.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.25
4670.36/1171.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4670.36/1171.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4670.36/1171.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4670.36/1171.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4754.09/1192.33	c lits-rem:      1936  cl-subs:     6581  v-elim:      0  v-fix:    0  time: 83.69 s
4754.09/1192.33	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4754.09/1192.35	c vivif2 --  cl tried    94324 cl shrink        0 lits rem          0 time: 0.08
4755.27/1192.64	c asymm  cl-useful: 0/533/2130 lits-rem:0 time: 1.14
4755.27/1192.64	c calculated reachability. Time: 0.00
4755.27/1192.64	c  N st   101   4213511       100      2130         0     94324     10650   1136572   no data   no data  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368760-1305402327/watcher-3368760-1305402327 -o /tmp/evaluation-result-3368760-1305402327/solver-3368760-1305402327 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368760-1305402327.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.52 7.99 8.05 1/381 11522
/proc/meminfo: memFree=14893596/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=281648 CPUtime=0.01 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 708 0 0 0 1 0 0 0 25 0 4 0 730463373 288407552 625 33554432000 4194304 4650419 140737282799696 18446744073709551615 216735221895 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 70411 632 350 112 0 65376 0
[pid=11522/tid=11523] ppid=11520 vsize=281636 CPUtime=0 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 95 0 0 0 0 0 0 0 25 0 4 0 730463373 288395264 684 33554432000 4194304 4650419 140737282799696 18446744073709551615 4370465 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=281636 CPUtime=0 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 45 0 0 0 0 0 0 0 25 0 4 0 730463373 288395264 684 33554432000 4194304 4650419 140737282799696 18446744073709551615 216735283694 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=281636 CPUtime=0 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 110 0 0 0 0 0 0 0 25 0 4 0 730463373 288395264 684 33554432000 4194304 4650419 140737282799696 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.114228 s]
/proc/loadavg: 7.52 7.99 8.05 1/381 11522
/proc/meminfo: memFree=14893596/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=282548 CPUtime=0.42 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 1788 0 0 0 42 0 0 0 25 0 4 0 730463373 289329152 1647 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365494 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 70637 1647 389 112 0 65602 0
[pid=11522/tid=11523] ppid=11520 vsize=282548 CPUtime=0.1 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 395 0 0 0 10 0 0 0 25 0 4 0 730463373 289329152 1647 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=282548 CPUtime=0.09 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 339 0 0 0 9 0 0 0 25 0 4 0 730463373 289329152 1647 33554432000 4194304 4650419 140737282799696 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=282548 CPUtime=0.1 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 264 0 0 0 10 0 0 0 25 0 4 0 730463373 289329152 1647 33554432000 4194304 4650419 140737282799696 18446744073709551615 4330876 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282548

[startup+0.200239 s]
/proc/loadavg: 7.52 7.99 8.05 1/381 11522
/proc/meminfo: memFree=14893596/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=283680 CPUtime=0.77 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 2476 0 0 0 77 0 0 0 25 0 4 0 730463373 290488320 1816 33554432000 4194304 4650419 140737282799696 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 70920 1816 391 112 0 65885 0
[pid=11522/tid=11523] ppid=11520 vsize=283680 CPUtime=0.19 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 550 0 0 0 19 0 0 0 25 0 4 0 730463373 290488320 1816 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=283680 CPUtime=0.18 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 518 0 0 0 18 0 0 0 25 0 4 0 730463373 290488320 1816 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=283680 CPUtime=0.19 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 441 0 0 0 19 0 0 0 25 0 4 0 730463373 290488320 1816 33554432000 4194304 4650419 140737282799696 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283680

[startup+0.300196 s]
/proc/loadavg: 7.52 7.99 8.05 1/381 11522
/proc/meminfo: memFree=14893596/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=283960 CPUtime=1.17 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 2971 0 0 0 117 0 0 0 25 0 4 0 730463373 290775040 2116 33554432000 4194304 4650419 140737282799696 18446744073709551615 4339948 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 70990 2116 391 112 0 65955 0
[pid=11522/tid=11523] ppid=11520 vsize=283960 CPUtime=0.29 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 762 0 0 0 29 0 0 0 25 0 4 0 730463373 290775040 2116 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=283960 CPUtime=0.28 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 608 0 0 0 28 0 0 0 25 0 4 0 730463373 290775040 2116 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=283960 CPUtime=0.29 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 541 0 0 0 29 0 0 0 25 0 4 0 730463373 290775040 2116 33554432000 4194304 4650419 140737282799696 18446744073709551615 4339844 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283960

[startup+0.701126 s]
/proc/loadavg: 7.52 7.99 8.05 1/381 11522
/proc/meminfo: memFree=14893596/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=285156 CPUtime=2.77 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 5080 0 0 0 277 0 0 0 25 0 4 0 730463373 291999744 2635 33554432000 4194304 4650419 140737282799696 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 71289 2635 391 112 0 66254 0
[pid=11522/tid=11523] ppid=11520 vsize=285156 CPUtime=0.69 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 1195 0 0 0 69 0 0 0 25 0 4 0 730463373 291999744 2635 33554432000 4194304 4650419 140737282799696 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=285156 CPUtime=0.68 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 1187 0 0 0 68 0 0 0 25 0 4 0 730463373 291999744 2635 33554432000 4194304 4650419 140737282799696 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=285156 CPUtime=0.69 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 1075 0 0 0 69 0 0 0 25 0 4 0 730463373 291999744 2635 33554432000 4194304 4650419 140737282799696 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285156

[startup+1.50099 s]
/proc/loadavg: 7.52 7.99 8.05 9/390 11560
/proc/meminfo: memFree=14868568/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=277568 CPUtime=5.96 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 10014 0 0 0 595 1 0 0 25 0 4 0 730463373 284229632 5368 33554432000 4194304 4650419 140737282799696 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 69392 5368 393 112 0 64357 0
[pid=11522/tid=11523] ppid=11520 vsize=277568 CPUtime=1.49 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 2910 0 0 0 149 0 0 0 25 0 4 0 730463373 284229632 5368 33554432000 4194304 4650419 140737282799696 18446744073709551615 4541674 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=277568 CPUtime=1.47 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 2017 0 0 0 147 0 0 0 25 0 4 0 730463373 284229632 5368 33554432000 4194304 4650419 140737282799696 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=277568 CPUtime=1.49 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 1866 0 0 0 149 0 0 0 25 0 4 0 730463373 284229632 5368 33554432000 4194304 4650419 140737282799696 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 277568

[startup+3.10071 s]
/proc/loadavg: 7.52 7.99 8.05 9/390 11560
/proc/meminfo: memFree=14835224/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=276560 CPUtime=12.33 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 16452 0 0 0 1231 2 0 0 25 0 4 0 730463373 283197440 10073 33554432000 4194304 4650419 140737282799696 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 69140 10073 393 112 0 64105 0
[pid=11522/tid=11523] ppid=11520 vsize=276560 CPUtime=3.09 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 3577 0 0 0 309 0 0 0 25 0 4 0 730463373 283197440 10073 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=276560 CPUtime=3.05 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 4047 0 0 0 305 0 0 0 25 0 4 0 730463373 283197440 10073 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=276560 CPUtime=3.09 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 4286 0 0 0 308 1 0 0 25 0 4 0 730463373 283197440 10073 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 276560

[startup+6.30116 s]
/proc/loadavg: 7.56 7.99 8.05 10/390 11561
/proc/meminfo: memFree=14794888/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=280472 CPUtime=25.09 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 24921 0 0 0 2505 4 0 0 25 0 4 0 730463373 287203328 13493 33554432000 4194304 4650419 140737282799696 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 70118 13493 393 112 0 65083 0
[pid=11522/tid=11523] ppid=11520 vsize=280472 CPUtime=6.28 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 6135 0 0 0 628 0 0 0 25 0 4 0 730463373 287203328 13493 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=280472 CPUtime=6.2 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 6604 0 0 0 620 0 0 0 25 0 4 0 730463373 287203328 13493 33554432000 4194304 4650419 140737282799696 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=280472 CPUtime=6.29 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 5798 0 0 0 628 1 0 0 25 0 4 0 730463373 287203328 13493 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 280472

[startup+12.701 s]
/proc/loadavg: 7.59 7.99 8.05 10/390 11561
/proc/meminfo: memFree=14758556/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=291016 CPUtime=50.61 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 36871 0 0 0 5055 6 0 0 25 0 4 0 730463373 298000384 17225 33554432000 4194304 4650419 140737282799696 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 72754 17225 393 112 0 67719 0
[pid=11522/tid=11523] ppid=11520 vsize=291016 CPUtime=12.68 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 9523 0 0 0 1267 1 0 0 25 0 4 0 730463373 298000384 17225 33554432000 4194304 4650419 140737282799696 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=291016 CPUtime=12.53 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 9366 0 0 0 1252 1 0 0 25 0 4 0 730463373 298000384 17225 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=291016 CPUtime=12.69 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 8437 0 0 0 1267 2 0 0 25 0 4 0 730463373 298000384 17225 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 291016

[startup+25.5008 s]
/proc/loadavg: 7.68 7.99 8.05 9/390 11561
/proc/meminfo: memFree=14698700/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=297720 CPUtime=101.65 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 56777 0 0 0 10153 12 0 0 25 0 4 0 730463373 304865280 20907 33554432000 4194304 4650419 140737282799696 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 74430 20907 393 112 0 69395 0
[pid=11522/tid=11523] ppid=11520 vsize=297720 CPUtime=25.49 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 15373 0 0 0 2546 3 0 0 25 0 4 0 730463373 304865280 20907 33554432000 4194304 4650419 140737282799696 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=297720 CPUtime=25.17 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 15277 0 0 0 2515 2 0 0 25 0 4 0 730463373 304865280 20907 33554432000 4194304 4650419 140737282799696 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=297720 CPUtime=25.49 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 11375 0 0 0 2546 3 0 0 25 0 4 0 730463373 304865280 20907 33554432000 4194304 4650419 140737282799696 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 297720

[startup+51.1003 s]
/proc/loadavg: 7.85 8.00 8.05 9/390 11563
/proc/meminfo: memFree=14636256/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=303712 CPUtime=203.73 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 89113 0 0 0 20353 20 0 0 25 0 4 0 730463373 311001088 28378 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 75928 28379 393 112 0 70893 0
[pid=11522/tid=11523] ppid=11520 vsize=303712 CPUtime=51.08 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 24845 0 0 0 5103 5 0 0 25 0 4 0 730463373 311001088 28379 33554432000 4194304 4650419 140737282799696 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=303712 CPUtime=50.45 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 23665 0 0 0 5041 4 0 0 25 0 4 0 730463373 311001088 28379 33554432000 4194304 4650419 140737282799696 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=303712 CPUtime=51.09 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 16289 0 0 0 5105 4 0 0 25 0 4 0 730463373 311001088 28379 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.73
Current children cumulated vsize (KiB) 303712

[startup+102.3 s]
/proc/loadavg: 7.99 8.02 8.05 9/390 11564
/proc/meminfo: memFree=14586596/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=292140 CPUtime=407.91 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 141087 0 0 0 40755 36 0 0 25 0 4 0 730463373 299151360 35644 33554432000 4194304 4650419 140737282799696 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 73035 35644 393 112 0 68000 0
[pid=11522/tid=11523] ppid=11520 vsize=292140 CPUtime=102.3 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 39333 0 0 0 10220 10 0 0 25 0 4 0 730463373 299151360 35645 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=292140 CPUtime=101.02 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 38433 0 0 0 10092 10 0 0 25 0 4 0 730463373 299151360 35645 33554432000 4194304 4650419 140737282799696 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=292140 CPUtime=102.3 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 22900 0 0 0 10224 6 0 0 25 0 4 0 730463373 299151360 35645 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.91
Current children cumulated vsize (KiB) 292140

[startup+162.301 s]

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

[pid=11522] ppid=11520 vsize=463496 CPUtime=2561.06 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 422066 0 0 0 255951 155 0 0 25 0 4 0 730463373 474619904 84914 33554432000 4194304 4650419 140737282799696 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 115874 84914 393 112 0 110839 0
[pid=11522/tid=11523] ppid=11520 vsize=463496 CPUtime=642.3 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 116794 0 0 0 64189 41 0 0 25 0 4 0 730463373 474619904 84914 33554432000 4194304 4650419 140737282799696 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=463496 CPUtime=634.16 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 117191 0 0 0 63369 47 0 0 25 0 4 0 730463373 474619904 84914 33554432000 4194304 4650419 140737282799696 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=463496 CPUtime=642.3 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 68411 0 0 0 64203 27 0 0 25 0 4 0 730463373 474619904 84914 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2561.06
Current children cumulated vsize (KiB) 463496

[startup+702.301 s]
/proc/loadavg: 8.13 8.09 8.07 9/390 11583
/proc/meminfo: memFree=14188880/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=529180 CPUtime=2800.3 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 445729 0 0 0 279863 167 0 0 25 0 4 0 730463373 541880320 90371 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 132295 90371 393 112 0 127260 0
[pid=11522/tid=11523] ppid=11520 vsize=529180 CPUtime=702.3 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 122256 0 0 0 70187 43 0 0 25 0 4 0 730463373 541880320 90371 33554432000 4194304 4650419 140737282799696 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=529180 CPUtime=693.39 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 125398 0 0 0 69288 51 0 0 25 0 4 0 730463373 541880320 90371 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=529180 CPUtime=702.3 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 73255 0 0 0 70201 29 0 0 25 0 4 0 730463373 541880320 90371 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2800.3
Current children cumulated vsize (KiB) 529180

[startup+762.3 s]
/proc/loadavg: 8.12 8.09 8.07 9/390 11586
/proc/meminfo: memFree=14161676/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=540032 CPUtime=3039.57 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 460729 0 0 0 303784 173 0 0 25 0 4 0 730463373 552992768 92773 33554432000 4194304 4650419 140737282799696 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 135008 92773 393 112 0 129973 0
[pid=11522/tid=11523] ppid=11520 vsize=540032 CPUtime=762.31 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 125987 0 0 0 76186 45 0 0 25 0 4 0 730463373 552992768 92773 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=540032 CPUtime=752.63 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 131109 0 0 0 75211 52 0 0 25 0 4 0 730463373 552992768 92773 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=540032 CPUtime=762.32 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 75676 0 0 0 76201 31 0 0 25 0 4 0 730463373 552992768 92773 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3039.57
Current children cumulated vsize (KiB) 540032

[startup+822.301 s]
/proc/loadavg: 8.11 8.08 8.07 9/390 11587
/proc/meminfo: memFree=14108076/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=618656 CPUtime=3278.78 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 479237 0 0 0 327697 181 0 0 25 0 4 0 730463373 633503744 99703 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 154664 99703 393 112 0 149629 0
[pid=11522/tid=11523] ppid=11520 vsize=618656 CPUtime=822.3 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 131261 0 0 0 82183 47 0 0 25 0 4 0 730463373 633503744 99703 33554432000 4194304 4650419 140737282799696 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=618656 CPUtime=811.86 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 137594 0 0 0 81131 55 0 0 25 0 4 0 730463373 633503744 99703 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=618656 CPUtime=822.31 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 79360 0 0 0 82198 33 0 0 25 0 4 0 730463373 633503744 99703 33554432000 4194304 4650419 140737282799696 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3278.78
Current children cumulated vsize (KiB) 618656

[startup+882.314 s]
/proc/loadavg: 8.04 8.07 8.06 9/390 11590
/proc/meminfo: memFree=14105924/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=605876 CPUtime=3518.07 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 499491 0 0 0 351614 193 0 0 25 0 4 0 730463373 620417024 97796 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 151469 97796 393 112 0 146434 0
[pid=11522/tid=11523] ppid=11520 vsize=605876 CPUtime=882.31 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 138961 0 0 0 88180 51 0 0 25 0 4 0 730463373 620417024 97796 33554432000 4194304 4650419 140737282799696 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=605876 CPUtime=871.11 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 142464 0 0 0 87052 59 0 0 25 0 4 0 730463373 620417024 97796 33554432000 4194304 4650419 140737282799696 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=605876 CPUtime=882.32 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 80762 0 0 0 88198 34 0 0 25 0 4 0 730463373 620417024 97796 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3518.07
Current children cumulated vsize (KiB) 605876

[startup+942.301 s]
/proc/loadavg: 8.12 8.08 8.07 9/390 11602
/proc/meminfo: memFree=14132628/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=475796 CPUtime=3757.26 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 517848 0 0 0 375521 205 0 0 25 0 4 0 730463373 487215104 91155 33554432000 4194304 4650419 140737282799696 18446744073709551615 4433084 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 118949 91155 393 112 0 113914 0
[pid=11522/tid=11523] ppid=11520 vsize=475796 CPUtime=942.29 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 144390 0 0 0 94175 54 0 0 25 0 4 0 730463373 487215104 91155 33554432000 4194304 4650419 140737282799696 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=475796 CPUtime=930.34 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 147496 0 0 0 92972 62 0 0 25 0 4 0 730463373 487215104 91155 33554432000 4194304 4650419 140737282799696 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=475796 CPUtime=942.31 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 85265 0 0 0 94194 37 0 0 25 0 4 0 730463373 487215104 91155 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3757.26
Current children cumulated vsize (KiB) 475796

[startup+1002.3 s]
/proc/loadavg: 8.14 8.09 8.07 9/390 11603
/proc/meminfo: memFree=14160708/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=547688 CPUtime=3996.49 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 534248 0 0 0 399432 217 0 0 25 0 4 0 730463373 560832512 90757 33554432000 4194304 4650419 140737282799696 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 136922 90757 393 112 0 131887 0
[pid=11522/tid=11523] ppid=11520 vsize=547688 CPUtime=1002.29 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 148911 0 0 0 100171 58 0 0 25 0 4 0 730463373 560832512 90757 33554432000 4194304 4650419 140737282799696 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=547688 CPUtime=989.57 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 153310 0 0 0 98892 65 0 0 25 0 4 0 730463373 560832512 90757 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=547688 CPUtime=1002.31 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 89369 0 0 0 100191 40 0 0 25 0 4 0 730463373 560832512 90757 33554432000 4194304 4650419 140737282799696 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3996.49
Current children cumulated vsize (KiB) 547688

[startup+1062.3 s]
/proc/loadavg: 8.10 8.09 8.07 10/390 11605
/proc/meminfo: memFree=14100736/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=563188 CPUtime=4235.74 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 555291 0 0 0 423346 228 0 0 25 0 4 0 730463373 576704512 95890 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 140797 95890 393 112 0 135762 0
[pid=11522/tid=11523] ppid=11520 vsize=563188 CPUtime=1062.3 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 154222 0 0 0 106169 61 0 0 25 0 4 0 730463373 576704512 95890 33554432000 4194304 4650419 140737282799696 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=563188 CPUtime=1048.82 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 158242 0 0 0 104815 67 0 0 25 0 4 0 730463373 576704512 95890 33554432000 4194304 4650419 140737282799696 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=563188 CPUtime=1062.31 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 93899 0 0 0 106188 43 0 0 25 0 4 0 730463373 576704512 95890 33554432000 4194304 4650419 140737282799696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4235.74
Current children cumulated vsize (KiB) 563188

[startup+1122.3 s]
/proc/loadavg: 8.08 8.08 8.07 9/390 11606
/proc/meminfo: memFree=14059032/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=577792 CPUtime=4474.97 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 567614 0 0 0 447262 235 0 0 25 0 4 0 730463373 591659008 108084 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 144448 108084 393 112 0 139413 0
[pid=11522/tid=11523] ppid=11520 vsize=577792 CPUtime=1122.3 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 158122 0 0 0 112168 62 0 0 25 0 4 0 730463373 591659008 108084 33554432000 4194304 4650419 140737282799696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=577792 CPUtime=1108.05 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 161512 0 0 0 110736 69 0 0 25 0 4 0 730463373 591659008 108084 33554432000 4194304 4650419 140737282799696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=577792 CPUtime=1122.3 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 94732 0 0 0 112187 43 0 0 25 0 4 0 730463373 591659008 108084 33554432000 4194304 4650419 140737282799696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4474.97
Current children cumulated vsize (KiB) 577792

[startup+1182.3 s]
/proc/loadavg: 8.12 8.10 8.07 9/390 11608
/proc/meminfo: memFree=14028444/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=586524 CPUtime=4714.22 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 577564 0 0 0 471183 239 0 0 25 0 4 0 730463373 600600576 111667 33554432000 4194304 4650419 140737282799696 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 146631 111667 393 112 0 141596 0
[pid=11522/tid=11523] ppid=11520 vsize=586524 CPUtime=1182.3 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 160896 0 0 0 118167 63 0 0 25 0 4 0 730463373 600600576 111667 33554432000 4194304 4650419 140737282799696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=586524 CPUtime=1167.29 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 161984 0 0 0 116660 69 0 0 25 0 4 0 730463373 600600576 111667 33554432000 4194304 4650419 140737282799696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=586524 CPUtime=1182.31 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 97557 0 0 0 118186 45 0 0 25 0 4 0 730463373 600600576 111667 33554432000 4194304 4650419 140737282799696 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4714.22
Current children cumulated vsize (KiB) 586524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 8.16 8.11 8.08 9/390 11608
/proc/meminfo: memFree=14048508/32951124 swapFree=65586204/67111528
[pid=11522] ppid=11520 vsize=586524 CPUtime=4800.35 cores=1,3,5,7
/proc/11522/stat : 11522 (strangenight1-m) R 11520 11522 11082 0 -1 4202496 580783 0 0 0 479795 240 0 0 25 0 4 0 730463373 600600576 106134 33554432000 4194304 4650419 140737282799696 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11522/statm: 146631 106134 393 112 0 141596 0
[pid=11522/tid=11523] ppid=11520 vsize=586524 CPUtime=1203.92 cores=1,3,5,7
/proc/11522/task/11523/stat : 11523 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 162264 0 0 0 120329 63 0 0 25 0 4 0 730463373 600600576 106135 33554432000 4194304 4650419 140737282799696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11522/tid=11524] ppid=11520 vsize=586524 CPUtime=1188.61 cores=1,3,5,7
/proc/11522/task/11524/stat : 11524 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 161984 0 0 0 118792 69 0 0 25 0 4 0 730463373 600600576 106135 33554432000 4194304 4650419 140737282799696 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11522/tid=11525] ppid=11520 vsize=586524 CPUtime=1203.92 cores=1,3,5,7
/proc/11522/task/11525/stat : 11525 (strangenight1-m) R 11520 11522 11082 0 -1 4202560 97557 0 0 0 120347 45 0 0 25 0 4 0 730463373 600600576 106135 33554432000 4194304 4650419 140737282799696 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 586524

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.94
CPU time (s): 4800.42
CPU user time (s): 4798
CPU system time (s): 2.42363
CPU usage (%): 398.726
Max. virtual memory (cumulated for all children) (KiB): 618656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798
system time used= 2.42363
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 580784
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= 186
involuntary context switches= 33898

runsolver used 4.42433 second user time and 10.8963 second system time

The end

Launcher Data 

Begin job on node119 at 2011-05-14 21:45:27
IDJOB=3368760
IDBENCH=82769
IDSOLVER=1846
FILE ID=node119/3368760-1305402327
RUNJOBID= node119-1305401121-11433
PBS_JOBID= 13324462
Free space on /tmp= 73188 MiB

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

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

MD5SUM BENCH= 7a1181bb5cb0b1221253c27ad7ead33e
RANDOM SEED=765209134

node119.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.815
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.63
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.815
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.83
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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
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.83
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.815
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.67
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.815
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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
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:      14893884 kB
Buffers:        283256 kB
Cached:        4559444 kB
SwapCached:       4756 kB
Active:       14707204 kB
Inactive:      3018424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14893884 kB
SwapTotal:    67111528 kB
SwapFree:     65586204 kB
Dirty:            6232 kB
Writeback:           0 kB
AnonPages:    12881468 kB
Mapped:          30216 kB
Slab:           210464 kB
PageTables:      56220 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 102490992 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= 73184 MiB
End job on node119 at 2011-05-14 22:05:33