Trace number 3400854

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) 160002 5006.56

General information on the benchmark

NameSAT03/industrial/maris/CNF/
gripper13u.shuffled-as.sat03-395.cnf
MD5SUM3889b7ed90cc1fbe8bc8d140a1763832
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark21500.1
Satisfiable
(Un)Satisfiability was proved
Number of variables4268
Number of clauses38965
Sum of the clauses size86077
Maximum clause length28
Minimum clause length1
Number of clauses of size 169
Number of clauses of size 235984
Number of clauses of size 3104
Number of clauses of size 42704
Number of clauses of size 50
Number of clauses of size over 5104

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 32 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3400854-1306915902.cnf'
0.00/0.06	c -- header says num vars:           4268
0.00/0.06	c -- header says num clauses:       38965
7.60/0.52	c -- clauses added:            0 learnts,        38965 normals,            0 xors
7.60/0.52	c -- vars added       4268
7.60/0.52	c Parsing time:  0.05 s
7.60/0.52	c  N st     0         0      4268      2849     34958         0     83609         0   no data   no data
7.60/0.60	c asymm  cl-useful: 26/2789/2789 lits-rem:26 time: 0.02
13.93/0.80	c Flit:     1 Blit:     61 bXBeca:    0 bXProp:   28 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
13.93/0.81	c Replacing       28 vars Replaced      912 lits Time:     0.00 s 
13.93/0.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13.93/0.83	c bin-w-bin subsume rem            0 bins  time:  0.01 s
13.93/0.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
13.93/0.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3962 time:  0.02 s
13.93/0.88	c Removed useless bin:      26  fixed:     0  props:   0.56M  time:  0.02 s
16.95/0.92	c lits-rem:         0  cl-subs:        0  v-elim:     87  v-fix:    0  time:  0.04 s
16.95/0.93	c Finding binary XORs  T:     0.01 s  found:       0
16.95/0.93	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
16.95/0.93	c calculated reachability. Time: 0.00
16.95/0.93	c Calc default polars -  time:   0.00 s pos:    1910 undec:     393 neg:    1965
16.95/0.93	c =========================================================================================
16.95/0.93	c types(t): F = full restart, N = normal restart
16.95/0.93	c types(t): S = simplification begin/end, E = solution found
16.95/0.93	c restart types(rt): st = static, dy = dynamic
16.95/0.93	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
16.95/0.93	c  B st     0         0      3875      2723     32303         0     77881         0   no data   no data
29.65/1.36	c  N dy    17      4611      3875      2723     32793      4063     77881    164082      7.13      8.06
39.14/1.60	c  N dy    34      8686      3875      2723     37780      5585     77881    114771      6.40      6.81
45.51/1.84	c  N dy    50     12702      3875      2723     41250      5450     77881     74305      6.23      7.12
51.88/2.09	c Finding binary XORs  T:     0.01 s  found:       3
51.88/2.11	c  N dy    77     16731      3875      2723     41395      9254     77881    194804      6.65     10.36
61.42/2.40	c  N dy   105     20808      3875      2723     44434      7949     77881    137429      6.79      7.35
71.02/2.64	c  N dy   127     24835      3874      2723     46982     11743     77881    238627      6.80     10.58
71.02/2.65	c  F st   129     25002      3874      2723     46983     11909     77881    243248      6.81   no data
71.02/2.66	c Replacing        3 vars Replaced      866 lits Time:     0.00 s 
83.80/3.04	c  N dy   135     30001      3869      2721     47003     10360     77824    247752      6.81   no data
83.80/3.04	c  S st   135     30001      3869      2721     47003     10360     77824    247752      6.81   no data
83.80/3.09	c  S st   135     30502      3869      2721     47015     10845     77824    259240      6.81   no data
83.80/3.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
102.96/3.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:  22563 BRemL:  19806 BRemN:    852 P:  7.3M T:  0.59
102.96/3.69	c Replacing        2 vars Replaced      626 lits Time:     0.00 s 
102.96/3.69	c blocked clauses removed:        0 vars:      0 tried:        3867 T: 0.00 s
102.96/3.70	c bin-w-bin subsume rem          207 bins  time:  0.00 s
106.15/3.70	c subs with bin:        6  lits-rem:        50  v-fix:    0  time:  0.01 s
106.15/3.72	c Subs w/ non-existent bins:      0 l-rem:     26 v-fix:     0 done:   3867 time:  0.01 s
106.15/3.73	c Removed useless bin:     404  fixed:     0  props:   0.40M  time:  0.01 s
106.15/3.75	c lits-rem:         0  cl-subs:        9  v-elim:     13  v-fix:    0  time:  0.02 s
115.75/4.08	c subs with bin:     2135  lits-rem:      4709  v-fix:    0  time:  0.30 s
118.94/4.13	c lits-rem:       575  cl-subs:      305  v-elim:      0  v-fix:    0  time:  0.04 s
118.94/4.17	c asymm  cl-useful: 69/3163/3163 lits-rem:333 time: 0.04
118.94/4.17	c calculated reachability. Time: 0.00
118.94/4.17	c  N dy   135     30502      3854      3114     47855      8222     75647    239117      6.81   no data
129.11/4.48	c Finding binary XORs  T:     0.01 s  found:       2
131.70/4.54	c  N dy   165     34590      3847      3114     53186     12168     75528    394293      7.05     10.69
144.49/4.93	c  N dy   197     38620      3847      3114     66616      8617     75528    166101      7.33     10.54
154.08/5.29	c  N dy   221     42971      3847      3114     66683     12848     75528    285015      7.35      7.81
157.28/5.34	c Finding binary XORs  T:     0.01 s  found:       0
166.85/5.62	c  S st   240     45753      3847      3114     77821     15574     75528    393448      7.41   no data
166.85/5.68	c  S st   240     46257      3847      3114     77830     16067     75528    405277      7.41   no data
166.85/5.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
189.23/6.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  13402 BRemL:  30480 BRemN:    301 P:  9.9M T:  0.71
192.43/6.40	c Replacing        2 vars Replaced      862 lits Time:     0.01 s 
192.43/6.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
192.43/6.41	c bin-w-bin subsume rem          122 bins  time:  0.01 s
192.43/6.43	c subs with bin:      378  lits-rem:       264  v-fix:    0  time:  0.01 s
192.43/6.44	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:   3845 time:  0.02 s
192.43/6.45	c Removed useless bin:     667  fixed:     0  props:   0.57M  time:  0.01 s
192.43/6.48	c lits-rem:         0  cl-subs:        8  v-elim:      8  v-fix:    0  time:  0.02 s
211.59/7.01	c subs with bin:     1501  lits-rem:      5257  v-fix:    0  time:  0.49 s
211.59/7.07	c lits-rem:       540  cl-subs:      319  v-elim:      0  v-fix:    0  time:  0.06 s
211.59/7.08	c vivif2 --  cl tried     2961 cl shrink      234 lits rem        470 time: 0.00
214.79/7.11	c vivif2 --  cl tried    14217 cl shrink     5854 lits rem      41122 time: 0.03
214.79/7.16	c asymm  cl-useful: 1/2753/2753 lits-rem:11 time: 0.05
214.79/7.17	c calculated reachability. Time: 0.00
214.79/7.17	c  N dy   240     46257      3837      2753     60813     13272     73208    305329      7.41   no data
214.79/7.18	c Finding binary XORs  T:     0.01 s  found:       0
231.36/7.64	c  N dy   263     51047      3836      2753     84842      9856     73208    206589      7.40      7.95
243.55/8.02	c Finding binary XORs  T:     0.01 s  found:       3
243.55/8.06	c  N dy   278     55201      3830      2750     84528     13929     72985    310349      7.35      7.79
259.53/8.52	c  N dy   295     59434      3830      2750     88153     18089     72985    433706      7.38      7.78
266.51/8.76	c Finding binary XORs  T:     0.01 s  found:       0
272.30/8.96	c  N dy   318     63499      3821      2746    102424     12659     72640    294500      7.43      7.84
288.26/9.49	c  N dy   339     68286      3821      2746    102992     17358     72640    426776      7.43      8.01
294.63/9.62	c  S st   347     69385      3820      2746    102999     18439     72640    462421      7.46   no data
294.63/9.69	c  S st   347     69891      3818      2746    103017     18920     72640    477811      7.46   no data
294.63/9.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
323.38/10.50	c Flit:    28 Blit:      0 bXBeca:    0 bXProp:    2 Bins:  14078 BRemL:  34817 BRemN:     56 P: 11.9M T:  0.79
323.38/10.51	c Replacing        5 vars Replaced     1273 lits Time:     0.01 s 
323.38/10.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
323.38/10.53	c bin-w-bin subsume rem          532 bins  time:  0.01 s
323.38/10.54	c subs with bin:        8  lits-rem:         0  v-fix:    0  time:  0.01 s
323.38/10.56	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:   3781 time:  0.02 s
323.38/10.57	c Removed useless bin:     760  fixed:     0  props:   0.51M  time:  0.01 s
326.59/10.60	c lits-rem:         0  cl-subs:        9  v-elim:     34  v-fix:    0  time:  0.03 s
342.58/11.13	c subs with bin:      917  lits-rem:      3376  v-fix:    0  time:  0.50 s
345.75/11.21	c lits-rem:       585  cl-subs:      342  v-elim:      0  v-fix:    0  time:  0.07 s
345.75/11.21	c vivif2 --  cl tried     3127 cl shrink      435 lits rem        469 time: 0.00
345.75/11.25	c vivif2 --  cl tried    17335 cl shrink     4294 lits rem      32584 time: 0.04
348.94/11.32	c asymm  cl-useful: 9/2704/2704 lits-rem:43 time: 0.07
348.94/11.33	c calculated reachability. Time: 0.01
348.94/11.33	c  N dy   347     69891      3747      2696     78392     17147     69523    367923      7.46   no data
348.94/11.34	c Finding binary XORs  T:     0.01 s  found:       0
371.92/12.02	c  N dy   369     75336      3746      2696     99348     12209     69523    248855      7.45      7.89
371.92/12.04	c Finding binary XORs  T:     0.01 s  found:       2
403.27/13.09	c  N dy   382     83327      3707      2674     97824     20120     68644    452096      7.36      7.85
425.62/13.72	c  F st   401     87500      3693      2674    105943     12652     68644    258399      7.36      6.42
425.62/13.73	c Replacing        2 vars Replaced      554 lits Time:     0.00 s 
428.81/13.84	c  N st   404     88688      3691      2664    104732     13824     68315    302309      7.36   no data
448.00/14.44	c Finding binary XORs  T:     0.01 s  found:       1
451.17/14.54	c  N dy   419     94558      3690      2664    105174     19636     68298    478831      7.36      7.77
480.56/15.45	c  N dy   450    101005      3682      2664    112796     13307     68298    265805      7.36      7.79
495.91/15.90	c  S st   464    104836      3677      2664    115724     17108     68298    370863      7.34      5.34
495.91/15.98	c  S st   464    105338      3677      2664    115728     17604     68298    384141      7.34   no data
495.91/15.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
521.47/16.70	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   6026 BRemL:  27746 BRemN:    692 P: 11.8M T:  0.72
521.47/16.71	c Replacing        2 vars Replaced      245 lits Time:     0.01 s 
521.47/16.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
521.47/16.73	c bin-w-bin subsume rem          694 bins  time:  0.01 s
521.47/16.75	c subs with bin:       20  lits-rem:         0  v-fix:    0  time:  0.02 s
521.47/16.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3674 time:  0.02 s
521.47/16.78	c Removed useless bin:     334  fixed:     0  props:   0.40M  time:  0.01 s
524.67/16.80	c lits-rem:         0  cl-subs:       10  v-elim:     40  v-fix:    0  time:  0.03 s
527.87/16.99	c subs with bin:      359  lits-rem:       907  v-fix:    0  time:  0.17 s
531.06/17.02	c lits-rem:       209  cl-subs:      186  v-elim:      0  v-fix:    0  time:  0.03 s
531.06/17.03	c vivif2 --  cl tried     2934 cl shrink      334 lits rem        334 time: 0.00
531.06/17.05	c vivif2 --  cl tried    16363 cl shrink     2180 lits rem      10482 time: 0.03
534.26/17.12	c asymm  cl-useful: 12/2622/2622 lits-rem:97 time: 0.07
534.26/17.13	c calculated reachability. Time: 0.01
534.26/17.13	c  N dy   464    105338      3634      2610     90566     16264     65862    302676      7.34   no data
534.26/17.15	c Finding binary XORs  T:     0.01 s  found:       1
559.82/17.94	c  N dy   478    112234      3634      2610     96030     23088     65862    480622      7.27      7.70
591.78/18.91	c  N dy   500    119614      3634      2610     99125     17639     65862    329483      7.23      7.63
594.98/19.02	c Finding binary XORs  T:     0.01 s  found:       2
623.74/19.97	c  N dy   533    127437      3634      2610    102146     25392     65862    537532      7.20      7.60
662.09/21.16	c  N dy   560    135602      3634      2610    102281     19711     65862    350646      7.17      7.58
691.48/22.05	c Finding binary XORs  T:     0.01 s  found:       5
700.43/22.39	c  N dy   595    144265      3634      2610    106471     28318     65862    571601      7.15      7.53
748.38/23.89	c  N dy   620    154716      3634      2610    106947     24047     65862    430408      7.10      7.55
764.36/24.38	c  S st   636    158008      3634      2610    108257     27318     65862    507677      7.10   no data
767.55/24.48	c  S st   636    158509      3634      2610    108259     27817     65862    523011      7.10   no data
767.55/24.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
793.76/25.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:   1201 BRemL:  13335 BRemN:    770 P: 14.1M T:  0.77
793.76/25.27	c Replacing       10 vars Replaced     5277 lits Time:     0.01 s 
793.76/25.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
793.76/25.28	c bin-w-bin subsume rem          446 bins  time:  0.01 s
793.76/25.30	c subs with bin:       23  lits-rem:         5  v-fix:    0  time:  0.02 s
796.96/25.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3624 time:  0.03 s
796.96/25.33	c Removed useless bin:    1262  fixed:     0  props:   0.39M  time:  0.01 s
796.96/25.37	c lits-rem:        19  cl-subs:       17  v-elim:     52  v-fix:    0  time:  0.04 s
805.91/25.65	c subs with bin:      164  lits-rem:       514  v-fix:    0  time:  0.25 s
809.11/25.72	c lits-rem:       516  cl-subs:      377  v-elim:      0  v-fix:    0  time:  0.07 s
809.11/25.73	c vivif2 --  cl tried     3445 cl shrink      969 lits rem       1189 time: 0.01
809.11/25.77	c vivif2 --  cl tried    25155 cl shrink     3782 lits rem      15981 time: 0.04
812.30/25.87	c asymm  cl-useful: 17/2512/2512 lits-rem:41 time: 0.10
812.30/25.88	c calculated reachability. Time: 0.01
812.30/25.88	c  N dy   636    158509      3572      2500     92019     25140     61025    423439      7.10   no data
853.85/27.11	c Finding binary XORs  T:     0.02 s  found:       0
864.04/27.46	c  N dy   666    168670      3572      2500     92225     20684     61025    303668      7.06      7.49
914.58/29.07	c  N dy   714    179495      3572      2500     92456     31432     61025    564015      7.05      7.47
972.73/30.87	c  N dy   755    191013      3572      2500     92784     26679     61025    401632      7.03      7.42
1036.03/32.82	c  N dy   804    203267      3572      2500     92854     38841     61025    687807      7.01      7.64
1103.15/34.93	c  N dy   854    216463      3572      2500     92933     34820     61025    550638      6.99      7.37
1183.69/37.45	c  N dy   920    230443      3572      2500     93184     30515     61025    415719      6.98      7.37
1221.41/38.67	c  S st   952    237763      3572      2500     93184     37787     61025    585240      6.97      5.87
1224.60/38.79	c  S st   952    238265      3572      2500     93184     38289     61025    598392      6.97   no data
1224.60/38.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1250.75/39.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     76 BRemL:   2097 BRemN:   1009 P: 15.3M T:  0.79
1250.75/39.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1250.75/39.61	c bin-w-bin subsume rem          870 bins  time:  0.01 s
1253.98/39.62	c subs with bin:        5  lits-rem:         0  v-fix:    0  time:  0.02 s
1253.98/39.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3572 time:  0.03 s
1253.98/39.66	c Removed useless bin:      65  fixed:     0  props:   0.36M  time:  0.01 s
1253.98/39.69	c lits-rem:         0  cl-subs:       11  v-elim:      8  v-fix:    0  time:  0.03 s
1266.13/40.07	c subs with bin:        1  lits-rem:         4  v-fix:    0  time:  0.34 s
1272.53/40.20	c lits-rem:      1038  cl-subs:      545  v-elim:      0  v-fix:    0  time:  0.13 s
1272.53/40.21	c vivif2 --  cl tried     2508 cl shrink       15 lits rem        127 time: 0.00
1272.53/40.27	c vivif2 --  cl tried    37730 cl shrink     4544 lits rem      19016 time: 0.07
1275.73/40.39	c asymm  cl-useful: 11/2505/2505 lits-rem:95 time: 0.11
1275.73/40.40	c calculated reachability. Time: 0.01
1275.73/40.40	c  N dy   952    238265      3564      2500     88915     37730     58778    565650      6.97   no data
1278.92/40.41	c Finding binary XORs  T:     0.02 s  found:       0
1371.61/43.38	c  N dy  1023    253475      3564      2500     88917     33288     58778    435436      6.97      7.39
1470.70/46.43	c  N dy  1104    269751      3564      2500     89153     49462     58778    819518      6.96      7.38
1579.39/49.82	c  N dy  1194    287035      3564      2500     89154     46613     58778    722795      6.96      8.69
1697.67/53.58	c  N dy  1283    305795      3564      2500     89161     43976     58778    610351      6.96      7.36
1700.86/53.69	c  F st  1286    306250      3564      2500     89161     44431     58778    621382      6.96   no data
1844.47/58.16	c  N dy  1384    325400      3564      2500     89398     40956     58778    507779      6.98      7.45
1992.09/62.79	c  N dy  1487    345486      3564      2500     89398     60925     58778    985457      6.99      7.40
2077.80/65.45	c  S st  1549    357397      3564      2500     89398     49406     58778    677030      7.00   no data
2081.00/65.59	c  S st  1549    357899      3564      2500     89398     49905     58778    688622      7.00   no data
2084.21/65.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2112.94/66.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:    495 BRemN:    703 P: 17.6M T:  0.97
2112.94/66.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2112.94/66.59	c bin-w-bin subsume rem            8 bins  time:  0.01 s
2116.17/66.61	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.02 s
2116.17/66.64	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:   3564 time:  0.03 s
2116.17/66.65	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.01 s
2116.17/66.68	c lits-rem:         0  cl-subs:        6  v-elim:      3  v-fix:    0  time:  0.04 s
2132.78/67.13	c subs with bin:        6  lits-rem:         7  v-fix:    0  time:  0.39 s
2138.53/67.34	c lits-rem:      1270  cl-subs:      636  v-elim:      0  v-fix:    0  time:  0.21 s
2138.53/67.34	c vivif2 --  cl tried     2510 cl shrink       10 lits rem        121 time: 0.00
2141.70/67.43	c vivif2 --  cl tried    49255 cl shrink     3885 lits rem      15422 time: 0.08
2144.89/67.58	c asymm  cl-useful: 12/2510/2510 lits-rem:66 time: 0.16
2144.89/67.59	c calculated reachability. Time: 0.00
2144.89/67.59	c  N dy  1549    357899      3561      2506     88112     49255     57351    663976      7.00   no data
2196.06/69.20	c Finding binary XORs  T:     0.01 s  found:       0
2308.55/72.66	c  N dy  1666    378028      3561      2506     88356     44749     57351    530951      7.01      7.47
2467.73/77.69	c  N dy  1787    398108      3561      2506     88357     64714     57351   1030881      7.02      7.46
2637.15/82.93	c  N dy  1902    418114      3561      2506     88361     59363     57351    854655      7.04      7.42
2803.37/88.19	c  N dy  2019    438190      3561      2506     88583     53154     57351    650287      7.05      7.55
2979.18/93.64	c  N dy  2129    458234      3561      2506     88583     73097     57351   1142319      7.06      7.58
3164.58/99.44	c  N dy  2254    478264      3561      2506     88584     65527     57351    922938      7.08      9.81
3369.12/105.88	c  N dy  2380    498624      3561      2506     88792     57584     57351    686960      7.10      7.50
3557.73/111.71	c  N dy  2501    518640      3561      2506     88792     77503     57351   1180733      7.12      7.62
3723.95/116.99	c  S st  2608    536851      3561      2506     88792     66361     57351    865797      7.12   no data
3730.35/117.17	c  S st  2608    537356      3561      2506     88792     66866     57351    879506      7.12   no data
3730.35/117.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3768.70/118.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:    694 BRemN:      1 P: 20.5M T:  1.19
3768.70/118.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3768.70/118.38	c bin-w-bin subsume rem            3 bins  time:  0.01 s
3771.91/118.40	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  0.02 s
3771.91/118.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3561 time:  0.03 s
3771.91/118.44	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
3771.91/118.48	c lits-rem:         0  cl-subs:        8  v-elim:      3  v-fix:    0  time:  0.04 s
3791.08/119.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.47 s
3800.67/119.31	c lits-rem:      1699  cl-subs:      768  v-elim:      0  v-fix:    0  time:  0.30 s
3800.67/119.32	c vivif2 --  cl tried     2518 cl shrink       16 lits rem        184 time: 0.00
3803.87/119.43	c vivif2 --  cl tried    65978 cl shrink     4906 lits rem      18572 time: 0.11
3813.45/119.79	c asymm  cl-useful: 11/2518/2518 lits-rem:28 time: 0.37
3813.45/119.80	c calculated reachability. Time: 0.01
3813.45/119.80	c  N dy  2608    537356      3558      2518     88008     65978     57421    846757      7.12   no data
4014.78/126.07	c  N dy  2706    557777      3558      2518     88200     86285     57421   1368736      7.13      7.51
4200.19/131.89	c  N dy  2818    577952      3558      2518     88201     75701     57421   1076797      7.14      7.57
4411.16/138.49	c  N dy  2930    597968      3558      2518     88202     64641     57421    752499      7.15      8.97
4446.33/139.58	c Finding binary XORs  T:     0.01 s  found:       0
4612.54/144.73	c  N dy  3041    618026      3558      2518     88577     84594     57421   1241796      7.16      9.17
4842.68/151.96	c  N dy  3171    638126      3558      2518     89128     72609     57421    913876      7.18      7.71
4900.19/153.74	c Finding binary XORs  T:     0.02 s  found:       0
5063.21/158.86	c  N dy  3283    658386      3558      2518     89261     92741     57421   1409177      7.19      7.63
5280.57/165.69	c  N dy  3397    678751      3558      2518     89868     79821     57421   1045824      7.20      7.62
5332.34/167.26	c Finding binary XORs  T:     0.02 s  found:       0
5513.91/172.96	c  N dy  3509    698854      3558      2518     90650     99802     57421   1532794      7.20      8.96
5731.28/179.75	c  N dy  3619    719028      3558      2518     90797     85895     57421   1159120      7.21      7.66
5804.77/182.10	c Finding binary XORs  T:     0.02 s  found:       0
5989.95/187.87	c  N dy  3736    739183      3558      2518     91158    105920     57421   1651874      7.23      7.66
6207.89/194.69	c  N dy  3842    759314      3558      2518     91269     90805     57421   1221200      7.23      7.75
6447.04/202.17	c  N dy  3932    779325      3558      2518     91270     74717     57421    793759      7.23      7.71
6673.96/209.27	c  N dy  4058    799451      3558      2518     91270     94724     57421   1285830      7.24      7.64
6760.26/211.90	c  S st  4095    806035      3558      2518     91270    101254     57421   1439854      7.24   no data
6766.66/212.21	c  S st  4095    806536      3558      2518     91270    101753     57421   1454698      7.24   no data
6770.45/212.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
6824.19/213.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:   3345 BRemN:      0 P: 27.6M T:  1.70
6824.19/213.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6824.19/213.95	c bin-w-bin subsume rem          107 bins  time:  0.01 s
6824.19/213.97	c subs with bin:        5  lits-rem:         0  v-fix:    0  time:  0.02 s
6827.39/214.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3558 time:  0.03 s
6827.39/214.01	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
6827.39/214.06	c lits-rem:         2  cl-subs:        4  v-elim:      2  v-fix:    0  time:  0.06 s
6862.54/215.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.96 s
6894.51/216.15	c lits-rem:      2937  cl-subs:     1196  v-elim:      0  v-fix:    0  time:  1.00 s
6894.51/216.15	c vivif2 --  cl tried     2520 cl shrink        5 lits rem         69 time: 0.00
6900.91/216.37	c vivif2 --  cl tried   100559 cl shrink    11085 lits rem      42403 time: 0.21
6920.08/216.95	c asymm  cl-useful: 14/2277/2520 lits-rem:54 time: 0.58
6920.08/216.96	c calculated reachability. Time: 0.01
6920.08/216.96	c  N dy  4095    806536      3556      2520     87786    100559     57367   1387753      7.24   no data
7188.61/225.40	c  N dy  4204    826570      3556      2520     87820     82856     57367    952064      7.25     10.56
7438.56/233.16	c  N dy  4323    846656      3556      2520     87820    102834     57367   1473026      7.26      9.29
7723.05/242.08	c  N dy  4443    866695      3556      2520     87822     84923     57367    967666      7.27      7.70
7997.31/250.60	c  N dy  4551    886753      3556      2520     87822    104852     57367   1465016      7.28      7.69
8310.56/260.42	c  N dy  4672    906798      3556      2520     87823     85874     57367    944600      7.28      7.69
8559.86/268.27	c  N dy  4793    926838      3556      2520     87823    105789     57367   1449187      7.29      7.96
8880.11/278.26	c  N dy  4924    946918      3556      2520     87823     86023     57367    903391      7.31     11.76
9122.45/285.89	c  N dy  5044    966949      3556      2520     87825    105926     57367   1394026      7.31      9.59
9445.93/296.00	c  N dy  5169    987533      3556      2520     87829    126411     57367   1917530      7.33      7.74
9707.37/304.16	c  N dy  5278   1007681      3556      2520     87829    105473     57367   1332987      7.33      7.75
9995.07/313.12	c  N dy  5390   1027826      3556      2520     87829    125484     57367   1829644      7.33      7.72
10286.56/322.32	c  N dy  5517   1048065      3556      2520     87829    103875     57367   1249464      7.34      7.73
10592.80/331.84	c  N dy  5632   1068149      3556      2520     87829    123840     57367   1745517      7.35      7.79
10656.74/333.89	c  F st  5659   1071877      3556      2520     87829    127546     57367   1835009      7.35   no data
10893.28/341.20	c  N dy  5731   1088198      3556      2520     87829    100904     57367   1141990      7.35      7.84
11187.36/350.43	c  N dy  5853   1108654      3556      2520     87829    121233     57367   1633929      7.36      7.76
11517.21/360.82	c  N dy  5964   1128668      3556      2520     87829     97605     57367   1007258      7.36      7.78
11804.26/369.80	c  N dy  6085   1148792      3556      2520     87829    117618     57367   1494643      7.37      7.77
12127.12/379.87	c  N dy  6207   1168845      3556      2520     87829    137553     57367   1980912      7.38      7.81
12431.40/389.36	c  N dy  6303   1188994      3556      2520     87973    112609     57367   1313062      7.38      7.78
12769.60/399.99	c  N dy  6425   1209040      3556      2520     87973    132552     57367   1804422      7.39      9.04
12783.01/400.39	c  S st  6429   1209805      3556      2520     87973    133316     57367   1822986      7.39      4.87
12795.16/400.78	c  S st  6429   1210309      3556      2520     87973    133817     57367   1837038      7.39   no data
12798.36/400.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
12868.68/403.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:    204 BRemN:      0 P: 31.5M T:  2.22
12868.68/403.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
12868.68/403.04	c bin-w-bin subsume rem            0 bins  time:  0.01 s
12868.68/403.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
12868.68/403.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3556 time:  0.03 s
12868.68/403.10	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
12871.88/403.17	c lits-rem:         0  cl-subs:        1  v-elim:      2  v-fix:    0  time:  0.07 s
12913.44/404.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.17 s
12977.37/406.41	c lits-rem:      3770  cl-subs:     1886  v-elim:      0  v-fix:    0  time:  1.92 s
12977.37/406.41	c vivif2 --  cl tried     2533 cl shrink       17 lits rem        164 time: 0.00
12986.97/406.71	c vivif2 --  cl tried   131927 cl shrink    14204 lits rem      54620 time: 0.30
13006.14/407.34	c asymm  cl-useful: 16/1884/2533 lits-rem:89 time: 0.63
13006.14/407.36	c calculated reachability. Time: 0.01
13006.14/407.36	c  N dy  6429   1210309      3554      2533     87702    131927     57415   1756454      7.39   no data
13386.50/419.23	c  N dy  6556   1230478      3554      2533     87707    105033     57415   1131746      7.39      7.83
13690.19/428.78	c  N dy  6679   1250538      3554      2533     87708    124976     57415   1641046      7.40     11.42
14070.54/440.68	c  N dy  6809   1270558      3554      2533     87709    144910     57415   2154531      7.41     10.16
14415.76/451.40	c  N dy  6931   1290648      3554      2533     87709    118483     57415   1393394      7.42      7.97
14790.40/463.13	c  N dy  7067   1310654      3554      2533     87709    138376     57415   1921842      7.43     10.59
15179.71/475.39	c  N dy  7186   1330764      3554      2533     87709    110689     57415   1163273      7.44      7.90
15508.96/485.61	c  N dy  7322   1350767      3554      2533     87709    130592     57415   1667023      7.45     10.72
15901.86/497.96	c  N dy  7457   1370799      3554      2533     87709    150520     57415   2191570      7.46      8.19
16285.45/509.94	c  N dy  7582   1390907      3554      2533     87709    121605     57415   1403717      7.47      7.88
16669.04/521.93	c  N dy  7714   1410942      3554      2533     87709    141528     57415   1911712      7.48      7.89
17094.15/535.25	c  N dy  7848   1430956      3554      2533     87710    161443     57415   2412917      7.49      8.61
17459.15/546.64	c  N dy  7975   1451302      3554      2533     87710    131763     57415   1602387      7.49      8.01
17838.92/558.51	c  N dy  8091   1471391      3554      2533     87710    151724     57415   2090967      7.50      8.05
18289.62/572.64	c  N dy  8227   1491434      3554      2533     87710    120845     57415   1285711      7.51      8.08
18737.11/586.60	c  N dy  8365   1511579      3554      2533     87710    140875     57415   1789717      7.52      7.95
19248.55/602.62	c  N dy  8496   1531661      3554      2533     87710    160850     57415   2285584      7.53      9.12
19734.39/617.83	c  N dy  8633   1551797      3554      2533     87710    128833     57415   1446083      7.54      7.95
20124.39/630.03	c  N dy  8762   1571884      3554      2533     87710    148805     57415   1943601      7.54     10.99
20559.07/643.67	c  N dy  8886   1592099      3554      2533     87710    168878     57415   2434009      7.55      7.96
20978.44/656.77	c  N dy  9003   1612152      3554      2533     87710    135977     57415   1585947      7.56      8.08
21393.36/669.74	c  N dy  9133   1632251      3554      2533     87710    155959     57415   2077848      7.56      9.00
21898.41/685.59	c  N dy  9278   1652706      3554      2533     87710    176298     57415   2590230      7.57      8.05
22294.76/697.93	c  N dy  9398   1672870      3554      2533     87710    142400     57415   1686190      7.58      8.10
22739.07/711.81	c  N dy  9526   1692918      3554      2533     87710    162360     57415   2167108      7.58      8.04
23161.02/725.05	c  S st  9639   1710309      3554      2533     87710    179635     57415   2591524      7.59   no data
23183.38/725.71	c  S st  9639   1710814      3554      2533     87710    180140     57415   2611997      7.59   no data
23183.38/725.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
23276.07/728.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      1 BRemN:      0 P: 40.5M T:  2.91
23276.07/728.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23276.07/728.67	c bin-w-bin subsume rem            0 bins  time:  0.01 s
23276.07/728.68	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.02 s
23279.27/728.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3554 time:  0.03 s
23279.27/728.72	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
23282.48/728.81	c lits-rem:         1  cl-subs:        6  v-elim:      2  v-fix:    0  time:  0.09 s
23346.40/730.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.84 s
23474.90/734.87	c lits-rem:      4498  cl-subs:     2316  v-elim:      0  v-fix:    0  time:  4.00 s
23474.90/734.87	c vivif2 --  cl tried     2535 cl shrink        9 lits rem         86 time: 0.00
23490.25/735.36	c vivif2 --  cl tried   177822 cl shrink    21858 lits rem      85111 time: 0.49
23499.85/735.61	c asymm  cl-useful: 0/651/2535 lits-rem:0 time: 0.25
23499.85/735.63	c calculated reachability. Time: 0.00
23499.85/735.63	c  N dy  9639   1710814      3552      2535     87641    177822     57457   2493475      7.59   no data
23912.21/748.59	c  N dy  9772   1730877      3552      2535     87645    141631     57457   1669543      7.60      8.60
24318.76/761.25	c  N dy  9893   1751011      3552      2535     87645    161662     57457   2189503      7.60      8.03
24791.23/776.06	c  N dy 10013   1771042      3552      2535     87646    181602     57457   2706898      7.61      9.09
25261.11/790.81	c  N dy 10139   1791118      3552      2535     87647    145929     57457   1731937      7.61      9.16
25750.19/806.05	c  N dy 10264   1811172      3552      2535     87647    165877     57457   2240896      7.62      9.17
26338.32/824.46	c  N dy 10381   1831463      3552      2535     87647    186032     57457   2749569      7.62      8.03
26776.87/838.13	c  N dy 10510   1851549      3552      2535     87647    149440     57457   1750192      7.62      9.60
27210.96/851.77	c  N dy 10629   1871642      3552      2535     87647    169426     57457   2240692      7.63      8.06
27741.56/868.33	c  N dy 10758   1891896      3552      2535     87649    189576     57457   2753733      7.63      8.06
28183.32/882.21	c  N dy 10855   1911965      3552      2535     87649    152112     57457   1760773      7.63      8.27
28690.92/898.02	c  N dy 10963   1932176      3552      2535     87649    172206     57457   2259480      7.64      8.07
29285.49/916.64	c  N dy 11077   1952270      3552      2535     87650    192174     57457   2767900      7.64      8.87
29784.12/932.22	c  N dy 11220   1972534      3552      2535     87650    153662     57457   1758566      7.65      8.07
30241.23/946.53	c  N dy 11355   1992619      3552      2535     87650    173647     57457   2259747      7.65      8.49
30746.28/962.32	c  N dy 11470   2012911      3552      2535     87650    193797     57457   2755802      7.66      8.09
31212.96/976.93	c  N dy 11593   2032915      3552      2535     87650    153955     57457   1723110      7.66      8.23
31667.48/991.15	c  N dy 11700   2053315      3552      2535     87650    174214     57457   2211283      7.66      8.12
32219.84/1008.45	c  N dy 11833   2073332      3552      2535     87650    194091     57457   2698634      7.67      8.14
32740.88/1024.71	c  N dy 11956   2093565      3552      2535     87650    153609     57457   1664529      7.67      8.25
33281.67/1041.70	c  N dy 12069   2113608      3552      2535     87650    173538     57457   2156669      7.68      8.28
33968.33/1063.12	c  N dy 12216   2133689      3552      2535     87650    193497     57457   2648474      7.68      9.77
34621.02/1083.60	c  N dy 12341   2153785      3552      2535     87652    151626     57457   1575833      7.69      8.11
35141.41/1099.89	c  N dy 12464   2173904      3552      2535     87652    171634     57457   2070472      7.69      8.10
35774.33/1119.64	c  N dy 12596   2193957      3552      2535     87653    191578     57457   2553484      7.70     10.52
36362.47/1138.02	c  S st 12717   2210814      3552      2535     87655    208324     57457   2958709      7.70   no data
36391.23/1138.90	c  S st 12717   2211317      3552      2535     87655    208827     57457   2973476      7.70   no data
36391.23/1138.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
36525.49/1143.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      6 BRemN:      0 P: 46.1M T:  4.19
36525.49/1143.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
36525.49/1143.15	c bin-w-bin subsume rem            0 bins  time:  0.01 s
36525.49/1143.17	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  0.02 s
36525.49/1143.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3552 time:  0.03 s
36528.69/1143.21	c Removed useless bin:       1  fixed:     0  props:   0.34M  time:  0.01 s
36531.89/1143.33	c lits-rem:         0  cl-subs:        0  v-elim:      2  v-fix:    0  time:  0.12 s
36611.81/1145.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.27 s
36784.25/1151.22	c lits-rem:      3682  cl-subs:     2255  v-elim:      0  v-fix:    0  time:  5.38 s
36784.25/1151.22	c vivif2 --  cl tried     2549 cl shrink       14 lits rem        119 time: 0.00
36803.42/1151.81	c vivif2 --  cl tried   206571 cl shrink    23753 lits rem      87415 time: 0.59
36828.94/1152.66	c asymm  cl-useful: 26/1262/2549 lits-rem:140 time: 0.85
36828.94/1152.68	c calculated reachability. Time: 0.00
36828.94/1152.68	c  N dy 12717   2211317      3550      2549     87621    206571     57468   2853875      7.70   no data
37403.53/1170.63	c  N dy 12840   2231356      3550      2549     87623    162491     57468   1839900      7.71      9.66
37985.14/1188.84	c  N dy 12963   2251381      3550      2549     87624    182422     57468   2365995      7.71     10.26
38713.92/1211.67	c  N dy 13098   2271384      3550      2549     87625    202326     57468   2893916      7.72     10.32
39404.39/1233.28	c  N dy 13223   2291481      3550      2549     87626    158969     57468   1691349      7.72      8.14
39970.14/1250.92	c  N dy 13359   2311501      3550      2549     87626    178891     57468   2207189      7.73      8.14
40670.17/1272.80	c  N dy 13497   2331737      3550      2549     87626    199029     57468   2731465      7.73      8.18
41427.74/1296.54	c  N dy 13631   2351764      3550      2549     87627    218956     57468   3240460      7.74      9.16
41945.59/1312.71	c  N dy 13759   2371866      3550      2549     87627    174486     57468   2035923      7.74      8.19
42504.96/1330.29	c  N dy 13900   2391931      3550      2549     87627    194442     57468   2553721      7.75     10.63
43125.66/1349.66	c  N dy 14028   2411977      3550      2549     87627    214366     57468   3051079      7.75     11.57
43710.05/1367.94	c  N dy 14137   2432006      3550      2549     87627    168715     57468   1833074      7.75      8.20
44336.54/1387.56	c  N dy 14265   2452260      3550      2549     87628    188865     57468   2347906      7.76      8.33
45017.39/1408.88	c  N dy 14387   2472287      3550      2549     87629    208765     57468   2849659      7.76      9.94
45803.74/1433.46	c  N dy 14531   2492315      3550      2549     87632    162096     57468   1620865      7.77      8.19
46280.01/1448.38	c  N dy 14637   2512320      3550      2549     87632    181979     57468   2111668      7.77      8.24
46852.80/1466.24	c  N dy 14769   2532430      3550      2549     87632    201969     57468   2601950      7.77      8.28
47421.14/1484.05	c  N dy 14870   2552501      3550      2549     87634    221928     57468   3090133      7.77      9.54
48079.64/1504.62	c  N dy 15000   2572518      3550      2549     87635    174442     57468   1870509      7.77      8.19
48716.34/1524.60	c  N dy 15119   2592581      3550      2549     87636    194376     57468   2355308      7.78     10.02
49486.11/1548.62	c  N dy 15257   2612651      3550      2549     87636    214282     57468   2837754      7.78     10.54
50317.17/1574.62	c  N dy 15373   2632744      3550      2549     87638    234261     57468   3324241      7.78      9.25
50914.90/1593.33	c  N dy 15510   2652934      3550      2549     87640    185730     57468   2101081      7.79      8.25
51477.46/1610.97	c  N dy 15631   2673141      3550      2549     87641    205770     57468   2575417      7.79      8.23
52116.79/1630.91	c  N dy 15740   2693680      3550      2549     87644    226159     57468   3043505      7.79      8.31
52669.76/1648.20	c  S st 15829   2711319      3550      2549     87646    174473     57468   1775806      7.79   no data
52689.58/1648.82	c  S st 15829   2711823      3550      2549     87646    174975     57468   1788677      7.79   no data
52689.58/1648.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
52795.05/1652.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      1 BRemN:      0 P: 37.6M T:  3.35
52795.05/1652.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
52798.25/1652.23	c bin-w-bin subsume rem            0 bins  time:  0.01 s
52798.25/1652.25	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  0.02 s
52798.25/1652.28	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:   3550 time:  0.03 s
52798.25/1652.29	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
52800.80/1652.40	c lits-rem:         0  cl-subs:        3  v-elim:      3  v-fix:    0  time:  0.11 s
52830.21/1653.26	c subs with bin:       14  lits-rem:         4  v-fix:    0  time:  0.72 s
52865.38/1654.33	c lits-rem:      1826  cl-subs:     1326  v-elim:      0  v-fix:    0  time:  1.07 s
52865.38/1654.34	c vivif2 --  cl tried     2556 cl shrink       11 lits rem         82 time: 0.00
52874.33/1654.62	c vivif2 --  cl tried   173634 cl shrink     2478 lits rem       8109 time: 0.28
52893.52/1655.22	c asymm  cl-useful: 0/1294/2556 lits-rem:0 time: 0.61
52893.52/1655.24	c calculated reachability. Time: 0.01
52893.52/1655.24	c  N dy 15829   2711823      3547      2556     87567    173634     57546   1766285      7.79   no data
53466.30/1673.13	c  N dy 15933   2731857      3547      2556     87568    193553     57546   2265594      7.79      9.74
54175.28/1695.32	c  N dy 16073   2752038      3547      2556     87570    213642     57546   2795897      7.80      8.24
55035.15/1722.22	c  N dy 16227   2772123      3547      2556     87575    233625     57546   3315833      7.81      8.30
55795.93/1746.05	c  N dy 16355   2792187      3547      2556     87576    182128     57546   1945899      7.81      9.23
56483.19/1767.56	c  N dy 16482   2812234      3547      2556     87576    202060     57546   2450388      7.81      8.36
57285.47/1792.66	c  N dy 16622   2832387      3547      2556     87578    222122     57546   2970762      7.82      8.27
58055.82/1816.77	c  N dy 16747   2852498      3547      2556     87580    242112     57546   3463930      7.82      8.33
58720.68/1837.59	c  N dy 16857   2872594      3547      2556     87581    190518     57546   2092289      7.82      8.26
59420.73/1859.41	c  N dy 16989   2892656      3547      2556     87582    210495     57546   2593931      7.83      9.64
60168.70/1882.81	c  N dy 17094   2912668      3547      2556     87582    230392     57546   3101868      7.83      9.46
61098.87/1911.95	c  N dy 17237   2932785      3547      2556     87583    250400     57546   3621509      7.84      8.32
61764.37/1932.73	c  N dy 17339   2952919      3547      2556     87586    197914     57546   2241886      7.84      8.27
62473.35/1955.00	c  N dy 17463   2972964      3547      2556     87587    217847     57546   2733369      7.84      8.37
63330.02/1981.74	c  N dy 17597   2992992      3547      2556     87587    237777     57546   3229300      7.84     11.40
64164.28/2007.87	c  N dy 17712   3013006      3547      2556     87587    184050     57546   1846885      7.85      9.56
64832.36/2028.72	c  N dy 17827   3033456      3547      2556     87590    204385     57546   2334259      7.85      8.30
65573.95/2051.92	c  N dy 17946   3053500      3547      2556     87591    224299     57546   2805550      7.85      8.28
66478.55/2080.25	c  N dy 18088   3073525      3547      2556     87591    244203     57546   3297513      7.85      8.28
67355.03/2107.68	c  N dy 18233   3093752      3547      2556     87593    189747     57546   1932814      7.86      8.31
67939.34/2125.90	c  N dy 18352   3113812      3547      2556     87595    209688     57546   2416724      7.86      8.34
68623.38/2147.40	c  N dy 18486   3133893      3547      2556     87595    229659     57546   2891845      7.87     11.26
69364.99/2170.59	c  N dy 18616   3154524      3547      2556     87596    250149     57546   3381119      7.87      8.33
70094.40/2193.32	c  N dy 18751   3174801      3547      2556     87597    194705     57546   2021200      7.87      8.29
70727.27/2213.13	c  N dy 18882   3195043      3547      2556     87598    214827     57546   2512298      7.88      8.37
71222.74/2228.68	c  S st 18965   3211824      3547      2556     87606    231473     57546   2895241      7.88      6.83
71244.49/2229.35	c  S st 18965   3212330      3547      2556     87606    231978     57546   2908871      7.88   no data
71244.49/2229.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
71365.92/2233.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     10 BRemN:      0 P: 50.3M T:  3.78
71365.92/2233.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
71365.92/2233.19	c bin-w-bin subsume rem            0 bins  time:  0.01 s
71369.12/2233.21	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  0.02 s
71369.12/2233.24	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:   3547 time:  0.03 s
71369.12/2233.25	c Removed useless bin:       0  fixed:     0  props:   0.35M  time:  0.01 s
71372.32/2233.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
71433.67/2235.25	c subs with bin:        8  lits-rem:         3  v-fix:    0  time:  1.66 s
71535.93/2238.43	c lits-rem:      2324  cl-subs:     2034  v-elim:      0  v-fix:    0  time:  3.17 s
71535.93/2238.43	c vivif2 --  cl tried     2551 cl shrink        0 lits rem          0 time: 0.00
71551.31/2238.96	c vivif2 --  cl tried   229936 cl shrink    16393 lits rem      58780 time: 0.53
71574.32/2239.68	c asymm  cl-useful: 24/1222/2551 lits-rem:107 time: 0.71
71576.88/2239.70	c calculated reachability. Time: 0.01
71576.88/2239.70	c  N dy 18965   3212330      3547      2551     87596    229936     57388   2821972      7.88   no data
72296.09/2262.29	c  N dy 19081   3232405      3547      2551     87599    249905     57388   3326808      7.88     10.94
73111.17/2287.76	c  N dy 19201   3254532      3547      2551     87601    194660     57388   2007554      7.88      8.58
73715.94/2306.63	c  N dy 19325   3274967      3547      2551     87601    214986     57388   2530793      7.88      8.31
74392.97/2327.85	c  N dy 19437   3295156      3547      2551     87601    235077     57388   3028039      7.88      8.35
75176.12/2352.40	c  N dy 19567   3315199      3547      2551     87601    255010     57388   3539143      7.88      8.52
75924.08/2375.75	c  N dy 19689   3335392      3547      2551     87604    197824     57388   2017525      7.89      8.40
76532.07/2394.79	c  N dy 19800   3355671      3547      2551     87605    217988     57388   2515443      7.89      8.33
77180.31/2415.06	c  N dy 19908   3376075      3547      2551     87606    238282     57388   3020389      7.89      8.35
77912.30/2438.00	c  N dy 20032   3396117      3547      2551     87607    258189     57388   3511730      7.89      8.66
78749.77/2464.11	c  N dy 20155   3416284      3547      2551     87610    200053     57388   2016709      7.89      8.31
79478.59/2486.95	c  N dy 20257   3436801      3547      2551     87612    220447     57388   2502652      7.90      8.40
80332.05/2513.61	c  N dy 20382   3456863      3547      2551     87612    240410     57388   2990303      7.90      8.34
81233.49/2541.88	c  N dy 20501   3476965      3547      2551     87614    260368     57388   3487693      7.90      8.42
82275.52/2574.40	c  N dy 20632   3497061      3547      2551     87616    201181     57388   1997870      7.90      9.26
82863.69/2592.84	c  N dy 20743   3517139      3547      2551     87618    221167     57388   2474794      7.90      9.88
83561.14/2614.67	c  N dy 20850   3537284      3547      2551     87620    241171     57388   2950749      7.91      8.34
84308.49/2638.09	c  N dy 20974   3557326      3547      2551     87620    261059     57388   3418708      7.91      8.38
85114.00/2663.20	c  N dy 21099   3577426      3547      2551     87621    280999     57388   3892286      7.91      8.39
85890.75/2687.57	c  N dy 21211   3597433      3547      2551     87621    220694     57388   2410016      7.91     10.62
86693.71/2712.66	c  N dy 21325   3617663      3547      2551     87623    240797     57388   2883583      7.91      8.34
87680.77/2743.55	c  N dy 21460   3637887      3547      2551     87623    260845     57388   3338670      7.92      8.35
88726.03/2776.25	c  N dy 21589   3658131      3547      2551     87625    280937     57388   3807945      7.92      8.39
89496.38/2800.34	c  N dy 21707   3678195      3547      2551     87625    219608     57388   2343210      7.92      8.44
90177.24/2821.60	c  N dy 21813   3698645      3547      2551     87627    239900     57388   2817086      7.92      8.35
90711.05/2838.34	c  S st 21904   3712330      3547      2551     87629    253468     57388   3139040      7.92      8.34
90734.02/2839.10	c  S st 21904   3712832      3547      2551     87629    253970     57388   3154006      7.92   no data
90737.26/2839.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
90870.91/2843.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 54.5M T:  4.17
90870.91/2843.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
90870.91/2843.32	c bin-w-bin subsume rem            0 bins  time:  0.01 s
90870.91/2843.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
90870.91/2843.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3547 time:  0.03 s
90870.91/2843.38	c Removed useless bin:       0  fixed:     0  props:   0.35M  time:  0.01 s
90874.71/2843.51	c lits-rem:         1  cl-subs:       10  v-elim:      2  v-fix:    0  time:  0.12 s
90941.22/2845.53	c subs with bin:       31  lits-rem:        11  v-fix:    0  time:  1.77 s
91056.28/2849.13	c lits-rem:      1572  cl-subs:     2471  v-elim:      0  v-fix:    0  time:  3.59 s
91056.28/2849.13	c vivif2 --  cl tried     2548 cl shrink        5 lits rem         47 time: 0.00
91075.47/2849.74	c vivif2 --  cl tried   251466 cl shrink    16792 lits rem      61198 time: 0.61
91097.85/2850.48	c asymm  cl-useful: 0/1086/2548 lits-rem:0 time: 0.73
91101.04/2850.50	c calculated reachability. Time: 0.00
91101.04/2850.50	c  N dy 21904   3712832      3545      2548     87563    251466     57400   3061682      7.92   no data
91919.34/2876.13	c  N dy 22036   3733332      3545      2548     87566    271830     57400   3580221      7.93      8.35
92715.27/2901.06	c  F st 22154   3751562      3545      2548     87569    289976     57400   4062456      7.93   no data
92791.98/2903.41	c  N st 22158   3753594      3545      2548     87569    208626     57400   2056027      7.93   no data
93543.16/2926.91	c  N dy 22257   3773645      3545      2548     87571    228574     57400   2596338      7.93      8.35
94399.80/2953.73	c  N dy 22380   3793689      3545      2548     87572    248491     57400   3084555      7.93      8.36
95352.30/2983.55	c  N dy 22509   3813793      3545      2548     87574    268457     57400   3577882      7.94      8.38
96400.70/3016.35	c  N dy 22634   3833928      3545      2548     87575    288452     57400   4079128      7.94      8.40
97238.82/3042.53	c  N dy 22743   3853969      3545      2548     87579    225098     57400   2425352      7.94      8.41
98117.87/3070.05	c  N dy 22875   3874026      3545      2548     87579    245033     57400   2924236      7.94     10.69
99044.20/3099.06	c  N dy 22997   3894117      3545      2548     87584    264993     57400   3409475      7.95      9.75
100070.29/3131.19	c  N dy 23138   3914193      3545      2548     87587    284940     57400   3914414      7.95     11.65
101134.72/3164.44	c  N dy 23261   3934938      3545      2548     87590    221055     57400   2269155      7.95      8.42
102013.76/3191.94	c  N dy 23392   3954960      3545      2548     87591    240955     57400   2764681      7.96      8.40
102915.17/3220.14	c  N dy 23510   3975006      3545      2548     87592    260849     57400   3239542      7.96      8.69
103925.23/3251.76	c  N dy 23639   3995098      3545      2548     87592    280791     57400   3738845      7.96      8.52
105091.91/3288.27	c  N dy 23768   4015132      3545      2548     87594    300697     57400   4221939      7.97      8.43
105954.98/3315.29	c  N dy 23881   4035273      3545      2548     87600    235038     57400   2562529      7.97      8.39
106859.59/3343.56	c  N dy 24004   4055501      3545      2548     87601    255111     57400   3060672      7.97      8.40
107850.52/3374.53	c  N dy 24128   4075629      3545      2548     87601    275087     57400   3537060      7.97      8.44
108927.73/3408.21	c  N dy 24259   4095636      3545      2548     87608    294953     57400   4021299      7.97      8.48
109902.67/3438.78	c  N dy 24379   4115767      3545      2548     87610    228497     57400   2363374      7.98      8.40
110730.55/3464.63	c  N dy 24495   4135769      3545      2548     87613    248369     57400   2845710      7.98      8.41
111766.20/3497.02	c  N dy 24625   4155851      3545      2548     87616    268291     57400   3311662      7.98     10.65
112789.09/3529.08	c  N dy 24736   4175858      3545      2548     87618    288136     57400   3779805      7.98      9.75
113975.59/3566.13	c  N dy 24863   4195898      3545      2548     87620    307999     57400   4237723      7.98      8.83
114675.01/3588.03	c  S st 24986   4212832      3545      2548     87621    237440     57400   2537724      7.99      8.11
114703.79/3588.91	c  S st 24986   4213334      3545      2548     87621    237941     57400   2553594      7.99   no data
114703.79/3588.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
114834.84/3593.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     12 BRemN:      0 P: 53.1M T:  3.96
114834.84/3593.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
114834.84/3593.05	c bin-w-bin subsume rem            0 bins  time:  0.01 s
114834.84/3593.07	c subs with bin:        4  lits-rem:         0  v-fix:    0  time:  0.02 s
114838.04/3593.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3545 time:  0.03 s
114838.04/3593.12	c Removed useless bin:       0  fixed:     0  props:   0.35M  time:  0.01 s
114841.24/3593.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
114886.00/3594.61	c subs with bin:       46  lits-rem:        40  v-fix:    0  time:  1.12 s
114937.13/3596.24	c lits-rem:      1144  cl-subs:     1282  v-elim:      0  v-fix:    0  time:  1.57 s
114937.13/3596.24	c vivif2 --  cl tried     2544 cl shrink        0 lits rem          0 time: 0.00
114949.92/3596.68	c vivif2 --  cl tried   236613 cl shrink     5659 lits rem      20437 time: 0.43
114975.50/3597.42	c asymm  cl-useful: 22/1266/2544 lits-rem:56 time: 0.72
114975.50/3597.44	c calculated reachability. Time: 0.01
114975.50/3597.44	c  N dy 24986   4213334      3545      2544     87609    236613     57296   2518375      7.99   no data
115816.16/3623.77	c  N dy 25106   4233370      3545      2544     87614    256531     57296   3023406      7.99      9.49
116736.76/3652.55	c  N dy 25246   4253596      3545      2544     87616    276631     57296   3531692      7.99      8.44
117705.91/3682.85	c  N dy 25378   4273616      3545      2544     87623    296508     57296   4016529      8.00      8.50
118763.31/3715.92	c  N dy 25519   4293723      3545      2544     87625    227203     57296   2258393      8.00      8.43
119540.05/3740.21	c  N dy 25648   4313779      3545      2544     87627    247125     57296   2748506      8.00      8.43
120310.42/3764.39	c  N dy 25754   4333846      3545      2544     87630    267055     57296   3224937      8.00      8.44
121173.48/3791.38	c  N dy 25882   4353869      3545      2544     87632    286951     57296   3704856      8.01      8.43
122206.57/3823.68	c  N dy 26015   4373916      3545      2544     87633    306850     57296   4200692      8.01     10.01
123161.71/3853.54	c  N dy 26129   4393932      3545      2544     87639    237340     57296   2453148      8.01     11.53
124178.16/3885.32	c  N dy 26256   4414016      3545      2544     87642    257272     57296   2933796      8.01      9.27
124529.77/3896.35	c Finding binary XORs  T:     0.02 s  found:       0
125300.75/3920.47	c  N dy 26388   4435221      3545      2544     87648    278248     57296   3435487      8.01      8.45
126431.66/3955.86	c  N dy 26505   4455528      3545      2544     87650    298409     57296   3919319      8.01      8.47
127710.30/3995.87	c  N dy 26642   4475894      3545      2544     87656    318611     57296   4391460      8.02      8.69
128532.42/4021.54	c  N dy 26757   4495915      3545      2544     87659    248363     57296   2675117      8.02     10.99
129394.83/4048.52	c  N dy 26891   4516133      3545      2544     87661    268423     57296   3160362      8.02      8.46
130290.45/4076.53	c  N dy 27002   4536142      3545      2544     87663    288250     57296   3636165      8.02      9.71
131264.80/4107.09	c  N dy 27132   4556221      3545      2544     87669    308189     57296   4108214      8.03      8.69
132325.98/4140.21	c  N dy 27267   4576859      3545      2544     87671    237360     57296   2376228      8.03      8.49
133272.16/4169.89	c  N dy 27381   4596884      3545      2544     87671    257250     57296   2847394      8.03      9.29
134337.22/4203.16	c  N dy 27515   4616971      3545      2544     87677    277179     57296   3330988      8.03      9.87
135506.50/4239.70	c  N dy 27645   4636982      3545      2544     87679    297024     57296   3802544      8.03      8.92
136826.64/4281.00	c  N dy 27785   4657028      3545      2544     87680    316889     57296   4255282      8.04      8.70
137990.80/4317.49	c  N dy 27920   4677267      3545      2544     87681    244479     57296   2503190      8.04      8.51
138792.50/4342.57	c  N dy 28037   4697505      3545      2544     87684    264559     57296   2969050      8.04      8.60
139422.22/4362.25	c  S st 28133   4713336      3545      2544     87684    280264     57296   3317758      8.04   no data
139454.19/4363.28	c  S st 28133   4713842      3545      2544     87685    280767     57296   3333180      8.04   no data
139457.39/4363.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
139608.22/4368.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      6 BRemN:      0 P: 55.9M T:  4.58
139608.22/4368.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
139608.22/4368.08	c bin-w-bin subsume rem            0 bins  time:  0.01 s
139608.22/4368.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
139611.45/4368.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3545 time:  0.03 s
139611.45/4368.14	c Removed useless bin:       0  fixed:     0  props:   0.35M  time:  0.01 s
139614.00/4368.29	c lits-rem:         0  cl-subs:        5  v-elim:      2  v-fix:    0  time:  0.15 s
139684.33/4370.46	c subs with bin:      127  lits-rem:        64  v-fix:    0  time:  1.80 s
139802.58/4374.17	c lits-rem:      1147  cl-subs:     2265  v-elim:      0  v-fix:    0  time:  3.61 s
139802.58/4374.17	c vivif2 --  cl tried     2548 cl shrink        6 lits rem         50 time: 0.00
139824.94/4374.85	c vivif2 --  cl tried   278369 cl shrink    14432 lits rem      48962 time: 0.65
139847.33/4375.60	c asymm  cl-useful: 0/1039/2548 lits-rem:0 time: 0.74
139850.53/4375.62	c calculated reachability. Time: 0.01
139850.53/4375.62	c  N dy 28133   4713842      3543      2548     87579    278369     57337   3254777      8.04   no data
140739.12/4403.49	c  N dy 28249   4733950      3543      2548     87583    298334     57337   3714688      8.04      8.50
141771.61/4435.76	c  N dy 28371   4754001      3543      2548     87583    318245     57337   4197038      8.04     12.87
142839.27/4469.19	c  N dy 28501   4774070      3543      2548     87585    244141     57337   2470548      8.05      8.50
143647.95/4494.42	c  N dy 28616   4794170      3543      2548     87586    264049     57337   2939154      8.05      8.58
144475.83/4520.32	c  N dy 28726   4814216      3543      2548     87589    283958     57337   3408485      8.05      9.24
145418.78/4549.89	c  N dy 28860   4834269      3543      2548     87590    303875     57337   3887210      8.05     10.08
146448.06/4582.03	c  N dy 28988   4854277      3543      2548     87595    323731     57337   4349242      8.05      9.95
147477.36/4614.23	c  N dy 29121   4874426      3543      2548     87597    249441     57337   2549073      8.06      8.48
148305.23/4640.10	c  N dy 29246   4894511      3543      2548     87602    269387     57337   3024816      8.06      8.82
149187.45/4667.79	c  N dy 29358   4915248      3543      2548     87607    289990     57337   3513387      8.06      8.54
150187.98/4699.05	c  N dy 29483   4935620      3543      2548     87613    310178     57337   3973224      8.06      8.53
151313.16/4734.23	c  N dy 29628   4955747      3543      2548     87616    330118     57337   4448774      8.06      8.56
152300.70/4765.15	c  N dy 29732   4976210      3543      2548     87618    255144     57337   2640923      8.06      8.53
153162.73/4792.17	c  N dy 29863   4996626      3543      2548     87619    275371     57337   3106789      8.07      8.56
154083.33/4820.99	c  N dy 29976   5016766      3543      2548     87620    295307     57337   3566778      8.07      8.52
155032.69/4850.62	c  N dy 30090   5036844      3543      2548     87621    315225     57337   4017137      8.07      8.53
156154.66/4885.73	c  N dy 30225   5056891      3543      2548     87625    335075     57337   4465516      8.07     10.39
157206.31/4918.68	c  N dy 30354   5076988      3543      2548     87626    258837     57337   2686347      8.07      9.72
158178.02/4949.06	c  N dy 30462   5097036      3543      2548     87628    278715     57337   3145813      8.07     10.24
159309.59/4984.44	c  N dy 30587   5117713      3543      2548     87630    299188     57337   3618617      8.08      8.62

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400854-1306915902/watcher-3400854-1306915902 -o /tmp/evaluation-result-3400854-1306915902/solver-3400854-1306915902 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400854-1306915902.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: 21.66 27.92 30.41 1/413 29111
/proc/meminfo: memFree=263441560/264257624 swapFree=67044780/67111528
[pid=29111] ppid=29109 vsize=338000 CPUtime=0.8 cores=0-31
/proc/29111/stat : 29111 (strangenight2-m) R 29109 29111 28825 0 -1 4202496 470 0 0 0 80 0 0 0 25 0 32 0 17556220 346112000 409 268435456000 4194304 4580107 140735113372576 18446744073709551615 47830595397558 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29111/statm: 84500 409 300 95 0 79482 0
[pid=29111/tid=29112] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29112/stat : 29112 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 4 0 0 0 2 0 0 0 23 0 32 0 17556221 346112000 409 268435456000 4194304 4580107 140735113372576 18446744073709551615 47830595397145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29111/tid=29113] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29113/stat : 29113 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 17556221 346112000 409 268435456000 4194304 4580107 140735113372576 18446744073709551615 47830595397136 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29111/tid=29114] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29114/stat : 29114 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 17556221 346112000 409 268435456000 4194304 4580107 140735113372576 18446744073709551615 47830595397143 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=29111/tid=29115] ppid=29109 vsize=338000 CPUtime=0 cores=0-31
/proc/29111/task/29115/stat : 29115 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 32 0 17556221 346112000 409 268435456000 4194304 4580107 140735113372576 18446744073709551615 47830595397145 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=29111/tid=29116] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29116/stat : 29116 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 17556221 346112000 409 268435456000 4194304 4580107 140735113372576 18446744073709551615 47830595397139 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=29111/tid=29117] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29117/stat : 29117 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 17556221 346112000 409 268435456000 4194304 4580107 140735113372576 18446744073709551615 47830595397145 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=29111/tid=29118] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29118/stat : 29118 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 17556221 346112000 409 268435456000 4194304 4580107 140735113372576 18446744073709551615 47830595397139 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=29111/tid=29119] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29119/stat : 29119 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 17556221 346112000 409 268435456000 4194304 4580107 140735113372576 18446744073709551615 47830595397139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29111/tid=29120] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29120/stat : 29120 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 3 0 0 0 2 0 0 0 24 0 32 0 17556221 346112000 441 268435456000 4194304 4580107 140735113372576 18446744073709551615 4284112 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29111/tid=29121] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29121/stat : 29121 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 4 0 0 0 2 0 0 0 24 0 32 0 17556221 346112000 445 268435456000 4194304 4580107 140735113372576 18446744073709551615 4329632 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29111/tid=29122] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29122/stat : 29122 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 5 0 0 0 2 0 0 0 25 0 32 0 17556221 346112000 447 268435456000 4194304 4580107 140735113372576 18446744073709551615 4345040 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=29111/tid=29123] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29123/stat : 29123 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 4 0 0 0 2 0 0 0 24 0 32 0 17556221 346112000 447 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604574493433312 0 0 -1 10 0 0 0
[pid=29111/tid=29124] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29124/stat : 29124 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 4 0 0 0 2 0 0 0 25 0 32 0 17556221 346112000 447 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604455013424608 0 0 -1 7 0 0 0
[pid=29111/tid=29125] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29125/stat : 29125 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 4 0 0 0 2 0 0 0 25 0 32 0 17556221 346112000 447 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604458887011808 0 0 -1 13 0 0 0
[pid=29111/tid=29126] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29126/stat : 29126 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 4 0 0 0 2 0 0 0 25 0 32 0 17556221 346112000 447 268435456000 4194304 4580107 140735113372576 18446744073709551615 4329632 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=29111/tid=29127] ppid=29109 vsize=469072 CPUtime=0.02 cores=0-31
/proc/29111/task/29127/stat : 29127 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 5 0 0 0 2 0 0 0 25 0 32 0 17556221 480329728 447 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566933544 0 0 -1 11 0 0 0
[pid=29111/tid=29128] ppid=29109 vsize=469072 CPUtime=0.02 cores=0-31
/proc/29111/task/29128/stat : 29128 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 4 0 0 0 2 0 0 0 25 0 32 0 17556221 480329728 447 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604467310894560 0 0 -1 17 0 0 0
[pid=29111/tid=29129] ppid=29109 vsize=469072 CPUtime=0.02 cores=0-31
/proc/29111/task/29129/stat : 29129 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 6 0 0 0 2 0 0 0 25 0 32 0 17556221 480329728 447 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604463445827040 0 0 -1 18 0 0 0
[pid=29111/tid=29130] ppid=29109 vsize=469072 CPUtime=0.02 cores=0-31
/proc/29111/task/29130/stat : 29130 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 5 0 0 0 2 0 0 0 25 0 32 0 17556221 480329728 450 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604449283136992 0 0 -1 15 0 0 0
[pid=29111/tid=29131] ppid=29109 vsize=403536 CPUtime=0.02 cores=0-31
/proc/29111/task/29131/stat : 29131 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 6 0 0 0 2 0 0 0 25 0 32 0 17556221 413220864 451 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604499424976352 0 0 -1 21 0 0 0
[pid=29111/tid=29132] ppid=29109 vsize=403536 CPUtime=0.02 cores=0-31
/proc/29111/task/29132/stat : 29132 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 5 0 0 0 2 0 0 0 25 0 32 0 17556221 413220864 452 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604475385568736 0 0 -1 4 0 0 0
[pid=29111/tid=29133] ppid=29109 vsize=403536 CPUtime=0.02 cores=0-31
/proc/29111/task/29133/stat : 29133 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 4 0 0 0 2 0 0 0 25 0 32 0 17556221 413220864 452 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604479869361632 0 0 -1 22 0 0 0
[pid=29111/tid=29134] ppid=29109 vsize=403536 CPUtime=0.02 cores=0-31
/proc/29111/task/29134/stat : 29134 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 6 0 0 0 2 0 0 0 25 0 32 0 17556221 413220864 452 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604502262144480 0 0 -1 19 0 0 0
[pid=29111/tid=29135] ppid=29109 vsize=534608 CPUtime=0.02 cores=0-31
/proc/29111/task/29135/stat : 29135 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 4 0 0 0 2 0 0 0 25 0 32 0 17556221 547438592 458 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604478517804512 0 0 -1 25 0 0 0
[pid=29111/tid=29136] ppid=29109 vsize=469072 CPUtime=0.02 cores=0-31
/proc/29111/task/29136/stat : 29136 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 5 0 0 0 2 0 0 0 25 0 32 0 17556221 480329728 462 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604487668096480 0 0 -1 26 0 0 0
[pid=29111/tid=29137] ppid=29109 vsize=469084 CPUtime=0.02 cores=0-31
/proc/29111/task/29137/stat : 29137 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 5 0 0 0 2 0 0 0 25 0 32 0 17556221 480342016 472 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604491549466080 0 0 -1 23 0 0 0
[pid=29111/tid=29138] ppid=29109 vsize=469084 CPUtime=0.02 cores=0-31
/proc/29111/task/29138/stat : 29138 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 4 0 0 0 2 0 0 0 25 0 32 0 17556221 480342016 480 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650980487 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=29111/tid=29139] ppid=29109 vsize=469088 CPUtime=0.02 cores=0-31
/proc/29111/task/29139/stat : 29139 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 5 0 0 0 2 0 0 0 25 0 32 0 17556221 480346112 508 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604451098828256 0 0 -1 24 0 0 0
[pid=29111/tid=29140] ppid=29109 vsize=469092 CPUtime=0.01 cores=0-31
/proc/29111/task/29140/stat : 29140 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 5 0 0 0 1 0 0 0 25 0 32 0 17556221 480350208 542 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29111/tid=29141] ppid=29109 vsize=469096 CPUtime=0.01 cores=0-31
/proc/29111/task/29141/stat : 29141 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 42 0 0 0 1 0 0 0 18 0 32 0 17556221 480354304 567 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=29111/tid=29142] ppid=29109 vsize=469096 CPUtime=0.01 cores=0-31
/proc/29111/task/29142/stat : 29142 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 4 0 0 0 1 0 0 0 25 0 32 0 17556221 480354304 569 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604453706333664 0 0 -1 29 0 0 0

