Trace number 3366627

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-mt (fixed)SAT 1668.55 418.422

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.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366627-1305410849.cnf'
0.00/0.01	c -- header says num vars:             50
0.00/0.01	c -- header says num clauses:        4450
0.00/0.01	c -- clauses added:            0 learnts,         4450 normals,            0 xors
0.00/0.01	c -- vars added         50
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0        50      4450         0         0     31150         0   no data   no data
0.00/0.11	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.09
0.00/0.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
0.00/0.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.12	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.12	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.12	c calculated reachability. Time: 0.00
0.00/0.12	c Calc default polars -  time:   0.00 s pos:      28 undec:       2 neg:      20
0.00/0.12	c =========================================================================================
0.00/0.12	c types(t): F = full restart, N = normal restart
0.00/0.12	c types(t): S = simplification begin/end, E = solution found
0.00/0.12	c restart types(rt): st = static, dy = dynamic
0.00/0.12	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.12	c  B st     0         0        50      4450         0         0     31150         0   no data   no data
0.00/0.24	c  N dy    13      4941        50      4450         0      4300     31150     78134     15.50     16.35
0.00/0.37	c  N dy    22      9038        50      4450         0      5707     31150    100005     15.35     16.33
0.00/0.52	c  N dy    41     13047        50      4450         0      5485     31150     91022     15.52     16.35
3.23/0.86	c  N dy    54     22367        50      4450         0      8612     31150    138067     15.12     15.97
3.63/0.98	c  F st    68     25000        50      4450         0     10900     31150    180350     15.21   no data
4.02/1.08	c  N st    72     27032        50      4450         0      6774     31150    102748     15.21   no data
4.42/1.19	c  S st    74     30000        50      4450         0      9353     31150    150899     15.21   no data
4.82/1.22	c  S st    74     30503        50      4450         0      9802     31150    159337     15.21   no data
4.82/1.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.82/1.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.82/1.22	c blocked clauses removed:        0 vars:      0 tried:          50 T: 0.00 s
4.82/1.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.82/1.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.82/1.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4.82/1.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.82/1.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.82/1.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.62/1.43	c lits-rem:       136  cl-subs:     1514  v-elim:      0  v-fix:    0  time:  0.20 s
6.37/1.63	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.19
6.37/1.63	c calculated reachability. Time: 0.00
6.37/1.63	c  N dy    74     30503        50      4450         0      8288     31150    133971     15.21   no data
7.61/1.95	c  N dy    96     36790        50      4450         0      6991     31150    100001     15.23     16.26
8.35/2.16	c  N dy   120     41181        50      4450         0     10806     31150    170674     15.35     16.16
9.16/2.39	c  N dy   137     45370        50      4450         0     14401     31150    236359     15.40     16.21
9.56/2.42	c  S st   138     45755        50      4450         0     14743     31150    242569     15.40     15.83
9.56/2.46	c  S st   138     46256        50      4450         0     15187     31150    251151     15.40   no data
9.56/2.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
9.56/2.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.56/2.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
9.56/2.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.56/2.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.56/2.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.16/2.82	c lits-rem:       223  cl-subs:     2392  v-elim:      0  v-fix:    0  time:  0.34 s
11.16/2.82	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
11.16/2.82	c vivif2 --  cl tried    12795 cl shrink        0 lits rem          0 time: 0.00
12.34/3.10	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.27
12.34/3.10	c calculated reachability. Time: 0.00
12.34/3.10	c  N dy   138     46256        50      4450         0     12795     31150    208305     15.40   no data
13.54/3.44	c  N dy   154     52455        50      4450         0     10620     31150    156975     15.32     16.13
14.34/3.65	c  N dy   169     56513        50      4450         0     14141     31150    220982     15.34     17.86
15.54/3.92	c  N dy   194     60528        50      4450         0      9096     31150    124876     15.42     17.91
16.73/4.25	c  N dy   207     66853        50      4450         0     14543     31150    222062     15.37     16.30
17.52/4.44	c  S st   229     69385        50      4450         0     16737     31150    263771     15.44   no data
17.52/4.48	c  S st   229     69888        50      4450         0     17186     31150    272507     15.44   no data
17.52/4.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.52/4.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
17.52/4.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.52/4.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.52/4.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.52/4.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
17.52/4.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.52/4.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.92/4.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.53/4.95	c lits-rem:       205  cl-subs:     2704  v-elim:      0  v-fix:    0  time:  0.44 s
19.53/4.95	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
19.53/4.95	c vivif2 --  cl tried    14482 cl shrink        0 lits rem          0 time: 0.00
20.77/5.26	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.30
20.77/5.26	c calculated reachability. Time: 0.00
20.77/5.26	c  N dy   229     69888        50      4450         0     14482     31150    225129     15.44   no data
22.32/5.68	c  N dy   246     76195        50      4450         0     10632     31150    144461     15.42     16.28
23.52/5.97	c  N dy   276     81097        50      4450         0     14887     31150    223544     15.46     17.95
25.16/6.32	c  N dy   285     86337        50      4450         0     19422     31150    305335     15.43     16.49
25.50/6.42	c  F st   292     87500        50      4450         0     20439     31150    323915     15.43     14.87
26.70/6.70	c  N dy   298     92694        50      4450         0     14710     31150    213981     15.43   no data
28.70/7.28	c  N dy   321    101147        50      4450         0     22075     31150    347747     15.41     16.33
29.89/7.55	c  S st   346    104835        50      4450         0     14054     31150    196748     15.46     14.68
30.30/7.60	c  S st   346    105339        50      4450         0     14498     31150    205424     15.46   no data
30.30/7.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
30.30/7.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
30.30/7.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
30.30/7.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.30/7.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.30/7.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
30.30/7.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.30/7.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
30.30/7.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.69/7.78	c lits-rem:       114  cl-subs:      796  v-elim:      0  v-fix:    0  time:  0.17 s
30.69/7.78	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
30.69/7.78	c vivif2 --  cl tried    13702 cl shrink        0 lits rem          0 time: 0.00
31.89/8.08	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.30
31.89/8.08	c calculated reachability. Time: 0.00
31.89/8.08	c  N dy   346    105339        50      4450         0     13702     31150    190304     15.46   no data
34.28/8.60	c  N dy   394    112062        50      4450         0     19592     31150    300795     15.54     16.41
36.28/9.17	c  N dy   421    119236        50      4450         0     13694     31150    181366     15.56     17.52
41.86/10.55	c  N dy   467    138457        50      4450         0     17256     31150    233062     15.47     16.34
45.86/11.54	c  N dy   524    149763        50      4450         0     27083     31150    415083     15.52     16.54
48.24/12.18	c  S st   553    158009        50      4450         0     20386     31150    287564     15.53     14.13
48.64/12.24	c  S st   553    158512        50      4450         0     20825     31150    296028     15.53   no data
48.64/12.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.64/12.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
48.64/12.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.64/12.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.64/12.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.64/12.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
48.64/12.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
48.64/12.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
48.64/12.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.24/12.67	c lits-rem:       232  cl-subs:     2071  v-elim:      0  v-fix:    0  time:  0.41 s
50.24/12.67	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
50.24/12.68	c vivif2 --  cl tried    18754 cl shrink        0 lits rem          0 time: 0.00
51.82/13.04	c asymm  cl-useful: 0/4259/4450 lits-rem:0 time: 0.35
51.82/13.04	c calculated reachability. Time: 0.00
51.82/13.04	c  N dy   553    158512        50      4450         0     18754     31150    259520     15.53   no data
57.01/14.34	c  N dy   586    174129        50      4450         0     17693     31150    229934     15.47     16.31
61.39/15.40	c  N dy   661    185284        50      4450         0     27399     31150    410942     15.53     17.06
65.79/16.51	c  N dy   702    197180        50      4450         0     22177     31150    307424     15.53     16.74
70.97/17.85	c  N dy   744    209804        50      4450         0     16642     31150    198913     15.51     17.49
75.77/19.06	c  N dy   792    223335        50      4450         0     28379     31150    413289     15.51     16.36
81.35/20.45	c  N dy   834    237664        50      4450         0     23486     31150    316961     15.49     16.40
81.35/20.46	c  S st   835    237770        50      4450         0     23585     31150    318825     15.49     16.15
81.79/20.54	c  S st   835    238272        50      4450         0     24024     31150    327128     15.49   no data
81.79/20.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.79/20.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
81.79/20.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.79/20.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.79/20.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.79/20.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
81.79/20.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
81.79/20.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
81.79/20.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.73/21.02	c lits-rem:       232  cl-subs:     1861  v-elim:      0  v-fix:    0  time:  0.46 s
83.73/21.02	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
83.73/21.02	c vivif2 --  cl tried    22163 cl shrink        0 lits rem          0 time: 0.00
84.93/21.37	c asymm  cl-useful: 0/3704/4450 lits-rem:0 time: 0.35
84.93/21.37	c calculated reachability. Time: 0.00
84.93/21.37	c  N dy   835    238272        50      4450         0     22163     31150    293154     15.49   no data
91.71/23.04	c  N dy   904    253498        50      4450         0     35376     31150    539279     15.52     17.41
98.49/24.75	c  N dy   971    271561        50      4450         0     32970     31150    478903     15.51     16.42
107.27/26.93	c  N dy  1064    291930        50      4450         0     31621     31150    446280     15.51     16.52
114.44/28.74	c  F st  1161    306250        50      4450         0     24152     31150    307938     15.56   no data
116.45/29.21	c  N dy  1167    311446        50      4450         0     28643     31150    389982     15.56   no data
126.40/31.75	c  N dy  1211    333644        50      4450         0     26934     31150    344418     15.52     16.44
137.98/34.61	c  N dy  1299    357408        50      4450         0     25840     31150    319985     15.51     13.60
137.98/34.61	c  S st  1299    357408        50      4450         0     25840     31150    319985     15.51     13.60
137.98/34.68	c  S st  1299    357911        50      4450         0     26296     31150    328761     15.51   no data
137.98/34.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
137.98/34.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
137.98/34.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
137.98/34.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
137.98/34.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.98/34.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
137.98/34.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
137.98/34.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
138.38/34.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
139.96/35.17	c lits-rem:       187  cl-subs:     1654  v-elim:      0  v-fix:    0  time:  0.45 s
139.96/35.17	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
139.96/35.17	c vivif2 --  cl tried    24642 cl shrink        0 lits rem          0 time: 0.00
140.36/35.26	c asymm  cl-useful: 0/746/4450 lits-rem:0 time: 0.09
140.36/35.27	c calculated reachability. Time: 0.00
140.36/35.27	c  N dy  1299    357911        50      4450         0     24642     31150    302764     15.51   no data
151.14/37.95	c  N dy  1406    378434        50      4450         0     42424     31150    631083     15.54     16.41
161.89/40.66	c  N dy  1528    398623        50      4450         0     37596     31150    538801     15.59     16.44
173.45/43.53	c  N dy  1605    418702        50      4450         0     31605     31150    414078     15.59     17.15
189.41/47.52	c  N dy  1646    452659        50      4450         0     36517     31150    472686     15.47     16.44
201.76/50.66	c  N dy  1777    472750        50      4450         0     29026     31150    353473     15.51     18.41
212.54/53.35	c  N dy  1860    492844        50      4450         0     46310     31150    671692     15.53     17.10
225.30/56.53	c  N dy  1994    513300        50      4450         0     38179     31150    515736     15.57     16.42
238.47/59.86	c  N dy  2083    533711        50      4450         0     29068     31150    335482     15.58     16.43
240.11/60.21	c  S st  2094    536866        50      4450         0     31819     31150    385849     15.58     15.55
240.45/60.30	c  S st  2094    537367        50      4450         0     32259     31150    394371     15.58   no data
240.45/60.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
240.45/60.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
240.45/60.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
240.45/60.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
240.45/60.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
240.45/60.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
240.45/60.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
240.45/60.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
240.45/60.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
242.85/60.92	c lits-rem:       161  cl-subs:     1723  v-elim:      0  v-fix:    0  time:  0.59 s
242.85/60.92	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
242.85/60.92	c vivif2 --  cl tried    30536 cl shrink        0 lits rem          0 time: 0.00
244.49/61.31	c asymm  cl-useful: 0/3005/4450 lits-rem:0 time: 0.37
244.49/61.31	c calculated reachability. Time: 0.00
244.49/61.31	c  N dy  2094    537367        50      4450         0     30536     31150    364612     15.58   no data
255.61/64.19	c  N dy  2159    557868        50      4450         0     48176     31150    685186     15.57     16.57
268.78/67.45	c  N dy  2278    577923        50      4450         0     38043     31150    498533     15.60     16.52
281.93/70.79	c  N dy  2349    598013        50      4450         0     55418     31150    812918     15.59     16.50
294.69/73.93	c  N dy  2409    621320        50      4450         0     46995     31150    646187     15.57     16.40
310.30/77.85	c  N dy  2558    641356        50      4450         0     35064     31150    429351     15.61     16.65
323.81/81.22	c  N dy  2648    662306        50      4450         0     53060     31150    758699     15.61     16.49
338.95/85.06	c  N dy  2674    689386        50      4450         0     46144     31150    609870     15.56     16.39
354.16/88.84	c  N dy  2745    709424        50      4450         0     32432     31150    365287     15.56     17.96
383.63/96.23	c  N dy  2812    758788        50      4450         0     42783     31150    528066     15.47     16.45
401.57/100.70	c  N dy  2904    781891        50      4450         0     62605     31150    889348     15.47     16.42
416.72/104.56	c  N dy  2965    806053        50      4450         0     50755     31150    674949     15.46     14.53
416.72/104.56	c  S st  2965    806053        50      4450         0     50755     31150    674949     15.46     14.53
417.52/104.71	c  S st  2965    806554        50      4450         0     51190     31150    683316     15.46   no data
417.52/104.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
417.52/104.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
417.52/104.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
417.52/104.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
417.52/104.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
417.52/104.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
417.52/104.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
417.52/104.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
417.52/104.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
429.08/107.68	c lits-rem:       558  cl-subs:     6767  v-elim:      0  v-fix:    0  time:  2.88 s
429.08/107.68	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
429.08/107.69	c vivif2 --  cl tried    44423 cl shrink        0 lits rem          0 time: 0.01
430.28/107.93	c asymm  cl-useful: 0/870/4450 lits-rem:0 time: 0.24
430.28/107.93	c calculated reachability. Time: 0.00
430.28/107.93	c  N dy  2965    806554        50      4450         0     44423     31150    572216     15.46   no data
447.83/112.37	c  N dy  3064    828882        50      4450         0     63588     31150    924200     15.47     16.28
462.59/116.03	c  N dy  3131    851493        50      4450         0     49969     31150    659304     15.46     16.29
484.12/121.43	c  N dy  3302    872363        50      4450         0     68060     31150   1002767     15.49     16.31
498.09/124.93	c  N dy  3405    892719        50      4450         0     51552     31150    687016     15.50     16.46
519.21/130.24	c  N dy  3486    919433        50      4450         0     39304     31150    445797     15.49     16.35
537.15/134.74	c  N dy  3584    943564        50      4450         0     60053     31150    826581     15.49     16.39
565.07/141.76	c  N dy  3682    978831        50      4450         0     54133     31150    702055     15.48     16.45
586.25/147.01	c  N dy  3828    998916        50      4450         0     71413     31150   1026661     15.50     16.83
602.96/151.24	c  N dy  3928   1021621        50      4450         0     54070     31150    707792     15.51     16.35
622.10/156.04	c  N dy  3956   1047001        50      4450         0     38003     31150    406556     15.48     16.40
637.26/159.81	c  N dy  4089   1067055        50      4450         0     55187     31150    725623     15.49     16.39
640.84/160.78	c  F st  4098   1071876        50      4450         0     59305     31150    800004     15.49     13.88
656.44/164.68	c  N dy  4170   1087058        50      4450         0     72416     31150   1046172     15.50     17.06
673.55/168.93	c  N dy  4275   1107130        50      4450         0     51211     31150    644995     15.51     17.11
692.28/173.65	c  N dy  4367   1127144        50      4450         0     68369     31150    962681     15.52     17.44
710.62/178.29	c  N dy  4425   1147255        50      4450         0     46132     31150    539222     15.52     16.34
729.77/183.04	c  N dy  4457   1172656        50      4450         0     67817     31150    920740     15.49     16.41
752.94/188.84	c  N dy  4610   1192669        50      4450         0     44791     31150    511127     15.51     17.85
766.85/192.38	c  S st  4703   1209831        50      4450         0     59632     31150    788218     15.52     14.03
767.65/192.58	c  S st  4703   1210334        50      4450         0     60079     31150    797085     15.52   no data
767.65/192.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
768.05/192.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
768.05/192.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
768.05/192.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
768.05/192.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
768.05/192.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
768.05/192.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
768.05/192.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
768.05/192.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
795.17/199.46	c lits-rem:       643  cl-subs:     5892  v-elim:      0  v-fix:    0  time:  6.73 s
795.17/199.46	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
795.17/199.47	c vivif2 --  cl tried    54187 cl shrink        0 lits rem          0 time: 0.01
796.81/199.81	c asymm  cl-useful: 0/575/4450 lits-rem:0 time: 0.32
796.81/199.81	c calculated reachability. Time: 0.00
796.81/199.81	c  N dy  4703   1210334        50      4450         0     54187     31150    691294     15.52   no data
817.90/205.16	c  N dy  4767   1230414        50      4450         0     71316     31150    997722     15.51     18.04
839.83/210.60	c  N dy  4880   1250449        50      4450         0     47703     31150    557821     15.52     16.35
858.62/215.32	c  N dy  4967   1273712        50      4450         0     67529     31150    916315     15.52     16.59
881.69/221.19	c  N dy  5043   1294250        50      4450         0     43399     31150    470647     15.52     16.36
898.44/225.39	c  N dy  5176   1314334        50      4450         0     60676     31150    793857     15.53     16.53
927.96/232.72	c  N dy  5229   1346832        50      4450         0     45610     31150    499984     15.51     16.42
946.35/237.37	c  N dy  5349   1366844        50      4450         0     62821     31150    823105     15.52     18.40
971.02/243.52	c  N dy  5399   1387601        50      4450         0     80581     31150   1142323     15.52     16.37
994.20/249.32	c  N dy  5535   1407673        50      4450         0     54251     31150    658058     15.53     17.60
1015.70/254.78	c  N dy  5695   1427753        50      4450         0     71539     31150    985714     15.55     16.42
1045.21/262.16	c  N dy  5794   1451606        50      4450         0     47386     31150    520053     15.55     16.47
1065.53/267.23	c  N dy  5938   1473573        50      4450         0     66291     31150    876171     15.57     16.39
1090.70/273.60	c  N dy  6067   1493784        50      4450         0     83690     31150   1202406     15.58     16.52
1114.18/279.45	c  N dy  6202   1513884        50      4450         0     55505     31150    670148     15.59     17.16
1137.32/285.21	c  N dy  6290   1537441        50      4450         0     75716     31150   1040909     15.60     16.45
1164.44/292.07	c  N dy  6387   1557469        50      4450         0     46458     31150    491532     15.60     18.16
1180.39/296.08	c  N dy  6462   1577613        50      4450         0     63699     31150    806668     15.60     16.50
1203.52/301.85	c  N dy  6555   1597668        50      4450         0     80886     31150   1123316     15.60     16.61
1230.24/308.55	c  N dy  6618   1621152        50      4450         0     53751     31150    613543     15.60     16.49
1247.39/312.86	c  N dy  6665   1641245        50      4450         0     70844     31150    919168     15.59     16.90
1275.70/319.98	c  N dy  6808   1662275        50      4450         0     88952     31150   1260515     15.60     16.44
1299.23/325.84	c  N dy  6870   1684069        50      4450         0     59549     31150    707352     15.59     16.44
1321.97/331.55	c  N dy  6937   1707358        50      4450         0     79435     31150   1067767     15.59     16.42
1326.35/332.67	c  S st  6950   1710335        50      4450         0     81994     31150   1115417     15.59   no data
1327.59/332.99	c  S st  6950   1710838        50      4450         0     82444     31150   1124121     15.59   no data
1327.59/332.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1327.99/333.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.05
1327.99/333.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1327.99/333.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1327.99/333.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1327.99/333.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
1327.99/333.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1327.99/333.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1327.99/333.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1400.51/351.23	c lits-rem:      1005  cl-subs:    13036  v-elim:      0  v-fix:    0  time: 17.91 s
1400.51/351.23	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
1400.51/351.25	c vivif2 --  cl tried    69408 cl shrink        0 lits rem          0 time: 0.02
1402.16/351.70	c asymm  cl-useful: 0/769/4450 lits-rem:0 time: 0.44
1402.16/351.70	c calculated reachability. Time: 0.00
1402.16/351.70	c  N dy  6950   1710838        50      4450         0     69408     31150    909224     15.59   no data
1437.23/360.48	c  N dy  7035   1738223        50      4450         0     92620     31150   1319987     15.57     16.71
1458.33/365.75	c  N dy  7169   1758451        50      4450         0     62376     31150    777961     15.58     16.41
1493.83/374.65	c  N dy  7288   1789802        50      4450         0     89155     31150   1264237     15.58     16.46
1520.15/381.28	c  N dy  7396   1809847        50      4450         0     57214     31150    666718     15.59     16.41
1547.31/388.07	c  N dy  7507   1836798        50      4450         0     80305     31150   1089949     15.59     16.48
1579.95/396.29	c  N dy  7608   1856850        50      4450         0     97467     31150   1408533     15.60     16.90
1603.48/402.16	c  N dy  7745   1876852        50      4450         0     64458     31150    794692     15.61     17.50
1624.61/407.46	c  N dy  7790   1896946        50      4450         0     81627     31150   1106879     15.61     17.86
1656.56/415.45	c  N dy  7861   1920870        50      4450         0    102015     31150   1476478     15.60     16.47
1668.49/418.41	c Following stats are for *FIRST FINISHED THREAD ONLY*
1668.49/418.41	c num threads              : 4          
1668.49/418.41	c restarts                 : 7682       
1668.49/418.41	c dynamic restarts         : 7652       
1668.49/418.41	c static restarts          : 30         
1668.49/418.41	c full restarts            : 4          
1668.49/418.41	c total simplify time      : 0.00       
1668.49/418.41	c learnts DL2              : 0          
1668.49/418.41	c learnts size 2           : 0          
1668.49/418.41	c learnts size 1           : 0           (0.00      % of vars)
1668.49/418.41	c filedLit time            : 0.15        (0.04      % time)
1668.49/418.41	c v-elim SatELite          : 0           (0.00      % vars)
1668.49/418.41	c SatELite time            : 37.13       (8.88      % time)
1668.49/418.41	c v-elim xor               : 0           (0.00      % vars)
1668.49/418.41	c xor elim time            : 0.02        (0.00      % time)
1668.49/418.41	c num binary xor trees     : 0          
1668.49/418.41	c binxor trees' crown      : 0           (nan       leafs/tree)
1668.49/418.41	c bin xor find time        : 0.00       
1668.49/418.41	c OTF clause improved      : 274452      (0.14      clauses/conflict)
1668.49/418.41	c OTF impr. size diff      : 276421      (1.01       lits/clause)
1668.49/418.41	c OTF cl watch-shrink      : 0           (0.00      clauses/conflict)
1668.49/418.41	c OTF cl watch-sh-lit      : 0           (nan        lits/clause)
1668.49/418.41	c tried to recurMin cls    : 99358       (5.11       % of conflicts)
1668.49/418.41	c updated cache            : 7           (0.00       lits/tried recurMin)
1668.49/418.41	c unit cls recevied        : 0           (nan       % of units)
1668.49/418.41	c unit cls sent            : 0           (nan       % of units)
1668.49/418.41	c bin cls recevied         : 0          
1668.49/418.41	c bin cls sent             : 0          
1668.49/418.41	c clauses over max glue    : 0           (0.00      % of all clauses)
1668.49/418.41	c conflicts                : 1943186     (4646.43   / sec)
1668.49/418.41	c decisions                : 2219090     (0.36      % random)
1668.49/418.41	c bogo-props               : 60237282624 (144035823.73 / sec)
1668.49/418.41	c conflict literals        : 35273600    (11.55     % deleted)
1668.49/418.41	c Memory used              : 403.10      MB
1668.49/418.41	c single-thread CPU time   : 418.21      s
1668.49/418.41	c all-threads sum CPU time : 1667.75     s
1668.49/418.41	s SATISFIABLE
1668.49/418.41	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366627-1305410849/watcher-3366627-1305410849 -o /tmp/evaluation-result-3366627-1305410849/solver-3366627-1305410849 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366627-1305410849.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: 0.08 0.02 0.08 7/388 28745
/proc/meminfo: memFree=27035132/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=51168 CPUtime=0.02 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 412 0 0 0 2 0 0 0 25 0 4 0 652683649 52396032 352 33554432000 4194304 4580107 140735063212512 18446744073709551615 47477950183344 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28745/statm: 12792 352 302 95 0 7774 0
[pid=28745/tid=28746] ppid=28743 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652683650 52396032 352 33554432000 4194304 4580107 140735063212512 18446744073709551615 47477950182937 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652683650 52396032 352 33554432000 4194304 4580107 140735063212512 18446744073709551615 47477950182935 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 652683650 52396032 352 33554432000 4194304 4580107 140735063212512 18446744073709551615 47477950182937 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.112789 s]
/proc/loadavg: 0.08 0.02 0.08 7/388 28745
/proc/meminfo: memFree=27035132/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=285752 CPUtime=3.23 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 5515 0 0 0 322 1 0 0 19 0 4 0 652683649 292610048 2990 33554432000 4194304 4580107 140735063212512 18446744073709551615 4302544 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 71438 2990 376 95 0 66420 0
[pid=28745/tid=28746] ppid=28743 vsize=285752 CPUtime=0.8 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 1289 0 0 0 80 0 0 0 25 0 4 0 652683650 292610048 2990 33554432000 4194304 4580107 140735063212512 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=285752 CPUtime=0.8 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 1344 0 0 0 80 0 0 0 18 0 4 0 652683650 292610048 2990 33554432000 4194304 4580107 140735063212512 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=285752 CPUtime=0.8 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 1082 0 0 0 80 0 0 0 25 0 4 0 652683650 292610048 2990 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.23
Current children cumulated vsize (KiB) 285752

