Trace number 3290394

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-mtSAT 2131.99 533.698

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
32/aes_32_3_keyfind_1.cnf
MD5SUM278d646386a62d4f28f7fc390c5eab3e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark151.988
Satisfiable
(Un)Satisfiability was proved
Number of variables708
Number of clauses2664
Sum of the clauses size8392
Maximum clause length5
Minimum clause length1
Number of clauses of size 176
Number of clauses of size 2120
Number of clauses of size 31856
Number of clauses of size 4552
Number of clauses of size 560
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-3290394-1304133115.cnf'
0.00/0.00	c -- header says num vars:            708
0.00/0.00	c -- header says num clauses:        2664
0.00/0.00	c -- clauses added:            0 learnts,         2664 normals,            0 xors
0.00/0.00	c -- vars added        708
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       708      2420       120         0      8076         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2164/2164 lits-rem:0 time: 0.01
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  112 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c Replacing      112 vars Replaced     2100 lits Time:     0.00 s 
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:    520 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.01	c lits-rem:         0  cl-subs:        0  v-elim:     84  v-fix:    0  time:  0.01 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:     226, avg size: 3.3)
0.00/0.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     18 locsubst:    12 time:   0.00
0.00/0.01	c Replacing        6 vars Replaced       66 lits Time:     0.00 s 
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:       0 undec:     296 neg:     412
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       412       960        18         0      4236         0   no data   no data  --
0.00/0.10	c Decided on static restart strategy
0.40/0.20	c  N st     8      4913       412       960        26      4694      4236    125534   no data   no data  --
1.97/0.52	c  N st    10     11295       412       960        49      4373      4236     71021   no data   no data  --
3.18/0.84	c  N st    11     17038       412       960        49      9879      4236    225692   no data   no data  --
5.17/1.33	c  F st    12     25002       412       960        50     12044      4236    247639   no data   no data  --
5.17/1.33	c  N st    12     25002       412       960        50     12044      4236    247639   no data   no data  --
5.97/1.54	c Finding binary XORs  T:     0.00 s  found:      22
5.97/1.54	c Replacing       22 vars Replaced     4371 lits Time:     0.02 s 
6.37/1.64	c Decided on static restart strategy
6.37/1.64	c  N st    18     30001       390       960         6     10348      4210    204119   no data   no data  --
6.37/1.64	c  S st    18     30001       390       960         6     10348      4210    204119   no data   no data  --
6.37/1.67	c  S st    18     30506       390       960         6     10826      4210    212445   no data   no data  --
6.37/1.67	c x-sub:     6 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.37/1.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.37/1.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
6.37/1.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.37/1.68	c subs with bin:        1  lits-rem:        27  v-fix:    0  time:  0.00 s
6.37/1.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    390 time:  0.00 s
6.37/1.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.37/2.13	c lits-rem:      3065  cl-subs:     1118  v-elim:      0  v-fix:    0  time:  1.78 s
8.37/2.13	c asymm  cl-useful: 0/960/960 lits-rem:0 time: 0.02
8.37/2.13	c calculated reachability. Time: 0.00
8.37/2.13	c  N st    18     30506       390       960         6      9707      4192    185612   no data   no data  --
10.36/2.62	c  N st    20     37618       390       960         7      9079      4192    144107   no data   no data  --
11.96/3.06	c  N st    21     44019       390       960         7     15171      4192    298175   no data   no data  --
12.36/3.19	c  S st    22     45759       390       960         7     16815      4192    339102   no data   no data  --
12.76/3.24	c  S st    22     46261       390       960         7      8884      4192    118758   no data   no data  --
12.76/3.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
12.76/3.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.76/3.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
12.76/3.24	c Replacing        1 vars Replaced     1121 lits Time:     0.01 s 
12.76/3.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.76/3.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.76/3.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    389 time:  0.00 s
12.76/3.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.17/3.31	c lits-rem:       409  cl-subs:      301  v-elim:      0  v-fix:    0  time:  0.23 s
13.17/3.31	c vivif2 --  cl tried      960 cl shrink        0 lits rem          0 time: 0.00
13.17/3.31	c vivif2 --  cl tried     8581 cl shrink        0 lits rem          0 time: 0.01
13.17/3.31	c asymm  cl-useful: 0/960/960 lits-rem:0 time: 0.01
13.17/3.31	c calculated reachability. Time: 0.00
13.17/3.31	c  N st    22     46261       389       960         5      8581      4192    112794   no data   no data  --
17.15/4.39	c  N st    23     60660       389       960         5     12805      4192    202925   no data   no data  --
19.95/5.09	c  N st    24     69392       389       960        17     21068      4192    410431   no data   no data  --
19.95/5.09	c  S st    24     69392       389       960        17     21068      4192    410431   no data   no data  --
19.95/5.09	c Finding binary XORs  T:     0.00 s  found:       5
20.35/5.10	c Replacing        5 vars Replaced     1100 lits Time:     0.01 s 
20.35/5.15	c  S st    24     69894       384       960         8     11169      4186    148975   no data   no data  --
20.35/5.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.35/5.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.35/5.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
20.35/5.15	c Replacing        1 vars Replaced       14 lits Time:     0.00 s 
20.35/5.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.35/5.15	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  0.00 s
20.35/5.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    383 time:  0.00 s
20.35/5.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
21.55/5.43	c lits-rem:       726  cl-subs:      220  v-elim:      0  v-fix:    0  time:  1.09 s
21.55/5.43	c vivif2 --  cl tried      960 cl shrink        0 lits rem          0 time: 0.00
21.55/5.43	c vivif2 --  cl tried    10948 cl shrink        0 lits rem          0 time: 0.00
21.55/5.43	c asymm  cl-useful: 0/960/960 lits-rem:0 time: 0.02
21.55/5.43	c calculated reachability. Time: 0.00
21.55/5.43	c  N st    24     69894       383       960         6     10948      4186    144528   no data   no data  --
27.13/6.89	c  F st    25     87500       383       960         6     16242      4186    264259   no data   no data  --
27.13/6.89	c  N st    25     87500       383       960         6     16242      4186    264259   no data   no data  --
28.74/7.28	c Decided on static restart strategy
29.94/7.52	c  N st    32     95537       383       960         6     23936      4186    470873   no data   no data  --
32.73/8.29	c  N st    34    104843       383       960         7     20575      4186    380132   no data   no data  --
32.73/8.29	c  S st    34    104843       383       960         7     20575      4186    380132   no data   no data  --
33.13/8.35	c  S st    34    105345       383       960         9     21051      4186    389580   no data   no data  --
33.13/8.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
33.13/8.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.13/8.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
33.13/8.36	c Replacing        2 vars Replaced      236 lits Time:     0.01 s 
33.13/8.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
33.13/8.37	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
33.13/8.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    381 time:  0.00 s
33.13/8.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.72/10.76	c lits-rem:      2956  cl-subs:     1819  v-elim:      0  v-fix:    0  time:  9.53 s
42.72/10.76	c vivif2 --  cl tried      960 cl shrink        0 lits rem          0 time: 0.00
42.72/10.76	c vivif2 --  cl tried    19230 cl shrink        0 lits rem          0 time: 0.02
42.72/10.77	c asymm  cl-useful: 0/960/960 lits-rem:0 time: 0.02
42.72/10.77	c calculated reachability. Time: 0.00
42.72/10.77	c  N st    34    105345       381       960         5     19230      4184    344417   no data   no data  --
46.31/11.60	c  N st    35    114945       381       960         5     15137      4184    211012   no data   no data  --
51.91/13.01	c  N st    36    129342       381       960         7     28602      4184    550093   no data   no data  --
60.30/15.17	c  N st    37    150937       381       960         7     19556      4184    303467   no data   no data  --
63.09/15.82	c  S st    38    158017       381       960         7     26214      4184    474120   no data   no data  --
63.09/15.89	c  S st    38    158519       381       960         7     26701      4184    483567   no data   no data  --
63.09/15.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
63.09/15.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
63.49/15.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
63.49/15.90	c Replacing        2 vars Replaced      337 lits Time:     0.01 s 
63.49/15.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
63.49/15.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
63.49/15.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    379 time:  0.00 s
63.49/15.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
74.28/18.67	c lits-rem:      2721  cl-subs:     4634  v-elim:      0  v-fix:    0  time: 10.99 s
74.28/18.67	c vivif2 --  cl tried      960 cl shrink        0 lits rem          0 time: 0.00
74.28/18.67	c vivif2 --  cl tried    22066 cl shrink        0 lits rem          0 time: 0.02
74.28/18.68	c asymm  cl-useful: 0/960/960 lits-rem:0 time: 0.02
74.28/18.68	c calculated reachability. Time: 0.00
74.28/18.68	c  N st    38    158519       379       960         3     22066      4182    381968   no data   no data  --
96.25/24.10	c  N st    39    207107       379       960         3     35058      4182    650878   no data   no data  --
108.25/27.16	c  N st    40    237778       379       960         3     27489      4182    448490   no data   no data  --
108.25/27.16	c  S st    40    237778       379       960         3     27489      4182    448490   no data   no data  --
108.25/27.16	c Finding binary XORs  T:     0.00 s  found:       1
108.65/27.25	c  S st    40    238281       379       960         4     27977      4182    458693   no data   no data  --
108.65/27.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
108.65/27.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
108.65/27.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
108.65/27.26	c Replacing        1 vars Replaced      235 lits Time:     0.01 s 
108.65/27.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
108.65/27.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
108.65/27.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    378 time:  0.00 s
108.65/27.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
119.05/29.85	c lits-rem:      2595  cl-subs:     2960  v-elim:      0  v-fix:    0  time: 10.30 s
119.05/29.85	c vivif2 --  cl tried      960 cl shrink        0 lits rem          0 time: 0.00
119.05/29.85	c vivif2 --  cl tried    25017 cl shrink        0 lits rem          0 time: 0.02
119.05/29.86	c asymm  cl-useful: 0/960/960 lits-rem:0 time: 0.02
119.05/29.86	c calculated reachability. Time: 0.00
119.05/29.86	c  N st    40    238281       378       960         2     25017      4182    395415   no data   no data  --
150.20/37.63	c  F st    41    306250       378       960         2     27326      4182    414060   no data   no data  --
150.20/37.63	c  N st    41    306250       378       960         2     27326      4182    414060   no data   no data  --
152.20/38.19	c Decided on static restart strategy
162.60/40.71	c  N st    51    334552       378       960         2     31317      4182    504559   no data   no data  --
173.77/43.59	c  N st    53    357422       378       960         2     29045      4182    433248   no data   no data  --
173.77/43.59	c  S st    53    357422       378       960         2     29045      4182    433248   no data   no data  --
174.17/43.69	c  S st    53    357923       378       960         2     29527      4182    443402   no data   no data  --
174.17/43.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
174.17/43.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
174.57/43.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
174.57/43.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
174.57/43.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
174.57/43.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    378 time:  0.00 s
174.57/43.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
183.76/46.06	c lits-rem:      2039  cl-subs:     2270  v-elim:      0  v-fix:    0  time:  9.36 s
183.76/46.06	c vivif2 --  cl tried      960 cl shrink        0 lits rem          0 time: 0.00
183.76/46.07	c vivif2 --  cl tried    27257 cl shrink        0 lits rem          0 time: 0.02
183.76/46.07	c asymm  cl-useful: 0/960/960 lits-rem:0 time: 0.03
183.76/46.07	c calculated reachability. Time: 0.00
183.76/46.07	c  N st    53    357923       378       960         2     27257      4182    394212   no data   no data  --
198.16/49.63	c  N st    54    390316       378       960         2     33341      4182    520257   no data   no data  --
222.51/55.75	c  N st    55    438904       378       960         2     27398      4182    358231   no data   no data  --
260.06/65.18	c  N st    56    511786       378       960         3     39924      4182    631599   no data   no data  --
273.64/68.51	c  N st    57    536885       378       960         3     34837      4182    512696   no data   no data  --
273.64/68.51	c  S st    57    536885       378       960         3     34837      4182    512696   no data   no data  --
274.04/68.61	c  S st    57    537390       378       960         3     35328      4182    523375   no data   no data  --
274.04/68.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
274.04/68.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
274.04/68.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
274.04/68.62	c Replacing        1 vars Replaced       75 lits Time:     0.01 s 
274.04/68.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
274.04/68.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
274.04/68.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    377 time:  0.00 s
274.04/68.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
284.83/71.32	c lits-rem:      2782  cl-subs:     1653  v-elim:      0  v-fix:    0  time: 10.73 s
284.83/71.32	c vivif2 --  cl tried      960 cl shrink        0 lits rem          0 time: 0.00
284.83/71.33	c vivif2 --  cl tried    33675 cl shrink        0 lits rem          0 time: 0.02
284.83/71.34	c asymm  cl-useful: 0/960/960 lits-rem:0 time: 0.04
284.83/71.34	c calculated reachability. Time: 0.00
284.83/71.34	c  N st    57    537390       377       960         1     33675      4182    490062   no data   no data  --
376.73/94.31	c  N st    58    701376       377       960         1     62108      4182   1125373   no data   no data  --
444.27/111.29	c  N st    59    806087       377       960         1     56123      4182    951168   no data   no data  --
444.27/111.29	c  S st    59    806087       377       960         1     56123      4182    951168   no data   no data  --
445.05/111.47	c  S st    59    806590       377       960         1     56609      4182    960997   no data   no data  --
445.05/111.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
445.05/111.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
445.05/111.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
445.45/111.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
445.45/111.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
445.45/111.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    377 time:  0.00 s
445.45/111.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
472.62/118.35	c lits-rem:      1791  cl-subs:     9914  v-elim:      0  v-fix:    0  time: 27.26 s
472.62/118.35	c vivif2 --  cl tried      960 cl shrink        0 lits rem          0 time: 0.00
472.62/118.36	c vivif2 --  cl tried    46695 cl shrink        0 lits rem          0 time: 0.04
472.62/118.37	c asymm  cl-useful: 0/960/960 lits-rem:0 time: 0.06
472.62/118.37	c calculated reachability. Time: 0.00
472.62/118.37	c  N st    59    806590       377       960         1     46695      4182    769004   no data   no data  --
646.04/161.73	c  F st    60   1071876       377       960         1     62905      4182   1049613   no data   no data  --
646.04/161.73	c  N st    60   1071876       377       960         1     62905      4182   1049613   no data   no data  --
649.62/162.62	c Decided on static restart strategy
666.79/166.91	c  N st    70   1100183       377       960         2     47140      4182    672006   no data   no data  --
692.36/173.33	c  N st    72   1136175       377       960         2     80587      4182   1493588   no data   no data  --
714.74/178.91	c  N st    73   1168567       377       960         2     67593      4182   1145751   no data   no data  --
742.30/185.80	c  N st    74   1209886       377       960         2     62535      4182   1017821   no data   no data  --
742.30/185.80	c  S st    74   1209886       377       960         2     62535      4182   1017821   no data   no data  --
742.71/186.00	c  S st    74   1210388       377       960         2     63025      4182   1028077   no data   no data  --
743.12/186.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
743.12/186.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
743.12/186.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.08
743.12/186.03	c Replacing        1 vars Replaced       18 lits Time:     0.02 s 
743.12/186.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
743.12/186.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
743.12/186.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    376 time:  0.00 s
743.12/186.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
769.48/192.63	c lits-rem:       740  cl-subs:     7923  v-elim:      0  v-fix:    0  time: 26.23 s
769.48/192.63	c vivif2 --  cl tried      960 cl shrink        0 lits rem          0 time: 0.00
769.48/192.64	c vivif2 --  cl tried    55102 cl shrink        0 lits rem          0 time: 0.05
769.48/192.67	c asymm  cl-useful: 0/960/960 lits-rem:0 time: 0.12
769.48/192.67	c calculated reachability. Time: 0.00
769.48/192.67	c  N st    74   1210388       376       960         0     55102      4182    871795   no data   no data  --
822.58/205.93	c  N st    75   1283270       376       960         0     78932      4182   1393904   no data   no data  --
903.30/226.16	c  N st    76   1392595       376       960         0     89018      4182   1613102   no data   no data  --
1035.13/259.18	c  N st    77   1556579       376       960         0     96465      4182   1742427   no data   no data  --
1174.95/294.16	c  N st    78   1710388       376       960         0     85231      4182   1440679   no data   no data  --
1174.95/294.16	c  S st    78   1710388       376       960         0     85231      4182   1440679   no data   no data  --
1176.15/294.46	c  S st    78   1710891       376       960         0     85717      4182   1450869   no data   no data  --
1176.15/294.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1176.15/294.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1176.55/294.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
1176.55/294.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1176.55/294.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1176.55/294.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    376 time:  0.00 s
1176.55/294.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1255.24/314.20	c lits-rem:      1536  cl-subs:    16785  v-elim:      0  v-fix:    0  time: 78.43 s
1255.24/314.20	c vivif2 --  cl tried      960 cl shrink        0 lits rem          0 time: 0.00
1255.24/314.21	c vivif2 --  cl tried    68932 cl shrink        0 lits rem          0 time: 0.05
1255.24/314.24	c asymm  cl-useful: 0/960/960 lits-rem:0 time: 0.10
1255.24/314.24	c calculated reachability. Time: 0.00
1255.24/314.24	c  N st    78   1710891       376       960         0     68932      4182   1113905   no data   no data  --
1588.04/397.59	c  N st    79   2079856       376       960         0     81328      4182   1293412   no data   no data  --
1718.70/430.22	c  N st    80   2210892       376       960         0     83929      4182   1366025   no data   no data  --
1718.70/430.22	c  S st    80   2210892       376       960         0     83929      4182   1366025   no data   no data  --
1719.87/430.53	c  S st    80   2211395       376       960         0     84419      4182   1376819   no data   no data  --
1719.87/430.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1719.87/430.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1719.87/430.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
1720.27/430.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1720.27/430.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1720.27/430.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    376 time:  0.00 s
1720.27/430.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1801.37/450.90	c lits-rem:       600  cl-subs:    11647  v-elim:      0  v-fix:    0  time: 81.05 s
1801.37/450.90	c vivif2 --  cl tried      960 cl shrink        0 lits rem          0 time: 0.00
1801.37/450.92	c vivif2 --  cl tried    72772 cl shrink        0 lits rem          0 time: 0.06
1801.37/450.96	c asymm  cl-useful: 0/960/960 lits-rem:0 time: 0.16
1801.37/450.96	c calculated reachability. Time: 0.00
1801.37/450.96	c  N st    80   2211395       376       960         0     72772      4182   1147758   no data   no data  --
2131.78/533.68	c Following stats are for *FIRST FINISHED THREAD ONLY*
2131.78/533.68	c num threads              : 4          
2131.78/533.68	c restarts                 : 80         
2131.78/533.68	c dynamic restarts         : 0          
2131.78/533.68	c static restarts          : 80         
2131.78/533.68	c full restarts            : 4          
2131.78/533.68	c total simplify time      : 0.04       
2131.78/533.68	c learnts DL2              : 0          
2131.78/533.68	c learnts size 2           : 302        
2131.78/533.68	c learnts size 1           : 76          (10.73     % of vars)
2131.78/533.68	c filedLit time            : 0.66        (0.03      % time)
2131.78/533.68	c v-elim SatELite          : 84          (11.86     % vars)
2131.78/533.68	c SatELite time            : 371.06      (17.41     % time)
2131.78/533.68	c v-elim xor               : 18          (2.54      % vars)
2131.78/533.68	c xor elim time            : 0.11        (0.01      % time)
2131.78/533.68	c num binary xor trees     : 154        
2131.78/533.68	c binxor trees' crown      : 154         (1.00      leafs/tree)
2131.78/533.68	c bin xor find time        : 0.00       
2131.78/533.68	c OTF clause improved      : 202079      (0.08      clauses/conflict)
2131.78/533.68	c OTF impr. size diff      : 208314      (1.03       lits/clause)
2131.78/533.68	c OTF cl watch-shrink      : 439123      (0.17      clauses/conflict)
2131.78/533.68	c OTF cl watch-sh-lit      : 587412      (1.34       lits/clause)
2131.78/533.68	c tried to recurMin cls    : 223412      (8.60       % of conflicts)
2131.78/533.68	c updated cache            : 4565        (0.02       lits/tried recurMin)
2131.78/533.68	c unit cls received        : 0           (0.00      % of units)
2131.78/533.68	c unit cls sent            : 0           (0.00      % of units)
2131.78/533.68	c bin cls received         : 262        
2131.78/533.68	c bin cls sent             : 13         
2131.78/533.68	c clauses over max glue    : 0           (0.00      % of all clauses)
2131.78/533.68	c conflicts                : 2598611     (1219.42   / sec)
2131.78/533.68	c decisions                : 2794520     (1.00      % random)
2131.78/533.68	c bogo-props               : 129635857877 (60832772.92 / sec)
2131.78/533.68	c conflict literals        : 49237849    (33.98     % deleted)
2131.78/533.68	c Memory used              : 409.70      MB
2131.78/533.68	c single-thread CPU time   : 2131.02     s
2131.78/533.68	c all-threads sum CPU time : 2131.02     s
2131.78/533.68	s SATISFIABLE
2131.78/533.68	v -1 2 -3 4 5 6 7 8 9 -10 11 12 13 -14 -15 16 17 18 -19 -20 21 -22 23 24 25 -26 -27 -28 -29 30 -31 32 33 34 35 36 37 38 -39 -40 -41 -42 -43 -44 -45 46 47 48 -49 -50 -51 -52 53 54 -55 56 -57 -58 -59 60 61 62 -63 -64 -65 -66 67 68 -69 70 -71 72 73 -74 -75 -76 77 78 -79 80 81 -82 83 -84 85 -86 -87 88 -89 90 91 -92 -93 -94 95 96 97 -98 99 -100 -101 -102 103 104 105 -106 107 108 109 110 111 -112 113 114 -115 -116 -117 118 119 -120 121 -122 -123 124 125 -126 -127 128 129 130 131 132 133 -134 135 -136 -137 138 -139 -140 -141 -142 143 -144 -145 -146 -147 148 149 150 151 152 -153 -154 -155 -156 -157 158 -159 -160 -161 162 -163 164 165 -166 -167 -168 169 170 -171 -172 173 -174 175 176 177 178 179 -180 181 -182 183 -184 185 186 187 188 -189 190 191 -192 193 194 -195 196 -197 198 199 200 201 202 -203 204 -205 -206 -207 -208 209 210 -211 212 213 214 -215 216 217 218 -219 -220 -221 -222 -223 224 -225 226 -227 -228 -229 230 -231 -232 233 -234 -235 236 -237 238 -239 -240 -241 242 -243 -244 245 -246 -247 248 249 -250 -251 -252 253 -254 -255 -256 257 -258 -259 260 261 262 -263 264 -265 -266 -267 -268 269 -270 -271 272 -273 274 -275 -276 -277 -278 -279 -280 281 282 -283 -284 285 -286 -287 -288 289 -290 291 -292 293 -294 -295 -296 297 -298 -299 -300 -301 302 -303 -304 305 306 307 -308 309 -310 -311 312 313 -314 315 -316 317 -318 319 320 321 322 323 -324 325 326 -327 -328 -329 -330 331 332 333 334 335 336 -337 -338 -339 -340 -341 342 343 344 345 -346 -347 -348 349 -350 -351 352 -353 354 355 356 357 358 359 360 361 -362 363 364 -365 -366 -367 368 -369 -370 371 -372 -373 374 375 -376 377 378 -379 380 -381 382 -383 384 385 -386 -387 388 -389 -390 -391 -392 393 394 395 -396 -397 -398 -399 -400 401 -402 -403 -404 -405 -406 407 408 -409 -410 -411 412 413 -414 415 416 -417 -418 -419 420 421 422 -423 -424 -425 426 -427 428 429 430 431 432 433 -434 435 -436 -437 -438 439 440 -441 442 443 444 445 446 447 -448 449 -450 -451 -452 -453 454 -455 456 -457 -458 459 -460 461 -462 -463 -464 465 -466 467 468 -469 -470 471 -472 -473 474 475 -476 477 478 479 480 481 482 483 484 -485 -486 487 488 489 -490 491 -492 493 -494 495 496 497 -498 499 500 -501 502 -503 -504 -505 -506 507 508 -509 510 511 -512 -513 514 515 -516 -517 518 -519 520 -521 522 -523 -524 525 526 527 -528 -529 -530 531 -532 533 534 -535 -536 537 538 -539 540 541 -542 543 -544 -545 -546 547 -548 549 550 -551 552 553 -554 -555 556 -557 -558 559 -560 561 562 -563 -564 -565 -566 567 -568 569 570 -571 -572 -573 574 -575 576 577 578 579 580 -581 -582 -583 -584 585 586 -587 -588 -589 590 591 592 -593 -594 595 596 597 598 -599 600 601 602 -603 604 -605 606 -607 -608 -609 -610 -611 -612 613 614 -615 616 -617 -618 -619 -620 -621 -622 623 -624 625 -626 -627 628 629 -630 631 632 633 634 635 -636 -637 638 639 640 -641 642 -643 -644 -645 646 647 -648 649 -650 -651 652 -653 654 -655 656 657 658 -659 -660 661 -662 -663 664 665 -666 -667 -668 -669 670 -671 -672 -673 -674 -675 676 -677 -678 679 -680 -681 682 -683 -684 -685 -686 687 688 689 -690 691 692 693 -694 695 696 -697 -698 699 700 701 -702 -703 704 705 -706 -707 708 0

