Trace number 3400811

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) 160003 5016.71

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom19.cnf
MD5SUMd725e0d6a363434dce7cb39ffdb1b83f
Bench CategoryAPPLICATION (applications 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 variables40286
Number of clauses134663
Sum of the clauses size343327
Maximum clause length1301
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 269181
Number of clauses of size 364779
Number of clauses of size 4189
Number of clauses of size 517
Number of clauses of size over 5496

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 32 threads
1.44/0.09	c This is CryptoMiniSat 3.0.0
1.44/0.09	c WARNING: for repeatability, setting FPU to use double precision
1.44/0.09	c Reading file 'HOME/instance-3400811-1306820669.cnf'
3.08/0.12	c -- header says num vars:          40286
3.08/0.12	c -- header says num clauses:      134663
22.01/1.15	c -- clauses added:            0 learnts,       134663 normals,            0 xors
22.01/1.15	c -- vars added      40286
22.01/1.15	c Parsing time:  0.18 s
22.01/1.15	c  N st     0         0     40286     64540     61901         0    324131         0   no data   no data
71.34/2.72	c asymm  cl-useful: 8/41688/64540 lits-rem:89 time: 1.57
285.86/15.69	c Flit:    77 Blit:   3602 bXBeca:    0 bXProp: 6566 Bins:      0 BRemL:      0 BRemN:      0 P: 46.5M T:  6.02
288.77/15.70	c Cleaning up after failed var search:     0.01 s 
291.14/15.84	c Replacing     6566 vars Replaced   182598 lits Time:     0.04 s 
293.44/15.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
293.44/15.96	c bin-w-bin subsume rem          797 bins  time:  0.01 s
293.44/15.98	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.02 s
295.60/16.05	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:  28162 time:  0.05 s
295.60/16.09	c Removed useless bin:      44  fixed:     0  props:   4.21M  time:  0.04 s
311.58/16.86	c lits-rem:         0  cl-subs:      240  v-elim:   9387  v-fix:    0  time:  0.27 s
316.51/17.03	c Finding binary XORs  T:     0.17 s  found:      19
316.51/17.05	c Replacing       19 vars Replaced      232 lits Time:     0.01 s 
319.56/17.17	c Finding non-binary XORs:     0.07 s (found:    9044, avg size: 3.0)
319.56/17.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   1457 locsubst:  5778 time:   0.04
319.56/17.18	c Replacing     2889 vars Replaced    17334 lits Time:     0.01 s 
319.56/17.20	c calculated reachability. Time: 0.01
322.72/17.20	c Calc default polars -  time:   0.01 s pos:    1795 undec:   25928 neg:   12563
322.72/17.20	c =========================================================================================
322.72/17.20	c types(t): F = full restart, N = normal restart
322.72/17.20	c types(t): S = simplification begin/end, E = solution found
322.72/17.20	c restart types(rt): st = static, dy = dynamic
322.72/17.20	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
322.72/17.20	c  B st     0         0     14410     23624     18787         0    155599         0   no data   no data
341.81/17.80	c Decided on static restart strategy
360.99/18.47	c  N st     8      4915     14405     23624     18884      4720    155599    179650   no data   no data
408.90/19.95	c  N st    10     11297     14405     23624     20476     10887    155599    431401   no data   no data
412.10/20.03	c Finding binary XORs  T:     0.07 s  found:       5
450.45/21.20	c  N st    11     17040     14375     23616     20076     16417    154730    597726   no data   no data
527.08/23.65	c  F st    12     25001     14365     23616     20925     14735    154730    683981   no data   no data
527.08/23.67	c Replacing        5 vars Replaced       42 lits Time:     0.01 s 
527.08/23.70	c  N st    12     25001     14362     23613     20816     14730    154496    683944   no data   no data
530.27/23.78	c Finding binary XORs  T:     0.07 s  found:       3
571.84/25.06	c Decided on static restart strategy
571.84/25.06	c  N st    18     30002     14357     23613     21242     19639    154392    907897   no data   no data
571.84/25.06	c  S st    18     30002     14357     23613     21242     19639    154392    907897   no data   no data
582.02/25.32	c  S st    18     30503     14353     23613     21272     20106    154392    916032   no data   no data
582.02/25.35	c x-sub:  2889 x-cut:      0 vfix:      0 v-elim:    720 locsubst:     0 time:   0.03
632.53/26.93	c Flit:    70 Blit:      9 bXBeca:    0 bXProp:   22 Bins: 205786 BRemL: 138051 BRemN:     10 P: 12.6M T:  1.56
632.53/26.96	c Replacing       25 vars Replaced     2761 lits Time:     0.03 s 
632.53/26.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
632.53/26.99	c bin-w-bin subsume rem          537 bins  time:  0.01 s
635.72/27.01	c subs with bin:      883  lits-rem:       563  v-fix:    0  time:  0.02 s
635.72/27.05	c Subs w/ non-existent bins:      0 l-rem:     10 v-fix:     0 done:  13529 time:  0.04 s
635.72/27.06	c Removed useless bin:      61  fixed:     0  props:   0.45M  time:  0.01 s
638.92/27.14	c lits-rem:       257  cl-subs:      252  v-elim:   2007  v-fix:    0  time:  0.07 s
638.92/27.19	c subs with bin:       60  lits-rem:       420  v-fix:    0  time:  0.03 s
642.11/27.24	c lits-rem:       232  cl-subs:      305  v-elim:      0  v-fix:    0  time:  0.03 s
658.06/27.71	c asymm  cl-useful: 227/23047/23047 lits-rem:937 time: 0.47
658.06/27.73	c calculated reachability. Time: 0.01
658.06/27.73	c  N st    18     30503     11522     23047     73942      5278    136489    214407   no data   no data
661.26/27.81	c Finding binary XORs  T:     0.08 s  found:       0
711.33/29.44	c  N st    20     37617     11522     23047     74130     12283    136489    685959   no data   no data
748.54/31.01	c  N st    21     44016     11521     23047     74130     10767    136489    688303   no data   no data
752.35/31.28	c Finding binary XORs  T:     0.06 s  found:       1
760.19/31.61	c  S st    22     45755     11513     23022    177870     12487    136298   1018320   no data   no data
762.16/31.76	c  S st    22     46257     11513     23022    177872     12986    136298   1027988   no data   no data
762.16/31.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    360 locsubst:     0 time:   0.02
778.66/32.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     39 BRemL:  80990 BRemN:      0 P:  5.3M T:  0.78
778.66/32.59	c Replacing        1 vars Replaced       99 lits Time:     0.02 s 
780.84/32.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
780.84/32.62	c bin-w-bin subsume rem          761 bins  time:  0.01 s
780.84/32.64	c subs with bin:       59  lits-rem:       167  v-fix:    0  time:  0.02 s
780.84/32.67	c Subs w/ non-existent bins:      0 l-rem:      5 v-fix:     0 done:  11152 time:  0.03 s
780.84/32.68	c Removed useless bin:      96  fixed:     0  props:   0.33M  time:  0.01 s
783.01/32.71	c lits-rem:         0  cl-subs:       41  v-elim:     55  v-fix:    0  time:  0.03 s
783.01/32.79	c subs with bin:       10  lits-rem:       791  v-fix:    0  time:  0.06 s
785.28/32.85	c lits-rem:       190  cl-subs:      148  v-elim:      0  v-fix:    0  time:  0.05 s
785.28/32.86	c vivif2 --  cl tried    22922 cl shrink      123 lits rem        276 time: 0.01
785.28/32.88	c vivif2 --  cl tried     8069 cl shrink      399 lits rem       1189 time: 0.01
797.47/33.32	c asymm  cl-useful: 78/22890/22890 lits-rem:223 time: 0.44
797.47/33.33	c calculated reachability. Time: 0.01
797.47/33.33	c  N st    22     46257     11097     22890     89859      8068    134418    337585   no data   no data
928.65/37.61	c  N st    23     60657     11097     22890     89862     22249    134418   1960949   no data   no data
931.86/37.72	c Finding binary XORs  T:     0.06 s  found:       0
1021.35/40.51	c  N st    24     69386     11091     22877    110237     18652    134319   1255368   no data   no data
1021.35/40.51	c  S st    24     69386     11091     22877    110237     18652    134319   1255368   no data   no data
1028.36/40.74	c  S st    24     69887     11091     22877    110460     19145    134319   1265963   no data   no data
1028.36/40.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    180 locsubst:     0 time:   0.02
1050.10/41.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    9 Bins:   2336 BRemL:  39474 BRemN:     35 P:  8.2M T:  0.66
1050.10/41.43	c Replacing        9 vars Replaced      199 lits Time:     0.01 s 
1050.10/41.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1050.10/41.46	c bin-w-bin subsume rem        20249 bins  time:  0.01 s
1050.10/41.48	c subs with bin:       49  lits-rem:        50  v-fix:    0  time:  0.02 s
1053.29/41.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10902 time:  0.02 s
1053.29/41.52	c Removed useless bin:       1  fixed:     0  props:   0.43M  time:  0.01 s
1053.29/41.56	c lits-rem:         0  cl-subs:       85  v-elim:     50  v-fix:    0  time:  0.04 s
1066.05/41.92	c subs with bin:        2  lits-rem:        12  v-fix:    0  time:  0.28 s
1082.04/42.44	c lits-rem:      1464  cl-subs:      562  v-elim:      0  v-fix:    0  time:  0.51 s
1082.04/42.45	c vivif2 --  cl tried    22748 cl shrink       52 lits rem         64 time: 0.01
1085.22/42.51	c vivif2 --  cl tried    15605 cl shrink     1956 lits rem       8244 time: 0.06
1098.63/42.97	c asymm  cl-useful: 310/21713/22747 lits-rem:809 time: 0.47
1098.63/42.99	c calculated reachability. Time: 0.01
1098.63/42.99	c  N st    24     69887     10852     22561     52751     15605    132780    863371   no data   no data
1372.86/51.52	c  F st    25     87500     10852     22561     52751     16990    132779    859735   no data   no data
1372.86/51.53	c  N st    25     87500     10852     22561     52751     16990    132779    859735   no data   no data
1372.86/51.61	c Finding binary XORs  T:     0.06 s  found:      98
1414.98/52.83	c Decided on static restart strategy
1443.16/53.74	c  N st    32     95541     10846     22544     52399     24937    132594   1715620   no data   no data
1520.46/56.17	c  N st    34    104834     10842     22544     54149     34025    132594   2545024   no data   no data
1520.46/56.17	c  S st    34    104834     10842     22544     54149     34025    132594   2545024   no data   no data
1523.05/56.26	c Finding binary XORs  T:     0.06 s  found:       1
1532.64/56.57	c  S st    34    105336     10838     22535     52866     34516    132323   2555714   no data   no data
1532.64/56.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     36 locsubst:     0 time:   0.02
1558.21/57.36	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    6 Bins:    561 BRemL:   2616 BRemN:     70 P: 10.3M T:  0.76
1561.41/57.42	c Replacing      105 vars Replaced     2550 lits Time:     0.06 s 
1561.41/57.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1561.41/57.44	c bin-w-bin subsume rem          791 bins  time:  0.01 s
1561.41/57.46	c subs with bin:      163  lits-rem:       157  v-fix:    0  time:  0.02 s
1561.41/57.48	c Subs w/ non-existent bins:      0 l-rem:      5 v-fix:     0 done:  10695 time:  0.02 s
1561.41/57.49	c Removed useless bin:       4  fixed:     0  props:   0.42M  time:  0.01 s
1564.60/57.55	c lits-rem:        16  cl-subs:      200  v-elim:     44  v-fix:    0  time:  0.05 s
1628.53/59.54	c subs with bin:       12  lits-rem:      1118  v-fix:    0  time:  1.81 s
1708.40/62.09	c lits-rem:      2380  cl-subs:     1144  v-elim:      0  v-fix:    0  time:  2.54 s
1708.40/62.10	c vivif2 --  cl tried    22130 cl shrink        0 lits rem          0 time: 0.01
1714.81/62.26	c vivif2 --  cl tried    32820 cl shrink     5770 lits rem      28704 time: 0.16
1731.42/62.78	c asymm  cl-useful: 44/15559/22130 lits-rem:56 time: 0.52
1731.42/62.79	c calculated reachability. Time: 0.01
1731.42/62.79	c  N st    34    105336     10651     22130     49048     32820    130434   2306801   no data   no data
1734.01/62.85	c Finding binary XORs  T:     0.06 s  found:       0
1858.64/66.78	c  N st    35    114936     10651     22130     49048     22937    130434   1478048   no data   no data
1861.83/66.86	c Finding binary XORs  T:     0.06 s  found:       2
1974.31/70.37	c  N st    36    129334     10642     22122     49807     37093    130169   2292312   no data   no data
1977.54/70.46	c Finding binary XORs  T:     0.06 s  found:       2
2139.93/75.57	c  N st    37    150929     10639     22119     50544     36388    130125   1443842   no data   no data
2143.14/75.65	c Finding binary XORs  T:     0.06 s  found:       0
2223.67/78.19	c  S st    38    158004     10638     22118     51445     43374    130108   2811937   no data   no data
2235.82/78.51	c  S st    38    158505     10634     22118     51646     43872    130108   2827018   no data   no data
2235.82/78.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2261.38/79.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    433 BRemL:  12247 BRemN:      3 P: 11.3M T:  0.77
2261.38/79.35	c Replacing        4 vars Replaced      213 lits Time:     0.05 s 
2261.38/79.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2261.38/79.37	c bin-w-bin subsume rem         1419 bins  time:  0.01 s
2261.38/79.39	c subs with bin:       32  lits-rem:        74  v-fix:    0  time:  0.01 s
2264.58/79.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10630 time:  0.02 s
2264.58/79.42	c Removed useless bin:       3  fixed:     0  props:   0.39M  time:  0.01 s
2264.58/79.48	c lits-rem:         3  cl-subs:       28  v-elim:     26  v-fix:    0  time:  0.06 s
2322.13/81.28	c subs with bin:        6  lits-rem:      1224  v-fix:    0  time:  1.63 s
2437.20/84.90	c lits-rem:      4706  cl-subs:      932  v-elim:      0  v-fix:    0  time:  3.60 s
2440.39/84.91	c vivif2 --  cl tried    22023 cl shrink        4 lits rem          4 time: 0.01
2443.59/85.09	c vivif2 --  cl tried    42332 cl shrink     7415 lits rem      40635 time: 0.18
2453.18/85.31	c asymm  cl-useful: 14/6462/22021 lits-rem:42 time: 0.22
2453.18/85.32	c calculated reachability. Time: 0.00
2453.18/85.32	c  N st    38    158505     10604     22007     35952     42332    129461   2553165   no data   no data
3181.94/108.14	c  N st    39    207093     10604     22007     35954     42022    129461   3727557   no data   no data
3185.14/108.24	c Finding binary XORs  T:     0.06 s  found:      18
3623.02/121.94	c  N st    40    237757     10591     21976     33421     45722    129131   2975048   no data   no data
3623.02/121.94	c  S st    40    237757     10591     21976     33421     45722    129131   2975048   no data   no data
3626.81/122.04	c Finding binary XORs  T:     0.06 s  found:       1
3638.99/122.41	c  S st    40    238257     10590     21969     33983     46217    129094   2989574   no data   no data
3638.99/122.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3665.20/123.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   10 Bins:    181 BRemL:   3290 BRemN:      9 P: 11.1M T:  0.79
3665.20/123.25	c Replacing       29 vars Replaced     1165 lits Time:     0.03 s 
3665.20/123.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3665.20/123.27	c bin-w-bin subsume rem          436 bins  time:  0.00 s
3665.20/123.29	c subs with bin:       73  lits-rem:        75  v-fix:    0  time:  0.01 s
3667.75/123.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10561 time:  0.02 s
3667.75/123.32	c Removed useless bin:       1  fixed:     0  props:   0.38M  time:  0.01 s
3667.75/123.39	c lits-rem:         0  cl-subs:       41  v-elim:     11  v-fix:    0  time:  0.07 s
3722.11/125.00	c subs with bin:       27  lits-rem:      2159  v-fix:    0  time:  1.41 s
3908.08/130.92	c lits-rem:      3637  cl-subs:     1597  v-elim:      0  v-fix:    0  time:  5.91 s
3911.31/130.93	c vivif2 --  cl tried    21839 cl shrink        0 lits rem          0 time: 0.01
3917.07/131.16	c vivif2 --  cl tried    44383 cl shrink    10969 lits rem      58626 time: 0.23
3936.25/131.73	c asymm  cl-useful: 37/13778/21839 lits-rem:48 time: 0.57
3936.25/131.74	c calculated reachability. Time: 0.01
3936.25/131.74	c  N st    40    238257     10550     21837     30035     44382    128620   2781408   no data   no data
3939.46/131.80	c Finding binary XORs  T:     0.06 s  found:       0
4923.88/162.62	c  F st    41    306251     10550     21837     30035     55772    128620   3421129   no data   no data
4923.88/162.64	c  N st    41    306251     10550     21837     30035     55772    128620   3421129   no data   no data
4927.66/162.74	c Finding binary XORs  T:     0.06 s  found:       2
4978.21/164.31	c Decided on static restart strategy
5214.64/171.71	c  N st    51    334555     10549     21836     30507     54402    128607   4288558   no data   no data
5444.72/179.00	c  N st    53    357386     10549     21836     30518     46402    128607   2235047   no data   no data
5444.72/179.00	c  S st    53    357386     10549     21836     30518     46402    128607   2235047   no data   no data
5458.13/179.35	c  S st    53    357889     10549     21836     30522     46895    128607   2250275   no data   no data
5458.13/179.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
5479.87/180.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:   1005 BRemL:   2933 BRemN:      2 P: 11.0M T:  0.72
5483.06/180.12	c Replacing        5 vars Replaced      129 lits Time:     0.02 s 
5483.06/180.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5483.06/180.14	c bin-w-bin subsume rem          191 bins  time:  0.00 s
5483.06/180.15	c subs with bin:       14  lits-rem:        18  v-fix:    0  time:  0.01 s
5483.06/180.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10544 time:  0.02 s
5483.06/180.18	c Removed useless bin:       2  fixed:     0  props:   0.38M  time:  0.01 s
5486.27/180.24	c lits-rem:         0  cl-subs:       19  v-elim:      8  v-fix:    0  time:  0.06 s
5525.25/181.44	c subs with bin:        5  lits-rem:       837  v-fix:    0  time:  1.05 s
5620.52/184.47	c lits-rem:      2537  cl-subs:     1058  v-elim:      0  v-fix:    0  time:  3.03 s
5620.52/184.48	c vivif2 --  cl tried    21791 cl shrink        0 lits rem          0 time: 0.01
5626.92/184.65	c vivif2 --  cl tried    45458 cl shrink     6655 lits rem      31918 time: 0.16
5636.49/184.93	c asymm  cl-useful: 0/8013/21791 lits-rem:0 time: 0.28
5636.49/184.94	c calculated reachability. Time: 0.00
5636.49/184.94	c  N st    53    357889     10536     21791     28203     45458    128344   2109697   no data   no data
5639.68/185.00	c Finding binary XORs  T:     0.06 s  found:       0
6141.47/200.71	c  N st    54    390281     10536     21791     28203     45978    128344   2689814   no data   no data
6675.25/217.47	c  N st    55    438872     10534     21791     28211     61809    128344   4958503   no data   no data
6678.45/217.58	c Finding binary XORs  T:     0.06 s  found:       0
8132.77/263.09	c  N st    56    511754     10533     21788     29073     66208    128223   6214414   no data   no data
8522.68/275.29	c  N st    57    536833     10532     21788     29113     55074    128223   2676845   no data   no data
8522.68/275.29	c  S st    57    536833     10532     21788     29113     55074    128223   2676845   no data   no data
8538.67/275.70	c  S st    57    537336     10532     21788     29116     55577    128223   2692235   no data   no data
8538.67/275.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
8564.24/276.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      9 BRemL:   1295 BRemN:      0 P: 12.1M T:  0.77
8564.24/276.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8564.24/276.53	c bin-w-bin subsume rem           52 bins  time:  0.00 s
8564.24/276.54	c subs with bin:        4  lits-rem:         2  v-fix:    0  time:  0.01 s
8564.24/276.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10532 time:  0.02 s
8564.24/276.57	c Removed useless bin:       0  fixed:     0  props:   0.37M  time:  0.01 s
8567.44/276.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
8605.79/277.87	c subs with bin:        1  lits-rem:       119  v-fix:    0  time:  1.02 s
8752.85/282.43	c lits-rem:      2194  cl-subs:     1601  v-elim:      0  v-fix:    0  time:  4.55 s
8752.85/282.44	c vivif2 --  cl tried    21782 cl shrink        0 lits rem          0 time: 0.01
8759.83/282.68	c vivif2 --  cl tried    53973 cl shrink    13285 lits rem      90435 time: 0.23
8778.41/283.28	c asymm  cl-useful: 56/9134/21782 lits-rem:56 time: 0.60
8778.41/283.29	c calculated reachability. Time: 0.01
8778.41/283.29	c  N st    57    537336     10532     21782     27531     53973    128088   2501855   no data   no data
12140.78/388.43	c  N st    58    701320     10532     21782     27531     63351    128088   3935772   no data   no data
12140.78/388.49	c Finding binary XORs  T:     0.06 s  found:       4
14867.05/473.73	c  N st    59    806007     10532     21782     27797     84114    128088   6701978   no data   no data
14867.05/473.73	c  S st    59    806007     10532     21782     27797     84114    128088   6701978   no data   no data
14883.01/474.23	c  S st    59    806507     10531     21782     27895     84613    128088   6716806   no data   no data
14883.01/474.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
14915.61/475.29	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    8 Bins:    106 BRemL:    388 BRemN:      0 P: 13.9M T:  1.02
14921.36/475.41	c Replacing       12 vars Replaced     1310 lits Time:     0.12 s 
14921.36/475.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14921.36/475.43	c bin-w-bin subsume rem           38 bins  time:  0.00 s
14921.36/475.44	c subs with bin:       25  lits-rem:        14  v-fix:    0  time:  0.01 s
14921.36/475.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10518 time:  0.02 s
14921.36/475.48	c Removed useless bin:       1  fixed:     0  props:   0.37M  time:  0.01 s
14924.56/475.60	c lits-rem:         0  cl-subs:       22  v-elim:      5  v-fix:    0  time:  0.12 s
15033.23/478.90	c subs with bin:        0  lits-rem:        59  v-fix:    0  time:  2.82 s
16720.66/531.80	c lits-rem:      1770  cl-subs:     9127  v-elim:      0  v-fix:    0  time: 52.88 s
16723.86/531.81	c vivif2 --  cl tried    21720 cl shrink        0 lits rem          0 time: 0.01
16740.44/532.40	c vivif2 --  cl tried    74473 cl shrink    23727 lits rem     148678 time: 0.59
16755.83/532.89	c asymm  cl-useful: 1/9338/21720 lits-rem:3 time: 0.48
16759.03/532.90	c calculated reachability. Time: 0.00
16759.03/532.90	c  N st    59    806507     10513     21719     26952     74472    127864   5865029   no data   no data
16759.03/532.96	c Finding binary XORs  T:     0.06 s  found:       0
22105.97/700.20	c  F st    60   1071877     10513     21719     26952     70383    127864   6438304   no data   no data
22105.97/700.22	c  N st    60   1071877     10513     21719     26952     70383    127864   6438304   no data   no data
22109.17/700.34	c Finding binary XORs  T:     0.06 s  found:       0
22179.50/702.56	c Decided on static restart strategy
22479.95/711.94	c  N st    70   1100189     10512     21718     27306     98247    127851   8854753   no data   no data
23004.08/728.38	c  N st    72   1136182     10512     21718     27330     84802    127851   5601980   no data   no data
23416.42/741.24	c  N st    73   1168575     10511     21718     27345     67686    127851   3800356   no data   no data
24330.33/769.89	c  N st    74   1209760     10511     21718     27348     58241    127851   2785716   no data   no data
24330.33/769.89	c  S st    74   1209760     10511     21718     27348     58241    127851   2785716   no data   no data
24346.31/770.33	c  S st    74   1210262     10511     21718     27396     58742    127851   2801528   no data   no data
24346.31/770.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
24372.49/771.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:      9 BRemL:    382 BRemN:      0 P: 12.3M T:  0.81
24375.07/771.23	c Replacing        5 vars Replaced      253 lits Time:     0.06 s 
24375.07/771.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24375.07/771.25	c bin-w-bin subsume rem           59 bins  time:  0.00 s
24375.07/771.27	c subs with bin:       18  lits-rem:         7  v-fix:    0  time:  0.01 s
24375.07/771.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10506 time:  0.02 s
24378.27/771.30	c Removed useless bin:       2  fixed:     0  props:   0.37M  time:  0.01 s
24378.27/771.38	c lits-rem:         0  cl-subs:        5  v-elim:      4  v-fix:    0  time:  0.07 s
24439.56/773.28	c subs with bin:       29  lits-rem:      1103  v-fix:    0  time:  1.71 s
24534.87/776.21	c lits-rem:      2149  cl-subs:      914  v-elim:      0  v-fix:    0  time:  2.92 s
24534.87/776.22	c vivif2 --  cl tried    21685 cl shrink        0 lits rem          0 time: 0.01
24538.07/776.39	c vivif2 --  cl tried    56873 cl shrink     4617 lits rem     113439 time: 0.17
24545.05/776.53	c asymm  cl-useful: 0/3213/21685 lits-rem:0 time: 0.15
24545.05/776.55	c calculated reachability. Time: 0.01
24545.05/776.55	c  N st    74   1210262     10502     21685     26855     56873    127734   2569445   no data   no data
25666.15/811.60	c  N st    75   1283145     10502     21685     26855     77864    127734   3649985   no data   no data
28306.23/894.23	c  N st    76   1392468     10502     21685     26886     81041    127734   5822120   no data   no data
31475.70/993.46	c  N st    77   1556452     10501     21685     26902     76945    127734   5770133   no data   no data
31478.90/993.57	c Finding binary XORs  T:     0.06 s  found:       1
37097.98/1169.38	c  N st    78   1710263     10501     21683     26958    114159    127685  14521149   no data   no data
37097.98/1169.38	c  S st    78   1710263     10501     21683     26958    114159    127685  14521149   no data   no data
37119.76/1170.05	c  S st    78   1710764     10500     21683     27065    114660    127685  14538389   no data   no data
37122.93/1170.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
37161.29/1171.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     57 BRemL:    228 BRemN:      0 P: 17.4M T:  1.19
37165.08/1171.49	c Replacing        2 vars Replaced     1043 lits Time:     0.19 s 
37165.08/1171.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
37165.08/1171.51	c bin-w-bin subsume rem           22 bins  time:  0.00 s
37168.30/1171.52	c subs with bin:        6  lits-rem:         2  v-fix:    0  time:  0.01 s
37168.30/1171.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10498 time:  0.02 s
37168.30/1171.56	c Removed useless bin:       0  fixed:     0  props:   0.37M  time:  0.01 s
37174.06/1171.75	c lits-rem:         0  cl-subs:        1  v-elim:      2  v-fix:    0  time:  0.19 s
37292.35/1175.40	c subs with bin:       22  lits-rem:      2646  v-fix:    0  time:  2.48 s
38474.79/1212.49	c lits-rem:     15715  cl-subs:     1288  v-elim:      0  v-fix:    0  time: 37.07 s
38477.99/1212.50	c vivif2 --  cl tried    21672 cl shrink        0 lits rem          0 time: 0.01
38522.73/1214.00	c vivif2 --  cl tried   112615 cl shrink    41914 lits rem     354204 time: 1.47
38545.10/1214.69	c asymm  cl-useful: 10/1388/21672 lits-rem:27 time: 0.70
38548.30/1214.71	c calculated reachability. Time: 0.00
38548.30/1214.71	c  N st    78   1710764     10496     21672     26739    112614    127609  13853575   no data   no data
46646.62/1468.10	c  N st    79   2079729     10496     21672     26739    104871    127609   8041577   no data   no data
46649.82/1468.24	c Finding binary XORs  T:     0.06 s  found:       2
49653.67/1562.29	c  N st    80   2210765     10495     21671     26865    103402    127593   5661745   no data   no data
49653.67/1562.29	c  S st    80   2210765     10495     21671     26865    103402    127593   5661745   no data   no data
49676.05/1562.95	c  S st    80   2211271     10495     21671     26955    103907    127593   5678969   no data   no data
49676.05/1563.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
49711.17/1564.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:    210 BRemN:      0 P: 16.2M T:  1.12
49714.95/1564.16	c Replacing        2 vars Replaced     1139 lits Time:     0.04 s 
49714.95/1564.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49714.95/1564.18	c bin-w-bin subsume rem           35 bins  time:  0.00 s
49714.95/1564.20	c subs with bin:        6  lits-rem:         2  v-fix:    0  time:  0.01 s
49718.15/1564.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10493 time:  0.02 s
49718.15/1564.24	c Removed useless bin:       1  fixed:     0  props:   0.37M  time:  0.01 s
49720.74/1564.35	c lits-rem:         0  cl-subs:        4  v-elim:      1  v-fix:    0  time:  0.11 s
49807.04/1567.03	c subs with bin:       47  lits-rem:      6806  v-fix:    0  time:  2.28 s
50625.23/1592.61	c lits-rem:      4352  cl-subs:     3854  v-elim:      0  v-fix:    0  time: 25.57 s
50625.23/1592.62	c vivif2 --  cl tried    21649 cl shrink        0 lits rem          0 time: 0.01
50641.20/1593.12	c vivif2 --  cl tried   100004 cl shrink    22016 lits rem     101752 time: 0.49
50660.39/1593.77	c asymm  cl-useful: 23/11949/21649 lits-rem:23 time: 0.66
50660.39/1593.79	c calculated reachability. Time: 0.00
50660.39/1593.79	c  N st    80   2211271     10492     21649     26709    100002    127491   5360848   no data   no data
64826.87/2037.07	c  N st    81   2711273     10492     21649     26709    103656    127491   5710065   no data   no data
64826.87/2037.07	c  S st    81   2711273     10492     21649     26709    103656    127491   5710065   no data   no data
64830.65/2037.19	c Finding binary XORs  T:     0.06 s  found:       2
64855.63/2037.99	c  S st    81   2711773     10491     21648     26833    104154    127477   5728480   no data   no data
64858.83/2038.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
64900.91/2039.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:    225 BRemN:      0 P: 16.7M T:  1.30
64900.91/2039.40	c Replacing        2 vars Replaced      687 lits Time:     0.06 s 
64904.14/2039.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
64904.14/2039.43	c bin-w-bin subsume rem            9 bins  time:  0.00 s
64904.14/2039.44	c subs with bin:        9  lits-rem:         8  v-fix:    0  time:  0.01 s
64904.14/2039.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10489 time:  0.03 s
64904.14/2039.48	c Removed useless bin:       0  fixed:     0  props:   0.37M  time:  0.01 s
64909.89/2039.62	c lits-rem:         6  cl-subs:        7  v-elim:      6  v-fix:    0  time:  0.14 s
65009.57/2042.75	c subs with bin:       36  lits-rem:      1736  v-fix:    0  time:  2.75 s
65980.51/2073.14	c lits-rem:      7470  cl-subs:     5115  v-elim:      0  v-fix:    0  time: 30.37 s
65980.51/2073.15	c vivif2 --  cl tried    21638 cl shrink        0 lits rem          0 time: 0.01
65996.45/2073.60	c vivif2 --  cl tried    97757 cl shrink    15476 lits rem     114415 time: 0.45
66018.86/2074.31	c asymm  cl-useful: 0/7989/21638 lits-rem:0 time: 0.71
66018.86/2074.32	c calculated reachability. Time: 0.00
66018.86/2074.32	c  N st    81   2711773     10483     21638     26578     97757    127495   5197326   no data   no data
80975.72/2542.31	c  N st    82   3211773     10483     21638     26578    133063    127494   9355588   no data   no data
80975.72/2542.31	c  S st    82   3211773     10483     21638     26578    133063    127494   9355588   no data   no data
81007.66/2543.34	c  S st    82   3212273     10483     21638     26715    133560    127494   9369557   no data   no data
81010.87/2543.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
81058.82/2544.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     17 BRemL:     65 BRemN:      0 P: 18.3M T:  1.54
81058.82/2544.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81058.82/2544.97	c bin-w-bin subsume rem           12 bins  time:  0.01 s
81058.82/2544.98	c subs with bin:        4  lits-rem:         1  v-fix:    0  time:  0.01 s
81062.01/2545.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10483 time:  0.03 s
81062.01/2545.03	c Removed useless bin:       0  fixed:     0  props:   0.37M  time:  0.02 s
81068.40/2545.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
81186.59/2548.92	c subs with bin:        1  lits-rem:        45  v-fix:    0  time:  3.03 s
82900.12/2602.56	c lits-rem:      5817  cl-subs:     7355  v-elim:      0  v-fix:    0  time: 53.62 s
82900.12/2602.56	c vivif2 --  cl tried    21634 cl shrink        0 lits rem          0 time: 0.01
82928.29/2603.44	c vivif2 --  cl tried   126204 cl shrink    36105 lits rem     349086 time: 0.86
82957.05/2604.31	c asymm  cl-useful: 9/3223/21634 lits-rem:10 time: 0.87
82957.05/2604.33	c calculated reachability. Time: 0.00
82957.05/2604.33	c  N st    82   3212273     10483     21634     26658    126202    127472   8537041   no data   no data
97027.59/3044.64	c  N st    83   3712273     10483     21634     26658    126153    127472   6408651   no data   no data
97027.59/3044.64	c  S st    83   3712273     10483     21634     26658    126153    127472   6408651   no data   no data
97031.37/3044.77	c Finding binary XORs  T:     0.06 s  found:       1
97059.54/3045.65	c  S st    83   3712777     10482     21633     26417    126648    127461   6423393   no data   no data
97062.74/3045.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
97110.67/3047.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:     80 BRemN:      1 P: 19.0M T:  1.52
97110.67/3047.28	c Replacing        1 vars Replaced       81 lits Time:     0.06 s 
97110.67/3047.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
97113.88/3047.30	c bin-w-bin subsume rem            5 bins  time:  0.00 s
97113.88/3047.32	c subs with bin:        3  lits-rem:         2  v-fix:    0  time:  0.01 s
97113.88/3047.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10481 time:  0.03 s
97113.88/3047.36	c Removed useless bin:       0  fixed:     0  props:   0.37M  time:  0.01 s
97120.27/3047.51	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.15 s
97222.52/3050.71	c subs with bin:       10  lits-rem:       390  v-fix:    0  time:  2.75 s
98453.01/3089.21	c lits-rem:       201  cl-subs:     7328  v-elim:      0  v-fix:    0  time: 38.48 s
98453.01/3089.22	c vivif2 --  cl tried    21626 cl shrink        0 lits rem          0 time: 0.01
98469.01/3089.78	c vivif2 --  cl tried   119310 cl shrink    22912 lits rem     149500 time: 0.55
98494.58/3090.53	c asymm  cl-useful: 5/10923/21626 lits-rem:5 time: 0.75
98494.58/3090.55	c calculated reachability. Time: 0.00
98494.58/3090.55	c  N st    83   3712777     10481     21626     26336    119310    127429   5879129   no data   no data
99322.20/3116.50	c  F st    84   3751565     10481     21626     26336    157921    127429  13281921   no data   no data
99325.40/3116.52	c  N st    84   3751565     10481     21626     26336    157921    127429  13281921   no data   no data
99466.00/3120.94	c Decided on static restart strategy
100012.53/3138.03	c  N st    94   3779868     10481     21626     26358    100510    127429   4412205   no data   no data
100945.75/3167.29	c  N st    96   3815863     10481     21626     26403    136261    127429  10500528   no data   no data
102019.60/3200.81	c  N st    97   3848258     10481     21626     26409    168609    127429  18710553   no data   no data
102875.95/3227.69	c  N st    98   3896846     10481     21626     26410    130017    127429   9924173   no data   no data
104665.43/3283.62	c  N st    99   3969731     10481     21626     26428    114166    127429   6374520   no data   no data
106812.84/3350.84	c  N st   100   4079054     10480     21626     26433    132904    127428   6535174   no data   no data
112150.73/3517.87	c  N st   101   4212777     10480     21626     26436    174536    127428  14063277   no data   no data
112150.73/3517.87	c  S st   101   4212777     10480     21626     26436    174536    127428  14063277   no data   no data
112188.46/3519.01	c  S st   101   4213279     10480     21626     26442    175037    127428  14079688   no data   no data
112188.46/3519.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
112236.41/3520.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:     49 BRemN:      0 P: 20.9M T:  1.47
112236.41/3520.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
112236.41/3520.57	c bin-w-bin subsume rem            7 bins  time:  0.01 s
112236.41/3520.58	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.01 s
112239.61/3520.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10480 time:  0.03 s
112239.61/3520.62	c Removed useless bin:       0  fixed:     0  props:   0.37M  time:  0.01 s
112246.01/3520.84	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.22 s
112367.48/3524.69	c subs with bin:        1  lits-rem:        28  v-fix:    0  time:  2.71 s
117116.69/3673.24	c lits-rem:      6244  cl-subs:     6724  v-elim:      0  v-fix:    0  time: 148.50 s
117116.69/3673.25	c vivif2 --  cl tried    21622 cl shrink        0 lits rem          0 time: 0.01
117167.85/3674.86	c vivif2 --  cl tried   168297 cl shrink    67378 lits rem     461870 time: 1.59
117186.97/3675.46	c asymm  cl-useful: 0/5595/21622 lits-rem:0 time: 0.60
117186.97/3675.48	c calculated reachability. Time: 0.00
117186.97/3675.48	c  N st   101   4213279     10480     21622     26347    168296    127342  13126490   no data   no data
125029.37/3920.82	c  N st   102   4459259     10480     21622     26347    136134    127342   9724202   no data   no data
133706.19/4192.39	c  N st   103   4713279     10479     21622     26401    102044    127342   3735768   no data   no data
133706.19/4192.39	c  S st   103   4713279     10479     21622     26401    102044    127342   3735768   no data   no data
133709.38/4192.49	c Finding binary XORs  T:     0.06 s  found:       2
133732.36/4193.19	c  S st   103   4713782     10478     21620     26235    102541    127312   3752597   no data   no data
133735.58/4193.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
133770.75/4194.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:     76 BRemN:      0 P: 16.4M T:  1.15
133773.33/4194.44	c Replacing        2 vars Replaced      245 lits Time:     0.05 s 
133773.33/4194.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
133773.33/4194.46	c bin-w-bin subsume rem           11 bins  time:  0.00 s
133773.33/4194.48	c subs with bin:       10  lits-rem:         8  v-fix:    0  time:  0.02 s
133776.50/4194.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10476 time:  0.03 s
133776.50/4194.52	c Removed useless bin:       0  fixed:     0  props:   0.37M  time:  0.02 s
133779.69/4194.63	c lits-rem:         0  cl-subs:        4  v-elim:      1  v-fix:    0  time:  0.11 s
133846.81/4196.74	c subs with bin:        8  lits-rem:       236  v-fix:    0  time:  1.83 s
133978.42/4200.89	c lits-rem:      1498  cl-subs:      680  v-elim:      0  v-fix:    0  time:  4.14 s
133978.42/4200.90	c vivif2 --  cl tried    21607 cl shrink        0 lits rem          0 time: 0.01
133987.41/4201.11	c vivif2 --  cl tried   101778 cl shrink     2518 lits rem       7335 time: 0.21
133990.61/4201.24	c asymm  cl-useful: 0/1866/21607 lits-rem:0 time: 0.13
133990.61/4201.26	c calculated reachability. Time: 0.01
133990.61/4201.26	c  N st   103   4713782     10475     21607     25823    101778    127287   3717534   no data   no data
144493.42/4529.83	c  N st   104   5213783     10475     21607     25823    205086    127287  19628442   no data   no data
144493.42/4529.83	c  S st   104   5213783     10475     21607     25823    205086    127287  19628442   no data   no data
144540.77/4531.34	c  S st   104   5214284     10475     21607     25878    205586    127287  19645908   no data   no data
144543.97/4531.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
144614.27/4533.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     95 BRemL:     99 BRemN:      0 P: 25.2M T:  2.24
144617.45/4533.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
144617.45/4533.70	c bin-w-bin subsume rem            9 bins  time:  0.01 s
144617.45/4533.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
144617.45/4533.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10475 time:  0.03 s
144617.45/4533.76	c Removed useless bin:       0  fixed:     0  props:   0.37M  time:  0.02 s
144627.05/4534.05	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.28 s
144767.64/4538.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.81 s
146806.89/4602.30	c lits-rem:     15329  cl-subs:     3228  v-elim:      0  v-fix:    0  time: 63.80 s
146806.89/4602.31	c vivif2 --  cl tried    21606 cl shrink        0 lits rem          0 time: 0.01
146877.22/4604.40	c vivif2 --  cl tried   201671 cl shrink    65590 lits rem    1318264 time: 2.06
146905.98/4605.38	c asymm  cl-useful: 6/1371/21606 lits-rem:11 time: 0.98
146909.17/4605.40	c calculated reachability. Time: 0.00
146909.17/4605.40	c  N st   104   5214284     10474     21606     25866    201671    127263  17979382   no data   no data
150492.17/4717.54	c Finding binary XORs  T:     0.06 s  found:       1
159866.36/5010.82	c  N st   105   5714286     10473     21605     25843    182866    127247  12926147   no data   no data
159866.36/5010.82	c  S st   105   5714286     10473     21605     25843    182866    127247  12926147   no data   no data
159898.31/5011.85	c  S st   105   5714787     10473     21605     25862    183365    127247  12944121   no data   no data
159901.50/5011.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
159965.42/5013.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      6 BRemL:     23 BRemN:      0 P: 24.0M T:  2.04
159968.61/5014.05	c Replacing        2 vars Replaced      531 lits Time:     0.09 s 
159968.61/5014.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
159968.61/5014.08	c bin-w-bin subsume rem            8 bins  time:  0.00 s
159968.61/5014.09	c subs with bin:        3  lits-rem:         2  v-fix:    0  time:  0.01 s
159971.81/5014.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10471 time:  0.03 s
159971.81/5014.13	c Removed useless bin:       0  fixed:     0  props:   0.37M  time:  0.01 s
159978.20/5014.36	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.23 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3400811-1306820669/watcher-3400811-1306820669 -o /tmp/evaluation-result-3400811-1306820669/solver-3400811-1306820669 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400811-1306820669.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 31.76 31.53 31.77 1/413 22674
/proc/meminfo: memFree=263539808/264257624 swapFree=67044764/67111528
[pid=22674] ppid=22672 vsize=338000 CPUtime=0.88 cores=0-31
/proc/22674/stat : 22674 (strangenight2-m) R 22672 22674 22468 0 -1 4202496 467 0 0 0 88 0 0 0 25 0 32 0 8032919 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/22674/statm: 84500 407 300 95 0 79482 0
[pid=22674/tid=22675] ppid=22672 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22674/task/22676/stat : 22676 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22674/task/22677/stat : 22677 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22678/stat : 22678 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22679/stat : 22679 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22680/stat : 22680 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22681/stat : 22681 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=22674/tid=22682] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22682/stat : 22682 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033239 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22683] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22683/stat : 22683 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22674/tid=22684] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22684/stat : 22684 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22674/tid=22685] ppid=22672 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22674/task/22685/stat : 22685 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033239 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22674/tid=22686] ppid=22672 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22674/task/22686/stat : 22686 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22674/tid=22687] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22687/stat : 22687 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033232 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22674/tid=22688] ppid=22672 vsize=338000 CPUtime=0 cores=0-31
/proc/22674/task/22688/stat : 22688 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033650 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22674/tid=22689] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22689/stat : 22689 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22674/tid=22690] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22690/stat : 22690 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=22674/tid=22691] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22691/stat : 22691 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=22674/tid=22692] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22692/stat : 22692 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=22674/tid=22693] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22693/stat : 22693 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=22674/tid=22694] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22694/stat : 22694 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=22674/tid=22695] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22695/stat : 22695 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=22674/tid=22696] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22696/stat : 22696 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=22674/tid=22697] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22697/stat : 22697 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=22674/tid=22698] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22698/stat : 22698 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=22674/tid=22699] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22699/stat : 22699 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=22674/tid=22700] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22700/stat : 22700 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=22674/tid=22701] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22701/stat : 22701 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22674/tid=22702] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22702/stat : 22702 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=22674/tid=22703] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22703/stat : 22703 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033239 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=22674/tid=22704] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22704/stat : 22704 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=22674/tid=22705] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22705/stat : 22705 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 27 0 0 0

