Trace number 3400833

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.24

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
32/aes_32_5_keyfind_1.cnf
MD5SUM3f4ea4cf17e734bbe947db7c1dc9fde7
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark66518.3
Satisfiable
(Un)Satisfiability was proved
Number of variables1116
Number of clauses4312
Sum of the clauses size13688
Maximum clause length5
Minimum clause length1
Number of clauses of size 184
Number of clauses of size 2200
Number of clauses of size 33008
Number of clauses of size 4920
Number of clauses of size 5100
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.03	c Using 32 threads
0.00/0.04	c This is CryptoMiniSat 3.0.0
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c Reading file 'HOME/instance-3400833-1306892042.cnf'
0.00/0.05	c -- header says num vars:           1116
0.00/0.05	c -- header says num clauses:        4312
0.00/0.11	c -- clauses added:            0 learnts,         4312 normals,            0 xors
0.00/0.11	c -- vars added       1116
0.00/0.11	c Parsing time:  0.01 s
0.00/0.11	c  N st     0         0      1116      3948       200         0     13204         0   no data   no data
0.00/0.13	c asymm  cl-useful: 0/3692/3692 lits-rem:0 time: 0.01
2.13/0.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  144 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2.13/0.15	c Replacing      144 vars Replaced     2868 lits Time:     0.00 s 
2.13/0.20	c blocked clauses removed:        0 vars:      0 tried:         888 T: 0.00 s
2.13/0.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2.13/0.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.13/0.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    888 time:  0.00 s
2.13/0.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.52/0.24	c lits-rem:         0  cl-subs:        0  v-elim:    142  v-fix:    0  time:  0.01 s
3.52/0.24	c Finding binary XORs  T:     0.00 s  found:       0
3.52/0.24	c Finding non-binary XORs:     0.00 s (found:     386, avg size: 3.4)
3.52/0.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     34 locsubst:     0 time:   0.00
3.52/0.24	c calculated reachability. Time: 0.00
3.52/0.24	c Calc default polars -  time:   0.00 s pos:       0 undec:     404 neg:     712
3.52/0.24	c =========================================================================================
3.52/0.24	c types(t): F = full restart, N = normal restart
3.52/0.24	c types(t): S = simplification begin/end, E = solution found
3.52/0.24	c restart types(rt): st = static, dy = dynamic
3.52/0.24	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.52/0.24	c  B st     0         0       712      1580        40         0      7012         0   no data   no data
3.52/0.35	c Decided on static restart strategy
3.52/0.77	c  N st     8      4916       712      1580        51      4614      7012    125042   no data   no data
48.41/1.67	c  N st    10     11298       712      1580       127      4370      7012     68153   no data   no data
76.51/2.50	c  N st    11     17042       712      1580       127      9817      7012    276376   no data   no data
76.51/2.50	c Finding binary XORs  T:     0.00 s  found:      66
76.51/2.52	c Replacing       66 vars Replaced     9977 lits Time:     0.01 s 
111.67/3.67	c  F st    12     25001       646      1580         9     12090      6938    327620   no data   no data
111.67/3.67	c  N st    12     25001       646      1580         9     12090      6938    327620   no data   no data
134.03/4.37	c Decided on static restart strategy
134.03/4.37	c  N st    18     30000       646      1580        18     10628      6938    248957   no data   no data
134.03/4.37	c  S st    18     30000       646      1580        18     10628      6938    248957   no data   no data
137.24/4.41	c  S st    18     30500       646      1580        19     11098      6938    256834   no data   no data
137.24/4.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
137.24/4.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    7 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
137.24/4.42	c Replacing        7 vars Replaced     2947 lits Time:     0.01 s 
137.24/4.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
137.24/4.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
137.24/4.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.24/4.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    639 time:  0.00 s
137.24/4.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
137.24/4.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
137.24/4.44	c subs with bin:        1  lits-rem:         3  v-fix:    0  time:  0.00 s
143.63/4.65	c lits-rem:      1691  cl-subs:     1086  v-elim:      0  v-fix:    0  time:  0.21 s
143.63/4.66	c asymm  cl-useful: 0/1580/1580 lits-rem:0 time: 0.00
143.63/4.66	c calculated reachability. Time: 0.00
143.63/4.66	c  N st    18     30500       639      1580         5     10009      6934    227248   no data   no data
175.59/5.64	c  N st    20     37610       639      1580         7      9377      6934    153359   no data   no data
207.55/6.65	c  N st    21     44009       639      1580         7     15412      6934    351313   no data   no data
217.13/6.97	c  S st    22     45751       639      1580         8     17092      6934    412617   no data   no data
220.92/7.04	c  S st    22     46253       639      1580         8      9228      6934    119779   no data   no data
220.92/7.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
220.92/7.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
220.92/7.05	c Replacing        3 vars Replaced       71 lits Time:     0.00 s 
220.92/7.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
220.92/7.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
220.92/7.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
220.92/7.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    636 time:  0.00 s
220.92/7.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
220.92/7.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
220.92/7.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
220.92/7.08	c lits-rem:       253  cl-subs:      166  v-elim:      0  v-fix:    0  time:  0.02 s
220.92/7.08	c vivif2 --  cl tried     1580 cl shrink        0 lits rem          0 time: 0.00
220.92/7.08	c vivif2 --  cl tried     9062 cl shrink        0 lits rem          0 time: 0.00
220.92/7.08	c asymm  cl-useful: 0/1580/1580 lits-rem:0 time: 0.00
220.92/7.08	c calculated reachability. Time: 0.00
220.92/7.08	c  N st    22     46253       636      1580         2      9062      6932    116728   no data   no data
287.45/9.16	c  N st    23     60653       636      1580         2     13384      6932    233834   no data   no data
348.18/11.02	c  N st    24     69380       636      1580         3     11400      6932    148433   no data   no data
348.18/11.02	c  S st    24     69380       636      1580         3     11400      6932    148433   no data   no data
348.18/11.02	c Finding binary XORs  T:     0.00 s  found:       1
348.18/11.07	c  S st    24     69884       636      1580         3     11884      6932    158186   no data   no data
348.18/11.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
348.18/11.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
348.18/11.08	c Replacing        1 vars Replaced       23 lits Time:     0.00 s 
348.18/11.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
348.18/11.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
348.18/11.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
348.18/11.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
348.18/11.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
348.18/11.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
348.18/11.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
351.37/11.12	c lits-rem:       569  cl-subs:      138  v-elim:      0  v-fix:    0  time:  0.03 s
351.37/11.12	c vivif2 --  cl tried     1580 cl shrink        0 lits rem          0 time: 0.00
351.37/11.12	c vivif2 --  cl tried    11746 cl shrink        0 lits rem          0 time: 0.00
351.37/11.13	c asymm  cl-useful: 0/1580/1580 lits-rem:0 time: 0.00
351.37/11.13	c calculated reachability. Time: 0.00
351.37/11.13	c  N st    24     69884       635      1580         1     11746      6932    155814   no data   no data
453.65/14.30	c  F st    25     87500       635      1580         1     17173      6932    301760   no data   no data
453.65/14.30	c  N st    25     87500       635      1580         1     17173      6932    301760   no data   no data
482.43/15.22	c Decided on static restart strategy
502.21/15.86	c  N st    32     95538       635      1580         2     24888      6932    583971   no data   no data
559.15/17.63	c  N st    34    104828       635      1580         3     21469      6932    496759   no data   no data
559.15/17.63	c  S st    34    104828       635      1580         3     21469      6932    496759   no data   no data
562.34/17.70	c  S st    34    105332       635      1580         4     21962      6932    508275   no data   no data
562.34/17.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
562.34/17.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
562.34/17.72	c Replacing        2 vars Replaced      563 lits Time:     0.00 s 
562.34/17.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
562.34/17.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
562.34/17.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
562.34/17.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
562.34/17.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
562.34/17.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
562.34/17.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
581.51/18.30	c lits-rem:      1278  cl-subs:      842  v-elim:      0  v-fix:    0  time:  0.54 s
581.51/18.30	c vivif2 --  cl tried     1580 cl shrink        0 lits rem          0 time: 0.00
581.51/18.31	c vivif2 --  cl tried    21120 cl shrink        0 lits rem          0 time: 0.01
581.51/18.32	c asymm  cl-useful: 0/1580/1580 lits-rem:0 time: 0.01
581.51/18.32	c calculated reachability. Time: 0.00
581.51/18.32	c  N st    34    105332       633      1580         0     21120      6932    481893   no data   no data
642.85/20.23	c  N st    35    114930       633      1580         0     16813      6932    258713   no data   no data
731.76/23.05	c  N st    36    129329       633      1580         1     16306      6932    215327   no data   no data
888.96/27.95	c  N st    37    150925       633      1580         1     21615      6932    396840   no data   no data
936.31/29.44	c  S st    38    157998       633      1580         1     28235      6932    607552   no data   no data
939.54/29.54	c  S st    38    158502       633      1580         1     28721      6932    616899   no data   no data
939.54/29.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
939.54/29.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
939.54/29.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
939.54/29.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
939.54/29.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
939.54/29.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
939.54/29.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
939.54/29.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
942.71/29.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
997.68/31.38	c lits-rem:      1286  cl-subs:     3734  v-elim:      0  v-fix:    0  time:  1.77 s
997.68/31.38	c vivif2 --  cl tried     1580 cl shrink        0 lits rem          0 time: 0.00
997.68/31.38	c vivif2 --  cl tried    24987 cl shrink        0 lits rem          0 time: 0.01
997.68/31.40	c asymm  cl-useful: 0/1580/1580 lits-rem:0 time: 0.01
997.68/31.40	c calculated reachability. Time: 0.00
997.68/31.40	c  N st    38    158502       633      1580         1     24987      6932    512822   no data   no data
1393.40/43.75	c  N st    39    207092       633      1580         1     20010      6932    274138   no data   no data
1652.32/51.85	c  N st    40    237753       633      1580         2     30125      6932    603682   no data   no data
1652.32/51.85	c  S st    40    237753       633      1580         2     30125      6932    603682   no data   no data
1655.53/51.98	c  S st    40    238255       633      1580         2     30617      6932    614012   no data   no data
1655.53/51.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1655.53/52.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
1658.72/52.00	c Replacing        1 vars Replaced       14 lits Time:     0.00 s 
1658.72/52.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1658.72/52.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1658.72/52.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1658.72/52.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
1658.72/52.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1658.72/52.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
1658.72/52.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1748.21/54.82	c lits-rem:       718  cl-subs:     5899  v-elim:      0  v-fix:    0  time:  2.77 s
1748.21/54.82	c vivif2 --  cl tried     1580 cl shrink        0 lits rem          0 time: 0.00
1748.21/54.82	c vivif2 --  cl tried    24718 cl shrink        0 lits rem          0 time: 0.01
1748.21/54.83	c asymm  cl-useful: 0/1580/1580 lits-rem:0 time: 0.01
1748.21/54.84	c calculated reachability. Time: 0.00
1748.21/54.84	c  N st    40    238255       632      1580         0     24718      6932    445602   no data   no data
2400.91/75.25	c  F st    41    306250       632      1580         0     26826      6932    442093   no data   no data
2400.91/75.25	c  N st    41    306250       632      1580         0     26826      6932    442093   no data   no data
2436.07/76.40	c Decided on static restart strategy
2643.18/82.82	c  N st    51    334557       632      1580         0     31111      6932    610973   no data   no data
2828.57/88.61	c  N st    53    357382       632      1580         0     29233      6932    495603   no data   no data
2828.57/88.61	c  S st    53    357382       632      1580         0     29233      6932    495603   no data   no data
2831.76/88.74	c  S st    53    357887       632      1580         0     29727      6932    506173   no data   no data
2831.76/88.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2831.76/88.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
2831.76/88.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2831.76/88.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2831.76/88.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2831.76/88.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
2831.76/88.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2831.76/88.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
2831.76/88.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2854.15/89.51	c lits-rem:       637  cl-subs:     1839  v-elim:      0  v-fix:    0  time:  0.71 s
2854.15/89.51	c vivif2 --  cl tried     1580 cl shrink        0 lits rem          0 time: 0.00
2857.97/89.52	c vivif2 --  cl tried    27888 cl shrink        0 lits rem          0 time: 0.01
2857.97/89.53	c asymm  cl-useful: 0/1580/1580 lits-rem:0 time: 0.01
2857.97/89.53	c calculated reachability. Time: 0.00
2857.97/89.53	c  N st    53    357887       632      1580         0     27888      6932    453959   no data   no data
3180.19/99.65	c  N st    54    390281       632      1580         0     33802      6932    636613   no data   no data
3640.46/114.05	c  N st    55    438872       632      1580         0     27739      6932    372028   no data   no data
4426.81/138.65	c  N st    56    511754       632      1580         0     41793      6932    870860   no data   no data
4708.06/147.41	c  N st    57    536830       632      1580         0     35800      6932    583408   no data   no data
4708.06/147.41	c  S st    57    536830       632      1580         0     35800      6932    583408   no data   no data
4711.26/147.54	c  S st    57    537333       632      1580         0     36289      6932    594284   no data   no data
4711.26/147.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4711.26/147.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
4711.26/147.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4711.26/147.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4711.26/147.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4711.26/147.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
4711.26/147.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4711.26/147.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
4714.46/147.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4746.42/148.63	c lits-rem:       848  cl-subs:     2552  v-elim:      0  v-fix:    0  time:  1.02 s
4746.42/148.63	c vivif2 --  cl tried     1580 cl shrink        0 lits rem          0 time: 0.00
4746.42/148.64	c vivif2 --  cl tried    33737 cl shrink        0 lits rem          0 time: 0.01
4746.42/148.66	c asymm  cl-useful: 0/1580/1580 lits-rem:0 time: 0.02
4746.42/148.66	c calculated reachability. Time: 0.00
4746.42/148.66	c  N st    57    537333       632      1580         0     33737      6932    524257   no data   no data
6651.50/208.24	c  N st    58    701317       632      1580         0     62570      6932   1404713   no data   no data
7878.95/246.66	c  N st    59    805999       632      1580         0     56165      6932   1129513   no data   no data
7878.95/246.66	c  S st    59    805999       632      1580         0     56165      6932   1129513   no data   no data
7889.17/246.95	c  S st    59    806500       632      1580         0     56659      6932   1140840   no data   no data
7889.17/246.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
7889.17/246.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.03
7889.17/246.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7889.17/246.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7889.17/246.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7889.17/246.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
7889.17/246.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7891.73/247.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
7891.73/247.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8182.59/256.17	c lits-rem:      1317  cl-subs:    10247  v-elim:      0  v-fix:    0  time:  9.07 s
8182.59/256.17	c vivif2 --  cl tried     1580 cl shrink        0 lits rem          0 time: 0.00
8182.59/256.18	c vivif2 --  cl tried    46412 cl shrink        0 lits rem          0 time: 0.02
8185.79/256.21	c asymm  cl-useful: 0/1580/1580 lits-rem:0 time: 0.03
8185.79/256.21	c calculated reachability. Time: 0.00
8185.79/256.21	c  N st    59    806500       632      1580         0     46412      6932    867404   no data   no data
11638.00/364.20	c  F st    60   1071875       632      1580         0     62247      6932   1245899   no data   no data
11638.00/364.20	c  N st    60   1071875       632      1580         0     62247      6932   1245899   no data   no data
11708.33/366.41	c Decided on static restart strategy
12070.13/377.78	c  N st    70   1100181       632      1580         0     46587      6932    699227   no data   no data
12664.08/396.30	c  N st    72   1136174       632      1580         0     81026      6932   1967289   no data   no data
13111.56/410.32	c  N st    73   1168567       632      1580         0     68128      6932   1478328   no data   no data
13763.67/430.77	c  N st    74   1209751       632      1580         0     62533      6932   1214892   no data   no data
13763.67/430.77	c  S st    74   1209751       632      1580         0     62533      6932   1214892   no data   no data
13776.43/431.16	c  S st    74   1210252       632      1580         0     63018      6932   1225253   no data   no data
13776.43/431.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
13779.63/431.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.06
13779.63/431.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13779.63/431.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13779.63/431.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13779.63/431.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
13779.63/431.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13779.63/431.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
13782.82/431.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14044.94/439.51	c lits-rem:      1819  cl-subs:     6768  v-elim:      0  v-fix:    0  time:  8.16 s
14044.94/439.51	c vivif2 --  cl tried     1580 cl shrink        0 lits rem          0 time: 0.00
14044.94/439.53	c vivif2 --  cl tried    56250 cl shrink        0 lits rem          0 time: 0.02
14044.94/439.58	c asymm  cl-useful: 0/1580/1580 lits-rem:0 time: 0.05
14044.94/439.58	c calculated reachability. Time: 0.00
14044.94/439.58	c  N st    74   1210252       632      1580         0     56250      6932   1044625   no data   no data
15134.95/473.60	c  N st    75   1283136       632      1580         0     80049      6932   1769236   no data   no data
16730.00/523.50	c  N st    76   1392461       632      1580         0     89999      6932   2104237   no data   no data
19696.32/616.37	c  N st    77   1556446       632      1580         0     96157      6932   2247087   no data   no data
22513.06/704.47	c  N st    78   1710253       632      1580         0     86497      6932   1826178   no data   no data
22513.06/704.47	c  S st    78   1710253       632      1580         0     86497      6932   1826178   no data   no data
22528.41/704.93	c  S st    78   1710758       632      1580         0     86985      6932   1836659   no data   no data
22528.41/704.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
22531.61/705.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.08
22531.61/705.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
22531.61/705.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22531.61/705.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22531.61/705.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
22531.61/705.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
22531.61/705.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
22534.81/705.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24523.00/767.33	c lits-rem:      2074  cl-subs:    20030  v-elim:      0  v-fix:    0  time: 62.13 s
24523.00/767.33	c vivif2 --  cl tried     1580 cl shrink        0 lits rem          0 time: 0.00
24523.00/767.36	c vivif2 --  cl tried    66955 cl shrink        0 lits rem          0 time: 0.03
24526.20/767.41	c asymm  cl-useful: 0/1580/1580 lits-rem:0 time: 0.05
24526.20/767.41	c calculated reachability. Time: 0.00
24526.20/767.41	c  N st    78   1710758       632      1580         0     66955      6932   1307467   no data   no data
31539.30/986.80	c  N st    79   2079722       632      1580         0     79458      6932   1501048   no data   no data
34038.93/1065.03	c  N st    80   2210758       632      1580         0     83609      6932   1638054   no data   no data
34038.93/1065.03	c  S st    80   2210758       632      1580         0     83609      6932   1638054   no data   no data
34058.10/1065.66	c  S st    80   2211261       632      1580         0     84102      6932   1649939   no data   no data
34058.10/1065.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
34061.30/1065.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.10
34061.30/1065.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
34061.30/1065.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
34061.30/1065.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
34061.30/1065.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
34061.30/1065.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
34064.50/1065.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
34067.69/1065.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
35017.04/1095.65	c lits-rem:      1713  cl-subs:    10240  v-elim:      0  v-fix:    0  time: 29.71 s
35017.04/1095.66	c vivif2 --  cl tried     1580 cl shrink        0 lits rem          0 time: 0.00
35017.04/1095.69	c vivif2 --  cl tried    73862 cl shrink        0 lits rem          0 time: 0.03
35020.24/1095.77	c asymm  cl-useful: 0/1580/1580 lits-rem:0 time: 0.08
35020.24/1095.77	c calculated reachability. Time: 0.00
35020.24/1095.77	c  N st    80   2211261       632      1580         0     73862      6932   1370086   no data   no data
45322.52/1418.03	c  N st    81   2711262       632      1580         0     96108      6932   1870140   no data   no data
45322.52/1418.03	c  S st    81   2711262       632      1580         0     96108      6932   1870140   no data   no data
45348.09/1418.82	c  S st    81   2711766       632      1580         0     96594      6932   1880836   no data   no data
45348.09/1418.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
45351.29/1418.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.11
45351.29/1418.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45351.29/1418.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45351.29/1418.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45351.29/1418.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
45351.29/1418.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45351.29/1418.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
45357.68/1419.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46991.07/1470.25	c lits-rem:      1113  cl-subs:    15582  v-elim:      0  v-fix:    0  time: 51.12 s
46991.07/1470.25	c vivif2 --  cl tried     1580 cl shrink        0 lits rem          0 time: 0.00
46991.07/1470.29	c vivif2 --  cl tried    81012 cl shrink        0 lits rem          0 time: 0.04
46994.27/1470.39	c asymm  cl-useful: 0/1580/1580 lits-rem:0 time: 0.10
46994.27/1470.39	c calculated reachability. Time: 0.00
46994.27/1470.39	c  N st    81   2711766       632      1580         0     81012      6932   1498866   no data   no data
57552.50/1800.72	c  N st    82   3211766       632      1580         0    130243      6932   2735258   no data   no data
57552.50/1800.72	c  S st    82   3211766       632      1580         0    130243      6932   2735258   no data   no data
57574.87/1801.42	c  S st    82   3212270       632      1580         0    130735      6932   2746373   no data   no data
57574.87/1801.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
57578.06/1801.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.11
57578.06/1801.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
57578.06/1801.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57578.06/1801.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57578.06/1801.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
57578.06/1801.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
57581.26/1801.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
57587.65/1801.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
64556.02/2019.85	c lits-rem:      2476  cl-subs:    37881  v-elim:      0  v-fix:    0  time: 218.00 s
64556.02/2019.85	c vivif2 --  cl tried     1580 cl shrink        0 lits rem          0 time: 0.00
64556.02/2019.89	c vivif2 --  cl tried    92854 cl shrink        0 lits rem          0 time: 0.04
64559.22/2019.97	c asymm  cl-useful: 0/1580/1580 lits-rem:0 time: 0.08
64559.22/2019.97	c calculated reachability. Time: 0.00
64559.22/2019.97	c  N st    82   3212270       632      1580         0     92854      6932   1739002   no data   no data
75516.79/2362.71	c  N st    83   3712271       632      1580         0    111883      6932   2111388   no data   no data
75516.79/2362.71	c  S st    83   3712271       632      1580         0    111883      6932   2111388   no data   no data
75539.80/2363.46	c  S st    83   3712773       632      1580         0    112377      6932   2122992   no data   no data
75539.80/2363.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
75542.33/2363.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.09
75542.33/2363.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
75542.33/2363.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75542.33/2363.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75542.33/2363.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
75542.33/2363.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75545.56/2363.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
75548.73/2363.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
78451.16/2454.51	c lits-rem:       898  cl-subs:    22906  v-elim:      0  v-fix:    0  time: 90.72 s
78451.16/2454.51	c vivif2 --  cl tried     1580 cl shrink        0 lits rem          0 time: 0.00
78451.16/2454.54	c vivif2 --  cl tried    89471 cl shrink        0 lits rem          0 time: 0.03
78451.16/2454.61	c asymm  cl-useful: 0/1580/1580 lits-rem:0 time: 0.08
78454.93/2454.62	c calculated reachability. Time: 0.00
78454.93/2454.62	c  N st    83   3712773       632      1580         0     89471      6932   1520860   no data   no data
79179.93/2477.39	c  F st    84   3751563       632      1580         0    126913      6932   2737331   no data   no data
79179.93/2477.39	c  N st    84   3751563       632      1580         0    126913      6932   2737331   no data   no data
79279.05/2480.49	c Decided on static restart strategy
79752.12/2495.21	c  N st    94   3779863       632      1580         0    154079      6932   3677641   no data   no data
80372.23/2514.68	c  N st    96   3815857       632      1580         0    109934      6932   2212431   no data   no data
81040.29/2535.56	c  N st    97   3848251       632      1580         0    140924      6932   3459377   no data   no data
81890.59/2562.12	c  N st    98   3896839       632      1580         0    107079      6932   2106158   no data   no data
83536.76/2613.67	c  N st    99   3969721       632      1580         0     93841      6932   1553052   no data   no data
86148.30/2695.32	c  N st   100   4079045       632      1580         0    116148      6932   2271376   no data   no data
89338.37/2795.16	c  N st   101   4212774       632      1580         0    158902      6932   3649345   no data   no data
89338.37/2795.16	c  S st   101   4212774       632      1580         0    158902      6932   3649345   no data   no data
89379.93/2796.46	c  S st   101   4213277       632      1580         0    159396      6932   3661266   no data   no data
89379.93/2796.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
89386.32/2796.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.18
89386.32/2796.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
89386.32/2796.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
89386.32/2796.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89386.32/2796.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
89386.32/2796.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
89390.14/2796.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
89399.10/2797.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
98186.21/3071.95	c lits-rem:      2997  cl-subs:    35959  v-elim:      0  v-fix:    0  time: 274.89 s
98186.21/3071.95	c vivif2 --  cl tried     1580 cl shrink        0 lits rem          0 time: 0.00
98189.41/3072.02	c vivif2 --  cl tried   123437 cl shrink        0 lits rem          0 time: 0.07
98195.80/3072.21	c asymm  cl-useful: 0/1580/1580 lits-rem:0 time: 0.18
98195.80/3072.21	c calculated reachability. Time: 0.00
98195.80/3072.21	c  N st   101   4213277       632      1580         0    123437      6932   2734940   no data   no data
105301.54/3294.52	c  N st   102   4459254       632      1580         0    100441      6932   1652115   no data   no data
111060.39/3474.73	c  N st   103   4713277       632      1580         0    167164      6932   3780149   no data   no data
111060.39/3474.73	c  S st   103   4713277       632      1580         0    167164      6932   3780149   no data   no data
111105.15/3476.13	c  S st   103   4713779       632      1580         0    167648      6932   3791237   no data   no data
111105.15/3476.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
111111.55/3476.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.15
111111.55/3476.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
111111.55/3476.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
111111.55/3476.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
111111.55/3476.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
111111.55/3476.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
111111.55/3476.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
111121.76/3476.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
118527.38/3708.39	c lits-rem:      3983  cl-subs:    33907  v-elim:      0  v-fix:    0  time: 231.69 s
118527.38/3708.39	c vivif2 --  cl tried     1580 cl shrink        0 lits rem          0 time: 0.00
118530.58/3708.44	c vivif2 --  cl tried   133741 cl shrink        0 lits rem          0 time: 0.06
118533.77/3708.58	c asymm  cl-useful: 0/1580/1580 lits-rem:0 time: 0.13
118533.77/3708.58	c calculated reachability. Time: 0.00
118533.77/3708.58	c  N st   103   4713779       632      1580         0    133741      6932   2852659   no data   no data
131163.58/4103.66	c  N st   104   5213779       632      1580         0    152405      6932   3191024   no data   no data
131163.58/4103.66	c  S st   104   5213779       632      1580         0    152405      6932   3191024   no data   no data
131191.73/4104.52	c  S st   104   5214281       632      1580         0    152898      6932   3202464   no data   no data
131191.73/4104.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
131195.52/4104.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.13
131195.52/4104.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
131195.52/4104.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
131195.52/4104.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
131195.52/4104.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
131195.52/4104.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
131198.75/4104.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
131204.50/4104.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137469.62/4300.97	c lits-rem:      2769  cl-subs:    32982  v-elim:      0  v-fix:    0  time: 195.98 s
137469.62/4300.97	c vivif2 --  cl tried     1580 cl shrink        0 lits rem          0 time: 0.00
137472.81/4301.02	c vivif2 --  cl tried   119916 cl shrink        0 lits rem          0 time: 0.05
137476.02/4301.14	c asymm  cl-useful: 0/1580/1580 lits-rem:0 time: 0.11
137476.02/4301.14	c calculated reachability. Time: 0.00
137476.02/4301.14	c  N st   104   5214281       632      1580         0    119916      6932   2384491   no data   no data
152039.16/4756.78	c  N st   105   5714281       632      1580         0    119037      6932   2027594   no data   no data
152039.16/4756.78	c  S st   105   5714281       632      1580         0    119037      6932   2027594   no data   no data
152071.12/4757.74	c  S st   105   5714785       632      1580         0    119531      6932   2039268   no data   no data
152071.12/4757.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
152074.31/4757.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.13
152074.31/4757.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
152074.31/4757.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
152074.31/4757.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152074.31/4757.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
152074.31/4757.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
152077.52/4757.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
152081.33/4758.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
153180.27/4792.41	c lits-rem:       894  cl-subs:    10264  v-elim:      0  v-fix:    0  time: 34.31 s
153180.27/4792.41	c vivif2 --  cl tried     1580 cl shrink        0 lits rem          0 time: 0.00
153180.27/4792.46	c vivif2 --  cl tried   109267 cl shrink        0 lits rem          0 time: 0.04
153183.47/4792.59	c asymm  cl-useful: 0/1580/1580 lits-rem:0 time: 0.13
153183.47/4792.59	c calculated reachability. Time: 0.00
153183.47/4792.59	c  N st   105   5714785       632      1580         0    109267      6932   1754995   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400833-1306892042/watcher-3400833-1306892042 -o /tmp/evaluation-result-3400833-1306892042/solver-3400833-1306892042 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400833-1306892042.cnf 

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

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