[startup+0.913839 s]
/proc/loadavg: 0.08 0.02 0.08 7/388 28745
/proc/meminfo: memFree=27035132/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=285752 CPUtime=3.63 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 5734 0 0 0 362 1 0 0 19 0 4 0 652683649 292610048 3209 33554432000 4194304 4580107 140735063212512 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 71438 3209 376 95 0 66420 0
[pid=28745/tid=28746] ppid=28743 vsize=285752 CPUtime=0.9 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 1336 0 0 0 90 0 0 0 25 0 4 0 652683650 292610048 3209 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=285752 CPUtime=0.9 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 1409 0 0 0 90 0 0 0 19 0 4 0 652683650 292610048 3209 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=285752 CPUtime=0.9 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 1126 0 0 0 90 0 0 0 25 0 4 0 652683650 292610048 3209 33554432000 4194304 4580107 140735063212512 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 285752

[startup+1.01382 s]
/proc/loadavg: 0.08 0.02 0.08 7/388 28745
/proc/meminfo: memFree=27035132/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=285828 CPUtime=4.02 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 6105 0 0 0 401 1 0 0 19 0 4 0 652683649 292687872 3302 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 71457 3302 377 95 0 66439 0
[pid=28745/tid=28746] ppid=28743 vsize=285828 CPUtime=1 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 1380 0 0 0 100 0 0 0 25 0 4 0 652683650 292687872 3302 33554432000 4194304 4580107 140735063212512 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=285828 CPUtime=1 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 1463 0 0 0 100 0 0 0 19 0 4 0 652683650 292687872 3302 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=285828 CPUtime=1 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 1335 0 0 0 100 0 0 0 25 0 4 0 652683650 292687872 3302 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 285828