[startup+0.054202 s]
/proc/loadavg: 31.76 31.53 31.77 1/413 22674
/proc/meminfo: memFree=263539808/264257624 swapFree=67044764/67111528
[pid=22674] ppid=22672 vsize=338000 CPUtime=1.44 cores=0-31
/proc/22674/stat : 22674 (strangenight2-m) R 22672 22674 22468 0 -1 4202496 467 0 0 0 144 0 0 0 25 0 32 0 8032919 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033239 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/22674/statm: 84500 407 300 95 0 79482 0
[pid=22674/tid=22675] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22676/stat : 22676 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22677/stat : 22677 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22678/stat : 22678 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22679/stat : 22679 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22680/stat : 22680 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22681/stat : 22681 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033245 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=22674/tid=22682] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22682/stat : 22682 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22683] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22683/stat : 22683 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22674/tid=22684] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22684/stat : 22684 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033239 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22674/tid=22685] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22685/stat : 22685 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033232 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22674/tid=22686] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22686/stat : 22686 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22674/tid=22687] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22687/stat : 22687 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22674/tid=22688] ppid=22672 vsize=338000 CPUtime=0 cores=0-31
/proc/22674/task/22688/stat : 22688 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033650 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22674/tid=22689] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22689/stat : 22689 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22674/tid=22690] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22690/stat : 22690 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=22674/tid=22691] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22691/stat : 22691 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=22674/tid=22692] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22692/stat : 22692 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=22674/tid=22693] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22693/stat : 22693 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033239 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=22674/tid=22694] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22694/stat : 22694 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=22674/tid=22695] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22695/stat : 22695 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=22674/tid=22696] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22696/stat : 22696 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=22674/tid=22697] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22697/stat : 22697 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=22674/tid=22698] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22698/stat : 22698 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=22674/tid=22699] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22699/stat : 22699 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=22674/tid=22700] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22700/stat : 22700 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033232 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=22674/tid=22701] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22701/stat : 22701 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22674/tid=22702] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22702/stat : 22702 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033232 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=22674/tid=22703] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22703/stat : 22703 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=22674/tid=22704] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22704/stat : 22704 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=22674/tid=22705] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22705/stat : 22705 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 338000

