Trace number 3175105

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf
MD5SUMbc5d8e174b258480cce7431b84990bdd
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.009997
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1704
Sum of the clauses size5112
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31704
Number of clauses of size 40
Number of clauses of size 50
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-3175105-1304087860.cnf'
0.00/0.00	c -- header says num vars:            400
0.00/0.00	c -- header says num clauses:        1704
0.00/0.00	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.00	c -- vars added        400
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       400      1704         0         0      5112         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/1704/1704 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
0.00/0.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     16  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     162 undec:      48 neg:     190
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       384      1687         0         0      5146         0   no data   no data  --
0.10/0.05	c Decided on static restart strategy
0.38/0.13	c  N st     8      4917       384      1687         0      4814      5146     91522   no data   no data  --
1.17/0.36	c  N st    10     11300       384      1687         0      4469      5146     66421   no data   no data  --
2.37/0.60	c  N st    11     17044       384      1687         0     10058      5146    178604   no data   no data  --
3.57/0.98	c  F st    12     25002       384      1687         0     12341      5146    220265   no data   no data  --
3.57/0.98	c  N st    12     25002       384      1687         0     12341      5146    220265   no data   no data  --
4.78/1.23	c Decided on static restart strategy
4.78/1.23	c  N st    18     30001       384      1687         0     10609      5146    165197   no data   no data  --
4.78/1.23	c  S st    18     30001       384      1687         0     10609      5146    165197   no data   no data  --
4.78/1.26	c  S st    18     30503       384      1687         0     11110      5146    175058   no data   no data  --
4.78/1.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.78/1.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.78/1.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.78/1.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.78/1.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.78/1.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
4.78/1.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.57/1.43	c lits-rem:       202  cl-subs:      931  v-elim:      0  v-fix:    0  time:  0.65 s
5.57/1.44	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.03
5.57/1.44	c calculated reachability. Time: 0.00
5.57/1.44	c  N st    18     30503       384      1687         0     10179      5146    157140   no data   no data  --
7.17/1.81	c  N st    20     37613       384      1687         0      9441      5146    130425   no data   no data  --
8.39/2.16	c  N st    21     44014       384      1687         0     15579      5146    240881   no data   no data  --
8.79/2.28	c  S st    22     45755       384      1687         0     17268      5146    271937   no data   no data  --
9.16/2.32	c  S st    22     46259       384      1687         0      9127      5146    111545   no data   no data  --
9.16/2.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.16/2.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.16/2.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
9.16/2.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.16/2.38	c lits-rem:        57  cl-subs:      219  v-elim:      0  v-fix:    0  time:  0.21 s
9.16/2.38	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
9.16/2.38	c vivif2 --  cl tried     8908 cl shrink        0 lits rem          0 time: 0.00
9.16/2.39	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.03
9.16/2.39	c calculated reachability. Time: 0.00
9.16/2.39	c  N st    22     46259       384      1687         0      8908      5146    108094   no data   no data  --
12.79/3.26	c  N st    23     60656       384      1687         0     13195      5146    188929   no data   no data  --
15.56/3.91	c  N st    24     69388       384      1687         0     11032      5146    135267   no data   no data  --
15.56/3.91	c  S st    24     69388       384      1687         0     11032      5146    135267   no data   no data  --
15.56/3.94	c  S st    24     69893       384      1687         0     11536      5146    145100   no data   no data  --
15.56/3.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.56/3.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.56/3.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.56/3.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.56/3.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
15.56/3.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.96/4.08	c lits-rem:        56  cl-subs:      221  v-elim:      0  v-fix:    0  time:  0.50 s
15.96/4.08	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
15.96/4.08	c vivif2 --  cl tried    11315 cl shrink        0 lits rem          0 time: 0.01
15.96/4.09	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.03
15.96/4.09	c calculated reachability. Time: 0.00
15.96/4.09	c  N st    24     69893       384      1687         0     11315      5146    140786   no data   no data  --
20.75/5.29	c  F st    25     87501       384      1687         0     16679      5146    242976   no data   no data  --
20.75/5.29	c  N st    25     87501       384      1687         0     16679      5146    242976   no data   no data  --
22.35/5.69	c Decided on static restart strategy
23.55/5.95	c  N st    32     95543       384      1687         0     24501      5146    396411   no data   no data  --
26.36/6.63	c  N st    34    104839       384      1687         0     20974      5146    307008   no data   no data  --
26.36/6.63	c  S st    34    104839       384      1687         0     20974      5146    307008   no data   no data  --
26.36/6.69	c  S st    34    105345       384      1687         0     21480      5146    316976   no data   no data  --
26.36/6.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.36/6.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.74/6.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
26.74/6.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.74/6.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
26.74/6.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.15/7.38	c lits-rem:       401  cl-subs:     1340  v-elim:      0  v-fix:    0  time:  2.67 s
29.15/7.38	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
29.15/7.38	c vivif2 --  cl tried    20140 cl shrink        0 lits rem          0 time: 0.01
29.55/7.40	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.06
29.55/7.40	c calculated reachability. Time: 0.00
29.55/7.40	c  N st    34    105345       384      1687         0     20140      5146    291178   no data   no data  --
32.74/8.26	c  N st    35    114943       384      1687         0     15867      5146    189957   no data   no data  --
37.93/9.55	c  N st    36    129340       384      1687         0     15260      5146    168470   no data   no data  --
44.72/11.26	c  N st    37    150937       384      1687         0     20672      5146    265199   no data   no data  --
47.12/11.83	c  S st    38    158018       384      1687         0     27510      5146    394213   no data   no data  --
47.52/11.90	c  S st    38    158518       384      1687         0     28008      5146    404180   no data   no data  --
47.52/11.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.52/11.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.52/11.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
47.52/11.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.52/11.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.52/11.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
47.52/11.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
52.33/13.20	c lits-rem:       848  cl-subs:     2392  v-elim:      0  v-fix:    0  time:  5.08 s
52.33/13.20	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
52.33/13.20	c vivif2 --  cl tried    25616 cl shrink        0 lits rem          0 time: 0.02
52.73/13.22	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.08
52.73/13.22	c calculated reachability. Time: 0.00
52.73/13.22	c  N st    38    158518       384      1687         0     25616      5146    363135   no data   no data  --
72.29/18.19	c  N st    39    207107       384      1687         0     20497      5146    234164   no data   no data  --
85.87/21.50	c  N st    40    237777       384      1687         0     30729      5146    418308   no data   no data  --
85.87/21.50	c  S st    40    237777       384      1687         0     30729      5146    418308   no data   no data  --
85.87/21.58	c  S st    40    238278       384      1687         0     31229      5146    428436   no data   no data  --
85.87/21.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
85.87/21.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
85.87/21.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
86.27/21.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
86.27/21.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.27/21.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
86.27/21.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
91.88/23.04	c lits-rem:       866  cl-subs:     2421  v-elim:      0  v-fix:    0  time:  5.71 s
91.88/23.04	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
91.88/23.04	c vivif2 --  cl tried    28808 cl shrink        0 lits rem          0 time: 0.02
91.88/23.06	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.09
91.88/23.07	c calculated reachability. Time: 0.00
91.88/23.07	c  N st    40    238278       384      1687         0     28808      5146    387028   no data   no data  --
123.81/31.01	c  F st    41    306250       384      1687         0     30729      5146    380590   no data   no data  --
123.81/31.01	c  N st    41    306250       384      1687         0     30729      5146    380590   no data   no data  --
125.81/31.57	c Decided on static restart strategy
136.22/34.10	c  N st    51    334558       384      1687         0     35039      5146    474958   no data   no data  --
147.39/36.95	c  N st    53    357417       384      1687         0     33076      5146    407278   no data   no data  --
147.39/36.95	c  S st    53    357417       384      1687         0     33076      5146    407278   no data   no data  --
147.79/37.03	c  S st    53    357921       384      1687         0     33576      5146    417681   no data   no data  --
147.79/37.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
147.79/37.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
147.79/37.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
147.79/37.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
147.79/37.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.79/37.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
147.79/37.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
152.98/38.34	c lits-rem:       609  cl-subs:     1434  v-elim:      0  v-fix:    0  time:  5.11 s
152.98/38.34	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
152.98/38.34	c vivif2 --  cl tried    32142 cl shrink        0 lits rem          0 time: 0.02
152.98/38.37	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.10
152.98/38.37	c calculated reachability. Time: 0.00
152.98/38.37	c  N st    53    357921       384      1687         0     32142      5146    393009   no data   no data  --
170.56/42.72	c  N st    54    390313       384      1687         0     38161      5146    504050   no data   no data  --
195.73/49.04	c  N st    55    438901       384      1687         0     32021      5146    351691   no data   no data  --
231.67/58.01	c  N st    56    511783       384      1687         0     45334      5146    609993   no data   no data  --
245.26/61.45	c  N st    57    536882       384      1687         0     39677      5146    486096   no data   no data  --
245.26/61.45	c  S st    57    536882       384      1687         0     39677      5146    486096   no data   no data  --
245.67/61.56	c  S st    57    537385       384      1687         0     40179      5146    496525   no data   no data  --
245.67/61.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
245.67/61.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
245.67/61.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
245.67/61.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
245.67/61.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
245.67/61.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
245.67/61.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
252.05/63.16	c lits-rem:       735  cl-subs:     1393  v-elim:      0  v-fix:    0  time:  6.26 s
252.05/63.16	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
252.05/63.16	c vivif2 --  cl tried    38786 cl shrink        0 lits rem          0 time: 0.02
252.05/63.19	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.12
252.05/63.19	c calculated reachability. Time: 0.00
252.05/63.19	c  N st    57    537385       384      1687         0     38786      5146    470355   no data   no data  --
345.93/86.69	c  N st    58    701371       384      1687         0     67837      5146    983780   no data   no data  --
415.03/103.93	c  N st    59    806077       384      1687         0     61828      5146    819663   no data   no data  --
415.03/103.93	c  S st    59    806077       384      1687         0     61828      5146    819663   no data   no data  --
415.83/104.12	c  S st    59    806580       384      1687         0     62330      5146    829840   no data   no data  --
415.83/104.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
415.83/104.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
415.83/104.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
415.83/104.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
415.83/104.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
415.83/104.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
415.83/104.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
429.02/107.48	c lits-rem:      2023  cl-subs:     6341  v-elim:      0  v-fix:    0  time: 13.22 s
429.02/107.48	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
429.02/107.49	c vivif2 --  cl tried    55989 cl shrink        0 lits rem          0 time: 0.04
429.42/107.55	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.24
429.42/107.56	c calculated reachability. Time: 0.00
429.42/107.56	c  N st    59    806580       384      1687         0     55989      5146    722063   no data   no data  --
622.36/155.81	c  F st    60   1071875       384      1687         0     71470      5146    947066   no data   no data  --
622.36/155.81	c  N st    60   1071875       384      1687         0     71470      5146    947066   no data   no data  --
627.56/157.15	c Decided on static restart strategy
648.33/162.31	c  N st    70   1100179       384      1687         0     55513      5146    615024   no data   no data  --
681.48/170.69	c  N st    72   1136173       384      1687         0     45898      5146    429724   no data   no data  --
704.25/176.31	c  N st    73   1168567       384      1687         0     77304      5146   1104605   no data   no data  --
738.23/184.86	c  N st    74   1209870       384      1687         0     71791      5146    956487   no data   no data  --
738.23/184.86	c  S st    74   1209870       384      1687         0     71791      5146    956487   no data   no data  --
739.40/185.11	c  S st    74   1210373       384      1687         0     72293      5146    967080   no data   no data  --
739.40/185.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
739.40/185.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
739.40/185.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
739.40/185.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
739.40/185.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
739.40/185.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
739.40/185.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
758.59/189.92	c lits-rem:      1005  cl-subs:     5363  v-elim:      0  v-fix:    0  time: 18.95 s
758.59/189.92	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
758.59/189.94	c vivif2 --  cl tried    66930 cl shrink        0 lits rem          0 time: 0.05
758.99/190.05	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.44
758.99/190.05	c calculated reachability. Time: 0.00
758.99/190.05	c  N st    74   1210373       384      1687         0     66930      5146    865884   no data   no data  --
828.49/207.40	c  N st    75   1283256       384      1687         0     90945      5146   1287196   no data   no data  --
933.54/233.76	c  N st    76   1392581       384      1687         0     51809      5146    485193   no data   no data  --
1075.75/269.35	c  N st    77   1556565       384      1687         0     56769      5146    556844   no data   no data  --
1212.39/303.59	c  N st    78   1710373       384      1687         0     97593      5146   1352551   no data   no data  --
1212.39/303.59	c  S st    78   1710373       384      1687         0     97593      5146   1352551   no data   no data  --
1213.97/303.91	c  S st    78   1710877       384      1687         0     98092      5146   1362868   no data   no data  --
1213.97/303.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1213.97/303.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1213.97/303.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1214.37/304.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1214.37/304.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1214.37/304.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
1214.37/304.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1268.69/317.65	c lits-rem:       378  cl-subs:    11822  v-elim:      0  v-fix:    0  time: 54.50 s
1268.69/317.65	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
1268.69/317.67	c vivif2 --  cl tried    86270 cl shrink        0 lits rem          0 time: 0.07
1269.50/317.82	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.61
1269.50/317.83	c calculated reachability. Time: 0.00
1269.50/317.83	c  N st    78   1710877       384      1687         0     86270      5146   1147745   no data   no data  --
1656.58/414.73	c  N st    79   2079842       384      1687         0     98357      5146   1273592   no data   no data  --
1795.97/449.65	c  N st    80   2210877       384      1687         0    102009      5146   1350868   no data   no data  --
1795.97/449.65	c  S st    80   2210877       384      1687         0    102009      5146   1350868   no data   no data  --
1797.56/450.01	c  S st    80   2211380       384      1687         0    102510      5146   1361973   no data   no data  --
1797.56/450.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1797.56/450.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1797.56/450.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.19
1797.96/450.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1797.96/450.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1797.96/450.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
1797.96/450.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1857.10/464.97	c lits-rem:      1052  cl-subs:    12373  v-elim:      0  v-fix:    0  time: 59.36 s
1857.10/464.97	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
1857.10/464.99	c vivif2 --  cl tried    90137 cl shrink        0 lits rem          0 time: 0.07
1857.90/465.14	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.61
1857.90/465.15	c calculated reachability. Time: 0.00
1857.90/465.15	c  N st    80   2211380       384      1687         0     90137      5146   1136464   no data   no data  --
2403.17/601.61	c  N st    81   2711380       384      1687         0    114280      5146   1532782   no data   no data  --
2403.17/601.61	c  S st    81   2711380       384      1687         0    114280      5146   1532782   no data   no data  --
2404.74/602.09	c  S st    81   2711886       384      1687         0    114785      5146   1543270   no data   no data  --
2404.74/602.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2404.74/602.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2405.14/602.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2405.54/602.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2405.54/602.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2405.54/602.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
2405.54/602.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2461.06/616.14	c lits-rem:       687  cl-subs:     9084  v-elim:      0  v-fix:    0  time: 55.68 s
2461.06/616.14	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
2461.06/616.17	c vivif2 --  cl tried   105701 cl shrink        0 lits rem          0 time: 0.08
2461.86/616.36	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.76
2461.86/616.36	c calculated reachability. Time: 0.00
2461.86/616.36	c  N st    81   2711886       384      1687         0    105701      5146   1383237   no data   no data  --
3064.24/767.16	c  N st    82   3211887       384      1687         0     81430      5146    776609   no data   no data  --
3064.24/767.16	c  S st    82   3211887       384      1687         0     81430      5146    776609   no data   no data  --
3065.04/767.39	c  S st    82   3212388       384      1687         0     81928      5146    787497   no data   no data  --
3065.44/767.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3065.44/767.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3065.44/767.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
3065.44/767.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3065.44/767.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3065.44/767.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
3065.44/767.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3076.23/770.19	c lits-rem:       615  cl-subs:     1730  v-elim:      0  v-fix:    0  time: 10.91 s
3076.23/770.19	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
3076.63/770.20	c vivif2 --  cl tried    80198 cl shrink        0 lits rem          0 time: 0.04
3076.63/770.29	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.36
3077.03/770.30	c calculated reachability. Time: 0.00
3077.03/770.30	c  N st    82   3212388       384      1687         0     80198      5146    759100   no data   no data  --
3688.60/923.40	c  N st    83   3712389       384      1687         0     90674      5146    891010   no data   no data  --
3688.60/923.40	c  S st    83   3712389       384      1687         0     90674      5146    891010   no data   no data  --
3689.40/923.69	c  S st    83   3712891       384      1687         0     91175      5146    901832   no data   no data  --
3689.40/923.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3689.40/923.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3689.80/923.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3689.80/923.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3689.80/923.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3689.80/923.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
3689.80/923.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3703.80/927.22	c lits-rem:       533  cl-subs:     2788  v-elim:      0  v-fix:    0  time: 13.79 s
3703.80/927.22	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
3703.80/927.23	c vivif2 --  cl tried    88387 cl shrink        0 lits rem          0 time: 0.05
3704.20/927.34	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 0.43
3704.20/927.34	c calculated reachability. Time: 0.00
3704.20/927.34	c  N st    83   3712891       384      1687         0     88387      5146    853400   no data   no data  --
3753.31/939.62	c  F st    84   3751563       384      1687         0    125515      5146   1599703   no data   no data  --
3753.31/939.62	c  N st    84   3751563       384      1687         0    125515      5146   1599703   no data   no data  --
3761.31/941.65	c Decided on static restart strategy
3796.07/950.31	c  N st    94   3779872       384      1687         0    152824      5146   2154122   no data   no data  --
3835.20/960.17	c  N st    96   3815865       384      1687         0    105998      5146   1214227   no data   no data  --
3881.14/971.62	c  N st    97   3848263       384      1687         0    137116      5146   1848518   no data   no data  --
3960.63/991.50	c  N st    98   3896854       384      1687         0    100921      5146   1055662   no data   no data  --
4065.29/1017.77	c  N st    99   3969738       384      1687         0     87348      5146    790357   no data   no data  --
4216.28/1055.57	c  N st   100   4079063       384      1687         0    107728      5146   1185998   no data   no data  --
4416.03/1105.55	c  N st   101   4212891       384      1687         0    151369      5146   2100362   no data   no data  --
4416.03/1105.55	c  S st   101   4212891       384      1687         0    151369      5146   2100362   no data   no data  --
4418.40/1106.10	c  S st   101   4213393       384      1687         0    151870      5146   2110979   no data   no data  --
4418.40/1106.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4418.40/1106.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4418.40/1106.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.31
4418.81/1106.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4418.81/1106.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4418.81/1106.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
4418.81/1106.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4513.87/1130.00	c lits-rem:        99  cl-subs:    14114  v-elim:      0  v-fix:    0  time: 94.80 s
4513.87/1130.00	c vivif2 --  cl tried     1687 cl shrink        0 lits rem          0 time: 0.00
4513.87/1130.03	c vivif2 --  cl tried   137756 cl shrink        0 lits rem          0 time: 0.11
4515.07/1130.30	c asymm  cl-useful: 0/1687/1687 lits-rem:0 time: 1.07
4515.07/1130.30	c calculated reachability. Time: 0.00
4515.07/1130.30	c  N st   101   4213393       384      1687         0    137756      5146   1856460   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-3175105-1304087860/watcher-3175105-1304087860 -o /tmp/evaluation-result-3175105-1304087860/solver-3175105-1304087860 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175105-1304087860.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: 6.58 7.72 7.37 6/180 5597
/proc/meminfo: memFree=19964292/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=117748 CPUtime=0 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 520 0 0 0 0 0 0 0 23 0 4 0 520385792 120573952 445 33554432000 4194304 4650419 140734276190128 18446744073709551615 4233488 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 62205 450 340 112 0 57170 0
[pid=5597/tid=5598] ppid=5595 vsize=248956 CPUtime=0 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 44 0 0 0 0 0 0 0 24 0 4 0 520385792 254930944 517 33554432000 4194304 4650419 140734276190128 18446744073709551615 237278984735 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=257164 CPUtime=0 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) S 5595 5597 5556 0 -1 4202560 26 0 0 0 0 0 0 0 24 0 4 0 520385792 263335936 532 33554432000 4194304 4650419 140734276190128 18446744073709551615 237278984686 0 0 4096 2 18446604453907893056 0 0 -1 4 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=257164 CPUtime=0 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 52 0 0 0 0 0 0 0 24 0 4 0 520385792 263335936 540 33554432000 4194304 4650419 140734276190128 18446744073709551615 237278984735 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0317101 s]
/proc/loadavg: 6.58 7.72 7.37 6/180 5597
/proc/meminfo: memFree=19964292/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=282364 CPUtime=0.1 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 1251 0 0 0 10 0 0 0 23 0 4 0 520385792 289140736 1143 33554432000 4194304 4650419 140734276190128 18446744073709551615 4311360 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 70591 1144 390 112 0 65556 0
[pid=5597/tid=5598] ppid=5595 vsize=282364 CPUtime=0.02 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 214 0 0 0 2 0 0 0 24 0 4 0 520385792 289140736 1144 33554432000 4194304 4650419 140734276190128 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=282364 CPUtime=0.02 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 213 0 0 0 2 0 0 0 24 0 4 0 520385792 289140736 1144 33554432000 4194304 4650419 140734276190128 18446744073709551615 4333511 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=282364 CPUtime=0.02 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 148 0 0 0 2 0 0 0 24 0 4 0 520385792 289140736 1145 33554432000 4194304 4650419 140734276190128 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 282364

