Trace number 3174218

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-2-mtSAT 1654.92 414.495

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf
MD5SUMfa5f68613be1e2c6017df353c3eb03ef
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.045992
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 54450

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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174218-1304115388.cnf'
0.00/0.00	c -- header says num vars:             50
0.00/0.00	c -- header says num clauses:        4450
0.00/0.81	c -- clauses added:            0 learnts,         4450 normals,            0 xors
0.00/0.81	c -- vars added         50
0.00/0.81	c Parsing time:  0.00 s
0.00/0.81	c  N st     0         0        50      4450         0         0     31150         0   no data   no data
0.00/0.81	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.09
0.00/0.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
0.00/0.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.81	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.81	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.81	c calculated reachability. Time: 0.00
0.00/0.81	c Calc default polars -  time:   0.00 s pos:      28 undec:       2 neg:      20
0.00/0.81	c =========================================================================================
0.00/0.81	c types(t): F = full restart, N = normal restart
0.00/0.81	c types(t): S = simplification begin/end, E = solution found
0.00/0.81	c restart types(rt): st = static, dy = dynamic
0.00/0.81	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.81	c  B st     0         0        50      4450         0         0     31150         0   no data   no data
0.00/0.81	c  N dy    13      4941        50      4450         0      4300     31150     78134     15.50     16.35
0.00/0.81	c  N dy    22      9038        50      4450         0      5707     31150    100005     15.35     16.33
0.00/0.81	c  N dy    41     13047        50      4450         0      5485     31150     91022     15.52     16.35
3.39/0.91	c  N dy    54     22367        50      4450         0      8612     31150    138067     15.12     15.97
3.79/1.01	c  F st    68     25000        50      4450         0     10900     31150    180350     15.21   no data
4.19/1.11	c  N st    72     27032        50      4450         0      6774     31150    102748     15.21   no data
4.60/1.21	c  S st    74     30000        50      4450         0      9353     31150    150899     15.21   no data
4.60/1.21	c  S st    74     30503        50      4450         0      9802     31150    159337     15.21   no data
4.60/1.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.60/1.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.60/1.21	c blocked clauses removed:        0 vars:      0 tried:          50 T: 0.00 s
4.60/1.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.60/1.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.60/1.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4.60/1.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.60/1.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.00/1.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.98/1.51	c lits-rem:       136  cl-subs:     1514  v-elim:      0  v-fix:    0  time:  0.20 s
6.38/1.61	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.19
6.38/1.61	c calculated reachability. Time: 0.00
6.38/1.61	c  N dy    74     30503        50      4450         0      8288     31150    133971     15.21   no data
7.59/1.92	c  N dy    96     36790        50      4450         0      6991     31150    100001     15.23     16.26
8.36/2.12	c  N dy   120     41181        50      4450         0     10806     31150    170674     15.35     16.16
9.16/2.36	c  N dy   137     45370        50      4450         0     14401     31150    236359     15.40     16.21
9.16/2.38	c  S st   138     45755        50      4450         0     14743     31150    242569     15.40     15.83
9.56/2.43	c  S st   138     46256        50      4450         0     15187     31150    251151     15.40   no data
9.56/2.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
9.56/2.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.56/2.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
9.56/2.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.56/2.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.56/2.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.76/2.79	c lits-rem:       223  cl-subs:     2392  v-elim:      0  v-fix:    0  time:  0.34 s
10.76/2.79	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
10.76/2.79	c vivif2 --  cl tried    12795 cl shrink        0 lits rem          0 time: 0.00
11.98/3.05	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.26
11.98/3.05	c calculated reachability. Time: 0.00
11.98/3.05	c  N dy   138     46256        50      4450         0     12795     31150    208305     15.40   no data
13.17/3.39	c  N dy   154     52455        50      4450         0     10620     31150    156975     15.32     16.13
13.96/3.59	c  N dy   169     56513        50      4450         0     14141     31150    220982     15.34     17.86
15.16/3.87	c  N dy   194     60528        50      4450         0      9096     31150    124876     15.42     17.91
16.38/4.18	c  N dy   207     66853        50      4450         0     14543     31150    222062     15.37     16.30
17.15/4.37	c  S st   229     69385        50      4450         0     16737     31150    263771     15.44   no data
17.55/4.41	c  S st   229     69888        50      4450         0     17186     31150    272507     15.44   no data
17.55/4.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.55/4.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
17.55/4.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.55/4.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.55/4.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.55/4.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
17.55/4.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.55/4.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.55/4.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.16/4.87	c lits-rem:       205  cl-subs:     2704  v-elim:      0  v-fix:    0  time:  0.44 s
19.16/4.88	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
19.16/4.88	c vivif2 --  cl tried    14482 cl shrink        0 lits rem          0 time: 0.00
20.37/5.18	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.30
20.37/5.18	c calculated reachability. Time: 0.00
20.37/5.18	c  N dy   229     69888        50      4450         0     14482     31150    225129     15.44   no data
21.95/5.59	c  N dy   246     76195        50      4450         0     10632     31150    144461     15.42     16.28
23.15/5.88	c  N dy   276     81097        50      4450         0     14887     31150    223544     15.46     17.95
24.77/6.21	c  N dy   285     86337        50      4450         0     19422     31150    305335     15.43     16.49
25.17/6.31	c  F st   292     87500        50      4450         0     20439     31150    323915     15.43     14.87
25.94/6.59	c  N dy   298     92694        50      4450         0     14710     31150    213981     15.43   no data
28.35/7.16	c  N dy   321    101147        50      4450         0     22075     31150    347747     15.41     16.33
29.57/7.43	c  S st   346    104835        50      4450         0     14054     31150    196748     15.46     14.68
29.57/7.47	c  S st   346    105339        50      4450         0     14498     31150    205424     15.46   no data
29.57/7.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.57/7.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
29.57/7.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.57/7.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.57/7.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.57/7.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
29.57/7.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.57/7.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
29.57/7.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.34/7.65	c lits-rem:       114  cl-subs:      796  v-elim:      0  v-fix:    0  time:  0.17 s
30.34/7.65	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
30.34/7.65	c vivif2 --  cl tried    13702 cl shrink        0 lits rem          0 time: 0.00
31.54/7.95	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.30
31.54/7.95	c calculated reachability. Time: 0.00
31.54/7.95	c  N dy   346    105339        50      4450         0     13702     31150    190304     15.46   no data
33.55/8.46	c  N dy   394    112062        50      4450         0     19592     31150    300795     15.54     16.41
35.93/9.02	c  N dy   421    119236        50      4450         0     13694     31150    181366     15.56     17.52
41.13/10.38	c  N dy   467    138457        50      4450         0     17256     31150    233062     15.47     16.34
45.13/11.35	c  N dy   524    149763        50      4450         0     27083     31150    415083     15.52     16.54
47.52/11.97	c  S st   553    158009        50      4450         0     20386     31150    287564     15.53     14.13
47.92/12.03	c  S st   553    158512        50      4450         0     20825     31150    296028     15.53   no data
47.92/12.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.92/12.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
47.92/12.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.92/12.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.92/12.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.92/12.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
47.92/12.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.92/12.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
47.92/12.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.52/12.46	c lits-rem:       232  cl-subs:     2071  v-elim:      0  v-fix:    0  time:  0.41 s
49.52/12.46	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
49.52/12.46	c vivif2 --  cl tried    18754 cl shrink        0 lits rem          0 time: 0.00
51.13/12.80	c asymm  cl-useful: 0/4259/4450 lits-rem:0 time: 0.34
51.13/12.80	c calculated reachability. Time: 0.00
51.13/12.80	c  N dy   553    158512        50      4450         0     18754     31150    259520     15.53   no data
55.93/14.09	c  N dy   586    174129        50      4450         0     17693     31150    229934     15.47     16.31
60.32/15.11	c  N dy   661    185284        50      4450         0     27399     31150    410942     15.53     17.06
64.72/16.22	c  N dy   702    197180        50      4450         0     22177     31150    307424     15.53     16.74
69.89/17.54	c  N dy   744    209804        50      4450         0     16642     31150    198913     15.51     17.49
74.28/18.70	c  N dy   792    223335        50      4450         0     28379     31150    413289     15.51     16.36
79.88/20.09	c  N dy   834    237664        50      4450         0     23486     31150    316961     15.49     16.40
80.28/20.10	c  S st   835    237770        50      4450         0     23585     31150    318825     15.49     16.15
80.28/20.16	c  S st   835    238272        50      4450         0     24024     31150    327128     15.49   no data
80.28/20.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
80.28/20.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
80.28/20.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.28/20.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.28/20.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.28/20.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
80.28/20.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
80.28/20.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
80.28/20.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.30/20.65	c lits-rem:       232  cl-subs:     1861  v-elim:      0  v-fix:    0  time:  0.46 s
82.30/20.65	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
82.30/20.65	c vivif2 --  cl tried    22163 cl shrink        0 lits rem          0 time: 0.00
83.87/21.00	c asymm  cl-useful: 0/3704/4450 lits-rem:0 time: 0.34
83.87/21.00	c calculated reachability. Time: 0.00
83.87/21.00	c  N dy   835    238272        50      4450         0     22163     31150    293154     15.49   no data
90.27/22.62	c  N dy   904    253498        50      4450         0     35376     31150    539279     15.52     17.41
97.05/24.30	c  N dy   971    271561        50      4450         0     32970     31150    478903     15.51     16.42
105.45/26.45	c  N dy  1064    291930        50      4450         0     31621     31150    446280     15.51     16.52
112.66/28.21	c  F st  1161    306250        50      4450         0     24152     31150    307938     15.56   no data
114.24/28.69	c  N dy  1167    311446        50      4450         0     28643     31150    389982     15.56   no data
124.23/31.18	c  N dy  1211    333644        50      4450         0     26934     31150    344418     15.52     16.44
135.41/33.99	c  N dy  1299    357408        50      4450         0     25840     31150    319985     15.51     13.60
135.41/33.99	c  S st  1299    357408        50      4450         0     25840     31150    319985     15.51     13.60
135.81/34.06	c  S st  1299    357911        50      4450         0     26296     31150    328761     15.51   no data
135.81/34.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
135.81/34.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
135.81/34.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
135.81/34.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
135.81/34.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.81/34.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
135.81/34.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
135.81/34.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
135.81/34.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.81/34.53	c lits-rem:       187  cl-subs:     1654  v-elim:      0  v-fix:    0  time:  0.45 s
137.81/34.53	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
137.81/34.53	c vivif2 --  cl tried    24642 cl shrink        0 lits rem          0 time: 0.00
138.21/34.62	c asymm  cl-useful: 0/746/4450 lits-rem:0 time: 0.09
138.21/34.62	c calculated reachability. Time: 0.00
138.21/34.62	c  N dy  1299    357911        50      4450         0     24642     31150    302764     15.51   no data
148.59/37.23	c  N dy  1406    378434        50      4450         0     42424     31150    631083     15.54     16.41
158.58/39.78	c  N dy  1528    398623        50      4450         0     37596     31150    538801     15.59     16.44
170.19/42.69	c  N dy  1605    418702        50      4450         0     31605     31150    414078     15.59     17.15
185.74/46.59	c  N dy  1646    452659        50      4450         0     36517     31150    472686     15.47     16.44
198.12/49.67	c  N dy  1777    472750        50      4450         0     29026     31150    353473     15.51     18.41
208.92/52.32	c  N dy  1860    492844        50      4450         0     46310     31150    671692     15.53     17.10
221.30/55.44	c  N dy  1994    513300        50      4450         0     38179     31150    515736     15.57     16.42
234.08/58.70	c  N dy  2083    533711        50      4450         0     29068     31150    335482     15.58     16.43
235.70/59.03	c  S st  2094    536866        50      4450         0     31819     31150    385849     15.58     15.55
236.10/59.12	c  S st  2094    537367        50      4450         0     32259     31150    394371     15.58   no data
236.10/59.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
236.10/59.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
236.10/59.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
236.10/59.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
236.10/59.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
236.10/59.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
236.10/59.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
236.10/59.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
236.10/59.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
238.48/59.74	c lits-rem:       161  cl-subs:     1723  v-elim:      0  v-fix:    0  time:  0.60 s
238.48/59.74	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
238.48/59.75	c vivif2 --  cl tried    30536 cl shrink        0 lits rem          0 time: 0.00
240.09/60.12	c asymm  cl-useful: 0/3005/4450 lits-rem:0 time: 0.38
240.09/60.13	c calculated reachability. Time: 0.00
240.09/60.13	c  N dy  2094    537367        50      4450         0     30536     31150    364612     15.58   no data
251.26/62.93	c  N dy  2159    557868        50      4450         0     48176     31150    685186     15.57     16.57
264.05/66.12	c  N dy  2278    577923        50      4450         0     38043     31150    498533     15.60     16.52
277.23/69.40	c  N dy  2349    598013        50      4450         0     55418     31150    812918     15.59     16.50
289.21/72.47	c  N dy  2409    621320        50      4450         0     46995     31150    646187     15.57     16.40
304.79/76.31	c  N dy  2558    641356        50      4450         0     35064     31150    429351     15.61     16.65
317.57/79.60	c  N dy  2648    662306        50      4450         0     53060     31150    758699     15.61     16.49
332.78/83.39	c  N dy  2674    689386        50      4450         0     46144     31150    609870     15.56     16.39
347.53/87.08	c  N dy  2745    709424        50      4450         0     32432     31150    365287     15.56     17.96
376.71/94.34	c  N dy  2812    758788        50      4450         0     42783     31150    528066     15.47     16.45
394.30/98.71	c  N dy  2904    781891        50      4450         0     62605     31150    889348     15.47     16.42
409.05/102.49	c  N dy  2965    806053        50      4450         0     50755     31150    674949     15.46     14.53
409.05/102.49	c  S st  2965    806053        50      4450         0     50755     31150    674949     15.46     14.53
409.85/102.63	c  S st  2965    806554        50      4450         0     51190     31150    683316     15.46   no data
409.85/102.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
409.85/102.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
409.85/102.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
409.85/102.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
409.85/102.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
409.85/102.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
409.85/102.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
409.85/102.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
409.85/102.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
421.44/105.54	c lits-rem:       558  cl-subs:     6767  v-elim:      0  v-fix:    0  time:  2.87 s
421.44/105.54	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
421.44/105.55	c vivif2 --  cl tried    44423 cl shrink        0 lits rem          0 time: 0.01
422.24/105.79	c asymm  cl-useful: 0/870/4450 lits-rem:0 time: 0.24
422.24/105.79	c calculated reachability. Time: 0.00
422.24/105.79	c  N dy  2965    806554        50      4450         0     44423     31150    572216     15.46   no data
439.41/110.08	c  N dy  3064    828882        50      4450         0     63588     31150    924200     15.47     16.28
454.20/113.73	c  N dy  3131    851493        50      4450         0     49969     31150    659304     15.46     16.29
474.57/118.84	c  N dy  3302    872363        50      4450         0     68060     31150   1002767     15.49     16.31
488.55/122.36	c  N dy  3405    892719        50      4450         0     51552     31150    687016     15.50     16.46
509.72/127.60	c  N dy  3486    919433        50      4450         0     39304     31150    445797     15.49     16.35
526.89/131.97	c  N dy  3584    943564        50      4450         0     60053     31150    826581     15.49     16.39
554.46/138.89	c  N dy  3682    978831        50      4450         0     54133     31150    702055     15.48     16.45
575.23/144.02	c  N dy  3828    998916        50      4450         0     71413     31150   1026661     15.50     16.83
592.02/148.21	c  N dy  3928   1021621        50      4450         0     54070     31150    707792     15.51     16.35
610.38/152.88	c  N dy  3956   1047001        50      4450         0     38003     31150    406556     15.48     16.40
625.56/156.60	c  N dy  4089   1067055        50      4450         0     55187     31150    725623     15.49     16.39
629.15/157.55	c  F st  4098   1071876        50      4450         0     59305     31150    800004     15.49     13.88
643.94/161.29	c  N dy  4170   1087058        50      4450         0     72416     31150   1046172     15.50     17.06
661.12/165.55	c  N dy  4275   1107130        50      4450         0     51211     31150    644995     15.51     17.11
679.51/170.11	c  N dy  4367   1127144        50      4450         0     68369     31150    962681     15.52     17.44
697.87/174.71	c  N dy  4425   1147255        50      4450         0     46132     31150    539222     15.52     16.34
715.84/179.28	c  N dy  4457   1172656        50      4450         0     67817     31150    920740     15.49     16.41
739.01/185.06	c  N dy  4610   1192669        50      4450         0     44791     31150    511127     15.51     17.85
752.19/188.34	c  S st  4703   1209831        50      4450         0     59632     31150    788218     15.52     14.03
752.99/188.50	c  S st  4703   1210334        50      4450         0     60079     31150    797085     15.52   no data
752.99/188.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
752.99/188.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
752.99/188.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
752.99/188.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
752.99/188.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
752.99/188.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
752.99/188.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
752.99/188.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
752.99/188.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
769.77/192.76	c lits-rem:       643  cl-subs:     5892  v-elim:      0  v-fix:    0  time:  4.20 s
769.77/192.76	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
769.77/192.77	c vivif2 --  cl tried    54187 cl shrink        0 lits rem          0 time: 0.01
770.97/193.04	c asymm  cl-useful: 0/575/4450 lits-rem:0 time: 0.26
770.97/193.04	c calculated reachability. Time: 0.00
770.97/193.04	c  N dy  4703   1210334        50      4450         0     54187     31150    691294     15.52   no data
792.54/198.43	c  N dy  4767   1230414        50      4450         0     71316     31150    997722     15.51     18.04
817.30/204.69	c  N dy  4880   1250449        50      4450         0     47703     31150    557821     15.52     16.35
836.08/209.33	c  N dy  4967   1273712        50      4450         0     67529     31150    916315     15.52     16.59
858.86/215.05	c  N dy  5043   1294250        50      4450         0     43399     31150    470647     15.52     16.36
875.63/219.29	c  N dy  5176   1314334        50      4450         0     60676     31150    793857     15.53     16.53
904.01/226.37	c  N dy  5229   1346832        50      4450         0     45610     31150    499984     15.51     16.42
920.77/230.56	c  N dy  5349   1366844        50      4450         0     62821     31150    823105     15.52     18.40
942.74/236.09	c  N dy  5399   1387601        50      4450         0     80581     31150   1142323     15.52     16.37
968.70/242.52	c  N dy  5535   1407673        50      4450         0     54251     31150    658058     15.53     17.60
990.27/247.92	c  N dy  5695   1427753        50      4450         0     71539     31150    985714     15.55     16.42
1019.03/255.10	c  N dy  5794   1451606        50      4450         0     47386     31150    520053     15.55     16.47
1038.61/260.04	c  N dy  5938   1473573        50      4450         0     66291     31150    876171     15.57     16.39
1062.97/266.10	c  N dy  6067   1493784        50      4450         0     83690     31150   1202406     15.58     16.52
1086.15/271.99	c  N dy  6202   1513884        50      4450         0     55505     31150    670148     15.59     17.16
1108.92/277.67	c  N dy  6290   1537441        50      4450         0     75716     31150   1040909     15.60     16.45
1135.68/284.38	c  N dy  6387   1557469        50      4450         0     46458     31150    491532     15.60     18.16
1151.65/288.34	c  N dy  6462   1577613        50      4450         0     63699     31150    806668     15.60     16.50
1173.62/293.82	c  N dy  6555   1597668        50      4450         0     80886     31150   1123316     15.60     16.61
1199.98/300.42	c  N dy  6618   1621152        50      4450         0     53751     31150    613543     15.60     16.49
1216.76/304.64	c  N dy  6665   1641245        50      4450         0     70844     31150    919168     15.59     16.90
1244.32/311.56	c  N dy  6808   1662275        50      4450         0     88952     31150   1260515     15.60     16.44
1267.50/317.38	c  N dy  6870   1684069        50      4450         0     59549     31150    707352     15.59     16.44
1289.47/322.85	c  N dy  6937   1707358        50      4450         0     79435     31150   1067767     15.59     16.42
1293.06/323.78	c  S st  6950   1710335        50      4450         0     81994     31150   1115417     15.59   no data
1294.26/324.03	c  S st  6950   1710838        50      4450         0     82444     31150   1124121     15.59   no data
1294.26/324.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1294.26/324.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1294.26/324.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1294.26/324.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1294.26/324.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1294.26/324.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
1294.26/324.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1294.26/324.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1294.68/324.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1337.80/334.92	c lits-rem:      1005  cl-subs:    13036  v-elim:      0  v-fix:    0  time: 10.79 s
1337.80/334.92	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
1337.80/334.93	c vivif2 --  cl tried    69408 cl shrink        0 lits rem          0 time: 0.01
1339.40/335.31	c asymm  cl-useful: 0/769/4450 lits-rem:0 time: 0.38
1339.40/335.31	c calculated reachability. Time: 0.00
1339.40/335.31	c  N dy  6950   1710838        50      4450         0     69408     31150    909224     15.59   no data
1378.56/345.15	c  N dy  7035   1738223        50      4450         0     92620     31150   1319987     15.57     16.71
1404.93/351.76	c  N dy  7169   1758451        50      4450         0     62376     31150    777961     15.58     16.41
1440.46/360.62	c  N dy  7288   1789802        50      4450         0     89155     31150   1264237     15.58     16.46
1466.05/367.04	c  N dy  7396   1809847        50      4450         0     57214     31150    666718     15.59     16.41
1493.19/373.84	c  N dy  7507   1836798        50      4450         0     80305     31150   1089949     15.59     16.48
1521.95/381.08	c  N dy  7608   1856850        50      4450         0     97467     31150   1408533     15.60     16.90
1547.12/387.38	c  N dy  7745   1876852        50      4450         0     64458     31150    794692     15.61     17.50
1569.08/392.83	c  N dy  7790   1896946        50      4450         0     81627     31150   1106879     15.61     17.86
1599.85/400.52	c  N dy  7861   1920870        50      4450         0    102015     31150   1476478     15.60     16.47
1620.61/405.74	c  N dy  7980   1940897        50      4450         0     68010     31150    850771     15.61     18.30
1646.98/412.31	c  N dy  8113   1961360        50      4450         0     85621     31150   1182107     15.62     16.58
1654.57/414.28	c Following stats are for *FIRST FINISHED THREAD ONLY*
1654.57/414.28	c num threads              : 4          
1654.57/414.28	c restarts                 : 7682       
1654.57/414.28	c dynamic restarts         : 7652       
1654.57/414.28	c static restarts          : 30         
1654.57/414.28	c full restarts            : 4          
1654.57/414.28	c total simplify time      : 0.00       
1654.57/414.28	c learnts DL2              : 0          
1654.57/414.28	c learnts size 2           : 0          
1654.57/414.28	c learnts size 1           : 0           (0.00      % of vars)
1654.57/414.28	c filedLit time            : 0.14        (0.03      % time)
1654.57/414.28	c v-elim SatELite          : 0           (0.00      % vars)
1654.57/414.28	c SatELite time            : 29.58       (7.18      % time)
1654.57/414.28	c v-elim xor               : 0           (0.00      % vars)
1654.57/414.28	c xor elim time            : 0.02        (0.00      % time)
1654.57/414.28	c num binary xor trees     : 0          
1654.57/414.28	c binxor trees' crown      : 0           (nan       leafs/tree)
1654.57/414.28	c bin xor find time        : 0.00       
1654.57/414.28	c OTF clause improved      : 274452      (0.14      clauses/conflict)
1654.57/414.28	c OTF impr. size diff      : 276421      (1.01       lits/clause)
1654.57/414.28	c OTF cl watch-shrink      : 0           (0.00      clauses/conflict)
1654.57/414.28	c OTF cl watch-sh-lit      : 0           (nan        lits/clause)
1654.57/414.28	c tried to recurMin cls    : 99358       (5.11       % of conflicts)
1654.57/414.28	c updated cache            : 7           (0.00       lits/tried recurMin)
1654.57/414.28	c unit cls recevied        : 0           (nan       % of units)
1654.57/414.28	c unit cls sent            : 0           (nan       % of units)
1654.57/414.28	c bin cls recevied         : 0          
1654.57/414.28	c bin cls sent             : 0          
1654.57/414.28	c clauses over max glue    : 0           (0.00      % of all clauses)
1654.57/414.28	c conflicts                : 1943186     (4717.79   / sec)
1654.57/414.28	c decisions                : 2219090     (0.36      % random)
1654.57/414.28	c bogo-props               : 60237282624 (146248036.98 / sec)
1654.57/414.28	c conflict literals        : 35273600    (11.55     % deleted)
1654.57/414.28	c Memory used              : 329.12      MB
1654.57/414.28	c single-thread CPU time   : 411.88      s
1654.57/414.28	c all-threads sum CPU time : 1654.08     s
1654.57/414.28	s SATISFIABLE
1654.57/414.28	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 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-3174218-1304115388/watcher-3174218-1304115388 -o /tmp/evaluation-result-3174218-1304115388/solver-3174218-1304115388 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174218-1304115388.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.95 7.83 7.93 3/176 5222
/proc/meminfo: memFree=29520500/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 4 0 601769478 52441088 348 33554432000 4194304 4627427 140735092927440 18446744073709551615 47366081849266 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 12803 348 299 106 0 7774 0
[pid=5222/tid=5223] ppid=5218 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 601769478 52441088 348 33554432000 4194304 4627427 140735092927440 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 601769478 52441088 348 33554432000 4194304 4627427 140735092927440 18446744073709551615 47366081849260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 601769478 52441088 348 33554432000 4194304 4627427 140735092927440 18446744073709551615 47366081849266 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.103037 s]
/proc/loadavg: 6.95 7.83 7.93 3/176 5222
/proc/meminfo: memFree=29520500/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=285936 CPUtime=3.39 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 5590 0 0 0 339 0 0 0 25 0 4 0 601769478 292798464 3107 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 71484 3107 384 106 0 66455 0
[pid=5222/tid=5223] ppid=5218 vsize=285936 CPUtime=0.84 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 1302 0 0 0 84 0 0 0 19 0 4 0 601769478 292798464 3107 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=285936 CPUtime=0.84 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 1377 0 0 0 84 0 0 0 25 0 4 0 601769478 292798464 3107 33554432000 4194304 4627427 140735092927440 18446744073709551615 4332749 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=285936 CPUtime=0.84 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 1134 0 0 0 84 0 0 0 19 0 4 0 601769478 292798464 3107 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 285936

