Trace number 3400658

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)UNSAT 83265.2 2612.98

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxxororand/maxxororand064.cnf
MD5SUM49dbd2fb16b3d5ce554d30c48729a56d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark83265.2
Satisfiable
(Un)Satisfiability was proved
Number of variables92464
Number of clauses276623
Sum of the clauses size645451
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2184414
Number of clauses of size 392207
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
1.25/0.05	c Using 32 threads
1.25/0.07	c This is CryptoMiniSat 3.0.0
1.25/0.07	c WARNING: for repeatability, setting FPU to use double precision
1.25/0.07	c Reading file 'HOME/instance-3400658-1306294370.cnf'
2.57/0.10	c -- header says num vars:          92464
2.57/0.10	c -- header says num clauses:      276623
39.76/2.86	c -- clauses added:            0 learnts,       276623 normals,            0 xors
39.76/2.86	c -- vars added      92464
39.76/2.86	c Parsing time:  0.43 s
39.76/2.86	c  N st     0         0     92464     92207    184414         0    645449         0   no data   no data
101.50/4.86	c asymm  cl-useful: 0/15665/92198 lits-rem:0 time: 1.53
760.15/25.58	c Flit:    71 Blit:    123 bXBeca:    0 bXProp:  501 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 21.17
760.15/25.58	c Cleaning up after failed var search:     0.00 s 
763.10/25.66	c Replacing      501 vars Replaced     7176 lits Time:     0.07 s 
766.05/25.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
769.08/25.82	c bin-w-bin subsume rem            2 bins  time:  0.04 s
772.10/25.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
815.42/27.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  90196 time:  1.42 s
821.92/27.56	c Removed useless bin:     189  fixed:     0  props:  20.01M  time:  0.18 s
904.19/30.90	c lits-rem:         0  cl-subs:      433  v-elim:  30586  v-fix:    0  time:  1.59 s
906.19/30.94	c Finding binary XORs  T:     0.04 s  found:       0
909.38/31.01	c Finding non-binary XORs:     0.04 s (found:    2227, avg size: 3.0)
909.38/31.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
909.38/31.02	c calculated reachability. Time: 0.00
909.38/31.04	c Calc default polars -  time:   0.02 s pos:    1053 undec:   34820 neg:   56591
909.38/31.04	c =========================================================================================
909.38/31.04	c types(t): F = full restart, N = normal restart
909.38/31.04	c types(t): S = simplification begin/end, E = solution found
909.38/31.04	c restart types(rt): st = static, dy = dynamic
909.38/31.04	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
909.38/31.04	c  B st     0         0     61173     74214    128869         0    526715         0   no data   no data
1058.61/35.86	c  N dy    16      4019     61173     74214    129033      3827    526714    360460      8.31      9.38
1128.44/38.74	c Finding binary XORs  T:     0.04 s  found:     870
1131.07/38.80	c Replacing      870 vars Replaced    21093 lits Time:     0.06 s 
1178.31/40.46	c  N dy    42      8043     60303     72156    132671      7189    520540    473960      9.48      9.99
1283.78/43.74	c  N dy    68     12082     60303     72156    132834     11028    520540    562789      9.78     10.67
1443.56/48.70	c  N dy   102     16099     60302     72156    138017     14912    520540    714706     11.51     15.65
1549.04/52.06	c Finding binary XORs  T:     0.04 s  found:    2099
1552.23/52.13	c Replacing     2099 vars Replaced    65296 lits Time:     0.07 s 
1590.59/53.37	c  N dy   127     20161     58203     68810    137478      8683    510498     88358     12.16     12.84
1751.04/58.35	c  N dy   156     24226     58203     68810    137553     12622    510498    215799     12.54     20.81
1775.96/59.20	c  F st   162     25000     58203     68810    140487     13384    510498    253774     12.65     11.72
1878.25/62.34	c  N st   167     28295     58203     68810    140516     16590    510498    363744     12.65   no data
1919.80/63.69	c  S st   168     30000     58203     68810    140545     18248    510498    408843     12.65   no data
1945.37/64.43	c  S st   168     30505     58203     68810    143262     18734    510498    429511     12.65   no data
1945.37/64.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2782.62/90.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp: 1203 Bins:  28516 BRemL:    117 BRemN:      0 P: 200.0M T: 25.71
2785.79/90.72	c Replacing     1203 vars Replaced    55217 lits Time:     0.06 s 
2785.79/90.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2788.98/90.81	c bin-w-bin subsume rem         6420 bins  time:  0.03 s
2788.98/90.89	c subs with bin:      551  lits-rem:       252  v-fix:    0  time:  0.07 s
2824.14/91.93	c Subs w/ non-existent bins:    186 l-rem:   3186 v-fix:     0 done:  57000 time:  1.02 s
2837.56/92.34	c Removed useless bin:    1295  fixed:     0  props:  20.01M  time:  0.41 s
2868.85/93.38	c lits-rem:      3143  cl-subs:    12067  v-elim:  36645  v-fix:    0  time:  0.90 s
2872.67/93.43	c subs with bin:      399  lits-rem:       369  v-fix:    0  time:  0.03 s
2875.90/93.52	c lits-rem:       210  cl-subs:      549  v-elim:      0  v-fix:    0  time:  0.06 s
2926.37/95.13	c asymm  cl-useful: 2799/13608/63047 lits-rem:2804 time: 1.60
2929.56/95.20	c calculated reachability. Time: 0.07
2929.56/95.21	c  N dy   168     30505     20355     63047     48980      7546    401065     94424     12.65   no data
2935.96/95.42	c Finding binary XORs  T:     0.21 s  found:     635
2935.96/95.45	c Replacing      635 vars Replaced    11996 lits Time:     0.03 s 
3009.46/97.79	c  N dy   180     34545     19719     61862     47757     11476    396207    261318     12.31     13.15
3066.96/99.59	c  N dy   197     38674     19715     61862     52813     15524    396201    434715     12.18     12.97
3079.75/99.98	c Finding binary XORs  T:     0.10 s  found:     923
3083.56/100.02	c Replacing      923 vars Replaced    36065 lits Time:     0.05 s 
3185.11/103.21	c  N dy   211     42745     18791     59488     51647      9958    388347    134169     11.96     15.81
3236.14/104.87	c  S st   227     45757     18791     59488     51666     12912    388347    256933     12.03      7.40
3252.13/105.34	c  S st   227     46257     18790     59488     51705     13370    388346    278200     12.03   no data
3252.13/105.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3578.29/115.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   47 Bins:   6394 BRemL:     61 BRemN:     68 P: 83.3M T: 10.15
3580.86/115.64	c Replacing       47 vars Replaced     6658 lits Time:     0.05 s 
3580.86/115.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3584.02/115.71	c bin-w-bin subsume rem         3439 bins  time:  0.01 s
3584.02/115.75	c subs with bin:      804  lits-rem:       202  v-fix:    0  time:  0.04 s
3590.41/115.90	c Subs w/ non-existent bins:   1692 l-rem:   5880 v-fix:     0 done:  18743 time:  0.15 s
3590.41/115.96	c Removed useless bin:     271  fixed:     0  props:   1.80M  time:  0.05 s
3596.79/116.11	c lits-rem:         8  cl-subs:      333  v-elim:    919  v-fix:    0  time:  0.14 s
3599.99/116.24	c subs with bin:       65  lits-rem:      1027  v-fix:    0  time:  0.10 s
3603.18/116.36	c lits-rem:       499  cl-subs:      433  v-elim:      0  v-fix:    0  time:  0.09 s
3606.39/116.48	c vivif2 --  cl tried    56500 cl shrink      191 lits rem        252 time: 0.11
3610.19/116.54	c vivif2 --  cl tried    12184 cl shrink     2564 lits rem      10962 time: 0.06
3631.94/117.24	c asymm  cl-useful: 0/2741/56498 lits-rem:0 time: 0.70
3631.94/117.30	c calculated reachability. Time: 0.04
3631.94/117.30	c  N dy   227     46257     17824     56498     46278     12105    372806    193786     12.03   no data
3638.32/117.42	c Finding binary XORs  T:     0.13 s  found:       4
3727.79/120.25	c  N dy   238     50378     17822     56498     48652     16111    372801    592176     11.76     12.43
3807.68/122.73	c  N dy   255     54523     17817     56498     48673     20147    372797    957272     11.74     12.59
3868.31/124.61	c Finding binary XORs  T:     0.12 s  found:      68
3906.61/125.86	c  N dy   284     58922     17815     56476     48954     24362    372198   1572557     12.10     13.21
3999.93/128.72	c  N dy   302     62965     17814     56476     49342     28310    372197   1959692     12.41     13.31
4075.99/131.11	c  N dy   335     67024     17814     56476     49368     17692    372195    500290     12.91     15.16
4117.54/132.49	c  S st   353     69385     17813     56476     50088     20000    372195    683314     13.31   no data
4133.53/132.95	c  S st   353     69887     17813     56476     50100     20488    372195    715845     13.31   no data
4133.53/132.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4500.38/144.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   17 Bins:  21564 BRemL:   1599 BRemN:      9 P: 89.8M T: 11.47
4503.58/144.52	c Replacing       89 vars Replaced     4318 lits Time:     0.06 s 
4503.58/144.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4503.58/144.58	c bin-w-bin subsume rem         1059 bins  time:  0.02 s
4506.78/144.63	c subs with bin:       48  lits-rem:        11  v-fix:    0  time:  0.05 s
4509.97/144.75	c Subs w/ non-existent bins:     15 l-rem:      0 v-fix:     0 done:  17722 time:  0.11 s
4509.97/144.79	c Removed useless bin:       9  fixed:     0  props:   0.95M  time:  0.04 s
4513.16/144.89	c lits-rem:         4  cl-subs:       35  v-elim:     57  v-fix:    0  time:  0.10 s
4541.90/145.75	c subs with bin:       56  lits-rem:      1759  v-fix:    0  time:  0.79 s
4551.49/146.08	c lits-rem:      1808  cl-subs:      745  v-elim:      0  v-fix:    0  time:  0.29 s
4554.68/146.21	c vivif2 --  cl tried    56157 cl shrink       72 lits rem         72 time: 0.13
4558.53/146.32	c vivif2 --  cl tried    18890 cl shrink     2380 lits rem      26287 time: 0.11
4583.42/147.08	c asymm  cl-useful: 0/2322/56156 lits-rem:0 time: 0.76
4586.61/147.14	c calculated reachability. Time: 0.05
4586.61/147.14	c  N dy   353     69887     17665     56156     63960     18881    369946    544277     13.31   no data
4589.80/147.27	c Finding binary XORs  T:     0.13 s  found:       0
4702.29/150.74	c  N dy   380     74673     17663     56156     63980     23533    369946   1139751     13.48     14.42
4787.88/153.44	c Finding binary XORs  T:     0.13 s  found:      20
4794.28/153.66	c  N dy   412     79470     17660     56143     67801     26822    369862   1335807     13.72     16.17
4880.49/156.36	c  N dy   439     84572     17658     56143     68470     31882    369859   1570864     13.77     20.77
4922.01/157.63	c  F st   450     87500     17658     56143     68648     34794    369859   1699000     13.68   no data
4925.20/157.71	c Replacing       20 vars Replaced     3123 lits Time:     0.05 s 
4966.72/159.07	c  N st   455     90800     17638     56110     68426     20635    369456    475584     13.68   no data
5062.56/162.08	c  N dy   489     96647     17638     56110     68548     26430    369450    901522     13.89     28.66
5132.58/164.22	c Finding binary XORs  T:     0.14 s  found:      14
5180.44/165.77	c  N dy   538    102902     17637     56102     70203     32605    369429   1306264     14.35     15.16
5221.95/167.02	c  S st   546    104830     17637     56102     70208     34513    369429   1382926     14.35   no data
5237.92/167.59	c  S st   546    105332     17637     56102     70427     35003    369429   1424472     14.35   no data
5241.12/167.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
5627.75/179.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   8527 BRemL:   9960 BRemN:     11 P: 95.5M T: 12.14
5630.94/179.86	c Replacing       15 vars Replaced     6570 lits Time:     0.07 s 
5634.14/179.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5634.14/179.92	c bin-w-bin subsume rem          854 bins  time:  0.02 s
5634.14/179.97	c subs with bin:       14  lits-rem:         5  v-fix:    0  time:  0.05 s
5637.34/180.09	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:  17622 time:  0.13 s
5640.53/180.14	c Removed useless bin:       8  fixed:     0  props:   1.07M  time:  0.04 s
5643.72/180.25	c lits-rem:        23  cl-subs:       36  v-elim:     37  v-fix:    0  time:  0.11 s
5713.97/182.45	c subs with bin:      109  lits-rem:      7223  v-fix:    0  time:  2.05 s
5745.93/183.46	c lits-rem:      3697  cl-subs:      789  v-elim:      0  v-fix:    0  time:  0.97 s
5749.13/183.60	c vivif2 --  cl tried    56037 cl shrink       15 lits rem         76 time: 0.13
5761.90/183.93	c vivif2 --  cl tried    33655 cl shrink     7702 lits rem     109943 time: 0.34
5784.29/184.70	c asymm  cl-useful: 0/1407/56032 lits-rem:0 time: 0.76
5788.11/184.76	c calculated reachability. Time: 0.05
5788.11/184.76	c  N dy   546    105332     17585     56032     67876     33649    368906   1220969     14.35   no data
5791.31/184.90	c Finding binary XORs  T:     0.14 s  found:       2
5995.23/191.24	c Finding binary XORs  T:     0.14 s  found:      16
5999.05/191.32	c  N dy   577    112065     17580     56005     73500     40191    368355   3215464     14.35     21.86
6213.21/198.03	c  N dy   617    119265     17577     56005     73945     27000    368354   2047741     14.39     37.48
6353.85/202.45	c  N dy   670    126973     17577     56005     74255     34639    368342   2611475     14.61     33.81
6506.61/207.23	c  N dy   719    135119     17575     56005     74419     42724    368341   3304348     14.92     34.18
6644.02/211.57	c Finding binary XORs  T:     0.14 s  found:       9
6670.23/212.34	c  N dy   778    143743     17575     55992     78192     28698    368263    780120     15.21     36.28
6839.00/217.69	c  N dy   837    152999     17575     55992     78668     37894    368261   1638721     15.62     16.75
6938.06/220.73	c  S st   870    158001     17575     55992     78944     42861    368261   2100291     15.82   no data
6954.02/221.20	c  S st   870    158503     17575     55992     78948     43357    368261   2165088     15.82   no data
6954.02/221.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
7382.14/234.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bins:   2495 BRemL:   6246 BRemN:     16 P: 104.9M T: 13.40
7385.34/234.77	c Replacing       33 vars Replaced    23896 lits Time:     0.11 s 
7388.54/234.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7388.54/234.83	c bin-w-bin subsume rem         1532 bins  time:  0.02 s
7388.54/234.89	c subs with bin:       23  lits-rem:        26  v-fix:    0  time:  0.06 s
7394.94/235.00	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:  17542 time:  0.11 s
7394.94/235.04	c Removed useless bin:       6  fixed:     0  props:   1.00M  time:  0.04 s
7398.13/235.16	c lits-rem:        83  cl-subs:       50  v-elim:     32  v-fix:    0  time:  0.12 s
7471.65/237.47	c subs with bin:      102  lits-rem:     10111  v-fix:    0  time:  2.14 s
7513.82/238.78	c lits-rem:      4615  cl-subs:      756  v-elim:      0  v-fix:    0  time:  1.27 s
7519.57/238.93	c vivif2 --  cl tried    55892 cl shrink       12 lits rem         12 time: 0.14
7532.36/239.33	c vivif2 --  cl tried    39917 cl shrink    10246 lits rem     154814 time: 0.40
7554.72/240.07	c asymm  cl-useful: 1/1080/55889 lits-rem:3 time: 0.74
7557.91/240.14	c calculated reachability. Time: 0.05
7557.91/240.14	c  N dy   870    158503     17510     55888     73369     39906    367203   1483111     15.82   no data
7561.11/240.29	c Finding binary XORs  T:     0.15 s  found:       4
7848.58/249.29	c  N dy   900    168675     17500     55888     77505     29219    367203   1998859     15.71     29.22
8027.51/254.88	c Finding binary XORs  T:     0.15 s  found:      28
8225.48/261.02	c  N dy   966    179529     17493     55824     79445     39854    366269   5871409     15.90     22.82
8468.25/268.63	c  N dy  1039    191162     17488     55824     80190     51388    366264   6875298     16.19     18.24
8500.19/269.69	c Finding binary XORs  T:     0.15 s  found:       8
8723.75/276.63	c  N dy  1127    203530     17487     55804     82413     39799    365972   1519163     16.56     17.85
8884.00/281.67	c Finding binary XORs  T:     0.15 s  found:      12
9004.79/285.49	c  N dy  1201    216549     17486     55795     85117     52739    365949   2829240     16.83     18.90
9186.95/291.15	c Finding binary XORs  T:     0.15 s  found:       6
9295.60/294.57	c  N dy  1297    230594     17486     55795     85809     42468    365948   1621060     17.17     19.80
9455.19/299.56	c  S st  1351    237754     17485     55795     86048     49554    365947   2415489     17.45   no data
9474.37/300.10	c  S st  1351    238254     17485     55795     86057     50043    365947   2452709     17.45   no data
9474.37/300.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
9931.37/314.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    9 Bins:   2397 BRemL:   2917 BRemN:     13 P: 111.7M T: 14.32
9938.41/314.65	c Replacing       67 vars Replaced    29840 lits Time:     0.18 s 
9940.95/314.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9940.95/314.72	c bin-w-bin subsume rem         1778 bins  time:  0.02 s
9940.95/314.78	c subs with bin:       61  lits-rem:       103  v-fix:    0  time:  0.06 s
9944.14/314.88	c Subs w/ non-existent bins:      2 l-rem:     33 v-fix:     0 done:  17421 time:  0.10 s
9947.34/314.93	c Removed useless bin:       3  fixed:     0  props:   0.94M  time:  0.04 s
9950.57/315.06	c lits-rem:         0  cl-subs:       57  v-elim:     37  v-fix:    0  time:  0.13 s
10024.01/317.33	c subs with bin:       30  lits-rem:      1327  v-fix:    0  time:  2.10 s
10084.71/319.21	c lits-rem:      7332  cl-subs:      761  v-elim:      0  v-fix:    0  time:  1.84 s
10087.92/319.37	c vivif2 --  cl tried    55654 cl shrink       30 lits rem         30 time: 0.16
10103.91/319.83	c vivif2 --  cl tried    47211 cl shrink    11889 lits rem     175608 time: 0.46
10126.27/320.58	c asymm  cl-useful: 0/964/55649 lits-rem:0 time: 0.75
10129.46/320.65	c calculated reachability. Time: 0.06
10129.46/320.65	c  N dy  1351    238254     17384     55649     83191     47156    365009   1761932     17.45   no data
10202.98/322.92	c Finding binary XORs  T:     0.16 s  found:       9
10554.60/333.94	c  N dy  1391    253575     17379     55637     86781     38190    364549   2494052     17.27     18.28
11104.28/351.15	c  N dy  1473    269842     17371     55637     87794     54339    364549   8273737     17.35     18.28
11228.94/355.02	c Finding binary XORs  T:     0.16 s  found:      32
11538.96/364.72	c  N dy  1591    287136     17366     55574     87990     44160    364155   1528540     17.71     24.73
11647.64/368.12	c Finding binary XORs  T:     0.16 s  found:      10
11986.32/378.75	c  N dy  1727    305554     17365     55566     91773     62448    364135   3918249     18.28     41.08
12009.33/379.44	c  F st  1734    306250     17365     55566     91774     63132    364135   4030863     18.31   no data
12015.09/379.67	c Replacing       51 vars Replaced    26913 lits Time:     0.20 s 
12344.31/389.92	c Finding binary XORs  T:     0.16 s  found:       8
12446.59/393.17	c  N dy  1833    325095     17309     55515     91823     54243    363681   2668913     18.65     20.65
12689.47/400.75	c Finding binary XORs  T:     0.16 s  found:       5
12958.56/409.19	c  N dy  1984    345104     17308     55503     95664     45280    363439   1060998     19.24     23.64
13248.78/418.28	c  S st  2054    357385     17308     55503     95931     57474    363438   2614688     19.47   no data
13267.98/418.85	c  S st  2054    357885     17308     55503     95937     57968    363438   2666434     19.47   no data
13267.98/418.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
13776.16/434.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:   2493 BRemL:   2504 BRemN:     12 P: 124.6M T: 15.85
13779.35/434.88	c Replacing       16 vars Replaced    21981 lits Time:     0.13 s 
13782.56/434.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13782.56/434.95	c bin-w-bin subsume rem         2283 bins  time:  0.02 s
13785.75/435.02	c subs with bin:       67  lits-rem:       125  v-fix:    0  time:  0.07 s
13788.95/435.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  17293 time:  0.09 s
13788.95/435.17	c Removed useless bin:       8  fixed:     0  props:   0.95M  time:  0.04 s
13795.34/435.31	c lits-rem:         1  cl-subs:      107  v-elim:     26  v-fix:    0  time:  0.14 s
13872.68/437.75	c subs with bin:       53  lits-rem:      1879  v-fix:    0  time:  2.20 s
13964.72/440.70	c lits-rem:      4562  cl-subs:      860  v-elim:      0  v-fix:    0  time:  2.91 s
13971.11/440.86	c vivif2 --  cl tried    55360 cl shrink       23 lits rem         31 time: 0.16
13990.28/441.45	c vivif2 --  cl tried    56547 cl shrink    12642 lits rem     246490 time: 0.58
14016.48/442.22	c asymm  cl-useful: 0/1355/55359 lits-rem:0 time: 0.77
14016.48/442.29	c calculated reachability. Time: 0.06
14016.48/442.30	c  N dy  2054    357885     17267     55359     93367     56463    362354   2318606     19.47   no data
14022.25/442.46	c Finding binary XORs  T:     0.17 s  found:       1
14476.10/456.70	c Finding binary XORs  T:     0.17 s  found:      30
14646.06/461.94	c  N dy  2152    377889     17255     55294     96959     45664    361958   1257752     19.51     20.59
15262.19/481.26	c  N dy  2245    397920     17255     55294     97649     65546    361958   9094580     19.54     20.73
15901.36/501.24	c  N dy  2343    417996     17252     55294     98202     53869    361958   3248183     19.60     21.50
15907.76/501.44	c Finding binary XORs  T:     0.16 s  found:      13
16540.55/521.29	c  N dy  2448    438053     17247     55275     98572     73629    361898   7267321     19.62     20.69
16665.19/525.15	c Finding binary XORs  T:     0.17 s  found:      18
17090.27/538.43	c  N dy  2594    458134     17245     55258    102050     60816    361645   2756875     20.01     21.50
17445.00/549.51	c Finding binary XORs  T:     0.17 s  found:       7
17675.10/556.78	c  N dy  2745    478181     17243     55246    103115     80372    361602   6387601     20.62     22.99
18235.05/574.28	c  N dy  2901    498660     17241     55246    103476     67750    361602   3823707     21.10     22.55
18506.03/582.80	c Finding binary XORs  T:     0.17 s  found:      16
18860.69/593.82	c  N dy  3062    518680     17235     55212    107459     53053    361493   1100722     21.81     24.04
19272.95/606.76	c Finding binary XORs  T:     0.17 s  found:      14
19388.02/610.36	c  S st  3196    536828     17231     55192    108641     70966    361414   4216706     22.12     18.35
19407.18/610.99	c  S st  3196    537328     17231     55192    108641     71465    361414   4299970     22.12   no data
19410.38/611.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
19960.09/628.26	c Flit:     0 Blit:      2 bXBeca:    0 bXProp:   13 Bins:   2407 BRemL:   4051 BRemN:      3 P: 136.6M T: 17.22
19969.65/628.59	c Replacing      112 vars Replaced   101317 lits Time:     0.32 s 
19972.85/628.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
19972.85/628.66	c bin-w-bin subsume rem         3453 bins  time:  0.03 s
19976.02/628.75	c subs with bin:       80  lits-rem:       163  v-fix:    0  time:  0.09 s
19979.22/628.85	c Subs w/ non-existent bins:      2 l-rem:     23 v-fix:     0 done:  17119 time:  0.10 s
19979.22/628.90	c Removed useless bin:      10  fixed:     0  props:   0.95M  time:  0.04 s
19985.62/629.07	c lits-rem:         0  cl-subs:      149  v-elim:     35  v-fix:    0  time:  0.17 s
20075.12/631.87	c subs with bin:      276  lits-rem:     11394  v-fix:    0  time:  2.59 s
20168.45/634.73	c lits-rem:      7810  cl-subs:     1106  v-elim:      0  v-fix:    0  time:  2.83 s
20174.17/634.91	c vivif2 --  cl tried    54911 cl shrink       29 lits rem         29 time: 0.18
20190.16/635.44	c vivif2 --  cl tried    63067 cl shrink    10603 lits rem     147774 time: 0.53
20218.92/636.32	c asymm  cl-useful: 0/978/54906 lits-rem:0 time: 0.88
20222.12/636.40	c calculated reachability. Time: 0.06
20222.12/636.40	c  N dy  3196    537328     17084     54906    102824     62933    359893   2038283     22.12   no data
20474.64/644.37	c Finding binary XORs  T:     0.17 s  found:       9
20915.61/658.18	c  N dy  3268    557634     17079     54885    104891     52829    359652    971023     22.02     23.26
21497.28/676.38	c Finding binary XORs  T:     0.17 s  found:      17
21501.08/676.46	c  N dy  3349    577703     17078     54861    108892     72711    359591   6948981     21.98     41.44
22213.06/698.79	c Finding binary XORs  T:     0.17 s  found:      11
22232.25/699.31	c  N dy  3460    597800     17074     54847    111323     55955    359371   1310476     22.03     23.28
22746.69/715.44	c Finding binary XORs  T:     0.17 s  found:      12
22816.98/717.60	c  N dy  3525    617979     17067     54804    115794     74776    359244   5772902     21.91     23.14
23213.12/730.06	c Finding binary XORs  T:     0.17 s  found:      17
23459.17/737.77	c  N dy  3633    638050     17061     54781    119923     58082    359177   1477159     21.96     38.17
23817.03/748.91	c Finding binary XORs  T:     0.17 s  found:      10
23983.18/754.14	c  N dy  3726    658351     17058     54764    122078     78161    358942   4894079     21.94     24.05
24232.29/761.99	c Finding binary XORs  T:     0.17 s  found:       4
24638.09/774.60	c  N dy  3828    678401     17050     54758    129645     59222    358904   1301099     21.98     23.18
24913.41/783.25	c Finding binary XORs  T:     0.17 s  found:      11
25152.27/790.74	c  N dy  3914    698571     17048     54728    130937     79180    358814   4652300     21.96     23.33
25810.14/811.30	c  N dy  4011    718853     17039     54728    131301     99209    358814   7548089     21.96     23.47
26340.44/827.91	c  N dy  4093    738957     17039     54728    131699     79170    358814   4338846     21.91     23.23
26580.06/835.42	c Finding binary XORs  T:     0.17 s  found:      22
26972.90/847.73	c  N dy  4198    758973     17036     54673    134347     98868    358181   7381260     21.91     23.29
27097.53/851.61	c Finding binary XORs  T:     0.17 s  found:      17
27532.05/865.26	c  N dy  4292    779043     17035     54663    136307     77714    358151   3424424     21.89     23.21
28174.20/885.31	c  N dy  4384    799198     17029     54663    136807     97508    358151   5796580     21.88     23.61
28213.13/886.57	c Finding binary XORs  T:     0.17 s  found:      10
28420.13/893.06	c  S st  4423    805992     17029     54643    136999    104086    357885   6672659     21.88     21.70
28442.45/893.78	c  S st  4423    806493     17029     54643    137003    104583    357885   6720405     21.88   no data
28445.65/893.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
29033.55/912.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   12 Bins:   3767 BRemL:   9577 BRemN:      3 P: 150.4M T: 18.45
29046.31/912.65	c Replacing      152 vars Replaced   114832 lits Time:     0.36 s 
29049.50/912.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29049.50/912.73	c bin-w-bin subsume rem         6881 bins  time:  0.03 s
29052.71/912.85	c subs with bin:      189  lits-rem:       289  v-fix:    0  time:  0.11 s
29056.52/912.96	c Subs w/ non-existent bins:      3 l-rem:     26 v-fix:     0 done:  16883 time:  0.11 s
29056.52/913.01	c Removed useless bin:       8  fixed:     0  props:   0.99M  time:  0.04 s
29065.48/913.23	c lits-rem:         2  cl-subs:       95  v-elim:     57  v-fix:    0  time:  0.22 s
29170.93/916.57	c subs with bin:       45  lits-rem:      4136  v-fix:    0  time:  2.72 s
29592.68/929.70	c lits-rem:     19171  cl-subs:     5848  v-elim:      0  v-fix:    0  time: 13.09 s
29595.87/929.89	c vivif2 --  cl tried    54266 cl shrink      207 lits rem        210 time: 0.19
29646.97/931.48	c vivif2 --  cl tried    96723 cl shrink    34969 lits rem     681837 time: 1.57
29678.91/932.45	c asymm  cl-useful: 2/948/54261 lits-rem:6 time: 0.97
29682.12/932.53	c calculated reachability. Time: 0.06
29682.12/932.53	c  N dy  4423    806493     16826     54259    122650     96482    355569   5381177     21.88   no data
29838.67/937.40	c Finding binary XORs  T:     0.19 s  found:       1
30225.21/949.52	c Finding binary XORs  T:     0.18 s  found:      37
30311.48/952.25	c  N dy  4517    826577     16812     54195    126007     73967    355371   4898289     21.94     23.10
30960.07/972.59	c  N dy  4704    846646     16812     54195    126364     93901    355371  10060475     22.46     90.83
31327.52/984.08	c Finding binary XORs  T:     0.19 s  found:      20
31583.12/992.03	c  N dy  4862    866703     16811     54022    126880     70953    353927   3135338     22.89     39.72
32180.59/1010.80	c  N dy  5048    886747     16808     54022    127390     90816    353927   7195015     23.47     49.80
32541.68/1022.06	c Finding binary XORs  T:     0.19 s  found:      21
32826.02/1030.91	c  N dy  5234    906829     16806     54004    134070     67346    353670   1909831     24.20     74.20
33394.74/1048.79	c Finding binary XORs  T:     0.19 s  found:       5
33420.27/1049.51	c  N dy  5419    926888     16804     53994    134903     87201    353240   5944478     24.81     32.16
34094.46/1070.69	c  N dy  5601    946956     16801     53994    135452    107141    353240  10494175     25.50     52.56
34628.00/1087.38	c Finding binary XORs  T:     0.19 s  found:      14
34659.95/1088.35	c  N dy  5770    967045     16796     53971    139166     82631    352993   4401339     25.94    100.32
35183.93/1104.78	c Finding binary XORs  T:     0.19 s  found:       7
35295.79/1108.27	c  N dy  5935    987127     16794     53961    143891    102571    352963   9011366     26.56     81.51
35915.66/1127.64	c  N dy  6064   1007166     16787     53961    144337     76994    352960   3027808     26.87     54.78
36538.77/1147.16	c  N dy  6221   1027195     16777     53961    144644     96853    352958   7246973     27.24     36.60
36781.54/1154.74	c Finding binary XORs  T:     0.18 s  found:      26
37228.90/1168.74	c  N dy  6391   1047288     16774     53798    144509    116325    351604  11984138     27.74     29.27
37778.50/1185.99	c  N dy  6526   1067302     16772     53798    144768     89723    351603   4828031     27.95     34.22
37919.13/1190.35	c  F st  6564   1071876     16769     53798    144832     94253    351601   5823994     28.05   no data
37931.93/1190.76	c Replacing      131 vars Replaced   101554 lits Time:     0.35 s 
38098.06/1195.96	c Decided on static restart strategy
38209.90/1199.42	c Finding binary XORs  T:     0.19 s  found:      42
38546.01/1210.00	c  N st  6573   1090596     16641     53611    177359    111976    350555  11512805     28.05   no data
38554.97/1210.28	c Finding binary XORs  T:     0.19 s  found:      15
39379.37/1236.01	c  N st  6575   1114593     16639     53601    183033     87284    350525  16380134     28.05   no data
39389.57/1236.33	c Finding binary XORs  T:     0.19 s  found:      46
40331.31/1265.87	c  N st  6576   1136190     16629     53542    189804    108702    350187  29007208     28.05   no data
40344.08/1266.24	c Finding binary XORs  T:     0.19 s  found:      22
41704.97/1308.92	c  N st  6577   1168585     16624     53519    199589    102668    350112  24818136     28.05   no data
41717.74/1309.29	c Finding binary XORs  T:     0.19 s  found:      21
43442.83/1363.21	c  N st  6578   1209742     16613     53479    203153     99436    349746  17411726     28.05   no data
43442.83/1363.21	c  S st  6578   1209742     16613     53479    203153     99436    349746  17411726     28.05   no data
43452.43/1363.53	c Finding binary XORs  T:     0.19 s  found:      30
43490.79/1364.70	c Replacing      176 vars Replaced   294313 lits Time:     1.16 s 
43525.95/1365.88	c  S st  6578   1210246     16425     53225    203288     99511    347958  17442737     28.05   no data
43529.15/1365.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
44244.71/1388.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:   7950 BRemL:  27293 BRemN:      9 P: 200.0M T: 22.39
44251.10/1388.52	c Replacing        4 vars Replaced      923 lits Time:     0.13 s 
44251.10/1388.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44254.30/1388.64	c bin-w-bin subsume rem        19480 bins  time:  0.07 s
44257.49/1388.77	c subs with bin:      528  lits-rem:      1191  v-fix:    0  time:  0.13 s
44263.89/1388.92	c Subs w/ non-existent bins:     23 l-rem:    136 v-fix:     0 done:  16421 time:  0.15 s
44263.89/1388.96	c Removed useless bin:       8  fixed:     0  props:   1.08M  time:  0.04 s
44274.11/1389.26	c lits-rem:       101  cl-subs:      555  v-elim:    161  v-fix:    0  time:  0.29 s
44394.95/1393.08	c subs with bin:       45  lits-rem:      8354  v-fix:    0  time:  2.64 s
46235.17/1450.62	c lits-rem:      2842  cl-subs:     3068  v-elim:      0  v-fix:    0  time: 57.49 s
46242.19/1450.83	c vivif2 --  cl tried    52278 cl shrink      495 lits rem        623 time: 0.21
46289.48/1452.30	c vivif2 --  cl tried    85105 cl shrink    37085 lits rem    1303833 time: 1.45
46318.21/1453.27	c asymm  cl-useful: 0/700/52243 lits-rem:0 time: 0.96
46321.41/1453.36	c calculated reachability. Time: 0.07
46321.41/1453.36	c  N st  6578   1210246     16260     52243    160473     84607    340889  10267812     28.05   no data
46327.77/1453.58	c Finding binary XORs  T:     0.22 s  found:      11
49311.32/1546.91	c Finding binary XORs  T:     0.21 s  found:     192
49352.88/1548.21	c Replacing      203 vars Replaced   313939 lits Time:     1.30 s 
49608.22/1556.21	c  N st  6579   1283128     16000     51531    201861    112727    335485  22746122     28.05   no data
54926.89/1722.78	c  N st  6580   1392451     16000     51531    201875    122892    335485  27248743     28.05   no data
54942.89/1723.25	c Finding binary XORs  T:     0.21 s  found:     176
55000.39/1725.09	c Replacing      176 vars Replaced   316127 lits Time:     1.84 s 
56623.71/1775.89	c Finding binary XORs  T:     0.21 s  found:     113
59869.64/1877.49	c Finding binary XORs  T:     0.21 s  found:     123
59901.56/1878.49	c Replacing      236 vars Replaced   471855 lits Time:     1.00 s 
61074.37/1915.17	c Finding binary XORs  T:     0.21 s  found:      73
63358.54/1986.69	c  N st  6581   1556435     15475     50270    315193    112147    325908  21674308     28.05   no data
63373.90/1987.13	c Finding binary XORs  T:     0.21 s  found:     134
63415.46/1988.48	c Replacing      207 vars Replaced   370936 lits Time:     1.35 s 
71827.05/2251.73	c  N st  6582   1710251     15234     49825    331452    156448    322483  47034382     28.05   no data
71827.05/2251.73	c  S st  6582   1710251     15234     49825    331452    156448    322483  47034382     28.05   no data
71845.57/2252.39	c Finding binary XORs  T:     0.21 s  found:     518
71944.56/2255.46	c Replacing      518 vars Replaced  2066394 lits Time:     3.07 s 
71992.49/2256.91	c  S st  6582   1710752     14591     47948    351219    152957    308395  45023142     28.05   no data
71995.69/2257.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
72692.06/2278.82	c Flit:     1 Blit:      1 bXBeca:    0 bXProp:   65 Bins:    998 BRemL:  14988 BRemN:      4 P: 200.1M T: 21.69
72755.98/2280.85	c Replacing       65 vars Replaced   130997 lits Time:     2.02 s 
72759.18/2280.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
72762.38/2281.03	c bin-w-bin subsume rem        60553 bins  time:  0.13 s
72765.57/2281.19	c subs with bin:     1768  lits-rem:      4904  v-fix:    0  time:  0.16 s
72772.59/2281.39	c Subs w/ non-existent bins:     89 l-rem:    468 v-fix:     0 done:  14522 time:  0.21 s
72775.82/2281.44	c Removed useless bin:      28  fixed:     0  props:   1.31M  time:  0.04 s
72787.98/2281.83	c lits-rem:       162  cl-subs:      819  v-elim:    281  v-fix:    0  time:  0.39 s
72918.93/2285.98	c subs with bin:      610  lits-rem:     13992  v-fix:    0  time:  2.39 s
76149.99/2387.03	c lits-rem:      5364  cl-subs:     4292  v-elim:      0  v-fix:    0  time: 101.01 s
76155.75/2387.27	c vivif2 --  cl tried    45520 cl shrink     1389 lits rem       1902 time: 0.24
76264.40/2390.63	c vivif2 --  cl tried    97675 cl shrink    64309 lits rem    2981113 time: 3.33
76290.61/2391.48	c asymm  cl-useful: 0/543/45427 lits-rem:0 time: 0.85
76293.17/2391.58	c calculated reachability. Time: 0.08
76293.17/2391.58	c  N st  6582   1710752     14241     45427    268134     94462    289019  14879635     28.05   no data
76302.77/2391.86	c Finding binary XORs  T:     0.28 s  found:       9
83263.38/2611.24	c Following stats are for *FIRST FINISHED THREAD ONLY*
83263.38/2611.24	c num threads              : 32         
83263.38/2611.24	c restarts                 : 13518      
83263.38/2611.24	c dynamic restarts         : 13488      
83263.38/2611.24	c static restarts          : 30         
83263.38/2611.24	c full restarts            : 4          
83263.38/2611.24	c total simplify time      : 35.13      
83263.38/2611.24	c learnts DL2              : 0          
83263.38/2611.24	c learnts size 2           : 1347467    
83263.38/2611.24	c learnts size 1           : 2453        (2.65      % of vars)
83263.38/2611.24	c filedLit time            : 126.39      (4.86      % time)
83263.38/2611.24	c v-elim SatELite          : 68728       (74.33     % vars)
83263.38/2611.24	c SatELite time            : 32.36       (1.24      % time)
83263.38/2611.24	c v-elim xor               : 0           (0.00      % vars)
83263.38/2611.24	c xor elim time            : 0.34        (0.01      % time)
83263.38/2611.24	c num binary xor trees     : 3357       
83263.38/2611.24	c binxor trees' crown      : 11160       (3.32      leafs/tree)
83263.38/2611.24	c bin xor find time        : 19.93      
83263.38/2611.24	c OTF clause improved      : 25429       (0.01      clauses/conflict)
83263.38/2611.24	c OTF impr. size diff      : 64266       (2.53       lits/clause)
83263.38/2611.24	c OTF cl watch-shrink      : 2062525     (0.81      clauses/conflict)
83263.38/2611.24	c OTF cl watch-sh-lit      : 68902562    (33.41      lits/clause)
83263.38/2611.24	c tried to recurMin cls    : 1208299     (47.59      % of conflicts)
83263.38/2611.24	c updated cache            : 106430      (0.09       lits/tried recurMin)
83263.38/2611.24	c unit cls recevied        : 719         (29.31     % of units)
83263.38/2611.24	c unit cls sent            : 104         (4.24      % of units)
83263.38/2611.24	c bin cls recevied         : 804734     
83263.38/2611.24	c bin cls sent             : 36215      
83263.38/2611.24	c clauses over max glue    : 0           (0.00      % of all clauses)
83263.38/2611.24	c conflicts                : 2538824     (975.51    / sec)
83263.38/2611.24	c decisions                : 10754638    (0.70      % random)
83263.38/2611.24	c bogo-props               : 54688334184 (21013209.20 / sec)
83263.38/2611.24	c conflict literals        : 471225407   (41.43     % deleted)
83263.38/2611.24	c Memory used              : 26833.74    MB
83263.38/2611.24	c single-thread CPU time   : 2602.57     s
83263.38/2611.24	c all-threads sum CPU time : 83109.01    s
83263.38/2611.24	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 29.53 31.60 31.90 1/413 13095
/proc/meminfo: memFree=255157120/264257624 swapFree=67111528/67111528
[pid=13095] ppid=13093 vsize=338000 CPUtime=0.82 cores=0-31
/proc/13095/stat : 13095 (strangenight2-m) R 13093 13095 13069 0 -1 4202496 436 0 0 0 82 0 0 0 25 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 18446744073709551615 0 0 17 9 0 0 0
/proc/13095/statm: 84500 376 297 95 0 79482 0
[pid=13095/tid=13096] ppid=13093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13095/task/13096/stat : 13096 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13095/tid=13097] ppid=13093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13095/task/13097/stat : 13097 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13095/tid=13098] ppid=13093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13095/task/13098/stat : 13098 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717104 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13095/tid=13099] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13099/stat : 13099 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13095/tid=13100] ppid=13093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13095/task/13100/stat : 13100 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13095/tid=13101] ppid=13093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13095/task/13101/stat : 13101 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=13095/tid=13102] ppid=13093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13095/task/13102/stat : 13102 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717104 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13095/tid=13103] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13103/stat : 13103 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13095/tid=13104] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13104/stat : 13104 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=13095/tid=13105] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13105/stat : 13105 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717096 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13095/tid=13106] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13106/stat : 13106 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=13095/tid=13107] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13107/stat : 13107 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717110 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13095/tid=13108] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13108/stat : 13108 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13095/tid=13109] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13109/stat : 13109 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13095/tid=13110] ppid=13093 vsize=338000 CPUtime=0 cores=0-31
/proc/13095/task/13110/stat : 13110 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13095/tid=13111] ppid=13093 vsize=338000 CPUtime=0 cores=0-31
/proc/13095/task/13111/stat : 13111 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13095/tid=13112] ppid=13093 vsize=338000 CPUtime=0 cores=0-31
/proc/13095/task/13112/stat : 13112 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 258662753996 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13095/tid=13113] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13113/stat : 13113 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13095/tid=13114] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13114/stat : 13114 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13095/tid=13115] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13115/stat : 13115 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13095/tid=13116] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13116/stat : 13116 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13095/tid=13117] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13117/stat : 13117 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13095/tid=13118] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13118/stat : 13118 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717096 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13095/tid=13119] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13119/stat : 13119 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13095/tid=13120] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13120/stat : 13120 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13095/tid=13121] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13121/stat : 13121 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13095/tid=13122] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13122/stat : 13122 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13095/tid=13123] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13123/stat : 13123 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717104 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13095/tid=13124] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13124/stat : 13124 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717104 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=13095/tid=13125] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13125/stat : 13125 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13095/tid=13126] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13126/stat : 13126 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 26 0 0 0

