Trace number 3173951

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S2098066936-001.UNKNOWN.cnf
MD5SUM7a1181bb5cb0b1221253c27ad7ead33e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark347.943
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
Maximum clause length5
Minimum clause length5
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 52130
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-3173951-1304073912.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        100
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       100      2130         0         0     10650         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.01
0.00/0.01	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:    100 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  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:      48 undec:       5 neg:      47
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       100      2130         0         0     10650         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.78/0.20	c  N st     8      4916       100      2130         0      4574     10650     97844   no data   no data
1.18/0.30	c  N st    10     11299       100      2130         0      4210     10650     72503   no data   no data
1.58/0.49	c  N st    11     17042       100      2130         0      9526     10650    182176   no data   no data
2.78/0.77	c  F st    12     25003       100      2130         0     11667     10650    225831   no data   no data
2.78/0.77	c  N st    12     25003       100      2130         0     11667     10650    225831   no data   no data
3.58/0.99	c Decided on static restart strategy
3.58/0.99	c  N st    18     30000       100      2130         0     10027     10650    184482   no data   no data
3.58/0.99	c  S st    18     30000       100      2130         0     10027     10650    184482   no data   no data
3.98/1.02	c  S st    18     30505       100      2130         0     10502     10650    194792   no data   no data
3.98/1.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.98/1.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.98/1.02	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
3.98/1.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.98/1.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.98/1.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.98/1.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.98/1.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.98/1.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.80/1.21	c lits-rem:       308  cl-subs:     1908  v-elim:      0  v-fix:    0  time:  0.19 s
4.80/1.24	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
4.80/1.24	c calculated reachability. Time: 0.00
4.80/1.24	c  N st    18     30505       100      2130         0      8594     10650    154153   no data   no data
5.97/1.54	c  N st    20     37617       100      2130         0      7922     10650    127657   no data   no data
7.17/1.81	c  N st    21     44016       100      2130         0     13882     10650    256508   no data   no data
7.57/1.92	c  S st    22     45757       100      2130         0     15483     10650    291439   no data   no data
7.57/1.97	c  S st    22     46261       100      2130         0     15974     10650    302499   no data   no data
7.57/1.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.57/1.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.57/1.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.57/1.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.57/1.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.57/1.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
7.57/1.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.57/1.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.57/1.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.18/2.34	c lits-rem:       413  cl-subs:     1980  v-elim:      0  v-fix:    0  time:  0.36 s
9.18/2.34	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
9.18/2.34	c vivif2 --  cl tried    13994 cl shrink        0 lits rem          0 time: 0.00
9.18/2.39	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
9.18/2.39	c calculated reachability. Time: 0.00
9.18/2.39	c  N st    22     46261       100      2130         0     13994     10650    260240   no data   no data
12.37/3.11	c  N st    23     60658       100      2130         0      9902     10650    149009   no data   no data
13.96/3.52	c  N st    24     69392       100      2130         0     18002     10650    327948   no data   no data
13.96/3.52	c  S st    24     69392       100      2130         0     18002     10650    327948   no data   no data
13.96/3.57	c  S st    24     69896       100      2130         0     18490     10650    338900   no data   no data
13.96/3.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.96/3.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
13.96/3.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13.96/3.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.96/3.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.96/3.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
13.96/3.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.96/3.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
13.96/3.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.09	c lits-rem:       416  cl-subs:     2336  v-elim:      0  v-fix:    0  time:  0.50 s
15.96/4.09	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
15.96/4.10	c vivif2 --  cl tried    16154 cl shrink        0 lits rem          0 time: 0.00
16.36/4.15	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
16.36/4.15	c calculated reachability. Time: 0.00
16.36/4.15	c  N st    24     69896       100      2130         0     16154     10650    287262   no data   no data
20.75/5.24	c  F st    25     87500       100      2130         0     11349     10650    165394   no data   no data
20.75/5.24	c  N st    25     87500       100      2130         0     11349     10650    165394   no data   no data
21.55/5.50	c Decided on static restart strategy
22.37/5.66	c  N st    32     95539       100      2130         0     18805     10650    327905   no data   no data
24.74/6.25	c  N st    34    104844       100      2130         0     15442     10650    252256   no data   no data
24.74/6.25	c  S st    34    104844       100      2130         0     15442     10650    252256   no data   no data
24.74/6.29	c  S st    34    105347       100      2130         0     15924     10650    262890   no data   no data
24.74/6.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.14/6.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
25.14/6.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.14/6.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.14/6.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.14/6.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
25.14/6.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.14/6.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.14/6.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.55/6.46	c lits-rem:       218  cl-subs:     1093  v-elim:      0  v-fix:    0  time:  0.15 s
25.55/6.46	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
25.55/6.47	c vivif2 --  cl tried    14831 cl shrink        0 lits rem          0 time: 0.00
25.95/6.52	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
25.95/6.52	c calculated reachability. Time: 0.00
25.95/6.52	c  N st    34    105347       100      2130         0     14831     10650    239065   no data   no data
28.34/7.15	c  N st    35    114945       100      2130         0     23768     10650    445582   no data   no data
32.33/8.11	c  N st    36    129343       100      2130         0     24101     10650    421933   no data   no data
38.73/9.77	c  N st    37    150940       100      2130         0     15350     10650    207217   no data   no data
40.72/10.20	c  S st    38    158020       100      2130         0     21956     10650    348801   no data   no data
40.72/10.26	c  S st    38    158524       100      2130         0     22444     10650    359612   no data   no data
40.72/10.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.72/10.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
40.72/10.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
40.72/10.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.72/10.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.72/10.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
40.72/10.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
40.72/10.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
40.72/10.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.73/10.73	c lits-rem:       436  cl-subs:     2276  v-elim:      0  v-fix:    0  time:  0.45 s
42.73/10.73	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
42.73/10.73	c vivif2 --  cl tried    20168 cl shrink        0 lits rem          0 time: 0.00
43.13/10.80	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.07
43.13/10.80	c calculated reachability. Time: 0.00
43.13/10.80	c  N st    38    158524       100      2130         0     20168     10650    312973   no data   no data
57.52/14.49	c  N st    39    207113       100      2130         0     32603     10650    555898   no data   no data
67.49/16.97	c  N st    40    237787       100      2130         0     24962     10650    375352   no data   no data
67.49/16.97	c  S st    40    237787       100      2130         0     24962     10650    375352   no data   no data
67.89/17.03	c  S st    40    238295       100      2130         0     25445     10650    386105   no data   no data
67.89/17.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
67.89/17.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
67.89/17.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
67.89/17.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
67.89/17.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.89/17.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
67.89/17.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.89/17.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
67.89/17.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.89/17.55	c lits-rem:       283  cl-subs:     2474  v-elim:      0  v-fix:    0  time:  0.50 s
69.89/17.55	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
69.89/17.56	c vivif2 --  cl tried    22971 cl shrink        0 lits rem          0 time: 0.01
70.30/17.64	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.08
70.30/17.64	c calculated reachability. Time: 0.00
70.30/17.64	c  N st    40    238295       100      2130         0     22971     10650    338605   no data   no data
95.05/23.83	c  F st    41    306251       100      2130         0     24955     10650    342901   no data   no data
95.05/23.83	c  N st    41    306251       100      2130         0     24955     10650    342901   no data   no data
96.66/24.28	c Decided on static restart strategy
105.86/26.56	c  N st    51    334555       100      2130         0     29110     10650    422046   no data   no data
114.64/28.73	c  N st    53    357442       100      2130         0     27190     10650    365724   no data   no data
114.64/28.73	c  S st    53    357442       100      2130         0     27190     10650    365724   no data   no data
115.01/28.81	c  S st    53    357946       100      2130         0     27667     10650    376745   no data   no data
115.01/28.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
115.01/28.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
115.01/28.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
115.01/28.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
115.01/28.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
115.01/28.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
115.01/28.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
115.01/28.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
115.01/28.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
116.21/29.11	c lits-rem:       179  cl-subs:     1316  v-elim:      0  v-fix:    0  time:  0.27 s
116.21/29.11	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
116.21/29.12	c vivif2 --  cl tried    26351 cl shrink        0 lits rem          0 time: 0.01
116.61/29.21	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.09
116.61/29.21	c calculated reachability. Time: 0.00
116.61/29.21	c  N st    53    357946       100      2130         0     26351     10650    350746   no data   no data
129.40/32.48	c  N st    54    390342       100      2130         0     32204     10650    462420   no data   no data
152.97/38.37	c  N st    55    438930       100      2130         0     26282     10650    318419   no data   no data
186.12/46.60	c  N st    56    511812       100      2130         0     38901     10650    564701   no data   no data
199.31/49.92	c  N st    57    536919       100      2130         0     33483     10650    433615   no data   no data
199.31/49.92	c  S st    57    536919       100      2130         0     33483     10650    433615   no data   no data
199.71/50.00	c  S st    57    537422       100      2130         0     33969     10650    444461   no data   no data
199.71/50.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
199.71/50.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
199.71/50.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
199.71/50.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
199.71/50.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
199.71/50.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
199.71/50.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
199.71/50.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
199.71/50.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
201.31/50.48	c lits-rem:       278  cl-subs:     1845  v-elim:      0  v-fix:    0  time:  0.44 s
201.31/50.48	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
201.31/50.48	c vivif2 --  cl tried    32124 cl shrink        0 lits rem          0 time: 0.00
201.71/50.60	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.11
201.71/50.60	c calculated reachability. Time: 0.00
201.71/50.60	c  N st    57    537422       100      2130         0     32124     10650    410369   no data   no data
284.00/71.17	c  N st    58    701406       100      2130         0     59752     10650    952245   no data   no data
345.11/86.43	c  N st    59    806133       100      2130         0     53797     10650    786970   no data   no data
345.11/86.43	c  S st    59    806133       100      2130         0     53797     10650    786970   no data   no data
345.51/86.59	c  S st    59    806636       100      2130         0     54275     10650    797891   no data   no data
345.51/86.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
345.91/86.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
345.91/86.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
345.91/86.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
345.91/86.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
345.91/86.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
345.91/86.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
345.91/86.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
345.91/86.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
358.30/89.78	c lits-rem:      1242  cl-subs:     6656  v-elim:      0  v-fix:    0  time:  3.13 s
358.30/89.78	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
358.30/89.79	c vivif2 --  cl tried    47619 cl shrink        0 lits rem          0 time: 0.01
359.10/89.99	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.21
359.10/90.00	c calculated reachability. Time: 0.00
359.10/90.00	c  N st    59    806636       100      2130         0     47619     10650    672998   no data   no data
517.68/129.67	c  F st    60   1071875       100      2130         0     63241     10650    939132   no data   no data
517.68/129.67	c  N st    60   1071875       100      2130         0     63241     10650    939132   no data   no data
521.67/130.65	c Decided on static restart strategy
540.47/135.33	c  N st    70   1100178       100      2130         0     47971     10650    603368   no data   no data
564.82/141.42	c  N st    72   1136176       100      2130         0     81096     10650   1309408   no data   no data
585.18/146.58	c  N st    73   1168568       100      2130         0     68509     10650   1014210   no data   no data
617.94/154.73	c  N st    74   1209954       100      2130         0     63354     10650    886435   no data   no data
617.94/154.73	c  S st    74   1209954       100      2130         0     63354     10650    886435   no data   no data
618.75/154.96	c  S st    74   1210459       100      2130         0     63836     10650    897550   no data   no data
618.75/154.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
619.15/155.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
619.15/155.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
619.15/155.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
619.15/155.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
619.15/155.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
619.15/155.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
619.15/155.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
619.15/155.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
651.49/163.18	c lits-rem:      1255  cl-subs:     6749  v-elim:      0  v-fix:    0  time:  8.13 s
651.49/163.18	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
651.49/163.19	c vivif2 --  cl tried    57087 cl shrink        0 lits rem          0 time: 0.01
653.49/163.69	c asymm  cl-useful: 0/1991/2130 lits-rem:0 time: 0.50
653.49/163.70	c calculated reachability. Time: 0.00
653.49/163.70	c  N st    74   1210459       100      2130         0     57087     10650    774735   no data   no data
718.21/179.83	c  N st    75   1283344       100      2130         0     79912     10650   1225677   no data   no data
814.88/204.07	c  N st    76   1392668       100      2130         0     89659     10650   1441609   no data   no data
958.30/239.92	c  N st    77   1556652       100      2130         0     96930     10650   1540813   no data   no data
1081.72/270.80	c  N st    78   1710459       100      2130         0     86976     10650   1302816   no data   no data
1081.72/270.80	c  S st    78   1710459       100      2130         0     86976     10650   1302816   no data   no data
1082.92/271.15	c  S st    78   1710962       100      2130         0     87460     10650   1313862   no data   no data
1082.92/271.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1083.32/271.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
1083.32/271.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1083.32/271.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1083.32/271.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1083.32/271.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1083.32/271.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1083.32/271.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1083.32/271.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1167.61/292.36	c lits-rem:      1435  cl-subs:    11135  v-elim:      0  v-fix:    0  time: 21.09 s
1167.61/292.36	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1167.61/292.39	c vivif2 --  cl tried    76325 cl shrink        0 lits rem          0 time: 0.02
1170.00/292.94	c asymm  cl-useful: 0/1465/2130 lits-rem:0 time: 0.55
1170.00/292.95	c calculated reachability. Time: 0.00
1170.00/292.95	c  N st    78   1710962       100      2130         0     76325     10650   1111329   no data   no data
1511.56/378.45	c  N st    79   2079927       100      2130         0     87785     10650   1269444   no data   no data
1619.40/405.43	c  N st    80   2210962       100      2130         0     91867     10650   1360645   no data   no data
1619.40/405.43	c  S st    80   2210962       100      2130         0     91867     10650   1360645   no data   no data
1620.60/405.73	c  S st    80   2211466       100      2130         0     92351     10650   1372061   no data   no data
1620.60/405.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1620.60/405.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1620.60/405.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1620.60/405.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1620.60/405.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1620.60/405.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1620.60/405.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1621.00/405.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1621.00/405.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1664.94/416.86	c lits-rem:      1556  cl-subs:     9863  v-elim:      0  v-fix:    0  time: 11.02 s
1664.94/416.86	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1664.94/416.88	c vivif2 --  cl tried    82488 cl shrink        0 lits rem          0 time: 0.02
1665.75/417.06	c asymm  cl-useful: 0/665/2130 lits-rem:0 time: 0.18
1665.75/417.07	c calculated reachability. Time: 0.00
1665.75/417.07	c  N st    80   2211466       100      2130         0     82488     10650   1171727   no data   no data
2175.85/544.72	c  N st    81   2711467       100      2130         0    104468     10650   1483479   no data   no data
2175.85/544.72	c  S st    81   2711467       100      2130         0    104468     10650   1483479   no data   no data
2177.05/545.06	c  S st    81   2711968       100      2130         0    104942     10650   1494757   no data   no data
2177.05/545.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2177.45/545.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2177.45/545.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2177.45/545.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2177.45/545.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2177.45/545.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2177.45/545.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2177.45/545.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2177.45/545.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2232.19/558.88	c lits-rem:      2197  cl-subs:    16157  v-elim:      0  v-fix:    0  time: 13.70 s
2232.19/558.88	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2232.19/558.90	c vivif2 --  cl tried    88785 cl shrink        0 lits rem          0 time: 0.02
2233.77/559.23	c asymm  cl-useful: 0/1294/2130 lits-rem:0 time: 0.33
2233.77/559.23	c calculated reachability. Time: 0.00
2233.77/559.23	c  N st    81   2711968       100      2130         0     88785     10650   1217425   no data   no data
2789.02/698.25	c  N st    82   3211968       100      2130         0    139281     10650   2250793   no data   no data
2789.02/698.25	c  S st    82   3211968       100      2130         0    139281     10650   2250793   no data   no data
2791.01/698.78	c  S st    82   3212471       100      2130         0    139773     10650   2261725   no data   no data
2791.01/698.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2791.41/698.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.08
2791.41/698.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2791.41/698.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2791.41/698.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2791.41/698.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2791.41/698.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2791.81/698.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2791.81/698.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2967.58/742.94	c lits-rem:      3208  cl-subs:    20144  v-elim:      0  v-fix:    0  time: 43.96 s
2967.58/742.94	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2967.58/742.97	c vivif2 --  cl tried   119629 cl shrink        0 lits rem          0 time: 0.03
2969.19/743.32	c asymm  cl-useful: 0/836/2130 lits-rem:0 time: 0.35
2969.19/743.32	c calculated reachability. Time: 0.00
2969.19/743.32	c  N st    82   3212471       100      2130         0    119629     10650   1872370   no data   no data
3631.90/909.21	c  N st    83   3712472       100      2130         0    136152     10650   2098148   no data   no data
3631.90/909.21	c  S st    83   3712472       100      2130         0    136152     10650   2098148   no data   no data
3633.91/909.70	c  S st    83   3712973       100      2130         0    136625     10650   2109102   no data   no data
3633.91/909.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3633.91/909.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
3633.91/909.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3633.91/909.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3633.91/909.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3633.91/909.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3633.91/909.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3634.31/909.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3634.31/909.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3778.50/945.92	c lits-rem:      2062  cl-subs:    19124  v-elim:      0  v-fix:    0  time: 36.05 s
3778.50/945.93	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3778.50/945.95	c vivif2 --  cl tried   117501 cl shrink        0 lits rem          0 time: 0.03
3780.09/946.32	c asymm  cl-useful: 0/959/2130 lits-rem:0 time: 0.37
3780.09/946.32	c calculated reachability. Time: 0.00
3780.09/946.32	c  N st    83   3712973       100      2130         0    117501     10650   1734866   no data   no data
3844.82/962.58	c  F st    84   3751565       100      2130         0     77082     10650    818171   no data   no data
3844.82/962.58	c  N st    84   3751565       100      2130         0     77082     10650    818171   no data   no data
3850.78/964.06	c Decided on static restart strategy
3874.75/970.05	c  N st    94   3779870       100      2130         0    103152     10650   1393456   no data   no data
3923.09/982.13	c  N st    96   3815866       100      2130         0    136208     10650   2107408   no data   no data
3970.62/994.09	c  N st    97   3848261       100      2130         0     88528     10650   1051066   no data   no data
4026.15/1007.99	c  N st    98   3896850       100      2130         0    133006     10650   2036761   no data   no data
4120.42/1031.52	c  N st    99   3969733       100      2130         0    121135     10650   1748167   no data   no data
4326.54/1083.15	c  N st   100   4079058       100      2130         0    141887     10650   2208553   no data   no data
4497.11/1125.86	c  N st   101   4212975       100      2130         0    102499     10650   1300843   no data   no data
4497.11/1125.86	c  S st   101   4212975       100      2130         0    102499     10650   1300843   no data   no data
4498.71/1126.20	c  S st   101   4213480       100      2130         0    102977     10650   1311640   no data   no data
4498.71/1126.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4498.71/1126.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4498.71/1126.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4498.71/1126.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4498.71/1126.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4498.71/1126.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4498.71/1126.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4498.71/1126.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4499.11/1126.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4527.47/1133.50	c lits-rem:      1013  cl-subs:     6401  v-elim:      0  v-fix:    0  time:  7.17 s
4527.88/1133.50	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4527.88/1133.52	c vivif2 --  cl tried    96576 cl shrink        0 lits rem          0 time: 0.02
4529.47/1133.98	c asymm  cl-useful: 0/1061/2130 lits-rem:0 time: 0.46
4529.47/1133.98	c calculated reachability. Time: 0.00
4529.47/1133.98	c  N st   101   4213480       100      2130         0     96576     10650   1187161   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173951-1304073912/watcher-3173951-1304073912 -o /tmp/evaluation-result-3173951-1304073912/solver-3173951-1304073912 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173951-1304073912.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: 8.14 8.05 7.55 5/180 26285
/proc/meminfo: memFree=17382684/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=273404 CPUtime=0 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 585 0 0 0 0 0 0 0 25 0 4 0 597621977 279965696 500 33554432000 4194304 4627427 140733339693040 18446744073709551615 215988253381 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 68351 500 338 106 0 63322 0
[pid=26285/tid=26286] ppid=26283 vsize=273404 CPUtime=0 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 49 0 0 0 0 0 0 0 25 0 4 0 597621978 279965696 507 33554432000 4194304 4627427 140733339693040 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=273404 CPUtime=0 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 21 0 0 0 0 0 0 0 25 0 4 0 597621978 279965696 511 33554432000 4194304 4627427 140733339693040 18446744073709551615 215988592443 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=273404 CPUtime=0 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 49 0 0 0 0 0 0 0 25 0 4 0 597621978 279965696 513 33554432000 4194304 4627427 140733339693040 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.106615 s]
/proc/loadavg: 8.14 8.05 7.55 5/180 26285
/proc/meminfo: memFree=17382684/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=281856 CPUtime=0.4 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 1732 0 0 0 40 0 0 0 25 0 4 0 597621977 288620544 1645 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309111 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 70464 1645 383 106 0 65435 0
[pid=26285/tid=26286] ppid=26283 vsize=281856 CPUtime=0.1 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 322 0 0 0 10 0 0 0 25 0 4 0 597621978 288620544 1645 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309125 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=281856 CPUtime=0.1 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 297 0 0 0 10 0 0 0 25 0 4 0 597621978 288620544 1645 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=281856 CPUtime=0.1 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 283 0 0 0 10 0 0 0 25 0 4 0 597621978 288620544 1645 33554432000 4194304 4627427 140733339693040 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 281856