[startup+0.955816 s]
/proc/loadavg: 6.95 7.83 7.93 3/176 5222
/proc/meminfo: memFree=29520500/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=286076 CPUtime=3.79 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 5835 0 0 0 379 0 0 0 25 0 4 0 601769478 292941824 3352 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 71519 3352 385 106 0 66490 0
[pid=5222/tid=5223] ppid=5218 vsize=286076 CPUtime=0.94 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 1356 0 0 0 94 0 0 0 19 0 4 0 601769478 292941824 3352 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=286076 CPUtime=0.94 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 1438 0 0 0 94 0 0 0 25 0 4 0 601769478 292941824 3352 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=286076 CPUtime=0.94 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 1201 0 0 0 94 0 0 0 19 0 4 0 601769478 292941824 3352 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 286076

[startup+1.0558 s]
/proc/loadavg: 6.95 7.83 7.93 3/176 5222
/proc/meminfo: memFree=29520500/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=286452 CPUtime=4.19 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 6527 0 0 0 419 0 0 0 25 0 4 0 601769478 293326848 3219 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309206 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 71613 3219 385 106 0 66584 0
[pid=5222/tid=5223] ppid=5218 vsize=286452 CPUtime=1.04 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 1418 0 0 0 104 0 0 0 19 0 4 0 601769478 293326848 3219 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=286452 CPUtime=1.04 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 1643 0 0 0 104 0 0 0 25 0 4 0 601769478 293326848 3219 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=286452 CPUtime=1.04 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 1407 0 0 0 104 0 0 0 19 0 4 0 601769478 293326848 3219 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 286452

