Trace number 3400804

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) 160005 5019.95

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom20.cnf
MD5SUM9851f8e63efc4505343bf50c1cf30646
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables44362
Number of clauses148436
Sum of the clauses size378642
Maximum clause length1419
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 276003
Number of clauses of size 371663
Number of clauses of size 4209
Number of clauses of size 518
Number of clauses of size over 5542

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.03	c Using 32 threads
1.43/0.06	c This is CryptoMiniSat 3.0.0
1.43/0.06	c WARNING: for repeatability, setting FPU to use double precision
1.43/0.06	c Reading file 'HOME/instance-3400804-1306806581.cnf'
1.43/0.10	c -- header says num vars:          44362
1.43/0.10	c -- header says num clauses:      148436
21.98/1.23	c -- clauses added:            0 learnts,       148436 normals,            0 xors
21.98/1.23	c -- vars added      44362
21.98/1.23	c Parsing time:  0.21 s
21.98/1.23	c  N st     0         0     44362     71422     67911         0    357440         0   no data   no data
72.38/2.80	c asymm  cl-useful: 8/40183/71422 lits-rem:88 time: 1.57
331.47/17.70	c Flit:    80 Blit:   3934 bXBeca:    0 bXProp: 7226 Bins:      0 BRemL:      0 BRemN:      0 P: 54.8M T:  7.27
331.47/17.72	c Cleaning up after failed var search:     0.01 s 
333.95/17.83	c Replacing     7226 vars Replaced   201931 lits Time:     0.06 s 
338.78/18.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
338.78/18.17	c bin-w-bin subsume rem          845 bins  time:  0.01 s
338.78/18.19	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.02 s
340.41/18.25	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:  31096 time:  0.05 s
342.53/18.33	c Removed useless bin:      45  fixed:     0  props:   4.74M  time:  0.08 s
361.57/19.19	c lits-rem:         0  cl-subs:      255  v-elim:  10365  v-fix:    0  time:  0.38 s
370.88/19.41	c Finding binary XORs  T:     0.21 s  found:      20
370.88/19.42	c Replacing       20 vars Replaced      245 lits Time:     0.01 s 
374.06/19.56	c Finding non-binary XORs:     0.08 s (found:   10050, avg size: 3.0)
374.06/19.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   1620 locsubst:  6422 time:   0.05
374.06/19.58	c Replacing     3211 vars Replaced    19266 lits Time:     0.01 s 
374.06/19.59	c calculated reachability. Time: 0.01
377.21/19.60	c Calc default polars -  time:   0.01 s pos:    1922 undec:   28535 neg:   13905
377.21/19.60	c =========================================================================================
377.21/19.60	c types(t): F = full restart, N = normal restart
377.21/19.60	c types(t): S = simplification begin/end, E = solution found
377.21/19.60	c restart types(rt): st = static, dy = dynamic
377.21/19.60	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
377.21/19.60	c  B st     0         0     15880     26056     20551         0    171687         0   no data   no data
389.91/20.05	c Decided on static restart strategy
405.89/20.60	c  N st     8      4915     15876     26056     20678      4630    171687    138366   no data   no data
451.22/21.94	c  N st    10     11297     15849     26056     22252     10845    171687    573712   no data   no data
454.45/22.03	c Finding binary XORs  T:     0.08 s  found:       5
486.38/23.06	c  N st    11     17041     15849     26049     21895     16456    170910    786036   no data   no data
546.47/24.90	c  F st    12     25001     15842     26049     22812     14709    170910    428242   no data   no data
546.47/24.92	c Replacing        5 vars Replaced       93 lits Time:     0.01 s 
546.47/24.95	c  N st    12     25001     15838     26046     22719     14704    170771    428149   no data   no data
572.04/25.79	c Finding binary XORs  T:     0.09 s  found:       0
595.04/26.42	c Decided on static restart strategy
595.04/26.42	c  N st    18     30000     15835     26045     23238     19549    170708    934420   no data   no data
595.04/26.42	c  S st    18     30000     15835     26045     23238     19549    170708    934420   no data   no data
600.80/26.68	c  S st    18     30501     15835     26045     23275     20012    170708    942764   no data   no data
604.00/26.71	c x-sub:  3211 x-cut:      0 vfix:      0 v-elim:    809 locsubst:     0 time:   0.03
655.14/28.38	c Flit:    73 Blit:      2 bXBeca:    0 bXProp:    7 Bins: 215576 BRemL: 141301 BRemN:      9 P: 10.1M T:  1.66
658.34/28.41	c Replacing        7 vars Replaced      464 lits Time:     0.03 s 
658.34/28.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
658.34/28.44	c bin-w-bin subsume rem          528 bins  time:  0.01 s
658.34/28.47	c subs with bin:      773  lits-rem:       546  v-fix:    0  time:  0.03 s
658.34/28.50	c Subs w/ non-existent bins:    103 l-rem:      9 v-fix:     0 done:  14944 time:  0.03 s
662.12/28.52	c Removed useless bin:     121  fixed:     0  props:   0.74M  time:  0.02 s
662.12/28.60	c lits-rem:       272  cl-subs:      227  v-elim:   2146  v-fix:    0  time:  0.08 s
665.35/28.65	c subs with bin:       83  lits-rem:       421  v-fix:    0  time:  0.03 s
665.35/28.69	c lits-rem:       243  cl-subs:      248  v-elim:      0  v-fix:    0  time:  0.03 s
683.90/29.24	c asymm  cl-useful: 280/25571/25571 lits-rem:1179 time: 0.55
683.90/29.26	c calculated reachability. Time: 0.01
683.90/29.26	c  N st    18     30501     12798     25570     79242      5094    151327    225753   no data   no data
687.09/29.35	c Finding binary XORs  T:     0.09 s  found:       0
742.66/31.25	c  N st    20     37612     12796     25570     79435     12062    151327    633280   no data   no data
749.12/31.59	c Finding binary XORs  T:     0.08 s  found:       4
777.13/33.21	c  N st    21     44013     12788     25557    203379     10667    150914    991319   no data   no data
782.45/33.51	c  S st    22     45752     12787     25557    203437     12385    150914   1055065   no data   no data
784.32/33.67	c  S st    22     46253     12787     25557    203443     12878    150913   1073450   no data   no data
784.32/33.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    396 locsubst:     0 time:   0.03
800.90/34.56	c Flit:     7 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  12695 BRemL:  76650 BRemN:      0 P:  6.1M T:  0.86
800.90/34.58	c Replacing        4 vars Replaced      583 lits Time:     0.02 s 
800.90/34.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
802.73/34.61	c bin-w-bin subsume rem          336 bins  time:  0.01 s
802.73/34.63	c subs with bin:       75  lits-rem:       144  v-fix:    0  time:  0.02 s
802.73/34.65	c Subs w/ non-existent bins:      0 l-rem:     15 v-fix:     0 done:  12380 time:  0.02 s
802.73/34.67	c Removed useless bin:      61  fixed:     0  props:   0.46M  time:  0.01 s
802.73/34.70	c lits-rem:         0  cl-subs:       66  v-elim:     47  v-fix:    0  time:  0.03 s
806.56/34.80	c subs with bin:        6  lits-rem:       226  v-fix:    0  time:  0.09 s
806.56/34.86	c lits-rem:       263  cl-subs:      265  v-elim:      0  v-fix:    0  time:  0.04 s
806.56/34.87	c vivif2 --  cl tried    25419 cl shrink      150 lits rem        357 time: 0.01
806.56/34.88	c vivif2 --  cl tried     8023 cl shrink      722 lits rem       1629 time: 0.01
816.07/35.30	c asymm  cl-useful: 94/22854/25378 lits-rem:257 time: 0.42
816.07/35.31	c calculated reachability. Time: 0.01
816.07/35.31	c  N st    22     46253     12333     25378    119787      8023    148760    390601   no data   no data
816.07/35.39	c Finding binary XORs  T:     0.07 s  found:       0
903.05/39.18	c  N st    23     60652     12333     25378    119797     22061    148760   2294687   no data   no data
912.63/39.43	c Finding binary XORs  T:     0.08 s  found:       1
1033.98/43.27	c  N st    24     69380     12333     25378    184205     18517    148760   2136651   no data   no data
1033.98/43.27	c  S st    24     69380     12333     25378    184205     18517    148760   2136651   no data   no data
1043.56/43.56	c  S st    24     69883     12333     25378    188689     19013    148760   2157706   no data   no data
1043.56/43.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    198 locsubst:     0 time:   0.03
1075.51/44.54	c Flit:     6 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   4815 BRemL:  68573 BRemN:      1 P:  6.5M T:  0.94
1075.51/44.57	c Replacing        1 vars Replaced       36 lits Time:     0.03 s 
1075.51/44.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1078.74/44.61	c bin-w-bin subsume rem        32719 bins  time:  0.02 s
1078.74/44.64	c subs with bin:       34  lits-rem:        18  v-fix:    0  time:  0.02 s
1078.74/44.67	c Subs w/ non-existent bins:      0 l-rem:      2 v-fix:     0 done:  12128 time:  0.03 s
1078.74/44.68	c Removed useless bin:       6  fixed:     0  props:   0.37M  time:  0.01 s
1081.90/44.72	c lits-rem:         1  cl-subs:       70  v-elim:     48  v-fix:    0  time:  0.04 s
1088.29/44.94	c subs with bin:       13  lits-rem:       151  v-fix:    0  time:  0.19 s
1092.08/45.03	c lits-rem:       223  cl-subs:      218  v-elim:      0  v-fix:    0  time:  0.07 s
1092.08/45.04	c vivif2 --  cl tried    25258 cl shrink       55 lits rem         68 time: 0.01
1092.08/45.06	c vivif2 --  cl tried    10259 cl shrink      243 lits rem       2271 time: 0.02
1095.30/45.14	c asymm  cl-useful: 150/2404/25258 lits-rem:450 time: 0.08
1095.30/45.15	c calculated reachability. Time: 0.01
1095.30/45.15	c  N st    24     69883     12080     25108     81302     10259    147526    446954   no data   no data
1264.04/50.41	c  F st    25     87502     12080     25108     81304     14502    147526    796286   no data   no data
1264.04/50.44	c  N st    25     87502     12080     25107     79839     14502    147513    793360   no data   no data
1267.83/50.52	c Finding binary XORs  T:     0.07 s  found:      74
1308.75/51.90	c Decided on static restart strategy
1327.95/52.50	c  N st    32     95549     12079     25107     79870     22391    147512   1423191   no data   no data
1427.00/55.59	c  N st    34    104826     12079     25107     80165     31570    147512   2875929   no data   no data
1427.00/55.59	c  S st    34    104826     12079     25107     80165     31570    147512   2875929   no data   no data
1430.19/55.69	c Finding binary XORs  T:     0.07 s  found:      10
1439.78/56.01	c  S st    34    105328     12065     25083     74069     32015    147148   2875549   no data   no data
1443.58/56.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     54 locsubst:     0 time:   0.03
1471.74/56.95	c Flit:     1 Blit:      2 bXBeca:    0 bXProp:   17 Bins:   4910 BRemL:  18869 BRemN:     89 P: 11.2M T:  0.91
1471.74/56.99	c Replacing      101 vars Replaced     1796 lits Time:     0.04 s 
1474.94/57.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1474.94/57.02	c bin-w-bin subsume rem         1416 bins  time:  0.01 s
1474.94/57.04	c subs with bin:      171  lits-rem:       154  v-fix:    0  time:  0.02 s
1474.94/57.07	c Subs w/ non-existent bins:      0 l-rem:      3 v-fix:     0 done:  11907 time:  0.03 s
1474.94/57.08	c Removed useless bin:       4  fixed:     0  props:   0.46M  time:  0.01 s
1478.73/57.14	c lits-rem:        17  cl-subs:      175  v-elim:     42  v-fix:    0  time:  0.05 s
1542.06/59.20	c subs with bin:       16  lits-rem:      1398  v-fix:    0  time:  1.81 s
1609.18/61.29	c lits-rem:      1809  cl-subs:      776  v-elim:      0  v-fix:    0  time:  2.08 s
1612.38/61.30	c vivif2 --  cl tried    24677 cl shrink        0 lits rem          0 time: 0.01
1615.58/61.48	c vivif2 --  cl tried    29604 cl shrink     5965 lits rem      71536 time: 0.18
1634.74/62.01	c asymm  cl-useful: 123/16465/24677 lits-rem:275 time: 0.53
1634.74/62.02	c calculated reachability. Time: 0.01
1634.74/62.02	c  N st    34    105328     11865     24667     57556     29603    145015   2397038   no data   no data
1634.74/62.10	c Finding binary XORs  T:     0.07 s  found:       0
1724.84/64.84	c  N st    35    114926     11865     24667     57556     21551    145015   1023584   no data   no data
1855.27/68.99	c  N st    36    129324     11855     24667     58583     35728    145015   3292521   no data   no data
1858.47/69.09	c Finding binary XORs  T:     0.07 s  found:      12
2069.44/75.64	c  N st    37    150920     11853     24650     58120     35971    144690   1510235   no data   no data
2072.64/75.73	c Finding binary XORs  T:     0.07 s  found:      26
2139.76/77.87	c  S st    38    157992     11851     24648     58378     42940    144659   2389053   no data   no data
2152.53/78.21	c  S st    38    158494     11850     24648     58736     43438    144659   2402822   no data   no data
2152.53/78.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2181.90/79.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    282 BRemL:   9364 BRemN:      0 P: 12.8M T:  0.90
2181.90/79.19	c Replacing       38 vars Replaced     1095 lits Time:     0.05 s 
2181.90/79.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2181.90/79.21	c bin-w-bin subsume rem          990 bins  time:  0.01 s
2185.14/79.23	c subs with bin:       92  lits-rem:        75  v-fix:    0  time:  0.02 s
2185.14/79.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11812 time:  0.02 s
2185.14/79.27	c Removed useless bin:       3  fixed:     0  props:   0.45M  time:  0.01 s
2187.69/79.33	c lits-rem:        11  cl-subs:       79  v-elim:     39  v-fix:    0  time:  0.06 s
2248.44/81.25	c subs with bin:        9  lits-rem:     10506  v-fix:    0  time:  1.77 s
2331.53/83.89	c lits-rem:      2307  cl-subs:      994  v-elim:      0  v-fix:    0  time:  2.63 s
2334.73/83.90	c vivif2 --  cl tried    24443 cl shrink        1 lits rem          1 time: 0.01
2341.12/84.10	c vivif2 --  cl tried    41900 cl shrink    12909 lits rem      71669 time: 0.20
2347.52/84.36	c asymm  cl-useful: 10/7977/24442 lits-rem:30 time: 0.26
2347.52/84.38	c calculated reachability. Time: 0.01
2347.52/84.38	c  N st    38    158494     11773     24432     45986     41899    143880   2195460   no data   no data
3220.10/111.69	c  N st    39    207082     11773     24432     45986     42336    143878   6374126   no data   no data
3226.50/111.81	c Finding binary XORs  T:     0.07 s  found:      28
3542.96/121.79	c  N st    40    237741     11761     24407     44677     46331    143582   4297402   no data   no data
3542.96/121.79	c  S st    40    237741     11761     24407     44677     46331    143582   4297402   no data   no data
3556.34/122.15	c  S st    40    238242     11760     24407     44963     46829    143582   4312582   no data   no data
3556.34/122.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3584.51/123.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:    131 BRemL:   3913 BRemN:     10 P: 12.0M T:  0.86
3584.51/123.11	c Replacing       30 vars Replaced     1315 lits Time:     0.07 s 
3588.27/123.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3588.27/123.13	c bin-w-bin subsume rem          635 bins  time:  0.01 s
3588.27/123.15	c subs with bin:       66  lits-rem:        71  v-fix:    0  time:  0.02 s
3588.27/123.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11730 time:  0.02 s
3588.27/123.18	c Removed useless bin:       2  fixed:     0  props:   0.41M  time:  0.01 s
3591.50/123.26	c lits-rem:         3  cl-subs:       45  v-elim:     14  v-fix:    0  time:  0.08 s
3661.83/125.45	c subs with bin:       32  lits-rem:      5563  v-fix:    0  time:  1.89 s
3814.63/130.21	c lits-rem:      3512  cl-subs:      853  v-elim:      0  v-fix:    0  time:  4.75 s
3814.63/130.22	c vivif2 --  cl tried    24255 cl shrink        1 lits rem          1 time: 0.01
3824.23/130.56	c vivif2 --  cl tried    45556 cl shrink    10783 lits rem     228287 time: 0.33
3843.40/131.14	c asymm  cl-useful: 47/14948/24255 lits-rem:69 time: 0.58
3843.40/131.15	c calculated reachability. Time: 0.01
3843.40/131.15	c  N st    40    238242     11716     24255     40374     45556    142927   3915927   no data   no data
4025.57/136.82	c Finding binary XORs  T:     0.07 s  found:       0
5054.73/169.10	c  F st    41    306251     11713     24253     39843     57199    142861   7178024   no data   no data
5057.93/169.12	c  N st    41    306251     11713     24253     39843     57199    142861   7178024   no data   no data
5061.13/169.25	c Finding binary XORs  T:     0.07 s  found:       0
5115.46/170.93	c Decided on static restart strategy
5393.44/179.65	c  N st    51    334549     11710     24251     43275     55714    142735   4994298   no data   no data
5812.09/192.79	c  N st    53    357363     11709     24251     43286     47653    142735   4238033   no data   no data
5812.09/192.79	c  S st    53    357363     11709     24251     43286     47653    142735   4238033   no data   no data
5824.89/193.18	c  S st    53    357863     11709     24251     43290     48151    142735   4252205   no data   no data
5828.08/193.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
5853.65/194.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:    118 BRemL:   7062 BRemN:      1 P: 11.3M T:  0.81
5856.85/194.10	c Replacing        5 vars Replaced     1050 lits Time:     0.08 s 
5856.85/194.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5856.85/194.12	c bin-w-bin subsume rem          268 bins  time:  0.01 s
5856.85/194.14	c subs with bin:       22  lits-rem:        13  v-fix:    0  time:  0.01 s
5856.85/194.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11704 time:  0.03 s
5856.85/194.18	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
5860.05/194.25	c lits-rem:         0  cl-subs:       19  v-elim:      8  v-fix:    0  time:  0.07 s
5930.36/196.49	c subs with bin:        9  lits-rem:       749  v-fix:    0  time:  2.01 s
6080.61/201.20	c lits-rem:      1113  cl-subs:     1019  v-elim:      0  v-fix:    0  time:  4.69 s
6080.61/201.21	c vivif2 --  cl tried    24189 cl shrink        0 lits rem          0 time: 0.01
6090.18/201.45	c vivif2 --  cl tried    43119 cl shrink     8358 lits rem     112220 time: 0.24
6099.78/201.80	c asymm  cl-useful: 0/9241/24189 lits-rem:0 time: 0.35
6102.97/201.81	c calculated reachability. Time: 0.01
6102.97/201.81	c  N st    53    357863     11696     24189     35447     43119    142442   3196610   no data   no data
6102.97/201.88	c Finding binary XORs  T:     0.07 s  found:       0
6691.04/220.21	c  N st    54    390255     11696     24189     35447     45428    142442   2683361   no data   no data
7969.42/260.29	c  N st    55    438843     11693     24189     35455     61904    142442   7372964   no data   no data
9643.93/312.69	c  N st    56    511728     11693     24189     35619     66423    142442   4765850   no data   no data
9650.33/312.82	c Finding binary XORs  T:     0.07 s  found:       1
9995.47/323.69	c  N st    57    536796     11693     24187     34960     55609    142370   3835107   no data   no data
9995.47/323.69	c  S st    57    536796     11693     24187     34960     55609    142370   3835107   no data   no data
10011.46/324.11	c  S st    57    537301     11693     24187     34968     56112    142370   3849669   no data   no data
10011.46/324.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
10037.02/324.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      6 BRemL:    245 BRemN:      0 P: 11.3M T:  0.81
10037.02/324.99	c Replacing        2 vars Replaced      211 lits Time:     0.03 s 
10040.21/325.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10040.21/325.02	c bin-w-bin subsume rem           87 bins  time:  0.01 s
10040.21/325.03	c subs with bin:        9  lits-rem:         7  v-fix:    0  time:  0.02 s
10040.21/325.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11691 time:  0.02 s
10040.21/325.07	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
10043.41/325.15	c lits-rem:         0  cl-subs:        4  v-elim:      5  v-fix:    0  time:  0.08 s
10113.72/327.37	c subs with bin:        1  lits-rem:        77  v-fix:    0  time:  1.99 s
10251.16/331.64	c lits-rem:      3847  cl-subs:     1923  v-elim:      0  v-fix:    0  time:  4.27 s
10251.16/331.65	c vivif2 --  cl tried    24172 cl shrink        0 lits rem          0 time: 0.01
10260.76/331.92	c vivif2 --  cl tried    52286 cl shrink    11370 lits rem      83123 time: 0.26
10279.93/332.56	c asymm  cl-useful: 43/7585/24172 lits-rem:60 time: 0.63
10279.93/332.57	c calculated reachability. Time: 0.01
10279.93/332.57	c  N st    57    537301     11686     24172     34442     52286    142250   3371046   no data   no data
11855.49/381.81	c Finding binary XORs  T:     0.07 s  found:       1
13485.20/432.82	c  N st    58    701286     11685     24171     34392     64360    142235   5111576   no data   no data
15009.37/480.54	c  N st    59    805952     11684     24171     34483     86160    142235   6191460   no data   no data
15009.37/480.54	c  S st    59    805952     11684     24171     34483     86160    142235   6191460   no data   no data
15034.93/481.33	c  S st    59    806455     11683     24171     34514     44479    142235   1826727   no data   no data
15034.93/481.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
15063.70/482.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     31 BRemL:    328 BRemN:      0 P: 10.1M T:  0.85
15063.70/482.28	c Replacing        2 vars Replaced       81 lits Time:     0.06 s 
15063.70/482.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15066.90/482.30	c bin-w-bin subsume rem           26 bins  time:  0.01 s
15066.90/482.32	c subs with bin:       16  lits-rem:        10  v-fix:    0  time:  0.02 s
15066.90/482.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11681 time:  0.03 s
15066.90/482.36	c Removed useless bin:       2  fixed:     0  props:   0.39M  time:  0.02 s
15070.09/482.44	c lits-rem:         1  cl-subs:       17  v-elim:      4  v-fix:    0  time:  0.08 s
15111.65/483.77	c subs with bin:       76  lits-rem:       180  v-fix:    0  time:  1.19 s
15150.01/484.97	c lits-rem:      1748  cl-subs:      510  v-elim:      0  v-fix:    0  time:  1.19 s
15150.01/484.99	c vivif2 --  cl tried    24132 cl shrink        0 lits rem          0 time: 0.01
15153.79/485.08	c vivif2 --  cl tried    43868 cl shrink     1020 lits rem       9849 time: 0.10
15175.56/485.79	c asymm  cl-useful: 47/14589/24132 lits-rem:51 time: 0.71
15178.75/485.81	c calculated reachability. Time: 0.01
15178.75/485.81	c  N st    59    806455     11677     24130     33365     43868    142074   1790975   no data   no data
21182.96/673.78	c  F st    60   1071878     11677     24130     33367     79905    142074   9996480   no data   no data
21186.16/673.80	c  N st    60   1071878     11677     24130     33367     79905    142074   9996480   no data   no data
21186.16/673.89	c Finding binary XORs  T:     0.08 s  found:       4
21291.63/677.17	c Decided on static restart strategy
21742.15/691.26	c  N st    70   1100184     11676     24130     33760     59347    142073   3847632   no data   no data
22195.98/705.47	c  N st    72   1136177     11676     24130     33789     94906    142073   6970032   no data   no data
22646.36/719.53	c  N st    73   1168569     11676     24130     33796     77293    142073   4689536   no data   no data
23497.89/746.29	c  N st    74   1209683     11676     24130     33919     67775    142073   5458404   no data   no data
23497.89/746.29	c  S st    74   1209683     11676     24130     33919     67775    142073   5458404   no data   no data
23504.25/746.42	c Finding binary XORs  T:     0.08 s  found:       2
23520.78/746.98	c  S st    74   1210184     11676     24128     33756     68262    142065   5476091   no data   no data
23523.27/747.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
23557.86/748.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:    496 BRemN:      0 P: 13.2M T:  1.07
23557.86/748.15	c Replacing        6 vars Replaced     1134 lits Time:     0.05 s 
23557.86/748.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23557.86/748.18	c bin-w-bin subsume rem           51 bins  time:  0.01 s
23557.86/748.20	c subs with bin:       22  lits-rem:        10  v-fix:    0  time:  0.02 s
23561.05/748.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11670 time:  0.02 s
23561.05/748.24	c Removed useless bin:       1  fixed:     0  props:   0.39M  time:  0.01 s
23564.16/748.35	c lits-rem:         0  cl-subs:       27  v-elim:      8  v-fix:    0  time:  0.11 s
23665.56/751.55	c subs with bin:       12  lits-rem:      2794  v-fix:    0  time:  2.25 s
23876.31/758.17	c lits-rem:      6276  cl-subs:     1313  v-elim:      0  v-fix:    0  time:  6.61 s
23876.31/758.19	c vivif2 --  cl tried    24077 cl shrink        0 lits rem          0 time: 0.01
23889.10/758.57	c vivif2 --  cl tried    66636 cl shrink     9299 lits rem     276091 time: 0.38
23892.29/758.66	c asymm  cl-useful: 0/1903/24077 lits-rem:0 time: 0.08
23892.29/758.67	c calculated reachability. Time: 0.01
23892.29/758.67	c  N st    74   1210184     11662     24077     33193     66635    141880   5067290   no data   no data
25624.28/812.89	c  N st    75   1283066     11662     24077     33194     87529    141880   7024918   no data   no data
28211.54/893.81	c  N st    76   1392389     11662     24077     33249     90283    141880  11118089   no data   no data
30990.82/980.82	c  N st    77   1556374     11661     24077     33362     86338    141879   5064196   no data   no data
34991.42/1106.07	c  N st    78   1710186     11660     24077     33369     63779    141879   2638626   no data   no data
34991.42/1106.07	c  S st    78   1710186     11660     24077     33369     63779    141879   2638626   no data   no data
34994.62/1106.18	c Finding binary XORs  T:     0.08 s  found:       1
35007.98/1106.61	c  S st    78   1710693     11659     24071     32478     64153    141789   2648193   no data   no data
35011.22/1106.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
35039.36/1107.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     52 BRemL:    219 BRemN:      1 P: 12.4M T:  0.93
35043.14/1107.65	c Replacing        1 vars Replaced      174 lits Time:     0.04 s 
35043.14/1107.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
35043.14/1107.68	c bin-w-bin subsume rem           43 bins  time:  0.01 s
35043.14/1107.70	c subs with bin:        5  lits-rem:         3  v-fix:    0  time:  0.02 s
35046.37/1107.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11658 time:  0.03 s
35046.37/1107.74	c Removed useless bin:       1  fixed:     0  props:   0.39M  time:  0.02 s
35048.94/1107.83	c lits-rem:         0  cl-subs:        3  v-elim:      2  v-fix:    0  time:  0.09 s
35109.68/1109.71	c subs with bin:       96  lits-rem:      1236  v-fix:    0  time:  1.64 s
35187.06/1112.15	c lits-rem:      2059  cl-subs:      897  v-elim:      0  v-fix:    0  time:  2.34 s
35187.06/1112.16	c vivif2 --  cl tried    24060 cl shrink        0 lits rem          0 time: 0.01
35192.78/1112.31	c vivif2 --  cl tried    63130 cl shrink     2602 lits rem      39876 time: 0.15
35215.17/1113.07	c asymm  cl-useful: 29/8338/24060 lits-rem:48 time: 0.75
35215.17/1113.08	c calculated reachability. Time: 0.01
35215.17/1113.08	c  N st    78   1710693     11656     24060     32264     63130    141693   2573963   no data   no data
46545.60/1467.68	c  N st    79   2079659     11656     24060     32264    117251    141693  12264195   no data   no data
46548.79/1467.76	c Finding binary XORs  T:     0.08 s  found:       4
49770.01/1568.54	c  N st    80   2210699     11656     24060     32603    114842    141693   9015325   no data   no data
49770.01/1568.54	c  S st    80   2210699     11656     24060     32603    114842    141693   9015325   no data   no data
49791.77/1569.20	c  S st    80   2211202     11656     24060     32622    115343    141693   9031661   no data   no data
49791.77/1569.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
49836.49/1570.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     90 BRemL:    289 BRemN:      0 P: 18.4M T:  1.38
49836.49/1570.69	c Replacing        4 vars Replaced      224 lits Time:     0.05 s 
49836.49/1570.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49836.49/1570.72	c bin-w-bin subsume rem           28 bins  time:  0.01 s
49840.27/1570.73	c subs with bin:        9  lits-rem:         3  v-fix:    0  time:  0.02 s
49840.27/1570.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11652 time:  0.03 s
49840.27/1570.78	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
49846.06/1570.93	c lits-rem:         0  cl-subs:       12  v-elim:      5  v-fix:    0  time:  0.15 s
49951.46/1574.24	c subs with bin:        4  lits-rem:        98  v-fix:    0  time:  2.58 s
50587.31/1594.15	c lits-rem:     10950  cl-subs:     1775  v-elim:      0  v-fix:    0  time: 19.89 s
50587.31/1594.16	c vivif2 --  cl tried    24035 cl shrink        0 lits rem          0 time: 0.01
50619.27/1595.18	c vivif2 --  cl tried   113205 cl shrink    40559 lits rem     552648 time: 1.01
50644.86/1595.92	c asymm  cl-useful: 2/7435/24035 lits-rem:2 time: 0.74
50644.86/1595.94	c calculated reachability. Time: 0.01
50644.86/1595.94	c  N st    80   2211202     11647     24035     32346    113203    141582   8242566   no data   no data
65960.37/2075.25	c  N st    81   2711202     11647     24035     32346    115773    141582   6205580   no data   no data
65960.37/2075.25	c  S st    81   2711202     11647     24035     32346    115773    141582   6205580   no data   no data
65963.57/2075.39	c Finding binary XORs  T:     0.08 s  found:       0
65989.12/2076.14	c  S st    81   2711703     11645     24033     32285    116248    141538   6219357   no data   no data
65989.12/2076.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
66037.02/2077.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:    146 BRemN:      1 P: 19.1M T:  1.45
66037.02/2077.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
66037.02/2077.67	c bin-w-bin subsume rem           39 bins  time:  0.01 s
66037.02/2077.69	c subs with bin:        5  lits-rem:         2  v-fix:    0  time:  0.02 s
66040.23/2077.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11645 time:  0.03 s
66040.23/2077.74	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.02 s
66044.01/2077.87	c lits-rem:         0  cl-subs:        2  v-elim:      1  v-fix:    0  time:  0.14 s
66136.02/2080.73	c subs with bin:       12  lits-rem:       344  v-fix:    0  time:  2.39 s
66715.07/2098.89	c lits-rem:      4572  cl-subs:     2642  v-elim:      0  v-fix:    0  time: 18.14 s
66717.63/2098.90	c vivif2 --  cl tried    24025 cl shrink        0 lits rem          0 time: 0.01
66736.84/2099.56	c vivif2 --  cl tried   113591 cl shrink    26022 lits rem     133967 time: 0.65
66762.39/2100.35	c asymm  cl-useful: 0/7429/24025 lits-rem:0 time: 0.79
66762.39/2100.37	c calculated reachability. Time: 0.01
66762.39/2100.37	c  N st    81   2711703     11644     24025     32065    113591    141446   5923408   no data   no data
84751.55/2663.38	c  N st    82   3211706     11644     24025     32065    150547    141446  22661804   no data   no data
84751.55/2663.38	c  S st    82   3211706     11644     24025     32065    150547    141446  22661804   no data   no data
84783.52/2664.37	c  S st    82   3212213     11644     24025     32235    151054    141446  22678182   no data   no data
84786.72/2664.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
84844.27/2666.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     99 BRemL:    321 BRemN:      0 P: 20.6M T:  1.78
84844.27/2666.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84844.27/2666.28	c bin-w-bin subsume rem            4 bins  time:  0.01 s
84844.27/2666.29	c subs with bin:        3  lits-rem:         1  v-fix:    0  time:  0.02 s
84848.05/2666.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11644 time:  0.03 s
84848.05/2666.34	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.02 s
84857.02/2666.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.30 s
84997.67/2671.08	c subs with bin:        0  lits-rem:      1597  v-fix:    0  time:  2.58 s
87020.74/2734.34	c lits-rem:      9041  cl-subs:     1363  v-elim:      0  v-fix:    0  time: 63.24 s
87020.74/2734.36	c vivif2 --  cl tried    24022 cl shrink        0 lits rem          0 time: 0.01
87091.06/2736.59	c vivif2 --  cl tried   149691 cl shrink    49571 lits rem    1162062 time: 2.20
87103.84/2736.92	c asymm  cl-useful: 0/820/24022 lits-rem:0 time: 0.33
87103.84/2736.94	c calculated reachability. Time: 0.01
87103.84/2736.94	c  N st    82   3212213     11644     24022     32011    149690    141441  21223049   no data   no data
100097.02/3143.50	c  N st    83   3712213     11644     24022     32011    145658    141441   8350772   no data   no data
100097.02/3143.50	c  S st    83   3712213     11644     24022     32011    145658    141441   8350772   no data   no data
100097.02/3143.59	c Finding binary XORs  T:     0.08 s  found:       0
100125.79/3144.45	c  S st    83   3712720     11644     24022     32276    146164    141441   8369713   no data   no data
100128.99/3144.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
100177.45/3146.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:    111 BRemN:      0 P: 22.3M T:  1.57
100180.02/3146.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
100180.02/3146.11	c bin-w-bin subsume rem           20 bins  time:  0.01 s
100180.02/3146.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
100180.02/3146.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11644 time:  0.03 s
100180.02/3146.17	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.02 s
100186.41/3146.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
100282.95/3149.39	c subs with bin:      156  lits-rem:      1634  v-fix:    0  time:  2.47 s
101618.73/3191.15	c lits-rem:      7909  cl-subs:     4136  v-elim:      0  v-fix:    0  time: 41.73 s
101618.73/3191.16	c vivif2 --  cl tried    24022 cl shrink        0 lits rem          0 time: 0.01
101643.65/3191.98	c vivif2 --  cl tried   141872 cl shrink    36621 lits rem     162267 time: 0.80
101669.22/3192.74	c asymm  cl-useful: 12/1570/24022 lits-rem:40 time: 0.76
101669.22/3192.76	c calculated reachability. Time: 0.01
101669.22/3192.76	c  N st    83   3712720     11644     24022     32145    141872    141401   7906525   no data   no data
102784.34/3227.61	c  F st    84   3751562     11644     24022     32145     95389    141401   4785324   no data   no data
102784.34/3227.63	c  N st    84   3751562     11644     24022     32145     95389    141401   4785324   no data   no data
102915.84/3231.78	c Decided on static restart strategy
103436.12/3248.01	c  N st    94   3779869     11644     24022     32185    123499    141401   9071209   no data   no data
104449.06/3279.78	c  N st    96   3815867     11644     24022     32190    159228    141401  15280046   no data   no data
105321.53/3307.10	c  N st    97   3848259     11644     24022     32194    104846    141401   6098076   no data   no data
106682.73/3349.68	c  N st    98   3896850     11643     24022     32217    152686    141401  14068070   no data   no data
108926.71/3419.87	c  N st    99   3969732     11643     24022     32230    136890    141401  11123856   no data   no data
112354.88/3527.14	c  N st   100   4079055     11642     24022     32246    155478    141401  10575266   no data   no data
116330.27/3651.52	c  N st   101   4212720     11642     24022     32279    106746    141401   4954836   no data   no data
116330.27/3651.52	c  S st   101   4212720     11642     24022     32279    106746    141401   4954836   no data   no data
116349.43/3652.17	c  S st   101   4213225     11642     24022     32317    107248    141401   4968024   no data   no data
116352.63/3652.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
116390.99/3653.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     60 BRemN:      0 P: 17.2M T:  1.22
116390.99/3653.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
116390.99/3653.47	c bin-w-bin subsume rem           19 bins  time:  0.01 s
116390.99/3653.49	c subs with bin:        6  lits-rem:         4  v-fix:    0  time:  0.02 s
116394.19/3653.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11642 time:  0.03 s
116394.19/3653.54	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.02 s
116397.38/3653.67	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.13 s
116477.30/3656.19	c subs with bin:       19  lits-rem:       262  v-fix:    0  time:  2.17 s
116617.93/3660.55	c lits-rem:      2063  cl-subs:     1587  v-elim:      0  v-fix:    0  time:  4.35 s
116617.93/3660.56	c vivif2 --  cl tried    24012 cl shrink        0 lits rem          0 time: 0.01
116628.14/3660.86	c vivif2 --  cl tried    98732 cl shrink     8619 lits rem      87664 time: 0.30
116653.03/3661.63	c asymm  cl-useful: 27/13016/24012 lits-rem:27 time: 0.77
116653.03/3661.65	c calculated reachability. Time: 0.01
116653.03/3661.65	c  N st   101   4213225     11642     24012     31478     98732    141321   4343261   no data   no data
125105.83/3926.17	c  N st   102   4459202     11642     24012     31478    163236    141321  11830465   no data   no data
125112.23/3926.36	c Finding binary XORs  T:     0.08 s  found:       0
134631.83/4224.28	c  N st   103   4713227     11641     24011     31296    130587    141308   8712301   no data   no data
134631.83/4224.28	c  S st   103   4713227     11641     24011     31296    130587    141308   8712301   no data   no data
134658.00/4225.06	c  S st   103   4713728     11641     24011     31336    131082    141308   8725654   no data   no data
134661.19/4225.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
134714.89/4226.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     11 BRemL:    100 BRemN:      0 P: 19.9M T:  1.69
134718.09/4226.92	c Replacing        1 vars Replaced     1362 lits Time:     0.09 s 
134718.09/4226.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
134718.09/4226.95	c bin-w-bin subsume rem           25 bins  time:  0.01 s
134718.09/4226.96	c subs with bin:        3  lits-rem:         2  v-fix:    0  time:  0.02 s
134718.09/4226.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11640 time:  0.03 s
134721.31/4227.01	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.02 s
134724.47/4227.20	c lits-rem:         0  cl-subs:        2  v-elim:      1  v-fix:    0  time:  0.19 s
134842.73/4230.80	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  2.97 s
136137.61/4271.33	c lits-rem:      2420  cl-subs:     4088  v-elim:      0  v-fix:    0  time: 40.50 s
136137.61/4271.34	c vivif2 --  cl tried    24008 cl shrink        0 lits rem          0 time: 0.01
136159.34/4272.05	c vivif2 --  cl tried   126993 cl shrink    21626 lits rem     185845 time: 0.70
136188.11/4272.94	c asymm  cl-useful: 0/6623/24008 lits-rem:0 time: 0.90
136188.11/4272.96	c calculated reachability. Time: 0.01
136188.11/4272.96	c  N st   103   4713728     11639     24008     31217    126993    141301   7977746   no data   no data
156972.41/4923.32	c  N st   104   5213729     11639     24008     31217    128969    141301   9468544   no data   no data
156972.41/4923.32	c  S st   104   5213729     11639     24008     31217    128969    141301   9468544   no data   no data
157001.17/4924.27	c  S st   104   5214232     11639     24008     31324    129469    141301   9485759   no data   no data
157004.36/4924.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
157058.70/4926.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:     65 BRemN:      0 P: 19.3M T:  1.68
157058.70/4926.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
157058.70/4926.06	c bin-w-bin subsume rem            9 bins  time:  0.01 s
157058.70/4926.08	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.02 s
157061.91/4926.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11639 time:  0.03 s
157061.91/4926.12	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.02 s
157068.31/4926.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
157164.20/4929.34	c subs with bin:       15  lits-rem:       749  v-fix:    0  time:  2.36 s
157627.69/4943.89	c lits-rem:     14251  cl-subs:      856  v-elim:      0  v-fix:    0  time: 14.53 s
157630.88/4943.90	c vivif2 --  cl tried    24006 cl shrink        0 lits rem          0 time: 0.01
157653.25/4944.68	c vivif2 --  cl tried   128598 cl shrink    17921 lits rem     260027 time: 0.77
157669.20/4945.12	c asymm  cl-useful: 0/2797/24006 lits-rem:0 time: 0.44
157669.20/4945.14	c calculated reachability. Time: 0.01
157669.20/4945.14	c  N st   104   5214232     11639     24006     31252    128597    141295   9114470   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400804-1306806581/watcher-3400804-1306806581 -o /tmp/evaluation-result-3400804-1306806581/solver-3400804-1306806581 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400804-1306806581.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.58 31.57 31.91 1/413 21254
/proc/meminfo: memFree=263612712/264257624 swapFree=67044764/67111528
[pid=21254] ppid=21252 vsize=338000 CPUtime=0.74 cores=0-31
/proc/21254/stat : 21254 (strangenight2-m) R 21252 21254 21228 0 -1 4202496 468 0 0 0 74 0 0 0 25 0 32 0 6624109 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656626 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/21254/statm: 84500 408 300 95 0 79482 0
[pid=21254/tid=21255] ppid=21252 vsize=338000 CPUtime=0.03 cores=0-31
/proc/21254/task/21255/stat : 21255 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 4 0 0 0 3 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21254/tid=21256] ppid=21252 vsize=338000 CPUtime=0.03 cores=0-31
/proc/21254/task/21256/stat : 21256 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21254/tid=21257] ppid=21252 vsize=338000 CPUtime=0.03 cores=0-31
/proc/21254/task/21257/stat : 21257 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=21254/tid=21258] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21258/stat : 21258 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21254/tid=21259] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21259/stat : 21259 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=21254/tid=21260] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21260/stat : 21260 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21254/tid=21261] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21261/stat : 21261 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656215 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=21254/tid=21262] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21262/stat : 21262 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21254/tid=21263] ppid=21252 vsize=338000 CPUtime=0 cores=0-31
/proc/21254/task/21263/stat : 21263 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=21254/tid=21264] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21264/stat : 21264 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=21254/tid=21265] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21265/stat : 21265 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=21254/tid=21266] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21266/stat : 21266 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=21254/tid=21267] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21267/stat : 21267 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=21254/tid=21268] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21268/stat : 21268 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656215 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=21254/tid=21269] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21269/stat : 21269 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656221 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21254/tid=21270] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21270/stat : 21270 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=21254/tid=21271] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21271/stat : 21271 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21254/tid=21272] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21272/stat : 21272 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=21254/tid=21273] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21273/stat : 21273 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=21254/tid=21274] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21274/stat : 21274 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=21254/tid=21275] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21275/stat : 21275 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=21254/tid=21276] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21276/stat : 21276 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21254/tid=21277] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21277/stat : 21277 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=21254/tid=21278] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21278/stat : 21278 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656221 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=21254/tid=21279] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21279/stat : 21279 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656221 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=21254/tid=21280] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21280/stat : 21280 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=21254/tid=21281] ppid=21252 vsize=338000 CPUtime=0.01 cores=0-31
/proc/21254/task/21281/stat : 21281 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=21254/tid=21282] ppid=21252 vsize=338000 CPUtime=0 cores=0-31
/proc/21254/task/21282/stat : 21282 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656620 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=21254/tid=21283] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21283/stat : 21283 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 6624111 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656215 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=21254/tid=21284] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21284/stat : 21284 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 6624111 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656215 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=21254/tid=21285] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21285/stat : 21285 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 6624111 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 30 0 0 0