[startup+0.200599 s]
/proc/loadavg: 8.14 8.05 7.55 5/180 26285
/proc/meminfo: memFree=17382684/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=283228 CPUtime=0.78 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 2398 0 0 0 78 0 0 0 25 0 4 0 597621977 290025472 1794 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 70807 1794 384 106 0 65778 0
[pid=26285/tid=26286] ppid=26283 vsize=283228 CPUtime=0.19 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 477 0 0 0 19 0 0 0 25 0 4 0 597621978 290025472 1794 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=283228 CPUtime=0.19 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 458 0 0 0 19 0 0 0 25 0 4 0 597621978 290025472 1794 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=283228 CPUtime=0.19 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 469 0 0 0 19 0 0 0 25 0 4 0 597621978 290025472 1794 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283228

[startup+0.300583 s]
/proc/loadavg: 8.14 8.05 7.55 5/180 26285
/proc/meminfo: memFree=17382684/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=292468 CPUtime=1.18 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 3172 0 0 0 118 0 0 0 25 0 4 0 597621977 299487232 1779 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 70990 1779 384 106 0 65961 0
[pid=26285/tid=26286] ppid=26283 vsize=283960 CPUtime=0.29 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 653 0 0 0 29 0 0 0 25 0 4 0 597621978 290775040 1779 33554432000 4194304 4627427 140733339693040 18446744073709551615 4305493 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=283960 CPUtime=0.29 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 658 0 0 0 29 0 0 0 25 0 4 0 597621978 290775040 1779 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=283960 CPUtime=0.29 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 670 0 0 0 29 0 0 0 25 0 4 0 597621978 290775040 1779 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 292468