[startup+1.15578 s]
/proc/loadavg: 6.95 7.83 7.93 3/176 5222
/proc/meminfo: memFree=29520500/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=286520 CPUtime=4.6 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 6876 0 0 0 459 1 0 0 25 0 4 0 601769478 293396480 3289 33554432000 4194304 4627427 140735092927440 18446744073709551615 4310114 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 71630 3290 385 106 0 66601 0
[pid=5222/tid=5223] ppid=5218 vsize=286520 CPUtime=1.14 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 1621 0 0 0 114 0 0 0 19 0 4 0 601769478 293396480 3290 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=286520 CPUtime=1.14 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 1693 0 0 0 114 0 0 0 25 0 4 0 601769478 293396480 3290 33554432000 4194304 4627427 140735092927440 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=286520 CPUtime=1.14 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 1451 0 0 0 114 0 0 0 19 0 4 0 601769478 293396480 3290 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 286520

[startup+1.50072 s]
/proc/loadavg: 6.95 7.83 7.93 3/176 5222
/proc/meminfo: memFree=29520500/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=291216 CPUtime=5.98 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 8639 0 0 0 597 1 0 0 25 0 4 0 601769478 298205184 4743 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 72804 4743 388 106 0 67775 0
[pid=5222/tid=5223] ppid=5218 vsize=291216 CPUtime=1.49 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 1786 0 0 0 149 0 0 0 20 0 4 0 601769478 298205184 4743 33554432000 4194304 4627427 140735092927440 18446744073709551615 4324280 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=291216 CPUtime=1.49 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 1861 0 0 0 149 0 0 0 25 0 4 0 601769478 298205184 4743 33554432000 4194304 4627427 140735092927440 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=291216 CPUtime=1.49 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 1784 0 0 0 149 0 0 0 20 0 4 0 601769478 298205184 4743 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 291216