Verifier Data 

OK

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-3290394-1304133115/watcher-3290394-1304133115 -o /tmp/evaluation-result-3290394-1304133115/solver-3290394-1304133115 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3290394-1304133115.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: 7.50 8.00 7.94 5/180 6404
/proc/meminfo: memFree=29292120/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 505726954 52465664 352 33554432000 4194304 4650419 140737032200592 18446744073709551615 47766428207105 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 12809 356 306 112 0 7774 0
[pid=6404/tid=6405] ppid=6402 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 505726954 52465664 356 33554432000 4194304 4650419 140737032200592 18446744073709551615 47766428207026 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 505726954 52465664 356 33554432000 4194304 4650419 140737032200592 18446744073709551615 228090498134 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 505726954 52465664 356 33554432000 4194304 4650419 140737032200592 18446744073709551615 47766428207026 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.10686 s]
/proc/loadavg: 7.50 8.00 7.94 5/180 6404
/proc/meminfo: memFree=29292120/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=282940 CPUtime=0.4 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 1874 0 0 0 40 0 0 0 18 0 4 0 505726954 289730560 1735 33554432000 4194304 4650419 140737032200592 18446744073709551615 4334343 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 70735 1735 393 112 0 65700 0
[pid=6404/tid=6405] ppid=6402 vsize=282940 CPUtime=0.1 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 430 0 0 0 10 0 0 0 18 0 4 0 505726954 289730560 1735 33554432000 4194304 4650419 140737032200592 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=282940 CPUtime=0.1 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 386 0 0 0 10 0 0 0 18 0 4 0 505726954 289730560 1735 33554432000 4194304 4650419 140737032200592 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=282940 CPUtime=0.09 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 221 0 0 0 9 0 0 0 25 0 4 0 505726954 289730560 1735 33554432000 4194304 4650419 140737032200592 18446744073709551615 4333924 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282940