[startup+0.0570379 s]
/proc/loadavg: 29.58 31.57 31.91 1/413 21254
/proc/meminfo: memFree=263612712/264257624 swapFree=67044764/67111528
[pid=21254] ppid=21252 vsize=338000 CPUtime=1.43 cores=0-31
/proc/21254/stat : 21254 (strangenight2-m) R 21252 21254 21228 0 -1 4202496 468 0 0 0 143 0 0 0 25 0 32 0 6624109 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/21254/statm: 84500 408 300 95 0 79482 0
[pid=21254/tid=21255] ppid=21252 vsize=338000 CPUtime=0.05 cores=0-31
/proc/21254/task/21255/stat : 21255 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 4 0 0 0 5 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21254/tid=21256] ppid=21252 vsize=338000 CPUtime=0.05 cores=0-31
/proc/21254/task/21256/stat : 21256 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21254/tid=21257] ppid=21252 vsize=338000 CPUtime=0.05 cores=0-31
/proc/21254/task/21257/stat : 21257 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656208 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=21254/tid=21258] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21258/stat : 21258 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21254/tid=21259] ppid=21252 vsize=338000 CPUtime=0.05 cores=0-31
/proc/21254/task/21259/stat : 21259 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656215 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=21254/tid=21260] ppid=21252 vsize=338000 CPUtime=0.05 cores=0-31
/proc/21254/task/21260/stat : 21260 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21254/tid=21261] ppid=21252 vsize=338000 CPUtime=0.05 cores=0-31
/proc/21254/task/21261/stat : 21261 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=21254/tid=21262] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21262/stat : 21262 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21254/tid=21263] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21263/stat : 21263 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=21254/tid=21264] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21264/stat : 21264 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=21254/tid=21265] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21265/stat : 21265 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=21254/tid=21266] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21266/stat : 21266 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=21254/tid=21267] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21267/stat : 21267 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=21254/tid=21268] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21268/stat : 21268 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=21254/tid=21269] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21269/stat : 21269 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21254/tid=21270] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21270/stat : 21270 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=21254/tid=21271] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21271/stat : 21271 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21254/tid=21272] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21272/stat : 21272 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656215 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=21254/tid=21273] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21273/stat : 21273 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=21254/tid=21274] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21274/stat : 21274 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=21254/tid=21275] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21275/stat : 21275 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656215 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=21254/tid=21276] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21276/stat : 21276 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21254/tid=21277] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21277/stat : 21277 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=21254/tid=21278] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21278/stat : 21278 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=21254/tid=21279] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21279/stat : 21279 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=21254/tid=21280] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21280/stat : 21280 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656215 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=21254/tid=21281] ppid=21252 vsize=338000 CPUtime=0.03 cores=0-31
/proc/21254/task/21281/stat : 21281 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656221 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=21254/tid=21282] ppid=21252 vsize=338000 CPUtime=0 cores=0-31
/proc/21254/task/21282/stat : 21282 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656620 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=21254/tid=21283] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21283/stat : 21283 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 6624111 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=21254/tid=21284] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21284/stat : 21284 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 6624111 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=21254/tid=21285] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21285/stat : 21285 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 6624111 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 338000