[startup+0.100698 s]
/proc/loadavg: 6.58 7.72 7.37 6/180 5597
/proc/meminfo: memFree=19964292/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=282364 CPUtime=0.38 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 1593 0 0 0 38 0 0 0 23 0 4 0 520385792 289140736 1485 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 70591 1485 391 112 0 65556 0
[pid=5597/tid=5598] ppid=5595 vsize=282364 CPUtime=0.09 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 292 0 0 0 9 0 0 0 24 0 4 0 520385792 289140736 1485 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=282364 CPUtime=0.09 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 311 0 0 0 9 0 0 0 24 0 4 0 520385792 289140736 1485 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=282520 CPUtime=0.09 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 240 0 0 0 9 0 0 0 24 0 4 0 520385792 289300480 1488 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282364

[startup+0.300662 s]
/proc/loadavg: 6.58 7.72 7.37 6/180 5597
/proc/meminfo: memFree=19964292/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=283536 CPUtime=1.17 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 2602 0 0 0 117 0 0 0 23 0 4 0 520385792 290340864 2016 33554432000 4194304 4650419 140734276190128 18446744073709551615 4364402 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 70884 2016 393 112 0 65849 0
[pid=5597/tid=5598] ppid=5595 vsize=283536 CPUtime=0.29 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 537 0 0 0 29 0 0 0 25 0 4 0 520385792 290340864 2016 33554432000 4194304 4650419 140734276190128 18446744073709551615 4363866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=283536 CPUtime=0.29 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 569 0 0 0 29 0 0 0 25 0 4 0 520385792 290340864 2016 33554432000 4194304 4650419 140734276190128 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=283536 CPUtime=0.29 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 486 0 0 0 29 0 0 0 25 0 4 0 520385792 290340864 2016 33554432000 4194304 4650419 140734276190128 18446744073709551615 4315153 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283536

