Trace number 3366461

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.44 1202.94

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S1397972185-007.UNKNOWN.cnf
MD5SUMd2902b03aca91b8ea25ec40928f31c64
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of clauses2662
Sum of the clauses size13310
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 52662
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366461-1305404648.cnf'
0.00/0.01	c -- header says num vars:            125
0.00/0.01	c -- header says num clauses:        2662
0.00/0.01	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.01	c -- vars added        125
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:      65 undec:       6 neg:      54
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.06	c Decided on static restart strategy
0.00/0.13	c  N st     8      4921       125      2662         0      4659     13310    118031   no data   no data
0.00/0.34	c  N st    10     11304       125      2662         0      4283     13310     85717   no data   no data
0.00/0.55	c  N st    11     17048       125      2662         0      9669     13310    226099   no data   no data
3.25/0.86	c  F st    12     25001       125      2662         0     11848     13310    272497   no data   no data
3.25/0.87	c  N st    12     25001       125      2662         0     11848     13310    272497   no data   no data
4.05/1.06	c Decided on static restart strategy
4.05/1.06	c  N st    18     30001       125      2662         0     10199     13310    225894   no data   no data
4.05/1.06	c  S st    18     30001       125      2662         0     10199     13310    225894   no data   no data
4.05/1.09	c  S st    18     30503       125      2662         0     10688     13310    238075   no data   no data
4.05/1.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.05/1.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.05/1.09	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
4.05/1.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.05/1.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.05/1.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.05/1.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.05/1.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.05/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.30	c lits-rem:       236  cl-subs:     1573  v-elim:      0  v-fix:    0  time:  0.19 s
5.17/1.33	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
5.17/1.33	c calculated reachability. Time: 0.00
5.17/1.33	c  N st    18     30503       125      2662         0      9115     13310    194763   no data   no data
6.37/1.66	c  N st    20     37613       125      2662         0      8391     13310    159377   no data   no data
7.59/1.95	c  N st    21     44012       125      2662         0     14478     13310    323812   no data   no data
7.95/2.05	c  S st    22     45754       125      2662         0     16133     13310    366573   no data   no data
8.35/2.10	c  S st    22     46255       125      2662         0     16624     13310    379233   no data   no data
8.35/2.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.35/2.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
8.35/2.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.35/2.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.35/2.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.35/2.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
8.35/2.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.35/2.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.35/2.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.51	c lits-rem:       360  cl-subs:     1596  v-elim:      0  v-fix:    0  time:  0.39 s
9.95/2.51	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
9.95/2.52	c vivif2 --  cl tried    15028 cl shrink        0 lits rem          0 time: 0.00
9.95/2.58	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
9.95/2.58	c calculated reachability. Time: 0.00
9.95/2.58	c  N st    22     46255       125      2662         0     15028     13310    335565   no data   no data
13.15/3.30	c  N st    23     60652       125      2662         0     10765     13310    189999   no data   no data
14.75/3.78	c  N st    24     69383       125      2662         0     18990     13310    402813   no data   no data
14.75/3.78	c  S st    24     69383       125      2662         0     18990     13310    402813   no data   no data
15.15/3.84	c  S st    24     69885       125      2662         0     19472     13310    415187   no data   no data
15.15/3.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.15/3.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
15.15/3.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.15/3.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.15/3.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.15/3.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.15/3.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.15/3.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.15/3.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.54/4.43	c lits-rem:       264  cl-subs:     2031  v-elim:      0  v-fix:    0  time:  0.57 s
17.54/4.43	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
17.54/4.43	c vivif2 --  cl tried    17441 cl shrink        0 lits rem          0 time: 0.00
17.94/4.50	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.07
17.94/4.50	c calculated reachability. Time: 0.00
17.94/4.50	c  N st    24     69885       125      2662         0     17441     13310    363249   no data   no data
22.33/5.63	c  F st    25     87500       125      2662         0     12428     13310    212853   no data   no data
22.33/5.63	c  N st    25     87500       125      2662         0     12428     13310    212853   no data   no data
23.53/5.93	c Decided on static restart strategy
24.33/6.11	c  N st    32     95540       125      2662         0     20061     13310    411364   no data   no data
26.72/6.73	c  N st    34    104828       125      2662         0     16557     13310    315333   no data   no data
26.72/6.73	c  S st    34    104828       125      2662         0     16557     13310    315333   no data   no data
26.72/6.77	c  S st    34    105330       125      2662         0     17042     13310    327656   no data   no data
26.72/6.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.72/6.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
26.72/6.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.72/6.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.72/6.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.72/6.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
26.72/6.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.72/6.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.72/6.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.92/7.00	c lits-rem:       251  cl-subs:     1117  v-elim:      0  v-fix:    0  time:  0.21 s
27.92/7.00	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.92/7.00	c vivif2 --  cl tried    15925 cl shrink        0 lits rem          0 time: 0.00
27.92/7.07	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
27.92/7.07	c calculated reachability. Time: 0.00
27.92/7.07	c  N st    34    105330       125      2662         0     15925     13310    296924   no data   no data
30.71/7.74	c  N st    35    114929       125      2662         0     25004     13310    540437   no data   no data
34.69/8.74	c  N st    36    129326       125      2662         0     25385     13310    530719   no data   no data
41.09/10.31	c  N st    37    150922       125      2662         0     16528     13310    264425   no data   no data
42.72/10.78	c  S st    38    157995       125      2662         0     23170     13310    438478   no data   no data
43.08/10.84	c  S st    38    158496       125      2662         0     23655     13310    451029   no data   no data
43.08/10.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.08/10.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.08/10.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.08/10.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.08/10.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.08/10.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
43.08/10.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.08/10.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
43.08/10.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.08/11.37	c lits-rem:       300  cl-subs:     1782  v-elim:      0  v-fix:    0  time:  0.51 s
45.08/11.37	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
45.08/11.38	c vivif2 --  cl tried    21873 cl shrink        0 lits rem          0 time: 0.01
45.48/11.46	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.08
45.48/11.46	c calculated reachability. Time: 0.00
45.48/11.46	c  N st    38    158496       125      2662         0     21873     13310    403614   no data   no data
61.44/15.47	c  N st    39    207084       125      2662         0     34584     13310    706574   no data   no data
71.81/18.05	c  N st    40    237746       125      2662         0     26863     13310    499099   no data   no data
71.81/18.05	c  S st    40    237746       125      2662         0     26863     13310    499099   no data   no data
72.21/18.12	c  S st    40    238252       125      2662         0     27355     13310    511847   no data   no data
72.21/18.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
72.21/18.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
72.21/18.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
72.21/18.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
72.21/18.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
72.21/18.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
72.21/18.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
72.21/18.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
72.21/18.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.01/18.84	c lits-rem:       866  cl-subs:     1969  v-elim:      0  v-fix:    0  time:  0.70 s
75.01/18.84	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
75.01/18.85	c vivif2 --  cl tried    25386 cl shrink        0 lits rem          0 time: 0.01
75.41/18.95	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
75.41/18.95	c calculated reachability. Time: 0.00
75.41/18.95	c  N st    40    238252       125      2662         0     25386     13310    457326   no data   no data
100.15/25.13	c  F st    41    306252       125      2662         0     27339     13310    461622   no data   no data
100.15/25.13	c  N st    41    306252       125      2662         0     27339     13310    461622   no data   no data
102.14/25.60	c Decided on static restart strategy
110.93/27.86	c  N st    51    334553       125      2662         0     31409     13310    547667   no data   no data
120.50/30.27	c  N st    53    357378       125      2662         0     29381     13310    478365   no data   no data
120.50/30.27	c  S st    53    357378       125      2662         0     29381     13310    478365   no data   no data
120.90/30.34	c  S st    53    357882       125      2662         0     29867     13310    491225   no data   no data
120.90/30.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
120.90/30.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
120.90/30.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
120.90/30.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
120.90/30.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
120.90/30.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
120.90/30.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
120.90/30.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
120.90/30.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
122.49/30.78	c lits-rem:       268  cl-subs:     1213  v-elim:      0  v-fix:    0  time:  0.41 s
122.49/30.78	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
122.49/30.79	c vivif2 --  cl tried    28654 cl shrink        0 lits rem          0 time: 0.01
123.29/30.90	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
123.29/30.90	c calculated reachability. Time: 0.00
123.29/30.90	c  N st    53    357882       125      2662         0     28654     13310    457322   no data   no data
137.66/34.50	c  N st    54    390275       125      2662         0     34694     13310    605993   no data   no data
163.20/40.92	c  N st    55    438863       125      2662         0     28630     13310    415071   no data   no data
197.53/49.52	c  N st    56    511745       125      2662         0     41548     13310    717069   no data   no data
209.89/52.62	c  N st    57    536823       125      2662         0     35961     13310    554035   no data   no data
209.89/52.62	c  S st    57    536823       125      2662         0     35961     13310    554035   no data   no data
210.29/52.70	c  S st    57    537324       125      2662         0     36452     13310    566725   no data   no data
210.29/52.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
210.29/52.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
210.29/52.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
210.29/52.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
210.29/52.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
210.29/52.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
210.29/52.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
210.29/52.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
210.29/52.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
212.69/53.38	c lits-rem:       465  cl-subs:     1866  v-elim:      0  v-fix:    0  time:  0.64 s
212.69/53.38	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
212.69/53.39	c vivif2 --  cl tried    34586 cl shrink        0 lits rem          0 time: 0.01
213.51/53.53	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.14
213.51/53.53	c calculated reachability. Time: 0.00
213.51/53.53	c  N st    57    537324       125      2662         0     34586     13310    521663   no data   no data
299.68/75.15	c  N st    58    701310       125      2662         0     62298     13310   1161506   no data   no data
357.96/89.79	c  N st    59    805987       125      2662         0     56510     13310    980581   no data   no data
357.96/89.79	c  S st    59    805987       125      2662         0     56510     13310    980581   no data   no data
358.79/89.94	c  S st    59    806492       125      2662         0     57004     13310    993603   no data   no data
358.79/89.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
358.79/89.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
358.79/89.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
358.79/89.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
358.79/89.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
358.79/89.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
358.79/89.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
358.79/89.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
359.15/90.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
376.71/94.40	c lits-rem:      1166  cl-subs:     5975  v-elim:      0  v-fix:    0  time:  4.40 s
376.71/94.40	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
376.71/94.42	c vivif2 --  cl tried    51029 cl shrink        0 lits rem          0 time: 0.01
377.51/94.67	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.25
377.51/94.67	c calculated reachability. Time: 0.00
377.51/94.67	c  N st    59    806492       125      2662         0     51029     13310    856266   no data   no data
543.52/136.30	c  F st    60   1071876       125      2662         0     66409     13310   1166341   no data   no data
543.92/136.30	c  N st    60   1071876       125      2662         0     66409     13310   1166341   no data   no data
548.31/137.41	c Decided on static restart strategy
564.70/141.60	c  N st    70   1100176       125      2662         0     51211     13310    766308   no data   no data
595.43/149.25	c  N st    72   1136170       125      2662         0     84822     13310   1654601   no data   no data
620.15/155.48	c  N st    73   1168562       125      2662         0     72147     13310   1276579   no data   no data
654.87/164.16	c  N st    74   1209738       125      2662         0     66682     13310   1119577   no data   no data
654.87/164.16	c  S st    74   1209738       125      2662         0     66682     13310   1119577   no data   no data
656.07/164.40	c  S st    74   1210238       125      2662         0     67170     13310   1132269   no data   no data
656.07/164.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
656.07/164.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.04
656.07/164.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
656.07/164.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
656.07/164.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
656.07/164.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
656.07/164.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
656.07/164.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
656.47/164.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
708.73/177.68	c lits-rem:      1076  cl-subs:     5748  v-elim:      0  v-fix:    0  time: 13.18 s
708.73/177.68	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
708.73/177.69	c vivif2 --  cl tried    61422 cl shrink        0 lits rem          0 time: 0.02
711.12/178.25	c asymm  cl-useful: 0/2162/2662 lits-rem:0 time: 0.55
711.12/178.25	c calculated reachability. Time: 0.00
711.12/178.25	c  N st    74   1210238       125      2662         0     61422     13310    991209   no data   no data
775.82/194.43	c  N st    75   1283120       125      2662         0     84884     13310   1584553   no data   no data
870.76/218.20	c  N st    76   1392444       125      2662         0     94498     13310   1816235   no data   no data
1002.06/251.12	c  N st    77   1556428       125      2662         0     51511     13310    636354   no data   no data
1127.76/282.61	c  N st    78   1710239       125      2662         0     91575     13310   1659604   no data   no data
1127.76/282.61	c  S st    78   1710239       125      2662         0     91575     13310   1659604   no data   no data
1128.96/282.91	c  S st    78   1710741       125      2662         0     92063     13310   1672576   no data   no data
1128.96/282.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1128.96/282.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1128.96/282.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1128.96/282.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1128.96/282.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1128.96/282.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1128.96/282.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1128.96/282.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1129.36/283.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1241.13/311.08	c lits-rem:      2393  cl-subs:     9221  v-elim:      0  v-fix:    0  time: 28.04 s
1241.13/311.08	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1241.48/311.11	c vivif2 --  cl tried    82842 cl shrink        0 lits rem          0 time: 0.03
1242.28/311.30	c asymm  cl-useful: 0/500/2662 lits-rem:0 time: 0.19
1242.28/311.30	c calculated reachability. Time: 0.00
1242.28/311.30	c  N st    78   1710741       125      2662         0     82842     13310   1442202   no data   no data
1605.05/402.25	c  N st    79   2079706       125      2662         0     94314     13310   1657118   no data   no data
1723.17/431.85	c  N st    80   2210742       125      2662         0     98079     13310   1699959   no data   no data
1723.17/431.85	c  S st    80   2210742       125      2662         0     98079     13310   1699959   no data   no data
1724.36/432.17	c  S st    80   2211244       125      2662         0     98566     13310   1712986   no data   no data
1724.36/432.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1724.76/432.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1724.76/432.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1724.76/432.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1724.76/432.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1724.76/432.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1724.76/432.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1724.76/432.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1724.76/432.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1794.23/449.67	c lits-rem:      2064  cl-subs:    10703  v-elim:      0  v-fix:    0  time: 17.37 s
1794.23/449.67	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1794.23/449.69	c vivif2 --  cl tried    87863 cl shrink        0 lits rem          0 time: 0.02
1795.78/450.02	c asymm  cl-useful: 0/1634/2662 lits-rem:0 time: 0.33
1795.78/450.03	c calculated reachability. Time: 0.00
1795.78/450.03	c  N st    80   2211244       125      2662         0     87863     13310   1454772   no data   no data
2322.55/582.01	c  N st    81   2711247       125      2662         0    111091     13310   1971911   no data   no data
2322.55/582.01	c  S st    81   2711247       125      2662         0    111091     13310   1971911   no data   no data
2323.75/582.34	c  S st    81   2711747       125      2662         0    111577     13310   1985004   no data   no data
2323.75/582.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2324.15/582.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2324.15/582.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2324.15/582.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2324.15/582.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2324.15/582.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2324.15/582.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2324.15/582.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2324.15/582.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2419.13/606.24	c lits-rem:      2685  cl-subs:    11073  v-elim:      0  v-fix:    0  time: 23.76 s
2419.13/606.24	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2419.13/606.26	c vivif2 --  cl tried   100504 cl shrink        0 lits rem          0 time: 0.02
2420.33/606.57	c asymm  cl-useful: 0/1028/2662 lits-rem:0 time: 0.30
2420.33/606.57	c calculated reachability. Time: 0.00
2420.33/606.57	c  N st    81   2711747       125      2662         0    100504     13310   1712321   no data   no data
3008.15/753.87	c  N st    82   3211747       125      2662         0     77952     13310    996770   no data   no data
3008.15/753.87	c  S st    82   3211747       125      2662         0     77952     13310    996770   no data   no data
3009.34/754.10	c  S st    82   3212249       125      2662         0     78442     13310   1009940   no data   no data
3009.34/754.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3009.34/754.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3009.34/754.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3009.34/754.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3009.34/754.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3009.34/754.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3009.34/754.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3009.34/754.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3009.34/754.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3013.73/755.21	c lits-rem:       306  cl-subs:     1280  v-elim:      0  v-fix:    0  time:  1.02 s
3013.73/755.21	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3013.73/755.23	c vivif2 --  cl tried    77162 cl shrink        0 lits rem          0 time: 0.01
3014.92/755.53	c asymm  cl-useful: 0/1871/2662 lits-rem:0 time: 0.30
3014.92/755.53	c calculated reachability. Time: 0.00
3014.92/755.53	c  N st    82   3212249       125      2662         0     77162     13310    977196   no data   no data
3640.70/912.33	c  N st    83   3712251       125      2662         0     87320     13310   1146383   no data   no data
3640.70/912.33	c  S st    83   3712251       125      2662         0     87320     13310   1146383   no data   no data
3641.50/912.60	c  S st    83   3712753       125      2662         0     87811     13310   1159613   no data   no data
3641.50/912.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3641.91/912.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3641.91/912.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3641.91/912.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3641.91/912.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3641.91/912.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3641.91/912.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3641.91/912.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3641.91/912.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3649.48/914.53	c lits-rem:       464  cl-subs:     2484  v-elim:      0  v-fix:    0  time:  1.83 s
3649.48/914.53	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3649.48/914.54	c vivif2 --  cl tried    85327 cl shrink        0 lits rem          0 time: 0.02
3650.28/914.73	c asymm  cl-useful: 0/791/2662 lits-rem:0 time: 0.18
3650.28/914.73	c calculated reachability. Time: 0.00
3650.28/914.73	c  N st    83   3712753       125      2662         0     85327     13310   1102114   no data   no data
3686.23/923.78	c  F st    84   3751562       125      2662         0    121742     13310   2114301   no data   no data
3686.23/923.78	c  N st    84   3751562       125      2662         0    121742     13310   2114301   no data   no data
3695.01/925.95	c Decided on static restart strategy
3730.88/934.92	c  N st    94   3779868       125      2662         0    148477     13310   2840327   no data   no data
3774.78/945.98	c  N st    96   3815862       125      2662         0    102932     13310   1556334   no data   no data
3813.90/955.74	c  N st    97   3848255       125      2662         0    133127     13310   2346541   no data   no data
3881.34/972.67	c  N st    98   3896844       125      2662         0     98253     13310   1382846   no data   no data
3977.12/996.63	c  N st    99   3969728       125      2662         0     85041     13310   1028714   no data   no data
4115.60/1031.38	c  N st   100   4079051       125      2662         0    104652     13310   1507880   no data   no data
4297.58/1076.90	c  N st   101   4212753       125      2662         0    146288     13310   2630362   no data   no data
4297.58/1076.90	c  S st   101   4212753       125      2662         0    146288     13310   2630362   no data   no data
4299.59/1077.42	c  S st   101   4213258       125      2662         0    146774     13310   2643631   no data   no data
4299.59/1077.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4299.99/1077.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4299.99/1077.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4299.99/1077.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4299.99/1077.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4299.99/1077.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4299.99/1077.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4299.99/1077.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4300.40/1077.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4484.33/1123.74	c lits-rem:      3851  cl-subs:    15272  v-elim:      0  v-fix:    0  time: 46.11 s
4484.33/1123.74	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4484.33/1123.78	c vivif2 --  cl tried   131502 cl shrink        0 lits rem          0 time: 0.04
4486.32/1124.28	c asymm  cl-useful: 0/1097/2662 lits-rem:0 time: 0.50
4486.32/1124.29	c calculated reachability. Time: 0.00
4486.32/1124.29	c  N st   101   4213258       125      2662         0    131502     13310   2255007   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: 961)

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

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.48 7.96 7.98 3/290 5046
/proc/meminfo: memFree=16814808/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 407 0 0 0 0 0 0 0 21 0 4 0 652067604 52396032 348 33554432000 4194304 4580107 140736712769280 18446744073709551615 47132355295154 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 12792 348 299 95 0 7774 0
[pid=5046/tid=5050] ppid=5044 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 652067604 52396032 348 33554432000 4194304 4580107 140736712769280 18446744073709551615 47132355295152 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 652067604 52396032 348 33554432000 4194304 4580107 140736712769280 18446744073709551615 47132355295154 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 652067604 52396032 348 33554432000 4194304 4580107 140736712769280 18446744073709551615 218370343040 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.0853219 s]
/proc/loadavg: 7.48 7.96 7.98 3/290 5046
/proc/meminfo: memFree=16814808/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=286056 CPUtime=3.25 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 5912 0 0 0 325 0 0 0 19 0 4 0 652067604 292921344 2996 33554432000 4194304 4580107 140736712769280 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 71514 2996 377 95 0 66496 0
[pid=5046/tid=5050] ppid=5044 vsize=286056 CPUtime=0.81 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 1388 0 0 0 81 0 0 0 25 0 4 0 652067604 292921344 2996 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=286056 CPUtime=0.81 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 1434 0 0 0 81 0 0 0 18 0 4 0 652067604 292921344 2996 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=286056 CPUtime=0.81 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 1251 0 0 0 81 0 0 0 19 0 4 0 652067604 292921344 2996 33554432000 4194304 4580107 140736712769280 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 286056

