Trace number 3400654

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
MD5SUM8d76aa747359ea8ccf15726792949452
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 variables8527
Number of clauses25484
Sum of the clauses size59460
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 216988
Number of clauses of size 38494
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 32 threads
0.00/0.05	c This is CryptoMiniSat 3.0.0
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3400654-1306274322.cnf'
0.00/0.06	c -- header says num vars:           8527
0.00/0.06	c -- header says num clauses:       25484
7.42/0.37	c -- clauses added:            0 learnts,        25484 normals,            0 xors
7.42/0.37	c -- vars added       8527
7.42/0.37	c Parsing time:  0.03 s
7.42/0.37	c  N st     0         0      8527      8494     16988         0     59458         0   no data   no data
7.42/0.44	c asymm  cl-useful: 0/8493/8493 lits-rem:0 time: 0.07
14.10/0.72	c Flit:     4 Blit:   1063 bXBeca:    0 bXProp:   85 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.11
14.10/0.72	c Cleaning up after failed var search:     0.00 s 
14.10/0.72	c Replacing       85 vars Replaced     1090 lits Time:     0.00 s 
14.10/0.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.10/0.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.10/0.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
16.06/0.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7365 time:  0.02 s
16.06/0.83	c Removed useless bin:       6  fixed:     0  props:   0.55M  time:  0.01 s
19.72/1.08	c lits-rem:         0  cl-subs:        1  v-elim:   2455  v-fix:    0  time:  0.06 s
19.72/1.08	c Finding binary XORs  T:     0.00 s  found:       0
19.72/1.09	c Finding non-binary XORs:     0.01 s (found:      62, avg size: 3.0)
19.72/1.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     31 locsubst:     0 time:   0.00
19.72/1.09	c calculated reachability. Time: 0.00
19.72/1.10	c Calc default polars -  time:   0.00 s pos:     226 undec:    5235 neg:    3066
19.72/1.10	c =========================================================================================
19.72/1.10	c types(t): F = full restart, N = normal restart
19.72/1.10	c types(t): S = simplification begin/end, E = solution found
19.72/1.10	c restart types(rt): st = static, dy = dynamic
19.72/1.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
19.72/1.10	c  B st     0         0      4879      9482      7502         0     45080         0   no data   no data
123.98/4.32	c  N dy    11      4267      4874      9482      7561      4172     45080    155181     12.17     13.02
388.67/12.63	c  N dy    34     17830      4857      9482      7612     10937     45080    336923     11.61     12.23
388.67/12.64	c Finding binary XORs  T:     0.00 s  found:       3
526.08/16.97	c  F st    67     25000      4855      9419      7808     12483     44754    364453     12.34      8.98
526.08/16.97	c Replacing        3 vars Replaced      111 lits Time:     0.00 s 
526.08/16.98	c  N st    67     25000      4852      9419      7801     12483     44742    364451     12.34      8.98
644.37/20.64	c Decided on static restart strategy
644.37/20.64	c  N st    73     30001      4851      9419      7829     10701     44742    267838     12.34   no data
644.37/20.64	c  S st    73     30001      4851      9419      7829     10701     44742    267838     12.34   no data
647.56/20.72	c  S st    73     30504      4851      9419      7831     11201     44742    276795     12.34   no data
647.56/20.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     15 locsubst:     0 time:   0.00
647.56/20.77	c Flit:     1 Blit:      8 bXBeca:    0 bXProp:    1 Bins:    808 BRemL:    461 BRemN:      6 P:  0.9M T:  0.05
647.56/20.78	c Replacing        1 vars Replaced       15 lits Time:     0.01 s 
647.56/20.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
647.56/20.79	c bin-w-bin subsume rem           24 bins  time:  0.00 s
647.56/20.79	c subs with bin:        0  lits-rem:       553  v-fix:    0  time:  0.00 s
647.56/20.80	c Subs w/ non-existent bins:     23 l-rem:      1 v-fix:     0 done:   4824 time:  0.01 s
647.56/20.80	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.00 s
651.36/20.83	c lits-rem:         0  cl-subs:       15  v-elim:    830  v-fix:    0  time:  0.03 s
651.36/20.84	c subs with bin:        4  lits-rem:        21  v-fix:    0  time:  0.00 s
651.36/20.86	c lits-rem:        56  cl-subs:       54  v-elim:      0  v-fix:    0  time:  0.01 s
651.36/20.86	c Added XOR as norm:0
651.36/20.87	c asymm  cl-useful: 0/2336/10829 lits-rem:0 time: 0.01
651.36/20.87	c calculated reachability. Time: 0.00
651.36/20.87	c  N st    73     30504      3994     10829      5440      5555     44663     83094     12.34   no data
733.86/23.48	c Finding binary XORs  T:     0.00 s  found:       0
865.55/27.55	c  N st    75     37617      3994     10829      5443      7525     44663    188251     12.34   no data
1027.95/32.68	c  N st    76     44016      3994     10829      5443     13902     44663    509839     12.34   no data
1027.95/32.68	c Finding binary XORs  T:     0.00 s  found:       0
1073.29/34.04	c  S st    77     45756      3994     10829      5695      8214     44663    196225     12.34   no data
1073.29/34.11	c  S st    77     46260      3994     10829      5695      8712     44663    206017     12.34   no data
1073.29/34.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      8 locsubst:     0 time:   0.00
1076.53/34.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     51 BRemL:    228 BRemN:      8 P:  1.0M T:  0.04
1076.53/34.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1076.53/34.16	c bin-w-bin subsume rem           19 bins  time:  0.00 s
1076.53/34.16	c subs with bin:       71  lits-rem:        18  v-fix:    0  time:  0.00 s
1076.53/34.17	c Subs w/ non-existent bins:     32 l-rem:     76 v-fix:     0 done:   3986 time:  0.01 s
1076.53/34.17	c Removed useless bin:       2  fixed:     0  props:   0.12M  time:  0.00 s
1076.53/34.18	c lits-rem:         0  cl-subs:        0  v-elim:      4  v-fix:    0  time:  0.01 s
1079.09/34.20	c subs with bin:        0  lits-rem:       125  v-fix:    0  time:  0.01 s
1079.09/34.27	c lits-rem:       133  cl-subs:      394  v-elim:      0  v-fix:    0  time:  0.06 s
1079.09/34.27	c Added XOR as norm:0
1079.09/34.27	c vivif2 --  cl tried    10727 cl shrink        7 lits rem         21 time: 0.00
1079.09/34.28	c vivif2 --  cl tried     7100 cl shrink      925 lits rem       2168 time: 0.01
1082.28/34.32	c asymm  cl-useful: 1/10727/10727 lits-rem:1 time: 0.04
1082.28/34.32	c calculated reachability. Time: 0.00
1082.28/34.32	c  N st    77     46260      3982     10727      5485      7100     44257    149631     12.34   no data
1536.17/48.51	c  N st    78     60658      3982     10727      5485     12898     44257    432196     12.34   no data
1836.65/57.93	c  N st    79     69390      3982     10727      5490     11270     44257    248786     12.34   no data
1836.65/57.93	c  S st    79     69390      3982     10727      5490     11270     44257    248786     12.34   no data
1839.85/58.02	c  S st    79     69898      3982     10727      5502     11776     44257    259737     12.34   no data
1839.85/58.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      4 locsubst:     0 time:   0.00
1839.85/58.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:     16 BRemN:     10 P:  1.1M T:  0.04
1839.85/58.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1839.85/58.07	c bin-w-bin subsume rem            2 bins  time:  0.00 s
1839.85/58.07	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.00 s
1839.85/58.08	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:   3978 time:  0.01 s
1839.85/58.08	c Removed useless bin:       0  fixed:     0  props:   0.12M  time:  0.00 s
1839.85/58.10	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.01 s
1843.05/58.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1846.87/58.29	c lits-rem:       313  cl-subs:      627  v-elim:      0  v-fix:    0  time:  0.16 s
1846.87/58.29	c Added XOR as norm:0
1846.87/58.29	c vivif2 --  cl tried    10727 cl shrink        0 lits rem          0 time: 0.00
1846.87/58.30	c vivif2 --  cl tried    11137 cl shrink     1326 lits rem       3453 time: 0.01
1850.07/58.35	c asymm  cl-useful: 0/10727/10727 lits-rem:0 time: 0.05
1850.07/58.36	c calculated reachability. Time: 0.00
1850.07/58.36	c  N st    79     69898      3977     10727      5472     11137     44234    233691     12.34   no data
2421.58/76.23	c  F st    80     87501      3977     10727      5472     17114     44234    544704     12.34   no data
2421.58/76.23	c  N st    80     87501      3977     10727      5472     17114     44234    544704     12.34   no data
2421.58/76.24	c Finding binary XORs  T:     0.00 s  found:       0
2565.43/80.80	c  N dy    90     93094      3977     10727      5486     22649     44234    766532     12.44     22.01
2773.22/87.22	c  N dy    95    104847      3977     10727      5486     21523     44234    716578     11.65      9.31
2773.22/87.22	c  S st    95    104847      3977     10727      5486     21523     44234    716578     11.65      9.31
2776.41/87.35	c  S st    95    105348      3977     10727      5486     22024     44234    726760     11.65   no data
2776.41/87.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      2 locsubst:     0 time:   0.01
2779.61/87.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:     14 BRemN:      1 P:  2.4M T:  0.08
2779.61/87.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2779.61/87.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2779.61/87.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2779.61/87.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3975 time:  0.01 s
2779.61/87.45	c Removed useless bin:       0  fixed:     0  props:   0.12M  time:  0.00 s
2779.61/87.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2782.81/87.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.06 s
2801.98/88.19	c lits-rem:       771  cl-subs:      566  v-elim:      0  v-fix:    0  time:  0.60 s
2801.98/88.19	c Added XOR as norm:0
2801.98/88.19	c vivif2 --  cl tried    10727 cl shrink        0 lits rem          0 time: 0.00
2805.18/88.25	c vivif2 --  cl tried    21456 cl shrink     7165 lits rem      30222 time: 0.06
2808.38/88.33	c asymm  cl-useful: 3/10727/10727 lits-rem:68 time: 0.09
2808.38/88.34	c calculated reachability. Time: 0.00
2808.38/88.34	c  N dy    95    105348      3975     10727      5473     21456     44160    667624     11.65   no data
2980.99/93.75	c  N dy   123    114055      3975     10727      5473     16249     44160    374234     11.85     12.48
3144.00/98.84	c  N dy   138    121691      3975     10727      5474     23816     44160    720012     11.82     12.70
3300.63/103.79	c  N dy   139    129510      3975     10727      5474     16721     44160    347736     11.57     12.24
3588.32/112.74	c  N dy   167    142253      3975     10727      5480     29207     44160    842390     11.51     12.17
3789.70/119.01	c  N dy   195    151870      3975     10727      5481     22854     44160    528085     11.55     12.22
3939.94/123.73	c  S st   197    158022      3975     10727      5481     28863     44160    763456     11.39      8.82
3943.14/123.87	c  S st   197    158529      3975     10727      5481     29366     44160    774575     11.39   no data
3943.14/123.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.01
3946.33/123.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      9 BRemN:      0 P:  2.6M T:  0.09
3946.33/123.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3946.33/123.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3946.33/123.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3946.33/123.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3974 time:  0.01 s
3946.33/123.99	c Removed useless bin:       0  fixed:     0  props:   0.12M  time:  0.00 s
3949.53/124.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3952.73/124.12	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  0.06 s
3978.30/124.98	c lits-rem:      1164  cl-subs:     3035  v-elim:      0  v-fix:    0  time:  0.86 s
3978.30/124.98	c Added XOR as norm:0
3978.30/124.99	c vivif2 --  cl tried    10727 cl shrink        0 lits rem          0 time: 0.00
3981.50/125.05	c vivif2 --  cl tried    26331 cl shrink     6974 lits rem      33374 time: 0.06
3984.69/125.16	c asymm  cl-useful: 0/10727/10727 lits-rem:0 time: 0.11
3984.69/125.16	c calculated reachability. Time: 0.00
3984.69/125.16	c  N dy   197    158529      3974     10727      5472     26331     44158    698472     11.39   no data
4323.50/135.80	c  N dy   214    173322      3974     10727      5474     24125     44158    483289     11.20     11.82
4668.67/146.58	c  N dy   263    188838      3973     10727      5478     21728     44158    411162     11.32     12.00
4895.65/153.61	c  N dy   378    200957      3973     10727      5501     33744     44158    824878     11.93     17.62
5151.93/161.62	c  N dy   494    213870      3973     10727      5501     27843     44158    565840     12.46     16.07
5464.60/171.40	c  N dy   566    227524      3973     10727      5501     21606     44158    299970     12.69     15.48
5665.99/177.72	c  S st   667    237793      3973     10727      5501     31811     44158    656858     13.05     19.17
5669.19/177.88	c  S st   667    238297      3973     10727      5501     32314     44158    667111     13.05   no data
5669.19/177.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
5672.39/177.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     26 BRemN:      0 P:  2.9M T:  0.09
5672.39/177.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5672.39/177.98	c bin-w-bin subsume rem            3 bins  time:  0.00 s
5672.39/177.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5672.39/177.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3973 time:  0.01 s
5672.39/177.99	c Removed useless bin:       0  fixed:     0  props:   0.12M  time:  0.00 s
5675.58/178.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
5679.40/178.20	c subs with bin:      405  lits-rem:         5  v-fix:    0  time:  0.14 s
5691.56/178.56	c lits-rem:      1349  cl-subs:      472  v-elim:      0  v-fix:    0  time:  0.35 s
5691.56/178.56	c Added XOR as norm:0
5691.56/178.56	c vivif2 --  cl tried    10724 cl shrink        0 lits rem          0 time: 0.00
5694.76/178.61	c vivif2 --  cl tried    30201 cl shrink     6119 lits rem      14831 time: 0.05
5697.96/178.73	c asymm  cl-useful: 0/10724/10724 lits-rem:0 time: 0.11
5697.96/178.73	c calculated reachability. Time: 0.00
5697.96/178.73	c  N dy   667    238297      3973     10724      5417     30201     44146    609591     13.05   no data
6187.00/194.05	c  N dy   788    260698      3973     10724      5417     32250     44146    736268     13.21     13.91
6554.61/205.57	c  N dy   864    277375      3973     10724      5417     27292     44146    463270     13.29     19.11
7117.19/223.10	c  N dy   936    301185      3973     10724      5417     28229     44146    461163     13.25     14.06
7222.68/226.44	c  F st   986    306251      3973     10724      5419     33264     44146    637520     13.34   no data
7331.98/229.90	c Decided on static restart strategy
7810.81/244.90	c  N st   995    324957      3973     10724      5419     28325     44146    635757     13.34   no data
8616.32/270.00	c  N st   997    348952      3973     10724      5419     27489     44146    444070     13.34   no data
8897.63/278.86	c  S st   998    357446      3973     10724      5419     35937     44146    803427     13.34   no data
8904.02/279.04	c  S st   998    357950      3973     10724      5419     36440     44146    813431     13.34   no data
8904.02/279.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
8907.22/279.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      2 BRemN:      0 P:  2.8M T:  0.09
8907.22/279.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8907.22/279.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8907.22/279.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8907.22/279.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3973 time:  0.01 s
8907.22/279.16	c Removed useless bin:       0  fixed:     0  props:   0.12M  time:  0.00 s
8907.22/279.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
8910.41/279.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.06 s
8984.53/281.57	c lits-rem:       742  cl-subs:     5387  v-elim:      0  v-fix:    0  time:  2.27 s
8984.53/281.57	c Added XOR as norm:0
8984.53/281.57	c vivif2 --  cl tried    10724 cl shrink        0 lits rem          0 time: 0.00
8987.76/281.64	c vivif2 --  cl tried    31053 cl shrink     8065 lits rem      21875 time: 0.07
8990.31/281.78	c asymm  cl-useful: 0/10724/10724 lits-rem:0 time: 0.13
8990.31/281.78	c calculated reachability. Time: 0.00
8990.31/281.78	c  N st   998    357950      3973     10724      5417     31053     44146    683685     13.34   no data
10064.34/315.37	c  N st   999    390343      3973     10724      5417     37569     44146    909144     13.34   no data
11876.76/372.05	c  N st  1000    438932      3973     10724      5424     31258     44146    528885     13.34   no data
13647.63/427.45	c  N st  1001    511815      3973     10724      5429     45208     44146   1117781     13.34   no data
13647.63/427.45	c Finding binary XORs  T:     0.00 s  found:       0
14734.44/461.46	c  N st  1002    536927      3973     10724      5439     39372     44146    838133     13.34   no data
14734.44/461.46	c  S st  1002    536927      3973     10724      5439     39372     44146    838133     13.34   no data
14740.83/461.65	c  S st  1002    537432      3973     10724      5439     39874     44146    849146     13.34   no data
14740.83/461.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
14744.03/461.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     12 BRemN:      0 P:  3.3M T:  0.11
14744.03/461.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14744.03/461.77	c bin-w-bin subsume rem            2 bins  time:  0.00 s
14744.03/461.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14744.03/461.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3973 time:  0.01 s
14744.03/461.78	c Removed useless bin:       0  fixed:     0  props:   0.12M  time:  0.00 s
14747.23/461.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
14751.01/461.93	c subs with bin:        6  lits-rem:         2  v-fix:    0  time:  0.06 s
14763.19/462.40	c lits-rem:       316  cl-subs:      275  v-elim:      0  v-fix:    0  time:  0.47 s
14763.19/462.40	c Added XOR as norm:0
14766.39/462.40	c vivif2 --  cl tried    10724 cl shrink        0 lits rem          0 time: 0.00
14766.39/462.47	c vivif2 --  cl tried    39593 cl shrink     6215 lits rem      14700 time: 0.07
14772.80/462.65	c asymm  cl-useful: 0/10724/10724 lits-rem:0 time: 0.18
14772.80/462.66	c calculated reachability. Time: 0.00
14772.80/462.66	c  N st  1002    537432      3973     10724      5425     39593     44146    825971     13.34   no data
21405.49/670.15	c  N st  1003    701418      3973     10724      5425     69202     44146   1811289     13.34   no data
25932.36/811.77	c  N st  1004    806148      3973     10724      5456     63285     44146   1889491     13.34   no data
25932.36/811.77	c  S st  1004    806148      3973     10724      5456     63285     44146   1889491     13.34   no data
25932.36/811.78	c Finding binary XORs  T:     0.00 s  found:       0
25941.31/812.08	c  S st  1004    806649      3973     10724      5520     63784     44146   1900746     13.34   no data
25941.31/812.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
25947.74/812.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     67 BRemN:      0 P:  4.1M T:  0.18
25947.74/812.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25947.74/812.28	c bin-w-bin subsume rem            1 bins  time:  0.00 s
25947.74/812.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25947.74/812.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3973 time:  0.01 s
25947.74/812.30	c Removed useless bin:       0  fixed:     0  props:   0.12M  time:  0.00 s
25950.92/812.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
25963.70/812.75	c subs with bin:        0  lits-rem:        45  v-fix:    0  time:  0.28 s
26076.20/816.25	c lits-rem:       434  cl-subs:      510  v-elim:      0  v-fix:    0  time:  3.50 s
26076.20/816.25	c Added XOR as norm:0
26076.20/816.26	c vivif2 --  cl tried    10724 cl shrink        0 lits rem          0 time: 0.00
26085.16/816.59	c vivif2 --  cl tried    63274 cl shrink    18744 lits rem      48081 time: 0.33
26101.16/817.06	c asymm  cl-useful: 3/10724/10724 lits-rem:3 time: 0.47
26101.16/817.06	c calculated reachability. Time: 0.00
26101.16/817.06	c  N st  1004    806649      3973     10724      5454     63272     44143   1830484     13.34   no data
37905.81/1186.39	c  F st  1005   1071876      3973     10724      5454     79022     44143   1907657     13.34   no data
37909.01/1186.40	c  N st  1005   1071876      3973     10724      5454     79022     44143   1907657     13.34   no data
38647.39/1209.56	c  N dy  1142   1091929      3972     10724      5469     54042     44143    846487     13.58     20.95
39321.89/1230.70	c  N dy  1262   1111960      3972     10724      5469     73874     44143   1577506     13.72     22.25
40089.03/1254.65	c  N dy  1414   1131988      3972     10724      5469     47984     44143    572595     13.93     17.13
40763.50/1275.70	c  N dy  1526   1155729      3972     10724      5469     71600     44143   1479249     14.04     14.84
41447.52/1297.17	c  N dy  1683   1175767      3972     10724      5469     91477     44143   2180276     14.24     18.12
42665.40/1335.30	c  N dy  1827   1209973      3972     10724      5470     78592     44143   1674033     14.26     12.84
42665.40/1335.30	c  S st  1827   1209973      3972     10724      5470     78592     44143   1674033     14.26     12.84
42678.18/1335.66	c  S st  1827   1210474      3972     10724      5470     79091     44143   1687274     14.26   no data
42678.18/1335.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
42687.78/1335.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:     10 BRemN:      0 P:  5.4M T:  0.26
42687.78/1335.98	c Replacing        1 vars Replaced     3021 lits Time:     0.05 s 
42687.78/1335.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
42687.78/1335.98	c bin-w-bin subsume rem            2 bins  time:  0.00 s
42687.78/1335.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42687.78/1335.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3971 time:  0.01 s
42687.78/1336.00	c Removed useless bin:       2  fixed:     0  props:   0.12M  time:  0.00 s
42690.98/1336.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
42700.57/1336.37	c subs with bin:        0  lits-rem:        94  v-fix:    0  time:  0.21 s
42825.23/1340.21	c lits-rem:      4947  cl-subs:     3198  v-elim:      0  v-fix:    0  time:  3.84 s
42825.23/1340.21	c Added XOR as norm:0
42825.23/1340.22	c vivif2 --  cl tried    10721 cl shrink        0 lits rem          0 time: 0.00
42831.63/1340.42	c vivif2 --  cl tried    75891 cl shrink    15973 lits rem      40416 time: 0.20
42848.24/1341.00	c asymm  cl-useful: 0/10721/10721 lits-rem:0 time: 0.58
42850.80/1341.00	c calculated reachability. Time: 0.00
42850.80/1341.00	c  N dy  1827   1210474      3971     10721      5419     75891     44121   1584229     14.26   no data
43583.41/1363.95	c  N dy  1922   1230497      3971     10721      5419     48168     44121    481850     14.32     15.08
44209.31/1383.57	c  N dy  2084   1250642      3971     10721      5419     68163     44121   1195982     14.47     15.28
45526.26/1424.71	c  N dy  2127   1283682      3971     10721      5419     52263     44121    617055     14.25     15.10
46424.49/1452.86	c  N dy  2212   1308581      3971     10721      5419     76751     44121   1440859     14.26     15.65
47220.40/1477.70	c  N dy  2328   1328676      3971     10721      5421     96664     44121   2197435     14.32     20.20
48690.77/1523.73	c  N dy  2386   1367586      3971     10721      5421     85765     44121   2033288     14.14     14.89
49585.82/1551.72	c  N dy  2519   1389098      3971     10721      5421     56631     44121    716693     14.22     15.03
50375.36/1576.42	c  N dy  2591   1409140      3971     10721      5421     76539     44121   1460145     14.18     20.28
51209.64/1602.53	c  N dy  2726   1429172      3971     10721      5421     96366     44121   2152121     14.26     21.21
51887.29/1623.79	c  N dy  2874   1449359      3971     10721      5421     64893     44121    951644     14.34     15.19
52658.27/1647.86	c  N dy  2989   1471796      3971     10721      5421     87154     44121   1790043     14.37     15.14
53453.57/1672.72	c  N dy  3113   1491911      3971     10721      5421     54524     44121    547763     14.43     15.19
55058.19/1722.91	c  N dy  3182   1531565      3971     10721      5421     93775     44121   1896803     14.31     15.19
55857.97/1747.93	c  N dy  3304   1551580      3971     10721      5421     60101     44121    721781     14.37     19.54
56633.22/1772.29	c  N dy  3466   1571643      3971     10721      5421     80017     44121   1424605     14.44     16.95
57582.30/1801.98	c  N dy  3487   1593876      3971     10721      5421    101911     44121   2170187     14.38     15.34
58320.69/1825.05	c  N dy  3558   1615107      3971     10721      5421     68507     44121    959445     14.38     15.17
59103.83/1849.59	c  N dy  3718   1635992      3971     10721      5421     89212     44121   1677577     14.44     15.23
60091.55/1880.47	c  N dy  3830   1656087      3971     10721      5421    109051     44121   2378013     14.48     16.00
62440.97/1953.96	c  N dy  3835   1710476      3971     10721      5421    107258     44121   2293069     14.30     10.99
62440.97/1953.96	c  S st  3835   1710476      3971     10721      5421    107258     44121   2293069     14.30     10.99
62460.16/1954.51	c  S st  3835   1710979      3971     10721      5421    107758     44121   2305506     14.30   no data
62460.16/1954.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
62472.93/1954.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      4 BRemN:      1 P:  6.8M T:  0.39
62472.93/1954.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
62472.93/1954.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
62472.93/1954.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
62472.93/1954.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3971 time:  0.01 s
62472.93/1954.94	c Removed useless bin:       0  fixed:     0  props:   0.12M  time:  0.00 s
62472.93/1954.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
62488.92/1955.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.24 s
62968.40/1970.49	c lits-rem:      7725  cl-subs:    10025  v-elim:      0  v-fix:    0  time: 15.07 s
62968.40/1970.49	c Added XOR as norm:0
62968.40/1970.49	c vivif2 --  cl tried    10721 cl shrink        0 lits rem          0 time: 0.00
62981.19/1970.87	c vivif2 --  cl tried    97733 cl shrink    24864 lits rem      73723 time: 0.38
63000.35/1971.45	c asymm  cl-useful: 0/9199/10721 lits-rem:0 time: 0.57
63000.35/1971.45	c calculated reachability. Time: 0.00
63000.35/1971.45	c  N dy  3835   1710979      3971     10721      5416     97733     44119   2007722     14.30   no data
63857.03/1998.22	c  N dy  3935   1731329      3971     10721      5416     61600     44119    683362     14.32     15.19
67590.52/2115.02	c  N dy  3962   1820094      3971     10721      5416     92039     44119   1821872     14.04     15.10
68702.90/2149.85	c  N dy  4108   1847475      3971     10721      5416     60885     44119    623379     14.07     14.81
69511.60/2175.16	c  N dy  4217   1867564      3971     10721      5416     80784     44119   1304243     14.09     16.66
70413.64/2203.32	c  N dy  4353   1887594      3971     10721      5416    100631     44119   2008484     14.14     16.81
71407.08/2234.47	c  N dy  4506   1907783      3971     10721      5416     61230     44119    588593     14.20     14.95
72177.47/2258.56	c  N dy  4683   1927808      3971     10721      5416     81095     44119   1275665     14.26     19.70
73114.06/2287.83	c  N dy  4777   1947901      3971     10721      5416    101057     44119   2058064     14.27     15.88
74092.19/2318.44	c  N dy  4837   1969046      3971     10721      5416     61493     44119    569386     14.26     15.13
76080.39/2380.64	c  N dy  4924   2018202      3971     10721      5416    110085     44119   2508418     14.20     15.15
76997.73/2409.39	c  N dy  5050   2038230      3971     10721      5416     68571     44119    794019     14.23     15.06
77899.77/2437.52	c  N dy  5101   2058289      3971     10721      5416     88510     44119   1597845     14.22     16.13
78864.52/2467.78	c  N dy  5271   2078305      3971     10721      5416    108337     44119   2279094     14.27     20.18
84992.20/2659.42	c  N dy  5364   2210979      3971     10721      5416    113211     44119   2214386     13.95      8.93
84992.20/2659.42	c  S st  5364   2210979      3971     10721      5416    113211     44119   2214386     13.95      8.93
85011.36/2660.09	c  S st  5364   2211483      3971     10721      5416    113714     44119   2227109     13.95   no data
85014.53/2660.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
85027.32/2660.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.8M T:  0.42
85027.32/2660.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85027.32/2660.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85027.32/2660.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85027.32/2660.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3971 time:  0.01 s
85027.32/2660.55	c Removed useless bin:       0  fixed:     0  props:   0.12M  time:  0.00 s
85030.55/2660.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
85043.33/2661.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.31 s
85427.54/2673.09	c lits-rem:      2756  cl-subs:    15107  v-elim:      0  v-fix:    0  time: 12.00 s
85427.54/2673.09	c Added XOR as norm:0
85427.54/2673.09	c vivif2 --  cl tried    10721 cl shrink        0 lits rem          0 time: 0.00
85436.49/2673.39	c vivif2 --  cl tried    98607 cl shrink    19089 lits rem      61002 time: 0.29
85442.89/2673.50	c asymm  cl-useful: 0/1522/10721 lits-rem:0 time: 0.11
85442.89/2673.51	c calculated reachability. Time: 0.00
85442.89/2673.51	c  N dy  5364   2211483      3971     10721      5416     98607     44119   1957745     13.95   no data
86421.02/2704.18	c  N dy  5488   2231614      3971     10721      5416    118559     44119   2670845     13.97     14.76
88396.45/2765.97	c  N dy  5584   2271669      3971     10721      5416     94278     44119   1595478     13.95     14.71
89464.09/2799.37	c  N dy  5721   2294614      3971     10721      5416    117038     44119   2399388     13.98     14.79
90442.21/2829.97	c  N dy  5863   2314625      3971     10721      5416     71724     44119    816685     14.02     16.28
92363.27/2890.02	c  N dy  6010   2356082      3971     10721      5416    112837     44119   2369878     14.02     14.81
93354.20/2921.02	c  N dy  6079   2376108      3971     10721      5416     66349     44119    588986     14.02     20.42
94699.94/2963.10	c  N dy  6209   2407430      3971     10721      5416     97153     44119   1594036     14.01     14.87
95607.74/2991.57	c  N dy  6330   2427527      3971     10721      5416    117084     44119   2313774     14.04     14.79
100105.20/3132.25	c  N dy  6393   2522959      3971     10721      5416     76096     44119    943520     13.86     14.76
100869.16/3156.16	c  N dy  6550   2542984      3971     10721      5416     95930     44119   1631242     13.90     20.13
101732.21/3183.16	c  N dy  6699   2563053      3971     10721      5416    115808     44119   2311911     13.93     14.79
102762.12/3215.34	c  N dy  6819   2583100      3971     10721      5416    135650     44119   3011864     13.95     16.34
103608.54/3241.81	c  N dy  6927   2603197      3971     10721      5416     86254     44119   1203831     13.97     17.05
104605.86/3273.09	c  N dy  7049   2623226      3971     10721      5416    106101     44119   1906771     13.99     21.03
105727.84/3308.11	c  N dy  7168   2643317      3971     10721      5416    126046     44119   2615048     14.01     19.40
106840.87/3342.95	c  N dy  7339   2663395      3971     10721      5416     75626     44119    807974     14.05     19.64
108061.27/3381.12	c  N dy  7501   2689177      3971     10721      5416    101221     44119   1761400     14.07     14.90
109007.43/3410.71	c  N dy  7628   2709206      3971     10721      5416    121042     44119   2433511     14.10     18.34
109123.10/3414.36	c  S st  7635   2711483      3971     10721      5416    123302     44119   2524683     14.10     10.67
109144.88/3415.06	c  S st  7635   2711984      3971     10721      5416    123799     44119   2537673     14.10   no data
109144.88/3415.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
109164.05/3415.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.2M T:  0.55
109164.05/3415.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
109164.05/3415.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
109164.05/3415.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
109164.05/3415.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3971 time:  0.01 s
109164.05/3415.66	c Removed useless bin:       0  fixed:     0  props:   0.12M  time:  0.00 s
109167.25/3415.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
109183.24/3416.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.37 s
109413.39/3423.49	c lits-rem:      3182  cl-subs:     3221  v-elim:      0  v-fix:    0  time:  7.21 s
109413.39/3423.49	c Added XOR as norm:0
109413.39/3423.49	c vivif2 --  cl tried    10721 cl shrink        0 lits rem          0 time: 0.00
109429.39/3423.90	c vivif2 --  cl tried   120578 cl shrink    27683 lits rem      76895 time: 0.40
109451.76/3424.60	c asymm  cl-useful: 1/7052/10721 lits-rem:1 time: 0.70
109451.76/3424.61	c calculated reachability. Time: 0.00
109451.76/3424.61	c  N dy  7635   2711984      3971     10721      5416    120578     44118   2386444     14.10   no data
111992.96/3504.13	c  N dy  7694   2761379      3971     10721      5416     97991     44118   1589989     14.04     14.86
114186.34/3572.79	c  N dy  7754   2803936      3971     10721      5416    140334     44118   3421694     13.99     14.87
115266.16/3606.58	c  N dy  7901   2825434      3971     10721      5416     89214     44118   1204941     14.01     14.84
117577.24/3678.87	c  N dy  7987   2868907      3971     10721      5416    132419     44118   3023272     13.98     14.76
118690.25/3713.69	c  N dy  8154   2889509      3971     10721      5416     79517     44118    849427     14.01     14.79
119543.03/3740.33	c  N dy  8310   2909565      3971     10721      5416     99371     44118   1531098     14.04     21.95
121540.84/3802.87	c  N dy  8344   2949218      3971     10721      5416    138574     44118   3085596     14.01     14.77
122579.68/3835.32	c  N dy  8515   2969568      3971     10721      5417     84506     44118   1031047     14.04     14.81
123720.82/3871.07	c  N dy  8685   2996168      3971     10721      5417    110903     44118   1939636     14.07     14.85
125478.88/3926.04	c  N dy  8697   3027533      3971     10721      5417    141982     44118   3242288     14.02     14.91
126594.47/3960.98	c  N dy  8723   3047534      3971     10721      5417     86400     44118   1020520     14.00     18.33
127579.00/3991.77	c  N dy  8875   3067580      3971     10721      5417    106282     44118   1722399     14.03     19.40
128697.75/4026.73	c  N dy  9037   3087627      3971     10721      5417    126090     44118   2406881     14.06     21.13
130353.55/4078.50	c  N dy  9165   3116641      3971     10721      5417     78500     44118    721556     14.07     14.81
131334.89/4109.28	c  N dy  9219   3136681      3971     10721      5417     98375     44118   1473204     14.06     17.00
132265.05/4138.40	c  N dy  9344   3156698      3971     10721      5417    118183     44118   2176958     14.08     20.29
133326.25/4171.55	c  N dy  9408   3176701      3971     10721      5417    137970     44118   2834004     14.08     18.77
134317.19/4202.57	c  N dy  9545   3196733      3971     10721      5417     80604     44118    790971     14.10     14.91
135084.33/4226.54	c  S st  9646   3211985      3971     10721      5417     95728     44118   1342530     14.11     14.66
135103.52/4227.11	c  S st  9646   3212489      3971     10721      5417     96230     44118   1354263     14.11   no data
135103.52/4227.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
135113.12/4227.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.6M T:  0.28
135113.12/4227.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
135113.12/4227.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
135113.12/4227.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135113.12/4227.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3971 time:  0.01 s
135113.12/4227.44	c Removed useless bin:       0  fixed:     0  props:   0.12M  time:  0.00 s
135113.12/4227.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
135122.70/4227.73	c subs with bin:       31  lits-rem:        23  v-fix:    0  time:  0.14 s
135161.06/4228.95	c lits-rem:       671  cl-subs:     1492  v-elim:      0  v-fix:    0  time:  1.22 s
135161.06/4228.95	c Added XOR as norm:0
135161.06/4228.95	c vivif2 --  cl tried    10721 cl shrink        0 lits rem          0 time: 0.00
135167.45/4229.11	c vivif2 --  cl tried    94707 cl shrink     9981 lits rem      25560 time: 0.15
135173.84/4229.35	c asymm  cl-useful: 0/3669/10721 lits-rem:0 time: 0.24
135173.84/4229.36	c calculated reachability. Time: 0.00
135173.84/4229.36	c  N dy  9646   3212489      3971     10721      5417     94707     44118   1297520     14.11   no data
135928.23/4252.98	c  N dy  9684   3233091      3971     10721      5417    115037     44118   1929299     14.10     14.88
137120.52/4290.26	c  N dy  9757   3253849      3971     10721      5417    135556     44118   2605735     14.11     14.96
138383.12/4329.70	c  N dy  9891   3273853      3971     10721      5417    155328     44118   3313046     14.13     20.31
139383.66/4361.01	c  N dy 10040   3293910      3971     10721      5417     97041     44118   1325469     14.15     22.64
141103.34/4414.81	c  N dy 10091   3325991      3971     10721      5417    128586     44118   2395437     14.12     15.28
142302.05/4452.30	c  N dy 10208   3346394      3971     10721      5417    148785     44118   3089224     14.14     14.96
143385.66/4486.28	c  N dy 10362   3366636      3971     10721      5417     89773     44118   1051410     14.16     14.92
144779.94/4529.83	c  N dy 10493   3396143      3971     10721      5417    118981     44118   2133422     14.17     15.15
145850.16/4563.33	c  N dy 10596   3416205      3971     10721      5417    138820     44118   2850397     14.18     19.99
146991.91/4599.10	c  N dy 10739   3436234      3971     10721      5417    158647     44118   3577209     14.19     20.74
147985.38/4630.11	c  N dy 10856   3456491      3971     10721      5417     98618     44118   1373861     14.21     14.98
149762.64/4685.72	c  N dy 10930   3493759      3971     10721      5417    135186     44118   2539801     14.18     14.97
150958.12/4723.19	c  N dy 11046   3514634      3971     10721      5417    155846     44118   3256326     14.20     15.01
152304.50/4765.23	c  N dy 11091   3537359      3971     10721      5417     97323     44118   1330934     14.19     15.07
153387.47/4799.14	c  N dy 11173   3557377      3971     10721      5417    117160     44118   2090763     14.19     18.70
154701.20/4840.20	c  N dy 11275   3579447      3971     10721      5417    138958     44118   2882822     14.20     14.96
156028.36/4881.82	c  N dy 11443   3599449      3971     10721      5417    158769     44118   3594112     14.22     15.02
157124.17/4916.05	c  N dy 11565   3619547      3971     10721      5417     96590     44118   1186581     14.23     21.27
158223.77/4950.47	c  N dy 11730   3639562      3971     10721      5417    116409     44118   1873194     14.26     18.80
159364.94/4986.13	c  N dy 11835   3659653      3971     10721      5417    136308     44118   2580912     14.27     15.05

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400654-1306274322/watcher-3400654-1306274322 -o /tmp/evaluation-result-3400654-1306274322/solver-3400654-1306274322 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400654-1306274322.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: 27.72 31.06 30.65 1/413 11697
/proc/meminfo: memFree=255165216/264257624 swapFree=67111528/67111528
[pid=11697] ppid=11695 vsize=338000 CPUtime=0.78 cores=0-31
/proc/11697/stat : 11697 (strangenight2-m) R 11695 11697 11671 0 -1 4202496 468 0 0 0 78 0 0 0 25 0 32 0 738918635 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/11697/statm: 84500 408 300 95 0 79482 0
[pid=11697/tid=11698] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11698/stat : 11698 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 4 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11697/tid=11699] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11699/stat : 11699 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11697/tid=11700] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11700/stat : 11700 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11697/tid=11701] ppid=11695 vsize=338000 CPUtime=0 cores=0-31
/proc/11697/task/11701/stat : 11701 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238029228 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11697/tid=11702] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11702/stat : 11702 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11697/tid=11703] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11703/stat : 11703 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028823 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11697/tid=11704] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11704/stat : 11704 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11697/tid=11705] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11705/stat : 11705 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028823 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11697/tid=11706] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11706/stat : 11706 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11697/tid=11707] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11707/stat : 11707 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11697/tid=11708] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11708/stat : 11708 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11697/tid=11709] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11709/stat : 11709 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11697/tid=11710] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11710/stat : 11710 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11697/tid=11711] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11711/stat : 11711 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11697/tid=11712] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11712/stat : 11712 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028829 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11697/tid=11713] ppid=11695 vsize=338000 CPUtime=0 cores=0-31
/proc/11697/task/11713/stat : 11713 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=11697/tid=11714] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11714/stat : 11714 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11697/tid=11715] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11715/stat : 11715 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11697/tid=11716] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11716/stat : 11716 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=11697/tid=11717] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11717/stat : 11717 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11697/tid=11718] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11718/stat : 11718 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11697/tid=11719] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11719/stat : 11719 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028829 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11697/tid=11720] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11720/stat : 11720 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028816 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11697/tid=11721] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11721/stat : 11721 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11697/tid=11722] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11722/stat : 11722 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11697/tid=11723] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11723/stat : 11723 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11697/tid=11724] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11724/stat : 11724 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11697/tid=11725] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11725/stat : 11725 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11697/tid=11726] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11726/stat : 11726 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11697/tid=11727] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11727/stat : 11727 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11697/tid=11728] ppid=11695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11697/task/11728/stat : 11728 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738918636 346112000 408 268435456000 4194304 4580107 140735307093504 18446744073709551615 47483238028825 0 0 4096 2 0 0 0 -1 25 0 0 0

