Trace number 3174198

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? (TO) 4800.4 1201.93

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf
MD5SUMdea41a8eae52b60f8e05be01aec1734d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark299.825
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 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-3174198-1304112976.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:        1917
0.00/0.00	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.00	c -- vars added        450
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       450      1917         0         0      5751         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
0.00/0.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      6  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     196 undec:      62 neg:     192
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       444      1911         0         0      5763         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.78/0.20	c  N st     8      4920       444      1911         0      4827      5763    104086   no data   no data
1.17/0.37	c  N st    10     11304       444      1911         0      4472      5763     69846   no data   no data
2.38/0.62	c  N st    11     17048       444      1911         0     10098      5763    199176   no data   no data
3.98/1.01	c  F st    12     25002       444      1911         0     12343      5763    236234   no data   no data
3.98/1.01	c  N st    12     25002       444      1911         0     12343      5763    236234   no data   no data
4.79/1.26	c Decided on static restart strategy
4.79/1.26	c  N st    18     30000       444      1911         0     10621      5763    183338   no data   no data
4.79/1.26	c  S st    18     30000       444      1911         0     10621      5763    183338   no data   no data
4.79/1.29	c  S st    18     30504       444      1911         0     11124      5763    193809   no data   no data
4.79/1.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.79/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
4.79/1.30	c blocked clauses removed:        0 vars:      0 tried:         444 T: 0.00 s
4.79/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.79/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.79/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
4.79/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.17/1.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.35	c lits-rem:       124  cl-subs:      712  v-elim:      0  v-fix:    0  time:  0.05 s
5.17/1.36	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.01
5.17/1.36	c calculated reachability. Time: 0.00
5.17/1.36	c  N st    18     30504       444      1911         0     10412      5762    178269   no data   no data
6.77/1.78	c  N st    20     37614       444      1911         0      9636      5762    144836   no data   no data
8.37/2.15	c  N st    21     44013       444      1911         0     15858      5762    274328   no data   no data
8.79/2.27	c  S st    22     45757       444      1911         0      8850      5762    114282   no data   no data
8.79/2.29	c  S st    22     46258       444      1911         0      9351      5762    125178   no data   no data
8.79/2.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.79/2.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.79/2.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.79/2.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.79/2.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
8.79/2.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.19/2.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.31	c lits-rem:        18  cl-subs:       97  v-elim:      0  v-fix:    0  time:  0.01 s
9.19/2.31	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
9.19/2.31	c vivif2 --  cl tried     9254 cl shrink        0 lits rem          0 time: 0.00
9.19/2.32	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.00
9.19/2.32	c calculated reachability. Time: 0.00
9.19/2.32	c  N st    22     46258       444      1911         0      9254      5762    123116   no data   no data
12.36/3.19	c  N st    23     60655       444      1911         0     13597      5762    209697   no data   no data
15.15/3.89	c  N st    24     69387       444      1911         0     11407      5762    151516   no data   no data
15.15/3.89	c  S st    24     69387       444      1911         0     11407      5762    151516   no data   no data
15.55/3.92	c  S st    24     69889       444      1911         0     11909      5762    162116   no data   no data
15.55/3.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.55/3.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.55/3.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.55/3.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.55/3.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
15.55/3.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.55/3.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.55/3.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.95	c lits-rem:        19  cl-subs:      120  v-elim:      0  v-fix:    0  time:  0.01 s
15.55/3.95	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
15.55/3.95	c vivif2 --  cl tried    11789 cl shrink        0 lits rem          0 time: 0.00
15.55/3.96	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.01
15.55/3.96	c calculated reachability. Time: 0.00
15.55/3.96	c  N st    24     69889       444      1911         0     11789      5762    159465   no data   no data
20.35/5.15	c  F st    25     87502       444      1911         0     17255      5762    275653   no data   no data
20.35/5.15	c  N st    25     87502       444      1911         0     17255      5762    275653   no data   no data
22.36/5.65	c  N dy    32     93726       444      1911         0     23352      5762    401162     15.30     16.11
24.35/6.12	c  N dy    48     99784       444      1911         0     16548      5762    217123     14.77     15.66
25.95/6.52	c  S st    57    104833       444      1911         0     21498      5762    316649     14.20     13.25
25.95/6.57	c  S st    57    105336       444      1911         0     21998      5762    327876     14.20   no data
25.95/6.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.95/6.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
25.95/6.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.95/6.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.95/6.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.95/6.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
25.95/6.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.95/6.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.95/6.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.68	c lits-rem:       389  cl-subs:      759  v-elim:      0  v-fix:    0  time:  0.09 s
26.36/6.68	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
26.36/6.68	c vivif2 --  cl tried    21239 cl shrink        0 lits rem          0 time: 0.00
26.36/6.69	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.01
26.36/6.69	c calculated reachability. Time: 0.00
26.36/6.69	c  N dy    57    105336       444      1911         0     21239      5762    312113     14.20   no data
29.14/7.35	c  N dy    87    112120       444      1911         0     14187      5762    143649     14.28     15.09
31.53/7.91	c  N dy   116    119516       444      1911         0     21466      5762    295409     14.29     15.08
34.73/8.71	c  N dy   146    127352       444      1911         0     29185      5762    455616     14.32     15.19
37.53/9.46	c  N dy   181    136574       444      1911         0     23489      5762    319344     14.29     15.15
41.12/10.39	c  N dy   215    145470       444      1911         0     16504      5762    154258     14.25     15.09
44.34/11.17	c  N dy   256    154857       444      1911         0     25707      5762    346052     14.28     15.04
45.92/11.53	c  S st   280    158005       444      1911         0     28815      5762    413468     14.34   no data
46.32/11.60	c  S st   280    158509       444      1911         0     29319      5762    424554     14.34   no data
46.32/11.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.32/11.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.32/11.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.32/11.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.32/11.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.32/11.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
46.32/11.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
46.32/11.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.32/11.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.72/11.76	c lits-rem:       195  cl-subs:      890  v-elim:      0  v-fix:    0  time:  0.13 s
46.72/11.76	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
46.72/11.76	c vivif2 --  cl tried    28429 cl shrink        0 lits rem          0 time: 0.00
46.72/11.78	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.01
46.72/11.78	c calculated reachability. Time: 0.00
46.72/11.78	c  N dy   280    158509       444      1911         0     28429      5762    405363     14.34   no data
51.11/12.81	c  N dy   334    168670       444      1911         0     21707      5762    248109     14.42     16.73
55.50/13.90	c  N dy   366    179475       444      1911         0     32330      5762    468891     14.39     16.80
60.30/15.11	c  N dy   398    191815       444      1911         0     26713      5762    334373     14.34     15.11
65.91/16.60	c  N dy   443    204400       444      1911         0     20431      5762    189504     14.30     15.06
71.88/18.05	c  N dy   505    217774       444      1911         0     33551      5762    467221     14.33     15.09
78.27/19.67	c  N dy   583    231685       444      1911         0     27566      5762    328883     14.41     16.47
81.06/20.34	c  S st   605    237763       444      1911         0     33516      5762    455291     14.41   no data
81.46/20.42	c  S st   605    238263       444      1911         0     34011      5762    466650     14.41   no data
81.46/20.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.46/20.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.46/20.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.46/20.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.46/20.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.46/20.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
81.46/20.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
81.46/20.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.46/20.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.26/20.61	c lits-rem:       206  cl-subs:     1049  v-elim:      0  v-fix:    0  time:  0.16 s
82.26/20.61	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
82.26/20.62	c vivif2 --  cl tried    32962 cl shrink        0 lits rem          0 time: 0.01
82.26/20.64	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.02
82.26/20.64	c calculated reachability. Time: 0.00
82.26/20.64	c  N dy   605    238263       444      1911         0     32962      5762    444382     14.41   no data
89.85/22.52	c  N dy   682    253504       444      1911         0     27365      5762    310590     14.46     15.89
98.65/24.73	c  N dy   744    270201       444      1911         0     22147      5762    184058     14.46     15.23
106.63/26.78	c  N dy   833    287515       444      1911         0     39173      5762    542513     14.50     15.32
116.22/29.13	c  F st   902    306250       444      1911         0     34982      5762    441770     14.49     13.43
116.22/29.13	c  N st   902    306250       444      1911         0     34982      5762    441770     14.49     13.43
119.04/29.81	c Decided on static restart strategy
130.20/32.68	c  N st   912    334552       444      1911         0     39067      5762    686656     14.49   no data
142.18/35.68	c  N st   914    357396       444      1911         0     36880      5762    572464     14.49   no data
142.18/35.68	c  S st   914    357396       444      1911         0     36880      5762    572464     14.49   no data
142.58/35.77	c  S st   914    357905       444      1911         0     37388      5762    583583     14.49   no data
142.58/35.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
142.58/35.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
142.58/35.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
142.58/35.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
142.58/35.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.58/35.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
142.58/35.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
142.98/35.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
142.98/35.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.77/36.53	c lits-rem:       199  cl-subs:     3242  v-elim:      0  v-fix:    0  time:  0.72 s
145.77/36.53	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
145.77/36.54	c vivif2 --  cl tried    34146 cl shrink        0 lits rem          0 time: 0.01
145.77/36.56	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.02
145.77/36.56	c calculated reachability. Time: 0.00
145.77/36.56	c  N st   914    357905       444      1911         0     34146      5762    518040     14.49   no data
165.35/41.42	c  N st   915    390298       444      1911         0     40505      5762    678368     14.49   no data
195.31/48.96	c  N st   916    438887       444      1911         0     34164      5762    458920     14.49   no data
236.86/59.30	c  N st   917    511769       444      1911         0     47696      5762    733515     14.49   no data
250.46/62.78	c  N st   918    536857       444      1911         0     41866      5762    549712     14.49   no data
250.46/62.78	c  S st   918    536857       444      1911         0     41866      5762    549712     14.49   no data
250.86/62.88	c  S st   918    537360       444      1911         0     42369      5762    560260     14.49   no data
250.86/62.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
250.86/62.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
250.86/62.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
250.86/62.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
250.86/62.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
250.86/62.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
250.86/62.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
251.23/62.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
251.23/62.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
253.23/63.49	c lits-rem:       340  cl-subs:     2352  v-elim:      0  v-fix:    0  time:  0.56 s
253.23/63.49	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
253.23/63.49	c vivif2 --  cl tried    40017 cl shrink        0 lits rem          0 time: 0.01
253.63/63.52	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.02
253.63/63.52	c calculated reachability. Time: 0.00
253.63/63.52	c  N st   918    537360       444      1911         0     40017      5762    519003     14.49   no data
358.69/89.83	c  N st   919    701344       444      1911         0     69104      5762   1118579     14.49   no data
430.20/107.77	c  N st   920    806042       444      1911         0     62935      5762    950160     14.49   no data
430.20/107.77	c  S st   920    806042       444      1911         0     62935      5762    950160     14.49   no data
431.02/107.96	c  S st   920    806546       444      1911         0     63438      5762    961310     14.49   no data
431.02/107.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
431.02/107.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
431.02/107.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
431.02/107.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
431.02/107.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
431.02/107.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
431.02/107.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
431.39/108.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
431.39/108.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
442.18/110.70	c lits-rem:       472  cl-subs:     5497  v-elim:      0  v-fix:    0  time:  2.67 s
442.18/110.70	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
442.18/110.71	c vivif2 --  cl tried    57941 cl shrink        0 lits rem          0 time: 0.01
442.18/110.76	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.05
442.18/110.76	c calculated reachability. Time: 0.00
442.18/110.76	c  N st   920    806546       444      1911         0     57941      5762    854353     14.49   no data
648.14/162.35	c  F st   921   1071875       444      1911         0     73814      5762   1131955     14.49   no data
648.14/162.35	c  N st   921   1071875       444      1911         0     73814      5762   1131955     14.49   no data
654.09/163.81	c Decided on static restart strategy
675.40/169.22	c  N st   931   1100175       444      1911         0     57760      5762    734966     14.49   no data
714.59/179.11	c  N st   933   1136171       444      1911         0     48141      5762    501863     14.49   no data
741.35/185.82	c  N st   934   1168564       444      1911         0     79605      5762   1230444     14.49   no data
790.10/198.05	c  N st   935   1209822       444      1911         0     74091      5762   1114770     14.49   no data
790.10/198.05	c  S st   935   1209822       444      1911         0     74091      5762   1114770     14.49   no data
790.87/198.28	c  S st   935   1210326       444      1911         0     74595      5762   1127104     14.49   no data
790.87/198.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
791.28/198.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
791.28/198.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
791.28/198.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
791.28/198.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
791.28/198.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
791.28/198.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
791.28/198.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
791.28/198.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
801.27/200.88	c lits-rem:       608  cl-subs:     3315  v-elim:      0  v-fix:    0  time:  2.51 s
801.27/200.88	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
801.67/200.90	c vivif2 --  cl tried    71280 cl shrink        0 lits rem          0 time: 0.01
801.67/200.96	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.06
801.67/200.96	c calculated reachability. Time: 0.00
801.67/200.96	c  N st   935   1210326       444      1911         0     71280      5762   1049811     14.49   no data
884.35/221.61	c  N st   936   1283208       444      1911         0     47877      5762    457132     14.49   no data
994.20/249.10	c  N st   937   1392534       444      1911         0     55692      5762    597126     14.49   no data
1143.61/286.51	c  N st   938   1556522       444      1911         0     60740      5762    687437     14.49   no data
1295.42/324.56	c  N st   939   1710327       444      1911         0    101755      5762   1542032     14.49   no data
1295.42/324.56	c  S st   939   1710327       444      1911         0    101755      5762   1542032     14.49   no data
1297.00/324.94	c  S st   939   1710829       444      1911         0    102253      5762   1554178     14.49   no data
1297.00/324.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1297.00/324.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1297.00/324.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1297.00/324.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1297.00/324.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1297.00/324.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
1297.00/324.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1297.40/325.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1297.40/325.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1351.34/338.57	c lits-rem:       966  cl-subs:    15424  v-elim:      0  v-fix:    0  time: 13.51 s
1351.34/338.57	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
1351.34/338.59	c vivif2 --  cl tried    86829 cl shrink        0 lits rem          0 time: 0.02
1351.74/338.68	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.08
1351.74/338.68	c calculated reachability. Time: 0.00
1351.74/338.68	c  N st   939   1710829       444      1911         0     86829      5762   1239919     14.49   no data
1726.83/432.56	c  N st   940   2079793       444      1911         0     99348      5762   1482675     14.49   no data
1873.44/469.29	c  N st   941   2210830       444      1911         0    102947      5762   1445989     14.49   no data
1873.44/469.29	c  S st   941   2210830       444      1911         0    102947      5762   1445989     14.49   no data
1875.04/469.63	c  S st   941   2211334       444      1911         0    103451      5762   1457641     14.49   no data
1875.04/469.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1875.04/469.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1875.04/469.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1875.04/469.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1875.04/469.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1875.04/469.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
1875.04/469.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1875.45/469.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1875.45/469.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1903.80/476.81	c lits-rem:       509  cl-subs:     9390  v-elim:      0  v-fix:    0  time:  7.06 s
1903.80/476.81	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
1903.80/476.83	c vivif2 --  cl tried    94061 cl shrink        0 lits rem          0 time: 0.02
1904.20/476.92	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.09
1904.20/476.92	c calculated reachability. Time: 0.00
1904.20/476.92	c  N st   941   2211334       444      1911         0     94061      5762   1283737     14.49   no data
2521.39/631.43	c  N st   942   2711335       444      1911         0    117422      5762   1714100     14.49   no data
2521.39/631.43	c  S st   942   2711335       444      1911         0    117422      5762   1714100     14.49   no data
2522.97/631.83	c  S st   942   2711839       444      1911         0    117925      5762   1726071     14.49   no data
2522.97/631.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2522.97/631.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2522.97/631.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2522.97/631.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2522.97/631.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2522.97/631.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
2522.97/631.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2523.37/631.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2523.37/631.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2570.90/643.81	c lits-rem:       820  cl-subs:    12571  v-elim:      0  v-fix:    0  time: 11.84 s
2570.90/643.81	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
2570.90/643.83	c vivif2 --  cl tried   105354 cl shrink        0 lits rem          0 time: 0.02
2571.30/643.94	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.10
2571.30/643.94	c calculated reachability. Time: 0.00
2571.30/643.94	c  N st   942   2711839       444      1911         0    105354      5762   1488084     14.49   no data
3287.14/823.12	c  N st   943   3211840       444      1911         0     81250      5762    812285     14.49   no data
3287.14/823.12	c  S st   943   3211840       444      1911         0     81250      5762    812285     14.49   no data
3287.94/823.38	c  S st   943   3212343       444      1911         0     81753      5762    823128     14.49   no data
3287.94/823.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3288.35/823.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3288.35/823.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3288.35/823.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3288.35/823.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3288.35/823.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
3288.35/823.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3288.35/823.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3288.35/823.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3290.36/823.98	c lits-rem:        83  cl-subs:     1722  v-elim:      0  v-fix:    0  time:  0.52 s
3290.36/823.98	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
3290.36/823.99	c vivif2 --  cl tried    80031 cl shrink        0 lits rem          0 time: 0.01
3290.76/824.06	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.07
3290.76/824.06	c calculated reachability. Time: 0.00
3290.76/824.06	c  N st   943   3212343       444      1911         0     80031      5762    791897     14.49   no data
3962.25/992.13	c  N st   944   3712345       444      1911         0     91099      5762    952003     14.49   no data
3962.25/992.13	c  S st   944   3712345       444      1911         0     91099      5762    952003     14.49   no data
3963.44/992.43	c  S st   944   3712849       444      1911         0     91603      5762    963301     14.49   no data
3963.44/992.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3963.44/992.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3963.44/992.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3963.44/992.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3963.44/992.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3963.44/992.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
3963.44/992.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3963.84/992.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3963.84/992.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3967.06/993.37	c lits-rem:       157  cl-subs:     2073  v-elim:      0  v-fix:    0  time:  0.84 s
3967.06/993.37	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
3967.06/993.38	c vivif2 --  cl tried    89530 cl shrink        0 lits rem          0 time: 0.02
3967.46/993.49	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.10
3967.46/993.49	c calculated reachability. Time: 0.00
3967.46/993.49	c  N st   944   3712849       444      1911         0     89530      5762    926427     14.49   no data
4019.37/1006.42	c  F st   945   3751564       444      1911         0    127031      5762   1784764     14.49   no data
4019.37/1006.42	c  N st   945   3751564       444      1911         0    127031      5762   1784764     14.49   no data
4028.58/1008.76	c Decided on static restart strategy
4063.32/1017.48	c  N st   955   3779868       444      1911         0    154377      5762   2396483     14.49   no data
4112.07/1029.65	c  N st   957   3815862       444      1911         0    107091      5762   1304543     14.49   no data
4162.38/1042.29	c  N st   958   3848254       444      1911         0    138515      5762   2005640     14.49   no data
4233.09/1059.97	c  N st   959   3896842       444      1911         0    102382      5762   1175955     14.49   no data
4348.54/1088.84	c  N st   960   3969725       444      1911         0     88699      5762    855685     14.49   no data
4503.55/1127.62	c  N st   961   4079050       444      1911         0    108999      5762   1271228     14.49   no data
4741.22/1187.18	c  N st   962   4212849       444      1911         0    153249      5762   2454981     14.49   no data
4741.22/1187.18	c  S st   962   4212849       444      1911         0    153249      5762   2454981     14.49   no data
4743.62/1187.77	c  S st   962   4213351       444      1911         0    153747      5762   2466773     14.49   no data
4743.62/1187.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4744.02/1187.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4744.02/1187.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4744.02/1187.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4744.02/1187.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4744.02/1187.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
4744.02/1187.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4744.42/1187.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4744.42/1187.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.48 7.90 7.96 5/180 5023
/proc/meminfo: memFree=29441248/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 601528306 52441088 352 33554432000 4194304 4627427 140736187841728 18446744073709551615 47240992167858 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 12803 352 303 106 0 7774 0
[pid=5023/tid=5024] ppid=5021 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 4 0 601528306 52441088 352 33554432000 4194304 4627427 140736187841728 18446744073709551615 231895490491 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 601528306 52441088 352 33554432000 4194304 4627427 140736187841728 18446744073709551615 47240992167848 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 601528306 52441088 352 33554432000 4194304 4627427 140736187841728 18446744073709551615 231890537558 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.107365 s]
/proc/loadavg: 7.48 7.90 7.96 5/180 5023
/proc/meminfo: memFree=29441248/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=282344 CPUtime=0.4 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 1651 0 0 0 40 0 0 0 25 0 4 0 601528306 289120256 1548 33554432000 4194304 4627427 140736187841728 18446744073709551615 4308599 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 70586 1548 384 106 0 65557 0
[pid=5023/tid=5024] ppid=5021 vsize=282344 CPUtime=0.1 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 309 0 0 0 10 0 0 0 25 0 4 0 601528306 289120256 1548 33554432000 4194304 4627427 140736187841728 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=282344 CPUtime=0.1 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 349 0 0 0 10 0 0 0 25 0 4 0 601528306 289120256 1548 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=282344 CPUtime=0.1 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 260 0 0 0 10 0 0 0 25 0 4 0 601528306 289120256 1548 33554432000 4194304 4627427 140736187841728 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282344