[startup+0.200827 s]
/proc/loadavg: 7.50 8.00 7.94 5/180 6404
/proc/meminfo: memFree=29292120/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=283252 CPUtime=0.77 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 2313 0 0 0 77 0 0 0 18 0 4 0 505726954 290050048 1910 33554432000 4194304 4650419 140737032200592 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 70813 1910 394 112 0 65778 0
[pid=6404/tid=6405] ppid=6402 vsize=283252 CPUtime=0.19 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 572 0 0 0 19 0 0 0 18 0 4 0 505726954 290050048 1910 33554432000 4194304 4650419 140737032200592 18446744073709551615 4315047 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=283252 CPUtime=0.19 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 535 0 0 0 19 0 0 0 18 0 4 0 505726954 290050048 1910 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=283252 CPUtime=0.19 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 298 0 0 0 19 0 0 0 25 0 4 0 505726954 290050048 1910 33554432000 4194304 4650419 140737032200592 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283252

[startup+0.300809 s]
/proc/loadavg: 7.50 8.00 7.94 5/180 6404
/proc/meminfo: memFree=29292120/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=283704 CPUtime=1.17 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 2752 0 0 0 117 0 0 0 18 0 4 0 505726954 290512896 2038 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 70926 2038 394 112 0 65891 0
[pid=6404/tid=6405] ppid=6402 vsize=283704 CPUtime=0.29 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 635 0 0 0 29 0 0 0 18 0 4 0 505726954 290512896 2038 33554432000 4194304 4650419 140737032200592 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=283704 CPUtime=0.29 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 609 0 0 0 29 0 0 0 18 0 4 0 505726954 290512896 2038 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365657 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=283704 CPUtime=0.29 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 449 0 0 0 29 0 0 0 25 0 4 0 505726954 290512896 2038 33554432000 4194304 4650419 140737032200592 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283704