[startup+0.117009 s]
/proc/loadavg: 31.76 31.53 31.77 1/413 22674
/proc/meminfo: memFree=263539808/264257624 swapFree=67044764/67111528
[pid=22674] ppid=22672 vsize=732436 CPUtime=3.08 cores=0-31
/proc/22674/stat : 22674 (strangenight2-m) D 22672 22674 22468 0 -1 4202496 7767 0 0 0 250 58 0 0 25 0 32 0 8032919 750014464 7625 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/22674/statm: 183109 7625 330 95 0 178091 0
[pid=22674/tid=22675] ppid=22672 vsize=732436 CPUtime=0.09 cores=0-31
/proc/22674/task/22675/stat : 22675 (strangenight2-m) D 22672 22674 22468 0 -1 4202560 206 0 0 0 8 1 0 0 18 0 32 0 8032920 750014464 7677 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=732436 CPUtime=0.09 cores=0-31
/proc/22674/task/22676/stat : 22676 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 233 0 0 0 8 1 0 0 25 0 32 0 8032920 750014464 7683 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=732436 CPUtime=0.09 cores=0-31
/proc/22674/task/22677/stat : 22677 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 259 0 0 0 8 1 0 0 18 0 32 0 8032920 750014464 7690 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=732436 CPUtime=0.08 cores=0-31
/proc/22674/task/22678/stat : 22678 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 230 0 0 0 7 1 0 0 25 0 32 0 8032920 750014464 7745 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=732436 CPUtime=0.09 cores=0-31
/proc/22674/task/22679/stat : 22679 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 215 0 0 0 8 1 0 0 25 0 32 0 8032920 750014464 7745 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=732436 CPUtime=0.09 cores=0-31
/proc/22674/task/22680/stat : 22680 (strangenight2-m) D 22672 22674 22468 0 -1 4202560 196 0 0 0 8 1 0 0 25 0 32 0 8032920 750014464 7760 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=732436 CPUtime=0.1 cores=0-31
/proc/22674/task/22681/stat : 22681 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 273 0 0 0 8 2 0 0 25 0 32 0 8032920 750014464 7778 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=22674/tid=22682] ppid=22672 vsize=732436 CPUtime=0.1 cores=0-31
/proc/22674/task/22682/stat : 22682 (strangenight2-m) D 22672 22674 22468 0 -1 4202560 264 0 0 0 8 2 0 0 18 0 32 0 8032920 750014464 7809 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22683] ppid=22672 vsize=732436 CPUtime=0.09 cores=0-31
/proc/22674/task/22683/stat : 22683 (strangenight2-m) D 22672 22674 22468 0 -1 4202560 214 0 0 0 8 1 0 0 25 0 32 0 8032920 750014464 7815 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22674/tid=22684] ppid=22672 vsize=732436 CPUtime=0.09 cores=0-31
/proc/22674/task/22684/stat : 22684 (strangenight2-m) S 22672 22674 22468 0 -1 4202560 277 0 0 0 8 1 0 0 18 0 32 0 8032920 750014464 7836 268435456000 4194304 4580107 140735538396944 18446744073709551615 258651060958 0 0 4096 2 18446744071566925464 0 0 -1 5 0 0 0
[pid=22674/tid=22685] ppid=22672 vsize=732436 CPUtime=0.09 cores=0-31
/proc/22674/task/22685/stat : 22685 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 277 0 0 0 8 1 0 0 25 0 32 0 8032920 750014464 7852 268435456000 4194304 4580107 140735538396944 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22674/tid=22686] ppid=22672 vsize=732436 CPUtime=0.09 cores=0-31
/proc/22674/task/22686/stat : 22686 (strangenight2-m) D 22672 22674 22468 0 -1 4202560 190 0 0 0 8 1 0 0 25 0 32 0 8032920 750014464 7904 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22674/tid=22687] ppid=22672 vsize=732436 CPUtime=0.1 cores=0-31
/proc/22674/task/22687/stat : 22687 (strangenight2-m) D 22672 22674 22468 0 -1 4202560 250 0 0 0 8 2 0 0 25 0 32 0 8032920 750014464 7955 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22674/tid=22688] ppid=22672 vsize=732436 CPUtime=0.01 cores=0-31
/proc/22674/task/22688/stat : 22688 (strangenight2-m) D 22672 22674 22468 0 -1 4202560 227 0 0 0 0 1 0 0 18 0 32 0 8032920 750014464 7965 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=22674/tid=22689] ppid=22672 vsize=732436 CPUtime=0.08 cores=0-31
/proc/22674/task/22689/stat : 22689 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 214 0 0 0 7 1 0 0 25 0 32 0 8032920 750014464 7974 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22674/tid=22690] ppid=22672 vsize=732436 CPUtime=0.08 cores=0-31
/proc/22674/task/22690/stat : 22690 (strangenight2-m) D 22672 22674 22468 0 -1 4202560 235 0 0 0 7 1 0 0 25 0 32 0 8032920 750014464 7974 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=22674/tid=22691] ppid=22672 vsize=732436 CPUtime=0.08 cores=0-31

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