[startup+0.103079 s]
/proc/loadavg: 29.58 31.57 31.91 1/413 21254
/proc/meminfo: memFree=263612712/264257624 swapFree=67044764/67111528
[pid=21254] ppid=21252 vsize=732568 CPUtime=2.47 cores=0-31
/proc/21254/stat : 21254 (strangenight2-m) D 21252 21254 21228 0 -1 4202496 8282 0 0 0 174 73 0 0 18 0 32 0 6624109 750149632 8116 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/21254/statm: 183142 8149 330 95 0 178124 0
[pid=21254/tid=21255] ppid=21252 vsize=732568 CPUtime=0.08 cores=0-31
/proc/21254/task/21255/stat : 21255 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 286 0 0 0 6 2 0 0 18 0 32 0 6624110 750149632 8149 268435456000 4194304 4580107 140734653258624 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21254/tid=21256] ppid=21252 vsize=732568 CPUtime=0.08 cores=0-31
/proc/21254/task/21256/stat : 21256 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 240 0 0 0 6 2 0 0 18 0 32 0 6624110 750149632 8149 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21254/tid=21257] ppid=21252 vsize=732568 CPUtime=0.08 cores=0-31
/proc/21254/task/21257/stat : 21257 (strangenight2-m) D 21252 21254 21228 0 -1 4202560 240 0 0 0 6 2 0 0 18 0 32 0 6624110 750149632 8149 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=21254/tid=21258] ppid=21252 vsize=732568 CPUtime=0.07 cores=0-31
/proc/21254/task/21258/stat : 21258 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 260 0 0 0 5 2 0 0 23 0 32 0 6624110 750149632 8161 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21254/tid=21259] ppid=21252 vsize=732568 CPUtime=0.08 cores=0-31
/proc/21254/task/21259/stat : 21259 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 266 0 0 0 6 2 0 0 18 0 32 0 6624110 750149632 8178 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=21254/tid=21260] ppid=21252 vsize=732568 CPUtime=0.08 cores=0-31
/proc/21254/task/21260/stat : 21260 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 209 0 0 0 6 2 0 0 23 0 32 0 6624110 750149632 8186 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21254/tid=21261] ppid=21252 vsize=732568 CPUtime=0.08 cores=0-31
/proc/21254/task/21261/stat : 21261 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 259 0 0 0 6 2 0 0 18 0 32 0 6624110 750149632 8186 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=21254/tid=21262] ppid=21252 vsize=732568 CPUtime=0.07 cores=0-31
/proc/21254/task/21262/stat : 21262 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 290 0 0 0 5 2 0 0 18 0 32 0 6624110 750149632 8186 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21254/tid=21263] ppid=21252 vsize=732568 CPUtime=0.05 cores=0-31
/proc/21254/task/21263/stat : 21263 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 267 0 0 0 3 2 0 0 24 0 32 0 6624110 750149632 8191 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=21254/tid=21264] ppid=21252 vsize=732568 CPUtime=0.07 cores=0-31
/proc/21254/task/21264/stat : 21264 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 229 0 0 0 5 2 0 0 24 0 32 0 6624110 750149632 8210 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=21254/tid=21265] ppid=21252 vsize=732568 CPUtime=0.07 cores=0-31
/proc/21254/task/21265/stat : 21265 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 214 0 0 0 5 2 0 0 24 0 32 0 6624110 750149632 8247 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=21254/tid=21266] ppid=21252 vsize=732568 CPUtime=0.07 cores=0-31
/proc/21254/task/21266/stat : 21266 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 221 0 0 0 5 2 0 0 24 0 32 0 6624110 750149632 8270 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=21254/tid=21267] ppid=21252 vsize=732568 CPUtime=0.07 cores=0-31
/proc/21254/task/21267/stat : 21267 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 236 0 0 0 5 2 0 0 18 0 32 0 6624110 750149632 8270 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=21254/tid=21268] ppid=21252 vsize=732568 CPUtime=0.07 cores=0-31
/proc/21254/task/21268/stat : 21268 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 209 0 0 0 5 2 0 0 24 0 32 0 6624110 750149632 8270 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=21254/tid=21269] ppid=21252 vsize=732568 CPUtime=0.07 cores=0-31
/proc/21254/task/21269/stat : 21269 (strangenight2-m) D 21252 21254 21228 0 -1 4202560 249 0 0 0 5 2 0 0 25 0 32 0 6624110 750149632 8276 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21254/tid=21270] ppid=21252 vsize=732568 CPUtime=0.07 cores=0-31
/proc/21254/task/21270/stat : 21270 (strangenight2-m) D 21252 21254 21228 0 -1 4202560 220 0 0 0 5 2 0 0 25 0 32 0 6624110 750149632 8282 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=21254/tid=21271] ppid=21252 vsize=732568 CPUtime=0.07 cores=0-31

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