[startup+0.0630459 s]
/proc/loadavg: 21.66 27.92 30.41 1/413 29111
/proc/meminfo: memFree=263441560/264257624 swapFree=67044780/67111528
[pid=29111] ppid=29109 vsize=863648 CPUtime=1.25 cores=0-31
/proc/29111/stat : 29111 (strangenight2-m) S 29109 29111 28825 0 -1 4202496 5016 0 0 0 84 41 0 0 18 0 32 0 17556220 884375552 4870 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/29111/statm: 215912 4874 331 95 0 210894 0
[pid=29111/tid=29112] ppid=29109 vsize=863780 CPUtime=0.04 cores=0-31
/proc/29111/task/29112/stat : 29112 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 182 0 0 0 3 1 0 0 18 0 32 0 17556221 884510720 4883 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29111/tid=29113] ppid=29109 vsize=863780 CPUtime=0.02 cores=0-31
/proc/29111/task/29113/stat : 29113 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 125 0 0 0 2 0 0 0 18 0 32 0 17556221 884510720 4886 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29111/tid=29114] ppid=29109 vsize=863780 CPUtime=0.02 cores=0-31
/proc/29111/task/29114/stat : 29114 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 61 0 0 0 2 0 0 0 18 0 32 0 17556221 884510720 4903 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=29111/tid=29115] ppid=29109 vsize=863780 CPUtime=0 cores=0-31
/proc/29111/task/29115/stat : 29115 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 133 0 0 0 0 0 0 0 18 0 32 0 17556221 884510720 4922 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=29111/tid=29116] ppid=29109 vsize=863780 CPUtime=0.03 cores=0-31
/proc/29111/task/29116/stat : 29116 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 161 0 0 0 2 1 0 0 17 0 32 0 17556221 884510720 4922 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=29111/tid=29117] ppid=29109 vsize=863780 CPUtime=0.02 cores=0-31
/proc/29111/task/29117/stat : 29117 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 142 0 0 0 2 0 0 0 17 0 32 0 17556221 884510720 4930 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604449527504352 0 0 -1 8 0 0 0
[pid=29111/tid=29118] ppid=29109 vsize=863780 CPUtime=0.03 cores=0-31
/proc/29111/task/29118/stat : 29118 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 143 0 0 0 2 1 0 0 24 0 32 0 17556221 884510720 4933 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566933824 0 0 -1 28 0 0 0
[pid=29111/tid=29119] ppid=29109 vsize=863780 CPUtime=0.03 cores=0-31
/proc/29111/task/29119/stat : 29119 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 143 0 0 0 2 1 0 0 18 0 32 0 17556221 884510720 4939 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566927744 0 0 -1 5 0 0 0
[pid=29111/tid=29120] ppid=29109 vsize=863780 CPUtime=0.03 cores=0-31
/proc/29111/task/29120/stat : 29120 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 125 0 0 0 2 1 0 0 25 0 32 0 17556221 884510720 4945 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29111/tid=29121] ppid=29109 vsize=863780 CPUtime=0.03 cores=0-31
/proc/29111/task/29121/stat : 29121 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 142 0 0 0 2 1 0 0 17 0 32 0 17556221 884510720 4950 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604500586487264 0 0 -1 3 0 0 0
[pid=29111/tid=29122] ppid=29109 vsize=929316 CPUtime=0.03 cores=0-31
/proc/29111/task/29122/stat : 29122 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 160 0 0 0 2 1 0 0 18 0 32 0 17556221 951619584 4957 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566933704 0 0 -1 9 0 0 0
[pid=29111/tid=29123] ppid=29109 vsize=929316 CPUtime=0.03 cores=0-31
/proc/29111/task/29123/stat : 29123 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 156 0 0 0 2 1 0 0 17 0 32 0 17556221 951619584 4964 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=29111/tid=29124] ppid=29109 vsize=929316 CPUtime=0.03 cores=0-31
/proc/29111/task/29124/stat : 29124 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 153 0 0 0 2 1 0 0 17 0 32 0 17556221 951619584 4974 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29111/tid=29125] ppid=29109 vsize=929316 CPUtime=0.03 cores=0-31
/proc/29111/task/29125/stat : 29125 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 142 0 0 0 2 1 0 0 18 0 32 0 17556221 951619584 4981 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604449283136992 0 0 -1 13 0 0 0
[pid=29111/tid=29126] ppid=29109 vsize=929316 CPUtime=0.03 cores=0-31
/proc/29111/task/29126/stat : 29126 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 140 0 0 0 2 1 0 0 18 0 32 0 17556221 951619584 4981 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650601881 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=29111/tid=29127] ppid=29109 vsize=929316 CPUtime=0.03 cores=0-31
/proc/29111/task/29127/stat : 29127 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 198 0 0 0 2 1 0 0 18 0 32 0 17556221 951619584 4985 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566933544 0 0 -1 11 0 0 0
[pid=29111/tid=29128] ppid=29109 vsize=929316 CPUtime=0.03 cores=0-31
/proc/29111/task/29128/stat : 29128 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 144 0 0 0 2 1 0 0 18 0 32 0 17556221 951619584 4993 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=29111/tid=29129] ppid=29109 vsize=929316 CPUtime=0.03 cores=0-31
/proc/29111/task/29129/stat : 29129 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 132 0 0 0 2 1 0 0 25 0 32 0 17556221 951619584 4999 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=29111/tid=29130] ppid=29109 vsize=929316 CPUtime=0.03 cores=0-31
/proc/29111/task/29130/stat : 29130 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 145 0 0 0 2 1 0 0 18 0 32 0 17556221 951619584 5008 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=29111/tid=29131] ppid=29109 vsize=1060388 CPUtime=0.03 cores=0-31
/proc/29111/task/29131/stat : 29131 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 132 0 0 0 2 1 0 0 18 0 32 0 17556221 1085837312 5014 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=29111/tid=29132] ppid=29109 vsize=1060388 CPUtime=0.03 cores=0-31
/proc/29111/task/29132/stat : 29132 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 145 0 0 0 2 1 0 0 18 0 32 0 17556221 1085837312 5020 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566924864 0 0 -1 4 0 0 0
[pid=29111/tid=29133] ppid=29109 vsize=994852 CPUtime=0.03 cores=0-31
/proc/29111/task/29133/stat : 29133 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 146 0 0 0 2 1 0 0 17 0 32 0 17556221 1018728448 5027 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=29111/tid=29134] ppid=29109 vsize=994852 CPUtime=0.03 cores=0-31
/proc/29111/task/29134/stat : 29134 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 151 0 0 0 2 1 0 0 18 0 32 0 17556221 1018728448 5034 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=29111/tid=29135] ppid=29109 vsize=994852 CPUtime=0.03 cores=0-31
/proc/29111/task/29135/stat : 29135 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 140 0 0 0 2 1 0 0 17 0 32 0 17556221 1018728448 5036 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604452060585440 0 0 -1 25 0 0 0
[pid=29111/tid=29136] ppid=29109 vsize=994852 CPUtime=0.03 cores=0-31
/proc/29111/task/29136/stat : 29136 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 141 0 0 0 2 1 0 0 18 0 32 0 17556221 1018728448 5056 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604499424976352 0 0 -1 26 0 0 0
[pid=29111/tid=29137] ppid=29109 vsize=994852 CPUtime=0.03 cores=0-31
/proc/29111/task/29137/stat : 29137 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 148 0 0 0 2 1 0 0 25 0 32 0 17556221 1018728448 5056 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=29111/tid=29138] ppid=29109 vsize=994852 CPUtime=0.03 cores=0-31
/proc/29111/task/29138/stat : 29138 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 174 0 0 0 2 1 0 0 17 0 32 0 17556221 1018728448 5058 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=29111/tid=29139] ppid=29109 vsize=994852 CPUtime=0.03 cores=0-31
/proc/29111/task/29139/stat : 29139 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 143 0 0 0 2 1 0 0 25 0 32 0 17556221 1018728448 5061 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566925464 0 0 -1 24 0 0 0
[pid=29111/tid=29140] ppid=29109 vsize=994852 CPUtime=0.02 cores=0-31
/proc/29111/task/29140/stat : 29140 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 157 0 0 0 1 1 0 0 17 0 32 0 17556221 1018728448 5074 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566924864 0 0 -1 0 0 0 0
[pid=29111/tid=29141] ppid=29109 vsize=1060388 CPUtime=0.03 cores=0-31
/proc/29111/task/29141/stat : 29141 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 189 0 0 0 2 1 0 0 17 0 32 0 17556221 1085837312 5081 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=29111/tid=29142] ppid=29109 vsize=1060388 CPUtime=0.02 cores=0-31
/proc/29111/task/29142/stat : 29142 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 142 0 0 0 1 1 0 0 25 0 32 0 17556221 1085837312 5091 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 863648