[startup+0 s]
/proc/loadavg: 29.81 31.65 31.91 1/413 26458
/proc/meminfo: memFree=263481032/264257624 swapFree=67044780/67111528
[pid=26458] ppid=26456 vsize=338000 CPUtime=0.75 cores=0-31
/proc/26458/stat : 26458 (strangenight2-m) R 26456 26458 26316 0 -1 4202496 466 0 0 0 75 0 0 0 25 0 32 0 15170167 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/26458/statm: 84500 406 300 95 0 79482 0
[pid=26458/tid=26459] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26459/stat : 26459 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009619 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26458/tid=26460] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26460/stat : 26460 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26458/tid=26461] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26461/stat : 26461 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009623 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=26458/tid=26462] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26462/stat : 26462 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26458/tid=26463] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26463/stat : 26463 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=26458/tid=26464] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26464/stat : 26464 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26458/tid=26465] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26465/stat : 26465 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009619 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26458/tid=26466] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26466/stat : 26466 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009616 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=26458/tid=26467] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26467/stat : 26467 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009619 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26458/tid=26468] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26468/stat : 26468 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338010034 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26458/tid=26469] ppid=26456 vsize=338000 CPUtime=0 cores=0-31
/proc/26458/task/26469/stat : 26469 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26458/tid=26470] ppid=26456 vsize=338000 CPUtime=0.01 cores=0-31
/proc/26458/task/26470/stat : 26470 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=26458/tid=26471] ppid=26456 vsize=338000 CPUtime=0.01 cores=0-31
/proc/26458/task/26471/stat : 26471 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009619 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=26458/tid=26472] ppid=26456 vsize=338000 CPUtime=0.01 cores=0-31
/proc/26458/task/26472/stat : 26472 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009619 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=26458/tid=26473] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26473/stat : 26473 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26458/tid=26474] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26474/stat : 26474 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26458/tid=26475] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26475/stat : 26475 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26458/tid=26476] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26476/stat : 26476 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26458/tid=26477] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26477/stat : 26477 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=26458/tid=26478] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26478/stat : 26478 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=26458/tid=26479] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26479/stat : 26479 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009619 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26458/tid=26480] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26480/stat : 26480 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=26458/tid=26481] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26481/stat : 26481 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=26458/tid=26482] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26482/stat : 26482 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=26458/tid=26483] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26483/stat : 26483 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=26458/tid=26484] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26484/stat : 26484 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=26458/tid=26485] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26485/stat : 26485 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=26458/tid=26486] ppid=26456 vsize=338000 CPUtime=0 cores=0-31
/proc/26458/task/26486/stat : 26486 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009616 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=26458/tid=26487] ppid=26456 vsize=338000 CPUtime=0.01 cores=0-31
/proc/26458/task/26487/stat : 26487 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26458/tid=26488] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26488/stat : 26488 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009616 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=26458/tid=26489] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26489/stat : 26489 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 29 0 0 0