[startup+3.10042 s]
/proc/loadavg: 7.35 7.90 7.95 9/184 5230
/proc/meminfo: memFree=29445548/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=294404 CPUtime=12.36 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 16060 0 0 0 1234 2 0 0 25 0 4 0 601769478 301469696 9489 33554432000 4194304 4627427 140735092927440 18446744073709551615 4332408 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 73601 9489 388 106 0 68572 0
[pid=5222/tid=5223] ppid=5218 vsize=294404 CPUtime=3.07 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 3656 0 0 0 307 0 0 0 25 0 4 0 601769478 301469696 9489 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=294404 CPUtime=3.08 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 4163 0 0 0 308 0 0 0 25 0 4 0 601769478 301469696 9489 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=294404 CPUtime=3.08 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 3898 0 0 0 308 0 0 0 25 0 4 0 601769478 301469696 9489 33554432000 4194304 4627427 140735092927440 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 294404

[startup+6.30682 s]
/proc/loadavg: 7.48 7.92 7.96 9/184 5230
/proc/meminfo: memFree=29423608/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=303268 CPUtime=25.17 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 23378 0 0 0 2513 4 0 0 25 0 4 0 601769478 310546432 11911 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 75817 11911 391 106 0 70788 0
[pid=5222/tid=5223] ppid=5218 vsize=303268 CPUtime=6.27 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 5941 0 0 0 626 1 0 0 25 0 4 0 601769478 310546432 11911 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=303268 CPUtime=6.3 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 6167 0 0 0 629 1 0 0 25 0 4 0 601769478 310546432 11911 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=303268 CPUtime=6.29 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 5629 0 0 0 628 1 0 0 25 0 4 0 601769478 310546432 11911 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 303268