[startup+0.050383 s]
/proc/loadavg: 29.53 31.60 31.90 1/413 13095
/proc/meminfo: memFree=255157120/264257624 swapFree=67111528/67111528
[pid=13095] ppid=13093 vsize=338000 CPUtime=1.25 cores=0-31
/proc/13095/stat : 13095 (strangenight2-m) R 13093 13095 13069 0 -1 4202496 436 0 0 0 125 0 0 0 25 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 18446744073709551615 0 0 17 9 0 0 0
/proc/13095/statm: 84500 376 297 95 0 79482 0
[pid=13095/tid=13096] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13096/stat : 13096 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717110 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13095/tid=13097] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13097/stat : 13097 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13095/tid=13098] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13098/stat : 13098 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717096 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13095/tid=13099] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13099/stat : 13099 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717104 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13095/tid=13100] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13100/stat : 13100 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13095/tid=13101] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13101/stat : 13101 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717096 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=13095/tid=13102] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13102/stat : 13102 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13095/tid=13103] ppid=13093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13095/task/13103/stat : 13103 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717110 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13095/tid=13104] ppid=13093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13095/task/13104/stat : 13104 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=13095/tid=13105] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13105/stat : 13105 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13095/tid=13106] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13106/stat : 13106 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=13095/tid=13107] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13107/stat : 13107 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717104 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13095/tid=13108] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13108/stat : 13108 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13095/tid=13109] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13109/stat : 13109 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13095/tid=13110] ppid=13093 vsize=338000 CPUtime=0 cores=0-31
/proc/13095/task/13110/stat : 13110 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13095/tid=13111] ppid=13093 vsize=338000 CPUtime=0.01 cores=0-31
/proc/13095/task/13111/stat : 13111 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13095/tid=13112] ppid=13093 vsize=338000 CPUtime=0.01 cores=0-31
/proc/13095/task/13112/stat : 13112 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717104 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13095/tid=13113] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13113/stat : 13113 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13095/tid=13114] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13114/stat : 13114 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13095/tid=13115] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13115/stat : 13115 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13095/tid=13116] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13116/stat : 13116 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13095/tid=13117] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13117/stat : 13117 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13095/tid=13118] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13118/stat : 13118 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13095/tid=13119] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13119/stat : 13119 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13095/tid=13120] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13120/stat : 13120 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13095/tid=13121] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13121/stat : 13121 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13095/tid=13122] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13122/stat : 13122 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13095/tid=13123] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13123/stat : 13123 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13095/tid=13124] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13124/stat : 13124 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717104 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=13095/tid=13125] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13125/stat : 13125 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13095/tid=13126] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13126/stat : 13126 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 338000