[startup+0.700592 s]
/proc/loadavg: 6.58 7.72 7.37 6/180 5597
/proc/meminfo: memFree=19964292/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=285052 CPUtime=2.77 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 4526 0 0 0 277 0 0 0 25 0 4 0 520385792 291893248 2267 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 71263 2267 393 112 0 66228 0
[pid=5597/tid=5598] ppid=5595 vsize=285052 CPUtime=0.69 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 1033 0 0 0 69 0 0 0 25 0 4 0 520385792 291893248 2267 33554432000 4194304 4650419 140734276190128 18446744073709551615 4333558 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=285052 CPUtime=0.69 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 1072 0 0 0 69 0 0 0 25 0 4 0 520385792 291893248 2267 33554432000 4194304 4650419 140734276190128 18446744073709551615 4333403 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=285052 CPUtime=0.69 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 906 0 0 0 69 0 0 0 25 0 4 0 520385792 291893248 2267 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285052

[startup+1.50045 s]
/proc/loadavg: 6.58 7.72 7.37 10/184 5601
/proc/meminfo: memFree=19941568/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=281404 CPUtime=5.97 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 7890 0 0 0 596 1 0 0 25 0 4 0 520385792 288157696 4200 33554432000 4194304 4650419 140734276190128 18446744073709551615 4520352 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 70351 4200 395 112 0 65316 0
[pid=5597/tid=5598] ppid=5595 vsize=281404 CPUtime=1.49 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 1737 0 0 0 149 0 0 0 25 0 4 0 520385792 288157696 4200 33554432000 4194304 4650419 140734276190128 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=281404 CPUtime=1.48 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 1640 0 0 0 148 0 0 0 25 0 4 0 520385792 288157696 4200 33554432000 4194304 4650419 140734276190128 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=281404 CPUtime=1.49 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 1455 0 0 0 149 0 0 0 25 0 4 0 520385792 288157696 4200 33554432000 4194304 4650419 140734276190128 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 281404