[startup+0.92279 s]
/proc/loadavg: 7.48 7.96 7.98 3/290 5046
/proc/meminfo: memFree=16814808/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=286268 CPUtime=3.65 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 6293 0 0 0 365 0 0 0 19 0 4 0 652067604 293138432 3377 33554432000 4194304 4580107 140736712769280 18446744073709551615 4304864 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 71567 3377 378 95 0 66549 0
[pid=5046/tid=5050] ppid=5044 vsize=286268 CPUtime=0.91 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 1475 0 0 0 91 0 0 0 25 0 4 0 652067604 293138432 3377 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=286268 CPUtime=0.91 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 1520 0 0 0 91 0 0 0 19 0 4 0 652067604 293138432 3377 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=286268 CPUtime=0.91 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 1358 0 0 0 91 0 0 0 19 0 4 0 652067604 293138432 3377 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 286268

[startup+1.02277 s]
/proc/loadavg: 7.48 7.96 7.98 3/290 5046
/proc/meminfo: memFree=16814808/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=286692 CPUtime=4.05 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 7260 0 0 0 405 0 0 0 19 0 4 0 652067604 293572608 2926 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 71673 2926 378 95 0 66655 0
[pid=5046/tid=5050] ppid=5044 vsize=286692 CPUtime=1.01 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 1717 0 0 0 101 0 0 0 25 0 4 0 652067604 293572608 2926 33554432000 4194304 4580107 140736712769280 18446744073709551615 4301968 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=286692 CPUtime=1.01 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 1765 0 0 0 101 0 0 0 19 0 4 0 652067604 293572608 2927 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=286692 CPUtime=1 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 1601 0 0 0 100 0 0 0 19 0 4 0 652067604 293572608 2927 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 286692