[startup+0.200293 s]
/proc/loadavg: 7.48 7.90 7.96 5/180 5023
/proc/meminfo: memFree=29441248/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=283420 CPUtime=0.78 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 2202 0 0 0 78 0 0 0 25 0 4 0 601528306 290222080 1591 33554432000 4194304 4627427 140736187841728 18446744073709551615 4299664 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 70855 1591 385 106 0 65826 0
[pid=5023/tid=5024] ppid=5021 vsize=283420 CPUtime=0.19 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 442 0 0 0 19 0 0 0 25 0 4 0 601528306 290222080 1591 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=283420 CPUtime=0.19 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 484 0 0 0 19 0 0 0 25 0 4 0 601528306 290222080 1591 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=283420 CPUtime=0.19 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 397 0 0 0 19 0 0 0 25 0 4 0 601528306 290222080 1591 33554432000 4194304 4627427 140736187841728 18446744073709551615 4299657 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283420

[startup+0.300274 s]
/proc/loadavg: 7.48 7.90 7.96 5/180 5023
/proc/meminfo: memFree=29441248/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=283584 CPUtime=1.17 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 2613 0 0 0 117 0 0 0 25 0 4 0 601528306 290390016 2002 33554432000 4194304 4627427 140736187841728 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 70896 2002 385 106 0 65867 0
[pid=5023/tid=5024] ppid=5021 vsize=283584 CPUtime=0.29 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 547 0 0 0 29 0 0 0 25 0 4 0 601528306 290390016 2002 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=283584 CPUtime=0.29 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 585 0 0 0 29 0 0 0 25 0 4 0 601528306 290390016 2002 33554432000 4194304 4627427 140736187841728 18446744073709551615 4330316 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=283584 CPUtime=0.29 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 501 0 0 0 29 0 0 0 25 0 4 0 601528306 290390016 2002 33554432000 4194304 4627427 140736187841728 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283584