[startup+3.10017 s]
/proc/loadavg: 6.58 7.72 7.37 10/184 5601
/proc/meminfo: memFree=19912792/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=282512 CPUtime=12.37 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 15071 0 0 0 1235 2 0 0 25 0 4 0 520385792 289292288 8414 33554432000 4194304 4650419 140734276190128 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 70628 8414 395 112 0 65593 0
[pid=5597/tid=5598] ppid=5595 vsize=282512 CPUtime=3.08 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 3511 0 0 0 308 0 0 0 25 0 4 0 520385792 289292288 8414 33554432000 4194304 4650419 140734276190128 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=282512 CPUtime=3.08 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 3992 0 0 0 308 0 0 0 25 0 4 0 520385792 289292288 8414 33554432000 4194304 4650419 140734276190128 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=282512 CPUtime=3.08 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 3345 0 0 0 308 0 0 0 25 0 4 0 520385792 289292288 8414 33554432000 4194304 4650419 140734276190128 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 282512

[startup+6.3006 s]
/proc/loadavg: 6.70 7.73 7.37 10/184 5601
/proc/meminfo: memFree=19874848/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=274784 CPUtime=25.14 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 22356 0 0 0 2511 3 0 0 25 0 4 0 520385792 281378816 12027 33554432000 4194304 4650419 140734276190128 18446744073709551615 4366928 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 68696 12027 395 112 0 63661 0
[pid=5597/tid=5598] ppid=5595 vsize=274784 CPUtime=6.28 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 5948 0 0 0 627 1 0 0 25 0 4 0 520385792 281378816 12027 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=274784 CPUtime=6.26 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 5974 0 0 0 626 0 0 0 25 0 4 0 520385792 281378816 12027 33554432000 4194304 4650419 140734276190128 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=274784 CPUtime=6.28 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 4543 0 0 0 628 0 0 0 25 0 4 0 520385792 281378816 12027 33554432000 4194304 4650419 140734276190128 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 274784