[startup+0.700512 s]
/proc/loadavg: 8.14 8.05 7.55 5/180 26285
/proc/meminfo: memFree=17382684/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=284672 CPUtime=2.78 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 4944 0 0 0 277 1 0 0 25 0 4 0 597621977 291504128 2553 33554432000 4194304 4627427 140733339693040 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 71168 2553 384 106 0 66139 0
[pid=26285/tid=26286] ppid=26283 vsize=284672 CPUtime=0.69 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 1089 0 0 0 69 0 0 0 25 0 4 0 597621978 291504128 2553 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=284672 CPUtime=0.69 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 1120 0 0 0 69 0 0 0 25 0 4 0 597621978 291504128 2553 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=284672 CPUtime=0.69 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 1114 0 0 0 69 0 0 0 25 0 4 0 597621978 291504128 2553 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284672

[startup+1.50037 s]
/proc/loadavg: 8.14 8.05 7.55 9/184 26289
/proc/meminfo: memFree=17365292/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=285676 CPUtime=5.97 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 10126 0 0 0 596 1 0 0 25 0 4 0 597621977 292532224 5125 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 71419 5125 388 106 0 66390 0
[pid=26285/tid=26286] ppid=26283 vsize=285676 CPUtime=1.49 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 2865 0 0 0 149 0 0 0 25 0 4 0 597621978 292532224 5125 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=285676 CPUtime=1.48 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 1920 0 0 0 148 0 0 0 25 0 4 0 597621978 292532224 5125 33554432000 4194304 4627427 140733339693040 18446744073709551615 4326846 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=285676 CPUtime=1.49 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 1940 0 0 0 149 0 0 0 25 0 4 0 597621978 292532224 5125 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285676