[startup+0.133383 s]
/proc/loadavg: 29.81 31.65 31.91 1/413 26458
/proc/meminfo: memFree=263481032/264257624 swapFree=67044780/67111528
[pid=26458] ppid=26456 vsize=1394200 CPUtime=2.13 cores=0-31
/proc/26458/stat : 26458 (strangenight2-m) D 26456 26458 26316 0 -1 4202496 7371 0 0 0 140 73 0 0 17 0 32 0 15170167 1427660800 7199 268435456000 4194304 4580107 140733205782160 18446744073709551615 258650999207 0 0 4096 2 18446744073709551615 0 0 17 31 0 0 0
/proc/26458/statm: 348550 7206 362 95 0 343532 0
[pid=26458/tid=26459] ppid=26456 vsize=1394200 CPUtime=0.07 cores=0-31
/proc/26458/task/26459/stat : 26459 (strangenight2-m) D 26456 26458 26316 0 -1 4202560 293 0 0 0 5 2 0 0 17 0 32 0 15170168 1427660800 7219 268435456000 4194304 4580107 140733205782160 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26458/tid=26460] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26460/stat : 26460 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 262 0 0 0 4 2 0 0 17 0 32 0 15170168 1427660800 7228 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604706669149664 0 0 -1 4 0 0 0
[pid=26458/tid=26461] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26461/stat : 26461 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 176 0 0 0 4 2 0 0 17 0 32 0 15170168 1427660800 7235 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604683134811616 0 0 -1 24 0 0 0
[pid=26458/tid=26462] ppid=26456 vsize=1394200 CPUtime=0.04 cores=0-31
/proc/26458/task/26462/stat : 26462 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 177 0 0 0 3 1 0 0 17 0 32 0 15170168 1427660800 7269 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604659615931872 0 0 -1 0 0 0 0
[pid=26458/tid=26463] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26463/stat : 26463 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 222 0 0 0 4 2 0 0 17 0 32 0 15170168 1427660800 7272 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446744071566929904 0 0 -1 20 0 0 0
[pid=26458/tid=26464] ppid=26456 vsize=1394200 CPUtime=0.05 cores=0-31
/proc/26458/task/26464/stat : 26464 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 215 0 0 0 3 2 0 0 17 0 32 0 15170168 1427660800 7281 268435456000 4194304 4580107 140733205782160 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26458/tid=26465] ppid=26456 vsize=1394200 CPUtime=0.05 cores=0-31
/proc/26458/task/26465/stat : 26465 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 178 0 0 0 4 1 0 0 17 0 32 0 15170168 1427660800 7288 268435456000 4194304 4580107 140733205782160 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26458/tid=26466] ppid=26456 vsize=1394200 CPUtime=0.07 cores=0-31
/proc/26458/task/26466/stat : 26466 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 279 0 0 0 5 2 0 0 17 0 32 0 15170168 1427660800 7288 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604699371830752 0 0 -1 12 0 0 0
[pid=26458/tid=26467] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26467/stat : 26467 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 184 0 0 0 3 3 0 0 17 0 32 0 15170168 1427660800 7291 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604710274383328 0 0 -1 2 0 0 0
[pid=26458/tid=26468] ppid=26456 vsize=1394200 CPUtime=0.04 cores=0-31
/proc/26458/task/26468/stat : 26468 (strangenight2-m) D 26456 26458 26316 0 -1 4202560 257 0 0 0 3 1 0 0 17 0 32 0 15170168 1427660800 7298 268435456000 4194304 4580107 140733205782160 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=26458/tid=26469] ppid=26456 vsize=1394200 CPUtime=0.04 cores=0-31
/proc/26458/task/26469/stat : 26469 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 193 0 0 0 2 2 0 0 17 0 32 0 15170168 1427660800 7299 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446744071566929904 0 0 -1 3 0 0 0
[pid=26458/tid=26470] ppid=26456 vsize=1394200 CPUtime=0.04 cores=0-31
/proc/26458/task/26470/stat : 26470 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 154 0 0 0 2 2 0 0 17 0 32 0 15170168 1427660800 7304 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604645714845152 0 0 -1 19 0 0 0
[pid=26458/tid=26471] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26471/stat : 26471 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 217 0 0 0 4 2 0 0 17 0 32 0 15170168 1427660800 7319 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604514443132384 0 0 -1 15 0 0 0
[pid=26458/tid=26472] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26472/stat : 26472 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 206 0 0 0 4 2 0 0 17 0 32 0 15170168 1427660800 7324 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604683134811616 0 0 -1 11 0 0 0
[pid=26458/tid=26473] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26473/stat : 26473 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 299 0 0 0 5 1 0 0 17 0 32 0 15170168 1427660800 7341 268435456000 4194304 4580107 140733205782160 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26458/tid=26474] ppid=26456 vsize=1394200 CPUtime=0.07 cores=0-31
/proc/26458/task/26474/stat : 26474 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 219 0 0 0 4 3 0 0 17 0 32 0 15170168 1427660800 7343 268435456000 4194304 4580107 140733205782160 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26458/tid=26475] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26475/stat : 26475 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 210 0 0 0 4 2 0 0 17 0 32 0 15170168 1427660800 7345 268435456000 4194304 4580107 140733205782160 18446744073709551615 4504444 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26458/tid=26476] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26476/stat : 26476 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 249 0 0 0 4 2 0 0 17 0 32 0 15170168 1427660800 7348 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26458/tid=26477] ppid=26456 vsize=1394200 CPUtime=0.05 cores=0-31
/proc/26458/task/26477/stat : 26477 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 173 0 0 0 4 1 0 0 17 0 32 0 15170168 1427660800 7372 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=26458/tid=26478] ppid=26456 vsize=1394200 CPUtime=0.07 cores=0-31
/proc/26458/task/26478/stat : 26478 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 229 0 0 0 5 2 0 0 17 0 32 0 15170168 1427660800 7381 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604699371830752 0 0 -1 13 0 0 0
[pid=26458/tid=26479] ppid=26456 vsize=1394200 CPUtime=0.07 cores=0-31
/proc/26458/task/26479/stat : 26479 (strangenight2-m) D 26456 26458 26316 0 -1 4202560 187 0 0 0 5 2 0 0 17 0 32 0 15170168 1427660800 7381 268435456000 4194304 4580107 140733205782160 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26458/tid=26480] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26480/stat : 26480 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 204 0 0 0 5 1 0 0 17 0 32 0 15170168 1427660800 7394 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=26458/tid=26481] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26481/stat : 26481 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 184 0 0 0 4 2 0 0 17 0 32 0 15170168 1427660800 7398 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446744071566928824 0 0 -1 18 0 0 0
[pid=26458/tid=26482] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26482/stat : 26482 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 207 0 0 0 4 2 0 0 17 0 32 0 15170168 1427660800 7400 268435456000 4194304 4580107 140733205782160 18446744073709551615 4254155 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=26458/tid=26483] ppid=26456 vsize=1394200 CPUtime=0.07 cores=0-31
/proc/26458/task/26483/stat : 26483 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 248 0 0 0 4 3 0 0 17 0 32 0 15170168 1427660800 7404 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604676170120672 0 0 -1 22 0 0 0
[pid=26458/tid=26484] ppid=26456 vsize=1394200 CPUtime=0.07 cores=0-31
/proc/26458/task/26484/stat : 26484 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 248 0 0 0 5 2 0 0 17 0 32 0 15170168 1427660800 7416 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=26458/tid=26485] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26485/stat : 26485 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 258 0 0 0 5 1 0 0 17 0 32 0 15170168 1427660800 7425 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604443248500192 0 0 -1 26 0 0 0
[pid=26458/tid=26486] ppid=26456 vsize=1394200 CPUtime=0.02 cores=0-31
/proc/26458/task/26486/stat : 26486 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 198 0 0 0 0 2 0 0 17 0 32 0 15170168 1427660800 7429 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=26458/tid=26487] ppid=26456 vsize=1394200 CPUtime=0.05 cores=0-31
/proc/26458/task/26487/stat : 26487 (strangenight2-m) D 26456 26458 26316 0 -1 4202560 304 0 0 0 3 2 0 0 17 0 32 0 15170168 1427660800 7430 268435456000 4194304 4580107 140733205782160 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26458/tid=26488] ppid=26456 vsize=1394200 CPUtime=0.07 cores=0-31
/proc/26458/task/26488/stat : 26488 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 259 0 0 0 4 3 0 0 17 0 32 0 15170168 1427660800 7439 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604653354261984 0 0 -1 8 0 0 0
[pid=26458/tid=26489] ppid=26456 vsize=1394200 CPUtime=0.05 cores=0-31
/proc/26458/task/26489/stat : 26489 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 198 0 0 0 4 1 0 0 17 0 32 0 15170168 1427660800 7440 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446744071566924504 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 1394200