[startup+1.1138 s]
/proc/loadavg: 0.08 0.02 0.08 7/388 28745
/proc/meminfo: memFree=27035132/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=286048 CPUtime=4.42 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 6757 0 0 0 441 1 0 0 19 0 4 0 652683649 292913152 3128 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 71512 3128 377 95 0 66494 0
[pid=28745/tid=28746] ppid=28743 vsize=286048 CPUtime=1.1 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 1578 0 0 0 110 0 0 0 25 0 4 0 652683650 292913152 3128 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=286048 CPUtime=1.1 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 1661 0 0 0 110 0 0 0 19 0 4 0 652683650 292913152 3128 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=286048 CPUtime=1.1 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 1385 0 0 0 110 0 0 0 25 0 4 0 652683650 292913152 3128 33554432000 4194304 4580107 140735063212512 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 286048

[startup+1.50074 s]
/proc/loadavg: 0.08 0.02 0.08 7/388 28745
/proc/meminfo: memFree=27035132/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=286404 CPUtime=5.97 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 8594 0 0 0 596 1 0 0 19 0 4 0 652683649 293277696 4647 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 71601 4647 378 95 0 66583 0
[pid=28745/tid=28746] ppid=28743 vsize=286404 CPUtime=1.49 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 1768 0 0 0 149 0 0 0 25 0 4 0 652683650 293277696 4647 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=286404 CPUtime=1.49 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 1867 0 0 0 149 0 0 0 20 0 4 0 652683650 293277696 4647 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=286404 CPUtime=1.49 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 1729 0 0 0 149 0 0 0 25 0 4 0 652683650 293277696 4647 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286404