[startup+12.7006 s]
/proc/loadavg: 7.53 7.92 7.96 9/184 5230
/proc/meminfo: memFree=29398632/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=299316 CPUtime=50.72 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 34999 0 0 0 5066 6 0 0 25 0 4 0 601769478 306499584 13777 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309182 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 74829 13777 388 106 0 69800 0
[pid=5222/tid=5223] ppid=5218 vsize=299316 CPUtime=12.63 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 8738 0 0 0 1262 1 0 0 25 0 4 0 601769478 306499584 13777 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=299316 CPUtime=12.69 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 8861 0 0 0 1268 1 0 0 25 0 4 0 601769478 306499584 13777 33554432000 4194304 4627427 140735092927440 18446744073709551615 4299575 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=299316 CPUtime=12.68 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 8934 0 0 0 1267 1 0 0 25 0 4 0 601769478 306499584 13777 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 299316

[startup+25.5002 s]
/proc/loadavg: 7.67 7.93 7.96 9/184 5230
/proc/meminfo: memFree=29366996/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=301568 CPUtime=101.85 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 51848 0 0 0 10175 10 0 0 25 0 4 0 601769478 308805632 17863 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 75392 17863 388 106 0 70363 0
[pid=5222/tid=5223] ppid=5218 vsize=301568 CPUtime=25.37 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 13866 0 0 0 2534 3 0 0 25 0 4 0 601769478 308805632 17863 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309234 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=301568 CPUtime=25.49 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 13472 0 0 0 2547 2 0 0 25 0 4 0 601769478 308805632 17863 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=301568 CPUtime=25.48 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 13050 0 0 0 2546 2 0 0 25 0 4 0 601769478 308805632 17863 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 301568