[startup+0.209478 s]
/proc/loadavg: 29.81 31.65 31.91 1/413 26458
/proc/meminfo: memFree=263481032/264257624 swapFree=67044780/67111528
[pid=26458] ppid=26456 vsize=1395696 CPUtime=3.52 cores=0-31
/proc/26458/stat : 26458 (strangenight2-m) D 26456 26458 26316 0 -1 4202496 11834 0 0 0 206 146 0 0 17 0 32 0 15170167 1429192704 11117 268435456000 4194304 4580107 140733205782160 18446744073709551615 258650616986 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/26458/statm: 348924 11159 376 95 0 343906 0
[pid=26458/tid=26459] ppid=26456 vsize=1395696 CPUtime=0.12 cores=0-31
/proc/26458/task/26459/stat : 26459 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 513 0 0 0 9 3 0 0 17 0 32 0 15170168 1429192704 11168 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26458/tid=26460] ppid=26456 vsize=1395696 CPUtime=0.1 cores=0-31
/proc/26458/task/26460/stat : 26460 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 409 0 0 0 6 4 0 0 17 0 32 0 15170168 1429192704 11200 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26458/tid=26461] ppid=26456 vsize=1395696 CPUtime=0.1 cores=0-31
/proc/26458/task/26461/stat : 26461 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 322 0 0 0 6 4 0 0 17 0 32 0 15170168 1429192704 11265 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=26458/tid=26462] ppid=26456 vsize=1395696 CPUtime=0.09 cores=0-31
/proc/26458/task/26462/stat : 26462 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 244 0 0 0 6 3 0 0 16 0 32 0 15170168 1429192704 11283 268435456000 4194304 4580107 140733205782160 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26458/tid=26463] ppid=26456 vsize=1395696 CPUtime=0.11 cores=0-31
/proc/26458/task/26463/stat : 26463 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 427 0 0 0 6 5 0 0 17 0 32 0 15170168 1429192704 11283 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604710252117472 0 0 -1 20 0 0 0
[pid=26458/tid=26464] ppid=26456 vsize=1395696 CPUtime=0.09 cores=0-31
/proc/26458/task/26464/stat : 26464 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 265 0 0 0 5 4 0 0 17 0 32 0 15170168 1429192704 11288 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26458/tid=26465] ppid=26456 vsize=1395696 CPUtime=0.1 cores=0-31
/proc/26458/task/26465/stat : 26465 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 249 0 0 0 6 4 0 0 17 0 32 0 15170168 1429192704 11295 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604680161279456 0 0 -1 28 0 0 0
[pid=26458/tid=26466] ppid=26456 vsize=1395696 CPUtime=0.11 cores=0-31
/proc/26458/task/26466/stat : 26466 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 456 0 0 0 7 4 0 0 17 0 32 0 15170168 1429192704 11300 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=26458/tid=26467] ppid=26456 vsize=1395696 CPUtime=0.1 cores=0-31
/proc/26458/task/26467/stat : 26467 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 236 0 0 0 5 5 0 0 17 0 32 0 15170168 1429192704 11312 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26458/tid=26468] ppid=26456 vsize=1395696 CPUtime=0.1 cores=0-31
/proc/26458/task/26468/stat : 26468 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 527 0 0 0 6 4 0 0 17 0 32 0 15170168 1429192704 11343 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=26458/tid=26469] ppid=26456 vsize=1395696 CPUtime=0.08 cores=0-31
/proc/26458/task/26469/stat : 26469 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 390 0 0 0 4 4 0 0 17 0 32 0 15170168 1429192704 11363 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604676170120672 0 0 -1 3 0 0 0
[pid=26458/tid=26470] ppid=26456 vsize=1395696 CPUtime=0.08 cores=0-31
/proc/26458/task/26470/stat : 26470 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 194 0 0 0 4 4 0 0 17 0 32 0 15170168 1429192704 11378 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604492094324192 0 0 -1 11 0 0 0
[pid=26458/tid=26471] ppid=26456 vsize=1395696 CPUtime=0.1 cores=0-31
/proc/26458/task/26471/stat : 26471 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 414 0 0 0 6 4 0 0 17 0 32 0 15170168 1429192704 11378 268435456000 4194304 4580107 140733205782160 18446744073709551615 258650615891 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=26458/tid=26472] ppid=26456 vsize=1395696 CPUtime=0.1 cores=0-31
/proc/26458/task/26472/stat : 26472 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 394 0 0 0 6 4 0 0 17 0 32 0 15170168 1429192704 11384 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604698757651936 0 0 -1 31 0 0 0
[pid=26458/tid=26473] ppid=26456 vsize=1395696 CPUtime=0.11 cores=0-31
/proc/26458/task/26473/stat : 26473 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 529 0 0 0 8 3 0 0 17 0 32 0 15170168 1429192704 11398 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26458/tid=26474] ppid=26456 vsize=1395696 CPUtime=0.12 cores=0-31
/proc/26458/task/26474/stat : 26474 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 331 0 0 0 7 5 0 0 17 0 32 0 15170168 1429192704 11447 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26458/tid=26475] ppid=26456 vsize=1395696 CPUtime=0.11 cores=0-31

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