[startup+0.700201 s]
/proc/loadavg: 7.48 7.90 7.96 5/180 5023
/proc/meminfo: memFree=29441248/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=284784 CPUtime=2.78 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 4340 0 0 0 277 1 0 0 25 0 4 0 601528306 291618816 2418 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309065 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 71196 2418 385 106 0 66167 0
[pid=5023/tid=5024] ppid=5021 vsize=284784 CPUtime=0.69 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 927 0 0 0 69 0 0 0 25 0 4 0 601528306 291618816 2418 33554432000 4194304 4627427 140736187841728 18446744073709551615 4324313 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=284784 CPUtime=0.69 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 935 0 0 0 69 0 0 0 25 0 4 0 601528306 291618816 2418 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=284784 CPUtime=0.69 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 998 0 0 0 69 0 0 0 25 0 4 0 601528306 291618816 2418 33554432000 4194304 4627427 140736187841728 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284784

[startup+1.50105 s]
/proc/loadavg: 7.48 7.90 7.96 9/184 5027
/proc/meminfo: memFree=29429704/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=285536 CPUtime=5.97 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 8179 0 0 0 596 1 0 0 25 0 4 0 601528306 292388864 4354 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 71384 4354 389 106 0 66355 0
[pid=5023/tid=5024] ppid=5021 vsize=285536 CPUtime=1.49 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 1627 0 0 0 149 0 0 0 25 0 4 0 601528306 292388864 4354 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=285536 CPUtime=1.48 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 1635 0 0 0 148 0 0 0 25 0 4 0 601528306 292388864 4354 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=285536 CPUtime=1.49 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 1611 0 0 0 149 0 0 0 25 0 4 0 601528306 292388864 4354 33554432000 4194304 4627427 140736187841728 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285536