[startup+1.12276 s]
/proc/loadavg: 7.48 7.96 7.98 3/290 5046
/proc/meminfo: memFree=16814808/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=286692 CPUtime=4.46 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 8987 0 0 0 445 1 0 0 19 0 4 0 652067604 293572608 4653 33554432000 4194304 4580107 140736712769280 18446744073709551615 4451708 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 71673 4653 379 95 0 66655 0
[pid=5046/tid=5050] ppid=5044 vsize=286692 CPUtime=1.11 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 1789 0 0 0 111 0 0 0 25 0 4 0 652067604 293572608 4653 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=286692 CPUtime=1.11 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 1833 0 0 0 111 0 0 0 19 0 4 0 652067604 293572608 4653 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=286692 CPUtime=1.1 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 1664 0 0 0 110 0 0 0 19 0 4 0 652067604 293572608 4653 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 286692

[startup+1.50069 s]
/proc/loadavg: 7.48 7.96 7.98 3/290 5046
/proc/meminfo: memFree=16814808/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=286880 CPUtime=5.97 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 10340 0 0 0 596 1 0 0 20 0 4 0 652067604 293765120 4664 33554432000 4194304 4580107 140736712769280 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 71720 4664 379 95 0 66702 0
[pid=5046/tid=5050] ppid=5044 vsize=286880 CPUtime=1.48 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 2158 0 0 0 148 0 0 0 25 0 4 0 652067604 293765120 4664 33554432000 4194304 4580107 140736712769280 18446744073709551615 4321081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=286880 CPUtime=1.49 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 2276 0 0 0 149 0 0 0 20 0 4 0 652067604 293765120 4664 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=286880 CPUtime=1.48 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 2102 0 0 0 148 0 0 0 20 0 4 0 652067604 293765120 4664 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286880