[startup+12.7005 s]
/proc/loadavg: 6.80 7.73 7.38 10/184 5601
/proc/meminfo: memFree=19827832/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=293440 CPUtime=50.72 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 33561 0 0 0 5067 5 0 0 25 0 4 0 520385792 300482560 17117 33554432000 4194304 4650419 140734276190128 18446744073709551615 4439535 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 73360 17117 395 112 0 68325 0
[pid=5597/tid=5598] ppid=5595 vsize=293440 CPUtime=12.68 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 9244 0 0 0 1267 1 0 0 25 0 4 0 520385792 300482560 17117 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=293440 CPUtime=12.62 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 8189 0 0 0 1262 0 0 0 25 0 4 0 520385792 300482560 17117 33554432000 4194304 4650419 140734276190128 18446744073709551615 4351626 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=293440 CPUtime=12.68 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 6257 0 0 0 1268 0 0 0 25 0 4 0 520385792 300482560 17117 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 293440

[startup+25.5012 s]
/proc/loadavg: 7.07 7.75 7.38 10/184 5601
/proc/meminfo: memFree=19777516/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=296856 CPUtime=101.85 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 50859 0 0 0 10176 9 0 0 25 0 4 0 520385792 303980544 22168 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 74214 22168 395 112 0 69179 0
[pid=5597/tid=5598] ppid=5595 vsize=296856 CPUtime=25.48 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 14934 0 0 0 2546 2 0 0 25 0 4 0 520385792 303980544 22168 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=296856 CPUtime=25.36 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 12962 0 0 0 2534 2 0 0 25 0 4 0 520385792 303980544 22168 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=296856 CPUtime=25.49 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 9078 0 0 0 2547 2 0 0 25 0 4 0 520385792 303980544 22168 33554432000 4194304 4650419 140734276190128 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 296856