[startup+3.1011 s]
/proc/loadavg: 8.14 8.05 7.55 9/184 26289
/proc/meminfo: memFree=17344836/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=295744 CPUtime=12.37 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 18890 0 0 0 1234 3 0 0 25 0 4 0 597621977 302841856 10076 33554432000 4194304 4627427 140733339693040 18446744073709551615 4330912 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 73936 10093 388 106 0 68907 0
[pid=26285/tid=26286] ppid=26283 vsize=295744 CPUtime=3.08 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 4108 0 0 0 308 0 0 0 25 0 4 0 597621978 302841856 10093 33554432000 4194304 4627427 140733339693040 18446744073709551615 215988289736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=295744 CPUtime=3.07 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 4759 0 0 0 307 0 0 0 25 0 4 0 597621978 302841856 10104 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=295744 CPUtime=3.08 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 4599 0 0 0 308 0 0 0 25 0 4 0 597621978 302841856 10109 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 295744

[startup+6.30053 s]
/proc/loadavg: 8.13 8.05 7.55 9/184 26290
/proc/meminfo: memFree=17321036/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=315012 CPUtime=25.14 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 28672 0 0 0 2510 4 0 0 25 0 4 0 597621977 322572288 13772 33554432000 4194304 4627427 140733339693040 18446744073709551615 4469167 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 78753 13772 388 106 0 73724 0
[pid=26285/tid=26286] ppid=26283 vsize=315012 CPUtime=6.29 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 6810 0 0 0 628 1 0 0 25 0 4 0 597621978 322572288 13772 33554432000 4194304 4627427 140733339693040 18446744073709551615 4305493 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=315012 CPUtime=6.26 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 7281 0 0 0 625 1 0 0 25 0 4 0 597621978 322572288 13772 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=315012 CPUtime=6.29 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 6725 0 0 0 628 1 0 0 25 0 4 0 597621978 322572288 13772 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 315012