[startup+3.1004 s]
/proc/loadavg: 7.48 7.96 7.98 9/298 5054
/proc/meminfo: memFree=16729024/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=299436 CPUtime=12.35 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 20853 0 0 0 1232 3 0 0 25 0 4 0 652067604 306622464 10840 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 74859 10840 379 95 0 69841 0
[pid=5046/tid=5050] ppid=5044 vsize=299436 CPUtime=3.08 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 4492 0 0 0 308 0 0 0 25 0 4 0 652067604 306622464 10840 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=299436 CPUtime=3.08 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 5412 0 0 0 308 0 0 0 25 0 4 0 652067604 306622464 10840 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=299436 CPUtime=3.06 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 4918 0 0 0 305 1 0 0 25 0 4 0 652067604 306622464 10840 33554432000 4194304 4580107 140736712769280 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 299436

[startup+6.31083 s]
/proc/loadavg: 7.52 7.96 7.98 9/298 5054
/proc/meminfo: memFree=16688656/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=296732 CPUtime=25.15 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 32530 0 0 0 2509 6 0 0 25 0 4 0 652067604 303853568 15635 33554432000 4194304 4580107 140736712769280 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 74183 15635 379 95 0 69165 0
[pid=5046/tid=5050] ppid=5044 vsize=296732 CPUtime=6.29 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 7670 0 0 0 628 1 0 0 25 0 4 0 652067604 303853568 15635 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=296732 CPUtime=6.29 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 8825 0 0 0 628 1 0 0 25 0 4 0 652067604 303853568 15635 33554432000 4194304 4580107 140736712769280 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=296732 CPUtime=6.24 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 7189 0 0 0 623 1 0 0 25 0 4 0 652067604 303853568 15635 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 296732