[startup+0.103363 s]
/proc/loadavg: 29.53 31.60 31.90 1/413 13095
/proc/meminfo: memFree=255157120/264257624 swapFree=67111528/67111528
[pid=13095] ppid=13093 vsize=732568 CPUtime=2.57 cores=0-31
/proc/13095/stat : 13095 (strangenight2-m) D 13093 13095 13069 0 -1 4202496 8509 0 0 0 197 60 0 0 25 0 32 0 740923450 750149632 8327 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 9 0 0 0
/proc/13095/statm: 183142 8367 332 95 0 178124 0
[pid=13095/tid=13096] ppid=13093 vsize=732568 CPUtime=0.08 cores=0-31
/proc/13095/task/13096/stat : 13096 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 252 0 0 0 6 2 0 0 24 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13095/tid=13097] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13097/stat : 13097 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 236 0 0 0 6 1 0 0 18 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13095/tid=13098] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13098/stat : 13098 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 271 0 0 0 6 1 0 0 24 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13095/tid=13099] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13099/stat : 13099 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 309 0 0 0 6 1 0 0 18 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13095/tid=13100] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13100/stat : 13100 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 222 0 0 0 6 1 0 0 24 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13095/tid=13101] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13101/stat : 13101 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 243 0 0 0 6 1 0 0 24 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=13095/tid=13102] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13102/stat : 13102 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 225 0 0 0 6 1 0 0 25 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13095/tid=13103] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13103/stat : 13103 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 246 0 0 0 6 1 0 0 17 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13095/tid=13104] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13104/stat : 13104 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 247 0 0 0 6 1 0 0 25 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=13095/tid=13105] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13105/stat : 13105 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 241 0 0 0 6 1 0 0 25 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13095/tid=13106] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13106/stat : 13106 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 272 0 0 0 6 1 0 0 18 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=13095/tid=13107] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13107/stat : 13107 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 238 0 0 0 6 1 0 0 25 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13095/tid=13108] ppid=13093 vsize=740772 CPUtime=0.07 cores=0-31
/proc/13095/task/13108/stat : 13108 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 221 0 0 0 6 1 0 0 25 0 32 0 740923450 758550528 8382 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13095/tid=13109] ppid=13093 vsize=740772 CPUtime=0.05 cores=0-31
/proc/13095/task/13109/stat : 13109 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 257 0 0 0 4 1 0 0 25 0 32 0 740923451 758550528 8393 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13095/tid=13110] ppid=13093 vsize=740772 CPUtime=0.02 cores=0-31
/proc/13095/task/13110/stat : 13110 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 268 0 0 0 1 1 0 0 17 0 32 0 740923451 758550528 8410 268435456000 4194304 4580107 140733390330784 18446744073709551615 258651060958 0 0 4096 2 18446744071566929424 0 0 -1 17 0 0 0
[pid=13095/tid=13111] ppid=13093 vsize=740772 CPUtime=0.04 cores=0-31
/proc/13095/task/13111/stat : 13111 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 268 0 0 0 3 1 0 0 17 0 32 0 740923451 758550528 8435 268435456000 4194304 4580107 140733390330784 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13095/tid=13112] ppid=13093 vsize=740772 CPUtime=0.04 cores=0-31

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