[startup+12.7004 s]
/proc/loadavg: 8.12 8.05 7.55 9/184 26290
/proc/meminfo: memFree=17295756/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=315912 CPUtime=50.7 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 43887 0 0 0 5063 7 0 0 25 0 4 0 597621977 323493888 18742 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 78978 18742 388 106 0 73949 0
[pid=26285/tid=26286] ppid=26283 vsize=315912 CPUtime=12.68 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 10801 0 0 0 1267 1 0 0 25 0 4 0 597621978 323493888 18742 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=315912 CPUtime=12.62 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 11992 0 0 0 1261 1 0 0 25 0 4 0 597621978 323493888 18742 33554432000 4194304 4627427 140733339693040 18446744073709551615 4467847 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=315912 CPUtime=12.69 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 11066 0 0 0 1267 2 0 0 25 0 4 0 597621978 323493888 18742 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 315912

[startup+25.5012 s]
/proc/loadavg: 8.24 8.08 7.57 9/184 26290
/proc/meminfo: memFree=17268380/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=307460 CPUtime=101.84 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 63773 0 0 0 10172 12 0 0 25 0 4 0 597621977 314839040 22770 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 76865 22770 388 106 0 71836 0
[pid=26285/tid=26286] ppid=26283 vsize=307460 CPUtime=25.49 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 16883 0 0 0 2546 3 0 0 25 0 4 0 597621978 314839040 22770 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=307460 CPUtime=25.35 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 16616 0 0 0 2532 3 0 0 25 0 4 0 597621978 314839040 22770 33554432000 4194304 4627427 140733339693040 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=307460 CPUtime=25.49 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 16831 0 0 0 2546 3 0 0 25 0 4 0 597621978 314839040 22770 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 307460