[startup+12.7007 s]
/proc/loadavg: 7.64 7.98 7.98 9/298 5054
/proc/meminfo: memFree=16657316/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=306380 CPUtime=50.67 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 48915 0 0 0 5057 10 0 0 25 0 4 0 652067604 313733120 19665 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 76595 19665 379 95 0 71577 0
[pid=5046/tid=5050] ppid=5044 vsize=306380 CPUtime=12.68 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 11662 0 0 0 1266 2 0 0 25 0 4 0 652067604 313733120 19665 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=306380 CPUtime=12.69 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 12787 0 0 0 1267 2 0 0 25 0 4 0 652067604 313733120 19665 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=306380 CPUtime=12.58 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 11496 0 0 0 1256 2 0 0 25 0 4 0 652067604 313733120 19665 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 306380

[startup+25.5004 s]
/proc/loadavg: 7.72 7.98 7.98 9/298 5055
/proc/meminfo: memFree=16613912/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=333724 CPUtime=101.75 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 75428 0 0 0 10159 16 0 0 25 0 4 0 652067604 341733376 24987 33554432000 4194304 4580107 140736712769280 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 83431 24987 379 95 0 78413 0
[pid=5046/tid=5050] ppid=5044 vsize=333724 CPUtime=25.48 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 18759 0 0 0 2545 3 0 0 25 0 4 0 652067604 341733376 24987 33554432000 4194304 4580107 140736712769280 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=333724 CPUtime=25.49 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 19408 0 0 0 2545 4 0 0 25 0 4 0 652067604 341733376 24987 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=333724 CPUtime=25.26 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 17142 0 0 0 2523 3 0 0 25 0 4 0 652067604 341733376 24987 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 333724