[startup+3.10075 s]
/proc/loadavg: 7.48 7.90 7.96 9/184 5027
/proc/meminfo: memFree=29410112/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=294332 CPUtime=12.36 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 17074 0 0 0 1232 4 0 0 25 0 4 0 601528306 301395968 8767 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 73583 8767 389 106 0 68554 0
[pid=5023/tid=5024] ppid=5021 vsize=294332 CPUtime=3.08 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 3800 0 0 0 308 0 0 0 25 0 4 0 601528306 301395968 8767 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=294332 CPUtime=3.07 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 4412 0 0 0 306 1 0 0 25 0 4 0 601528306 301395968 8767 33554432000 4194304 4627427 140736187841728 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=294332 CPUtime=3.09 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 4314 0 0 0 308 1 0 0 25 0 4 0 601528306 301395968 8768 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 294332

[startup+6.30115 s]
/proc/loadavg: 7.52 7.91 7.96 9/184 5028
/proc/meminfo: memFree=29386052/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=290096 CPUtime=25.15 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 26475 0 0 0 2509 6 0 0 25 0 4 0 601528306 297058304 11445 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 72524 11445 389 106 0 67495 0
[pid=5023/tid=5024] ppid=5021 vsize=290096 CPUtime=6.29 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 6878 0 0 0 628 1 0 0 25 0 4 0 601528306 297058304 11445 33554432000 4194304 4627427 140736187841728 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=290096 CPUtime=6.25 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 7103 0 0 0 624 1 0 0 25 0 4 0 601528306 297058304 11445 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=290096 CPUtime=6.29 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 5981 0 0 0 628 1 0 0 25 0 4 0 601528306 297058304 11445 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 290096