[startup+0.103041 s]
/proc/loadavg: 21.66 27.92 30.41 1/413 29111
/proc/meminfo: memFree=263441560/264257624 swapFree=67044780/67111528
[pid=29111] ppid=29109 vsize=1132792 CPUtime=1.58 cores=0-31
/proc/29111/stat : 29111 (strangenight2-m) S 29109 29111 28825 0 -1 4202496 10248 0 0 0 90 68 0 0 17 0 32 0 17556220 1159979008 9638 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/29111/statm: 283198 9639 331 95 0 278180 0
[pid=29111/tid=29112] ppid=29109 vsize=1132792 CPUtime=0.05 cores=0-31
/proc/29111/task/29112/stat : 29112 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 471 0 0 0 3 2 0 0 17 0 32 0 17556221 1159979008 9647 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650653031 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29111/tid=29113] ppid=29109 vsize=1132792 CPUtime=0.04 cores=0-31
/proc/29111/task/29113/stat : 29113 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 205 0 0 0 3 1 0 0 17 0 32 0 17556221 1159979008 9673 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29111/tid=29114] ppid=29109 vsize=1132792 CPUtime=0.02 cores=0-31
/proc/29111/task/29114/stat : 29114 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 175 0 0 0 2 0 0 0 17 0 32 0 17556221 1159979008 9718 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566925184 0 0 -1 8 0 0 0
[pid=29111/tid=29115] ppid=29109 vsize=1132792 CPUtime=0.02 cores=0-31
/proc/29111/task/29115/stat : 29115 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 438 0 0 0 0 2 0 0 17 0 32 0 17556221 1159979008 9727 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650653008 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=29111/tid=29116] ppid=29109 vsize=1132792 CPUtime=0.03 cores=0-31
/proc/29111/task/29116/stat : 29116 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 316 0 0 0 2 1 0 0 17 0 32 0 17556221 1159979008 9727 268435456000 4194304 4580107 140735113372576 18446744073709551615 4307191 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=29111/tid=29117] ppid=29109 vsize=1132792 CPUtime=0.03 cores=0-31
/proc/29111/task/29117/stat : 29117 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 189 0 0 0 2 1 0 0 17 0 32 0 17556221 1159979008 9728 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604476242607584 0 0 -1 8 0 0 0
[pid=29111/tid=29118] ppid=29109 vsize=1132792 CPUtime=0.04 cores=0-31
/proc/29111/task/29118/stat : 29118 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 311 0 0 0 3 1 0 0 17 0 32 0 17556221 1159979008 9742 268435456000 4194304 4580107 140735113372576 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=29111/tid=29119] ppid=29109 vsize=1132792 CPUtime=0.05 cores=0-31
/proc/29111/task/29119/stat : 29119 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 326 0 0 0 3 2 0 0 17 0 32 0 17556221 1159979008 9743 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650653104 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29111/tid=29120] ppid=29109 vsize=1133052 CPUtime=0.05 cores=0-31
/proc/29111/task/29120/stat : 29120 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 432 0 0 0 3 2 0 0 18 0 32 0 17556221 1160245248 9753 268435456000 4194304 4580107 140735113372576 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29111/tid=29121] ppid=29109 vsize=1133052 CPUtime=0.03 cores=0-31
/proc/29111/task/29121/stat : 29121 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 157 0 0 0 2 1 0 0 17 0 32 0 17556221 1160245248 9770 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604500586487264 0 0 -1 3 0 0 0
[pid=29111/tid=29122] ppid=29109 vsize=1133052 CPUtime=0.05 cores=0-31
/proc/29111/task/29122/stat : 29122 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 389 0 0 0 3 2 0 0 17 0 32 0 17556221 1160245248 9770 268435456000 4194304 4580107 140735113372576 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=29111/tid=29123] ppid=29109 vsize=1133052 CPUtime=0.05 cores=0-31
/proc/29111/task/29123/stat : 29123 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 395 0 0 0 3 2 0 0 17 0 32 0 17556221 1160245248 9770 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650653023 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=29111/tid=29124] ppid=29109 vsize=1133052 CPUtime=0.04 cores=0-31
/proc/29111/task/29124/stat : 29124 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 313 0 0 0 3 1 0 0 17 0 32 0 17556221 1160245248 9781 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566925464 0 0 -1 7 0 0 0
[pid=29111/tid=29125] ppid=29109 vsize=1133052 CPUtime=0.04 cores=0-31
/proc/29111/task/29125/stat : 29125 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 263 0 0 0 2 2 0 0 17 0 32 0 17556221 1160245248 9798 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=29111/tid=29126] ppid=29109 vsize=1133052 CPUtime=0.05 cores=0-31
/proc/29111/task/29126/stat : 29126 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 335 0 0 0 3 2 0 0 17 0 32 0 17556221 1160245248 9798 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566923784 0 0 -1 14 0 0 0
[pid=29111/tid=29127] ppid=29109 vsize=1132920 CPUtime=0.05 cores=0-31
/proc/29111/task/29127/stat : 29127 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 397 0 0 0 3 2 0 0 17 0 32 0 17556221 1160110080 9771 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566932984 0 0 -1 11 0 0 0
[pid=29111/tid=29128] ppid=29109 vsize=1132920 CPUtime=0.05 cores=0-31

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