[startup+0.0999969 s]
/proc/loadavg: 27.72 31.06 30.65 1/413 11697
/proc/meminfo: memFree=255165216/264257624 swapFree=67111528/67111528
[pid=11697] ppid=11695 vsize=1192392 CPUtime=1.98 cores=0-31
/proc/11697/stat : 11697 (strangenight2-m) S 11695 11697 11671 0 -1 4202496 5607 0 0 0 123 75 0 0 17 0 32 0 738918635 1221009408 5442 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/11697/statm: 298098 5449 334 95 0 293080 0
[pid=11697/tid=11698] ppid=11695 vsize=1192392 CPUtime=0.06 cores=0-31
/proc/11697/task/11698/stat : 11698 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 152 0 0 0 4 2 0 0 17 0 32 0 738918636 1221009408 5449 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446744071566933224 0 0 -1 1 0 0 0
[pid=11697/tid=11699] ppid=11695 vsize=1192392 CPUtime=0.06 cores=0-31
/proc/11697/task/11699/stat : 11699 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 187 0 0 0 4 2 0 0 17 0 32 0 738918636 1221009408 5463 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11697/tid=11700] ppid=11695 vsize=1192392 CPUtime=0.05 cores=0-31
/proc/11697/task/11700/stat : 11700 (strangenight2-m) D 11695 11697 11671 0 -1 4202560 143 0 0 0 3 2 0 0 17 0 32 0 738918636 1221009408 5466 268435456000 4194304 4580107 140735307093504 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11697/tid=11701] ppid=11695 vsize=1192392 CPUtime=0.02 cores=0-31
/proc/11697/task/11701/stat : 11701 (strangenight2-m) D 11695 11697 11671 0 -1 4202560 201 0 0 0 1 1 0 0 17 0 32 0 738918636 1221009408 5511 268435456000 4194304 4580107 140735307093504 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=11697/tid=11702] ppid=11695 vsize=1192392 CPUtime=0.07 cores=0-31
/proc/11697/task/11702/stat : 11702 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 156 0 0 0 4 3 0 0 17 0 32 0 738918636 1221009408 5599 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11697/tid=11703] ppid=11695 vsize=1192392 CPUtime=0.06 cores=0-31
/proc/11697/task/11703/stat : 11703 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 131 0 0 0 4 2 0 0 17 0 32 0 738918636 1221009408 5609 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11697/tid=11704] ppid=11695 vsize=1192392 CPUtime=0.07 cores=0-31
/proc/11697/task/11704/stat : 11704 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 139 0 0 0 4 3 0 0 17 0 32 0 738918636 1221009408 5618 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11697/tid=11705] ppid=11695 vsize=1192392 CPUtime=0.06 cores=0-31
/proc/11697/task/11705/stat : 11705 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 154 0 0 0 4 2 0 0 17 0 32 0 738918636 1221009408 5625 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11697/tid=11706] ppid=11695 vsize=1192392 CPUtime=0.06 cores=0-31
/proc/11697/task/11706/stat : 11706 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 187 0 0 0 4 2 0 0 17 0 32 0 738918636 1221009408 5631 268435456000 4194304 4580107 140735307093504 18446744073709551615 258650653008 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11697/tid=11707] ppid=11695 vsize=1192392 CPUtime=0.05 cores=0-31
/proc/11697/task/11707/stat : 11707 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 165 0 0 0 3 2 0 0 17 0 32 0 738918636 1221009408 5635 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446744071566926024 0 0 -1 3 0 0 0
[pid=11697/tid=11708] ppid=11695 vsize=1192392 CPUtime=0.06 cores=0-31
/proc/11697/task/11708/stat : 11708 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 153 0 0 0 4 2 0 0 17 0 32 0 738918636 1221009408 5643 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446604505452920288 0 0 -1 4 0 0 0
[pid=11697/tid=11709] ppid=11695 vsize=1192532 CPUtime=0.06 cores=0-31
/proc/11697/task/11709/stat : 11709 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 184 0 0 0 4 2 0 0 17 0 32 0 738918636 1221152768 5652 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11697/tid=11710] ppid=11695 vsize=1192532 CPUtime=0.05 cores=0-31
/proc/11697/task/11710/stat : 11710 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 149 0 0 0 4 1 0 0 17 0 32 0 738918636 1221152768 5663 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11697/tid=11711] ppid=11695 vsize=1192532 CPUtime=0.05 cores=0-31
/proc/11697/task/11711/stat : 11711 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 169 0 0 0 3 2 0 0 17 0 32 0 738918636 1221152768 5687 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11697/tid=11712] ppid=11695 vsize=1192532 CPUtime=0.06 cores=0-31
/proc/11697/task/11712/stat : 11712 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 175 0 0 0 4 2 0 0 17 0 32 0 738918636 1221152768 5693 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11697/tid=11713] ppid=11695 vsize=1192684 CPUtime=0.04 cores=0-31
/proc/11697/task/11713/stat : 11713 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 202 0 0 0 2 2 0 0 17 0 32 0 738918636 1221308416 5730 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=11697/tid=11714] ppid=11695 vsize=1192684 CPUtime=0.05 cores=0-31
/proc/11697/task/11714/stat : 11714 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 132 0 0 0 3 2 0 0 25 0 32 0 738918636 1221308416 5746 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446744071566923784 0 0 -1 27 0 0 0
[pid=11697/tid=11715] ppid=11695 vsize=1192684 CPUtime=0.05 cores=0-31
/proc/11697/task/11715/stat : 11715 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 216 0 0 0 3 2 0 0 17 0 32 0 738918636 1221308416 5793 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11697/tid=11716] ppid=11695 vsize=1192684 CPUtime=0.05 cores=0-31
/proc/11697/task/11716/stat : 11716 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 162 0 0 0 3 2 0 0 17 0 32 0 738918636 1221308416 5798 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=11697/tid=11717] ppid=11695 vsize=1192948 CPUtime=0.06 cores=0-31
/proc/11697/task/11717/stat : 11717 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 174 0 0 0 4 2 0 0 17 0 32 0 738918636 1221578752 5946 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11697/tid=11718] ppid=11695 vsize=1193080 CPUtime=0.05 cores=0-31
/proc/11697/task/11718/stat : 11718 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 184 0 0 0 3 2 0 0 17 0 32 0 738918636 1221713920 5959 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11697/tid=11719] ppid=11695 vsize=1193080 CPUtime=0.06 cores=0-31
/proc/11697/task/11719/stat : 11719 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 230 0 0 0 4 2 0 0 17 0 32 0 738918636 1221713920 6036 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446604643970670048 0 0 -1 7 0 0 0
[pid=11697/tid=11720] ppid=11695 vsize=1193080 CPUtime=0.06 cores=0-31
/proc/11697/task/11720/stat : 11720 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 153 0 0 0 4 2 0 0 17 0 32 0 738918636 1221713920 6041 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446744071566926784 0 0 -1 9 0 0 0
[pid=11697/tid=11721] ppid=11695 vsize=1193080 CPUtime=0.05 cores=0-31
/proc/11697/task/11721/stat : 11721 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 154 0 0 0 3 2 0 0 17 0 32 0 738918636 1221713920 6050 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446604476647087584 0 0 -1 11 0 0 0
[pid=11697/tid=11722] ppid=11695 vsize=1193080 CPUtime=0.07 cores=0-31
/proc/11697/task/11722/stat : 11722 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 182 0 0 0 4 3 0 0 17 0 32 0 738918636 1221713920 6056 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11697/tid=11723] ppid=11695 vsize=1193080 CPUtime=0.05 cores=0-31
/proc/11697/task/11723/stat : 11723 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 154 0 0 0 3 2 0 0 17 0 32 0 738918636 1221713920 6073 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11697/tid=11724] ppid=11695 vsize=1193212 CPUtime=0.07 cores=0-31
/proc/11697/task/11724/stat : 11724 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 175 0 0 0 4 3 0 0 17 0 32 0 738918636 1221849088 6078 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446604483994164704 0 0 -1 17 0 0 0
[pid=11697/tid=11725] ppid=11695 vsize=1193212 CPUtime=0.05 cores=0-31
/proc/11697/task/11725/stat : 11725 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 179 0 0 0 3 2 0 0 17 0 32 0 738918636 1221849088 6095 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446604484719533536 0 0 -1 19 0 0 0
[pid=11697/tid=11726] ppid=11695 vsize=1193212 CPUtime=0.07 cores=0-31
/proc/11697/task/11726/stat : 11726 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 194 0 0 0 4 3 0 0 17 0 32 0 738918636 1221849088 6105 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11697/tid=11727] ppid=11695 vsize=1193212 CPUtime=0.06 cores=0-31
/proc/11697/task/11727/stat : 11727 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 257 0 0 0 4 2 0 0 17 0 32 0 738918636 1221849088 6136 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446604643085917664 0 0 -1 23 0 0 0
[pid=11697/tid=11728] ppid=11695 vsize=1193376 CPUtime=0.06 cores=0-31
/proc/11697/task/11728/stat : 11728 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 173 0 0 0 3 3 0 0 17 0 32 0 738918636 1222017024 6143 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446744071566926024 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 1192392