[startup+12.701 s]
/proc/loadavg: 7.56 7.91 7.96 9/184 5028
/proc/meminfo: memFree=29341160/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=290668 CPUtime=50.71 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 41140 0 0 0 5061 10 0 0 25 0 4 0 601528306 297644032 16968 33554432000 4194304 4627427 140736187841728 18446744073709551615 4299701 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 72667 16968 389 106 0 67638 0
[pid=5023/tid=5024] ppid=5021 vsize=290668 CPUtime=12.69 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 10923 0 0 0 1267 2 0 0 25 0 4 0 601528306 297644032 16968 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=290668 CPUtime=12.61 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 9834 0 0 0 1259 2 0 0 25 0 4 0 601528306 297644032 16968 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=290668 CPUtime=12.68 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 10120 0 0 0 1266 2 0 0 25 0 4 0 601528306 297644032 16968 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 290668

[startup+25.5006 s]
/proc/loadavg: 7.66 7.91 7.96 9/184 5028
/proc/meminfo: memFree=29303008/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=298624 CPUtime=101.83 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 61486 0 0 0 10167 16 0 0 25 0 4 0 601528306 305790976 23832 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309149 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 74656 23832 389 106 0 69627 0
[pid=5023/tid=5024] ppid=5021 vsize=298624 CPUtime=25.49 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 17573 0 0 0 2546 3 0 0 25 0 4 0 601528306 305790976 23832 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=298624 CPUtime=25.34 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 15781 0 0 0 2530 4 0 0 25 0 4 0 601528306 305790976 23832 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=298624 CPUtime=25.48 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 14589 0 0 0 2544 4 0 0 25 0 4 0 601528306 305790976 23832 33554432000 4194304 4627427 140736187841728 18446744073709551615 4338610 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 298624