/proc/29111/task/29112/stat : 29112 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 182206 0 0 0 495968 134 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29111/tid=29113] ppid=29109 vsize=8665320 CPUtime=4960.86 cores=0-31
/proc/29111/task/29113/stat : 29113 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 195482 0 0 0 495934 152 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29111/tid=29114] ppid=29109 vsize=8665320 CPUtime=4960.87 cores=0-31
/proc/29111/task/29114/stat : 29114 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 200798 0 0 0 495955 132 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=29111/tid=29115] ppid=29109 vsize=8665320 CPUtime=4944 cores=0-31
/proc/29111/task/29115/stat : 29115 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 303548 0 0 0 494211 189 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=29111/tid=29116] ppid=29109 vsize=8665320 CPUtime=4960.86 cores=0-31
/proc/29111/task/29116/stat : 29116 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 166361 0 0 0 495972 114 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=29111/tid=29117] ppid=29109 vsize=8665320 CPUtime=4960.88 cores=0-31
/proc/29111/task/29117/stat : 29117 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 200355 0 0 0 495951 137 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=29111/tid=29118] ppid=29109 vsize=8665320 CPUtime=4959.44 cores=0-31
/proc/29111/task/29118/stat : 29118 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 180274 0 0 0 495826 118 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=29111/tid=29119] ppid=29109 vsize=8665320 CPUtime=4960.9 cores=0-31
/proc/29111/task/29119/stat : 29119 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 203424 0 0 0 495941 149 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29111/tid=29120] ppid=29109 vsize=8665320 CPUtime=4961.09 cores=0-31
/proc/29111/task/29120/stat : 29120 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 199119 0 0 0 495966 143 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29111/tid=29121] ppid=29109 vsize=8665320 CPUtime=4960.32 cores=0-31
/proc/29111/task/29121/stat : 29121 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 163158 0 0 0 495905 127 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29111/tid=29122] ppid=29109 vsize=8665320 CPUtime=4960.09 cores=0-31
/proc/29111/task/29122/stat : 29122 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 218012 0 0 0 495851 158 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=29111/tid=29123] ppid=29109 vsize=8665320 CPUtime=4959.51 cores=0-31
/proc/29111/task/29123/stat : 29123 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 151311 0 0 0 495841 110 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=29111/tid=29124] ppid=29109 vsize=8665320 CPUtime=4960.98 cores=0-31
/proc/29111/task/29124/stat : 29124 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 160478 0 0 0 495976 122 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29111/tid=29125] ppid=29109 vsize=8665320 CPUtime=4961.03 cores=0-31
/proc/29111/task/29125/stat : 29125 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 157175 0 0 0 495980 123 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=29111/tid=29126] ppid=29109 vsize=8665320 CPUtime=4960.95 cores=0-31
/proc/29111/task/29126/stat : 29126 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 230430 0 0 0 495928 167 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=29111/tid=29127] ppid=29109 vsize=8665320 CPUtime=4886.76 cores=0-31
/proc/29111/task/29127/stat : 29127 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 231362 0 0 0 488509 167 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=29111/tid=29128] ppid=29109 vsize=8665320 CPUtime=4960.89 cores=0-31
/proc/29111/task/29128/stat : 29128 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 220787 0 0 0 495926 163 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=29111/tid=29129] ppid=29109 vsize=8665320 CPUtime=4960.95 cores=0-31
/proc/29111/task/29129/stat : 29129 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 156931 0 0 0 495976 119 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=29111/tid=29130] ppid=29109 vsize=8665320 CPUtime=4960.93 cores=0-31
/proc/29111/task/29130/stat : 29130 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 182430 0 0 0 495961 132 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=29111/tid=29131] ppid=29109 vsize=8665320 CPUtime=4960.87 cores=0-31
/proc/29111/task/29131/stat : 29131 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 144905 0 0 0 495973 114 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=29111/tid=29132] ppid=29109 vsize=8665320 CPUtime=4959.39 cores=0-31
/proc/29111/task/29132/stat : 29132 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 143700 0 0 0 495846 93 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=29111/tid=29133] ppid=29109 vsize=8665320 CPUtime=4961.07 cores=0-31
/proc/29111/task/29133/stat : 29133 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 220953 0 0 0 495956 151 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=29111/tid=29134] ppid=29109 vsize=8665320 CPUtime=4961.04 cores=0-31
/proc/29111/task/29134/stat : 29134 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 173968 0 0 0 495973 131 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=29111/tid=29135] ppid=29109 vsize=8665320 CPUtime=4960.91 cores=0-31
/proc/29111/task/29135/stat : 29135 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 215976 0 0 0 495937 154 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=29111/tid=29136] ppid=29109 vsize=8665320 CPUtime=4960.89 cores=0-31
/proc/29111/task/29136/stat : 29136 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 203157 0 0 0 495942 147 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=29111/tid=29137] ppid=29109 vsize=8665320 CPUtime=4960.98 cores=0-31
/proc/29111/task/29137/stat : 29137 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 192073 0 0 0 495957 141 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=29111/tid=29138] ppid=29109 vsize=8665320 CPUtime=4960.87 cores=0-31
/proc/29111/task/29138/stat : 29138 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 199524 0 0 0 495960 127 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29111/tid=29139] ppid=29109 vsize=8665320 CPUtime=4954.88 cores=0-31
/proc/29111/task/29139/stat : 29139 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 183199 0 0 0 495360 128 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=29111/tid=29140] ppid=29109 vsize=8665320 CPUtime=4959.64 cores=0-31
/proc/29111/task/29140/stat : 29140 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 145236 0 0 0 495825 139 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29111/tid=29141] ppid=29109 vsize=8665320 CPUtime=4961.06 cores=0-31
/proc/29111/task/29141/stat : 29141 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 171096 0 0 0 495977 129 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4316617 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=29111/tid=29142] ppid=29109 vsize=8665320 CPUtime=4960.88 cores=0-31
/proc/29111/task/29142/stat : 29142 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 108084 0 0 0 496000 88 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 158603
Current children cumulated vsize (KiB) 8665320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5006 s]
/proc/loadavg: 32.32 32.24 32.16 34/445 29317
/proc/meminfo: memFree=256633108/264257624 swapFree=67044780/67111528
[pid=29111] ppid=29109 vsize=8515892 CPUtime=160001 cores=0-31
/proc/29111/stat : 29111 (strangenight2-m) R 29109 29111 28825 0 -1 4202496 5987114 0 0 0 15995781 4350 0 0 25 0 32 0 17556220 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 31 0 0 0
/proc/29111/statm: 2128973 1699144 377 95 0 2123955 0
[pid=29111/tid=29112] ppid=29109 vsize=8515892 CPUtime=5004.75 cores=0-31
/proc/29111/task/29112/stat : 29112 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 182206 0 0 0 500341 134 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29111/tid=29113] ppid=29109 vsize=8515892 CPUtime=5004.58 cores=0-31
/proc/29111/task/29113/stat : 29113 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 196377 0 0 0 500306 152 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29111/tid=29114] ppid=29109 vsize=8515892 CPUtime=5004.6 cores=0-31
/proc/29111/task/29114/stat : 29114 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 201060 0 0 0 500328 132 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=29111/tid=29115] ppid=29109 vsize=8515892 CPUtime=4987.73 cores=0-31
/proc/29111/task/29115/stat : 29115 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 304318 0 0 0 498583 190 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=29111/tid=29116] ppid=29109 vsize=8515892 CPUtime=5004.59 cores=0-31
/proc/29111/task/29116/stat : 29116 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 166368 0 0 0 500345 114 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=29111/tid=29117] ppid=29109 vsize=8515892 CPUtime=5004.61 cores=0-31
/proc/29111/task/29117/stat : 29117 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 200355 0 0 0 500324 137 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=29111/tid=29118] ppid=29109 vsize=8515892 CPUtime=5003.16 cores=0-31
/proc/29111/task/29118/stat : 29118 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 180274 0 0 0 500197 119 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=29111/tid=29119] ppid=29109 vsize=8515892 CPUtime=5004.63 cores=0-31
/proc/29111/task/29119/stat : 29119 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 204120 0 0 0 500314 149 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29111/tid=29120] ppid=29109 vsize=8515892 CPUtime=5004.82 cores=0-31
/proc/29111/task/29120/stat : 29120 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 200229 0 0 0 500338 144 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4295695 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29111/tid=29121] ppid=29109 vsize=8515892 CPUtime=5004.05 cores=0-31
/proc/29111/task/29121/stat : 29121 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 163158 0 0 0 500278 127 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29111/tid=29122] ppid=29109 vsize=8515892 CPUtime=5003.83 cores=0-31
/proc/29111/task/29122/stat : 29122 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 218753 0 0 0 500224 159 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4292966 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=29111/tid=29123] ppid=29109 vsize=8515892 CPUtime=5003.24 cores=0-31
/proc/29111/task/29123/stat : 29123 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 151311 0 0 0 500214 110 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=29111/tid=29124] ppid=29109 vsize=8515892 CPUtime=5004.71 cores=0-31
/proc/29111/task/29124/stat : 29124 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 160478 0 0 0 500349 122 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29111/tid=29125] ppid=29109 vsize=8515892 CPUtime=5004.77 cores=0-31
/proc/29111/task/29125/stat : 29125 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 157175 0 0 0 500354 123 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=29111/tid=29126] ppid=29109 vsize=8515892 CPUtime=5004.68 cores=0-31
/proc/29111/task/29126/stat : 29126 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 230563 0 0 0 500301 167 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=29111/tid=29127] ppid=29109 vsize=8515892 CPUtime=4930.48 cores=0-31
/proc/29111/task/29127/stat : 29127 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 235765 0 0 0 492880 168 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=29111/tid=29128] ppid=29109 vsize=8515892 CPUtime=5004.62 cores=0-31
/proc/29111/task/29128/stat : 29128 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 221539 0 0 0 500298 164 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=29111/tid=29129] ppid=29109 vsize=8515892 CPUtime=5004.68 cores=0-31
/proc/29111/task/29129/stat : 29129 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 156931 0 0 0 500349 119 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=29111/tid=29130] ppid=29109 vsize=8515892 CPUtime=5004.67 cores=0-31
/proc/29111/task/29130/stat : 29130 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 182430 0 0 0 500335 132 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=29111/tid=29131] ppid=29109 vsize=8515892 CPUtime=5004.61 cores=0-31
/proc/29111/task/29131/stat : 29131 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 144905 0 0 0 500347 114 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4293704 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=29111/tid=29132] ppid=29109 vsize=8515892 CPUtime=5003.11 cores=0-31
/proc/29111/task/29132/stat : 29132 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 143728 0 0 0 500218 93 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=29111/tid=29133] ppid=29109 vsize=8515892 CPUtime=5004.8 cores=0-31
/proc/29111/task/29133/stat : 29133 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 221664 0 0 0 500328 152 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=29111/tid=29134] ppid=29109 vsize=8515892 CPUtime=5004.77 cores=0-31
/proc/29111/task/29134/stat : 29134 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 173968 0 0 0 500346 131 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=29111/tid=29135] ppid=29109 vsize=8515892 CPUtime=5004.65 cores=0-31
/proc/29111/task/29135/stat : 29135 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 220070 0 0 0 500309 156 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=29111/tid=29136] ppid=29109 vsize=8515892 CPUtime=5004.62 cores=0-31
/proc/29111/task/29136/stat : 29136 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 203157 0 0 0 500315 147 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=29111/tid=29137] ppid=29109 vsize=8515892 CPUtime=5004.71 cores=0-31
/proc/29111/task/29137/stat : 29137 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 192073 0 0 0 500330 141 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=29111/tid=29138] ppid=29109 vsize=8515892 CPUtime=5004.61 cores=0-31
/proc/29111/task/29138/stat : 29138 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 200273 0 0 0 500332 129 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29111/tid=29139] ppid=29109 vsize=8515892 CPUtime=4998.62 cores=0-31
/proc/29111/task/29139/stat : 29139 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 183199 0 0 0 499733 129 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=29111/tid=29140] ppid=29109 vsize=8515892 CPUtime=5003.37 cores=0-31
/proc/29111/task/29140/stat : 29140 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 145271 0 0 0 500197 140 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29111/tid=29141] ppid=29109 vsize=8515892 CPUtime=5004.79 cores=0-31
/proc/29111/task/29141/stat : 29141 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 171096 0 0 0 500350 129 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=29111/tid=29142] ppid=29109 vsize=8515892 CPUtime=5004.61 cores=0-31
/proc/29111/task/29142/stat : 29142 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 108529 0 0 0 500372 89 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 8515892

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

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

