Trace number 3400821

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) 160004 5021.58

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom21.cnf
MD5SUMe6407843d1fbd00b68d4ad600a25dfb2
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 variables48639
Number of clauses162901
Sum of the clauses size415741
Maximum clause length1542
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 283161
Number of clauses of size 378900
Number of clauses of size 4230
Number of clauses of size 519
Number of clauses of size over 5590

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.05	c Using 32 threads
0.00/0.07	c This is CryptoMiniSat 3.0.0
0.00/0.07	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07	c Reading file 'HOME/instance-3400821-1306846737.cnf'
2.56/0.11	c -- header says num vars:          48639
2.56/0.11	c -- header says num clauses:      162901
25.97/1.42	c -- clauses added:            0 learnts,       162901 normals,            0 xors
25.97/1.42	c -- vars added      48639
25.97/1.42	c Parsing time:  0.26 s
25.97/1.42	c  N st     0         0     48639     78658     74207         0    392419         0   no data   no data
76.28/3.08	c asymm  cl-useful: 8/41419/78658 lits-rem:89 time: 1.65
381.42/20.16	c Flit:    83 Blit:   4280 bXBeca:    0 bXProp: 7917 Bins:      0 BRemL:      0 BRemN:      0 P: 64.1M T:  8.53
381.42/20.18	c Cleaning up after failed var search:     0.02 s 
384.15/20.29	c Replacing     7917 vars Replaced   222269 lits Time:     0.06 s 
390.66/20.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
390.66/20.59	c bin-w-bin subsume rem          893 bins  time:  0.01 s
392.66/20.62	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.03 s
392.66/20.69	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:  34181 time:  0.06 s
394.85/20.76	c Removed useless bin:      46  fixed:     0  props:   5.30M  time:  0.07 s
411.87/21.42	c lits-rem:         0  cl-subs:      270  v-elim:  11393  v-fix:    0  time:  0.37 s
417.69/21.65	c Finding binary XORs  T:     0.23 s  found:      21
417.69/21.67	c Replacing       21 vars Replaced      258 lits Time:     0.01 s 
423.96/21.82	c Finding non-binary XORs:     0.09 s (found:   11109, avg size: 3.0)
423.96/21.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   1799 locsubst:  7100 time:   0.05
423.96/21.84	c Replacing     3550 vars Replaced    21300 lits Time:     0.02 s 
423.96/21.86	c calculated reachability. Time: 0.01
423.96/21.87	c Calc default polars -  time:   0.01 s pos:    2051 undec:   31283 neg:   15305
423.96/21.87	c =========================================================================================
423.96/21.87	c types(t): F = full restart, N = normal restart
423.96/21.87	c types(t): S = simplification begin/end, E = solution found
423.96/21.87	c restart types(rt): st = static, dy = dynamic
423.96/21.87	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
423.96/21.87	c  B st     0         0     17418     28616     22406         0    188622         0   no data   no data
443.03/22.45	c Decided on static restart strategy
459.01/22.96	c  N st     8      4921     17415     28616     22540      4641    188622    170169   no data   no data
503.72/24.31	c  N st    10     11305     17412     28616     24123     10872    188622    456624   no data   no data
506.91/24.43	c Finding binary XORs  T:     0.11 s  found:       5
545.26/25.64	c  N st    11     17050     17388     28608     23806     16306    187895    690269   no data   no data
615.47/27.82	c  F st    12     25000     17380     28608     24707     14661    187895    666237   no data   no data
615.47/27.84	c Replacing        5 vars Replaced       24 lits Time:     0.01 s 
615.47/27.87	c  N st    12     25000     17378     28607     24634     14659    187746    666136   no data   no data
618.67/28.00	c Finding binary XORs  T:     0.11 s  found:       3
666.62/29.47	c Decided on static restart strategy
666.62/29.47	c  N st    18     30000     17371     28604     25277     19572    187585   1043945   no data   no data
666.62/29.47	c  S st    18     30000     17371     28604     25277     19572    187585   1043945   no data   no data
676.83/29.78	c  S st    18     30500     17371     28604     25319     20028    187585   1051514   no data   no data
679.39/29.82	c x-sub:  3550 x-cut:      0 vfix:      0 v-elim:    900 locsubst:     0 time:   0.03
740.11/31.78	c Flit:    74 Blit:     12 bXBeca:    0 bXProp:   21 Bins: 214052 BRemL: 145204 BRemN:      9 P: 11.8M T:  1.95
740.11/31.81	c Replacing       24 vars Replaced     2225 lits Time:     0.03 s 
743.93/31.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
743.93/31.85	c bin-w-bin subsume rem          541 bins  time:  0.01 s
743.93/31.87	c subs with bin:      825  lits-rem:       578  v-fix:    0  time:  0.03 s
747.12/31.92	c Subs w/ non-existent bins:    112 l-rem:      8 v-fix:     0 done:  16361 time:  0.05 s
747.12/31.94	c Removed useless bin:     109  fixed:     0  props:   0.78M  time:  0.02 s
749.69/32.04	c lits-rem:       297  cl-subs:      253  v-elim:   2287  v-fix:    0  time:  0.09 s
749.69/32.08	c subs with bin:       79  lits-rem:       336  v-fix:    0  time:  0.03 s
752.88/32.13	c lits-rem:       173  cl-subs:      556  v-elim:      0  v-fix:    0  time:  0.04 s
775.26/32.83	c asymm  cl-useful: 301/28046/28046 lits-rem:1226 time: 0.70
775.26/32.85	c calculated reachability. Time: 0.01
775.26/32.85	c  N st    18     30500     14074     28044     75314      5113    166313    192622   no data   no data
779.04/32.96	c Finding binary XORs  T:     0.11 s  found:       0
821.12/34.50	c  N st    20     37610     14071     28044     75531     12042    166313    523540   no data   no data
842.92/35.53	c  N st    21     44009     14071     28044     75536     10529    166313    388087   no data   no data
903.15/38.90	c Finding binary XORs  T:     0.09 s  found:       2
911.33/39.35	c  S st    22     45754     14071     28042    241975     12249    166204    923702   no data   no data
915.80/39.53	c  S st    22     46254     14071     28042    241981     12735    166204    932195   no data   no data
915.80/39.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    432 locsubst:     0 time:   0.03
935.09/40.60	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    1 Bins:  46501 BRemL:  73453 BRemN:      0 P:  7.2M T:  1.04
937.57/40.64	c Replacing        3 vars Replaced      553 lits Time:     0.03 s 
937.57/40.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
937.57/40.70	c bin-w-bin subsume rem        32249 bins  time:  0.04 s
939.65/40.73	c subs with bin:      102  lits-rem:       209  v-fix:    0  time:  0.03 s
939.65/40.76	c Subs w/ non-existent bins:      0 l-rem:     17 v-fix:     0 done:  13634 time:  0.03 s
939.65/40.78	c Removed useless bin:      52  fixed:     0  props:   0.52M  time:  0.01 s
941.31/40.82	c lits-rem:         2  cl-subs:       76  v-elim:     61  v-fix:    0  time:  0.04 s
943.38/40.91	c subs with bin:        6  lits-rem:       138  v-fix:    0  time:  0.05 s
943.38/40.98	c lits-rem:       314  cl-subs:      192  v-elim:      0  v-fix:    0  time:  0.06 s
943.38/40.99	c vivif2 --  cl tried    27854 cl shrink      154 lits rem        335 time: 0.01
945.44/41.01	c vivif2 --  cl tried     8875 cl shrink      821 lits rem       2005 time: 0.02
953.44/41.45	c asymm  cl-useful: 114/24301/27807 lits-rem:299 time: 0.44
953.44/41.47	c calculated reachability. Time: 0.01
953.44/41.47	c  N st    22     46254     13573     27806    179136      8875    163786    511850   no data   no data
955.51/41.56	c Finding binary XORs  T:     0.09 s  found:       0
1061.02/45.10	c  N st    23     60651     13573     27806    179138     22940    163786    999080   no data   no data
1156.30/48.06	c  N st    24     69381     13572     27806    183654     18931    163786   1781625   no data   no data
1156.30/48.06	c  S st    24     69381     13572     27806    183654     18931    163786   1781625   no data   no data
1159.49/48.19	c Finding binary XORs  T:     0.09 s  found:       0
1169.71/48.48	c  S st    24     69885     13572     27805    193601     19431    163769   1815112   no data   no data
1172.26/48.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    216 locsubst:     0 time:   0.03
1207.40/49.70	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    9 Bins:     29 BRemL:  51727 BRemN:      0 P:  8.0M T:  1.18
1210.61/49.73	c Replacing        9 vars Replaced      172 lits Time:     0.03 s 
1210.61/49.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1210.61/49.78	c bin-w-bin subsume rem         8408 bins  time:  0.02 s
1213.81/49.81	c subs with bin:       30  lits-rem:        12  v-fix:    0  time:  0.03 s
1213.81/49.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  13345 time:  0.03 s
1213.81/49.86	c Removed useless bin:      23  fixed:     0  props:   0.47M  time:  0.02 s
1217.01/49.91	c lits-rem:         0  cl-subs:       73  v-elim:     52  v-fix:    0  time:  0.05 s
1220.20/50.07	c subs with bin:        0  lits-rem:         3  v-fix:    0  time:  0.12 s
1223.39/50.18	c lits-rem:       462  cl-subs:      275  v-elim:      0  v-fix:    0  time:  0.10 s
1223.39/50.20	c vivif2 --  cl tried    27691 cl shrink       57 lits rem         76 time: 0.01
1226.60/50.22	c vivif2 --  cl tried    13790 cl shrink      935 lits rem       2700 time: 0.03
1229.79/50.36	c asymm  cl-useful: 189/3390/27691 lits-rem:567 time: 0.13
1229.79/50.38	c calculated reachability. Time: 0.01
1229.79/50.38	c  N st    24     69885     13293     27502    131753     13790    162470    570708   no data   no data
1412.56/56.12	c  F st    25     87502     13292     27502    131753     16158    162470    571058   no data   no data
1415.80/56.15	c  N st    25     87502     13292     27501    127730     16158    162456    563016   no data   no data
1472.70/57.99	c  N dy    35     93218     13283     27501    127850     21809    162456   1352667     10.83     11.44
1533.41/59.84	c  N dy    61     99748     13278     27501    127904     28262    162456   2017220     10.91     11.49
1574.96/61.16	c  S st    80    104828     13272     27501    128097     33265    162456   2206262     10.43      9.26
1584.56/61.46	c  S st    80    105328     13272     27501    128098     33760    162456   2223326     10.43   no data
1584.56/61.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     72 locsubst:     0 time:   0.03
1629.29/62.81	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:  100 Bins:   5744 BRemL:  45741 BRemN:    111 P: 13.3M T:  1.33
1629.29/62.86	c Replacing      100 vars Replaced     2079 lits Time:     0.05 s 
1629.29/62.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1629.29/62.90	c bin-w-bin subsume rem          186 bins  time:  0.01 s
1632.48/62.92	c subs with bin:      151  lits-rem:       152  v-fix:    0  time:  0.02 s
1632.48/62.94	c Subs w/ non-existent bins:      0 l-rem:      3 v-fix:     0 done:  13097 time:  0.03 s
1632.48/62.96	c Removed useless bin:       2  fixed:     0  props:   0.51M  time:  0.02 s
1635.68/63.02	c lits-rem:        15  cl-subs:      175  v-elim:     41  v-fix:    0  time:  0.06 s
1699.60/65.04	c subs with bin:       10  lits-rem:       523  v-fix:    0  time:  1.85 s
1750.74/66.61	c lits-rem:      1663  cl-subs:      753  v-elim:      0  v-fix:    0  time:  1.55 s
1750.74/66.62	c vivif2 --  cl tried    27102 cl shrink        3 lits rem          3 time: 0.01
1753.93/66.76	c vivif2 --  cl tried    32446 cl shrink     4771 lits rem      64816 time: 0.14
1773.09/67.37	c asymm  cl-useful: 139/17055/27102 lits-rem:342 time: 0.61
1773.09/67.39	c calculated reachability. Time: 0.01
1773.09/67.39	c  N dy    80    105328     13056     27088     64348     32446    159718   1949691     10.43   no data
1776.29/67.48	c Finding binary XORs  T:     0.09 s  found:       5
1843.41/69.54	c  N dy    99    112075     13052     27088     73689     19674    159718    508034     10.10     13.35
1865.79/70.28	c Finding binary XORs  T:     0.09 s  found:       1
1913.70/71.71	c  N dy   148    119360     13049     27083     71065     26852    159479    954680     10.49     11.28
1980.85/73.87	c  N dy   191    127226     13046     27083     71260     34613    159478   1300836     10.78     11.37
2070.30/76.63	c  N dy   221    136429     13042     27083     71275     43704    159478   1683513     10.60     11.29
2147.02/79.01	c  N dy   254    145185     13042     27083     71636     30305    159478    850619     10.50     11.08
2236.50/81.83	c  N dy   315    154499     13040     27083     71713     39517    159478   1379386     10.80     11.37
2262.07/82.66	c Finding binary XORs  T:     0.09 s  found:       5
2278.06/83.10	c  S st   337    157995     13039     27070     65307     42941    159324   1542255     10.88      8.97
2284.45/83.38	c  S st   337    158497     13039     27070     65307     43440    159324   1556114     10.88   no data
2287.65/83.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2322.81/84.54	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:   10 Bins:    710 BRemL:  13306 BRemN:      2 P: 13.6M T:  1.13
2322.81/84.59	c Replacing       21 vars Replaced      853 lits Time:     0.04 s 
2322.81/84.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2322.81/84.62	c bin-w-bin subsume rem         1879 bins  time:  0.01 s
2326.63/84.63	c subs with bin:       73  lits-rem:        92  v-fix:    0  time:  0.02 s
2326.63/84.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  13016 time:  0.03 s
2326.63/84.68	c Removed useless bin:       2  fixed:     0  props:   0.42M  time:  0.02 s
2329.83/84.74	c lits-rem:         0  cl-subs:       85  v-elim:     29  v-fix:    0  time:  0.05 s
2364.99/85.84	c subs with bin:       29  lits-rem:       544  v-fix:    0  time:  0.98 s
2400.15/86.96	c lits-rem:      2266  cl-subs:     1272  v-elim:      0  v-fix:    0  time:  1.10 s
2400.15/86.97	c vivif2 --  cl tried    26883 cl shrink        1 lits rem          1 time: 0.01
2405.90/87.10	c vivif2 --  cl tried    41947 cl shrink     5513 lits rem      41853 time: 0.12
2415.50/87.44	c asymm  cl-useful: 20/9828/26883 lits-rem:60 time: 0.33
2415.50/87.45	c calculated reachability. Time: 0.01
2415.50/87.45	c  N dy   337    158497     12987     26863     48001     41947    158379   1424165     10.88   no data
2514.59/90.55	c  N dy   367    169212     12986     26863     48201     28786    158379   1006720     10.71     11.29
2543.35/91.48	c Finding binary XORs  T:     0.09 s  found:      12
2616.87/93.74	c  N dy   388    180035     12985     26862     48490     39391    158362   1735442     10.46     11.28
2744.74/97.77	c  N dy   428    191608     12985     26862     48522     25663    158362    504467     10.41     12.33
2786.92/99.09	c Finding binary XORs  T:     0.09 s  found:       2
2872.57/101.72	c  N dy   504    205621     12983     26859     47992     38984    158320   1215684     10.53     11.32
3010.02/106.02	c  N dy   576    218778     12982     26859     48742     52007    158320   1974660     10.70     14.30
3109.11/109.10	c Finding binary XORs  T:     0.09 s  found:       0
3153.86/110.57	c  N dy   648    233004     12981     26857     47926     39955    158232   1278844     10.79     11.46
3211.40/112.31	c  S st   670    237745     12980     26857     47966     44656    158232   1526227     10.79   no data
3220.99/112.66	c  S st   670    238251     12980     26857     47967     45161    158232   1540116     10.79   no data
3220.99/112.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3256.15/113.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   2274 BRemL:   6076 BRemN:     17 P: 13.2M T:  1.09
3259.35/113.81	c Replacing       15 vars Replaced      977 lits Time:     0.04 s 
3259.35/113.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3259.35/113.84	c bin-w-bin subsume rem          561 bins  time:  0.01 s
3259.35/113.86	c subs with bin:       19  lits-rem:        36  v-fix:    0  time:  0.02 s
3259.35/113.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12965 time:  0.03 s
3262.54/113.91	c Removed useless bin:       2  fixed:     0  props:   0.41M  time:  0.02 s
3262.54/113.96	c lits-rem:         0  cl-subs:       26  v-elim:     12  v-fix:    0  time:  0.05 s
3297.70/115.09	c subs with bin:       93  lits-rem:      1370  v-fix:    0  time:  1.01 s
3332.87/116.15	c lits-rem:      2189  cl-subs:      982  v-elim:      0  v-fix:    0  time:  1.05 s
3332.87/116.16	c vivif2 --  cl tried    26796 cl shrink        0 lits rem          0 time: 0.01
3339.26/116.30	c vivif2 --  cl tried    43884 cl shrink     6291 lits rem      50477 time: 0.13
3355.23/116.88	c asymm  cl-useful: 59/16317/26796 lits-rem:86 time: 0.58
3355.23/116.90	c calculated reachability. Time: 0.01
3355.23/116.90	c  N dy   670    238251     12953     26793     43235     43884    157791   1432907     10.79   no data
3358.43/116.99	c Finding binary XORs  T:     0.09 s  found:       0
3470.29/120.48	c Finding binary XORs  T:     0.09 s  found:       1
3543.82/122.75	c  N dy   728    253470     12950     26783     45406     31572    157761    913540     10.75     18.93
3713.15/128.03	c  N dy   822    269781     12950     26783     45769     47712    157761   1961540     10.87     11.77
3815.44/131.20	c Finding binary XORs  T:     0.09 s  found:       2
3901.75/133.97	c  N dy   903    287079     12950     26780     44243     36312    157732    963246     10.92     11.53
4087.78/139.78	c  N dy   967    305453     12950     26780     44284     54438    157732   2272659     10.89     11.48
4096.73/140.02	c  F st   970    306253     12950     26780     44298     55225    157732   2309884     10.88      9.82
4096.73/140.07	c Replacing        3 vars Replaced      123 lits Time:     0.02 s 
4151.07/141.77	c Decided on static restart strategy
4320.50/147.08	c  N st   979    324958     12946     26773     44244     44220    157642   2861874     10.88   no data
4323.69/147.17	c Finding binary XORs  T:     0.09 s  found:       6
4608.17/156.06	c  N st   981    348953     12946     26773     44966     38454    157642   1858918     10.88   no data
4700.81/159.00	c  S st   982    357376     12945     26773     44995     46765    157642   2671724     10.88   no data
4713.59/159.36	c  S st   982    357880     12945     26773     44995     47265    157642   2690460     10.88   no data
4713.59/159.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4745.55/160.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:    710 BRemL:   4440 BRemN:      0 P: 12.5M T:  0.99
4748.76/160.43	c Replacing       10 vars Replaced      245 lits Time:     0.05 s 
4748.76/160.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4748.76/160.46	c bin-w-bin subsume rem          462 bins  time:  0.01 s
4748.76/160.48	c subs with bin:       29  lits-rem:        14  v-fix:    0  time:  0.02 s
4748.76/160.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12935 time:  0.03 s
4752.54/160.53	c Removed useless bin:       1  fixed:     0  props:   0.41M  time:  0.02 s
4752.54/160.60	c lits-rem:         3  cl-subs:       27  v-elim:     13  v-fix:    0  time:  0.07 s
4819.07/162.60	c subs with bin:       23  lits-rem:       866  v-fix:    0  time:  1.81 s
4911.75/165.57	c lits-rem:      2437  cl-subs:      937  v-elim:      0  v-fix:    0  time:  2.96 s
4911.75/165.58	c vivif2 --  cl tried    26712 cl shrink        0 lits rem          0 time: 0.01
4921.35/165.80	c vivif2 --  cl tried    45326 cl shrink     9446 lits rem      89598 time: 0.22
4934.12/166.20	c asymm  cl-useful: 0/10395/26712 lits-rem:0 time: 0.40
4934.12/166.22	c calculated reachability. Time: 0.01
4934.12/166.22	c  N st   982    357880     12922     26712     40473     45326    157525   2299190     10.88   no data
4937.32/166.31	c Finding binary XORs  T:     0.09 s  found:       0
5327.24/178.52	c  N st   983    390273     12922     26712     40477     47055    157525   1982822     10.88   no data
6190.12/205.52	c  N st   984    438861     12921     26712     40493     63472    157525   8001274     10.88   no data
6193.90/205.67	c Finding binary XORs  T:     0.09 s  found:       0
7164.88/236.04	c  N st   985    511744     12920     26710     40764     67358    157462   3740200     10.88   no data
7564.94/248.52	c  N st   986    536820     12919     26710     40855     56921    157462   5508067     10.88   no data
7564.94/248.52	c  S st   986    536820     12919     26710     40855     56921    157462   5508067     10.88   no data
7580.36/249.02	c  S st   986    537323     12919     26710     40908     57422    157462   5522783     10.88   no data
7580.36/249.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
7618.69/250.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     16 BRemL:    773 BRemN:      0 P: 13.7M T:  1.15
7618.69/250.30	c Replacing        1 vars Replaced      116 lits Time:     0.09 s 
7621.88/250.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7621.88/250.32	c bin-w-bin subsume rem           34 bins  time:  0.01 s
7621.88/250.34	c subs with bin:        6  lits-rem:         3  v-fix:    0  time:  0.02 s
7621.88/250.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12918 time:  0.02 s
7621.88/250.38	c Removed useless bin:       0  fixed:     0  props:   0.41M  time:  0.02 s
7625.08/250.48	c lits-rem:         0  cl-subs:        1  v-elim:      3  v-fix:    0  time:  0.10 s
7701.80/252.89	c subs with bin:       27  lits-rem:       121  v-fix:    0  time:  1.98 s
7887.15/258.62	c lits-rem:      8753  cl-subs:     1132  v-elim:      0  v-fix:    0  time:  5.72 s
7887.15/258.63	c vivif2 --  cl tried    26699 cl shrink        0 lits rem          0 time: 0.01
7899.90/259.07	c vivif2 --  cl tried    56214 cl shrink    11517 lits rem     377543 time: 0.42
7925.46/259.82	c asymm  cl-useful: 46/15128/26699 lits-rem:79 time: 0.74
7925.46/259.83	c calculated reachability. Time: 0.01
7925.46/259.83	c  N st   986    537323     12915     26699     40011     56213    157292   5033542     10.88   no data
11271.23/364.56	c  N st   987    701307     12915     26699     40016     66928    157292   6577478     10.88   no data
11277.63/364.71	c Finding binary XORs  T:     0.09 s  found:       2
14246.86/457.69	c  N st   988    805985     12914     26698     39825     88658    157277  11959117     10.88   no data
14246.86/457.69	c  S st   988    805985     12914     26698     39825     88658    157277  11959117     10.88   no data
14252.62/457.88	c Finding binary XORs  T:     0.09 s  found:       1
14274.96/458.58	c  S st   988    806488     12911     26695     39153     46420    157233   2133991     10.88   no data
14274.96/458.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
14306.92/459.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     14 BRemL:    397 BRemN:      0 P: 12.0M T:  0.96
14310.12/459.60	c Replacing        3 vars Replaced       67 lits Time:     0.03 s 
14310.12/459.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14310.12/459.63	c bin-w-bin subsume rem           60 bins  time:  0.01 s
14310.12/459.65	c subs with bin:       23  lits-rem:        16  v-fix:    0  time:  0.02 s
14310.12/459.68	c Subs w/ non-existent bins:      0 l-rem:      2 v-fix:     0 done:  12908 time:  0.03 s
14310.12/459.70	c Removed useless bin:       1  fixed:     0  props:   0.41M  time:  0.02 s
14313.94/459.78	c lits-rem:         1  cl-subs:       19  v-elim:      3  v-fix:    0  time:  0.08 s
14367.65/461.46	c subs with bin:       13  lits-rem:       490  v-fix:    0  time:  1.53 s
14415.57/462.97	c lits-rem:       786  cl-subs:      702  v-elim:      0  v-fix:    0  time:  1.50 s
14415.57/462.99	c vivif2 --  cl tried    26652 cl shrink        0 lits rem          0 time: 0.01
14419.36/463.11	c vivif2 --  cl tried    45188 cl shrink     2179 lits rem      18810 time: 0.13
14434.72/463.60	c asymm  cl-useful: 3/11524/26652 lits-rem:9 time: 0.48
14437.92/463.61	c calculated reachability. Time: 0.01
14437.92/463.61	c  N st   988    806488     12905     26649     38474     45187    157078   2021823     10.88   no data
20275.98/646.33	c  F st   989   1071875     12905     26649     38475     81429    157078  10636655     10.88   no data
20275.98/646.36	c  N st   989   1071875     12905     26649     38475     81429    157078  10636655     10.88   no data
20282.35/646.54	c Finding binary XORs  T:     0.09 s  found:       5
20371.84/649.31	c Decided on static restart strategy
20755.23/661.31	c  N st   999   1100184     12904     26645     38928     60666    157012   3471395     10.88   no data
21288.92/678.08	c  N st  1001   1136178     12904     26645     38951     96135    157012   6766456     10.88   no data
22068.56/702.43	c  N st  1002   1168570     12904     26645     38954     78890    157012   7633548     10.88   no data
22788.13/724.93	c  N st  1003   1209736     12903     26645     38966     69027    157012   4215528     10.88   no data
22788.13/724.94	c  S st  1003   1209736     12903     26645     38966     69027    157012   4215528     10.88   no data
22806.70/725.57	c  S st  1003   1210239     12903     26645     39024     69527    157012   4234426     10.88   no data
22809.90/725.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
22851.43/726.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:     38 BRemL:    488 BRemN:      0 P: 14.4M T:  1.31
22855.25/727.04	c Replacing        7 vars Replaced     2150 lits Time:     0.11 s 
22855.25/727.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
22855.25/727.07	c bin-w-bin subsume rem           51 bins  time:  0.01 s
22855.25/727.09	c subs with bin:       20  lits-rem:        13  v-fix:    0  time:  0.02 s
22858.45/727.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12896 time:  0.03 s
22858.45/727.14	c Removed useless bin:       2  fixed:     0  props:   0.41M  time:  0.02 s
22861.04/727.26	c lits-rem:         0  cl-subs:       10  v-elim:      2  v-fix:    0  time:  0.11 s
22940.90/729.77	c subs with bin:       35  lits-rem:      2283  v-fix:    0  time:  2.21 s
23110.31/735.08	c lits-rem:      2567  cl-subs:     2534  v-elim:      0  v-fix:    0  time:  5.29 s
23110.31/735.09	c vivif2 --  cl tried    26596 cl shrink        0 lits rem          0 time: 0.01
23123.11/735.42	c vivif2 --  cl tried    66609 cl shrink     9481 lits rem     181690 time: 0.32
23151.88/736.31	c asymm  cl-useful: 34/14084/26596 lits-rem:39 time: 0.89
23151.88/736.33	c calculated reachability. Time: 0.01
23151.88/736.33	c  N st  1003   1210239     12894     26596     38333     66607    156797   3891980     10.88   no data
24503.45/778.70	c  N st  1004   1283123     12893     26596     38404     87205    156796   5585696     10.88   no data
27714.22/879.17	c  N st  1005   1392447     12893     26596     38409     90075    156796   9692830     10.88   no data
27720.62/879.34	c Finding binary XORs  T:     0.09 s  found:       1
30943.61/980.23	c  N st  1006   1556431     12893     26595     37868     85973    156784   5539860     10.88   no data
35955.81/1137.18	c  N st  1007   1710240     12893     26595     37911    123448    156784  17539695     10.88   no data
35955.81/1137.18	c  S st  1007   1710240     12893     26595     37911    123448    156784  17539695     10.88   no data
35994.12/1138.41	c  S st  1007   1710742     12892     26595     38066     64239    156784   2959719     10.88   no data
35997.90/1138.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
36038.86/1139.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:    269 BRemN:      0 P: 13.9M T:  1.30
36042.05/1139.85	c Replacing        1 vars Replaced       17 lits Time:     0.08 s 
36042.05/1139.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
36042.05/1139.88	c bin-w-bin subsume rem           49 bins  time:  0.01 s
36045.25/1139.90	c subs with bin:       11  lits-rem:         4  v-fix:    0  time:  0.02 s
36045.25/1139.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12891 time:  0.03 s
36045.25/1139.95	c Removed useless bin:       1  fixed:     0  props:   0.41M  time:  0.02 s
36048.45/1140.06	c lits-rem:         0  cl-subs:       10  v-elim:      2  v-fix:    0  time:  0.11 s
36125.13/1142.46	c subs with bin:       11  lits-rem:       747  v-fix:    0  time:  2.18 s
36221.02/1145.44	c lits-rem:      1786  cl-subs:      631  v-elim:      0  v-fix:    0  time:  2.97 s
36221.02/1145.45	c vivif2 --  cl tried    26570 cl shrink        0 lits rem          0 time: 0.01
36227.41/1145.61	c vivif2 --  cl tried    63082 cl shrink     1508 lits rem      22931 time: 0.15
36249.79/1146.30	c asymm  cl-useful: 0/12486/26570 lits-rem:0 time: 0.70
36249.79/1146.32	c calculated reachability. Time: 0.01
36249.79/1146.32	c  N st  1007   1710742     12889     26570     37547     63082    156673   2873434     10.88   no data
46476.71/1466.40	c  N st  1008   2079706     12889     26570     37547    114583    156673   7600984     10.88   no data
46476.71/1466.50	c Finding binary XORs  T:     0.09 s  found:       0
50994.27/1607.89	c  N st  1009   2210742     12889     26570     37698    114294    156673   9322949     10.88   no data
50994.27/1607.89	c  S st  1009   2210742     12889     26570     37698    114294    156673   9322949     10.88   no data
51022.99/1608.75	c  S st  1009   2211244     12888     26570     37766    114794    156673   9342641     10.88   no data
51026.19/1608.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
51080.49/1610.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     33 BRemL:    134 BRemN:      0 P: 20.1M T:  1.74
51080.49/1610.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
51080.49/1610.59	c bin-w-bin subsume rem           18 bins  time:  0.01 s
51083.72/1610.61	c subs with bin:        8  lits-rem:         2  v-fix:    0  time:  0.02 s
51083.72/1610.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12888 time:  0.03 s
51083.72/1610.66	c Removed useless bin:       1  fixed:     0  props:   0.41M  time:  0.02 s
51090.11/1610.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
51201.85/1614.31	c subs with bin:        3  lits-rem:        54  v-fix:    0  time:  2.55 s
52134.96/1643.54	c lits-rem:      7602  cl-subs:     2441  v-elim:      0  v-fix:    0  time: 29.21 s
52134.96/1643.55	c vivif2 --  cl tried    26561 cl shrink        0 lits rem          0 time: 0.01
52167.56/1644.52	c vivif2 --  cl tried   112349 cl shrink    37429 lits rem     484563 time: 0.95
52182.92/1645.06	c asymm  cl-useful: 11/1521/26561 lits-rem:22 time: 0.54
52182.92/1645.08	c calculated reachability. Time: 0.01
52182.92/1645.08	c  N st  1009   2211244     12888     26561     37515    112348    156620   8654731     10.88   no data
65402.39/2058.83	c  N st  1010   2711244     12888     26561     37515    116965    156620   8488493     10.88   no data
65402.39/2058.83	c  S st  1010   2711244     12888     26561     37515    116965    156620   8488493     10.88   no data
65427.97/2059.68	c  S st  1010   2711745     12887     26561     37647    117465    156620   8503117     10.88   no data
65431.16/2059.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
65488.66/2061.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     28 BRemL:    162 BRemN:      0 P: 20.0M T:  1.79
65488.66/2061.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
65488.66/2061.57	c bin-w-bin subsume rem            8 bins  time:  0.01 s
65488.66/2061.59	c subs with bin:        2  lits-rem:         1  v-fix:    0  time:  0.02 s
65491.85/2061.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12887 time:  0.03 s
65491.85/2061.64	c Removed useless bin:       1  fixed:     0  props:   0.41M  time:  0.02 s
65498.25/2061.82	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.18 s
65609.99/2065.32	c subs with bin:        3  lits-rem:        45  v-fix:    0  time:  2.70 s
66344.63/2088.30	c lits-rem:      2699  cl-subs:     2421  v-elim:      0  v-fix:    0  time: 22.96 s
66344.63/2088.32	c vivif2 --  cl tried    26557 cl shrink        0 lits rem          0 time: 0.01
66370.12/2089.18	c vivif2 --  cl tried   115039 cl shrink    29959 lits rem     441797 time: 0.84
66399.50/2090.05	c asymm  cl-useful: 15/13678/26557 lits-rem:16 time: 0.87
66399.50/2090.07	c calculated reachability. Time: 0.01
66399.50/2090.07	c  N st  1010   2711745     12887     26557     37190    115039    156575   7810097     10.88   no data
78306.98/2462.78	c  N st  1011   3211745     12887     26557     37190    149283    156575  11661111     10.88   no data
78306.98/2462.78	c  S st  1011   3211745     12887     26557     37190    149283    156575  11661111     10.88   no data
78310.77/2462.86	c Finding binary XORs  T:     0.08 s  found:       0
78345.96/2463.96	c  S st  1011   3212246     12887     26557     37295    149783    156575  11679203     10.88   no data
78349.15/2464.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
78412.40/2466.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     36 BRemL:    141 BRemN:      0 P: 21.7M T:  2.00
78412.40/2466.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78412.40/2466.07	c bin-w-bin subsume rem            8 bins  time:  0.01 s
78412.40/2466.09	c subs with bin:        4  lits-rem:         1  v-fix:    0  time:  0.02 s
78416.18/2466.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12887 time:  0.03 s
78416.18/2466.14	c Removed useless bin:       0  fixed:     0  props:   0.41M  time:  0.02 s
78421.98/2466.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
78543.42/2470.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.85 s
79658.59/2505.05	c lits-rem:      3601  cl-subs:     3004  v-elim:      0  v-fix:    0  time: 34.87 s
79658.59/2505.06	c vivif2 --  cl tried    26553 cl shrink        0 lits rem          0 time: 0.01
79696.95/2506.28	c vivif2 --  cl tried   146779 cl shrink    36258 lits rem     487295 time: 1.20
79719.97/2506.94	c asymm  cl-useful: 0/3051/26553 lits-rem:0 time: 0.66
79719.97/2506.96	c calculated reachability. Time: 0.01
79719.97/2506.96	c  N st  1011   3212246     12887     26553     37183    146779    156570  10939062     10.88   no data
96471.18/3031.24	c  N st  1012   3712247     12887     26553     37183    146677    156570  14003561     10.88   no data
96471.18/3031.24	c  S st  1012   3712247     12887     26553     37183    146677    156570  14003561     10.88   no data
96506.34/3032.34	c  S st  1012   3712747     12885     26553     37357    147176    156570  14019817     10.88   no data
96509.54/3032.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
96576.67/3034.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     36 BRemL:    159 BRemN:      0 P: 24.1M T:  2.09
96576.67/3034.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
96576.67/3034.54	c bin-w-bin subsume rem            9 bins  time:  0.01 s
96576.67/3034.56	c subs with bin:        6  lits-rem:         2  v-fix:    0  time:  0.02 s
96576.67/3034.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12885 time:  0.03 s
96579.88/3034.61	c Removed useless bin:       0  fixed:     0  props:   0.41M  time:  0.02 s
96586.86/3034.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.24 s
96717.22/3038.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.84 s
97806.76/3073.07	c lits-rem:      8044  cl-subs:     1921  v-elim:      0  v-fix:    0  time: 34.08 s
97806.76/3073.08	c vivif2 --  cl tried    26545 cl shrink        0 lits rem          0 time: 0.01
97855.31/3074.56	c vivif2 --  cl tried   145094 cl shrink    41712 lits rem     514206 time: 1.46
97883.45/3075.41	c asymm  cl-useful: 0/7205/26545 lits-rem:0 time: 0.85
97883.45/3075.43	c calculated reachability. Time: 0.01
97883.45/3075.43	c  N st  1012   3712747     12885     26545     36678    145094    156516  13306179     10.88   no data
99030.28/3111.30	c  F st  1013   3751562     12885     26545     36678     97296    156516   5076352     10.88   no data
99030.28/3111.33	c  N st  1013   3751562     12885     26545     36678     97296    156516   5076352     10.88   no data
99033.48/3111.41	c Finding binary XORs  T:     0.08 s  found:       0
99113.41/3113.92	c Decided on static restart strategy
99630.94/3130.15	c  N st  1023   3779866     12885     26545     36728    125329    156515   9108385     10.88   no data
100503.32/3157.49	c  N st  1025   3815862     12885     26545     36758    160694    156515  13143093     10.88   no data
101493.94/3188.40	c  N st  1026   3848255     12885     26545     36762    105601    156515   5708966     10.88   no data
102362.88/3215.68	c  N st  1027   3896843     12885     26545     36816    153289    156515  11022947     10.88   no data
104839.20/3293.16	c  N st  1028   3969725     12885     26545     36819    138087    156515  17086543     10.88   no data
107522.77/3377.10	c  N st  1029   4079049     12885     26545     36864    157247    156515  11493762     10.88   no data
107522.77/3377.19	c Finding binary XORs  T:     0.08 s  found:       0
111386.25/3498.09	c  N st  1030   4212748     12885     26545     37073    107930    156515   5811710     10.88   no data
111386.25/3498.09	c  S st  1030   4212748     12885     26545     37073    107930    156515   5811710     10.88   no data
111414.39/3498.96	c  S st  1030   4213250     12885     26545     37090    108430    156515   5825739     10.88   no data
111418.21/3499.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
111468.64/3500.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     21 BRemL:    504 BRemN:      0 P: 18.7M T:  1.67
111471.83/3500.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
111471.83/3500.73	c bin-w-bin subsume rem           15 bins  time:  0.01 s
111471.83/3500.75	c subs with bin:        2  lits-rem:         1  v-fix:    0  time:  0.02 s
111471.83/3500.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12885 time:  0.03 s
111471.83/3500.80	c Removed useless bin:       0  fixed:     0  props:   0.41M  time:  0.02 s
111478.19/3500.96	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.16 s
111580.48/3504.11	c subs with bin:        0  lits-rem:        47  v-fix:    0  time:  2.70 s
111762.55/3509.81	c lits-rem:      1321  cl-subs:     1633  v-elim:      0  v-fix:    0  time:  5.70 s
111762.55/3509.83	c vivif2 --  cl tried    26559 cl shrink       16 lits rem         56 time: 0.01
111775.32/3510.23	c vivif2 --  cl tried   106768 cl shrink     7824 lits rem     184957 time: 0.40
111778.53/3510.33	c asymm  cl-useful: 0/1104/26559 lits-rem:0 time: 0.10
111778.53/3510.35	c calculated reachability. Time: 0.01
111778.53/3510.35	c  N st  1030   4213250     12884     26559     36551    106768    156742   5588119     10.88   no data
120261.60/3775.85	c  N st  1031   4459226     12884     26559     36552    165611    156742  15678783     10.88   no data
129229.19/4056.59	c  N st  1032   4713250     12883     26559     36646    131941    156742   9298886     10.88   no data
129229.19/4056.59	c  S st  1032   4713250     12883     26559     36646    131941    156742   9298886     10.88   no data
129261.12/4057.56	c  S st  1032   4713751     12882     26559     36748    132441    156742   9319873     10.88   no data
129264.30/4057.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
129315.45/4059.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     10 BRemL:     64 BRemN:      0 P: 21.8M T:  1.65
129315.45/4059.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
129318.65/4059.31	c bin-w-bin subsume rem           35 bins  time:  0.01 s
129318.65/4059.33	c subs with bin:        4  lits-rem:         2  v-fix:    0  time:  0.02 s
129318.65/4059.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12882 time:  0.03 s
129318.65/4059.38	c Removed useless bin:       0  fixed:     0  props:   0.41M  time:  0.02 s
129324.98/4059.56	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.18 s
129427.23/4062.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.43 s
129893.70/4077.36	c lits-rem:       755  cl-subs:     1306  v-elim:      0  v-fix:    0  time: 14.56 s
129893.70/4077.37	c vivif2 --  cl tried    26551 cl shrink        0 lits rem          0 time: 0.01
129919.27/4078.17	c vivif2 --  cl tried   131034 cl shrink    24013 lits rem     386102 time: 0.78
129944.82/4078.94	c asymm  cl-useful: 9/2747/26551 lits-rem:9 time: 0.77
129944.82/4078.95	c calculated reachability. Time: 0.01
129944.82/4078.96	c  N st  1032   4713751     12882     26551     36504    131033    156628   8787200     10.88   no data
151795.52/4762.90	c  N st  1033   5213751     12882     26551     36504    130832    156628   8564180     10.88   no data
151795.52/4762.90	c  S st  1033   5213751     12882     26551     36504    130832    156628   8564180     10.88   no data
151802.52/4763.06	c Finding binary XORs  T:     0.08 s  found:       0
151827.47/4763.89	c  S st  1033   5214253     12881     26550     36545    131259    156613   8577666     10.88   no data
151830.69/4763.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
151881.80/4765.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:    243 BRemN:      0 P: 20.6M T:  1.55
151881.80/4765.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
151881.80/4765.54	c bin-w-bin subsume rem           25 bins  time:  0.01 s
151881.80/4765.56	c subs with bin:        2  lits-rem:         1  v-fix:    0  time:  0.02 s
151881.80/4765.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12881 time:  0.04 s
151885.02/4765.61	c Removed useless bin:       0  fixed:     0  props:   0.41M  time:  0.02 s
151888.20/4765.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
152000.08/4769.22	c subs with bin:      253  lits-rem:      2660  v-fix:    0  time:  2.77 s
152952.23/4799.07	c lits-rem:       991  cl-subs:     2194  v-elim:      0  v-fix:    0  time: 29.83 s
152952.23/4799.08	c vivif2 --  cl tried    26548 cl shrink        0 lits rem          0 time: 0.01
152977.75/4799.82	c vivif2 --  cl tried   128812 cl shrink    22722 lits rem     350883 time: 0.71
153000.12/4800.51	c asymm  cl-useful: 16/13283/26548 lits-rem:16 time: 0.69
153000.12/4800.52	c calculated reachability. Time: 0.01
153000.12/4800.52	c  N st  1033   5214253     12881     26548     36280    128811    156595   7917281     10.88   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3400821-1306846737/watcher-3400821-1306846737 -o /tmp/evaluation-result-3400821-1306846737/solver-3400821-1306846737 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400821-1306846737.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: 29.64 31.59 31.90 1/413 24191
/proc/meminfo: memFree=263524320/264257624 swapFree=67044776/67111528
[pid=24191] ppid=24189 vsize=338000 CPUtime=0.84 cores=0-31
/proc/24191/stat : 24191 (strangenight2-m) R 24189 24191 24165 0 -1 4202496 437 0 0 0 84 0 0 0 25 0 32 0 10639703 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/24191/statm: 84500 376 297 95 0 79482 0
[pid=24191/tid=24192] ppid=24189 vsize=338000 CPUtime=0.03 cores=0-31
/proc/24191/task/24192/stat : 24192 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24191/tid=24193] ppid=24189 vsize=338000 CPUtime=0.03 cores=0-31
/proc/24191/task/24193/stat : 24193 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537708 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24191/tid=24194] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24194/stat : 24194 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537708 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=24191/tid=24195] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24195/stat : 24195 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=24191/tid=24196] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24196/stat : 24196 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24191/tid=24197] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24197/stat : 24197 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=24191/tid=24198] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24198/stat : 24198 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=24191/tid=24199] ppid=24189 vsize=338000 CPUtime=0 cores=0-31
/proc/24191/task/24199/stat : 24199 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=24191/tid=24200] ppid=24189 vsize=338000 CPUtime=0 cores=0-31
/proc/24191/task/24200/stat : 24200 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=24191/tid=24201] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24201/stat : 24201 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537704 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=24191/tid=24202] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24202/stat : 24202 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=24191/tid=24203] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24203/stat : 24203 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24191/tid=24204] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24204/stat : 24204 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537704 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=24191/tid=24205] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24205/stat : 24205 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24191/tid=24206] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24206/stat : 24206 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24191/tid=24207] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24207/stat : 24207 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24191/tid=24208] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24208/stat : 24208 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537704 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24191/tid=24209] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24209/stat : 24209 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537712 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=24191/tid=24210] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24210/stat : 24210 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=24191/tid=24211] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24211/stat : 24211 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537708 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=24191/tid=24212] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24212/stat : 24212 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537708 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=24191/tid=24213] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24213/stat : 24213 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=24191/tid=24214] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24214/stat : 24214 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537704 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=24191/tid=24215] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24215/stat : 24215 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=24191/tid=24216] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24216/stat : 24216 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537708 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=24191/tid=24217] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24217/stat : 24217 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=24191/tid=24218] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24218/stat : 24218 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=24191/tid=24219] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24219/stat : 24219 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537708 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=24191/tid=24220] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24220/stat : 24220 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=24191/tid=24221] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24221/stat : 24221 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=24191/tid=24222] ppid=24189 vsize=338000 CPUtime=0.02 cores=0-31
/proc/24191/task/24222/stat : 24222 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10639704 346112000 376 268435456000 4194304 4580107 140736695828080 18446744073709551615 46962405537714 0 0 4096 2 0 0 0 -1 26 0 0 0