/proc/13095/stat : 13095 (strangenight2-m) R 13093 13095 13069 0 -1 4202496 20703396 0 0 0 8305295 15446 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/13095/statm: 6869436 5653628 379 95 0 6864418 0
[pid=13095/tid=13096] ppid=13093 vsize=27477744 CPUtime=2598.3 cores=0-31
/proc/13095/task/13096/stat : 13096 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 664070 0 0 0 259329 501 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13095/tid=13097] ppid=13093 vsize=27477744 CPUtime=2603.17 cores=0-31
/proc/13095/task/13097/stat : 13097 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 719379 0 0 0 259743 574 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13095/tid=13098] ppid=13093 vsize=27477744 CPUtime=2603.14 cores=0-31
/proc/13095/task/13098/stat : 13098 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 741856 0 0 0 259758 556 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294224 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13095/tid=13099] ppid=13093 vsize=27477744 CPUtime=2601.33 cores=0-31
/proc/13095/task/13099/stat : 13099 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 655587 0 0 0 259661 472 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=13095/tid=13100] ppid=13093 vsize=27477744 CPUtime=2598.34 cores=0-31
/proc/13095/task/13100/stat : 13100 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 638279 0 0 0 259304 530 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=13095/tid=13101] ppid=13093 vsize=27477744 CPUtime=2600.96 cores=0-31
/proc/13095/task/13101/stat : 13101 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 686879 0 0 0 259560 536 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13095/tid=13102] ppid=13093 vsize=27477744 CPUtime=2594.65 cores=0-31
/proc/13095/task/13102/stat : 13102 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 705139 0 0 0 258950 515 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4304867 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13095/tid=13103] ppid=13093 vsize=27477744 CPUtime=2599.26 cores=0-31
/proc/13095/task/13103/stat : 13103 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 651583 0 0 0 259431 495 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13095/tid=13104] ppid=13093 vsize=27477744 CPUtime=2593.01 cores=0-31
/proc/13095/task/13104/stat : 13104 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 687690 0 0 0 258762 539 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13095/tid=13105] ppid=13093 vsize=27477744 CPUtime=2594.86 cores=0-31
/proc/13095/task/13105/stat : 13105 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 673193 0 0 0 258979 507 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=13095/tid=13106] ppid=13093 vsize=27477744 CPUtime=2594.45 cores=0-31
/proc/13095/task/13106/stat : 13106 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 906767 0 0 0 258887 558 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13095/tid=13107] ppid=13093 vsize=27477744 CPUtime=2602.79 cores=0-31
/proc/13095/task/13107/stat : 13107 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 699033 0 0 0 259815 464 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4417020 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13095/tid=13108] ppid=13093 vsize=27477744 CPUtime=2603.91 cores=0-31
/proc/13095/task/13108/stat : 13108 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 630718 0 0 0 259922 469 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13095/tid=13109] ppid=13093 vsize=27477744 CPUtime=2603.53 cores=0-31
/proc/13095/task/13109/stat : 13109 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 589417 0 0 0 259913 440 0 0 25 0 32 0 740923451 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13095/tid=13110] ppid=13093 vsize=27477744 CPUtime=2600.48 cores=0-31
/proc/13095/task/13110/stat : 13110 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 591959 0 0 0 259630 418 0 0 25 0 32 0 740923451 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4497315 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13095/tid=13111] ppid=13093 vsize=27477744 CPUtime=2601.31 cores=0-31
/proc/13095/task/13111/stat : 13111 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 618355 0 0 0 259662 469 0 0 25 0 32 0 740923451 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13095/tid=13112] ppid=13093 vsize=27477744 CPUtime=2601.4 cores=0-31
/proc/13095/task/13112/stat : 13112 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 621553 0 0 0 259658 482 0 0 25 0 32 0 740923451 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4295530 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13095/tid=13113] ppid=13093 vsize=27477744 CPUtime=2600.27 cores=0-31
/proc/13095/task/13113/stat : 13113 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 604325 0 0 0 259558 469 0 0 25 0 32 0 740923451 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4256307 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=13095/tid=13114] ppid=13093 vsize=27477744 CPUtime=2595.13 cores=0-31
/proc/13095/task/13114/stat : 13114 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 608362 0 0 0 259045 468 0 0 25 0 32 0 740923451 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=13095/tid=13115] ppid=13093 vsize=27477744 CPUtime=2599.65 cores=0-31
/proc/13095/task/13115/stat : 13115 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 578591 0 0 0 259480 485 0 0 25 0 32 0 740923451 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4496898 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13095/tid=13116] ppid=13093 vsize=27477744 CPUtime=2602.33 cores=0-31
/proc/13095/task/13116/stat : 13116 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 612015 0 0 0 259755 478 0 0 25 0 32 0 740923451 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=13095/tid=13117] ppid=13093 vsize=27477744 CPUtime=2603.5 cores=0-31
/proc/13095/task/13117/stat : 13117 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 623618 0 0 0 259910 440 0 0 25 0 32 0 740923451 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13095/tid=13118] ppid=13093 vsize=27477744 CPUtime=2601.63 cores=0-31
/proc/13095/task/13118/stat : 13118 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 629883 0 0 0 259667 496 0 0 25 0 32 0 740923451 28137209856 5653629 268435456000 4194304 4580107 140733390330784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13095/tid=13119] ppid=13093 vsize=27477744 CPUtime=2603.13 cores=0-31
/proc/13095/task/13119/stat : 13119 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 619626 0 0 0 259841 472 0 0 25 0 32 0 740923451 28137209856 5653629 268435456000 4194304 4580107 140733390330784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13095/tid=13120] ppid=13093 vsize=27477744 CPUtime=2601.63 cores=0-31
/proc/13095/task/13120/stat : 13120 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 675013 0 0 0 259654 509 0 0 25 0 32 0 740923451 28137209856 5653629 268435456000 4194304 4580107 140733390330784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=13095/tid=13121] ppid=13093 vsize=27477744 CPUtime=2593.78 cores=0-31
/proc/13095/task/13121/stat : 13121 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 637334 0 0 0 258899 479 0 0 25 0 32 0 740923451 28137209856 5653630 268435456000 4194304 4580107 140733390330784 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13095/tid=13122] ppid=13093 vsize=27477744 CPUtime=2603.83 cores=0-31
/proc/13095/task/13122/stat : 13122 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 642242 0 0 0 259916 467 0 0 25 0 32 0 740923451 28137209856 5653630 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13095/tid=13123] ppid=13093 vsize=27477744 CPUtime=2602.97 cores=0-31
/proc/13095/task/13123/stat : 13123 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 629891 0 0 0 259867 430 0 0 25 0 32 0 740923451 28137209856 5653630 268435456000 4194304 4580107 140733390330784 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13095/tid=13124] ppid=13093 vsize=27477744 CPUtime=2596.77 cores=0-31
/proc/13095/task/13124/stat : 13124 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 514392 0 0 0 259233 444 0 0 25 0 32 0 740923451 28137209856 5653630 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13095/tid=13125] ppid=13093 vsize=27477744 CPUtime=2599.94 cores=0-31
/proc/13095/task/13125/stat : 13125 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 515489 0 0 0 259594 400 0 0 25 0 32 0 740923451 28137209856 5653631 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13095/tid=13126] ppid=13093 vsize=27477744 CPUtime=2604.46 cores=0-31
/proc/13095/task/13126/stat : 13126 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 379951 0 0 0 260162 284 0 0 25 0 32 0 740923451 28137209856 5653631 268435456000 4194304 4580107 140733390330784 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 83207.4
Current children cumulated vsize (KiB) 27477744