[startup+0.700735 s]
/proc/loadavg: 7.50 8.00 7.94 5/180 6404
/proc/meminfo: memFree=29292120/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=284732 CPUtime=2.77 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 4185 0 0 0 277 0 0 0 18 0 4 0 505726954 291565568 2623 33554432000 4194304 4650419 140737032200592 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 71183 2624 394 112 0 66148 0
[pid=6404/tid=6405] ppid=6402 vsize=284732 CPUtime=0.69 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 962 0 0 0 69 0 0 0 18 0 4 0 505726954 291565568 2624 33554432000 4194304 4650419 140737032200592 18446744073709551615 4364001 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=284732 CPUtime=0.69 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 963 0 0 0 69 0 0 0 18 0 4 0 505726954 291565568 2624 33554432000 4194304 4650419 140737032200592 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=284732 CPUtime=0.69 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 837 0 0 0 69 0 0 0 25 0 4 0 505726954 291565568 2624 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284732

[startup+1.50059 s]
/proc/loadavg: 7.50 8.00 7.94 9/184 6408
/proc/meminfo: memFree=29279952/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=277460 CPUtime=5.97 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 6861 0 0 0 596 1 0 0 20 0 4 0 505726954 284119040 3063 33554432000 4194304 4650419 140737032200592 18446744073709551615 4367064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 69365 3063 395 112 0 64330 0
[pid=6404/tid=6405] ppid=6402 vsize=277460 CPUtime=1.49 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 1612 0 0 0 149 0 0 0 19 0 4 0 505726954 284119040 3063 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=277460 CPUtime=1.49 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 1636 0 0 0 149 0 0 0 20 0 4 0 505726954 284119040 3063 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=277460 CPUtime=1.48 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 1514 0 0 0 148 0 0 0 25 0 4 0 505726954 284119040 3063 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 277460