[startup+3.10047 s]
/proc/loadavg: 0.08 0.02 0.08 9/392 28749
/proc/meminfo: memFree=26962932/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=293476 CPUtime=12.34 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 15847 0 0 0 1232 2 0 0 25 0 4 0 652683649 300519424 9253 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 73369 9253 378 95 0 68351 0
[pid=28745/tid=28746] ppid=28743 vsize=293476 CPUtime=3.08 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 3599 0 0 0 308 0 0 0 25 0 4 0 652683650 300519424 9253 33554432000 4194304 4580107 140735063212512 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=293476 CPUtime=3.09 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 4074 0 0 0 309 0 0 0 25 0 4 0 652683650 300519424 9253 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=293476 CPUtime=3.08 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 3735 0 0 0 308 0 0 0 25 0 4 0 652683650 300519424 9253 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 293476

[startup+6.31393 s]
/proc/loadavg: 0.71 0.15 0.12 9/392 28749
/proc/meminfo: memFree=26940984/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=287788 CPUtime=25.16 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 23711 0 0 0 2513 3 0 0 25 0 4 0 652683649 294694912 12060 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 71947 12060 378 95 0 66929 0
[pid=28745/tid=28746] ppid=28743 vsize=287788 CPUtime=6.29 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 6075 0 0 0 629 0 0 0 25 0 4 0 652683650 294694912 12060 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=287788 CPUtime=6.3 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 6088 0 0 0 630 0 0 0 25 0 4 0 652683650 294694912 12060 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=287788 CPUtime=6.3 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 5521 0 0 0 629 1 0 0 25 0 4 0 652683650 294694912 12060 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 287788