[startup+51.1008 s]
/proc/loadavg: 7.85 7.93 7.96 9/184 5029
/proc/meminfo: memFree=29214444/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=299040 CPUtime=204.1 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 91765 0 0 0 20386 24 0 0 25 0 4 0 601528306 306216960 36121 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309256 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 74760 36121 389 106 0 69731 0
[pid=5023/tid=5024] ppid=5021 vsize=299040 CPUtime=51.09 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 25967 0 0 0 5103 6 0 0 25 0 4 0 601528306 306216960 36121 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=299040 CPUtime=50.8 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 22789 0 0 0 5074 6 0 0 25 0 4 0 601528306 306216960 36121 33554432000 4194304 4627427 140736187841728 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=299040 CPUtime=51.08 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 22503 0 0 0 5102 6 0 0 25 0 4 0 601528306 306216960 36122 33554432000 4194304 4627427 140736187841728 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 299040

[startup+102.301 s]
/proc/loadavg: 7.98 7.96 7.97 9/184 5030
/proc/meminfo: memFree=29151900/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=334980 CPUtime=408.65 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 134362 0 0 0 40827 38 0 0 25 0 4 0 601528306 343019520 38349 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 83745 38349 389 106 0 78716 0
[pid=5023/tid=5024] ppid=5021 vsize=334980 CPUtime=102.29 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 36861 0 0 0 10219 10 0 0 25 0 4 0 601528306 343019520 38349 33554432000 4194304 4627427 140736187841728 18446744073709551615 4324328 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=334980 CPUtime=101.72 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 31578 0 0 0 10164 8 0 0 25 0 4 0 601528306 343019520 38349 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=334980 CPUtime=102.3 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 34390 0 0 0 10220 10 0 0 25 0 4 0 601528306 343019520 38349 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 334980

[startup+162.301 s]

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

[pid=5023] ppid=5021 vsize=448772 CPUtime=2564.92 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 448837 0 0 0 256324 168 0 0 25 0 4 0 601528306 459542528 79569 33554432000 4194304 4627427 140736187841728 18446744073709551615 4420130 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 112193 79569 389 106 0 107164 0
[pid=5023/tid=5024] ppid=5021 vsize=448772 CPUtime=642.3 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 121250 0 0 0 64185 45 0 0 25 0 4 0 601528306 459542528 79569 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=448772 CPUtime=637.96 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 107711 0 0 0 63756 40 0 0 25 0 4 0 601528306 459542528 79569 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=448772 CPUtime=642.31 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 113500 0 0 0 64187 44 0 0 25 0 4 0 601528306 459542528 79569 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2564.92
Current children cumulated vsize (KiB) 448772