[pid=21254/tid=21264] ppid=21252 vsize=31720500 CPUtime=4944.42 cores=0-31
/proc/21254/task/21264/stat : 21264 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1091904 0 0 0 493789 653 0 0 25 0 32 0 6624110 32481792000 6226988 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=21254/tid=21265] ppid=21252 vsize=31720500 CPUtime=4946.92 cores=0-31
/proc/21254/task/21265/stat : 21265 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1026162 0 0 0 494028 664 0 0 25 0 32 0 6624110 32481792000 6226988 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293087 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=21254/tid=21266] ppid=21252 vsize=31720500 CPUtime=4948.93 cores=0-31
/proc/21254/task/21266/stat : 21266 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 835867 0 0 0 494349 544 0 0 25 0 32 0 6624110 32481792000 6226988 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=21254/tid=21267] ppid=21252 vsize=31720500 CPUtime=4948.62 cores=0-31
/proc/21254/task/21267/stat : 21267 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 989742 0 0 0 494230 632 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=21254/tid=21268] ppid=21252 vsize=31720500 CPUtime=4946.48 cores=0-31
/proc/21254/task/21268/stat : 21268 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 954789 0 0 0 494049 599 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=21254/tid=21269] ppid=21252 vsize=31720500 CPUtime=4922.13 cores=0-31
/proc/21254/task/21269/stat : 21269 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1250862 0 0 0 491447 766 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21254/tid=21270] ppid=21252 vsize=31720500 CPUtime=4939.96 cores=0-31
/proc/21254/task/21270/stat : 21270 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1073107 0 0 0 493315 681 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21254/tid=21271] ppid=21252 vsize=31720500 CPUtime=4944.46 cores=0-31
/proc/21254/task/21271/stat : 21271 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 786695 0 0 0 493936 510 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=21254/tid=21272] ppid=21252 vsize=31720500 CPUtime=4951.23 cores=0-31
/proc/21254/task/21272/stat : 21272 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1086462 0 0 0 494475 648 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=21254/tid=21273] ppid=21252 vsize=31720500 CPUtime=4940.03 cores=0-31
/proc/21254/task/21273/stat : 21273 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 901092 0 0 0 493435 568 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21254/tid=21274] ppid=21252 vsize=31720500 CPUtime=4952.23 cores=0-31
/proc/21254/task/21274/stat : 21274 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 849803 0 0 0 494674 549 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4295731 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=21254/tid=21275] ppid=21252 vsize=31720500 CPUtime=4942.04 cores=0-31
/proc/21254/task/21275/stat : 21275 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 930494 0 0 0 493611 593 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=21254/tid=21276] ppid=21252 vsize=31720500 CPUtime=4946.25 cores=0-31
/proc/21254/task/21276/stat : 21276 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 872295 0 0 0 494070 555 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=21254/tid=21277] ppid=21252 vsize=31720500 CPUtime=4939.27 cores=0-31
/proc/21254/task/21277/stat : 21277 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 896255 0 0 0 493316 611 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=21254/tid=21278] ppid=21252 vsize=31720500 CPUtime=4939.26 cores=0-31
/proc/21254/task/21278/stat : 21278 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 981606 0 0 0 493273 653 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=21254/tid=21279] ppid=21252 vsize=31720500 CPUtime=4949.64 cores=0-31
/proc/21254/task/21279/stat : 21279 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 891374 0 0 0 494385 579 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=21254/tid=21280] ppid=21252 vsize=31720500 CPUtime=4948.86 cores=0-31
/proc/21254/task/21280/stat : 21280 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 863500 0 0 0 494329 557 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21254/tid=21281] ppid=21252 vsize=31720500 CPUtime=4947.66 cores=0-31
/proc/21254/task/21281/stat : 21281 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 878449 0 0 0 494187 579 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=21254/tid=21282] ppid=21252 vsize=31720500 CPUtime=4948.97 cores=0-31
/proc/21254/task/21282/stat : 21282 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 959991 0 0 0 494324 573 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=21254/tid=21283] ppid=21252 vsize=31720500 CPUtime=4941.87 cores=0-31
/proc/21254/task/21283/stat : 21283 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1046376 0 0 0 493549 638 0 0 25 0 32 0 6624111 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=21254/tid=21284] ppid=21252 vsize=31720500 CPUtime=4943 cores=0-31
/proc/21254/task/21284/stat : 21284 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 660161 0 0 0 493813 487 0 0 25 0 32 0 6624111 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21254/tid=21285] ppid=21252 vsize=31720500 CPUtime=4947.99 cores=0-31
/proc/21254/task/21285/stat : 21285 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 152117 0 0 0 494650 149 0 0 25 0 32 0 6624111 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 158219
Current children cumulated vsize (KiB) 31720500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5018.1 s]
/proc/loadavg: 32.19 32.14 32.09 34/445 21941
/proc/meminfo: memFree=238656256/264257624 swapFree=67044764/67111528
[pid=21254] ppid=21252 vsize=31126348 CPUtime=160003 cores=0-31
/proc/21254/stat : 21254 (strangenight2-m) R 21252 21254 21228 0 -1 4202496 29390909 0 0 0 15981502 18811 0 0 25 0 32 0 6624109 31873380352 6217949 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/21254/statm: 7781587 6217949 425 95 0 7776569 0
[pid=21254/tid=21255] ppid=21252 vsize=31126348 CPUtime=5000.12 cores=0-31
/proc/21254/task/21255/stat : 21255 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 848031 0 0 0 499473 539 0 0 25 0 32 0 6624110 31873380352 6217949 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=21254/tid=21256] ppid=21252 vsize=31126348 CPUtime=5004.88 cores=0-31
/proc/21254/task/21256/stat : 21256 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 873414 0 0 0 499894 594 0 0 25 0 32 0 6624110 31873380352 6217949 268435456000 4194304 4580107 140734653258624 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=21254/tid=21257] ppid=21252 vsize=31126348 CPUtime=5001.41 cores=0-31
/proc/21254/task/21257/stat : 21257 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 902296 0 0 0 499563 578 0 0 25 0 32 0 6624110 31873380352 6217949 268435456000 4194304 4580107 140734653258624 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21254/tid=21258] ppid=21252 vsize=31126348 CPUtime=5003.22 cores=0-31
/proc/21254/task/21258/stat : 21258 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 990393 0 0 0 499679 643 0 0 25 0 32 0 6624110 31873380352 6217949 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21254/tid=21259] ppid=21252 vsize=31126348 CPUtime=4995 cores=0-31
/proc/21254/task/21259/stat : 21259 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 968618 0 0 0 498898 602 0 0 25 0 32 0 6624110 31873380352 6217949 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=21254/tid=21260] ppid=21252 vsize=31126348 CPUtime=4999.62 cores=0-31
/proc/21254/task/21260/stat : 21260 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 984058 0 0 0 499361 601 0 0 25 0 32 0 6624110 31873380352 6217950 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21254/tid=21261] ppid=21252 vsize=31126348 CPUtime=4993.89 cores=0-31
/proc/21254/task/21261/stat : 21261 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 845740 0 0 0 498842 547 0 0 25 0 32 0 6624110 31873380352 6217950 268435456000 4194304 4580107 140734653258624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21254/tid=21262] ppid=21252 vsize=31126348 CPUtime=5002.69 cores=0-31
/proc/21254/task/21262/stat : 21262 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 845613 0 0 0 499680 589 0 0 25 0 32 0 6624110 31873380352 6217950 268435456000 4194304 4580107 140734653258624 18446744073709551615 4305310 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=21254/tid=21263] ppid=21252 vsize=31126348 CPUtime=5007.51 cores=0-31
/proc/21254/task/21263/stat : 21263 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 939372 0 0 0 500160 591 0 0 25 0 32 0 6624110 31873380352 6217950 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=21254/tid=21264] ppid=21252 vsize=31126348 CPUtime=5000.23 cores=0-31
/proc/21254/task/21264/stat : 21264 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1096578 0 0 0 499367 656 0 0 25 0 32 0 6624110 31873380352 6217950 268435456000 4194304 4580107 140734653258624 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=21254/tid=21265] ppid=21252 vsize=31126348 CPUtime=5002.72 cores=0-31
/proc/21254/task/21265/stat : 21265 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1030056 0 0 0 499605 667 0 0 25 0 32 0 6624110 31873380352 6217950 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=21254/tid=21266] ppid=21252 vsize=31126348 CPUtime=5004.74 cores=0-31
/proc/21254/task/21266/stat : 21266 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 839739 0 0 0 499928 546 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=21254/tid=21267] ppid=21252 vsize=31126348 CPUtime=5004.46 cores=0-31
/proc/21254/task/21267/stat : 21267 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 993654 0 0 0 499809 637 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=21254/tid=21268] ppid=21252 vsize=31126348 CPUtime=5002.29 cores=0-31
/proc/21254/task/21268/stat : 21268 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 959805 0 0 0 499625 604 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=21254/tid=21269] ppid=21252 vsize=31126348 CPUtime=4977.92 cores=0-31
/proc/21254/task/21269/stat : 21269 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1261300 0 0 0 497020 772 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21254/tid=21270] ppid=21252 vsize=31126348 CPUtime=4994.22 cores=0-31
/proc/21254/task/21270/stat : 21270 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1079955 0 0 0 498735 687 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=21254/tid=21271] ppid=21252 vsize=31126348 CPUtime=5000.28 cores=0-31
/proc/21254/task/21271/stat : 21271 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 791823 0 0 0 499515 513 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=21254/tid=21272] ppid=21252 vsize=31126348 CPUtime=5007.04 cores=0-31
/proc/21254/task/21272/stat : 21272 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1095826 0 0 0 500051 653 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=21254/tid=21273] ppid=21252 vsize=31126348 CPUtime=4995.87 cores=0-31
/proc/21254/task/21273/stat : 21273 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 902446 0 0 0 499017 570 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21254/tid=21274] ppid=21252 vsize=31126348 CPUtime=5008.02 cores=0-31
/proc/21254/task/21274/stat : 21274 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 861698 0 0 0 500246 556 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4316421 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=21254/tid=21275] ppid=21252 vsize=31126348 CPUtime=4997.86 cores=0-31
/proc/21254/task/21275/stat : 21275 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 934900 0 0 0 499190 596 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=21254/tid=21276] ppid=21252 vsize=31126348 CPUtime=5002.05 cores=0-31
/proc/21254/task/21276/stat : 21276 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 881277 0 0 0 499644 561 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=21254/tid=21277] ppid=21252 vsize=31126348 CPUtime=4995.08 cores=0-31
/proc/21254/task/21277/stat : 21277 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 902840 0 0 0 498894 614 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4318504 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=21254/tid=21278] ppid=21252 vsize=31126348 CPUtime=4995.07 cores=0-31
/proc/21254/task/21278/stat : 21278 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 992936 0 0 0 498848 659 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=21254/tid=21279] ppid=21252 vsize=31126348 CPUtime=5005.46 cores=0-31
/proc/21254/task/21279/stat : 21279 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 901953 0 0 0 499960 586 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=21254/tid=21280] ppid=21252 vsize=31126348 CPUtime=5004.7 cores=0-31
/proc/21254/task/21280/stat : 21280 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 868949 0 0 0 499908 562 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21254/tid=21281] ppid=21252 vsize=31126348 CPUtime=5003.48 cores=0-31
/proc/21254/task/21281/stat : 21281 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 890286 0 0 0 499763 585 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=21254/tid=21282] ppid=21252 vsize=31126348 CPUtime=5004.77 cores=0-31
/proc/21254/task/21282/stat : 21282 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 974728 0 0 0 499895 582 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=21254/tid=21283] ppid=21252 vsize=31126348 CPUtime=4997.67 cores=0-31
/proc/21254/task/21283/stat : 21283 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1056981 0 0 0 499123 644 0 0 25 0 32 0 6624111 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=21254/tid=21284] ppid=21252 vsize=31126348 CPUtime=4998.83 cores=0-31
/proc/21254/task/21284/stat : 21284 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 663277 0 0 0 499394 489 0 0 25 0 32 0 6624111 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21254/tid=21285] ppid=21252 vsize=31126348 CPUtime=5003.82 cores=0-31
/proc/21254/task/21285/stat : 21285 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 154973 0 0 0 500231 151 0 0 25 0 32 0 6624111 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 31126348

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

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