[startup+0.095033 s]
/proc/loadavg: 29.64 31.59 31.90 1/413 24191
/proc/meminfo: memFree=263524320/264257624 swapFree=67044776/67111528
[pid=24191] ppid=24189 vsize=797968 CPUtime=2.35 cores=0-31
/proc/24191/stat : 24191 (strangenight2-m) D 24189 24191 24165 0 -1 4202496 7479 0 0 0 180 55 0 0 25 0 32 0 10639703 817119232 7335 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/24191/statm: 199492 7390 330 95 0 194474 0
[pid=24191/tid=24192] ppid=24189 vsize=797968 CPUtime=0.07 cores=0-31
/proc/24191/task/24192/stat : 24192 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 209 0 0 0 6 1 0 0 24 0 32 0 10639704 817119232 7416 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24191/tid=24193] ppid=24189 vsize=797968 CPUtime=0.07 cores=0-31
/proc/24191/task/24193/stat : 24193 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 201 0 0 0 6 1 0 0 24 0 32 0 10639704 817119232 7436 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24191/tid=24194] ppid=24189 vsize=797968 CPUtime=0.07 cores=0-31
/proc/24191/task/24194/stat : 24194 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 258 0 0 0 6 1 0 0 18 0 32 0 10639704 817119232 7545 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=24191/tid=24195] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24195/stat : 24195 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 241 0 0 0 5 1 0 0 18 0 32 0 10639704 817119232 7545 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=24191/tid=24196] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24196/stat : 24196 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 239 0 0 0 5 1 0 0 24 0 32 0 10639704 817119232 7545 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24191/tid=24197] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24197/stat : 24197 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 204 0 0 0 5 1 0 0 24 0 32 0 10639704 817119232 7604 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=24191/tid=24198] ppid=24189 vsize=797968 CPUtime=0.05 cores=0-31
/proc/24191/task/24198/stat : 24198 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 267 0 0 0 4 1 0 0 18 0 32 0 10639704 817119232 7604 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=24191/tid=24199] ppid=24189 vsize=797968 CPUtime=0.01 cores=0-31
/proc/24191/task/24199/stat : 24199 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 203 0 0 0 0 1 0 0 25 0 32 0 10639704 817119232 7604 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=24191/tid=24200] ppid=24189 vsize=797968 CPUtime=0.04 cores=0-31
/proc/24191/task/24200/stat : 24200 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 259 0 0 0 3 1 0 0 25 0 32 0 10639704 817119232 7623 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=24191/tid=24201] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24201/stat : 24201 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 208 0 0 0 5 1 0 0 25 0 32 0 10639704 817119232 7654 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=24191/tid=24202] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24202/stat : 24202 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 230 0 0 0 5 1 0 0 18 0 32 0 10639704 817119232 7654 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=24191/tid=24203] ppid=24189 vsize=797968 CPUtime=0.07 cores=0-31
/proc/24191/task/24203/stat : 24203 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 266 0 0 0 5 2 0 0 18 0 32 0 10639704 817119232 7654 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24191/tid=24204] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24204/stat : 24204 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 272 0 0 0 5 1 0 0 18 0 32 0 10639704 817119232 7691 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=24191/tid=24205] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24205/stat : 24205 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 243 0 0 0 5 1 0 0 18 0 32 0 10639704 817119232 7701 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24191/tid=24206] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24206/stat : 24206 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 218 0 0 0 5 1 0 0 25 0 32 0 10639704 817119232 7724 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24191/tid=24207] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24207/stat : 24207 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 209 0 0 0 5 1 0 0 25 0 32 0 10639704 817119232 7724 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24191/tid=24208] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24208/stat : 24208 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 269 0 0 0 5 1 0 0 25 0 32 0 10639704 817119232 7794 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24191/tid=24209] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24209/stat : 24209 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 219 0 0 0 5 1 0 0 25 0 32 0 10639704 817119232 7794 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=24191/tid=24210] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24210/stat : 24210 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 240 0 0 0 5 1 0 0 25 0 32 0 10639704 817119232 7803 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=24191/tid=24211] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24211/stat : 24211 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 255 0 0 0 5 1 0 0 25 0 32 0 10639704 817119232 7817 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=24191/tid=24212] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24212/stat : 24212 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 216 0 0 0 5 1 0 0 25 0 32 0 10639704 817119232 7846 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=24191/tid=24213] ppid=24189 vsize=797968 CPUtime=0.07 cores=0-31
/proc/24191/task/24213/stat : 24213 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 228 0 0 0 5 2 0 0 18 0 32 0 10639704 817119232 7846 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=24191/tid=24214] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24214/stat : 24214 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 297 0 0 0 5 1 0 0 18 0 32 0 10639704 817119232 7857 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=24191/tid=24215] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24215/stat : 24215 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 213 0 0 0 5 1 0 0 25 0 32 0 10639704 817119232 7869 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=24191/tid=24216] ppid=24189 vsize=797968 CPUtime=0.06 cores=0-31
/proc/24191/task/24216/stat : 24216 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 195 0 0 0 5 1 0 0 25 0 32 0 10639704 817119232 7892 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=24191/tid=24217] ppid=24189 vsize=798100 CPUtime=0.07 cores=0-31
/proc/24191/task/24217/stat : 24217 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 263 0 0 0 5 2 0 0 25 0 32 0 10639704 817254400 7900 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=24191/tid=24218] ppid=24189 vsize=798100 CPUtime=0.06 cores=0-31
/proc/24191/task/24218/stat : 24218 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 236 0 0 0 5 1 0 0 25 0 32 0 10639704 817254400 7944 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=24191/tid=24219] ppid=24189 vsize=798100 CPUtime=0.06 cores=0-31
/proc/24191/task/24219/stat : 24219 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 218 0 0 0 5 1 0 0 25 0 32 0 10639704 817254400 7944 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=24191/tid=24220] ppid=24189 vsize=798100 CPUtime=0.06 cores=0-31
/proc/24191/task/24220/stat : 24220 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 240 0 0 0 5 1 0 0 25 0 32 0 10639704 817254400 7944 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=24191/tid=24221] ppid=24189 vsize=798100 CPUtime=0.07 cores=0-31
/proc/24191/task/24221/stat : 24221 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 223 0 0 0 5 2 0 0 25 0 32 0 10639704 817254400 7950 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=24191/tid=24222] ppid=24189 vsize=798100 CPUtime=0.07 cores=0-31
/proc/24191/task/24222/stat : 24222 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 226 0 0 0 5 2 0 0 25 0 32 0 10639704 817254400 7966 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 797968