[startup+51.1004 s]
/proc/loadavg: 7.78 7.94 7.96 9/184 5231
/proc/meminfo: memFree=29329816/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=305008 CPUtime=204.12 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 75985 0 0 0 20395 17 0 0 25 0 4 0 601769478 312328192 22165 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 76252 22165 388 106 0 71223 0
[pid=5222/tid=5223] ppid=5218 vsize=305008 CPUtime=50.84 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 19052 0 0 0 5080 4 0 0 25 0 4 0 601769478 312328192 22165 33554432000 4194304 4627427 140735092927440 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=305008 CPUtime=51.09 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 20513 0 0 0 5104 5 0 0 25 0 4 0 601769478 312328192 22165 33554432000 4194304 4627427 140735092927440 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=305008 CPUtime=51.07 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 19831 0 0 0 5104 3 0 0 25 0 4 0 601769478 312328192 22165 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 305008

[startup+102.301 s]
/proc/loadavg: 7.97 7.96 7.97 9/184 5232
/proc/meminfo: memFree=29290716/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=316884 CPUtime=408.65 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 114058 0 0 0 40837 28 0 0 25 0 4 0 601769478 324489216 24484 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 79221 24484 389 106 0 74192 0
[pid=5222/tid=5223] ppid=5218 vsize=316884 CPUtime=101.77 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 25736 0 0 0 10171 6 0 0 25 0 4 0 601769478 324489216 24484 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=316884 CPUtime=102.29 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 30393 0 0 0 10222 7 0 0 25 0 4 0 601769478 324489216 24484 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=316884 CPUtime=102.27 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 31394 0 0 0 10220 7 0 0 25 0 4 0 601769478 324489216 24484 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 316884

[startup+162.301 s]

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