[startup+5019 s]
/proc/loadavg: 32.19 32.14 32.09 34/445 21941
/proc/meminfo: memFree=238656256/264257624 swapFree=67044764/67111528
[pid=21254] ppid=21252 vsize=0 CPUtime=160004 cores=0-31
/proc/21254/stat : 21254 (strangenight2-m) Z 21252 21254 21228 0 -1 4203548 29390925 0 0 0 15981524 18896 0 0 25 0 2 0 6624109 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/21254/statm: 0 0 0 0 0 0 0
[pid=21254/tid=21279] ppid=21252 vsize=0 CPUtime=5006.31 cores=0-31
/proc/21254/task/21279/stat : 21279 (strangenight2-m) R 21252 21254 21228 0 -1 4203588 901954 0 0 0 499960 671 0 0 25 0 2 0 6624110 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

[startup+5019.4 s]
/proc/loadavg: 32.19 32.14 32.09 2/416 21942
/proc/meminfo: memFree=253000684/264257624 swapFree=67044764/67111528
[pid=21254] ppid=21252 vsize=0 CPUtime=160005 cores=0-31
/proc/21254/stat : 21254 (strangenight2-m) Z 21252 21254 21228 0 -1 4203548 29390925 0 0 0 15981524 18936 0 0 25 0 2 0 6624109 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/21254/statm: 0 0 0 0 0 0 0
[pid=21254/tid=21279] ppid=21252 vsize=0 CPUtime=5006.71 cores=0-31
/proc/21254/task/21279/stat : 21279 (strangenight2-m) R 21252 21254 21228 0 -1 4203588 901954 0 0 0 499960 711 0 0 25 0 2 0 6624110 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0