[startup+0.107941 s]
/proc/loadavg: 29.64 31.59 31.90 1/413 24191
/proc/meminfo: memFree=263524320/264257624 swapFree=67044776/67111528
[pid=24191] ppid=24189 vsize=863636 CPUtime=2.56 cores=0-31
/proc/24191/stat : 24191 (strangenight2-m) D 24189 24191 24165 0 -1 4202496 8895 0 0 0 181 75 0 0 25 0 32 0 10639703 884363264 8750 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/24191/statm: 215942 8757 330 95 0 210924 0
[pid=24191/tid=24192] ppid=24189 vsize=863768 CPUtime=0.08 cores=0-31
/proc/24191/task/24192/stat : 24192 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 255 0 0 0 6 2 0 0 24 0 32 0 10639704 884498432 8763 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24191/tid=24193] ppid=24189 vsize=863768 CPUtime=0.08 cores=0-31
/proc/24191/task/24193/stat : 24193 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 241 0 0 0 6 2 0 0 24 0 32 0 10639704 884498432 8774 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24191/tid=24194] ppid=24189 vsize=863768 CPUtime=0.08 cores=0-31
/proc/24191/task/24194/stat : 24194 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 297 0 0 0 6 2 0 0 18 0 32 0 10639704 884498432 8774 268435456000 4194304 4580107 140736695828080 18446744073709551615 4307821 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=24191/tid=24195] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24195/stat : 24195 (strangenight2-m) S 24189 24191 24165 0 -1 4202560 267 0 0 0 5 2 0 0 17 0 32 0 10639704 884498432 8785 268435456000 4194304 4580107 140736695828080 18446744073709551615 258651060958 0 0 4096 2 18446744071566929064 0 0 -1 12 0 0 0
[pid=24191/tid=24196] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24196/stat : 24196 (strangenight2-m) S 24189 24191 24165 0 -1 4202560 279 0 0 0 5 2 0 0 24 0 32 0 10639704 884498432 8799 268435456000 4194304 4580107 140736695828080 18446744073709551615 258651060958 0 0 4096 2 18446604498909658592 0 0 -1 4 0 0 0
[pid=24191/tid=24197] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24197/stat : 24197 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 240 0 0 0 5 2 0 0 24 0 32 0 10639704 884498432 8808 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=24191/tid=24198] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24198/stat : 24198 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 300 0 0 0 5 2 0 0 18 0 32 0 10639704 884498432 8809 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=24191/tid=24199] ppid=24189 vsize=863768 CPUtime=0.02 cores=0-31
/proc/24191/task/24199/stat : 24199 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 248 0 0 0 0 2 0 0 25 0 32 0 10639704 884498432 8864 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=24191/tid=24200] ppid=24189 vsize=863768 CPUtime=0.05 cores=0-31
/proc/24191/task/24200/stat : 24200 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 284 0 0 0 3 2 0 0 18 0 32 0 10639704 884498432 8873 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=24191/tid=24201] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24201/stat : 24201 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 251 0 0 0 5 2 0 0 25 0 32 0 10639704 884498432 8887 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=24191/tid=24202] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24202/stat : 24202 (strangenight2-m) S 24189 24191 24165 0 -1 4202560 267 0 0 0 5 2 0 0 18 0 32 0 10639704 884498432 8923 268435456000 4194304 4580107 140736695828080 18446744073709551615 258651060958 0 0 4096 2 18446744071566932784 0 0 -1 8 0 0 0
[pid=24191/tid=24203] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24203/stat : 24203 (strangenight2-m) S 24189 24191 24165 0 -1 4202560 302 0 0 0 5 2 0 0 18 0 32 0 10639704 884498432 8928 268435456000 4194304 4580107 140736695828080 18446744073709551615 258651060958 0 0 4096 2 18446744071566927304 0 0 -1 0 0 0 0
[pid=24191/tid=24204] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24204/stat : 24204 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 307 0 0 0 5 2 0 0 18 0 32 0 10639704 884498432 8936 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=24191/tid=24205] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24205/stat : 24205 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 284 0 0 0 5 2 0 0 17 0 32 0 10639704 884498432 8974 268435456000 4194304 4580107 140736695828080 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24191/tid=24206] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24206/stat : 24206 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 260 0 0 0 5 2 0 0 25 0 32 0 10639704 884498432 8974 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24191/tid=24207] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31
/proc/24191/task/24207/stat : 24207 (strangenight2-m) D 24189 24191 24165 0 -1 4202560 250 0 0 0 5 2 0 0 25 0 32 0 10639704 884498432 8977 268435456000 4194304 4580107 140736695828080 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24191/tid=24208] ppid=24189 vsize=863768 CPUtime=0.07 cores=0-31

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