[startup+51.1007 s]
/proc/loadavg: 8.16 8.07 7.58 10/184 26291
/proc/meminfo: memFree=17227468/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=298408 CPUtime=204.1 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 94704 0 0 0 20389 21 0 0 25 0 4 0 597621977 305569792 27344 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 74602 27344 388 106 0 69573 0
[pid=26285/tid=26286] ppid=26283 vsize=298408 CPUtime=51.08 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 25268 0 0 0 5104 4 0 0 25 0 4 0 597621978 305569792 27344 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=298408 CPUtime=50.8 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 25353 0 0 0 5075 5 0 0 25 0 4 0 597621978 305569792 27344 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=298408 CPUtime=51.08 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 25540 0 0 0 5103 5 0 0 25 0 4 0 597621978 305569792 27344 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 298408

[startup+102.301 s]
/proc/loadavg: 8.17 8.09 7.61 9/184 26292
/proc/meminfo: memFree=17181308/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=291612 CPUtime=408.65 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 145404 0 0 0 40829 36 0 0 25 0 4 0 597621977 298610688 33391 33554432000 4194304 4627427 140733339693040 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 72903 33391 388 106 0 67874 0
[pid=26285/tid=26286] ppid=26283 vsize=291612 CPUtime=102.3 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 36746 0 0 0 10222 8 0 0 25 0 4 0 597621978 298610688 33391 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=291612 CPUtime=101.73 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 39402 0 0 0 10163 10 0 0 25 0 4 0 597621978 298610688 33391 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=291612 CPUtime=102.29 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 40695 0 0 0 10220 9 0 0 25 0 4 0 597621978 298610688 33391 33554432000 4194304 4627427 140733339693040 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 291612

[startup+162.3 s]

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

[pid=26285] ppid=26283 vsize=519656 CPUtime=2565.73 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 388351 0 0 0 256440 133 0 0 25 0 4 0 597621977 532127744 89910 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 129914 89910 388 106 0 124885 0
[pid=26285/tid=26286] ppid=26283 vsize=519656 CPUtime=642.29 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 110640 0 0 0 64193 36 0 0 25 0 4 0 597621978 532127744 89910 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=519656 CPUtime=638.8 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 104806 0 0 0 63842 38 0 0 25 0 4 0 597621978 532127744 89910 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=519656 CPUtime=642.3 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 105009 0 0 0 64196 34 0 0 25 0 4 0 597621978 532127744 89910 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2565.73
Current children cumulated vsize (KiB) 519656