[startup+3.10029 s]
/proc/loadavg: 7.50 8.00 7.94 9/184 6408
/proc/meminfo: memFree=29264580/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=280908 CPUtime=12.36 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 12887 0 0 0 1234 2 0 0 25 0 4 0 505726954 287649792 7513 33554432000 4194304 4650419 140737032200592 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 70227 7513 395 112 0 65192 0
[pid=6404/tid=6405] ppid=6402 vsize=280908 CPUtime=3.09 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 3276 0 0 0 309 0 0 0 25 0 4 0 505726954 287649792 7513 33554432000 4194304 4650419 140737032200592 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=280908 CPUtime=3.08 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 3187 0 0 0 308 0 0 0 25 0 4 0 505726954 287649792 7513 33554432000 4194304 4650419 140737032200592 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=280908 CPUtime=3.07 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 2430 0 0 0 307 0 0 0 25 0 4 0 505726954 287649792 7513 33554432000 4194304 4650419 140737032200592 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 280908

[startup+6.3007 s]
/proc/loadavg: 7.54 8.00 7.94 9/184 6408
/proc/meminfo: memFree=29241172/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=287840 CPUtime=25.14 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 20387 0 0 0 2511 3 0 0 25 0 4 0 505726954 294748160 11591 33554432000 4194304 4650419 140737032200592 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 71960 11591 395 112 0 66925 0
[pid=6404/tid=6405] ppid=6402 vsize=287840 CPUtime=6.29 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 5173 0 0 0 629 0 0 0 25 0 4 0 505726954 294748160 11591 33554432000 4194304 4650419 140737032200592 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=287840 CPUtime=6.28 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 4587 0 0 0 628 0 0 0 25 0 4 0 505726954 294748160 11591 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=287840 CPUtime=6.26 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 4768 0 0 0 625 1 0 0 25 0 4 0 505726954 294748160 11591 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 287840