[startup+51.1009 s]
/proc/loadavg: 7.88 8.00 7.99 9/298 5055
/proc/meminfo: memFree=16562364/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=317464 CPUtime=203.91 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 113163 0 0 0 20365 26 0 0 25 0 4 0 652067604 325083136 31311 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 79366 31311 379 95 0 74348 0
[pid=5046/tid=5050] ppid=5044 vsize=317464 CPUtime=51.08 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 29014 0 0 0 5102 6 0 0 25 0 4 0 652067604 325083136 31311 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=317464 CPUtime=51.09 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 28377 0 0 0 5103 6 0 0 25 0 4 0 652067604 325083136 31311 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=317464 CPUtime=50.63 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 25944 0 0 0 5057 6 0 0 25 0 4 0 652067604 325083136 31311 33554432000 4194304 4580107 140736712769280 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 317464

[startup+102.301 s]
/proc/loadavg: 7.99 8.01 7.99 9/298 5057
/proc/meminfo: memFree=16484208/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=343692 CPUtime=408.23 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 179931 0 0 0 40783 40 0 0 25 0 4 0 652067604 351940608 41974 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294460 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 85923 41974 379 95 0 80905 0
[pid=5046/tid=5050] ppid=5044 vsize=343692 CPUtime=102.28 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 45170 0 0 0 10218 10 0 0 25 0 4 0 652067604 351940608 41974 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=343692 CPUtime=102.29 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 45251 0 0 0 10220 9 0 0 25 0 4 0 652067604 351940608 41974 33554432000 4194304 4580107 140736712769280 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=343692 CPUtime=101.36 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 41964 0 0 0 10126 10 0 0 25 0 4 0 652067604 351940608 41974 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.23
Current children cumulated vsize (KiB) 343692

[startup+162.301 s]

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

[pid=5046] ppid=5044 vsize=638940 CPUtime=2802.63 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 537665 0 0 0 280084 179 0 0 25 0 4 0 652067604 654274560 107321 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 159735 107321 379 95 0 154717 0
[pid=5046/tid=5050] ppid=5044 vsize=638940 CPUtime=702.29 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 132871 0 0 0 70187 42 0 0 25 0 4 0 652067604 654274560 107321 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=638940 CPUtime=702.31 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 139241 0 0 0 70180 51 0 0 25 0 4 0 652067604 654274560 107321 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=638940 CPUtime=695.81 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 118307 0 0 0 69545 36 0 0 25 0 4 0 652067604 654274560 107321 33554432000 4194304 4580107 140736712769280 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.63
Current children cumulated vsize (KiB) 638940

[startup+762.3 s]
/proc/loadavg: 8.09 8.10 8.02 9/298 5074
/proc/meminfo: memFree=15946788/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=622592 CPUtime=3042.06 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 567674 0 0 0 304015 191 0 0 25 0 4 0 652067604 637534208 102724 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 155648 102724 379 95 0 150630 0
[pid=5046/tid=5050] ppid=5044 vsize=622592 CPUtime=762.29 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 139827 0 0 0 76183 46 0 0 25 0 4 0 652067604 637534208 102724 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=622592 CPUtime=762.31 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 148079 0 0 0 76176 55 0 0 25 0 4 0 652067604 637534208 102724 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=622592 CPUtime=755.27 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 123108 0 0 0 75490 37 0 0 25 0 4 0 652067604 637534208 102724 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3042.06
Current children cumulated vsize (KiB) 622592