[startup+702.301 s]
/proc/loadavg: 8.06 8.05 8.00 9/184 5049
/proc/meminfo: memFree=28756792/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=449152 CPUtime=2804.59 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 472128 0 0 0 280280 179 0 0 25 0 4 0 601528306 459931648 86041 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 112288 86041 389 106 0 107259 0
[pid=5023/tid=5024] ppid=5021 vsize=449152 CPUtime=702.31 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 127775 0 0 0 70182 49 0 0 25 0 4 0 601528306 459931648 86041 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=449152 CPUtime=697.63 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 111689 0 0 0 69721 42 0 0 25 0 4 0 601528306 459931648 86041 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=449152 CPUtime=702.31 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 121031 0 0 0 70184 47 0 0 25 0 4 0 601528306 459931648 86041 33554432000 4194304 4627427 140736187841728 18446744073709551615 4329258 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2804.59
Current children cumulated vsize (KiB) 449152

[startup+762.301 s]
/proc/loadavg: 8.08 8.06 8.00 9/184 5051
/proc/meminfo: memFree=28669952/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=580536 CPUtime=3044.29 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 496726 0 0 0 304238 191 0 0 25 0 4 0 601528306 594468864 90532 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 145134 90532 390 106 0 140105 0
[pid=5023/tid=5024] ppid=5021 vsize=580536 CPUtime=762.32 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 136347 0 0 0 76180 52 0 0 25 0 4 0 601528306 594468864 90533 33554432000 4194304 4627427 140736187841728 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=580536 CPUtime=757.3 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 115073 0 0 0 75685 45 0 0 25 0 4 0 601528306 594468864 90533 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=580536 CPUtime=762.31 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 130525 0 0 0 76180 51 0 0 25 0 4 0 601528306 594468864 90533 33554432000 4194304 4627427 140736187841728 18446744073709551615 4420171 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3044.29
Current children cumulated vsize (KiB) 580536

[startup+822.3 s]
/proc/loadavg: 8.12 8.07 8.01 9/184 5052
/proc/meminfo: memFree=28695712/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=580856 CPUtime=3283.95 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 518092 0 0 0 328192 203 0 0 25 0 4 0 601528306 594796544 91076 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 145214 91076 390 106 0 140185 0
[pid=5023/tid=5024] ppid=5021 vsize=580856 CPUtime=822.31 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 142390 0 0 0 82176 55 0 0 25 0 4 0 601528306 594796544 91076 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=580856 CPUtime=816.98 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 118787 0 0 0 81650 48 0 0 25 0 4 0 601528306 594796544 91076 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=580856 CPUtime=822.31 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 136720 0 0 0 82177 54 0 0 25 0 4 0 601528306 594796544 91076 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3283.95
Current children cumulated vsize (KiB) 580856

[startup+882.306 s]
/proc/loadavg: 8.12 8.09 8.01 9/184 5054
/proc/meminfo: memFree=28676688/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=646676 CPUtime=3523.66 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 538565 0 0 0 352153 213 0 0 25 0 4 0 601528306 662196224 96613 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 161669 96613 390 106 0 156640 0
[pid=5023/tid=5024] ppid=5021 vsize=646676 CPUtime=882.32 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 148763 0 0 0 88174 58 0 0 25 0 4 0 601528306 662196224 96613 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=646676 CPUtime=876.66 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 122153 0 0 0 87616 50 0 0 25 0 4 0 601528306 662196224 96613 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=646676 CPUtime=882.32 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 143083 0 0 0 88175 57 0 0 25 0 4 0 601528306 662196224 96613 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3523.66
Current children cumulated vsize (KiB) 646676

[startup+942.301 s]
/proc/loadavg: 8.20 8.11 8.02 9/184 5056
/proc/meminfo: memFree=28642300/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=581464 CPUtime=3763.31 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 558512 0 0 0 376107 224 0 0 25 0 4 0 601528306 595419136 94620 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 145366 94620 390 106 0 140337 0
[pid=5023/tid=5024] ppid=5021 vsize=581464 CPUtime=942.32 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 156146 0 0 0 94170 62 0 0 25 0 4 0 601528306 595419136 94620 33554432000 4194304 4627427 140736187841728 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=581464 CPUtime=936.33 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 125247 0 0 0 93581 52 0 0 25 0 4 0 601528306 595419136 94620 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=581464 CPUtime=942.31 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 148996 0 0 0 94171 60 0 0 25 0 4 0 601528306 595419136 94620 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.31
Current children cumulated vsize (KiB) 581464

[startup+1002.3 s]
/proc/loadavg: 8.19 8.12 8.03 9/184 5057
/proc/meminfo: memFree=28654164/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=557932 CPUtime=4002.99 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 579099 0 0 0 400062 237 0 0 25 0 4 0 601528306 571322368 95441 33554432000 4194304 4627427 140736187841728 18446744073709551615 4327410 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 139483 95441 390 106 0 134454 0
[pid=5023/tid=5024] ppid=5021 vsize=557932 CPUtime=1002.32 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 161520 0 0 0 100166 66 0 0 25 0 4 0 601528306 571322368 95441 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=557932 CPUtime=996 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 129522 0 0 0 99545 55 0 0 25 0 4 0 601528306 571322368 95441 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=557932 CPUtime=1002.32 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 155883 0 0 0 100169 63 0 0 25 0 4 0 601528306 571322368 95441 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4002.99
Current children cumulated vsize (KiB) 557932