[startup+0.117885 s]
/proc/loadavg: 27.72 31.06 30.65 1/413 11697
/proc/meminfo: memFree=255165216/264257624 swapFree=67111528/67111528
[pid=11697] ppid=11695 vsize=1193952 CPUtime=2.48 cores=0-31
/proc/11697/stat : 11697 (strangenight2-m) R 11695 11697 11671 0 -1 4202496 6875 0 0 0 130 118 0 0 17 0 32 0 738918635 1222606848 6710 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/11697/statm: 298561 6774 334 95 0 293543 0
[pid=11697/tid=11698] ppid=11695 vsize=1194244 CPUtime=0.07 cores=0-31
/proc/11697/task/11698/stat : 11698 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 196 0 0 0 4 3 0 0 17 0 32 0 738918636 1222905856 6809 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11697/tid=11699] ppid=11695 vsize=1194560 CPUtime=0.08 cores=0-31
/proc/11697/task/11699/stat : 11699 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 220 0 0 0 4 4 0 0 17 0 32 0 738918636 1223229440 6902 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11697/tid=11700] ppid=11695 vsize=1194560 CPUtime=0.07 cores=0-31
/proc/11697/task/11700/stat : 11700 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 213 0 0 0 3 4 0 0 17 0 32 0 738918636 1223229440 6912 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11697/tid=11701] ppid=11695 vsize=1194560 CPUtime=0.03 cores=0-31
/proc/11697/task/11701/stat : 11701 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 259 0 0 0 1 2 0 0 17 0 32 0 738918636 1223229440 6923 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446604642772696544 0 0 -1 31 0 0 0
[pid=11697/tid=11702] ppid=11695 vsize=1195088 CPUtime=0.08 cores=0-31
/proc/11697/task/11702/stat : 11702 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 182 0 0 0 4 4 0 0 17 0 32 0 738918636 1223770112 7029 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11697/tid=11703] ppid=11695 vsize=1195220 CPUtime=0.07 cores=0-31
/proc/11697/task/11703/stat : 11703 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 167 0 0 0 4 3 0 0 17 0 32 0 738918636 1223905280 7131 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11697/tid=11704] ppid=11695 vsize=1195220 CPUtime=0.08 cores=0-31
/proc/11697/task/11704/stat : 11704 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 160 0 0 0 4 4 0 0 17 0 32 0 738918636 1223905280 7139 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11697/tid=11705] ppid=11695 vsize=1195220 CPUtime=0.08 cores=0-31
/proc/11697/task/11705/stat : 11705 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 186 0 0 0 4 4 0 0 17 0 32 0 738918636 1223905280 7154 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11697/tid=11706] ppid=11695 vsize=1195484 CPUtime=0.07 cores=0-31
/proc/11697/task/11706/stat : 11706 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 266 0 0 0 4 3 0 0 17 0 32 0 738918636 1224175616 7242 268435456000 4194304 4580107 140735307093504 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11697/tid=11707] ppid=11695 vsize=1195880 CPUtime=0.07 cores=0-31
/proc/11697/task/11707/stat : 11707 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 197 0 0 0 3 4 0 0 17 0 32 0 738918636 1224581120 7385 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11697/tid=11708] ppid=11695 vsize=1196012 CPUtime=0.08 cores=0-31
/proc/11697/task/11708/stat : 11708 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 183 0 0 0 4 4 0 0 17 0 32 0 738918636 1224716288 7448 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11697/tid=11709] ppid=11695 vsize=1196144 CPUtime=0.08 cores=0-31
/proc/11697/task/11709/stat : 11709 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 204 0 0 0 4 4 0 0 17 0 32 0 738918636 1224851456 7478 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446604629008195040 0 0 -1 16 0 0 0
[pid=11697/tid=11710] ppid=11695 vsize=1196144 CPUtime=0.08 cores=0-31
/proc/11697/task/11710/stat : 11710 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 207 0 0 0 4 4 0 0 17 0 32 0 738918636 1224851456 7486 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11697/tid=11711] ppid=11695 vsize=1196276 CPUtime=0.07 cores=0-31
/proc/11697/task/11711/stat : 11711 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 228 0 0 0 3 4 0 0 17 0 32 0 738918636 1224986624 7505 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11697/tid=11712] ppid=11695 vsize=1196404 CPUtime=0.08 cores=0-31
/proc/11697/task/11712/stat : 11712 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 230 0 0 0 4 4 0 0 17 0 32 0 738918636 1225117696 7526 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11697/tid=11713] ppid=11695 vsize=1196404 CPUtime=0.05 cores=0-31
/proc/11697/task/11713/stat : 11713 (strangenight2-m) S 11695 11697 11671 0 -1 4202560 383 0 0 0 2 3 0 0 17 0 32 0 738918636 1225117696 7535 268435456000 4194304 4580107 140735307093504 18446744073709551615 258651060958 0 0 4096 2 18446744071566924424 0 0 -1 29 0 0 0
[pid=11697/tid=11714] ppid=11695 vsize=1196404 CPUtime=0.07 cores=0-31

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