[pid=24191/tid=24201] ppid=24189 vsize=33436496 CPUtime=4948.9 cores=0-31
/proc/24191/task/24201/stat : 24201 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1022839 0 0 0 494259 631 0 0 25 0 32 0 10639704 34238971904 6637074 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=24191/tid=24202] ppid=24189 vsize=33436496 CPUtime=4944.18 cores=0-31
/proc/24191/task/24202/stat : 24202 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1051633 0 0 0 493734 684 0 0 25 0 32 0 10639704 34238971904 6637074 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=24191/tid=24203] ppid=24189 vsize=33436496 CPUtime=4944.09 cores=0-31
/proc/24191/task/24203/stat : 24203 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 998461 0 0 0 493739 670 0 0 25 0 32 0 10639704 34238971904 6637074 268435456000 4194304 4580107 140736695828080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=24191/tid=24204] ppid=24189 vsize=33436496 CPUtime=4937.74 cores=0-31
/proc/24191/task/24204/stat : 24204 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1325383 0 0 0 492993 781 0 0 25 0 32 0 10639704 34238971904 6637074 268435456000 4194304 4580107 140736695828080 18446744073709551615 4295345 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24191/tid=24205] ppid=24189 vsize=33436496 CPUtime=4943.49 cores=0-31
/proc/24191/task/24205/stat : 24205 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1163154 0 0 0 493638 711 0 0 25 0 32 0 10639704 34238971904 6637074 268435456000 4194304 4580107 140736695828080 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=24191/tid=24206] ppid=24189 vsize=33436496 CPUtime=4936.96 cores=0-31
/proc/24191/task/24206/stat : 24206 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1004054 0 0 0 493051 645 0 0 25 0 32 0 10639704 34238971904 6637074 268435456000 4194304 4580107 140736695828080 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=24191/tid=24207] ppid=24189 vsize=33436496 CPUtime=4941.17 cores=0-31
/proc/24191/task/24207/stat : 24207 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 911906 0 0 0 493491 626 0 0 25 0 32 0 10639704 34238971904 6637074 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24191/tid=24208] ppid=24189 vsize=33436496 CPUtime=4944.62 cores=0-31
/proc/24191/task/24208/stat : 24208 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1247138 0 0 0 493722 740 0 0 25 0 32 0 10639704 34238971904 6637074 268435456000 4194304 4580107 140736695828080 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=24191/tid=24209] ppid=24189 vsize=33436496 CPUtime=4938.66 cores=0-31
/proc/24191/task/24209/stat : 24209 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 915432 0 0 0 493272 594 0 0 25 0 32 0 10639704 34238971904 6637075 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=24191/tid=24210] ppid=24189 vsize=33436496 CPUtime=4948.35 cores=0-31
/proc/24191/task/24210/stat : 24210 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1128869 0 0 0 494126 709 0 0 25 0 32 0 10639704 34238971904 6637075 268435456000 4194304 4580107 140736695828080 18446744073709551615 4302044 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=24191/tid=24211] ppid=24189 vsize=33436496 CPUtime=4939.12 cores=0-31
/proc/24191/task/24211/stat : 24211 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 921640 0 0 0 493291 621 0 0 25 0 32 0 10639704 34238971904 6637075 268435456000 4194304 4580107 140736695828080 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=24191/tid=24212] ppid=24189 vsize=33436496 CPUtime=4930.09 cores=0-31
/proc/24191/task/24212/stat : 24212 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1009671 0 0 0 492339 670 0 0 25 0 32 0 10639704 34238971904 6637075 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24191/tid=24213] ppid=24189 vsize=33436496 CPUtime=4939.75 cores=0-31
/proc/24191/task/24213/stat : 24213 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1036836 0 0 0 493288 687 0 0 25 0 32 0 10639704 34238971904 6637075 268435456000 4194304 4580107 140736695828080 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24191/tid=24214] ppid=24189 vsize=33436496 CPUtime=4945.95 cores=0-31
/proc/24191/task/24214/stat : 24214 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1047991 0 0 0 493958 637 0 0 25 0 32 0 10639704 34238971904 6637076 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=24191/tid=24215] ppid=24189 vsize=33436496 CPUtime=4940.04 cores=0-31
/proc/24191/task/24215/stat : 24215 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 966051 0 0 0 493348 656 0 0 25 0 32 0 10639704 34238971904 6637076 268435456000 4194304 4580107 140736695828080 18446744073709551615 4295020 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=24191/tid=24216] ppid=24189 vsize=33436496 CPUtime=4938.57 cores=0-31
/proc/24191/task/24216/stat : 24216 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 924585 0 0 0 493205 652 0 0 25 0 32 0 10639704 34238971904 6637076 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24191/tid=24217] ppid=24189 vsize=33436496 CPUtime=4941.79 cores=0-31
/proc/24191/task/24217/stat : 24217 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1385230 0 0 0 493349 830 0 0 25 0 32 0 10639704 34238971904 6637076 268435456000 4194304 4580107 140736695828080 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=24191/tid=24218] ppid=24189 vsize=33436496 CPUtime=4949.24 cores=0-31
/proc/24191/task/24218/stat : 24218 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 948928 0 0 0 494346 578 0 0 25 0 32 0 10639704 34238971904 6637076 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=24191/tid=24219] ppid=24189 vsize=33436496 CPUtime=4933.57 cores=0-31
/proc/24191/task/24219/stat : 24219 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1230212 0 0 0 492600 757 0 0 25 0 32 0 10639704 34238971904 6637076 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24191/tid=24220] ppid=24189 vsize=33436496 CPUtime=4947.09 cores=0-31
/proc/24191/task/24220/stat : 24220 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1221766 0 0 0 493968 741 0 0 25 0 32 0 10639704 34238971904 6637076 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=24191/tid=24221] ppid=24189 vsize=33436496 CPUtime=4950.65 cores=0-31
/proc/24191/task/24221/stat : 24221 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 779318 0 0 0 494500 565 0 0 25 0 32 0 10639704 34238971904 6637076 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=24191/tid=24222] ppid=24189 vsize=33436496 CPUtime=4952.64 cores=0-31
/proc/24191/task/24222/stat : 24222 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 167495 0 0 0 495099 165 0 0 25 0 32 0 10639704 34238971904 6637077 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 158170
Current children cumulated vsize (KiB) 33436496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5019.6 s]
/proc/loadavg: 32.08 32.04 32.01 33/445 24378
/proc/meminfo: memFree=236087464/264257624 swapFree=67044776/67111528
[pid=24191] ppid=24189 vsize=34342612 CPUtime=160002 cores=0-31
/proc/24191/stat : 24191 (strangenight2-m) R 24189 24191 24165 0 -1 4202496 32838377 0 0 0 15979196 21004 0 0 25 0 32 0 10639703 35166834688 6847168 268435456000 4194304 4580107 140736695828080 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/24191/statm: 8585653 6847168 406 95 0 8580635 0
[pid=24191/tid=24192] ppid=24189 vsize=34342612 CPUtime=5004.91 cores=0-31
/proc/24191/task/24192/stat : 24192 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 920790 0 0 0 499867 624 0 0 25 0 32 0 10639704 35166834688 6847170 268435456000 4194304 4580107 140736695828080 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=24191/tid=24193] ppid=24189 vsize=34342612 CPUtime=4999.51 cores=0-31
/proc/24191/task/24193/stat : 24193 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1084180 0 0 0 499283 668 0 0 25 0 32 0 10639704 35166834688 6847170 268435456000 4194304 4580107 140736695828080 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=24191/tid=24194] ppid=24189 vsize=34342612 CPUtime=4998.42 cores=0-31
/proc/24191/task/24194/stat : 24194 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1064622 0 0 0 499154 688 0 0 25 0 32 0 10639704 35166834688 6847170 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24191/tid=24195] ppid=24189 vsize=34342612 CPUtime=5004.19 cores=0-31
/proc/24191/task/24195/stat : 24195 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1109349 0 0 0 499743 676 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=24191/tid=24196] ppid=24189 vsize=34342612 CPUtime=5001.68 cores=0-31
/proc/24191/task/24196/stat : 24196 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1102704 0 0 0 499465 703 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=24191/tid=24197] ppid=24189 vsize=34342612 CPUtime=4999.91 cores=0-31
/proc/24191/task/24197/stat : 24197 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1117244 0 0 0 499285 706 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=24191/tid=24198] ppid=24189 vsize=34342612 CPUtime=5004.96 cores=0-31
/proc/24191/task/24198/stat : 24198 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 836131 0 0 0 499942 554 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=24191/tid=24199] ppid=24189 vsize=34342612 CPUtime=4989.66 cores=0-31
/proc/24191/task/24199/stat : 24199 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 974170 0 0 0 498329 637 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24191/tid=24200] ppid=24189 vsize=34342612 CPUtime=5000.53 cores=0-31
/proc/24191/task/24200/stat : 24200 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1045745 0 0 0 499426 627 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=24191/tid=24201] ppid=24189 vsize=34342612 CPUtime=5006.21 cores=0-31
/proc/24191/task/24201/stat : 24201 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1026950 0 0 0 499986 635 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=24191/tid=24202] ppid=24189 vsize=34342612 CPUtime=5001.48 cores=0-31
/proc/24191/task/24202/stat : 24202 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1074587 0 0 0 499459 689 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4416727 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=24191/tid=24203] ppid=24189 vsize=34342612 CPUtime=5001.39 cores=0-31
/proc/24191/task/24203/stat : 24203 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1003462 0 0 0 499464 675 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=24191/tid=24204] ppid=24189 vsize=34342612 CPUtime=4995.04 cores=0-31
/proc/24191/task/24204/stat : 24204 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1332515 0 0 0 498719 785 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24191/tid=24205] ppid=24189 vsize=34342612 CPUtime=5000.8 cores=0-31
/proc/24191/task/24205/stat : 24205 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1169374 0 0 0 499364 716 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=24191/tid=24206] ppid=24189 vsize=34342612 CPUtime=4994.27 cores=0-31
/proc/24191/task/24206/stat : 24206 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1012939 0 0 0 498776 651 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=24191/tid=24207] ppid=24189 vsize=34342612 CPUtime=4998.46 cores=0-31
/proc/24191/task/24207/stat : 24207 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 915863 0 0 0 499217 629 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24191/tid=24208] ppid=24189 vsize=34342612 CPUtime=5001.92 cores=0-31
/proc/24191/task/24208/stat : 24208 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1257631 0 0 0 499447 745 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=24191/tid=24209] ppid=24189 vsize=34342612 CPUtime=4995.96 cores=0-31
/proc/24191/task/24209/stat : 24209 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 924804 0 0 0 498996 600 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=24191/tid=24210] ppid=24189 vsize=34342612 CPUtime=5005.65 cores=0-31
/proc/24191/task/24210/stat : 24210 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1138347 0 0 0 499851 714 0 0 25 0 32 0 10639704 35166834688 6847172 268435456000 4194304 4580107 140736695828080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=24191/tid=24211] ppid=24189 vsize=34342612 CPUtime=4996.41 cores=0-31
/proc/24191/task/24211/stat : 24211 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 936248 0 0 0 499010 631 0 0 25 0 32 0 10639704 35166834688 6847173 268435456000 4194304 4580107 140736695828080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=24191/tid=24212] ppid=24189 vsize=34342612 CPUtime=4987.38 cores=0-31
/proc/24191/task/24212/stat : 24212 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1022971 0 0 0 498061 677 0 0 25 0 32 0 10639704 35166834688 6847173 268435456000 4194304 4580107 140736695828080 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24191/tid=24213] ppid=24189 vsize=34342612 CPUtime=4997.04 cores=0-31
/proc/24191/task/24213/stat : 24213 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1043139 0 0 0 499013 691 0 0 25 0 32 0 10639704 35166834688 6847173 268435456000 4194304 4580107 140736695828080 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24191/tid=24214] ppid=24189 vsize=34342612 CPUtime=5003.24 cores=0-31
/proc/24191/task/24214/stat : 24214 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1057962 0 0 0 499683 641 0 0 25 0 32 0 10639704 35166834688 6847173 268435456000 4194304 4580107 140736695828080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=24191/tid=24215] ppid=24189 vsize=34342612 CPUtime=4995.71 cores=0-31
/proc/24191/task/24215/stat : 24215 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 974587 0 0 0 498911 660 0 0 25 0 32 0 10639704 35166834688 6847173 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294986 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=24191/tid=24216] ppid=24189 vsize=34342612 CPUtime=4995.86 cores=0-31
/proc/24191/task/24216/stat : 24216 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 931147 0 0 0 498931 655 0 0 25 0 32 0 10639704 35166834688 6847173 268435456000 4194304 4580107 140736695828080 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24191/tid=24217] ppid=24189 vsize=34342612 CPUtime=4999.09 cores=0-31
/proc/24191/task/24217/stat : 24217 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1391761 0 0 0 499076 833 0 0 25 0 32 0 10639704 35166834688 6847173 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=24191/tid=24218] ppid=24189 vsize=34342612 CPUtime=5006.53 cores=0-31
/proc/24191/task/24218/stat : 24218 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 958097 0 0 0 500069 584 0 0 25 0 32 0 10639704 35166834688 6847173 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=24191/tid=24219] ppid=24189 vsize=34342612 CPUtime=4990.86 cores=0-31
/proc/24191/task/24219/stat : 24219 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1246050 0 0 0 498320 766 0 0 25 0 32 0 10639704 35166834688 6847174 268435456000 4194304 4580107 140736695828080 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24191/tid=24220] ppid=24189 vsize=34342612 CPUtime=5004.39 cores=0-31
/proc/24191/task/24220/stat : 24220 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 1233601 0 0 0 499692 747 0 0 25 0 32 0 10639704 35166834688 6847174 268435456000 4194304 4580107 140736695828080 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=24191/tid=24221] ppid=24189 vsize=34342612 CPUtime=5007.94 cores=0-31
/proc/24191/task/24221/stat : 24221 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 783173 0 0 0 500226 568 0 0 25 0 32 0 10639704 35166834688 6847174 268435456000 4194304 4580107 140736695828080 18446744073709551615 4316605 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=24191/tid=24222] ppid=24189 vsize=34342612 CPUtime=5009.94 cores=0-31
/proc/24191/task/24222/stat : 24222 (strangenight2-m) R 24189 24191 24165 0 -1 4202560 172740 0 0 0 500828 166 0 0 25 0 32 0 10639704 35166834688 6847174 268435456000 4194304 4580107 140736695828080 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 34342612

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

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