/proc/meminfo: memFree=257775892/264257624 swapFree=67044780/67111528
[pid=26458] ppid=26456 vsize=8104496 CPUtime=158611 cores=0-31
/proc/26458/stat : 26458 (strangenight2-m) R 26456 26458 26316 0 -1 4202496 5881997 0 0 0 15856675 4435 0 0 25 0 32 0 15170167 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26458/statm: 2026124 1426025 378 95 0 2021106 0
[pid=26458/tid=26459] ppid=26456 vsize=8104496 CPUtime=4960.03 cores=0-31
/proc/26458/task/26459/stat : 26459 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 191264 0 0 0 495855 148 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26458/tid=26460] ppid=26456 vsize=8104496 CPUtime=4951.1 cores=0-31
/proc/26458/task/26460/stat : 26460 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 148604 0 0 0 494993 117 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=26458/tid=26461] ppid=26456 vsize=8104496 CPUtime=4961.23 cores=0-31
/proc/26458/task/26461/stat : 26461 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 200981 0 0 0 495988 135 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=26458/tid=26462] ppid=26456 vsize=8104496 CPUtime=4960.68 cores=0-31
/proc/26458/task/26462/stat : 26462 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 242641 0 0 0 495898 170 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26458/tid=26463] ppid=26456 vsize=8104496 CPUtime=4961.24 cores=0-31
/proc/26458/task/26463/stat : 26463 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 227593 0 0 0 495965 159 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=26458/tid=26464] ppid=26456 vsize=8104496 CPUtime=4961.24 cores=0-31
/proc/26458/task/26464/stat : 26464 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 130198 0 0 0 496039 85 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26458/tid=26465] ppid=26456 vsize=8104496 CPUtime=4958.16 cores=0-31
/proc/26458/task/26465/stat : 26465 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 181619 0 0 0 495686 130 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26458/tid=26466] ppid=26456 vsize=8104496 CPUtime=4961.25 cores=0-31
/proc/26458/task/26466/stat : 26466 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 151823 0 0 0 496024 101 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=26458/tid=26467] ppid=26456 vsize=8104496 CPUtime=4960.8 cores=0-31
/proc/26458/task/26467/stat : 26467 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 160298 0 0 0 495950 130 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26458/tid=26468] ppid=26456 vsize=8104496 CPUtime=4954.84 cores=0-31
/proc/26458/task/26468/stat : 26468 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 189791 0 0 0 495303 181 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26458/tid=26469] ppid=26456 vsize=8104496 CPUtime=4961.2 cores=0-31
/proc/26458/task/26469/stat : 26469 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 212686 0 0 0 495960 160 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=26458/tid=26470] ppid=26456 vsize=8104496 CPUtime=4960.88 cores=0-31
/proc/26458/task/26470/stat : 26470 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 168991 0 0 0 495957 131 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=26458/tid=26471] ppid=26456 vsize=8104496 CPUtime=4961.23 cores=0-31
/proc/26458/task/26471/stat : 26471 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 201593 0 0 0 495971 152 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4295507 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=26458/tid=26472] ppid=26456 vsize=8104496 CPUtime=4959.98 cores=0-31
/proc/26458/task/26472/stat : 26472 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 181373 0 0 0 495864 134 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=26458/tid=26473] ppid=26456 vsize=8104496 CPUtime=4961.25 cores=0-31
/proc/26458/task/26473/stat : 26473 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 233576 0 0 0 495947 178 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26458/tid=26474] ppid=26456 vsize=8104496 CPUtime=4961.22 cores=0-31
/proc/26458/task/26474/stat : 26474 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 195045 0 0 0 495976 146 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26458/tid=26475] ppid=26456 vsize=8104496 CPUtime=4961.21 cores=0-31
/proc/26458/task/26475/stat : 26475 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 138993 0 0 0 496018 103 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26458/tid=26476] ppid=26456 vsize=8104496 CPUtime=4961.25 cores=0-31
/proc/26458/task/26476/stat : 26476 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 126488 0 0 0 496027 98 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26458/tid=26477] ppid=26456 vsize=8104496 CPUtime=4888.64 cores=0-31
/proc/26458/task/26477/stat : 26477 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 208795 0 0 0 488692 172 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=26458/tid=26478] ppid=26456 vsize=8104496 CPUtime=4961.24 cores=0-31
/proc/26458/task/26478/stat : 26478 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 161541 0 0 0 495998 126 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4305192 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=26458/tid=26479] ppid=26456 vsize=8104496 CPUtime=4961.25 cores=0-31
/proc/26458/task/26479/stat : 26479 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 173141 0 0 0 495997 128 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26458/tid=26480] ppid=26456 vsize=8104496 CPUtime=4961.06 cores=0-31
/proc/26458/task/26480/stat : 26480 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 174947 0 0 0 495977 129 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=26458/tid=26481] ppid=26456 vsize=8104496 CPUtime=4961.03 cores=0-31
/proc/26458/task/26481/stat : 26481 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 204546 0 0 0 495943 160 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=26458/tid=26482] ppid=26456 vsize=8104496 CPUtime=4961.19 cores=0-31
/proc/26458/task/26482/stat : 26482 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 252726 0 0 0 495920 199 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=26458/tid=26483] ppid=26456 vsize=8104496 CPUtime=4961.12 cores=0-31
/proc/26458/task/26483/stat : 26483 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 145921 0 0 0 496009 103 0 0 25 0 32 0 15170168 8299003904 1426027 268435456000 4194304 4580107 140733205782160 18446744073709551615 4292922 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=26458/tid=26484] ppid=26456 vsize=8104496 CPUtime=4961.25 cores=0-31
/proc/26458/task/26484/stat : 26484 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 253105 0 0 0 495931 194 0 0 25 0 32 0 15170168 8299003904 1426027 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=26458/tid=26485] ppid=26456 vsize=8104496 CPUtime=4909.6 cores=0-31
/proc/26458/task/26485/stat : 26485 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 208878 0 0 0 490804 156 0 0 25 0 32 0 15170168 8299003904 1426027 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=26458/tid=26486] ppid=26456 vsize=8104496 CPUtime=4961.19 cores=0-31
/proc/26458/task/26486/stat : 26486 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 136064 0 0 0 496016 103 0 0 25 0 32 0 15170168 8299003904 1426027 268435456000 4194304 4580107 140733205782160 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=26458/tid=26487] ppid=26456 vsize=8104496 CPUtime=4961.16 cores=0-31
/proc/26458/task/26487/stat : 26487 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 177815 0 0 0 495984 132 0 0 25 0 32 0 15170168 8299003904 1426027 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26458/tid=26488] ppid=26456 vsize=8104496 CPUtime=4961.24 cores=0-31
/proc/26458/task/26488/stat : 26488 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 194362 0 0 0 495991 133 0 0 25 0 32 0 15170168 8299003904 1426027 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=26458/tid=26489] ppid=26456 vsize=8104496 CPUtime=4961.24 cores=0-31
/proc/26458/task/26489/stat : 26489 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 111132 0 0 0 496044 80 0 0 25 0 32 0 15170168 8299003904 1426027 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 158611
Current children cumulated vsize (KiB) 8104496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5005.8 s]
/proc/loadavg: 32.04 32.07 32.05 33/445 27116
/proc/meminfo: memFree=257737652/264257624 swapFree=67044780/67111528
[pid=26458] ppid=26456 vsize=8169548 CPUtime=160002 cores=0-31
/proc/26458/stat : 26458 (strangenight2-m) R 26456 26458 26316 0 -1 4202496 5910556 0 0 0 15995758 4461 0 0 25 0 32 0 15170167 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26458/statm: 2042387 1435872 378 95 0 2037369 0
[pid=26458/tid=26459] ppid=26456 vsize=8169548 CPUtime=5003.54 cores=0-31
/proc/26458/task/26459/stat : 26459 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 191264 0 0 0 500206 148 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26458/tid=26460] ppid=26456 vsize=8169548 CPUtime=4994.61 cores=0-31
/proc/26458/task/26460/stat : 26460 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 148878 0 0 0 499344 117 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=26458/tid=26461] ppid=26456 vsize=8169548 CPUtime=5004.75 cores=0-31
/proc/26458/task/26461/stat : 26461 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 200981 0 0 0 500340 135 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=26458/tid=26462] ppid=26456 vsize=8169548 CPUtime=5004.2 cores=0-31
/proc/26458/task/26462/stat : 26462 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 244255 0 0 0 500248 172 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26458/tid=26463] ppid=26456 vsize=8169548 CPUtime=5004.75 cores=0-31
/proc/26458/task/26463/stat : 26463 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 227593 0 0 0 500316 159 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=26458/tid=26464] ppid=26456 vsize=8169548 CPUtime=5004.75 cores=0-31
/proc/26458/task/26464/stat : 26464 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 130832 0 0 0 500390 85 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26458/tid=26465] ppid=26456 vsize=8169548 CPUtime=5001.64 cores=0-31
/proc/26458/task/26465/stat : 26465 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 182418 0 0 0 500033 131 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26458/tid=26466] ppid=26456 vsize=8169548 CPUtime=5004.76 cores=0-31
/proc/26458/task/26466/stat : 26466 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 154708 0 0 0 500373 103 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=26458/tid=26467] ppid=26456 vsize=8169548 CPUtime=5004.31 cores=0-31
/proc/26458/task/26467/stat : 26467 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 160673 0 0 0 500301 130 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26458/tid=26468] ppid=26456 vsize=8169548 CPUtime=4998.35 cores=0-31
/proc/26458/task/26468/stat : 26468 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 192435 0 0 0 499651 184 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26458/tid=26469] ppid=26456 vsize=8169548 CPUtime=5004.72 cores=0-31
/proc/26458/task/26469/stat : 26469 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 213810 0 0 0 500310 162 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=26458/tid=26470] ppid=26456 vsize=8169548 CPUtime=5004.4 cores=0-31
/proc/26458/task/26470/stat : 26470 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 169474 0 0 0 500308 132 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=26458/tid=26471] ppid=26456 vsize=8169548 CPUtime=5004.75 cores=0-31
/proc/26458/task/26471/stat : 26471 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 203149 0 0 0 500321 154 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=26458/tid=26472] ppid=26456 vsize=8169548 CPUtime=5003.49 cores=0-31
/proc/26458/task/26472/stat : 26472 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 181373 0 0 0 500215 134 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=26458/tid=26473] ppid=26456 vsize=8169548 CPUtime=5004.76 cores=0-31
/proc/26458/task/26473/stat : 26473 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 233576 0 0 0 500298 178 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26458/tid=26474] ppid=26456 vsize=8169548 CPUtime=5004.73 cores=0-31
/proc/26458/task/26474/stat : 26474 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 196275 0 0 0 500326 147 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26458/tid=26475] ppid=26456 vsize=8169548 CPUtime=5004.73 cores=0-31
/proc/26458/task/26475/stat : 26475 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 138993 0 0 0 500370 103 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26458/tid=26476] ppid=26456 vsize=8169548 CPUtime=5004.75 cores=0-31
/proc/26458/task/26476/stat : 26476 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 129856 0 0 0 500375 100 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26458/tid=26477] ppid=26456 vsize=8169548 CPUtime=4930.9 cores=0-31
/proc/26458/task/26477/stat : 26477 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 209208 0 0 0 492917 173 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=26458/tid=26478] ppid=26456 vsize=8169548 CPUtime=5004.75 cores=0-31
/proc/26458/task/26478/stat : 26478 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 161541 0 0 0 500349 126 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=26458/tid=26479] ppid=26456 vsize=8169548 CPUtime=5004.76 cores=0-31
/proc/26458/task/26479/stat : 26479 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 174228 0 0 0 500347 129 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26458/tid=26480] ppid=26456 vsize=8169548 CPUtime=5004.57 cores=0-31
/proc/26458/task/26480/stat : 26480 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 176077 0 0 0 500327 130 0 0 25 0 32 0 15170168 8365617152 1435873 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=26458/tid=26481] ppid=26456 vsize=8169548 CPUtime=5004.54 cores=0-31
/proc/26458/task/26481/stat : 26481 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 204546 0 0 0 500294 160 0 0 25 0 32 0 15170168 8365617152 1435873 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=26458/tid=26482] ppid=26456 vsize=8169548 CPUtime=5004.7 cores=0-31
/proc/26458/task/26482/stat : 26482 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 253899 0 0 0 500270 200 0 0 25 0 32 0 15170168 8365617152 1435873 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=26458/tid=26483] ppid=26456 vsize=8169548 CPUtime=5004.64 cores=0-31
/proc/26458/task/26483/stat : 26483 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 145921 0 0 0 500361 103 0 0 25 0 32 0 15170168 8365617152 1435873 268435456000 4194304 4580107 140733205782160 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=26458/tid=26484] ppid=26456 vsize=8169548 CPUtime=5004.76 cores=0-31
/proc/26458/task/26484/stat : 26484 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 254020 0 0 0 500282 194 0 0 25 0 32 0 15170168 8365617152 1435873 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=26458/tid=26485] ppid=26456 vsize=8169548 CPUtime=4953.11 cores=0-31
/proc/26458/task/26485/stat : 26485 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 208878 0 0 0 495155 156 0 0 25 0 32 0 15170168 8365617152 1435873 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=26458/tid=26486] ppid=26456 vsize=8169548 CPUtime=5004.71 cores=0-31
/proc/26458/task/26486/stat : 26486 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 139182 0 0 0 500365 106 0 0 25 0 32 0 15170168 8365617152 1435873 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=26458/tid=26487] ppid=26456 vsize=8169548 CPUtime=5004.67 cores=0-31
/proc/26458/task/26487/stat : 26487 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 180494 0 0 0 500334 133 0 0 25 0 32 0 15170168 8365617152 1435873 268435456000 4194304 4580107 140733205782160 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26458/tid=26488] ppid=26456 vsize=8169548 CPUtime=5004.75 cores=0-31
/proc/26458/task/26488/stat : 26488 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 194708 0 0 0 500342 133 0 0 25 0 32 0 15170168 8365617152 1435873 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=26458/tid=26489] ppid=26456 vsize=8169548 CPUtime=5004.75 cores=0-31
/proc/26458/task/26489/stat : 26489 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 111208 0 0 0 500395 80 0 0 25 0 32 0 15170168 8365617152 1435873 268435456000 4194304 4580107 140733205782160 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 8169548

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

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