[startup+2611.1 s]
/proc/loadavg: 32.04 32.06 32.06 3/445 13206
/proc/meminfo: memFree=232493924/264257624 swapFree=67111528/67111528
[pid=13095] ppid=13093 vsize=27477744 CPUtime=83263.2 cores=0-31
/proc/13095/stat : 13095 (strangenight2-m) S 13093 13095 13069 0 -1 4202496 20707536 0 0 0 8310871 15448 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/13095/statm: 6869436 5657737 379 95 0 6864418 0
[pid=13095/tid=13096] ppid=13093 vsize=27477744 CPUtime=2599.95 cores=0-31
/proc/13095/task/13096/stat : 13096 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 664155 0 0 0 259494 501 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604567380008416 0 0 -1 7 0 0 0
[pid=13095/tid=13097] ppid=13093 vsize=27477744 CPUtime=2604.82 cores=0-31
/proc/13095/task/13097/stat : 13097 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 719462 0 0 0 259908 574 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604570009468384 0 0 -1 2 0 0 0
[pid=13095/tid=13098] ppid=13093 vsize=27477744 CPUtime=2604.79 cores=0-31
/proc/13095/task/13098/stat : 13098 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 741943 0 0 0 259923 556 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604573466066400 0 0 -1 16 0 0 0
[pid=13095/tid=13099] ppid=13093 vsize=27477744 CPUtime=2602.98 cores=0-31
/proc/13095/task/13099/stat : 13099 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 655761 0 0 0 259826 472 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604567115668960 0 0 -1 9 0 0 0
[pid=13095/tid=13100] ppid=13093 vsize=27477744 CPUtime=2599.99 cores=0-31
/proc/13095/task/13100/stat : 13100 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 638398 0 0 0 259469 530 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604476379282912 0 0 -1 27 0 0 0
[pid=13095/tid=13101] ppid=13093 vsize=27477744 CPUtime=2602.61 cores=0-31
/proc/13095/task/13101/stat : 13101 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 686974 0 0 0 259725 536 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604574523637216 0 0 -1 6 0 0 0
[pid=13095/tid=13102] ppid=13093 vsize=27477744 CPUtime=2596.29 cores=0-31
/proc/13095/task/13102/stat : 13102 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 705171 0 0 0 259114 515 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604566229319136 0 0 -1 17 0 0 0
[pid=13095/tid=13103] ppid=13093 vsize=27477744 CPUtime=2600.9 cores=0-31
/proc/13095/task/13103/stat : 13103 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 651681 0 0 0 259595 495 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604706040602080 0 0 -1 13 0 0 0
[pid=13095/tid=13104] ppid=13093 vsize=27477744 CPUtime=2594.66 cores=0-31
/proc/13095/task/13104/stat : 13104 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 687690 0 0 0 258927 539 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604532326489568 0 0 -1 4 0 0 0
[pid=13095/tid=13105] ppid=13093 vsize=27477744 CPUtime=2596.51 cores=0-31
/proc/13095/task/13105/stat : 13105 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 673300 0 0 0 259144 507 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604710574792160 0 0 -1 30 0 0 0
[pid=13095/tid=13106] ppid=13093 vsize=27477744 CPUtime=2596.1 cores=0-31
/proc/13095/task/13106/stat : 13106 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 907115 0 0 0 259052 558 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604496776682976 0 0 -1 0 0 0 0
[pid=13095/tid=13107] ppid=13093 vsize=27477744 CPUtime=2605.99 cores=0-31
/proc/13095/task/13107/stat : 13107 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 700138 0 0 0 260135 464 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 4295479 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13095/tid=13108] ppid=13093 vsize=27477744 CPUtime=2607.11 cores=0-31
/proc/13095/task/13108/stat : 13108 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 630784 0 0 0 260242 469 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202692292 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13095/tid=13109] ppid=13093 vsize=27477744 CPUtime=2605.18 cores=0-31
/proc/13095/task/13109/stat : 13109 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 589521 0 0 0 260078 440 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604565028183520 0 0 -1 20 0 0 0
[pid=13095/tid=13110] ppid=13093 vsize=27477744 CPUtime=2602.12 cores=0-31
/proc/13095/task/13110/stat : 13110 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 592030 0 0 0 259794 418 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446744071566932544 0 0 -1 14 0 0 0
[pid=13095/tid=13111] ppid=13093 vsize=27477744 CPUtime=2602.96 cores=0-31
/proc/13095/task/13111/stat : 13111 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 618450 0 0 0 259827 469 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604500631166432 0 0 -1 18 0 0 0
[pid=13095/tid=13112] ppid=13093 vsize=27477744 CPUtime=2603.05 cores=0-31
/proc/13095/task/13112/stat : 13112 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 621675 0 0 0 259823 482 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604575184936416 0 0 -1 29 0 0 0
[pid=13095/tid=13113] ppid=13093 vsize=27477744 CPUtime=2601.92 cores=0-31
/proc/13095/task/13113/stat : 13113 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 604377 0 0 0 259723 469 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604712325144032 0 0 -1 22 0 0 0
[pid=13095/tid=13114] ppid=13093 vsize=27477744 CPUtime=2596.72 cores=0-31
/proc/13095/task/13114/stat : 13114 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 608492 0 0 0 259204 468 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604567100120544 0 0 -1 31 0 0 0
[pid=13095/tid=13115] ppid=13093 vsize=27477744 CPUtime=2601.29 cores=0-31
/proc/13095/task/13115/stat : 13115 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 578665 0 0 0 259644 485 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604572180602336 0 0 -1 19 0 0 0
[pid=13095/tid=13116] ppid=13093 vsize=27477744 CPUtime=2603.97 cores=0-31
/proc/13095/task/13116/stat : 13116 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 612015 0 0 0 259919 478 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604495661563360 0 0 -1 23 0 0 0
[pid=13095/tid=13117] ppid=13093 vsize=27477744 CPUtime=2605.15 cores=0-31
/proc/13095/task/13117/stat : 13117 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 623693 0 0 0 260074 441 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604509898669536 0 0 -1 5 0 0 0
[pid=13095/tid=13118] ppid=13093 vsize=27477744 CPUtime=2603.28 cores=0-31
/proc/13095/task/13118/stat : 13118 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 629983 0 0 0 259832 496 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604572841795040 0 0 -1 10 0 0 0
[pid=13095/tid=13119] ppid=13093 vsize=27477744 CPUtime=2604.77 cores=0-31
/proc/13095/task/13119/stat : 13119 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 619728 0 0 0 260005 472 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604574559944160 0 0 -1 15 0 0 0
[pid=13095/tid=13120] ppid=13093 vsize=27477744 CPUtime=2603.27 cores=0-31
/proc/13095/task/13120/stat : 13120 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 675013 0 0 0 259818 509 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604477662805472 0 0 -1 26 0 0 0
[pid=13095/tid=13121] ppid=13093 vsize=27477744 CPUtime=2595.43 cores=0-31
/proc/13095/task/13121/stat : 13121 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 637431 0 0 0 259064 479 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604696573140448 0 0 -1 11 0 0 0
[pid=13095/tid=13122] ppid=13093 vsize=27477744 CPUtime=2605.48 cores=0-31
/proc/13095/task/13122/stat : 13122 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 642329 0 0 0 260081 467 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604504270421472 0 0 -1 3 0 0 0
[pid=13095/tid=13123] ppid=13093 vsize=27477744 CPUtime=2604.62 cores=0-31
/proc/13095/task/13123/stat : 13123 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 629950 0 0 0 260032 430 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604510106082784 0 0 -1 1 0 0 0
[pid=13095/tid=13124] ppid=13093 vsize=27477744 CPUtime=2598.42 cores=0-31
/proc/13095/task/13124/stat : 13124 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 514548 0 0 0 259398 444 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604573650648544 0 0 -1 28 0 0 0
[pid=13095/tid=13125] ppid=13093 vsize=27477744 CPUtime=2601.59 cores=0-31
/proc/13095/task/13125/stat : 13125 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 515534 0 0 0 259759 400 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604574320909792 0 0 -1 8 0 0 0
[pid=13095/tid=13126] ppid=13093 vsize=27477744 CPUtime=2606.11 cores=0-31
/proc/13095/task/13126/stat : 13126 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 380062 0 0 0 260327 284 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604710764158432 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 83263.2
Current children cumulated vsize (KiB) 27477744