[startup+12.7009 s]
/proc/loadavg: 1.30 0.28 0.17 9/392 28749
/proc/meminfo: memFree=26910608/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=297880 CPUtime=50.64 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 34753 0 0 0 5059 5 0 0 25 0 4 0 652683649 305029120 13738 33554432000 4194304 4580107 140735063212512 18446744073709551615 4295723 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 74470 13738 378 95 0 69452 0
[pid=28745/tid=28746] ppid=28743 vsize=297880 CPUtime=12.69 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 8656 0 0 0 1268 1 0 0 25 0 4 0 652683650 305029120 13738 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=297880 CPUtime=12.69 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 8771 0 0 0 1268 1 0 0 25 0 4 0 652683650 305029120 13738 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=297880 CPUtime=12.69 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 8463 0 0 0 1268 1 0 0 25 0 4 0 652683650 305029120 13738 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 297880

[startup+25.5007 s]
/proc/loadavg: 2.78 0.66 0.29 9/392 28750
/proc/meminfo: memFree=26871016/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=300472 CPUtime=101.68 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 51657 0 0 0 10160 8 0 0 25 0 4 0 652683649 307683328 16725 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 75118 16725 378 95 0 70100 0
[pid=28745/tid=28746] ppid=28743 vsize=300472 CPUtime=25.48 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 13392 0 0 0 2547 1 0 0 25 0 4 0 652683650 307683328 16725 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=300472 CPUtime=25.48 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 12974 0 0 0 2546 2 0 0 25 0 4 0 652683650 307683328 16725 33554432000 4194304 4580107 140735063212512 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=300472 CPUtime=25.49 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 12303 0 0 0 2547 2 0 0 25 0 4 0 652683650 307683328 16725 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 300472