[pid=5222] ppid=5218 vsize=329204 CPUtime=648.33 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 151929 0 0 0 64795 38 0 0 25 0 4 0 601769478 337104896 29308 33554432000 4194304 4627427 140735092927440 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 82301 29308 388 106 0 77272 0
[pid=5222/tid=5223] ppid=5218 vsize=329204 CPUtime=161.45 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 34762 0 0 0 16136 9 0 0 25 0 4 0 601769478 337104896 29308 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=329204 CPUtime=162.29 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 40195 0 0 0 16219 10 0 0 25 0 4 0 601769478 337104896 29308 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=329204 CPUtime=162.26 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 40760 0 0 0 16217 9 0 0 25 0 4 0 601769478 337104896 29308 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 648.33
Current children cumulated vsize (KiB) 329204

[startup+222.3 s]
/proc/loadavg: 8.07 8.00 7.98 9/184 5236
/proc/meminfo: memFree=29168472/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=330152 CPUtime=888.01 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 189140 0 0 0 88750 51 0 0 25 0 4 0 601769478 338075648 36143 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 82538 36143 388 106 0 77509 0
[pid=5222/tid=5223] ppid=5218 vsize=330152 CPUtime=221.14 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 45342 0 0 0 22101 13 0 0 25 0 4 0 601769478 338075648 36143 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=330152 CPUtime=222.3 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 47872 0 0 0 22217 13 0 0 25 0 4 0 601769478 338075648 36143 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=330152 CPUtime=222.25 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 51657 0 0 0 22213 12 0 0 25 0 4 0 601769478 338075648 36143 33554432000 4194304 4627427 140735092927440 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 888.01
Current children cumulated vsize (KiB) 330152

[startup+282.301 s]
/proc/loadavg: 8.17 8.04 7.99 9/184 5237
/proc/meminfo: memFree=29095016/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=331056 CPUtime=1127.7 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 221021 0 0 0 112709 61 0 0 25 0 4 0 601769478 339001344 41970 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 82764 41970 388 106 0 77735 0
[pid=5222/tid=5223] ppid=5218 vsize=331056 CPUtime=280.82 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 52294 0 0 0 28066 16 0 0 25 0 4 0 601769478 339001344 41970 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=331056 CPUtime=282.31 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 59145 0 0 0 28215 16 0 0 25 0 4 0 601769478 339001344 41970 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=331056 CPUtime=282.26 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 58726 0 0 0 28211 15 0 0 25 0 4 0 601769478 339001344 41970 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1127.7
Current children cumulated vsize (KiB) 331056

[startup+342.301 s]
/proc/loadavg: 8.14 8.06 8.00 9/184 5239
/proc/meminfo: memFree=29060996/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=341020 CPUtime=1367.36 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 252330 0 0 0 136664 72 0 0 25 0 4 0 601769478 349204480 51732 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 85255 51732 388 106 0 80226 0
[pid=5222/tid=5223] ppid=5218 vsize=341020 CPUtime=340.49 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 61020 0 0 0 34031 18 0 0 25 0 4 0 601769478 349204480 51732 33554432000 4194304 4627427 140735092927440 18446744073709551615 4467832 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=341020 CPUtime=342.29 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 65607 0 0 0 34211 18 0 0 25 0 4 0 601769478 349204480 51732 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=341020 CPUtime=342.25 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 67243 0 0 0 34206 19 0 0 25 0 4 0 601769478 349204480 51732 33554432000 4194304 4627427 140735092927440 18446744073709551615 4427854 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1367.36
Current children cumulated vsize (KiB) 341020

[startup+402.307 s]
/proc/loadavg: 8.20 8.09 8.01 9/184 5240
/proc/meminfo: memFree=29069252/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=336892 CPUtime=1607.05 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 273830 0 0 0 160625 80 0 0 25 0 4 0 601769478 344977408 48061 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 84223 48061 388 106 0 79194 0
[pid=5222/tid=5223] ppid=5218 vsize=336892 CPUtime=400.17 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 66250 0 0 0 39997 20 0 0 25 0 4 0 601769478 344977408 48061 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=336892 CPUtime=402.3 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 71308 0 0 0 40210 20 0 0 25 0 4 0 601769478 344977408 48061 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=336892 CPUtime=402.24 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 72437 0 0 0 40204 20 0 0 25 0 4 0 601769478 344977408 48061 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1607.05
Current children cumulated vsize (KiB) 336892

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

[startup+403.9 s]
/proc/loadavg: 8.20 8.09 8.01 9/184 5240
/proc/meminfo: memFree=29071856/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=336904 CPUtime=1613.42 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 274959 0 0 0 161262 80 0 0 25 0 4 0 601769478 344989696 47236 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 84226 47236 388 106 0 79197 0
[pid=5222/tid=5223] ppid=5218 vsize=336904 CPUtime=401.75 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 66329 0 0 0 40155 20 0 0 25 0 4 0 601769478 344989696 47236 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=336904 CPUtime=403.9 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 72139 0 0 0 40369 21 0 0 25 0 4 0 601769478 344989696 47236 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=336904 CPUtime=403.84 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 72522 0 0 0 40364 20 0 0 25 0 4 0 601769478 344989696 47236 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1613.42
Current children cumulated vsize (KiB) 336904

[startup+410.3 s]
/proc/loadavg: 8.18 8.09 8.01 10/184 5241
/proc/meminfo: memFree=29058824/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=336904 CPUtime=1638.98 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 276423 0 0 0 163817 81 0 0 25 0 4 0 601769478 344989696 48700 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 84226 48700 388 106 0 79197 0
[pid=5222/tid=5223] ppid=5218 vsize=336904 CPUtime=408.11 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 66645 0 0 0 40791 20 0 0 25 0 4 0 601769478 344989696 48700 33554432000 4194304 4627427 140735092927440 18446744073709551615 4310154 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=336904 CPUtime=410.3 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 72581 0 0 0 41009 21 0 0 25 0 4 0 601769478 344989696 48700 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=336904 CPUtime=410.23 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 72836 0 0 0 41003 20 0 0 25 0 4 0 601769478 344989696 48700 33554432000 4194304 4627427 140735092927440 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1638.98
Current children cumulated vsize (KiB) 336904