[startup+12.7005 s]
/proc/loadavg: 7.66 8.02 7.95 9/184 6408
/proc/meminfo: memFree=29221600/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=291132 CPUtime=50.71 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 29698 0 0 0 5066 5 0 0 25 0 4 0 505726954 298119168 14444 33554432000 4194304 4650419 140737032200592 18446744073709551615 4331995 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 72783 14444 395 112 0 67748 0
[pid=6404/tid=6405] ppid=6402 vsize=291132 CPUtime=12.68 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 7729 0 0 0 1268 0 0 0 25 0 4 0 505726954 298119168 14444 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=291132 CPUtime=12.69 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 6697 0 0 0 1268 1 0 0 25 0 4 0 505726954 298119168 14444 33554432000 4194304 4650419 140737032200592 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=291132 CPUtime=12.63 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 6248 0 0 0 1262 1 0 0 25 0 4 0 505726954 298119168 14444 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 291132

[startup+25.5012 s]
/proc/loadavg: 7.73 8.02 7.95 9/184 6408
/proc/meminfo: memFree=29169104/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=297952 CPUtime=101.85 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 47919 0 0 0 10176 9 0 0 25 0 4 0 505726954 305102848 19682 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 74488 19682 395 112 0 69453 0
[pid=6404/tid=6405] ppid=6402 vsize=297952 CPUtime=25.49 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 13057 0 0 0 2547 2 0 0 25 0 4 0 505726954 305102848 19682 33554432000 4194304 4650419 140737032200592 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=297952 CPUtime=25.49 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 11261 0 0 0 2547 2 0 0 25 0 4 0 505726954 305102848 19682 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=297952 CPUtime=25.37 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 9406 0 0 0 2535 2 0 0 25 0 4 0 505726954 305102848 19682 33554432000 4194304 4650419 140737032200592 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 297952

[startup+51.1004 s]
/proc/loadavg: 7.82 8.01 7.95 9/184 6409
/proc/meminfo: memFree=29098048/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=305820 CPUtime=204.12 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 77888 0 0 0 20395 17 0 0 25 0 4 0 505726954 313159680 26894 33554432000 4194304 4650419 140737032200592 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 76455 26894 395 112 0 71420 0
[pid=6404/tid=6405] ppid=6402 vsize=305820 CPUtime=51.09 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 21473 0 0 0 5105 4 0 0 25 0 4 0 505726954 313159680 26894 33554432000 4194304 4650419 140737032200592 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=305820 CPUtime=51.09 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 18109 0 0 0 5105 4 0 0 25 0 4 0 505726954 313159680 26894 33554432000 4194304 4650419 140737032200592 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=305820 CPUtime=50.85 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 15158 0 0 0 5081 4 0 0 25 0 4 0 505726954 313159680 26894 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 305820

[startup+102.301 s]
/proc/loadavg: 7.97 8.02 7.95 9/184 6410
/proc/meminfo: memFree=29023236/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=333252 CPUtime=408.71 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 130271 0 0 0 40841 30 0 0 25 0 4 0 505726954 341250048 33723 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 83313 33723 395 112 0 78278 0
[pid=6404/tid=6405] ppid=6402 vsize=333252 CPUtime=102.29 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 33247 0 0 0 10222 7 0 0 25 0 4 0 505726954 341250048 33723 33554432000 4194304 4650419 140737032200592 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=333252 CPUtime=102.29 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 32303 0 0 0 10222 7 0 0 25 0 4 0 505726954 341250048 33723 33554432000 4194304 4650419 140737032200592 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=333252 CPUtime=101.82 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 25421 0 0 0 10176 6 0 0 25 0 4 0 505726954 341250048 33723 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.71
Current children cumulated vsize (KiB) 333252

[startup+162.301 s]

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

/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 41635 0 0 0 22112 11 0 0 25 0 4 0 505726954 346570752 49813 33554432000 4194304 4650419 140737032200592 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 888.13
Current children cumulated vsize (KiB) 338448