[startup+51.1004 s]
/proc/loadavg: 4.62 1.26 0.50 9/392 28750
/proc/meminfo: memFree=26828512/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=295904 CPUtime=203.76 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 79230 0 0 0 20361 15 0 0 25 0 4 0 652683649 303005696 19959 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 73976 19959 378 95 0 68958 0
[pid=28745/tid=28746] ppid=28743 vsize=295904 CPUtime=51.08 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 20696 0 0 0 5105 3 0 0 25 0 4 0 652683650 303005696 19959 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=295904 CPUtime=51.08 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 19897 0 0 0 5104 4 0 0 25 0 4 0 652683650 303005696 19959 33554432000 4194304 4580107 140735063212512 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=295904 CPUtime=51.08 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 18669 0 0 0 5105 3 0 0 25 0 4 0 652683650 303005696 19959 33554432000 4194304 4580107 140735063212512 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 295904

[startup+102.301 s]
/proc/loadavg: 6.60 2.31 0.90 9/392 28752
/proc/meminfo: memFree=26778400/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=318144 CPUtime=407.95 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 121412 0 0 0 40769 26 0 0 25 0 4 0 652683649 325779456 24011 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 79536 24011 378 95 0 74518 0
[pid=28745/tid=28746] ppid=28743 vsize=318144 CPUtime=102.28 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 31144 0 0 0 10223 5 0 0 25 0 4 0 652683650 325779456 24011 33554432000 4194304 4580107 140735063212512 18446744073709551615 4324374 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=318144 CPUtime=102.29 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 29977 0 0 0 10222 7 0 0 25 0 4 0 652683650 325779456 24011 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=318144 CPUtime=102.28 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 29733 0 0 0 10222 6 0 0 25 0 4 0 652683650 325779456 24011 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.95
Current children cumulated vsize (KiB) 318144

[startup+162.301 s]

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

/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 39143 0 0 0 16220 9 0 0 25 0 4 0 652683650 327143424 27769 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 647.23
Current children cumulated vsize (KiB) 319476