[pid=22674/tid=22684] ppid=22672 vsize=27334664 CPUtime=4944.62 cores=0-31
/proc/22674/task/22684/stat : 22684 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 920404 0 0 0 493881 581 0 0 25 0 32 0 8032920 27990695936 5460802 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22674/tid=22685] ppid=22672 vsize=27334664 CPUtime=4950.98 cores=0-31
/proc/22674/task/22685/stat : 22685 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 773634 0 0 0 494548 550 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=22674/tid=22686] ppid=22672 vsize=27334664 CPUtime=4944.72 cores=0-31
/proc/22674/task/22686/stat : 22686 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 622081 0 0 0 494020 452 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22674/tid=22687] ppid=22672 vsize=27334664 CPUtime=4952.65 cores=0-31
/proc/22674/task/22687/stat : 22687 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 808920 0 0 0 494710 555 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=22674/tid=22688] ppid=22672 vsize=27334664 CPUtime=4952.35 cores=0-31
/proc/22674/task/22688/stat : 22688 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1010596 0 0 0 494604 631 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=22674/tid=22689] ppid=22672 vsize=27334664 CPUtime=4947.41 cores=0-31
/proc/22674/task/22689/stat : 22689 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 782832 0 0 0 494183 558 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=22674/tid=22690] ppid=22672 vsize=27334664 CPUtime=4944.96 cores=0-31
/proc/22674/task/22690/stat : 22690 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 873361 0 0 0 493918 578 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22674/tid=22691] ppid=22672 vsize=27334664 CPUtime=4939.84 cores=0-31
/proc/22674/task/22691/stat : 22691 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 694675 0 0 0 493494 490 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22692] ppid=22672 vsize=27334664 CPUtime=4950.57 cores=0-31
/proc/22674/task/22692/stat : 22692 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 798205 0 0 0 494536 521 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=22674/tid=22693] ppid=22672 vsize=27334664 CPUtime=4950.01 cores=0-31
/proc/22674/task/22693/stat : 22693 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 781759 0 0 0 494488 513 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=22674/tid=22694] ppid=22672 vsize=27334664 CPUtime=4940.75 cores=0-31
/proc/22674/task/22694/stat : 22694 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 725240 0 0 0 493586 489 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=22674/tid=22695] ppid=22672 vsize=27334664 CPUtime=4941.63 cores=0-31
/proc/22674/task/22695/stat : 22695 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 948767 0 0 0 493562 601 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=22674/tid=22696] ppid=22672 vsize=27334664 CPUtime=4946.24 cores=0-31
/proc/22674/task/22696/stat : 22696 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 726789 0 0 0 494146 478 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22674/tid=22697] ppid=22672 vsize=27334664 CPUtime=4948.11 cores=0-31
/proc/22674/task/22697/stat : 22697 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1115793 0 0 0 494145 666 0 0 25 0 32 0 8032920 27990695936 5460805 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=22674/tid=22698] ppid=22672 vsize=27334664 CPUtime=4946.22 cores=0-31
/proc/22674/task/22698/stat : 22698 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 678234 0 0 0 494138 484 0 0 25 0 32 0 8032920 27990695936 5460805 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22674/tid=22699] ppid=22672 vsize=27334664 CPUtime=4952.72 cores=0-31
/proc/22674/task/22699/stat : 22699 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 866509 0 0 0 494685 587 0 0 25 0 32 0 8032920 27990695936 5460806 268435456000 4194304 4580107 140735538396944 18446744073709551615 4321636 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=22674/tid=22700] ppid=22672 vsize=27334664 CPUtime=4951.01 cores=0-31
/proc/22674/task/22700/stat : 22700 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 748965 0 0 0 494559 542 0 0 25 0 32 0 8032920 27990695936 5460806 268435456000 4194304 4580107 140735538396944 18446744073709551615 4316605 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22674/tid=22701] ppid=22672 vsize=27334664 CPUtime=4952.53 cores=0-31
/proc/22674/task/22701/stat : 22701 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 837512 0 0 0 494703 550 0 0 25 0 32 0 8032920 27990695936 5460806 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22674/tid=22702] ppid=22672 vsize=27334664 CPUtime=4952.2 cores=0-31
/proc/22674/task/22702/stat : 22702 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 857582 0 0 0 494670 550 0 0 25 0 32 0 8032920 27990695936 5460806 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=22674/tid=22703] ppid=22672 vsize=27334664 CPUtime=4951.22 cores=0-31
/proc/22674/task/22703/stat : 22703 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 703246 0 0 0 494612 510 0 0 25 0 32 0 8032920 27990695936 5460806 268435456000 4194304 4580107 140735538396944 18446744073709551615 4305152 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=22674/tid=22704] ppid=22672 vsize=27334664 CPUtime=4952.79 cores=0-31
/proc/22674/task/22704/stat : 22704 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 795754 0 0 0 494765 514 0 0 25 0 32 0 8032920 27990695936 5460806 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22674/tid=22705] ppid=22672 vsize=27334664 CPUtime=4952.51 cores=0-31
/proc/22674/task/22705/stat : 22705 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 201285 0 0 0 495066 185 0 0 25 0 32 0 8032920 27990695936 5460806 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 158316
Current children cumulated vsize (KiB) 27334664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5015 s]
/proc/loadavg: 32.07 32.08 32.07 33/445 22859
/proc/meminfo: memFree=241367456/264257624 swapFree=67044764/67111528
[pid=22674] ppid=22672 vsize=28305564 CPUtime=160001 cores=0-31
/proc/22674/stat : 22674 (strangenight2-m) R 22672 22674 22468 0 -1 4202496 25092227 0 0 0 15983233 16890 0 0 25 0 32 0 8032919 28984897536 5538174 268435456000 4194304 4580107 140735538396944 18446744073709551615 4401345 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/22674/statm: 7076391 5538174 427 95 0 7071373 0
[pid=22674/tid=22675] ppid=22672 vsize=28305564 CPUtime=4991.53 cores=0-31
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 770928 0 0 0 498644 509 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=28305564 CPUtime=5001.67 cores=0-31
/proc/22674/task/22676/stat : 22676 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 742275 0 0 0 499659 508 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=28305564 CPUtime=4990.23 cores=0-31
/proc/22674/task/22677/stat : 22677 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 726345 0 0 0 498514 509 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=28305564 CPUtime=5006.58 cores=0-31
/proc/22674/task/22678/stat : 22678 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 758904 0 0 0 500161 497 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4295530 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=28305564 CPUtime=4997.87 cores=0-31
/proc/22674/task/22679/stat : 22679 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 739670 0 0 0 499270 517 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=28305564 CPUtime=4994.32 cores=0-31
/proc/22674/task/22680/stat : 22680 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 857345 0 0 0 498841 591 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=28305564 CPUtime=5003.76 cores=0-31
/proc/22674/task/22681/stat : 22681 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 694761 0 0 0 499869 507 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4295469 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22674/tid=22682] ppid=22672 vsize=28305564 CPUtime=4983.43 cores=0-31
/proc/22674/task/22682/stat : 22682 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 879918 0 0 0 497777 566 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=22674/tid=22683] ppid=22672 vsize=28305564 CPUtime=5000.41 cores=0-31
/proc/22674/task/22683/stat : 22683 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 700377 0 0 0 499568 473 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22674/tid=22684] ppid=22672 vsize=28305564 CPUtime=4997.31 cores=0-31
/proc/22674/task/22684/stat : 22684 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 931614 0 0 0 499146 585 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22674/tid=22685] ppid=22672 vsize=28305564 CPUtime=5003.68 cores=0-31
/proc/22674/task/22685/stat : 22685 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 785269 0 0 0 499811 557 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=22674/tid=22686] ppid=22672 vsize=28305564 CPUtime=4997.43 cores=0-31
/proc/22674/task/22686/stat : 22686 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 625677 0 0 0 499289 454 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22674/tid=22687] ppid=22672 vsize=28305564 CPUtime=5005.36 cores=0-31
/proc/22674/task/22687/stat : 22687 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 812574 0 0 0 499977 559 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=22674/tid=22688] ppid=22672 vsize=28305564 CPUtime=5005.04 cores=0-31
/proc/22674/task/22688/stat : 22688 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1014767 0 0 0 499871 633 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=22674/tid=22689] ppid=22672 vsize=28305564 CPUtime=5000.12 cores=0-31
/proc/22674/task/22689/stat : 22689 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 787341 0 0 0 499451 561 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4293145 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=22674/tid=22690] ppid=22672 vsize=28305564 CPUtime=4997.67 cores=0-31
/proc/22674/task/22690/stat : 22690 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 884663 0 0 0 499186 581 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22674/tid=22691] ppid=22672 vsize=28305564 CPUtime=4992.55 cores=0-31
/proc/22674/task/22691/stat : 22691 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 699558 0 0 0 498761 494 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22692] ppid=22672 vsize=28305564 CPUtime=5003.27 cores=0-31
/proc/22674/task/22692/stat : 22692 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 808884 0 0 0 499795 532 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=22674/tid=22693] ppid=22672 vsize=28305564 CPUtime=5002.72 cores=0-31
/proc/22674/task/22693/stat : 22693 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 790591 0 0 0 499754 518 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=22674/tid=22694] ppid=22672 vsize=28305564 CPUtime=4993.46 cores=0-31
/proc/22674/task/22694/stat : 22694 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 730690 0 0 0 498854 492 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=22674/tid=22695] ppid=22672 vsize=28305564 CPUtime=4994.34 cores=0-31
/proc/22674/task/22695/stat : 22695 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 954060 0 0 0 498827 607 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=22674/tid=22696] ppid=22672 vsize=28305564 CPUtime=4998.93 cores=0-31
/proc/22674/task/22696/stat : 22696 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 731653 0 0 0 499412 481 0 0 25 0 32 0 8032920 28984897536 5538176 268435456000 4194304 4580107 140735538396944 18446744073709551615 4295036 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22674/tid=22697] ppid=22672 vsize=28305564 CPUtime=5000.81 cores=0-31
/proc/22674/task/22697/stat : 22697 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1129521 0 0 0 499407 674 0 0 25 0 32 0 8032920 28984897536 5538176 268435456000 4194304 4580107 140735538396944 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=22674/tid=22698] ppid=22672 vsize=28305564 CPUtime=4998.93 cores=0-31
/proc/22674/task/22698/stat : 22698 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 678504 0 0 0 499409 484 0 0 25 0 32 0 8032920 28984897536 5538176 268435456000 4194304 4580107 140735538396944 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22674/tid=22699] ppid=22672 vsize=28305564 CPUtime=5005.42 cores=0-31
/proc/22674/task/22699/stat : 22699 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 870902 0 0 0 499951 591 0 0 25 0 32 0 8032920 28984897536 5538176 268435456000 4194304 4580107 140735538396944 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=22674/tid=22700] ppid=22672 vsize=28305564 CPUtime=5003.71 cores=0-31
/proc/22674/task/22700/stat : 22700 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 756984 0 0 0 499824 547 0 0 25 0 32 0 8032920 28984897536 5538177 268435456000 4194304 4580107 140735538396944 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22674/tid=22701] ppid=22672 vsize=28305564 CPUtime=5005.22 cores=0-31
/proc/22674/task/22701/stat : 22701 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 845144 0 0 0 499967 555 0 0 25 0 32 0 8032920 28984897536 5538177 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22674/tid=22702] ppid=22672 vsize=28305564 CPUtime=5004.91 cores=0-31
/proc/22674/task/22702/stat : 22702 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 861623 0 0 0 499938 553 0 0 25 0 32 0 8032920 28984897536 5538177 268435456000 4194304 4580107 140735538396944 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=22674/tid=22703] ppid=22672 vsize=28305564 CPUtime=5003.92 cores=0-31
/proc/22674/task/22703/stat : 22703 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 713284 0 0 0 499877 515 0 0 25 0 32 0 8032920 28984897536 5538177 268435456000 4194304 4580107 140735538396944 18446744073709551615 4298994 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=22674/tid=22704] ppid=22672 vsize=28305564 CPUtime=5005.49 cores=0-31
/proc/22674/task/22704/stat : 22704 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 801162 0 0 0 500031 518 0 0 25 0 32 0 8032920 28984897536 5538177 268435456000 4194304 4580107 140735538396944 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22674/tid=22705] ppid=22672 vsize=28305564 CPUtime=5005.2 cores=0-31
/proc/22674/task/22705/stat : 22705 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 202485 0 0 0 500334 186 0 0 25 0 32 0 8032920 28984897536 5538177 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 28305564

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

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