[startup+5006.2 s]
/proc/loadavg: 32.32 32.24 32.16 34/445 29317
/proc/meminfo: memFree=256633108/264257624 swapFree=67044780/67111528
[pid=29111] ppid=29109 vsize=0 CPUtime=160002 cores=0-31
/proc/29111/stat : 29111 (strangenight2-m) R 29109 29111 28825 0 -1 4203524 5987114 0 0 0 15995804 4366 0 0 25 0 1 0 17556220 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/29111/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0

[startup+5006.4 s]
/proc/loadavg: 32.32 32.24 32.16 34/445 29317
/proc/meminfo: memFree=256633108/264257624 swapFree=67044780/67111528
[pid=29111] ppid=29109 vsize=0 CPUtime=160002 cores=0-31
/proc/29111/stat : 29111 (strangenight2-m) R 29109 29111 28825 0 -1 4203524 5987114 0 0 0 15995804 4386 0 0 25 0 1 0 17556220 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/29111/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0

[startup+5006.5 s]
/proc/loadavg: 32.32 32.24 32.16 34/445 29317
/proc/meminfo: memFree=256633108/264257624 swapFree=67044780/67111528
[pid=29111] ppid=29109 vsize=0 CPUtime=160002 cores=0-31
/proc/29111/stat : 29111 (strangenight2-m) R 29109 29111 28825 0 -1 4203524 5987114 0 0 0 15995804 4396 0 0 25 0 1 0 17556220 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/29111/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5006.56
CPU time (s): 160002
CPU user time (s): 159958
CPU system time (s): 44.0223
CPU usage (%): 3195.85
Max. virtual memory (cumulated for all children) (KiB): 8954264

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

runsolver used 29.6905 second user time and 111.597 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-01 10:11:42
IDJOB=3400854
IDBENCH=84180
IDSOLVER=1886
FILE ID=node200/3400854-1306915902
RUNJOBID= node200-1306915599-28839
PBS_JOBID= 13471460
Free space on /tmp= 62052 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/industrial/maris/CNF/gripper13u.shuffled-as.sat03-395.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400854-1306915902/watcher-3400854-1306915902 -o /tmp/evaluation-result-3400854-1306915902/solver-3400854-1306915902 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400854-1306915902.cnf

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

MD5SUM BENCH= 3889b7ed90cc1fbe8bc8d140a1763832
RANDOM SEED=955548023

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:      263441840 kB
Buffers:        181932 kB
Cached:         435824 kB
SwapCached:      29976 kB
Active:         158300 kB
Inactive:       491468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263441840 kB
SwapTotal:    67111528 kB
SwapFree:     67044780 kB
Dirty:            6344 kB
Writeback:           4 kB
AnonPages:       29296 kB
Mapped:           8732 kB
Slab:            77172 kB
PageTables:       4816 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   183044 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= 62044 MiB
End job on node200 at 2011-06-01 11:35:11