[startup+1062.3 s]
/proc/loadavg: 8.21 8.13 8.03 9/184 5059
/proc/meminfo: memFree=28587396/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=636624 CPUtime=4242.68 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 599960 0 0 0 424020 248 0 0 25 0 4 0 601528306 651902976 106642 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 159156 106642 389 106 0 154127 0
[pid=5023/tid=5024] ppid=5021 vsize=636624 CPUtime=1062.32 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 167517 0 0 0 106164 68 0 0 25 0 4 0 601528306 651902976 106642 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=636624 CPUtime=1055.68 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 134032 0 0 0 105511 57 0 0 25 0 4 0 601528306 651902976 106642 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=636624 CPUtime=1062.32 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 161456 0 0 0 106167 65 0 0 25 0 4 0 601528306 651902976 106642 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4242.68
Current children cumulated vsize (KiB) 636624

[startup+1122.3 s]
/proc/loadavg: 8.15 8.12 8.03 9/184 5060
/proc/meminfo: memFree=28568008/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=571172 CPUtime=4482.35 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 621959 0 0 0 447979 256 0 0 25 0 4 0 601528306 584880128 109977 33554432000 4194304 4627427 140736187841728 18446744073709551615 4310097 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 142793 109977 389 106 0 137764 0
[pid=5023/tid=5024] ppid=5021 vsize=571172 CPUtime=1122.32 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 179313 0 0 0 112161 71 0 0 25 0 4 0 601528306 584880128 109977 33554432000 4194304 4627427 140736187841728 18446744073709551615 4420176 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=571172 CPUtime=1115.34 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 138873 0 0 0 111475 59 0 0 25 0 4 0 601528306 584880128 109977 33554432000 4194304 4627427 140736187841728 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=571172 CPUtime=1122.32 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 164127 0 0 0 112165 67 0 0 25 0 4 0 601528306 584880128 109977 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.35
Current children cumulated vsize (KiB) 571172

[startup+1182.3 s]
/proc/loadavg: 8.12 8.11 8.03 9/184 5062
/proc/meminfo: memFree=28573904/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=597480 CPUtime=4722.05 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 640192 0 0 0 471939 266 0 0 25 0 4 0 601528306 611819520 102807 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 149370 102807 389 106 0 144341 0
[pid=5023/tid=5024] ppid=5021 vsize=597480 CPUtime=1182.32 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 181872 0 0 0 118160 72 0 0 25 0 4 0 601528306 611819520 102807 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=597480 CPUtime=1175.02 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 144404 0 0 0 117440 62 0 0 25 0 4 0 601528306 611819520 102807 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=597480 CPUtime=1182.33 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 169569 0 0 0 118163 70 0 0 25 0 4 0 601528306 611819520 102807 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.05
Current children cumulated vsize (KiB) 597480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 7.79 8.04 8.01 9/184 5093
/proc/meminfo: memFree=29022904/32950928 swapFree=67111356/67111528
[pid=5023] ppid=5021 vsize=597548 CPUtime=4800.35 cores=1,3,5,7
/proc/5023/stat : 5023 (strangenight2-m) R 5021 5023 4858 0 -1 4202496 647512 0 0 0 479766 269 0 0 25 0 4 0 601528306 611889152 106621 33554432000 4194304 4627427 140736187841728 18446744073709551615 4427854 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5023/statm: 149387 106621 389 106 0 144358 0
[pid=5023/tid=5024] ppid=5021 vsize=597548 CPUtime=1201.93 cores=1,3,5,7
/proc/5023/task/5024/stat : 5024 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 182849 0 0 0 120120 73 0 0 25 0 4 0 601528306 611889152 106621 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5023/tid=5025] ppid=5021 vsize=597548 CPUtime=1194.52 cores=1,3,5,7
/proc/5023/task/5025/stat : 5025 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 145291 0 0 0 119389 63 0 0 25 0 4 0 601528306 611889152 106621 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5023/tid=5026] ppid=5021 vsize=597548 CPUtime=1201.93 cores=1,3,5,7
/proc/5023/task/5026/stat : 5026 (strangenight2-m) R 5021 5023 4858 0 -1 4202560 171784 0 0 0 120122 71 0 0 25 0 4 0 601528306 611889152 106621 33554432000 4194304 4627427 140736187841728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 597548

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.4
CPU user time (s): 4797.69
CPU system time (s): 2.71559
CPU usage (%): 399.39
Max. virtual memory (cumulated for all children) (KiB): 698204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.69
system time used= 2.71559
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 647514
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= 173
involuntary context switches= 31259

runsolver used 1.75273 second user time and 4.82827 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-29 23:36:16
IDJOB=3174198
IDBENCH=83016
IDSOLVER=1586
FILE ID=node114/3174198-1304112976
RUNJOBID= node114-1304111762-4877
PBS_JOBID= 13170690
Free space on /tmp= 71800 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174198-1304112976/watcher-3174198-1304112976 -o /tmp/evaluation-result-3174198-1304112976/solver-3174198-1304112976 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174198-1304112976.cnf

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

MD5SUM BENCH= dea41a8eae52b60f8e05be01aec1734d
RANDOM SEED=461350412

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:      29441528 kB
Buffers:       1064044 kB
Cached:        1794160 kB
SwapCached:        168 kB
Active:         231328 kB
Inactive:      2773756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29441528 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           11512 kB
Writeback:           0 kB
AnonPages:      146216 kB
Mapped:          15468 kB
Slab:           441224 kB
PageTables:       4816 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   367836 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-29 23:56:20