[startup+5015.8 s]
/proc/loadavg: 32.07 32.08 32.07 33/445 22859
/proc/meminfo: memFree=241367456/264257624 swapFree=67044764/67111528
[pid=22674] ppid=22672 vsize=0 CPUtime=160002 cores=0-31
/proc/22674/stat : 22674 (strangenight2-m) Z 22672 22674 22468 0 -1 4203548 25092327 0 0 0 15983252 16967 0 0 25 0 2 0 8032919 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/22674/statm: 0 0 0 0 0 0 0
[pid=22674/tid=22675] ppid=22672 vsize=0 CPUtime=4992.3 cores=0-31
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22468 0 -1 4203588 770928 0 0 0 498644 586 0 0 25 0 2 0 8032920 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0

[startup+5016.2 s]
/proc/loadavg: 32.07 32.08 32.07 2/416 22860
/proc/meminfo: memFree=251547676/264257624 swapFree=67044764/67111528
[pid=22674] ppid=22672 vsize=0 CPUtime=160003 cores=0-31
/proc/22674/stat : 22674 (strangenight2-m) Z 22672 22674 22468 0 -1 4203548 25092327 0 0 0 15983252 17007 0 0 25 0 2 0 8032919 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/22674/statm: 0 0 0 0 0 0 0
[pid=22674/tid=22675] ppid=22672 vsize=0 CPUtime=4992.7 cores=0-31
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22468 0 -1 4203588 770928 0 0 0 498644 626 0 0 25 0 2 0 8032920 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