[startup+2611.9 s]
/proc/loadavg: 32.04 32.06 32.06 2/415 13206
/proc/meminfo: memFree=233049940/264257624 swapFree=67111528/67111528
[pid=13095] ppid=13093 vsize=0 CPUtime=83264.1 cores=0-31
/proc/13095/stat : 13095 (strangenight2-m) Z 13093 13095 13069 0 -1 4203548 20707540 0 0 0 8310900 15514 0 0 18 0 2 0 740923450 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/13095/statm: 0 0 0 0 0 0 0
[pid=13095/tid=13107] ppid=13093 vsize=0 CPUtime=2606.79 cores=0-31
/proc/13095/task/13107/stat : 13107 (strangenight2-m) R 13093 13095 13069 0 -1 4203588 700138 0 0 0 260150 529 0 0 25 0 2 0 740923450 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 83264.1
Current children cumulated vsize (KiB) 0

[startup+2612.7 s]
/proc/loadavg: 32.04 32.06 32.06 2/415 13206
/proc/meminfo: memFree=247307452/264257624 swapFree=67111528/67111528
[pid=13095] ppid=13093 vsize=0 CPUtime=83264.9 cores=0-31
/proc/13095/stat : 13095 (strangenight2-m) Z 13093 13095 13069 0 -1 4203548 20707540 0 0 0 8310900 15594 0 0 18 0 2 0 740923450 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/13095/statm: 0 0 0 0 0 0 0
[pid=13095/tid=13107] ppid=13093 vsize=0 CPUtime=2607.59 cores=0-31
/proc/13095/task/13107/stat : 13107 (strangenight2-m) R 13093 13095 13069 0 -1 4203588 700138 0 0 0 260150 609 0 0 25 0 2 0 740923450 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 83264.9
Current children cumulated vsize (KiB) 0