[startup+411.901 s]
/proc/loadavg: 8.18 8.09 8.01 9/184 5241
/proc/meminfo: memFree=29060172/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=336956 CPUtime=1645.38 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 277513 0 0 0 164456 82 0 0 25 0 4 0 601769478 345042944 48022 33554432000 4194304 4627427 140735092927440 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 84239 48022 388 106 0 79210 0
[pid=5222/tid=5223] ppid=5218 vsize=336956 CPUtime=409.71 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 67482 0 0 0 40951 20 0 0 25 0 4 0 601769478 345042944 48022 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=336956 CPUtime=411.9 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 72681 0 0 0 41169 21 0 0 25 0 4 0 601769478 345042944 48022 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=336956 CPUtime=411.83 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 72901 0 0 0 41163 20 0 0 25 0 4 0 601769478 345042944 48022 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1645.38
Current children cumulated vsize (KiB) 336956

[startup+413.501 s]
/proc/loadavg: 8.25 8.10 8.02 9/184 5241
/proc/meminfo: memFree=29056204/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=336956 CPUtime=1651.77 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 277883 0 0 0 165095 82 0 0 25 0 4 0 601769478 345042944 48392 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309149 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 84239 48392 388 106 0 79210 0
[pid=5222/tid=5223] ppid=5218 vsize=336956 CPUtime=411.3 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 67609 0 0 0 41110 20 0 0 25 0 4 0 601769478 345042944 48392 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=336956 CPUtime=413.5 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 72765 0 0 0 41329 21 0 0 25 0 4 0 601769478 345042944 48392 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=336956 CPUtime=413.43 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 72969 0 0 0 41323 20 0 0 25 0 4 0 601769478 345042944 48392 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1651.77
Current children cumulated vsize (KiB) 336956

[startup+413.901 s]
/proc/loadavg: 8.25 8.10 8.02 9/184 5241
/proc/meminfo: memFree=29056204/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=336956 CPUtime=1653.37 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) R 5218 5222 4858 0 -1 4202496 277977 0 0 0 165255 82 0 0 25 0 4 0 601769478 345042944 48486 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 84239 48486 388 106 0 79210 0
[pid=5222/tid=5223] ppid=5218 vsize=336956 CPUtime=411.7 cores=0,2,4,6
/proc/5222/task/5223/stat : 5223 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 67647 0 0 0 41150 20 0 0 25 0 4 0 601769478 345042944 48486 33554432000 4194304 4627427 140735092927440 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5222/tid=5224] ppid=5218 vsize=336956 CPUtime=413.9 cores=0,2,4,6
/proc/5222/task/5224/stat : 5224 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 72792 0 0 0 41369 21 0 0 25 0 4 0 601769478 345042944 48486 33554432000 4194304 4627427 140735092927440 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=336956 CPUtime=413.83 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) R 5218 5222 4858 0 -1 4202560 72976 0 0 0 41363 20 0 0 25 0 4 0 601769478 345042944 48486 33554432000 4194304 4627427 140735092927440 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1653.37
Current children cumulated vsize (KiB) 336956

[startup+414.301 s]
/proc/loadavg: 8.25 8.10 8.02 5/181 5241
/proc/meminfo: memFree=29246816/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=0 CPUtime=1654.91 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) Z 5218 5222 4858 0 -1 4203548 278808 0 0 0 165408 83 0 0 25 0 2 0 601769478 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 0 0 0 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=0 CPUtime=414.23 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) S 5218 5222 4858 0 -1 4203588 73724 0 0 0 41402 21 0 0 25 0 2 0 601769478 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1654.91
Current children cumulated vsize (KiB) 0

[startup+414.406 s]
/proc/loadavg: 8.25 8.10 8.02 5/181 5241
/proc/meminfo: memFree=29246816/32950928 swapFree=67111356/67111528
[pid=5222] ppid=5218 vsize=0 CPUtime=1654.91 cores=0,2,4,6
/proc/5222/stat : 5222 (strangenight2-m) Z 5218 5222 4858 0 -1 4203548 278808 0 0 0 165408 83 0 0 25 0 2 0 601769478 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5222/statm: 0 0 0 0 0 0 0
[pid=5222/tid=5225] ppid=5218 vsize=0 CPUtime=414.23 cores=0,2,4,6
/proc/5222/task/5225/stat : 5225 (strangenight2-m) S 5218 5222 4858 0 -1 4203588 73724 0 0 0 41402 21 0 0 25 0 2 0 601769478 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1654.91
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 414.495
CPU time (s): 1654.92
CPU user time (s): 1654.08
CPU system time (s): 0.832873
CPU usage (%): 399.261
Max. virtual memory (cumulated for all children) (KiB): 359716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1654.08
system time used= 0.832873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278808
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= 123
involuntary context switches= 9316

runsolver used 0.625904 second user time and 1.59276 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-30 00:16:28
IDJOB=3174218
IDBENCH=83036
IDSOLVER=1586
FILE ID=node114/3174218-1304115388
RUNJOBID= node114-1304115388-5203
PBS_JOBID= 13170690
Free space on /tmp= 71804 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174218-1304115388/watcher-3174218-1304115388 -o /tmp/evaluation-result-3174218-1304115388/solver-3174218-1304115388 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174218-1304115388.cnf

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

MD5SUM BENCH= fa5f68613be1e2c6017df353c3eb03ef
RANDOM SEED=154915435

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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:     32950928 kB
MemFree:      29521052 kB
Buffers:       1066588 kB
Cached:        1794648 kB
SwapCached:        168 kB
Active:         149468 kB
Inactive:      2775924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29521052 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           11272 kB
Writeback:           0 kB
AnonPages:       63984 kB
Mapped:          14492 kB
Slab:           440808 kB
PageTables:       4732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   188316 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= 71792 MiB
End job on node114 at 2011-04-30 00:23:23