[startup+5006 s]
/proc/loadavg: 32.04 32.07 32.05 33/445 27116
/proc/meminfo: memFree=257737652/264257624 swapFree=67044780/67111528
[pid=26458] ppid=26456 vsize=0 CPUtime=160003 cores=0-31
/proc/26458/stat : 26458 (strangenight2-m) Z 26456 26458 26316 0 -1 4203548 5910557 0 0 0 15995780 4479 0 0 25 0 2 0 15170167 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26458/statm: 0 0 0 0 0 0 0
[pid=26458/tid=26477] ppid=26456 vsize=0 CPUtime=4931.07 cores=0-31
/proc/26458/task/26477/stat : 26477 (strangenight2-m) R 26456 26458 26316 0 -1 4203588 209208 0 0 0 492917 190 0 0 25 0 2 0 15170168 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

[startup+5006.2 s]
/proc/loadavg: 32.04 32.07 32.05 33/445 27116
/proc/meminfo: memFree=257737652/264257624 swapFree=67044780/67111528
[pid=26458] ppid=26456 vsize=0 CPUtime=160003 cores=0-31
/proc/26458/stat : 26458 (strangenight2-m) Z 26456 26458 26316 0 -1 4203548 5910557 0 0 0 15995780 4498 0 0 25 0 2 0 15170167 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26458/statm: 0 0 0 0 0 0 0
[pid=26458/tid=26477] ppid=26456 vsize=0 CPUtime=4931.27 cores=0-31
/proc/26458/task/26477/stat : 26477 (strangenight2-m) R 26456 26458 26316 0 -1 4203588 209208 0 0 0 492917 210 0 0 25 0 2 0 15170168 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 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.24
CPU time (s): 160003
CPU user time (s): 159958
CPU system time (s): 45.0282
CPU usage (%): 3196.07
Max. virtual memory (cumulated for all children) (KiB): 8366704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159958
system time used= 45.0282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5910557
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= 67482
involuntary context switches= 352263

runsolver used 29.2695 second user time and 112.081 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-01 03:34:02
IDJOB=3400833
IDBENCH=83430
IDSOLVER=1886
FILE ID=node200/3400833-1306892042
RUNJOBID= node200-1306892039-26330
PBS_JOBID= 13471400
Free space on /tmp= 61580 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/32/aes_32_5_keyfind_1.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400833-1306892042/watcher-3400833-1306892042 -o /tmp/evaluation-result-3400833-1306892042/solver-3400833-1306892042 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400833-1306892042.cnf

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

MD5SUM BENCH= 3f4ea4cf17e734bbe947db7c1dc9fde7
RANDOM SEED=1700729831

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

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

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

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

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

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

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

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

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

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

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

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

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

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

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

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

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

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

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

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

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

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263481436 kB
Buffers:        166352 kB
Cached:         409744 kB
SwapCached:      29976 kB
Active:         143900 kB
Inactive:       464564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263481436 kB
SwapTotal:    67111528 kB
SwapFree:     67044780 kB
Dirty:            5852 kB
Writeback:           0 kB
AnonPages:       29192 kB
Mapped:           7744 kB
Slab:            75384 kB
PageTables:       5908 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   188204 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61572 MiB
End job on node200 at 2011-06-01 04:57:30