/proc/meminfo: memFree=250738944/264257624 swapFree=67111528/67111528
[pid=11697] ppid=11695 vsize=6655280 CPUtime=158604 cores=0-31
/proc/11697/stat : 11697 (strangenight2-m) R 11695 11697 11671 0 -1 4202496 3112781 0 0 0 15857000 3416 0 0 25 0 32 0 738918635 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/11697/statm: 1663820 1104263 379 95 0 1658802 0
[pid=11697/tid=11698] ppid=11695 vsize=6655280 CPUtime=4960.91 cores=0-31
/proc/11697/task/11698/stat : 11698 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 136976 0 0 0 495947 144 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11697/tid=11699] ppid=11695 vsize=6655280 CPUtime=4853.46 cores=0-31
/proc/11697/task/11699/stat : 11699 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 103350 0 0 0 485228 118 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=11697/tid=11700] ppid=11695 vsize=6655280 CPUtime=4960.92 cores=0-31
/proc/11697/task/11700/stat : 11700 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 92586 0 0 0 496004 88 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11697/tid=11701] ppid=11695 vsize=6655280 CPUtime=4960.89 cores=0-31
/proc/11697/task/11701/stat : 11701 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 115847 0 0 0 495963 126 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11697/tid=11702] ppid=11695 vsize=6655280 CPUtime=4960.92 cores=0-31
/proc/11697/task/11702/stat : 11702 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 107695 0 0 0 495988 104 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11697/tid=11703] ppid=11695 vsize=6655280 CPUtime=4959.93 cores=0-31
/proc/11697/task/11703/stat : 11703 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 78953 0 0 0 495906 87 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11697/tid=11704] ppid=11695 vsize=6655280 CPUtime=4960.89 cores=0-31
/proc/11697/task/11704/stat : 11704 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 104305 0 0 0 495983 106 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11697/tid=11705] ppid=11695 vsize=6655280 CPUtime=4960.9 cores=0-31
/proc/11697/task/11705/stat : 11705 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 99738 0 0 0 495984 106 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4316617 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11697/tid=11706] ppid=11695 vsize=6655280 CPUtime=4960.86 cores=0-31
/proc/11697/task/11706/stat : 11706 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 76419 0 0 0 496000 86 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11697/tid=11707] ppid=11695 vsize=6655280 CPUtime=4959.82 cores=0-31
/proc/11697/task/11707/stat : 11707 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 120748 0 0 0 495860 122 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11697/tid=11708] ppid=11695 vsize=6655280 CPUtime=4958.87 cores=0-31
/proc/11697/task/11708/stat : 11708 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 102490 0 0 0 495748 139 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11697/tid=11709] ppid=11695 vsize=6655280 CPUtime=4960.91 cores=0-31
/proc/11697/task/11709/stat : 11709 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 88043 0 0 0 496002 89 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11697/tid=11710] ppid=11695 vsize=6655280 CPUtime=4960.87 cores=0-31
/proc/11697/task/11710/stat : 11710 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 92749 0 0 0 495994 93 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11697/tid=11711] ppid=11695 vsize=6655280 CPUtime=4960.88 cores=0-31
/proc/11697/task/11711/stat : 11711 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 103028 0 0 0 495990 98 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11697/tid=11712] ppid=11695 vsize=6655280 CPUtime=4960.91 cores=0-31
/proc/11697/task/11712/stat : 11712 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 98098 0 0 0 495983 108 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11697/tid=11713] ppid=11695 vsize=6655280 CPUtime=4960.83 cores=0-31
/proc/11697/task/11713/stat : 11713 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 98120 0 0 0 495982 101 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=11697/tid=11714] ppid=11695 vsize=6655280 CPUtime=4928.39 cores=0-31
/proc/11697/task/11714/stat : 11714 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 85912 0 0 0 492736 103 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11697/tid=11715] ppid=11695 vsize=6655280 CPUtime=4960.94 cores=0-31
/proc/11697/task/11715/stat : 11715 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 77484 0 0 0 496000 94 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11697/tid=11716] ppid=11695 vsize=6655280 CPUtime=4960.93 cores=0-31
/proc/11697/task/11716/stat : 11716 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 93285 0 0 0 495988 105 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=11697/tid=11717] ppid=11695 vsize=6655280 CPUtime=4959.79 cores=0-31
/proc/11697/task/11717/stat : 11717 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 81409 0 0 0 495880 99 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11697/tid=11718] ppid=11695 vsize=6655280 CPUtime=4960.9 cores=0-31
/proc/11697/task/11718/stat : 11718 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 119402 0 0 0 495957 133 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11697/tid=11719] ppid=11695 vsize=6655280 CPUtime=4960.9 cores=0-31
/proc/11697/task/11719/stat : 11719 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 115669 0 0 0 495978 112 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11697/tid=11720] ppid=11695 vsize=6655280 CPUtime=4960.91 cores=0-31
/proc/11697/task/11720/stat : 11720 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 84356 0 0 0 495999 92 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11697/tid=11721] ppid=11695 vsize=6655280 CPUtime=4960.91 cores=0-31
/proc/11697/task/11721/stat : 11721 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 91963 0 0 0 495993 98 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11697/tid=11722] ppid=11695 vsize=6655280 CPUtime=4960.74 cores=0-31
/proc/11697/task/11722/stat : 11722 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 102661 0 0 0 495956 118 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11697/tid=11723] ppid=11695 vsize=6655280 CPUtime=4960.91 cores=0-31
/proc/11697/task/11723/stat : 11723 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 100588 0 0 0 495975 116 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11697/tid=11724] ppid=11695 vsize=6655280 CPUtime=4960.92 cores=0-31
/proc/11697/task/11724/stat : 11724 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 91662 0 0 0 495982 110 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11697/tid=11725] ppid=11695 vsize=6655280 CPUtime=4960.91 cores=0-31
/proc/11697/task/11725/stat : 11725 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 76891 0 0 0 495996 95 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11697/tid=11726] ppid=11695 vsize=6655280 CPUtime=4960.91 cores=0-31
/proc/11697/task/11726/stat : 11726 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 91469 0 0 0 495985 106 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11697/tid=11727] ppid=11695 vsize=6655280 CPUtime=4960.9 cores=0-31
/proc/11697/task/11727/stat : 11727 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 78343 0 0 0 496005 85 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11697/tid=11728] ppid=11695 vsize=6655280 CPUtime=4961.2 cores=0-31
/proc/11697/task/11728/stat : 11728 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 89920 0 0 0 496021 99 0 0 25 0 32 0 738918636 6815006720 1104263 268435456000 4194304 4580107 140735307093504 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 158604
Current children cumulated vsize (KiB) 6655280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5006 s]
/proc/loadavg: 32.14 32.14 32.11 34/445 11884
/proc/meminfo: memFree=250706232/264257624 swapFree=67111528/67111528
[pid=11697] ppid=11695 vsize=6890228 CPUtime=160002 cores=0-31
/proc/11697/stat : 11697 (strangenight2-m) R 11695 11697 11671 0 -1 4202496 3128893 0 0 0 15996799 3431 0 0 25 0 32 0 738918635 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/11697/statm: 1722557 1112371 379 95 0 1717539 0
[pid=11697/tid=11698] ppid=11695 vsize=6890228 CPUtime=5004.64 cores=0-31
/proc/11697/task/11698/stat : 11698 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 137943 0 0 0 500319 145 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11697/tid=11699] ppid=11695 vsize=6890228 CPUtime=4895.94 cores=0-31
/proc/11697/task/11699/stat : 11699 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 104195 0 0 0 489475 119 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=11697/tid=11700] ppid=11695 vsize=6890228 CPUtime=5004.66 cores=0-31
/proc/11697/task/11700/stat : 11700 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 92716 0 0 0 500378 88 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11697/tid=11701] ppid=11695 vsize=6890228 CPUtime=5004.62 cores=0-31
/proc/11697/task/11701/stat : 11701 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 116013 0 0 0 500336 126 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11697/tid=11702] ppid=11695 vsize=6890228 CPUtime=5004.66 cores=0-31
/proc/11697/task/11702/stat : 11702 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 107695 0 0 0 500362 104 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4322703 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11697/tid=11703] ppid=11695 vsize=6890228 CPUtime=5003.65 cores=0-31
/proc/11697/task/11703/stat : 11703 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 80192 0 0 0 500277 88 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11697/tid=11704] ppid=11695 vsize=6890228 CPUtime=5004.62 cores=0-31
/proc/11697/task/11704/stat : 11704 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 104305 0 0 0 500356 106 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11697/tid=11705] ppid=11695 vsize=6890228 CPUtime=5004.63 cores=0-31
/proc/11697/task/11705/stat : 11705 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 100501 0 0 0 500356 107 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4320798 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11697/tid=11706] ppid=11695 vsize=6890228 CPUtime=5004.6 cores=0-31
/proc/11697/task/11706/stat : 11706 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 76419 0 0 0 500374 86 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11697/tid=11707] ppid=11695 vsize=6890228 CPUtime=5003.55 cores=0-31
/proc/11697/task/11707/stat : 11707 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 123403 0 0 0 500232 123 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11697/tid=11708] ppid=11695 vsize=6890228 CPUtime=5002.58 cores=0-31
/proc/11697/task/11708/stat : 11708 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 103281 0 0 0 500119 139 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11697/tid=11709] ppid=11695 vsize=6890228 CPUtime=5004.64 cores=0-31
/proc/11697/task/11709/stat : 11709 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 88235 0 0 0 500375 89 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294939 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11697/tid=11710] ppid=11695 vsize=6890228 CPUtime=5004.61 cores=0-31
/proc/11697/task/11710/stat : 11710 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 92749 0 0 0 500368 93 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11697/tid=11711] ppid=11695 vsize=6890228 CPUtime=5004.62 cores=0-31
/proc/11697/task/11711/stat : 11711 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 103028 0 0 0 500364 98 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11697/tid=11712] ppid=11695 vsize=6890228 CPUtime=5004.64 cores=0-31
/proc/11697/task/11712/stat : 11712 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 98182 0 0 0 500356 108 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293728 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11697/tid=11713] ppid=11695 vsize=6890228 CPUtime=5004.57 cores=0-31
/proc/11697/task/11713/stat : 11713 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 98120 0 0 0 500356 101 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=11697/tid=11714] ppid=11695 vsize=6890228 CPUtime=4972.12 cores=0-31
/proc/11697/task/11714/stat : 11714 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 85912 0 0 0 497109 103 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11697/tid=11715] ppid=11695 vsize=6890228 CPUtime=5004.67 cores=0-31
/proc/11697/task/11715/stat : 11715 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 78177 0 0 0 500372 95 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11697/tid=11716] ppid=11695 vsize=6890228 CPUtime=5004.67 cores=0-31
/proc/11697/task/11716/stat : 11716 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 93988 0 0 0 500361 106 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=11697/tid=11717] ppid=11695 vsize=6890228 CPUtime=5003.52 cores=0-31
/proc/11697/task/11717/stat : 11717 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 82329 0 0 0 500252 100 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11697/tid=11718] ppid=11695 vsize=6890228 CPUtime=5004.63 cores=0-31
/proc/11697/task/11718/stat : 11718 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 120452 0 0 0 500329 134 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11697/tid=11719] ppid=11695 vsize=6890228 CPUtime=5004.64 cores=0-31
/proc/11697/task/11719/stat : 11719 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 115750 0 0 0 500351 113 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11697/tid=11720] ppid=11695 vsize=6890228 CPUtime=5004.65 cores=0-31
/proc/11697/task/11720/stat : 11720 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 85272 0 0 0 500372 93 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11697/tid=11721] ppid=11695 vsize=6890228 CPUtime=5004.65 cores=0-31
/proc/11697/task/11721/stat : 11721 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 92183 0 0 0 500366 99 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11697/tid=11722] ppid=11695 vsize=6890228 CPUtime=5004.47 cores=0-31
/proc/11697/task/11722/stat : 11722 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 104880 0 0 0 500328 119 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11697/tid=11723] ppid=11695 vsize=6890228 CPUtime=5004.65 cores=0-31
/proc/11697/task/11723/stat : 11723 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 100588 0 0 0 500349 116 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4318458 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11697/tid=11724] ppid=11695 vsize=6890228 CPUtime=5004.65 cores=0-31
/proc/11697/task/11724/stat : 11724 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 92623 0 0 0 500354 111 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11697/tid=11725] ppid=11695 vsize=6890228 CPUtime=5004.64 cores=0-31
/proc/11697/task/11725/stat : 11725 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 76891 0 0 0 500369 95 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11697/tid=11726] ppid=11695 vsize=6890228 CPUtime=5004.64 cores=0-31
/proc/11697/task/11726/stat : 11726 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 91869 0 0 0 500357 107 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11697/tid=11727] ppid=11695 vsize=6890228 CPUtime=5004.63 cores=0-31
/proc/11697/task/11727/stat : 11727 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 78343 0 0 0 500378 85 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11697/tid=11728] ppid=11695 vsize=6890228 CPUtime=5004.93 cores=0-31
/proc/11697/task/11728/stat : 11728 (strangenight2-m) R 11695 11697 11671 0 -1 4202560 89920 0 0 0 500394 99 0 0 25 0 32 0 738918636 7055593472 1112371 268435456000 4194304 4580107 140735307093504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 6890228

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

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