[startup+282.301 s]
/proc/loadavg: 8.14 8.07 7.98 9/184 6415
/proc/meminfo: memFree=28841280/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=340412 CPUtime=1127.82 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 245549 0 0 0 112720 62 0 0 25 0 4 0 505726954 348581888 52646 33554432000 4194304 4650419 140737032200592 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 85103 52646 395 112 0 80068 0
[pid=6404/tid=6405] ppid=6402 vsize=340412 CPUtime=282.29 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 51503 0 0 0 28217 12 0 0 25 0 4 0 505726954 348581888 52646 33554432000 4194304 4650419 140737032200592 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=340412 CPUtime=282.29 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 63201 0 0 0 28212 17 0 0 25 0 4 0 505726954 348581888 52646 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=340412 CPUtime=280.94 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 50095 0 0 0 28081 13 0 0 25 0 4 0 505726954 348581888 52646 33554432000 4194304 4650419 140737032200592 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1127.82
Current children cumulated vsize (KiB) 340412

[startup+342.301 s]
/proc/loadavg: 8.24 8.10 8.00 9/184 6417
/proc/meminfo: memFree=28809860/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=364144 CPUtime=1367.51 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 268928 0 0 0 136680 71 0 0 25 0 4 0 505726954 372883456 61498 33554432000 4194304 4650419 140737032200592 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 91036 61498 395 112 0 86001 0
[pid=6404/tid=6405] ppid=6402 vsize=364144 CPUtime=342.29 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 54812 0 0 0 34215 14 0 0 25 0 4 0 505726954 372883456 61498 33554432000 4194304 4650419 140737032200592 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=364144 CPUtime=342.29 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 71990 0 0 0 34209 20 0 0 25 0 4 0 505726954 372883456 61498 33554432000 4194304 4650419 140737032200592 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=364144 CPUtime=340.64 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 50921 0 0 0 34050 14 0 0 25 0 4 0 505726954 372883456 61498 33554432000 4194304 4650419 140737032200592 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1367.51
Current children cumulated vsize (KiB) 364144

[startup+402.301 s]
/proc/loadavg: 8.15 8.10 8.00 9/184 6418
/proc/meminfo: memFree=28762468/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=365580 CPUtime=1607.21 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 291405 0 0 0 160644 77 0 0 25 0 4 0 505726954 374353920 63010 33554432000 4194304 4650419 140737032200592 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 91395 63010 395 112 0 86360 0
[pid=6404/tid=6405] ppid=6402 vsize=365580 CPUtime=402.28 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 57115 0 0 0 40214 14 0 0 25 0 4 0 505726954 374353920 63010 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=365580 CPUtime=402.3 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 81755 0 0 0 40206 24 0 0 25 0 4 0 505726954 374353920 63010 33554432000 4194304 4650419 140737032200592 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=365580 CPUtime=400.35 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 51399 0 0 0 40021 14 0 0 25 0 4 0 505726954 374353920 63010 33554432000 4194304 4650419 140737032200592 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1607.21
Current children cumulated vsize (KiB) 365580

[startup+462.3 s]
/proc/loadavg: 8.12 8.09 8.00 9/184 6420
/proc/meminfo: memFree=28739368/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=442812 CPUtime=1846.9 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 311473 0 0 0 184605 85 0 0 25 0 4 0 505726954 453439488 73456 33554432000 4194304 4650419 140737032200592 18446744073709551615 4367986 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 110703 73456 395 112 0 105668 0
[pid=6404/tid=6405] ppid=6402 vsize=442812 CPUtime=462.29 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 57897 0 0 0 46214 15 0 0 25 0 4 0 505726954 453439488 73456 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=442812 CPUtime=462.29 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 89265 0 0 0 46203 26 0 0 25 0 4 0 505726954 453439488 73456 33554432000 4194304 4650419 140737032200592 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=442812 CPUtime=460.03 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 57474 0 0 0 45987 16 0 0 25 0 4 0 505726954 453439488 73456 33554432000 4194304 4650419 140737032200592 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1846.9
Current children cumulated vsize (KiB) 442812

[startup+522.3 s]
/proc/loadavg: 8.04 8.07 8.00 9/184 6422
/proc/meminfo: memFree=28667040/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=419476 CPUtime=2086.61 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 336635 0 0 0 208568 93 0 0 25 0 4 0 505726954 429543424 70931 33554432000 4194304 4650419 140737032200592 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 104869 70931 395 112 0 99834 0
[pid=6404/tid=6405] ppid=6402 vsize=419476 CPUtime=522.29 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 64329 0 0 0 52212 17 0 0 25 0 4 0 505726954 429543424 70931 33554432000 4194304 4650419 140737032200592 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=419476 CPUtime=522.3 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 94774 0 0 0 52201 29 0 0 25 0 4 0 505726954 429543424 70931 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=419476 CPUtime=519.74 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 61037 0 0 0 51958 16 0 0 25 0 4 0 505726954 429543424 70931 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2086.61
Current children cumulated vsize (KiB) 419476

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

[startup+524.807 s]
/proc/loadavg: 8.04 8.07 8.00 9/184 6422
/proc/meminfo: memFree=28687500/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=419476 CPUtime=2096.62 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 337429 0 0 0 209569 93 0 0 25 0 4 0 505726954 429543424 71725 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 104869 71725 395 112 0 99834 0
[pid=6404/tid=6405] ppid=6402 vsize=419476 CPUtime=524.79 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 64531 0 0 0 52462 17 0 0 25 0 4 0 505726954 429543424 71725 33554432000 4194304 4650419 140737032200592 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=419476 CPUtime=524.81 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 94938 0 0 0 52452 29 0 0 25 0 4 0 505726954 429543424 71725 33554432000 4194304 4650419 140737032200592 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=419476 CPUtime=522.23 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 61216 0 0 0 52207 16 0 0 25 0 4 0 505726954 429543424 71725 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2096.62
Current children cumulated vsize (KiB) 419476

[startup+528 s]
/proc/loadavg: 8.04 8.07 8.00 9/184 6422
/proc/meminfo: memFree=28728916/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=419476 CPUtime=2109.4 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 339349 0 0 0 210846 94 0 0 25 0 4 0 505726954 429543424 69172 33554432000 4194304 4650419 140737032200592 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 104869 69172 395 112 0 99834 0
[pid=6404/tid=6405] ppid=6402 vsize=419476 CPUtime=527.99 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 64769 0 0 0 52782 17 0 0 25 0 4 0 505726954 429543424 69172 33554432000 4194304 4650419 140737032200592 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=419476 CPUtime=528 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 96122 0 0 0 52771 29 0 0 25 0 4 0 505726954 429543424 69172 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=419476 CPUtime=525.41 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 61415 0 0 0 52525 16 0 0 25 0 4 0 505726954 429543424 69172 33554432000 4194304 4650419 140737032200592 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2109.4
Current children cumulated vsize (KiB) 419476