[startup+5019.8 s]
/proc/loadavg: 32.19 32.14 32.09 2/416 21942
/proc/meminfo: memFree=253000684/264257624 swapFree=67044764/67111528
[pid=21254] ppid=21252 vsize=0 CPUtime=160005 cores=0-31
/proc/21254/stat : 21254 (strangenight2-m) Z 21252 21254 21228 0 -1 4203548 29390925 0 0 0 15981524 18976 0 0 25 0 2 0 6624109 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/21254/statm: 0 0 0 0 0 0 0
[pid=21254/tid=21279] ppid=21252 vsize=0 CPUtime=5007.11 cores=0-31
/proc/21254/task/21279/stat : 21279 (strangenight2-m) R 21252 21254 21228 0 -1 4203588 901954 0 0 0 499960 751 0 0 25 0 2 0 6624110 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0

[startup+5019.9 s]
/proc/loadavg: 32.19 32.14 32.09 2/416 21942
/proc/meminfo: memFree=253000684/264257624 swapFree=67044764/67111528
[pid=21254] ppid=21252 vsize=0 CPUtime=160005 cores=0-31
/proc/21254/stat : 21254 (strangenight2-m) Z 21252 21254 21228 0 -1 4203548 29390925 0 0 0 15981524 18986 0 0 25 0 2 0 6624109 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/21254/statm: 0 0 0 0 0 0 0
[pid=21254/tid=21279] ppid=21252 vsize=0 CPUtime=5007.21 cores=0-31
/proc/21254/task/21279/stat : 21279 (strangenight2-m) R 21252 21254 21228 0 -1 4203588 901954 0 0 0 499960 761 0 0 25 0 2 0 6624110 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5019.95
CPU time (s): 160005
CPU user time (s): 159815
CPU system time (s): 189.917
CPU usage (%): 3187.38
Max. virtual memory (cumulated for all children) (KiB): 31934276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159815
system time used= 189.917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29390925
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= 1438949
involuntary context switches= 316685

runsolver used 27.6098 second user time and 112.524 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-31 03:49:41
IDJOB=3400804
IDBENCH=83110
IDSOLVER=1886
FILE ID=node200/3400804-1306806581
RUNJOBID= node200-1306806581-21242
PBS_JOBID= 13470334
Free space on /tmp= 61576 MiB

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

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

MD5SUM BENCH= 9851f8e63efc4505343bf50c1cf30646
RANDOM SEED=92593326

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:      263612992 kB
Buffers:         78636 kB
Cached:         385672 kB
SwapCached:      29980 kB
Active:         120644 kB
Inactive:       376084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263612992 kB
SwapTotal:    67111528 kB
SwapFree:     67044764 kB
Dirty:            7992 kB
Writeback:           0 kB
AnonPages:       29640 kB
Mapped:           8372 kB
Slab:            61196 kB
PageTables:       5460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   187448 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61572 MiB
End job on node200 at 2011-05-31 05:13:22