[startup+5006.2 s]
/proc/loadavg: 32.14 32.14 32.11 34/445 11884
/proc/meminfo: memFree=250706232/264257624 swapFree=67111528/67111528
[pid=11697] ppid=11695 vsize=0 CPUtime=160003 cores=0-31
/proc/11697/stat : 11697 (strangenight2-m) Z 11695 11697 11671 0 -1 4203548 3128894 0 0 0 15996824 3446 0 0 25 0 2 0 738918635 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/11697/statm: 0 0 0 0 0 0 0
[pid=11697/tid=11699] ppid=11695 vsize=0 CPUtime=4896.09 cores=0-31
/proc/11697/task/11699/stat : 11699 (strangenight2-m) R 11695 11697 11671 0 -1 4203588 104195 0 0 0 489475 134 0 0 25 0 2 0 738918636 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

[startup+5006.4 s]
/proc/loadavg: 32.14 32.14 32.11 34/445 11884
/proc/meminfo: memFree=250706232/264257624 swapFree=67111528/67111528
[pid=11697] ppid=11695 vsize=0 CPUtime=160003 cores=0-31
/proc/11697/stat : 11697 (strangenight2-m) Z 11695 11697 11671 0 -1 4203548 3128894 0 0 0 15996824 3466 0 0 25 0 2 0 738918635 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/11697/statm: 0 0 0 0 0 0 0
[pid=11697/tid=11699] ppid=11695 vsize=0 CPUtime=4896.29 cores=0-31
/proc/11697/task/11699/stat : 11699 (strangenight2-m) R 11695 11697 11671 0 -1 4203588 104195 0 0 0 489475 154 0 0 25 0 2 0 738918636 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5006.43
CPU time (s): 160003
CPU user time (s): 159968
CPU system time (s): 34.6937
CPU usage (%): 3195.95
Max. virtual memory (cumulated for all children) (KiB): 7179552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159968
system time used= 34.6937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3128894
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= 146982
involuntary context switches= 352910