[startup+51.1006 s]
/proc/loadavg: 7.54 7.80 7.41 10/184 5602
/proc/meminfo: memFree=19735516/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=366700 CPUtime=204.11 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 76067 0 0 0 20393 18 0 0 25 0 4 0 520385792 375500800 28100 33554432000 4194304 4650419 140734276190128 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 91675 28100 395 112 0 86640 0
[pid=5597/tid=5598] ppid=5595 vsize=366700 CPUtime=51.08 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 24040 0 0 0 5102 6 0 0 25 0 4 0 520385792 375500800 28100 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=366700 CPUtime=50.82 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 18879 0 0 0 5079 3 0 0 25 0 4 0 520385792 375500800 28100 33554432000 4194304 4650419 140734276190128 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=366700 CPUtime=51.08 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 11973 0 0 0 5105 3 0 0 25 0 4 0 520385792 375500800 28100 33554432000 4194304 4650419 140734276190128 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 366700

[startup+102.307 s]
/proc/loadavg: 7.80 7.83 7.44 10/184 5603
/proc/meminfo: memFree=19690376/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=373528 CPUtime=408.67 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 116930 0 0 0 40836 31 0 0 25 0 4 0 520385792 382492672 33285 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 93382 33285 395 112 0 88347 0
[pid=5597/tid=5598] ppid=5595 vsize=373528 CPUtime=102.29 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 36661 0 0 0 10219 10 0 0 25 0 4 0 520385792 382492672 33285 33554432000 4194304 4650419 140734276190128 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=373528 CPUtime=101.76 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 28697 0 0 0 10169 7 0 0 25 0 4 0 520385792 382492672 33285 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=373528 CPUtime=102.29 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 17606 0 0 0 10224 5 0 0 25 0 4 0 520385792 382492672 33285 33554432000 4194304 4650419 140734276190128 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.67
Current children cumulated vsize (KiB) 373528

[startup+162.301 s]

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

[pid=5597] ppid=5595 vsize=485192 CPUtime=2805.4 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 394380 0 0 0 280405 135 0 0 25 0 4 0 520385792 496836608 78929 33554432000 4194304 4650419 140734276190128 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 121298 78929 395 112 0 116263 0
[pid=5597/tid=5598] ppid=5595 vsize=485192 CPUtime=702.3 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 124642 0 0 0 70188 42 0 0 25 0 4 0 520385792 496836608 78929 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=485192 CPUtime=698.52 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 89952 0 0 0 69824 28 0 0 25 0 4 0 520385792 496836608 78929 33554432000 4194304 4650419 140734276190128 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=485192 CPUtime=702.25 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 61201 0 0 0 70201 24 0 0 25 0 4 0 520385792 496836608 78929 33554432000 4194304 4650419 140734276190128 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 485192