[startup+222.301 s]
/proc/loadavg: 7.92 4.23 1.77 9/392 28755
/proc/meminfo: memFree=26643804/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=390328 CPUtime=886.48 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 196204 0 0 0 88600 48 0 0 25 0 4 0 652683649 399695872 36603 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 97582 36603 378 95 0 92564 0
[pid=28745/tid=28746] ppid=28743 vsize=390328 CPUtime=222.28 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 50938 0 0 0 22217 11 0 0 25 0 4 0 652683650 399695872 36603 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=390328 CPUtime=222.29 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 46238 0 0 0 22215 14 0 0 25 0 4 0 652683650 399695872 36603 33554432000 4194304 4580107 140735063212512 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=390328 CPUtime=222.29 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 49708 0 0 0 22217 12 0 0 25 0 4 0 652683650 399695872 36603 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 886.48
Current children cumulated vsize (KiB) 390328

[startup+282.301 s]
/proc/loadavg: 8.06 4.94 2.16 9/392 28756
/proc/meminfo: memFree=26588472/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=411400 CPUtime=1125.8 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 226085 0 0 0 112522 58 0 0 25 0 4 0 652683649 421273600 42780 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 102850 42780 378 95 0 97832 0
[pid=28745/tid=28746] ppid=28743 vsize=411400 CPUtime=282.3 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 56343 0 0 0 28217 13 0 0 25 0 4 0 652683650 421273600 42780 33554432000 4194304 4580107 140735063212512 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=411400 CPUtime=282.3 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 57025 0 0 0 28213 17 0 0 25 0 4 0 652683650 421273600 42780 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=411400 CPUtime=282.29 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 56762 0 0 0 28216 13 0 0 25 0 4 0 652683650 421273600 42780 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1125.8
Current children cumulated vsize (KiB) 411400

[startup+342.3 s]
/proc/loadavg: 8.13 5.53 2.54 9/392 28758
/proc/meminfo: memFree=26521988/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=412104 CPUtime=1365.02 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 258564 0 0 0 136433 69 0 0 25 0 4 0 652683649 421994496 53512 33554432000 4194304 4580107 140735063212512 18446744073709551615 4406408 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 103026 53512 378 95 0 98008 0
[pid=28745/tid=28746] ppid=28743 vsize=412104 CPUtime=342.28 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 65305 0 0 0 34212 16 0 0 25 0 4 0 652683650 421994496 53512 33554432000 4194304 4580107 140735063212512 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=412104 CPUtime=342.29 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 63725 0 0 0 34208 21 0 0 25 0 4 0 652683650 421994496 53512 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=412104 CPUtime=342.28 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 65489 0 0 0 34212 16 0 0 25 0 4 0 652683650 421994496 53512 33554432000 4194304 4580107 140735063212512 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1365.02
Current children cumulated vsize (KiB) 412104

[startup+402.314 s]
/proc/loadavg: 8.16 6.01 2.89 9/392 28760
/proc/meminfo: memFree=26537840/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=401012 CPUtime=1604.32 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 277214 0 0 0 160356 76 0 0 25 0 4 0 652683649 410636288 51375 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 100253 51375 378 95 0 95235 0
[pid=28745/tid=28746] ppid=28743 vsize=401012 CPUtime=402.3 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 70426 0 0 0 40212 18 0 0 25 0 4 0 652683650 410636288 51375 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=401012 CPUtime=402.3 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 68356 0 0 0 40208 22 0 0 25 0 4 0 652683650 410636288 51375 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=401012 CPUtime=402.29 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 70236 0 0 0 40211 18 0 0 25 0 4 0 652683650 410636288 51375 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1604.32
Current children cumulated vsize (KiB) 401012

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

[startup+410.301 s]
/proc/loadavg: 8.14 6.07 2.94 9/392 28760
/proc/meminfo: memFree=26532752/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=401024 CPUtime=1636.17 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 279479 0 0 0 163540 77 0 0 25 0 4 0 652683649 410648576 51685 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 100256 51685 378 95 0 95238 0
[pid=28745/tid=28746] ppid=28743 vsize=401024 CPUtime=410.29 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 70923 0 0 0 41010 19 0 0 25 0 4 0 652683650 410648576 51685 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=401024 CPUtime=410.29 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 69552 0 0 0 41006 23 0 0 25 0 4 0 652683650 410648576 51685 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=401024 CPUtime=410.28 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 70808 0 0 0 41010 18 0 0 25 0 4 0 652683650 410648576 51685 33554432000 4194304 4580107 140735063212512 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1636.17
Current children cumulated vsize (KiB) 401024

[startup+413.5 s]
/proc/loadavg: 8.14 6.07 2.94 9/392 28760
/proc/meminfo: memFree=26537708/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=401024 CPUtime=1648.94 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 280009 0 0 0 164816 78 0 0 25 0 4 0 652683649 410648576 52214 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 100256 52214 378 95 0 95238 0
[pid=28745/tid=28746] ppid=28743 vsize=401024 CPUtime=413.49 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 71064 0 0 0 41330 19 0 0 25 0 4 0 652683650 410648576 52214 33554432000 4194304 4580107 140735063212512 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=401024 CPUtime=413.49 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 69755 0 0 0 41326 23 0 0 25 0 4 0 652683650 410648576 52214 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=401024 CPUtime=413.47 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 70994 0 0 0 41329 18 0 0 25 0 4 0 652683650 410648576 52214 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1648.94
Current children cumulated vsize (KiB) 401024

[startup+416.701 s]
/proc/loadavg: 8.13 6.10 2.97 9/392 28760
/proc/meminfo: memFree=26545020/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=412768 CPUtime=1661.69 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 282071 0 0 0 166091 78 0 0 25 0 4 0 652683649 422674432 50576 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 103192 50576 378 95 0 98174 0
[pid=28745/tid=28746] ppid=28743 vsize=412768 CPUtime=416.69 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 72003 0 0 0 41650 19 0 0 25 0 4 0 652683650 422674432 50576 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=412768 CPUtime=416.69 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 69952 0 0 0 41646 23 0 0 25 0 4 0 652683650 422674432 50576 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=412768 CPUtime=416.68 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 71144 0 0 0 41649 19 0 0 25 0 4 0 652683650 422674432 50576 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 412768