[startup+702.301 s]
/proc/loadavg: 8.15 8.12 7.84 9/184 26308
/proc/meminfo: memFree=16776424/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=507412 CPUtime=2805.4 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 405248 0 0 0 280400 140 0 0 25 0 4 0 597621977 519589888 96232 33554432000 4194304 4627427 140733339693040 18446744073709551615 4420232 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 126853 96232 388 106 0 121824 0
[pid=26285/tid=26286] ppid=26283 vsize=507412 CPUtime=702.29 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 117059 0 0 0 70190 39 0 0 25 0 4 0 597621978 519589888 96232 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=507412 CPUtime=698.47 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 108202 0 0 0 69807 40 0 0 25 0 4 0 597621978 519589888 96232 33554432000 4194304 4627427 140733339693040 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=507412 CPUtime=702.29 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 109236 0 0 0 70194 35 0 0 25 0 4 0 597621978 519589888 96232 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 507412

[startup+762.301 s]
/proc/loadavg: 8.19 8.13 7.85 9/184 26310
/proc/meminfo: memFree=16714656/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=586008 CPUtime=3045.1 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 416298 0 0 0 304363 147 0 0 25 0 4 0 597621977 600072192 104009 33554432000 4194304 4627427 140733339693040 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 146502 104009 388 106 0 141473 0
[pid=26285/tid=26286] ppid=26283 vsize=586008 CPUtime=762.3 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 119199 0 0 0 76189 41 0 0 25 0 4 0 597621978 600072192 104009 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=586008 CPUtime=758.15 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 109955 0 0 0 75774 41 0 0 25 0 4 0 597621978 600072192 104009 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=586008 CPUtime=762.31 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 116367 0 0 0 76191 40 0 0 25 0 4 0 597621978 600072192 104009 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.1
Current children cumulated vsize (KiB) 586008

[startup+822.301 s]
/proc/loadavg: 8.19 8.14 7.87 9/184 26311
/proc/meminfo: memFree=16726552/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=603396 CPUtime=3284.76 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 437577 0 0 0 328318 158 0 0 25 0 4 0 597621977 617877504 108996 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 150849 108996 388 106 0 145820 0
[pid=26285/tid=26286] ppid=26283 vsize=603396 CPUtime=822.3 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 126556 0 0 0 82185 45 0 0 25 0 4 0 597621978 617877504 108996 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=603396 CPUtime=817.82 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 117039 0 0 0 81737 45 0 0 25 0 4 0 597621978 617877504 108996 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=603396 CPUtime=822.3 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 119998 0 0 0 82189 41 0 0 25 0 4 0 597621978 617877504 108996 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.76
Current children cumulated vsize (KiB) 603396

[startup+882.307 s]
/proc/loadavg: 8.14 8.12 7.88 9/184 26313
/proc/meminfo: memFree=16675704/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=603528 CPUtime=3524.46 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 454228 0 0 0 352280 166 0 0 25 0 4 0 597621977 618012672 113968 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 150882 113968 388 106 0 145853 0
[pid=26285/tid=26286] ppid=26283 vsize=603528 CPUtime=882.3 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 133585 0 0 0 88182 48 0 0 25 0 4 0 597621978 618012672 113968 33554432000 4194304 4627427 140733339693040 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=603528 CPUtime=877.5 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 123273 0 0 0 87702 48 0 0 25 0 4 0 597621978 618012672 113968 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=603528 CPUtime=882.31 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 122791 0 0 0 88189 42 0 0 25 0 4 0 597621978 618012672 113968 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.46
Current children cumulated vsize (KiB) 603528

[startup+942.301 s]
/proc/loadavg: 8.11 8.11 7.89 9/184 26315
/proc/meminfo: memFree=16691444/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=617460 CPUtime=3764.11 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 470562 0 0 0 376235 176 0 0 25 0 4 0 597621977 632279040 109490 33554432000 4194304 4627427 140733339693040 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 154365 109490 388 106 0 149336 0
[pid=26285/tid=26286] ppid=26283 vsize=617460 CPUtime=942.3 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 139393 0 0 0 94177 53 0 0 25 0 4 0 597621978 632279040 109490 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=617460 CPUtime=937.17 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 129144 0 0 0 93665 52 0 0 25 0 4 0 597621978 632279040 109490 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=617460 CPUtime=942.31 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 127191 0 0 0 94186 45 0 0 25 0 4 0 597621978 632279040 109490 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.11
Current children cumulated vsize (KiB) 617460

[startup+1002.3 s]
/proc/loadavg: 8.10 8.11 7.90 9/184 26325
/proc/meminfo: memFree=16651908/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=604240 CPUtime=4003.78 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 489946 0 0 0 400192 186 0 0 25 0 4 0 597621977 618741760 116498 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 151060 116498 388 106 0 146031 0
[pid=26285/tid=26286] ppid=26283 vsize=604240 CPUtime=1002.3 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 145664 0 0 0 100175 55 0 0 25 0 4 0 597621978 618741760 116498 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=604240 CPUtime=996.84 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 135497 0 0 0 99629 55 0 0 25 0 4 0 597621978 618741760 116498 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=604240 CPUtime=1002.31 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 133290 0 0 0 100183 48 0 0 25 0 4 0 597621978 618741760 116498 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 604240