[startup+762.306 s]
/proc/loadavg: 8.11 8.05 7.75 10/184 5621
/proc/meminfo: memFree=19360516/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=497784 CPUtime=3045.09 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 413954 0 0 0 304366 143 0 0 25 0 4 0 520385792 509730816 79162 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 124446 79162 395 112 0 119411 0
[pid=5597/tid=5598] ppid=5595 vsize=497784 CPUtime=762.3 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 130861 0 0 0 76186 44 0 0 25 0 4 0 520385792 509730816 79162 33554432000 4194304 4650419 140734276190128 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=497784 CPUtime=758.2 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 95177 0 0 0 75790 30 0 0 25 0 4 0 520385792 509730816 79162 33554432000 4194304 4650419 140734276190128 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=497784 CPUtime=762.25 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 63235 0 0 0 76201 24 0 0 25 0 4 0 520385792 509730816 79162 33554432000 4194304 4650419 140734276190128 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 497784

[startup+822.301 s]
/proc/loadavg: 8.11 8.07 7.77 10/184 5623
/proc/meminfo: memFree=19351828/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=498176 CPUtime=3284.74 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 436554 0 0 0 328321 153 0 0 25 0 4 0 520385792 510132224 79215 33554432000 4194304 4650419 140734276190128 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 124544 79215 395 112 0 119509 0
[pid=5597/tid=5598] ppid=5595 vsize=498176 CPUtime=822.3 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 136438 0 0 0 82183 47 0 0 25 0 4 0 520385792 510132224 79215 33554432000 4194304 4650419 140734276190128 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=498176 CPUtime=817.86 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 103684 0 0 0 81753 33 0 0 25 0 4 0 520385792 510132224 79215 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=498176 CPUtime=822.24 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 64339 0 0 0 82199 25 0 0 25 0 4 0 520385792 510132224 79215 33554432000 4194304 4650419 140734276190128 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 498176

[startup+882.301 s]
/proc/loadavg: 8.07 8.07 7.79 10/184 5624
/proc/meminfo: memFree=19311148/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=498512 CPUtime=3524.42 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 459590 0 0 0 352280 162 0 0 25 0 4 0 520385792 510476288 83016 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 124628 83016 395 112 0 119593 0
[pid=5597/tid=5598] ppid=5595 vsize=498512 CPUtime=882.3 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 143316 0 0 0 88181 49 0 0 25 0 4 0 520385792 510476288 83016 33554432000 4194304 4650419 140734276190128 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=498512 CPUtime=877.54 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 109159 0 0 0 87718 36 0 0 25 0 4 0 520385792 510476288 83016 33554432000 4194304 4650419 140734276190128 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=498512 CPUtime=882.24 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 68380 0 0 0 88198 26 0 0 25 0 4 0 520385792 510476288 83016 33554432000 4194304 4650419 140734276190128 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.42
Current children cumulated vsize (KiB) 498512

[startup+942.3 s]
/proc/loadavg: 8.06 8.07 7.81 9/184 5626
/proc/meminfo: memFree=19276420/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=553224 CPUtime=3764.09 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 479289 0 0 0 376238 171 0 0 25 0 4 0 520385792 566501376 86039 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 138306 86039 395 112 0 133271 0
[pid=5597/tid=5598] ppid=5595 vsize=553224 CPUtime=942.3 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 149136 0 0 0 94178 52 0 0 25 0 4 0 520385792 566501376 86039 33554432000 4194304 4650419 140734276190128 18446744073709551615 4439086 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=553224 CPUtime=937.22 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 112801 0 0 0 93685 37 0 0 25 0 4 0 520385792 566501376 86039 33554432000 4194304 4650419 140734276190128 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=553224 CPUtime=942.23 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 72469 0 0 0 94195 28 0 0 25 0 4 0 520385792 566501376 86039 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.09
Current children cumulated vsize (KiB) 553224

[startup+1002.3 s]
/proc/loadavg: 8.02 8.05 7.82 10/184 5627
/proc/meminfo: memFree=19261152/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=553420 CPUtime=4003.77 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 497203 0 0 0 400198 179 0 0 25 0 4 0 520385792 566702080 85474 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 138355 85474 395 112 0 133320 0
[pid=5597/tid=5598] ppid=5595 vsize=553420 CPUtime=1002.3 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 154631 0 0 0 100176 54 0 0 25 0 4 0 520385792 566702080 85474 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=553420 CPUtime=996.89 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 118545 0 0 0 99651 38 0 0 25 0 4 0 520385792 566702080 85474 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=553420 CPUtime=1002.23 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 73665 0 0 0 100194 29 0 0 25 0 4 0 520385792 566702080 85474 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.77
Current children cumulated vsize (KiB) 553420

[startup+1062.3 s]
/proc/loadavg: 8.12 8.07 7.83 10/184 5629
/proc/meminfo: memFree=19248244/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=553572 CPUtime=4243.45 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 513198 0 0 0 424157 188 0 0 25 0 4 0 520385792 566857728 87807 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 138393 87807 395 112 0 133358 0
[pid=5597/tid=5598] ppid=5595 vsize=553572 CPUtime=1062.3 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 159248 0 0 0 106173 57 0 0 25 0 4 0 520385792 566857728 87807 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=553572 CPUtime=1056.57 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 121935 0 0 0 105617 40 0 0 25 0 4 0 520385792 566857728 87807 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=553572 CPUtime=1062.23 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 76070 0 0 0 106193 30 0 0 25 0 4 0 520385792 566857728 87807 33554432000 4194304 4650419 140734276190128 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.45
Current children cumulated vsize (KiB) 553572