[startup+822.301 s]
/proc/loadavg: 8.03 8.08 8.02 9/298 5076
/proc/meminfo: memFree=15923560/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=635940 CPUtime=3281.53 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 591105 0 0 0 327952 201 0 0 25 0 4 0 652067604 651202560 112188 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294612 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 158985 112188 379 95 0 153967 0
[pid=5046/tid=5050] ppid=5044 vsize=635940 CPUtime=822.3 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 140023 0 0 0 82184 46 0 0 25 0 4 0 652067604 651202560 112188 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=635940 CPUtime=822.3 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 156391 0 0 0 82172 58 0 0 25 0 4 0 652067604 651202560 112188 33554432000 4194304 4580107 140736712769280 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=635940 CPUtime=814.72 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 130649 0 0 0 81432 40 0 0 25 0 4 0 652067604 651202560 112188 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3281.53
Current children cumulated vsize (KiB) 635940

[startup+882.301 s]
/proc/loadavg: 8.01 8.06 8.01 9/298 5078
/proc/meminfo: memFree=15957124/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=609720 CPUtime=3520.97 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 615687 0 0 0 351885 212 0 0 25 0 4 0 652067604 624353280 103664 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 152430 103664 379 95 0 147412 0
[pid=5046/tid=5050] ppid=5044 vsize=609720 CPUtime=882.29 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 144851 0 0 0 88182 47 0 0 25 0 4 0 652067604 624353280 103664 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=609720 CPUtime=882.31 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 163848 0 0 0 88169 62 0 0 25 0 4 0 652067604 624353280 103664 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=609720 CPUtime=874.17 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 135660 0 0 0 87375 42 0 0 25 0 4 0 652067604 624353280 103664 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3520.97
Current children cumulated vsize (KiB) 609720

[startup+942.3 s]
/proc/loadavg: 8.08 8.07 8.01 9/298 5079
/proc/meminfo: memFree=15931312/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=675708 CPUtime=3760.43 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 647162 0 0 0 375821 222 0 0 25 0 4 0 652067604 691924992 110642 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 168927 110642 379 95 0 163909 0
[pid=5046/tid=5050] ppid=5044 vsize=675708 CPUtime=942.3 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 152101 0 0 0 94181 49 0 0 25 0 4 0 652067604 691924992 110644 33554432000 4194304 4580107 140736712769280 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=675708 CPUtime=942.32 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 170975 0 0 0 94168 64 0 0 25 0 4 0 652067604 691924992 110644 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=675708 CPUtime=933.63 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 143168 0 0 0 93319 44 0 0 25 0 4 0 652067604 691924992 110644 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3760.43
Current children cumulated vsize (KiB) 675708

[startup+1002.3 s]
/proc/loadavg: 8.10 8.07 8.01 9/298 5081
/proc/meminfo: memFree=15939584/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=624156 CPUtime=3999.87 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 673304 0 0 0 399755 232 0 0 25 0 4 0 652067604 639135744 104913 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 156039 104913 379 95 0 151021 0
[pid=5046/tid=5050] ppid=5044 vsize=624156 CPUtime=1002.3 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 158968 0 0 0 100177 53 0 0 25 0 4 0 652067604 639135744 104913 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=624156 CPUtime=1002.31 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 178991 0 0 0 100164 67 0 0 25 0 4 0 652067604 639135744 104913 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=624156 CPUtime=993.09 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 146766 0 0 0 99263 46 0 0 25 0 4 0 652067604 639135744 104913 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3999.87
Current children cumulated vsize (KiB) 624156

[startup+1062.31 s]
/proc/loadavg: 8.14 8.08 8.02 9/298 5082
/proc/meminfo: memFree=15925400/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=638040 CPUtime=4239.36 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 699865 0 0 0 423695 241 0 0 25 0 4 0 652067604 653352960 109439 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 159510 109439 379 95 0 154492 0
[pid=5046/tid=5050] ppid=5044 vsize=638040 CPUtime=1062.31 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 164409 0 0 0 106176 55 0 0 25 0 4 0 652067604 653352960 109439 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=638040 CPUtime=1062.32 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 185862 0 0 0 106163 69 0 0 25 0 4 0 652067604 653352960 109439 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=638040 CPUtime=1052.55 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 153811 0 0 0 105206 49 0 0 25 0 4 0 652067604 653352960 109439 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4239.36
Current children cumulated vsize (KiB) 638040

[startup+1122.3 s]
/proc/loadavg: 8.15 8.10 8.02 9/298 5084
/proc/meminfo: memFree=15826628/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=651936 CPUtime=4478.74 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 717559 0 0 0 447625 249 0 0 25 0 4 0 652067604 667582464 123114 33554432000 4194304 4580107 140736712769280 18446744073709551615 4415779 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 162984 123114 379 95 0 157966 0
[pid=5046/tid=5050] ppid=5044 vsize=651936 CPUtime=1122.3 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 165270 0 0 0 112175 55 0 0 25 0 4 0 652067604 667582464 123114 33554432000 4194304 4580107 140736712769280 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=651936 CPUtime=1122.32 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 190752 0 0 0 112159 73 0 0 25 0 4 0 652067604 667582464 123114 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=651936 CPUtime=1111.98 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 158439 0 0 0 111146 52 0 0 25 0 4 0 652067604 667582464 123114 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4478.74
Current children cumulated vsize (KiB) 651936