[startup+1062.3 s]
/proc/loadavg: 8.09 8.10 7.91 9/184 26327
/proc/meminfo: memFree=16616180/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=670200 CPUtime=4243.46 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 504108 0 0 0 424154 192 0 0 25 0 4 0 597621977 686284800 124211 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 167550 124211 388 106 0 162521 0
[pid=26285/tid=26286] ppid=26283 vsize=670200 CPUtime=1062.3 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 150698 0 0 0 106174 56 0 0 25 0 4 0 597621978 686284800 124211 33554432000 4194304 4627427 140733339693040 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=670200 CPUtime=1056.52 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 136734 0 0 0 105596 56 0 0 25 0 4 0 597621978 686284800 124211 33554432000 4194304 4627427 140733339693040 18446744073709551615 4420268 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=670200 CPUtime=1062.31 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 137573 0 0 0 106181 50 0 0 25 0 4 0 597621978 686284800 124211 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 670200

[startup+1122.3 s]
/proc/loadavg: 8.08 8.09 7.92 9/184 26328
/proc/meminfo: memFree=16667504/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=644208 CPUtime=4483.13 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 510763 0 0 0 448117 196 0 0 25 0 4 0 597621977 659668992 111076 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 161052 111076 388 106 0 156023 0
[pid=26285/tid=26286] ppid=26283 vsize=644208 CPUtime=1122.29 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 153712 0 0 0 112172 57 0 0 25 0 4 0 597621978 659668992 111076 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=644208 CPUtime=1116.19 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 139922 0 0 0 111562 57 0 0 25 0 4 0 597621978 659668992 111076 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=644208 CPUtime=1122.3 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 137935 0 0 0 112180 50 0 0 25 0 4 0 597621978 659668992 111076 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.13
Current children cumulated vsize (KiB) 644208

[startup+1182.3 s]
/proc/loadavg: 8.11 8.10 7.93 9/184 26330
/proc/meminfo: memFree=16636364/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=723344 CPUtime=4722.81 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 524820 0 0 0 472075 206 0 0 25 0 4 0 597621977 740704256 118752 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 180836 118752 388 106 0 175807 0
[pid=26285/tid=26286] ppid=26283 vsize=723344 CPUtime=1182.3 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 159274 0 0 0 118169 61 0 0 25 0 4 0 597621978 740704256 118752 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=723344 CPUtime=1175.86 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 145893 0 0 0 117524 62 0 0 25 0 4 0 597621978 740704256 118752 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=723344 CPUtime=1182.31 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 138052 0 0 0 118181 50 0 0 25 0 4 0 597621978 740704256 118753 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.81
Current children cumulated vsize (KiB) 723344



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 7.61 8.00 7.90 5/175 26348
/proc/meminfo: memFree=16971316/32950940 swapFree=67111528/67111528
[pid=26285] ppid=26283 vsize=736920 CPUtime=4800.32 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26283 26285 25837 0 -1 4202496 532641 0 0 0 479823 209 0 0 25 0 4 0 597621977 754606080 123190 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26285/statm: 184230 123190 388 106 0 179201 0
[pid=26285/tid=26286] ppid=26283 vsize=736920 CPUtime=1201.71 cores=1,3,5,7
/proc/26285/task/26286/stat : 26286 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 160400 0 0 0 120109 62 0 0 25 0 4 0 597621978 754606080 123190 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26285/tid=26287] ppid=26283 vsize=736920 CPUtime=1195.16 cores=1,3,5,7
/proc/26285/task/26287/stat : 26287 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 148228 0 0 0 119453 63 0 0 25 0 4 0 597621978 754606080 123190 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26288] ppid=26283 vsize=736920 CPUtime=1201.71 cores=1,3,5,7
/proc/26285/task/26288/stat : 26288 (strangenight2-m) R 26283 26285 25837 0 -1 4202560 140063 0 0 0 120120 51 0 0 25 0 4 0 597621978 754606080 123190 33554432000 4194304 4627427 140733339693040 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 736920

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.73
CPU time (s): 4800.38
CPU user time (s): 4798.26
CPU system time (s): 2.11968
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 778672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.26
system time used= 2.11968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 532645
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= 228
involuntary context switches= 20440

runsolver used 1.86172 second user time and 4.71228 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-29 12:45:12
IDJOB=3173951
IDBENCH=82769
IDSOLVER=1586
FILE ID=node117/3173951-1304073912
RUNJOBID= node117-1304072695-26136
PBS_JOBID= 13170483
Free space on /tmp= 71676 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S2098066936-001.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173951-1304073912/watcher-3173951-1304073912 -o /tmp/evaluation-result-3173951-1304073912/solver-3173951-1304073912 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173951-1304073912.cnf

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

MD5SUM BENCH= 7a1181bb5cb0b1221253c27ad7ead33e
RANDOM SEED=1426856642

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
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	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      17382964 kB
Buffers:       2379172 kB
Cached:       12467112 kB
SwapCached:          0 kB
Active:        8219900 kB
Inactive:      6767236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      17382964 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11376 kB
Writeback:           0 kB
AnonPages:      139084 kB
Mapped:          15480 kB
Slab:           518340 kB
PageTables:       4744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   358416 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= 71676 MiB
End job on node117 at 2011-04-29 13:05:16