[startup+417.501 s]
/proc/loadavg: 8.13 6.10 2.97 9/392 28760
/proc/meminfo: memFree=26545020/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=412768 CPUtime=1664.9 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 282271 0 0 0 166411 79 0 0 25 0 4 0 652683649 422674432 50776 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 103192 50776 378 95 0 98174 0
[pid=28745/tid=28746] ppid=28743 vsize=412768 CPUtime=417.48 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 72062 0 0 0 41729 19 0 0 25 0 4 0 652683650 422674432 50776 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=412768 CPUtime=417.49 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 69992 0 0 0 41726 23 0 0 25 0 4 0 652683650 422674432 50776 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=412768 CPUtime=417.48 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 71180 0 0 0 41729 19 0 0 25 0 4 0 652683650 422674432 50776 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1664.9
Current children cumulated vsize (KiB) 412768

[startup+417.901 s]
/proc/loadavg: 8.13 6.10 2.97 9/392 28760
/proc/meminfo: memFree=26543036/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=412768 CPUtime=1666.49 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 282380 0 0 0 166570 79 0 0 25 0 4 0 652683649 422674432 50885 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 103192 50885 378 95 0 98174 0
[pid=28745/tid=28746] ppid=28743 vsize=412768 CPUtime=417.88 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 72099 0 0 0 41769 19 0 0 25 0 4 0 652683650 422674432 50885 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=412768 CPUtime=417.89 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 70014 0 0 0 41766 23 0 0 25 0 4 0 652683650 422674432 50885 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=412768 CPUtime=417.88 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 71196 0 0 0 41769 19 0 0 25 0 4 0 652683650 422674432 50885 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1666.49
Current children cumulated vsize (KiB) 412768

[startup+418.301 s]
/proc/loadavg: 8.13 6.10 2.97 9/392 28760
/proc/meminfo: memFree=26543036/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=412768 CPUtime=1668.09 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 282486 0 0 0 166730 79 0 0 25 0 4 0 652683649 422674432 50991 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 103192 50991 378 95 0 98174 0
[pid=28745/tid=28746] ppid=28743 vsize=412768 CPUtime=418.28 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 72136 0 0 0 41809 19 0 0 25 0 4 0 652683650 422674432 50991 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=412768 CPUtime=418.29 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 70038 0 0 0 41806 23 0 0 25 0 4 0 652683650 422674432 50991 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=412768 CPUtime=418.28 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 71212 0 0 0 41809 19 0 0 25 0 4 0 652683650 422674432 50991 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1668.09
Current children cumulated vsize (KiB) 412768

[startup+418.401 s]
/proc/loadavg: 8.13 6.10 2.97 9/392 28760
/proc/meminfo: memFree=26543036/32950928 swapFree=44388876/67111528
[pid=28745] ppid=28743 vsize=412768 CPUtime=1668.49 cores=0,2,4,6
/proc/28745/stat : 28745 (strangenight2-m) R 28743 28745 28704 0 -1 4202496 282515 0 0 0 166770 79 0 0 25 0 4 0 652683649 422674432 51020 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28745/statm: 103192 51020 378 95 0 98174 0
[pid=28745/tid=28746] ppid=28743 vsize=412768 CPUtime=418.38 cores=0,2,4,6
/proc/28745/task/28746/stat : 28746 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 72146 0 0 0 41819 19 0 0 25 0 4 0 652683650 422674432 51020 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28745/tid=28747] ppid=28743 vsize=412768 CPUtime=418.39 cores=0,2,4,6
/proc/28745/task/28747/stat : 28747 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 70045 0 0 0 41816 23 0 0 25 0 4 0 652683650 422674432 51020 33554432000 4194304 4580107 140735063212512 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28745/tid=28748] ppid=28743 vsize=412768 CPUtime=418.38 cores=0,2,4,6
/proc/28745/task/28748/stat : 28748 (strangenight2-m) R 28743 28745 28704 0 -1 4202560 71216 0 0 0 41819 19 0 0 25 0 4 0 652683650 422674432 51020 33554432000 4194304 4580107 140735063212512 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1668.49
Current children cumulated vsize (KiB) 412768

Child status: 10
Real time (s): 418.422
CPU time (s): 1668.55
CPU user time (s): 1667.75
CPU system time (s): 0.800878
CPU usage (%): 398.771
Max. virtual memory (cumulated for all children) (KiB): 454712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1667.75
system time used= 0.800878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282526
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= 321
involuntary context switches= 11905

runsolver used 1.48877 second user time and 3.53846 second system time

The end

Launcher Data 

Begin job on node126 at 2011-05-15 00:07:30
IDJOB=3366627
IDBENCH=83036
IDSOLVER=1844
FILE ID=node126/3366627-1305410849
RUNJOBID= node126-1305410848-28722
PBS_JOBID= 13324522
Free space on /tmp= 73320 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3366627-1305410849/watcher-3366627-1305410849 -o /tmp/evaluation-result-3366627-1305410849/solver-3366627-1305410849 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366627-1305410849.cnf

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

MD5SUM BENCH= fa5f68613be1e2c6017df353c3eb03ef
RANDOM SEED=336694040

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27035420 kB
Buffers:        260764 kB
Cached:        2441036 kB
SwapCached:      92524 kB
Active:         749288 kB
Inactive:      4915408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27035420 kB
SwapTotal:    67111528 kB
SwapFree:     44388876 kB
Dirty:           10900 kB
Writeback:           0 kB
AnonPages:     2882396 kB
Mapped:          15208 kB
Slab:           108736 kB
PageTables:      75672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 88176464 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= 73316 MiB
End job on node126 at 2011-05-15 00:14:28