[startup+5020.6 s]
/proc/loadavg: 32.08 32.04 32.01 2/416 24379
/proc/meminfo: memFree=245264564/264257624 swapFree=67044776/67111528
[pid=24191] ppid=24189 vsize=0 CPUtime=160003 cores=0-31
/proc/24191/stat : 24191 (strangenight2-m) Z 24189 24191 24165 0 -1 4203548 32838398 0 0 0 15979218 21101 0 0 25 0 2 0 10639703 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/24191/statm: 0 0 0 0 0 0 0
[pid=24191/tid=24215] ppid=24189 vsize=0 CPUtime=4996.69 cores=0-31
/proc/24191/task/24215/stat : 24215 (strangenight2-m) R 24189 24191 24165 0 -1 4203588 974588 0 0 0 498912 757 0 0 25 0 2 0 10639704 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

[startup+5021 s]
/proc/loadavg: 32.08 32.04 32.01 2/416 24379
/proc/meminfo: memFree=245264564/264257624 swapFree=67044776/67111528
[pid=24191] ppid=24189 vsize=0 CPUtime=160004 cores=0-31
/proc/24191/stat : 24191 (strangenight2-m) Z 24189 24191 24165 0 -1 4203548 32838398 0 0 0 15979218 21141 0 0 25 0 2 0 10639703 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/24191/statm: 0 0 0 0 0 0 0
[pid=24191/tid=24215] ppid=24189 vsize=0 CPUtime=4997.09 cores=0-31
/proc/24191/task/24215/stat : 24215 (strangenight2-m) R 24189 24191 24165 0 -1 4203588 974588 0 0 0 498912 797 0 0 25 0 2 0 10639704 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