[startup+1122.3 s]
/proc/loadavg: 8.11 8.07 7.85 9/184 5631
/proc/meminfo: memFree=19226528/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=580460 CPUtime=4483.11 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 529250 0 0 0 448117 194 0 0 25 0 4 0 520385792 594391040 95137 33554432000 4194304 4650419 140734276190128 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 145115 95137 395 112 0 140080 0
[pid=5597/tid=5598] ppid=5595 vsize=580460 CPUtime=1122.31 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 164624 0 0 0 112171 60 0 0 25 0 4 0 520385792 594391040 95137 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=580460 CPUtime=1116.24 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 124787 0 0 0 111582 42 0 0 25 0 4 0 520385792 594391040 95137 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=580460 CPUtime=1122.22 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 77384 0 0 0 112192 30 0 0 25 0 4 0 520385792 594391040 95137 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.11
Current children cumulated vsize (KiB) 580460

[startup+1182.3 s]
/proc/loadavg: 8.11 8.07 7.86 10/184 5632
/proc/meminfo: memFree=19194280/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=613904 CPUtime=4722.79 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 546916 0 0 0 472078 201 0 0 25 0 4 0 520385792 628637696 99467 33554432000 4194304 4650419 140734276190128 18446744073709551615 4313071 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 153476 99467 395 112 0 148441 0
[pid=5597/tid=5598] ppid=5595 vsize=613904 CPUtime=1182.3 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 171249 0 0 0 118169 61 0 0 25 0 4 0 520385792 628637696 99467 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=613904 CPUtime=1175.92 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 127921 0 0 0 117549 43 0 0 25 0 4 0 520385792 628637696 99467 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=613904 CPUtime=1182.22 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 79373 0 0 0 118191 31 0 0 25 0 4 0 520385792 628637696 99467 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.79
Current children cumulated vsize (KiB) 613904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.08 8.06 7.86 10/184 5633
/proc/meminfo: memFree=19174308/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=627620 CPUtime=4800.29 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 555178 0 0 0 479825 204 0 0 25 0 4 0 520385792 642682880 104466 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 156905 104466 395 112 0 151870 0
[pid=5597/tid=5598] ppid=5595 vsize=627620 CPUtime=1201.71 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 172274 0 0 0 120109 62 0 0 25 0 4 0 520385792 642682880 104466 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=627620 CPUtime=1195.21 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 131387 0 0 0 119478 43 0 0 25 0 4 0 520385792 642682880 104466 33554432000 4194304 4650419 140734276190128 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=627620 CPUtime=1201.62 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 80726 0 0 0 120131 31 0 0 25 0 4 0 520385792 642682880 104466 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 627620

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

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

[startup+1201.7 s]
/proc/loadavg: 8.08 8.06 7.86 10/184 5633
/proc/meminfo: memFree=19174308/32950904 swapFree=67082284/67111528
[pid=5597] ppid=5595 vsize=627620 CPUtime=4800.29 cores=0,2,4,6
/proc/5597/stat : 5597 (strangenight1-m) R 5595 5597 5556 0 -1 4202496 555178 0 0 0 479825 204 0 0 25 0 4 0 520385792 642682880 104466 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5597/statm: 156905 104466 395 112 0 151870 0
[pid=5597/tid=5598] ppid=5595 vsize=627620 CPUtime=1201.71 cores=0,2,4,6
/proc/5597/task/5598/stat : 5598 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 172274 0 0 0 120109 62 0 0 25 0 4 0 520385792 642682880 104466 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5597/tid=5599] ppid=5595 vsize=627620 CPUtime=1195.21 cores=0,2,4,6
/proc/5597/task/5599/stat : 5599 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 131387 0 0 0 119478 43 0 0 25 0 4 0 520385792 642682880 104466 33554432000 4194304 4650419 140734276190128 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5597/tid=5600] ppid=5595 vsize=627620 CPUtime=1201.62 cores=0,2,4,6
/proc/5597/task/5600/stat : 5600 (strangenight1-m) R 5595 5597 5556 0 -1 4202560 80726 0 0 0 120131 31 0 0 25 0 4 0 520385792 642682880 104466 33554432000 4194304 4650419 140734276190128 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 627620

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.34
CPU user time (s): 4798.28
CPU system time (s): 2.06469
CPU usage (%): 399.452
Max. virtual memory (cumulated for all children) (KiB): 639648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.28
system time used= 2.06469
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 555178
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= 188
involuntary context switches= 20890

runsolver used 1.9767 second user time and 4.53331 second system time

The end

Launcher Data 

Begin job on node121 at 2011-04-29 16:37:40
IDJOB=3175105
IDBENCH=82723
IDSOLVER=1588
FILE ID=node121/3175105-1304087860
RUNJOBID= node121-1304087860-5574
PBS_JOBID= 13170562
Free space on /tmp= 72648 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175105-1304087860/watcher-3175105-1304087860 -o /tmp/evaluation-result-3175105-1304087860/solver-3175105-1304087860 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175105-1304087860.cnf

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

MD5SUM BENCH= bc5d8e174b258480cce7431b84990bdd
RANDOM SEED=1286457162

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

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      19965324 kB
Buffers:       2182572 kB
Cached:       10240628 kB
SwapCached:       2776 kB
Active:        9135536 kB
Inactive:      3328932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      19965324 kB
SwapTotal:    67111528 kB
SwapFree:     67082284 kB
Dirty:           12604 kB
Writeback:           0 kB
AnonPages:       39012 kB
Mapped:          13824 kB
Slab:           456500 kB
PageTables:       4576 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   274168 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= 72644 MiB
End job on node121 at 2011-04-29 16:57:44