[startup+531.201 s]
/proc/loadavg: 8.03 8.07 8.00 9/184 6422
/proc/meminfo: memFree=28725568/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=419476 CPUtime=2122.18 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 340347 0 0 0 212123 95 0 0 25 0 4 0 505726954 429543424 70170 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 104869 70170 395 112 0 99834 0
[pid=6404/tid=6405] ppid=6402 vsize=419476 CPUtime=531.18 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 64976 0 0 0 53101 17 0 0 25 0 4 0 505726954 429543424 70170 33554432000 4194304 4650419 140737032200592 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=419476 CPUtime=531.2 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 96420 0 0 0 53090 30 0 0 25 0 4 0 505726954 429543424 70170 33554432000 4194304 4650419 140737032200592 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=419476 CPUtime=528.6 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 61615 0 0 0 52844 16 0 0 25 0 4 0 505726954 429543424 70170 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2122.18
Current children cumulated vsize (KiB) 419476

[startup+532.8 s]
/proc/loadavg: 8.03 8.07 8.00 9/184 6422
/proc/meminfo: memFree=28722960/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=419476 CPUtime=2128.56 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 340895 0 0 0 212761 95 0 0 25 0 4 0 505726954 429543424 70718 33554432000 4194304 4650419 140737032200592 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 104869 70718 395 112 0 99834 0
[pid=6404/tid=6405] ppid=6402 vsize=419476 CPUtime=532.78 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 65076 0 0 0 53261 17 0 0 25 0 4 0 505726954 429543424 70718 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=419476 CPUtime=532.8 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 96582 0 0 0 53250 30 0 0 25 0 4 0 505726954 429543424 70718 33554432000 4194304 4650419 140737032200592 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=419476 CPUtime=530.2 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 61767 0 0 0 53003 17 0 0 25 0 4 0 505726954 429543424 70718 33554432000 4194304 4650419 140737032200592 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2128.56
Current children cumulated vsize (KiB) 419476

[startup+533.2 s]
/proc/loadavg: 8.03 8.07 8.00 9/184 6422
/proc/meminfo: memFree=28722960/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=419476 CPUtime=2130.16 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 341022 0 0 0 212921 95 0 0 25 0 4 0 505726954 429543424 70845 33554432000 4194304 4650419 140737032200592 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 104869 70845 395 112 0 99834 0
[pid=6404/tid=6405] ppid=6402 vsize=419476 CPUtime=533.18 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 65093 0 0 0 53301 17 0 0 25 0 4 0 505726954 429543424 70845 33554432000 4194304 4650419 140737032200592 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=419476 CPUtime=533.2 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 96615 0 0 0 53290 30 0 0 25 0 4 0 505726954 429543424 70845 33554432000 4194304 4650419 140737032200592 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=419476 CPUtime=530.59 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 61810 0 0 0 53042 17 0 0 25 0 4 0 505726954 429543424 70845 33554432000 4194304 4650419 140737032200592 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2130.16
Current children cumulated vsize (KiB) 419476

[startup+533.606 s]
/proc/loadavg: 8.03 8.07 8.00 9/184 6422
/proc/meminfo: memFree=28721348/32951124 swapFree=67111348/67111528
[pid=6404] ppid=6402 vsize=419476 CPUtime=2131.78 cores=0,2,4,6
/proc/6404/stat : 6404 (strangenight1-m) R 6402 6404 6135 0 -1 4202496 341102 0 0 0 213083 95 0 0 25 0 4 0 505726954 429543424 70923 33554432000 4194304 4650419 140737032200592 18446744073709551615 47766428206611 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6404/statm: 104869 70923 395 112 0 99834 0
[pid=6404/tid=6405] ppid=6402 vsize=419476 CPUtime=533.59 cores=0,2,4,6
/proc/6404/task/6405/stat : 6405 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 65093 0 0 0 53342 17 0 0 25 0 4 0 505726954 429543424 70923 33554432000 4194304 4650419 140737032200592 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6404/tid=6406] ppid=6402 vsize=419476 CPUtime=533.61 cores=0,2,4,6
/proc/6404/task/6406/stat : 6406 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 96646 0 0 0 53331 30 0 0 25 0 4 0 505726954 429543424 70923 33554432000 4194304 4650419 140737032200592 18446744073709551615 47766428182048 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6404/tid=6407] ppid=6402 vsize=419476 CPUtime=530.99 cores=0,2,4,6
/proc/6404/task/6407/stat : 6407 (strangenight1-m) R 6402 6404 6135 0 -1 4202560 61833 0 0 0 53082 17 0 0 25 0 4 0 505726954 429543424 70923 33554432000 4194304 4650419 140737032200592 18446744073709551615 47766428206617 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2131.78
Current children cumulated vsize (KiB) 419476

Child status: 10
Real time (s): 533.698
CPU time (s): 2131.99
CPU user time (s): 2131.02
CPU system time (s): 0.971852
CPU usage (%): 399.476
Max. virtual memory (cumulated for all children) (KiB): 455692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2131.02
system time used= 0.971852
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 342123
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= 498
involuntary context switches= 9673

runsolver used 0.78888 second user time and 1.83372 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-30 05:11:55
IDJOB=3290394
IDBENCH=83432
IDSOLVER=1588
FILE ID=node142/3290394-1304133115
RUNJOBID= node142-1304130697-6153
PBS_JOBID= 13170793
Free space on /tmp= 73316 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/32/aes_32_3_keyfind_1.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290394-1304133115/watcher-3290394-1304133115 -o /tmp/evaluation-result-3290394-1304133115/solver-3290394-1304133115 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3290394-1304133115.cnf

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

MD5SUM BENCH= 278d646386a62d4f28f7fc390c5eab3e
RANDOM SEED=208683021

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.82
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.846
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:     32951124 kB
MemFree:      29292276 kB
Buffers:       1085536 kB
Cached:        1951936 kB
SwapCached:        176 kB
Active:         239112 kB
Inactive:      2924708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29292276 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           12668 kB
Writeback:           0 kB
AnonPages:      125784 kB
Mapped:          15520 kB
Slab:           432084 kB
PageTables:       4532 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   342984 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= 73308 MiB
End job on node142 at 2011-04-30 05:20:49