runsolver used 29.9095 second user time and 111.303 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-24 23:58:42
IDJOB=3400654
IDBENCH=70775
IDSOLVER=1886
FILE ID=node200/3400654-1306274322
RUNJOBID= node200-1306274322-11685
PBS_JOBID= 13411773
Free space on /tmp= 62048 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate032.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400654-1306274322/watcher-3400654-1306274322 -o /tmp/evaluation-result-3400654-1306274322/solver-3400654-1306274322 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400654-1306274322.cnf

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

MD5SUM BENCH= 8d76aa747359ea8ccf15726792949452
RANDOM SEED=1545401133

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.049
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.09
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.049
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.049
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.08
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.049
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.09
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.049
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.17
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.049
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.049
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.06
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.049
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.049
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.04
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.049
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.09
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.049
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.09
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.049
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.02
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.049
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.17
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.049
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.09
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.049
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	: 3989.98
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.049
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.06
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.049
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.04
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.049
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.09
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.049
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.049
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	: 3990.09
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.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
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.049
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.09
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.049
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.08
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.049
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.09
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.049
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	: 3990.05
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.049
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.09
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.049
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.049
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.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255165620 kB
Buffers:        465520 kB
Cached:        8219916 kB
SwapCached:          0 kB
Active:        7769636 kB
Inactive:       984808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255165620 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5860 kB
Writeback:           0 kB
AnonPages:       69520 kB
Mapped:          13484 kB
Slab:           255612 kB
PageTables:       4720 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   184564 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= 62040 MiB
End job on node200 at 2011-05-25 01:22:10