[startup+1182.3 s]
/proc/loadavg: 8.11 8.09 8.02 9/298 5086
/proc/meminfo: memFree=15764600/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=767560 CPUtime=4718.16 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 731576 0 0 0 471561 255 0 0 25 0 4 0 652067604 785981440 128579 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 191890 128579 379 95 0 186872 0
[pid=5046/tid=5050] ppid=5044 vsize=767560 CPUtime=1182.29 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 165559 0 0 0 118174 55 0 0 25 0 4 0 652067604 785981440 128579 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=767560 CPUtime=1182.32 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 199404 0 0 0 118157 75 0 0 25 0 4 0 652067604 785981440 128579 33554432000 4194304 4580107 140736712769280 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=767560 CPUtime=1171.39 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 158891 0 0 0 117087 52 0 0 25 0 4 0 652067604 785981440 128579 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4718.16
Current children cumulated vsize (KiB) 767560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.14 8.10 8.02 5/294 5087
/proc/meminfo: memFree=16291488/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=669912 CPUtime=4800.38 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 737328 0 0 0 479780 258 0 0 25 0 4 0 652067604 685989888 130029 33554432000 4194304 4580107 140736712769280 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 167478 130029 379 95 0 162460 0
[pid=5046/tid=5050] ppid=5044 vsize=669912 CPUtime=1202.91 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 168149 0 0 0 120235 56 0 0 25 0 4 0 652067604 685989888 130029 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=669912 CPUtime=1202.93 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 199404 0 0 0 120218 75 0 0 25 0 4 0 652067604 685989888 130029 33554432000 4194304 4580107 140736712769280 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=669912 CPUtime=1191.8 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 159477 0 0 0 119127 53 0 0 25 0 4 0 652067604 685989888 130029 33554432000 4194304 4580107 140736712769280 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 669912

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

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

[startup+1202.9 s]
/proc/loadavg: 8.14 8.10 8.02 5/294 5087
/proc/meminfo: memFree=16291488/32951124 swapFree=52307768/67111528
[pid=5046] ppid=5044 vsize=669912 CPUtime=4800.38 cores=0,2,4,6
/proc/5046/stat : 5046 (strangenight2-m) R 5044 5046 4414 0 -1 4202496 737328 0 0 0 479780 258 0 0 25 0 4 0 652067604 685989888 130029 33554432000 4194304 4580107 140736712769280 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5046/statm: 167478 130029 379 95 0 162460 0
[pid=5046/tid=5050] ppid=5044 vsize=669912 CPUtime=1202.91 cores=0,2,4,6
/proc/5046/task/5050/stat : 5050 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 168149 0 0 0 120235 56 0 0 25 0 4 0 652067604 685989888 130029 33554432000 4194304 4580107 140736712769280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5046/tid=5051] ppid=5044 vsize=669912 CPUtime=1202.93 cores=0,2,4,6
/proc/5046/task/5051/stat : 5051 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 199404 0 0 0 120218 75 0 0 25 0 4 0 652067604 685989888 130029 33554432000 4194304 4580107 140736712769280 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5046/tid=5052] ppid=5044 vsize=669912 CPUtime=1191.8 cores=0,2,4,6
/proc/5046/task/5052/stat : 5052 (strangenight2-m) R 5044 5046 4414 0 -1 4202560 159477 0 0 0 119127 53 0 0 25 0 4 0 652067604 685989888 130029 33554432000 4194304 4580107 140736712769280 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 669912

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.94
CPU time (s): 4800.44
CPU user time (s): 4797.84
CPU system time (s): 2.6066
CPU usage (%): 399.06
Max. virtual memory (cumulated for all children) (KiB): 818300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.84
system time used= 2.6066
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 737328
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= 447
involuntary context switches= 19621

runsolver used 3.09953 second user time and 8.05678 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-14 22:24:08
IDJOB=3366461
IDBENCH=82870
IDSOLVER=1844
FILE ID=node101/3366461-1305404648
RUNJOBID= node101-1305404648-5027
PBS_JOBID= 13324459
Free space on /tmp= 73736 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v125-c2662-S1397972185-007.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366461-1305404648/watcher-3366461-1305404648 -o /tmp/evaluation-result-3366461-1305404648/solver-3366461-1305404648 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366461-1305404648.cnf

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

MD5SUM BENCH= d2902b03aca91b8ea25ec40928f31c64
RANDOM SEED=1506599591

node101.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.841
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.68
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.841
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.07
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.841
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.77
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.841
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.83
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.841
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.74
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.841
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.83
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.841
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.841
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16815104 kB
Buffers:        322272 kB
Cached:        5884364 kB
SwapCached:      14848 kB
Active:       10832996 kB
Inactive:      5028488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16815104 kB
SwapTotal:    67111528 kB
SwapFree:     52307768 kB
Dirty:           10924 kB
Writeback:           0 kB
AnonPages:     9651004 kB
Mapped:          14292 kB
Slab:           149796 kB
PageTables:      61952 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 41980352 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= 73732 MiB
End job on node101 at 2011-05-14 22:44:13