[startup+2612.9 s]
/proc/loadavg: 32.04 32.06 32.06 2/415 13206
/proc/meminfo: memFree=247307452/264257624 swapFree=67111528/67111528
[pid=13095] ppid=13093 vsize=0 CPUtime=83265.1 cores=0-31
/proc/13095/stat : 13095 (strangenight2-m) Z 13093 13095 13069 0 -1 4203548 20707540 0 0 0 8310900 15614 0 0 18 0 2 0 740923450 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/13095/statm: 0 0 0 0 0 0 0
[pid=13095/tid=13107] ppid=13093 vsize=0 CPUtime=2607.79 cores=0-31
/proc/13095/task/13107/stat : 13107 (strangenight2-m) R 13093 13095 13069 0 -1 4203588 700138 0 0 0 260150 629 0 0 25 0 2 0 740923450 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 83265.1
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 2612.98
CPU time (s): 83265.2
CPU user time (s): 83109
CPU system time (s): 156.223
CPU usage (%): 3186.6
Max. virtual memory (cumulated for all children) (KiB): 27887960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83109
system time used= 156.223
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20707540
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= 1839703
involuntary context switches= 175167

runsolver used 15.8136 second user time and 58.2381 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-25 05:32:50
IDJOB=3400658
IDBENCH=70797
IDSOLVER=1886
FILE ID=node200/3400658-1306294370
RUNJOBID= node200-1306294370-13083
PBS_JOBID= 13411777
Free space on /tmp= 62040 MiB

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

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

MD5SUM BENCH= 49dbd2fb16b3d5ce554d30c48729a56d
RANDOM SEED=1107797051

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255157528 kB
Buffers:        465836 kB
Cached:        8224816 kB
SwapCached:          0 kB
Active:        7774896 kB
Inactive:       984420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255157528 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10368 kB
Writeback:           0 kB
AnonPages:       69032 kB
Mapped:          14860 kB
Slab:           255852 kB
PageTables:       4584 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   186444 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= 62036 MiB
End job on node200 at 2011-05-25 06:16:23