[startup+5016.6 s]
/proc/loadavg: 32.07 32.08 32.07 2/416 22860
/proc/meminfo: memFree=251547676/264257624 swapFree=67044764/67111528
[pid=22674] ppid=22672 vsize=0 CPUtime=160003 cores=0-31
/proc/22674/stat : 22674 (strangenight2-m) Z 22672 22674 22468 0 -1 4203548 25092327 0 0 0 15983252 17047 0 0 25 0 2 0 8032919 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/22674/statm: 0 0 0 0 0 0 0
[pid=22674/tid=22675] ppid=22672 vsize=0 CPUtime=4993.1 cores=0-31
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22468 0 -1 4203588 770928 0 0 0 498644 666 0 0 25 0 2 0 8032920 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

[startup+5016.7 s]
/proc/loadavg: 32.07 32.08 32.07 2/416 22860
/proc/meminfo: memFree=251547676/264257624 swapFree=67044764/67111528
[pid=22674] ppid=22672 vsize=0 CPUtime=160003 cores=0-31
/proc/22674/stat : 22674 (strangenight2-m) Z 22672 22674 22468 0 -1 4203548 25092327 0 0 0 15983252 17057 0 0 25 0 2 0 8032919 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/22674/statm: 0 0 0 0 0 0 0
[pid=22674/tid=22675] ppid=22672 vsize=0 CPUtime=4993.2 cores=0-31
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22468 0 -1 4203588 770928 0 0 0 498644 676 0 0 25 0 2 0 8032920 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5016.71
CPU time (s): 160003
CPU user time (s): 159833
CPU system time (s): 170.584
CPU usage (%): 3189.4
Max. virtual memory (cumulated for all children) (KiB): 28435552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159833
system time used= 170.584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25092327
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= 1327647
involuntary context switches= 307610

runsolver used 25.5141 second user time and 113.31 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-31 07:44:29
IDJOB=3400811
IDBENCH=83119
IDSOLVER=1886
FILE ID=node200/3400811-1306820669
RUNJOBID= node200-1306820480-22482
PBS_JOBID= 13471338
Free space on /tmp= 61576 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom19.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400811-1306820669/watcher-3400811-1306820669 -o /tmp/evaluation-result-3400811-1306820669/solver-3400811-1306820669 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400811-1306820669.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32

MD5SUM BENCH= d725e0d6a363434dce7cb39ffdb1b83f
RANDOM SEED=62215220

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3996.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263539848 kB
Buffers:        109008 kB
Cached:         397792 kB
SwapCached:      29992 kB
Active:         127952 kB
Inactive:       411792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263539848 kB
SwapTotal:    67111528 kB
SwapFree:     67044764 kB
Dirty:            8252 kB
Writeback:           0 kB
AnonPages:       31720 kB
Mapped:           8576 kB
Slab:            73636 kB
PageTables:       3496 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   193928 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61572 MiB
End job on node200 at 2011-05-31 09:08:07