[startup+5021.4 s]
/proc/loadavg: 32.08 32.04 32.01 2/416 24379
/proc/meminfo: memFree=261333428/264257624 swapFree=67044776/67111528
[pid=24191] ppid=24189 vsize=0 CPUtime=160004 cores=0-31
/proc/24191/stat : 24191 (strangenight2-m) Z 24189 24191 24165 0 -1 4203548 32838398 0 0 0 15979218 21183 0 0 25 0 2 0 10639703 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/24191/statm: 0 0 0 0 0 0 0
[pid=24191/tid=24215] ppid=24189 vsize=0 CPUtime=4997.51 cores=0-31
/proc/24191/task/24215/stat : 24215 (strangenight2-m) R 24189 24191 24165 0 -1 4203588 974588 0 0 0 498912 839 0 0 25 0 2 0 10639704 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

[startup+5021.52 s]
/proc/loadavg: 32.08 32.04 32.01 2/416 24379
/proc/meminfo: memFree=261333428/264257624 swapFree=67044776/67111528
[pid=24191] ppid=24189 vsize=0 CPUtime=160004 cores=0-31
/proc/24191/stat : 24191 (strangenight2-m) Z 24189 24191 24165 0 -1 4203548 32838398 0 0 0 15979218 21193 0 0 25 0 2 0 10639703 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/24191/statm: 0 0 0 0 0 0 0
[pid=24191/tid=24215] ppid=24189 vsize=0 CPUtime=4997.61 cores=0-31
/proc/24191/task/24215/stat : 24215 (strangenight2-m) R 24189 24191 24165 0 -1 4203588 974588 0 0 0 498912 849 0 0 25 0 2 0 10639704 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5021.58
CPU time (s): 160004
CPU user time (s): 159792
CPU system time (s): 211.998
CPU usage (%): 3186.33
Max. virtual memory (cumulated for all children) (KiB): 34568952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159792
system time used= 211.998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32838398
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= 1608998
involuntary context switches= 305874

runsolver used 30.4844 second user time and 110.74 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-31 14:58:57
IDJOB=3400821
IDBENCH=83135
IDSOLVER=1886
FILE ID=node200/3400821-1306846737
RUNJOBID= node200-1306846737-24179
PBS_JOBID= 13471345
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-bottom21.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400821-1306846737/watcher-3400821-1306846737 -o /tmp/evaluation-result-3400821-1306846737/solver-3400821-1306846737 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400821-1306846737.cnf

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

MD5SUM BENCH= e6407843d1fbd00b68d4ad600a25dfb2
RANDOM SEED=308099077

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:      263524972 kB
Buffers:        129884 kB
Cached:         410092 kB
SwapCached:      29980 kB
Active:         131928 kB
Inactive:       439968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263524972 kB
SwapTotal:    67111528 kB
SwapFree:     67044776 kB
Dirty:            7996 kB
Writeback:           4 kB
AnonPages:       29912 kB
Mapped:           8212 kB
Slab:            73836 kB
PageTables:       4780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   188196 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 16:22:39