Trace number 3400632

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 6390.7 222.831

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k80.cnf
MD5SUM337e301d7c1a4748ec4a1ced7e688c38
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark6390.7
Satisfiable
(Un)Satisfiability was proved
Number of variables45937
Number of clauses166840
Sum of the clauses size445312
Maximum clause length37
Minimum clause length1
Number of clauses of size 11058
Number of clauses of size 285826
Number of clauses of size 373620
Number of clauses of size 4406
Number of clauses of size 5785
Number of clauses of size over 55145

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.03	c Using 32 threads
1.01/0.05	c This is CryptoMiniSat 3.0.0
1.01/0.05	c WARNING: for repeatability, setting FPU to use double precision
1.01/0.05	c Reading file 'HOME/instance-3400632-1306257571.cnf'
2.62/0.11	c -- header says num vars:          45937
2.62/0.11	c -- header says num clauses:      166840
24.94/1.48	c -- clauses added:            0 learnts,       166840 normals,            0 xors
24.94/1.48	c -- vars added      45937
24.94/1.48	c Parsing time:  0.27 s
24.94/1.48	c  N st     0         0     45937     79956     85826         0    444254         0   no data   no data
77.27/3.18	c asymm  cl-useful: 8/3058/79806 lits-rem:15 time: 1.68
480.23/22.05	c Flit:   149 Blit:      3 bXBeca:    0 bXProp: 14030 Bins:      0 BRemL:      0 BRemN:      0 P: 105.2M T: 11.48
480.23/22.06	c Cleaning up after failed var search:     0.01 s 
482.69/22.11	c Replacing    14030 vars Replaced   284641 lits Time:     0.05 s 
485.69/22.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
485.69/22.22	c bin-w-bin subsume rem            6 bins  time:  0.01 s
485.69/22.25	c subs with bin:        2  lits-rem:         5  v-fix:    0  time:  0.02 s
497.67/22.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  30691 time:  0.50 s
507.44/23.11	c Removed useless bin:       2  fixed:     0  props:  20.00M  time:  0.32 s
523.69/23.65	c lits-rem:        13  cl-subs:       68  v-elim:  10230  v-fix:    0  time:  0.40 s
529.61/23.86	c Finding binary XORs  T:     0.21 s  found:     983
529.61/23.89	c Replacing      983 vars Replaced    21072 lits Time:     0.02 s 
535.30/24.02	c Finding non-binary XORs:     0.06 s (found:   12642, avg size: 3.0)
535.30/24.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   5368 locsubst: 31182 time:   0.04
535.30/24.03	c Replacing      432 vars Replaced     4943 lits Time:     0.01 s 
535.30/24.06	c calculated reachability. Time: 0.03
535.30/24.07	c Calc default polars -  time:   0.01 s pos:    3284 undec:   33637 neg:    9016
535.30/24.07	c =========================================================================================
535.30/24.07	c types(t): F = full restart, N = normal restart
535.30/24.07	c types(t): S = simplification begin/end, E = solution found
535.30/24.07	c restart types(rt): st = static, dy = dynamic
535.30/24.07	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
535.30/24.07	c  B st     0         0     13678     22649     33895         0    227729         0   no data   no data
554.24/24.65	c  N dy    19      4003     13678     22649     33935      3395    227728    140980     15.90     21.94
566.99/25.06	c  N dy    36      8011     13676     22649     35471      6527    227726    213061     12.13     12.88
582.95/25.51	c  N dy    54     12086     13676     22649     35538      9819    227723    290028     11.52     15.27
586.14/25.66	c Finding binary XORs  T:     0.14 s  found:     253
586.14/25.67	c Replacing      254 vars Replaced    11480 lits Time:     0.02 s 
595.74/25.98	c  N dy    64     16239     13421     22637     36424     12608    227666    374421     10.65     11.35
612.32/26.47	c  N dy    87     20244     13421     22637     37567      8061    227663    106633     10.67     17.69
627.65/26.92	c  N dy   105     24315     13421     22637     37600     11525    227663    201837     10.85     11.42
630.85/27.00	c  F st   109     25001     13421     22637     37614     12081    227662    217538     10.87      8.52
637.24/27.24	c Finding binary XORs  T:     0.14 s  found:     693
637.24/27.26	c Replacing      693 vars Replaced    31963 lits Time:     0.02 s 
662.79/28.02	c  N dy   115     30001     12726     22576     37262     14680    227444    439759     10.87   no data
662.79/28.02	c  S st   115     30001     12726     22576     37262     14680    227444    439759     10.87   no data
666.00/28.12	c  S st   115     30505     12726     22576     37272     15112    227444    445194     10.87   no data
666.00/28.16	c x-sub:  1150 x-cut:      0 vfix:      0 v-elim:   2370 locsubst:  1582 time:   0.04
803.38/32.42	c Flit:    15 Blit:      4 bXBeca:    0 bXProp: 2361 Bins:  59788 BRemL:  11595 BRemN:      0 P: 63.8M T:  4.25
803.38/32.48	c Replacing     2469 vars Replaced   221705 lits Time:     0.05 s 
803.38/32.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
806.57/32.53	c bin-w-bin subsume rem        53482 bins  time:  0.04 s
809.77/32.61	c subs with bin:     7714  lits-rem:     16541  v-fix:    0  time:  0.08 s
809.77/32.65	c Subs w/ non-existent bins:   2155 l-rem:   2029 v-fix:     0 done:   7863 time:  0.04 s
809.77/32.66	c Removed useless bin:     956  fixed:     0  props:   0.92M  time:  0.01 s
812.97/32.70	c lits-rem:       240  cl-subs:     3742  v-elim:    141  v-fix:    0  time:  0.04 s
812.97/32.72	c subs with bin:       54  lits-rem:      3165  v-fix:    0  time:  0.01 s
812.97/32.73	c lits-rem:        81  cl-subs:      381  v-elim:      0  v-fix:    0  time:  0.01 s
819.98/32.93	c asymm  cl-useful: 529/5475/8533 lits-rem:529 time: 0.19
819.98/32.93	c calculated reachability. Time: 0.01
819.98/32.94	c  N dy   115     30505      7722      8533     27094      1099    101415     29337     10.87   no data
823.21/33.04	c Finding binary XORs  T:     0.10 s  found:      26
835.36/33.43	c  N dy   147     34633      7722      8533     31009      4660    101414    147292     12.17     12.85
841.70/33.66	c Finding binary XORs  T:     0.09 s  found:     620
841.70/33.67	c Replacing      646 vars Replaced    24285 lits Time:     0.02 s 
854.40/34.04	c  N dy   164     41187      7076      8023     79125      9555     98721    321353     11.85     12.52
875.82/34.70	c  N dy   183     45242      7076      8023     88017      7775     98718    239583     11.88     13.40
875.82/34.73	c  S st   187     45758      7076      8023     88022      8180     98717    247478     11.89      6.94
875.82/34.79	c  S st   187     46262      7076      8023     88030      8583     98717    250503     11.89   no data
879.01/34.84	c x-sub:   359 x-cut:      0 vfix:      0 v-elim:    958 locsubst:  1057 time:   0.04
892.41/35.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   95 Bins:   4877 BRemL:  30753 BRemN:   1395 P:  5.6M T:  0.44
892.41/35.29	c Replacing      177 vars Replaced     4971 lits Time:     0.01 s 
892.41/35.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
894.97/35.32	c bin-w-bin subsume rem        38748 bins  time:  0.02 s
894.97/35.34	c subs with bin:      799  lits-rem:         6  v-fix:    0  time:  0.02 s
894.97/35.35	c Subs w/ non-existent bins:     90 l-rem:     25 v-fix:     0 done:   5941 time:  0.01 s
894.97/35.36	c Removed useless bin:     149  fixed:     0  props:   0.86M  time:  0.01 s
894.97/35.37	c lits-rem:        11  cl-subs:     1069  v-elim:     40  v-fix:    0  time:  0.01 s
894.97/35.38	c subs with bin:       13  lits-rem:        91  v-fix:    0  time:  0.00 s
894.97/35.39	c lits-rem:       150  cl-subs:      640  v-elim:      0  v-fix:    0  time:  0.01 s
898.17/35.40	c vivif2 --  cl tried     6149 cl shrink       51 lits rem        105 time: 0.00
898.17/35.40	c vivif2 --  cl tried     1883 cl shrink       26 lits rem         39 time: 0.00
901.37/35.55	c asymm  cl-useful: 241/6149/6149 lits-rem:323 time: 0.15
901.37/35.56	c calculated reachability. Time: 0.00
901.37/35.56	c  N dy   187     46262      5901      6142     21020      1882     79863     30920     11.89   no data
904.57/35.65	c Finding binary XORs  T:     0.09 s  found:       2
910.96/35.81	c  N dy   208     50311      5898      6142     28714      4853     79862    109985     12.15     38.85
917.36/36.04	c  N dy   235     54425      5890      6142     28716      8138     79857    215728     12.97     14.20
920.55/36.16	c  N dy   237     61120      5890      6142     28716     13335     79857    277065     12.39     13.04
924.37/36.29	c Finding binary XORs  T:     0.08 s  found:     175
924.37/36.31	c Replacing      187 vars Replaced    19090 lits Time:     0.02 s 
930.12/36.41	c  N dy   249     65187      5701      5938     32945      8673     78338    124176     12.23     27.72
936.51/36.61	c  N dy   277     69382      5701      5938     33033     11985     78338    201648     12.53     16.93
936.51/36.61	c  S st   278     69394      5701      5938     33033     11995     78338    201937     12.53   no data
936.51/36.66	c  S st   278     69898      5701      5938     33040     12384     78338    204938     12.53   no data
939.71/36.70	c x-sub:   118 x-cut:      0 vfix:      0 v-elim:    165 locsubst:   881 time:   0.05
946.11/36.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   36 Bins:   2592 BRemL:  16215 BRemN:     94 P:  4.0M T:  0.25
946.11/36.96	c Replacing      119 vars Replaced     4115 lits Time:     0.01 s 
946.11/36.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
946.11/36.96	c bin-w-bin subsume rem         2989 bins  time:  0.00 s
946.11/36.98	c subs with bin:      445  lits-rem:         5  v-fix:    0  time:  0.01 s
946.11/36.99	c Subs w/ non-existent bins:     61 l-rem:      0 v-fix:     0 done:   5417 time:  0.01 s
946.11/37.00	c Removed useless bin:      72  fixed:     0  props:   0.57M  time:  0.01 s
949.31/37.01	c lits-rem:         6  cl-subs:      399  v-elim:     40  v-fix:    0  time:  0.01 s
949.31/37.02	c subs with bin:       43  lits-rem:       181  v-fix:    0  time:  0.00 s
949.31/37.06	c lits-rem:       871  cl-subs:     1681  v-elim:      0  v-fix:    0  time:  0.03 s
949.31/37.06	c vivif2 --  cl tried     5189 cl shrink       34 lits rem         71 time: 0.00
949.31/37.06	c vivif2 --  cl tried     5536 cl shrink       13 lits rem         17 time: 0.00
952.50/37.17	c asymm  cl-useful: 672/5189/5189 lits-rem:1876 time: 0.11
952.50/37.18	c calculated reachability. Time: 0.00
952.50/37.18	c  N dy   278     69898      5377      4688     16296      5536     72394     62748     12.53   no data
955.71/37.27	c Finding binary XORs  T:     0.09 s  found:      59
955.71/37.28	c Replacing       59 vars Replaced     1284 lits Time:     0.01 s 
962.73/37.45	c  N dy   309     74368      5318      4680     20373      8872     72049    143899     12.77     22.14
968.47/37.62	c  N dy   335     80475      5318      4680     20387     13222     72049    218537     12.75     13.45
971.67/37.78	c  N dy   356     85760      5318      4680     21534     16908     72047    282379     12.69     13.36
974.87/37.88	c Finding binary XORs  T:     0.07 s  found:     134
978.06/37.90	c Replacing      134 vars Replaced    11860 lits Time:     0.01 s 
978.06/37.92	c  F st   361     87501      5184      4525     22987     17674     71333    297424     12.63     10.90
981.27/38.07	c Decided on static restart strategy
981.27/38.07	c  N st   367     92693      5184      4525     22990     12101     71333    150140     12.63   no data
1003.64/38.77	c  N st   369     99804      5184      4525     24387     18842     71333    602749     12.63   no data
1026.02/39.41	c  S st   370    104848      5184      4525     24387     23435     71333    978105     12.63   no data
1026.02/39.49	c Finding binary XORs  T:     0.07 s  found:      83
1029.84/39.54	c Replacing       83 vars Replaced    14125 lits Time:     0.05 s 
1029.84/39.60	c  S st   370    105354      5101      4436     31511     23469     70934    993619     12.63   no data
1033.03/39.65	c x-sub:   110 x-cut:      0 vfix:      0 v-elim:     71 locsubst:  2705 time:   0.06
1038.79/39.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:   2534 BRemL:  14093 BRemN:    182 P:  3.4M T:  0.22
1038.79/39.89	c Replacing      216 vars Replaced    12724 lits Time:     0.01 s 
1038.79/39.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1038.79/39.90	c bin-w-bin subsume rem         2124 bins  time:  0.00 s
1041.98/39.91	c subs with bin:      170  lits-rem:         0  v-fix:    0  time:  0.02 s
1041.98/39.93	c Subs w/ non-existent bins:     38 l-rem:      0 v-fix:     0 done:   4814 time:  0.01 s
1041.98/39.93	c Removed useless bin:      40  fixed:     0  props:   0.33M  time:  0.00 s
1041.98/39.94	c lits-rem:         0  cl-subs:      435  v-elim:     65  v-fix:    0  time:  0.01 s
1041.98/39.96	c subs with bin:       29  lits-rem:       180  v-fix:    0  time:  0.01 s
1045.19/40.04	c lits-rem:      1249  cl-subs:     1960  v-elim:      0  v-fix:    0  time:  0.08 s
1045.19/40.04	c vivif2 --  cl tried     4090 cl shrink       48 lits rem         85 time: 0.00
1045.19/40.05	c vivif2 --  cl tried     8739 cl shrink       18 lits rem         18 time: 0.00
1048.38/40.12	c asymm  cl-useful: 441/4090/4090 lits-rem:1353 time: 0.07
1048.38/40.12	c calculated reachability. Time: 0.00
1048.38/40.12	c  N st   370    105354      4749      3760     17368      8739     65987    143183     12.63   no data
1077.15/41.09	c  N st   371    114954      4749      3760     17368      9225     65987    521974     12.63   no data
1083.54/41.20	c Finding binary XORs  T:     0.10 s  found:      94
1083.54/41.21	c Replacing       94 vars Replaced     2854 lits Time:     0.01 s 
1115.46/42.24	c  N st   372    129352      4629      3672     19894     22238     64508   1190597     12.63   no data
1118.65/42.32	c Finding binary XORs  T:     0.07 s  found:     109
1118.65/42.38	c Replacing      109 vars Replaced    22252 lits Time:     0.06 s 
1163.39/43.80	c  N st   373    150947      4520      3632     30667     24513     64309   1197509     12.63   no data
1166.60/43.88	c Finding binary XORs  T:     0.07 s  found:     123
1170.41/43.92	c Replacing      123 vars Replaced    10933 lits Time:     0.04 s 
1185.76/44.49	c  S st   374    158032      4356      3561     33632     30735     62340   1687131     12.63   no data
1188.95/44.55	c  S st   374    158535      4337      3561     35514     31086     62340   1697496     12.63   no data
1192.15/44.61	c x-sub:   282 x-cut:      0 vfix:      0 v-elim:     73 locsubst:  1212 time:   0.06
1198.55/44.85	c Flit:    12 Blit:      0 bXBeca:    0 bXProp:   62 Bins:   7755 BRemL:  17912 BRemN:     98 P:  3.2M T:  0.23
1198.55/44.89	c Replacing      161 vars Replaced    12802 lits Time:     0.05 s 
1198.55/44.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1201.74/44.90	c bin-w-bin subsume rem         2761 bins  time:  0.00 s
1201.74/44.92	c subs with bin:      142  lits-rem:        84  v-fix:    0  time:  0.02 s
1201.74/44.93	c Subs w/ non-existent bins:     46 l-rem:      0 v-fix:     0 done:   4089 time:  0.01 s
1201.74/44.93	c Removed useless bin:      31  fixed:     0  props:   0.24M  time:  0.00 s
1201.74/44.96	c lits-rem:        11  cl-subs:      342  v-elim:    112  v-fix:    0  time:  0.03 s
1205.54/45.04	c subs with bin:       42  lits-rem:        32  v-fix:    0  time:  0.01 s
1316.76/48.54	c lits-rem:      2680  cl-subs:     2235  v-elim:      0  v-fix:    0  time:  3.50 s
1316.76/48.54	c vivif2 --  cl tried     3479 cl shrink       63 lits rem        126 time: 0.00
1316.76/48.57	c vivif2 --  cl tried    20999 cl shrink        0 lits rem          0 time: 0.03
1319.96/48.62	c asymm  cl-useful: 544/3478/3478 lits-rem:1868 time: 0.05
1319.96/48.62	c calculated reachability. Time: 0.00
1319.96/48.62	c  N st   374    158535      3977      2975     20383     20999     52785   1050306     12.63   no data
1649.12/58.90	c  N st   375    207124      3977      2975     20384     30879     52783   2461480     12.63   no data
1652.34/59.05	c Finding binary XORs  T:     0.09 s  found:     244
1655.51/59.14	c Replacing      244 vars Replaced    46277 lits Time:     0.09 s 
1806.34/63.85	c  N st   376    237804      3659      2915     70888     34807     49702   2297731     12.63   no data
1806.34/63.85	c  S st   376    237804      3659      2915     70888     34807     49702   2297731     12.63   no data
1808.86/63.91	c Finding binary XORs  T:     0.05 s  found:      67
1808.86/63.93	c Replacing       67 vars Replaced     8834 lits Time:     0.02 s 
1808.86/63.98	c  S st   376    238309      3592      2915     78603     35149     49702   2318839     12.63   no data
1812.06/64.02	c x-sub:   194 x-cut:      0 vfix:      0 v-elim:      7 locsubst:    42 time:   0.04
1824.85/64.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   2245 BRemL:  36115 BRemN:    141 P:  5.1M T:  0.46
1824.85/64.50	c Replacing       19 vars Replaced     1029 lits Time:     0.01 s 
1828.04/64.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1828.04/64.51	c bin-w-bin subsume rem        13022 bins  time:  0.01 s
1828.04/64.53	c subs with bin:      121  lits-rem:       218  v-fix:    0  time:  0.02 s
1828.04/64.54	c Subs w/ non-existent bins:     69 l-rem:      0 v-fix:     0 done:   3566 time:  0.01 s
1828.04/64.54	c Removed useless bin:      26  fixed:     0  props:   0.15M  time:  0.00 s
1828.04/64.58	c lits-rem:         1  cl-subs:      107  v-elim:     87  v-fix:    0  time:  0.04 s
1834.44/64.75	c subs with bin:       40  lits-rem:       965  v-fix:    0  time:  0.04 s
2186.03/75.73	c lits-rem:      3465  cl-subs:     1523  v-elim:      0  v-fix:    0  time: 10.98 s
2186.03/75.73	c vivif2 --  cl tried     2901 cl shrink       20 lits rem         50 time: 0.00
2186.03/75.79	c vivif2 --  cl tried    33089 cl shrink      388 lits rem        428 time: 0.05
2189.85/75.85	c asymm  cl-useful: 367/2901/2901 lits-rem:1141 time: 0.06
2189.85/75.86	c calculated reachability. Time: 0.00
2189.85/75.86	c  N st   376    238309      3479      2576     31245     33089     43431   2089773     12.63   no data
2474.28/84.80	c  F st   377    306250      3479      2576     31245     46411     43431   3739904     12.63   no data
2476.84/84.80	c  N st   377    306250      3479      2576     31245     46411     43431   3739904     12.63   no data
2480.04/84.90	c Finding binary XORs  T:     0.06 s  found:     148
2486.43/85.15	c Replacing      148 vars Replaced    57098 lits Time:     0.25 s 
2534.37/86.69	c Finding binary XORs  T:     0.04 s  found:      72
2537.53/86.71	c Replacing       72 vars Replaced    16665 lits Time:     0.02 s 
2537.53/86.80	c  N dy   465    325849      3259      2576     95946     35039     43431   1374126     14.98     81.09
2576.52/88.01	c  N dy   594    345871      3259      2576     99315     49714     43431   1916049     17.07     42.26
2604.66/88.83	c Finding binary XORs  T:     0.04 s  found:       1
2607.85/88.93	c  S st   691    357463      3259      2576    102340     33881     43431   1067555     19.36     16.46
2607.85/88.97	c  S st   691    357966      3259      2576    102492     34254     43431   1078534     19.36   no data
2607.85/89.01	c x-sub:   216 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    38 time:   0.04
2630.22/89.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1202 BRemL:  35053 BRemN:     25 P:  7.8M T:  0.58
2630.22/89.61	c Replacing       20 vars Replaced     1446 lits Time:     0.01 s 
2630.22/89.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2630.22/89.63	c bin-w-bin subsume rem        27242 bins  time:  0.01 s
2630.22/89.65	c subs with bin:       84  lits-rem:        52  v-fix:    0  time:  0.03 s
2630.22/89.66	c Subs w/ non-existent bins:     23 l-rem:      0 v-fix:     0 done:   3239 time:  0.01 s
2630.22/89.67	c Removed useless bin:       1  fixed:     0  props:   0.11M  time:  0.00 s
2630.22/89.69	c lits-rem:         1  cl-subs:       15  v-elim:     27  v-fix:    0  time:  0.02 s
2633.42/89.78	c subs with bin:        2  lits-rem:       136  v-fix:    0  time:  0.03 s
2682.00/91.25	c lits-rem:      4226  cl-subs:     7228  v-elim:      0  v-fix:    0  time:  1.47 s
2682.00/91.25	c vivif2 --  cl tried     2550 cl shrink        7 lits rem         17 time: 0.00
2682.00/91.27	c vivif2 --  cl tried    27012 cl shrink       89 lits rem        649 time: 0.02
2685.19/91.36	c asymm  cl-useful: 118/2550/2550 lits-rem:326 time: 0.09
2685.19/91.36	c calculated reachability. Time: 0.00
2685.19/91.37	c  N dy   691    357966      3212      2458     41262     27012     41468    826147     19.36   no data
2717.15/92.39	c Finding binary XORs  T:     0.05 s  found:       6
2720.35/92.49	c  N dy   801    378074      3212      2458     43183     41780     41468   1428133     20.75     22.06
2761.26/93.79	c  N dy   838    422692      3212      2458     43198     25931     41468    407905     19.76     21.72
2774.06/94.11	c Finding binary XORs  T:     0.04 s  found:       2
2783.65/94.47	c  N dy   893    442694      3212      2458     51542     40169     41468    780897     19.61     31.80
2809.22/95.22	c Finding binary XORs  T:     0.04 s  found:       0
2809.22/95.23	c  N dy   970    462727      3212      2458     51554     29390     41468    571055     19.87     26.55
2831.58/95.91	c  N dy  1038    482826      3212      2458     51696     43516     41468    982885     20.00     79.40
2866.74/97.00	c  N dy  1148    502835      3212      2458     54093     33839     41468    658671     20.51     29.04
2869.93/97.11	c Finding binary XORs  T:     0.04 s  found:       2
2901.89/98.12	c  N dy  1213    533514      3212      2458     54476     28745     41468    441003     20.55     21.76
2905.09/98.28	c  S st  1233    536949      3212      2458     54565     31173     41468    538618     20.66     12.84
2908.28/98.32	c  S st  1233    537451      3212      2458     54567     31536     41468    548565     20.66   no data
2908.28/98.36	c x-sub:    19 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    28 time:   0.04
2924.27/98.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:   2468 BRemL:   9603 BRemN:      8 P:  7.0M T:  0.53
2924.27/98.90	c Replacing       28 vars Replaced     2817 lits Time:     0.01 s 
2924.27/98.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2924.27/98.91	c bin-w-bin subsume rem         2655 bins  time:  0.01 s
2928.10/98.94	c subs with bin:       29  lits-rem:        14  v-fix:    0  time:  0.03 s
2928.10/98.95	c Subs w/ non-existent bins:      7 l-rem:      0 v-fix:     0 done:   3184 time:  0.01 s
2928.10/98.95	c Removed useless bin:       6  fixed:     0  props:   0.12M  time:  0.00 s
2928.10/98.97	c lits-rem:         1  cl-subs:       35  v-elim:     12  v-fix:    0  time:  0.02 s
2928.10/99.01	c subs with bin:       16  lits-rem:        43  v-fix:    0  time:  0.01 s
2959.43/99.94	c lits-rem:      5353  cl-subs:     9048  v-elim:      0  v-fix:    0  time:  0.93 s
2959.43/99.95	c vivif2 --  cl tried     2404 cl shrink        3 lits rem          5 time: 0.00
2959.43/99.95	c vivif2 --  cl tried    22486 cl shrink       14 lits rem         23 time: 0.01
2963.26/100.07	c asymm  cl-useful: 24/2404/2404 lits-rem:26 time: 0.11
2963.26/100.07	c calculated reachability. Time: 0.00
2963.26/100.07	c  N dy  1233    537451      3172      2404     44643     22486     40548    394166     20.66   no data
2963.26/100.12	c Finding binary XORs  T:     0.04 s  found:       0
2994.59/101.10	c  N dy  1341    557513      3172      2404     45176     37783     40548    916614     20.95     56.85
3026.56/102.07	c  N dy  1417    581073      3172      2404     45205     29600     40548    440524     21.00     22.35
3061.72/103.12	c Finding binary XORs  T:     0.04 s  found:     123
3061.72/103.14	c Replacing      123 vars Replaced    25191 lits Time:     0.02 s 
3064.91/103.21	c  N dy  1523    601231      3049      2404     49356     44836     40548   1008267     21.40     22.98
3177.40/106.74	c  N dy  1559    717406      3049      2404     49589     39780     40548    594527     19.68     21.19
3179.96/106.80	c Finding binary XORs  T:     0.04 s  found:      28
3212.56/107.88	c  N dy  1652    738280      2919      2404     39262     27427     36285    366365     19.95     21.03
3227.91/108.39	c Finding binary XORs  T:     0.04 s  found:      28
3231.11/108.40	c Replacing       56 vars Replaced    14189 lits Time:     0.01 s 
3247.72/108.96	c  N dy  1761    758284      2863      2356     39659     42583     35801    999304     20.37     67.55
3285.45/110.10	c  N dy  1805    780986      2863      2356     39692     30376     35801    397710     20.34     22.05
3285.45/110.16	c Finding binary XORs  T:     0.04 s  found:     265
3285.45/110.18	c Replacing      265 vars Replaced   113642 lits Time:     0.01 s 
3298.24/110.57	c Finding binary XORs  T:     0.04 s  found:       3
3323.80/111.33	c  N dy  1903    804359      2598      2356     77174     48906     35801   1098287     20.56     21.85
3330.20/111.52	c  S st  1921    806176      2598      2356     78511     50433     35801   1195985     20.65     20.83
3330.20/111.58	c  S st  1921    806680      2598      2356     78513     50833     35801   1210462     20.65   no data
3333.40/111.62	c x-sub:   176 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    52 time:   0.04
3339.79/111.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   16 Bins:    315 BRemL:  17255 BRemN:      1 P:  4.5M T:  0.27
3342.97/111.90	c Replacing       45 vars Replaced     5862 lits Time:     0.01 s 
3342.97/111.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3342.97/111.95	c bin-w-bin subsume rem        48819 bins  time:  0.04 s
3342.97/111.97	c subs with bin:       48  lits-rem:       827  v-fix:    0  time:  0.01 s
3342.97/111.97	c Subs w/ non-existent bins:      5 l-rem:      0 v-fix:     0 done:   2553 time:  0.00 s
3342.97/111.97	c Removed useless bin:      13  fixed:     0  props:   0.09M  time:  0.00 s
3342.97/112.00	c lits-rem:         0  cl-subs:       69  v-elim:      7  v-fix:    0  time:  0.02 s
3346.17/112.07	c subs with bin:       65  lits-rem:       808  v-fix:    0  time:  0.01 s
3432.44/114.76	c lits-rem:      6094  cl-subs:     9079  v-elim:      0  v-fix:    0  time:  2.69 s
3432.44/114.76	c vivif2 --  cl tried     2236 cl shrink        3 lits rem          7 time: 0.00
3432.44/114.78	c vivif2 --  cl tried    41689 cl shrink       56 lits rem         92 time: 0.02
3435.63/114.87	c asymm  cl-useful: 337/2235/2235 lits-rem:449 time: 0.09
3435.63/114.88	c calculated reachability. Time: 0.00
3435.63/114.88	c  N dy  1921    806680      2546      2235     12622     41688     28753    926079     20.65   no data
3438.82/114.92	c Finding binary XORs  T:     0.04 s  found:       0
3448.42/115.27	c Finding binary XORs  T:     0.04 s  found:       1
3777.54/125.54	c  F st  2029   1071876      2546      2235     25612     40506     28753    589482     18.12      9.89
3777.54/125.55	c Replacing        1 vars Replaced       72 lits Time:     0.01 s 
3777.54/125.55	c  N st  2029   1071876      2545      2235     25610     40505     28753    589471     18.12      9.89
3780.74/125.60	c Finding binary XORs  T:     0.04 s  found:      16
3812.70/126.64	c  N dy  2116   1091933      2545      2235     29294     55832     28753   1103669     18.24     23.70
3847.86/127.77	c  N dy  2192   1113811      2545      2235     29394     72444     28753   1639232     18.38     19.69
3902.21/129.46	c  N dy  2289   1148553      2545      2235     29430     60468     28753   1055090     18.40     19.74
3921.38/130.09	c Finding binary XORs  T:     0.04 s  found:       8
3940.56/130.67	c  N dy  2381   1169066      2545      2235     29635     75765     28753   1532573     18.51     20.36
3962.92/131.39	c Replacing       34 vars Replaced     4156 lits Time:     0.01 s 
3991.69/132.21	c  N dy  2528   1190025      2450      2195      6059     53316     23946   1117756     18.83     20.49
4007.67/132.75	c Finding binary XORs  T:     0.04 s  found:       2
4062.00/134.45	c  S st  2709   1210020      2450      2195      6205     70697     23946   2176805     19.42   no data
4065.19/134.54	c  S st  2709   1210523      2450      2195      6206     71074     23946   2187467     19.42   no data
4065.19/134.58	c x-sub:    26 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4068.39/134.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     56 BRemL:   1749 BRemN:      1 P:  1.3M T:  0.08
4068.39/134.67	c Replacing        3 vars Replaced      310 lits Time:     0.01 s 
4068.39/134.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4068.39/134.68	c bin-w-bin subsume rem         1155 bins  time:  0.00 s
4068.39/134.68	c subs with bin:       24  lits-rem:        11  v-fix:    0  time:  0.00 s
4068.39/134.68	c Subs w/ non-existent bins:     12 l-rem:      0 v-fix:     0 done:   2447 time:  0.00 s
4068.39/134.69	c Removed useless bin:       0  fixed:     0  props:   0.06M  time:  0.00 s
4071.59/134.72	c lits-rem:        16  cl-subs:      283  v-elim:     57  v-fix:    0  time:  0.04 s
4074.79/134.87	c subs with bin:      375  lits-rem:       151  v-fix:    0  time:  0.02 s
4282.51/141.35	c lits-rem:      4779  cl-subs:     7119  v-elim:      0  v-fix:    0  time:  6.48 s
4282.51/141.36	c vivif2 --  cl tried     1780 cl shrink        4 lits rem          8 time: 0.00
4285.73/141.40	c vivif2 --  cl tried    62608 cl shrink       61 lits rem         81 time: 0.04
4285.73/141.45	c asymm  cl-useful: 331/1780/1780 lits-rem:802 time: 0.05
4285.73/141.45	c calculated reachability. Time: 0.00
4285.73/141.45	c  N dy  2709   1210523      2390      1780      2719     62608     20851   1968402     19.42   no data
4285.73/141.49	c Finding binary XORs  T:     0.04 s  found:       0
4327.22/142.77	c Finding binary XORs  T:     0.04 s  found:       5
4369.40/144.05	c  N dy  2875   1230677      2385      1750      3123     40112     20643    466087     20.00     21.40
4384.75/144.55	c Finding binary XORs  T:     0.04 s  found:       1
4426.30/145.88	c Finding binary XORs  T:     0.04 s  found:       4
4442.95/146.36	c  N dy  3069   1250707      2378      1669      3166     57825     20105   1706383     20.70     84.29
4499.82/148.19	c Finding binary XORs  T:     0.04 s  found:       9
4506.22/148.38	c  N dy  3200   1270735      2371      1594      3263     74313     19594   2614099     21.09     52.59
4583.54/150.76	c Finding binary XORs  T:     0.04 s  found:       3
4611.69/151.64	c  N dy  3377   1313298      2367      1556      3351     63373     19347   1146477     21.48     23.52
4637.26/152.44	c Finding binary XORs  T:     0.04 s  found:       5
4637.26/152.46	c Replacing       27 vars Replaced     5013 lits Time:     0.02 s 
4694.79/154.29	c  N dy  3568   1333354      2339      1535      3433     80780     19207   2323196     22.04     35.38
4736.34/155.59	c Finding binary XORs  T:     0.04 s  found:       0
4768.30/156.55	c  N dy  3748   1353372      2339      1535      3492     56596     19207   1455235     22.56     52.38
4848.21/159.01	c  N dy  3917   1373406      2339      1535      3511     74135     19207   2521499     22.99     42.35
4864.82/159.54	c Finding binary XORs  T:     0.04 s  found:       2
4960.07/162.51	c  N dy  4086   1396571      2338      1535      3607     48684     19207    587761     23.46     24.87
5062.35/165.72	c  N dy  4113   1465768      2337      1535      3664     56315     19207    798087     23.27     24.57
5062.35/165.77	c Finding binary XORs  T:     0.04 s  found:      24
5062.35/165.78	c Replacing       26 vars Replaced     1831 lits Time:     0.01 s 
5139.06/168.17	c  N dy  4270   1485868      2310      1502      3780     72655     18979   1789510     23.64     39.32
5142.84/168.24	c Finding binary XORs  T:     0.04 s  found:       2
5455.37/178.07	c  N dy  4377   1623876      2310      1502      3815     43024     18979    495969     23.00     24.88
5455.37/178.11	c Finding binary XORs  T:     0.04 s  found:      13
5512.90/179.85	c  N dy  4518   1643923      2310      1502      4298     60114     18979   1453416     23.29     41.49
5595.95/182.40	c  N dy  4700   1663973      2310      1502      4323     77594     18979   2659492     23.72     39.07
5691.80/185.44	c  N dy  4869   1684984      2310      1502      4330     49314     18979    610430     24.10     25.41
5723.75/186.44	c Finding binary XORs  T:     0.04 s  found:       1
5726.95/186.57	c  N dy  4923   1704992      2310      1502      4345     65024     18979   1161447     24.14     37.34
5736.55/186.87	c  S st  4928   1710524      2310      1502      4345     69274     18979   1284566     24.13     15.68
5740.34/186.96	c  S st  4928   1711025      2310      1502      4484     69635     18979   1291330     24.13   no data
5740.34/186.99	c x-sub:    15 x-cut:      0 vfix:      0 v-elim:      6 locsubst:     0 time:   0.04
5743.57/187.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   20 Bins:     12 BRemL:   1344 BRemN:     15 P:  1.1M T:  0.06
5743.57/187.07	c Replacing       36 vars Replaced     4184 lits Time:     0.01 s 
5743.57/187.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5743.57/187.07	c bin-w-bin subsume rem         1047 bins  time:  0.00 s
5743.57/187.08	c subs with bin:        4  lits-rem:        75  v-fix:    0  time:  0.00 s
5743.57/187.08	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:   2268 time:  0.00 s
5743.57/187.08	c Removed useless bin:       9  fixed:     0  props:   0.05M  time:  0.00 s
5746.12/187.11	c lits-rem:        10  cl-subs:      447  v-elim:      8  v-fix:    0  time:  0.03 s
5746.12/187.19	c subs with bin:       19  lits-rem:       243  v-fix:    0  time:  0.00 s
5956.99/193.76	c lits-rem:      6437  cl-subs:    13882  v-elim:      0  v-fix:    0  time:  6.57 s
5956.99/193.76	c vivif2 --  cl tried     1060 cl shrink       18 lits rem         45 time: 0.00
5956.99/193.78	c vivif2 --  cl tried    55492 cl shrink       26 lits rem         29 time: 0.02
5960.19/193.80	c asymm  cl-useful: 129/1060/1060 lits-rem:266 time: 0.02
5960.19/193.80	c calculated reachability. Time: 0.00
5960.19/193.80	c  N dy  4928   1711025      2260      1060      1863     55492     14874   1060276     24.13   no data
5979.34/194.47	c Finding binary XORs  T:     0.04 s  found:       3
6036.87/196.22	c  N dy  5094   1731100      2260      1060      2279     72837     14874   2178980     24.47     36.70
6113.58/198.65	c  N dy  5239   1751127      2260      1060      2280     90041     14874   3185509     24.74     36.97
6180.67/200.78	c  N dy  5297   1792550      2260      1060      2280     72901     14874   1284400     24.69     26.04
6183.86/200.82	c Finding binary XORs  T:     0.04 s  found:       0
6279.73/203.84	c  N dy  5479   1812557      2260      1060      2335     90424     14874   2459338     25.05     67.72
6389.89/222.19	c Following stats are for *FIRST FINISHED THREAD ONLY*
6389.89/222.19	c num threads              : 32         
6389.89/222.19	c restarts                 : 4248       
6389.89/222.19	c dynamic restarts         : 4224       
6389.89/222.19	c static restarts          : 24         
6389.89/222.19	c full restarts            : 3          
6389.89/222.19	c total simplify time      : 2.33       
6389.89/222.19	c learnts DL2              : 0          
6389.89/222.19	c learnts size 2           : 525073     
6389.89/222.19	c learnts size 1           : 2487        (5.41      % of vars)
6389.89/222.19	c filedLit time            : 6.13        (2.81      % time)
6389.89/222.19	c v-elim SatELite          : 12978       (28.25     % vars)
6389.89/222.19	c SatELite time            : 0.66        (0.30      % time)
6389.89/222.19	c v-elim xor               : 0           (0.00      % vars)
6389.89/222.19	c xor elim time            : 0.04        (0.02      % time)
6389.89/222.19	c num binary xor trees     : 3753       
6389.89/222.19	c binxor trees' crown      : 26263       (7.00      leafs/tree)
6389.89/222.19	c bin xor find time        : 1.18       
6389.89/222.19	c OTF clause improved      : 78759       (0.08      clauses/conflict)
6389.89/222.19	c OTF impr. size diff      : 80237       (1.02       lits/clause)
6389.89/222.19	c OTF cl watch-shrink      : 214012      (0.22      clauses/conflict)
6389.89/222.19	c OTF cl watch-sh-lit      : 432253      (2.02       lits/clause)
6389.89/222.19	c tried to recurMin cls    : 391232      (40.47      % of conflicts)
6389.89/222.19	c updated cache            : 47017       (0.12       lits/tried recurMin)
6389.89/222.19	c unit cls recevied        : 223         (8.97      % of units)
6389.89/222.19	c unit cls sent            : 2536        (101.97    % of units)
6389.89/222.19	c bin cls recevied         : 417944     
6389.89/222.19	c bin cls sent             : 107980     
6389.89/222.19	c clauses over max glue    : 0           (0.00      % of all clauses)
6389.89/222.19	c conflicts                : 966828      (4429.85   / sec)
6389.89/222.19	c decisions                : 2464563     (10.94     % random)
6389.89/222.19	c bogo-props               : 7544946047  (34569752.85 / sec)
6389.89/222.19	c conflict literals        : 19436397    (10.67     % deleted)
6389.89/222.19	c Memory used              : 9871.88     MB
6389.89/222.19	c single-thread CPU time   : 218.25      s
6389.89/222.19	c all-threads sum CPU time : 6334.25     s
6389.89/222.19	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-3400632-1306257571/watcher-3400632-1306257571 -o /tmp/evaluation-result-3400632-1306257571/solver-3400632-1306257571 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400632-1306257571.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: 23.23 29.13 30.79 1/413 9638
/proc/meminfo: memFree=255155024/264257624 swapFree=67111528/67111528
[pid=9638] ppid=9636 vsize=338000 CPUtime=0.76 cores=0-31
/proc/9638/stat : 9638 (strangenight2-m) R 9636 9638 9488 0 -1 4202496 468 0 0 0 76 0 0 0 25 0 32 0 737243519 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/9638/statm: 84500 408 300 95 0 79482 0
[pid=9638/tid=9639] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9639/stat : 9639 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 4 0 0 0 2 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9638/tid=9640] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9640/stat : 9640 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9638/tid=9641] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9641/stat : 9641 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9638/tid=9642] ppid=9636 vsize=338000 CPUtime=0 cores=0-31
/proc/9638/task/9642/stat : 9642 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967255 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9638/tid=9643] ppid=9636 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9638/task/9643/stat : 9643 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967261 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9638/tid=9644] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9644/stat : 9644 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9638/tid=9645] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9645/stat : 9645 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9638/tid=9646] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9646/stat : 9646 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9638/tid=9647] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9647/stat : 9647 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9638/tid=9648] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9648/stat : 9648 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9638/tid=9649] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9649/stat : 9649 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967261 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9638/tid=9650] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9650/stat : 9650 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9638/tid=9651] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9651/stat : 9651 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9638/tid=9652] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9652/stat : 9652 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9638/tid=9653] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9653/stat : 9653 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9638/tid=9654] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9654/stat : 9654 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9638/tid=9655] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9655/stat : 9655 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9638/tid=9656] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9656/stat : 9656 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967255 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9638/tid=9657] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9657/stat : 9657 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967248 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9638/tid=9658] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9658/stat : 9658 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9638/tid=9659] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9659/stat : 9659 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9638/tid=9660] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9660/stat : 9660 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967261 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9638/tid=9661] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9661/stat : 9661 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967670 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9638/tid=9662] ppid=9636 vsize=338000 CPUtime=0 cores=0-31
/proc/9638/task/9662/stat : 9662 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967261 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9638/tid=9663] ppid=9636 vsize=338000 CPUtime=0 cores=0-31
/proc/9638/task/9663/stat : 9663 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9638/tid=9664] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9664/stat : 9664 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9638/tid=9665] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9665/stat : 9665 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967248 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9638/tid=9666] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9666/stat : 9666 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9638/tid=9667] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9667/stat : 9667 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9638/tid=9668] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9668/stat : 9668 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9638/tid=9669] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9669/stat : 9669 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 23 0 0 0

[startup+0.0413061 s]
/proc/loadavg: 23.23 29.13 30.79 1/413 9638
/proc/meminfo: memFree=255155024/264257624 swapFree=67111528/67111528
[pid=9638] ppid=9636 vsize=338000 CPUtime=1.01 cores=0-31
/proc/9638/stat : 9638 (strangenight2-m) R 9636 9638 9488 0 -1 4202496 468 0 0 0 101 0 0 0 25 0 32 0 737243519 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/9638/statm: 84500 408 300 95 0 79482 0
[pid=9638/tid=9639] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9639/stat : 9639 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 4 0 0 0 3 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9638/tid=9640] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9640/stat : 9640 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9638/tid=9641] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9641/stat : 9641 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967261 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9638/tid=9642] ppid=9636 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9638/task/9642/stat : 9642 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967261 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9638/tid=9643] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9643/stat : 9643 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9638/tid=9644] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9644/stat : 9644 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967255 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9638/tid=9645] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9645/stat : 9645 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9638/tid=9646] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9646/stat : 9646 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9638/tid=9647] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9647/stat : 9647 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9638/tid=9648] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9648/stat : 9648 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9638/tid=9649] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9649/stat : 9649 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9638/tid=9650] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9650/stat : 9650 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9638/tid=9651] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9651/stat : 9651 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9638/tid=9652] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9652/stat : 9652 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9638/tid=9653] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9653/stat : 9653 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9638/tid=9654] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9654/stat : 9654 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9638/tid=9655] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9655/stat : 9655 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9638/tid=9656] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9656/stat : 9656 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9638/tid=9657] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9657/stat : 9657 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9638/tid=9658] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9658/stat : 9658 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9638/tid=9659] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9659/stat : 9659 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9638/tid=9660] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9660/stat : 9660 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9638/tid=9661] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9661/stat : 9661 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967670 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9638/tid=9662] ppid=9636 vsize=338000 CPUtime=0 cores=0-31
/proc/9638/task/9662/stat : 9662 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9638/tid=9663] ppid=9636 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9638/task/9663/stat : 9663 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9638/tid=9664] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9664/stat : 9664 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9638/tid=9665] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9665/stat : 9665 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967261 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9638/tid=9666] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9666/stat : 9666 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9638/tid=9667] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9667/stat : 9667 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967261 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9638/tid=9668] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9668/stat : 9668 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9638/tid=9669] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9669/stat : 9669 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 338000

[startup+0.10334 s]
/proc/loadavg: 23.23 29.13 30.79 1/413 9638
/proc/meminfo: memFree=255155024/264257624 swapFree=67111528/67111528
[pid=9638] ppid=9636 vsize=855396 CPUtime=2.62 cores=0-31
/proc/9638/stat : 9638 (strangenight2-m) R 9636 9638 9488 0 -1 4202496 9209 0 0 0 202 60 0 0 25 0 32 0 737243519 875925504 9057 268435456000 4194304 4580107 140733566327312 18446744073709551615 4511818 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/9638/statm: 215900 9066 334 95 0 210882 0
[pid=9638/tid=9639] ppid=9636 vsize=863600 CPUtime=0.07 cores=0-31
/proc/9638/task/9639/stat : 9639 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 269 0 0 0 6 1 0 0 23 0 32 0 737243520 884326400 9071 268435456000 4194304 4580107 140733566327312 18446744073709551615 4509854 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9638/tid=9640] ppid=9636 vsize=863600 CPUtime=0.07 cores=0-31
/proc/9638/task/9640/stat : 9640 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 268 0 0 0 6 1 0 0 23 0 32 0 737243520 884326400 9072 268435456000 4194304 4580107 140733566327312 18446744073709551615 4509212 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9638/tid=9641] ppid=9636 vsize=863600 CPUtime=0.07 cores=0-31
/proc/9638/task/9641/stat : 9641 (strangenight2-m) S 9636 9638 9488 0 -1 4202560 320 0 0 0 6 1 0 0 18 0 32 0 737243520 884326400 9074 268435456000 4194304 4580107 140733566327312 18446744073709551615 258651060958 0 0 4096 2 18446744071566928304 0 0 -1 8 0 0 0
[pid=9638/tid=9642] ppid=9636 vsize=863600 CPUtime=0.06 cores=0-31
/proc/9638/task/9642/stat : 9642 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 268 0 0 0 5 1 0 0 23 0 32 0 737243520 884326400 9087 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920725393798 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9638/tid=9643] ppid=9636 vsize=863760 CPUtime=0.06 cores=0-31
/proc/9638/task/9643/stat : 9643 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 269 0 0 0 5 1 0 0 23 0 32 0 737243520 884490240 9099 268435456000 4194304 4580107 140733566327312 18446744073709551615 4509260 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9638/tid=9644] ppid=9636 vsize=863760 CPUtime=0.07 cores=0-31
/proc/9638/task/9644/stat : 9644 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 271 0 0 0 6 1 0 0 18 0 32 0 737243520 884490240 9117 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920725392518 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9638/tid=9645] ppid=9636 vsize=863760 CPUtime=0.07 cores=0-31
/proc/9638/task/9645/stat : 9645 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 266 0 0 0 6 1 0 0 23 0 32 0 737243520 884490240 9131 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920725393547 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9638/tid=9646] ppid=9636 vsize=863760 CPUtime=0.07 cores=0-31
/proc/9638/task/9646/stat : 9646 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 266 0 0 0 6 1 0 0 24 0 32 0 737243520 884490240 9139 268435456000 4194304 4580107 140733566327312 18446744073709551615 4511859 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9638/tid=9647] ppid=9636 vsize=863760 CPUtime=0.08 cores=0-31
/proc/9638/task/9647/stat : 9647 (strangenight2-m) S 9636 9638 9488 0 -1 4202560 315 0 0 0 6 2 0 0 17 0 32 0 737243520 884490240 9141 268435456000 4194304 4580107 140733566327312 18446744073709551615 258651060958 0 0 4096 2 18446744071566929824 0 0 -1 6 0 0 0
[pid=9638/tid=9648] ppid=9636 vsize=863760 CPUtime=0.08 cores=0-31
/proc/9638/task/9648/stat : 9648 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 268 0 0 0 6 2 0 0 24 0 32 0 737243520 884490240 9144 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920725393547 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9638/tid=9649] ppid=9636 vsize=863760 CPUtime=0.07 cores=0-31
/proc/9638/task/9649/stat : 9649 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 268 0 0 0 6 1 0 0 24 0 32 0 737243520 884490240 9154 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920725393547 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9638/tid=9650] ppid=9636 vsize=863760 CPUtime=0.07 cores=0-31
/proc/9638/task/9650/stat : 9650 (strangenight2-m) S 9636 9638 9488 0 -1 4202560 281 0 0 0 6 1 0 0 24 0 32 0 737243520 884490240 9161 268435456000 4194304 4580107 140733566327312 18446744073709551615 258651060958 0 0 4096 2 18446744071566928344 0 0 -1 10 0 0 0
[pid=9638/tid=9651] ppid=9636 vsize=863760 CPUtime=0.07 cores=0-31
/proc/9638/task/9651/stat : 9651 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 267 0 0 0 6 1 0 0 24 0 32 0 737243520 884490240 9174 268435456000 4194304 4580107 140733566327312 18446744073709551615 4510669 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9638/tid=9652] ppid=9636 vsize=863892 CPUtime=0.07 cores=0-31
/proc/9638/task/9652/stat : 9652 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 266 0 0 0 6 1 0 0 24 0 32 0 737243520 884625408 9188 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920725397048 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9638/tid=9653] ppid=9636 vsize=863892 CPUtime=0.08 cores=0-31
/proc/9638/task/9653/stat : 9653 (strangenight2-m) S 9636 9638 9488 0 -1 4202560 309 0 0 0 6 2 0 0 17 0 32 0 737243520 884625408 9192 268435456000 4194304 4580107 140733566327312 18446744073709551615 258651060958 0 0 4096 2 18446744071566929824 0 0 -1 14 0 0 0
[pid=9638/tid=9654] ppid=9636 vsize=863892 CPUtime=0.07 cores=0-31
/proc/9638/task/9654/stat : 9654 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 267 0 0 0 6 1 0 0 18 0 32 0 737243520 884625408 9194 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920725392518 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9638/tid=9655] ppid=9636 vsize=863892 CPUtime=0.07 cores=0-31

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

[pid=9638/tid=9639] ppid=9636 vsize=8393220 CPUtime=95.38 cores=0-31
/proc/9638/task/9639/stat : 9639 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 90900 0 0 0 9369 169 0 0 25 0 32 0 737243520 8594657280 1621422 268435456000 4194304 4580107 140733566327312 18446744073709551615 4451903 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9638/tid=9640] ppid=9636 vsize=8393220 CPUtime=94.68 cores=0-31
/proc/9638/task/9640/stat : 9640 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 89703 0 0 0 9290 178 0 0 25 0 32 0 737243520 8594657280 1621422 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9638/tid=9641] ppid=9636 vsize=8393220 CPUtime=95.01 cores=0-31
/proc/9638/task/9641/stat : 9641 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 76086 0 0 0 9349 152 0 0 25 0 32 0 737243520 8594657280 1621422 268435456000 4194304 4580107 140733566327312 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9638/tid=9642] ppid=9636 vsize=8393220 CPUtime=94.79 cores=0-31
/proc/9638/task/9642/stat : 9642 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 64478 0 0 0 9313 166 0 0 25 0 32 0 737243520 8594657280 1621422 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9638/tid=9643] ppid=9636 vsize=8393220 CPUtime=94.93 cores=0-31
/proc/9638/task/9643/stat : 9643 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 68282 0 0 0 9323 170 0 0 25 0 32 0 737243520 8594657280 1621422 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9638/tid=9644] ppid=9636 vsize=8393220 CPUtime=94.69 cores=0-31
/proc/9638/task/9644/stat : 9644 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 73068 0 0 0 9311 158 0 0 25 0 32 0 737243520 8594657280 1621423 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9638/tid=9645] ppid=9636 vsize=8393220 CPUtime=94.67 cores=0-31
/proc/9638/task/9645/stat : 9645 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 82413 0 0 0 9305 162 0 0 25 0 32 0 737243520 8594657280 1621424 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9638/tid=9646] ppid=9636 vsize=8393220 CPUtime=94.65 cores=0-31
/proc/9638/task/9646/stat : 9646 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 58429 0 0 0 9297 168 0 0 25 0 32 0 737243520 8594657280 1621426 268435456000 4194304 4580107 140733566327312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9638/tid=9647] ppid=9636 vsize=8393220 CPUtime=95.13 cores=0-31
/proc/9638/task/9647/stat : 9647 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 66847 0 0 0 9348 165 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9638/tid=9648] ppid=9636 vsize=8393220 CPUtime=94.76 cores=0-31
/proc/9638/task/9648/stat : 9648 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 69291 0 0 0 9308 168 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9638/tid=9649] ppid=9636 vsize=8393220 CPUtime=94.53 cores=0-31
/proc/9638/task/9649/stat : 9649 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 62577 0 0 0 9280 173 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4395363 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9638/tid=9650] ppid=9636 vsize=8393220 CPUtime=94.88 cores=0-31
/proc/9638/task/9650/stat : 9650 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 48337 0 0 0 9331 157 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9638/tid=9651] ppid=9636 vsize=8393220 CPUtime=94.62 cores=0-31
/proc/9638/task/9651/stat : 9651 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 59224 0 0 0 9292 170 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9638/tid=9652] ppid=9636 vsize=8393220 CPUtime=94.87 cores=0-31
/proc/9638/task/9652/stat : 9652 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 59307 0 0 0 9324 163 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9638/tid=9653] ppid=9636 vsize=8393220 CPUtime=94.83 cores=0-31
/proc/9638/task/9653/stat : 9653 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 61065 0 0 0 9317 166 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9638/tid=9654] ppid=9636 vsize=8393220 CPUtime=94.64 cores=0-31
/proc/9638/task/9654/stat : 9654 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 59019 0 0 0 9298 166 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9638/tid=9655] ppid=9636 vsize=8393220 CPUtime=94.73 cores=0-31
/proc/9638/task/9655/stat : 9655 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 67259 0 0 0 9304 169 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4296252 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9638/tid=9656] ppid=9636 vsize=8393220 CPUtime=94.8 cores=0-31
/proc/9638/task/9656/stat : 9656 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 61735 0 0 0 9315 165 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9638/tid=9657] ppid=9636 vsize=8393220 CPUtime=94.66 cores=0-31
/proc/9638/task/9657/stat : 9657 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 66518 0 0 0 9294 172 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9638/tid=9658] ppid=9636 vsize=8393220 CPUtime=94.47 cores=0-31
/proc/9638/task/9658/stat : 9658 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 75567 0 0 0 9272 175 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9638/tid=9659] ppid=9636 vsize=8393220 CPUtime=92.71 cores=0-31
/proc/9638/task/9659/stat : 9659 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 69463 0 0 0 9100 171 0 0 25 0 32 0 737243520 8594657280 1621428 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9638/tid=9660] ppid=9636 vsize=8393220 CPUtime=94.64 cores=0-31
/proc/9638/task/9660/stat : 9660 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 57502 0 0 0 9306 158 0 0 25 0 32 0 737243520 8594657280 1621428 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295135 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9638/tid=9661] ppid=9636 vsize=8393220 CPUtime=94.54 cores=0-31
/proc/9638/task/9661/stat : 9661 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 69245 0 0 0 9289 165 0 0 25 0 32 0 737243520 8594657280 1621429 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9638/tid=9662] ppid=9636 vsize=8393220 CPUtime=94.61 cores=0-31
/proc/9638/task/9662/stat : 9662 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 70928 0 0 0 9302 159 0 0 25 0 32 0 737243520 8594657280 1621429 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9638/tid=9663] ppid=9636 vsize=8393220 CPUtime=94.94 cores=0-31
/proc/9638/task/9663/stat : 9663 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 64542 0 0 0 9330 164 0 0 25 0 32 0 737243520 8594657280 1621430 268435456000 4194304 4580107 140733566327312 18446744073709551615 4497315 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9638/tid=9664] ppid=9636 vsize=8393220 CPUtime=95 cores=0-31
/proc/9638/task/9664/stat : 9664 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 64238 0 0 0 9351 149 0 0 25 0 32 0 737243520 8594657280 1621430 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9638/tid=9665] ppid=9636 vsize=8393220 CPUtime=95.02 cores=0-31
/proc/9638/task/9665/stat : 9665 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 70692 0 0 0 9345 157 0 0 25 0 32 0 737243520 8594657280 1621430 268435456000 4194304 4580107 140733566327312 18446744073709551615 4296092 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9638/tid=9666] ppid=9636 vsize=8393220 CPUtime=95.34 cores=0-31
/proc/9638/task/9666/stat : 9666 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 75478 0 0 0 9378 156 0 0 25 0 32 0 737243520 8594657280 1621430 268435456000 4194304 4580107 140733566327312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9638/tid=9667] ppid=9636 vsize=8393220 CPUtime=94.58 cores=0-31
/proc/9638/task/9667/stat : 9667 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 56964 0 0 0 9288 170 0 0 25 0 32 0 737243520 8594657280 1621430 268435456000 4194304 4580107 140733566327312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9638/tid=9668] ppid=9636 vsize=8393220 CPUtime=95.39 cores=0-31
/proc/9638/task/9668/stat : 9668 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 68189 0 0 0 9377 162 0 0 25 0 32 0 737243520 8594657280 1621430 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9638/tid=9669] ppid=9636 vsize=8393220 CPUtime=99.18 cores=0-31
/proc/9638/task/9669/stat : 9669 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 32250 0 0 0 9845 73 0 0 25 0 32 0 737243520 8594657280 1621430 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3036.77
Current children cumulated vsize (KiB) 8393220

[startup+162.302 s]
/proc/loadavg: 31.36 30.11 30.87 33/445 9674
/proc/meminfo: memFree=247959364/264257624 swapFree=67111528/67111528
[pid=9638] ppid=9636 vsize=9615536 CPUtime=4953.67 cores=0-31
/proc/9638/stat : 9638 (strangenight2-m) R 9636 9638 9488 0 -1 4202496 2712272 0 0 0 489969 5398 0 0 25 0 32 0 737243519 9846308864 1802556 268435456000 4194304 4580107 140733566327312 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/9638/statm: 2403884 1802556 379 95 0 2398866 0
[pid=9638/tid=9639] ppid=9636 vsize=9615536 CPUtime=155.33 cores=0-31
/proc/9638/task/9639/stat : 9639 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 108094 0 0 0 15359 174 0 0 25 0 32 0 737243520 9846308864 1802556 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295135 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9638/tid=9640] ppid=9636 vsize=9615536 CPUtime=154.63 cores=0-31
/proc/9638/task/9640/stat : 9640 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 109066 0 0 0 15280 183 0 0 25 0 32 0 737243520 9846308864 1802556 268435456000 4194304 4580107 140733566327312 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9638/tid=9641] ppid=9636 vsize=9615536 CPUtime=154.97 cores=0-31
/proc/9638/task/9641/stat : 9641 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 94479 0 0 0 15339 158 0 0 25 0 32 0 737243520 9846308864 1802557 268435456000 4194304 4580107 140733566327312 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9638/tid=9642] ppid=9636 vsize=9615536 CPUtime=154.7 cores=0-31
/proc/9638/task/9642/stat : 9642 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 77556 0 0 0 15299 171 0 0 25 0 32 0 737243520 9846308864 1802557 268435456000 4194304 4580107 140733566327312 18446744073709551615 4519885 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9638/tid=9643] ppid=9636 vsize=9615536 CPUtime=154.89 cores=0-31
/proc/9638/task/9643/stat : 9643 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 79275 0 0 0 15316 173 0 0 25 0 32 0 737243520 9846308864 1802557 268435456000 4194304 4580107 140733566327312 18446744073709551615 4321100 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9638/tid=9644] ppid=9636 vsize=9615536 CPUtime=154.65 cores=0-31
/proc/9638/task/9644/stat : 9644 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 87458 0 0 0 15302 163 0 0 25 0 32 0 737243520 9846308864 1802557 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9638/tid=9645] ppid=9636 vsize=9615536 CPUtime=154.62 cores=0-31
/proc/9638/task/9645/stat : 9645 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 100290 0 0 0 15295 167 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4322884 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9638/tid=9646] ppid=9636 vsize=9615536 CPUtime=154.61 cores=0-31
/proc/9638/task/9646/stat : 9646 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 72041 0 0 0 15288 173 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9638/tid=9647] ppid=9636 vsize=9615536 CPUtime=155.09 cores=0-31
/proc/9638/task/9647/stat : 9647 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 83429 0 0 0 15337 172 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9638/tid=9648] ppid=9636 vsize=9615536 CPUtime=154.71 cores=0-31
/proc/9638/task/9648/stat : 9648 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 87956 0 0 0 15294 177 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9638/tid=9649] ppid=9636 vsize=9615536 CPUtime=154.49 cores=0-31
/proc/9638/task/9649/stat : 9649 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 73374 0 0 0 15271 178 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9638/tid=9650] ppid=9636 vsize=9615536 CPUtime=154.84 cores=0-31
/proc/9638/task/9650/stat : 9650 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 59825 0 0 0 15322 162 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9638/tid=9651] ppid=9636 vsize=9615536 CPUtime=154.58 cores=0-31
/proc/9638/task/9651/stat : 9651 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 69528 0 0 0 15283 175 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9638/tid=9652] ppid=9636 vsize=9615536 CPUtime=154.84 cores=0-31
/proc/9638/task/9652/stat : 9652 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 73783 0 0 0 15315 169 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9638/tid=9653] ppid=9636 vsize=9615536 CPUtime=154.8 cores=0-31
/proc/9638/task/9653/stat : 9653 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 67843 0 0 0 15311 169 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295461 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9638/tid=9654] ppid=9636 vsize=9615536 CPUtime=154.61 cores=0-31
/proc/9638/task/9654/stat : 9654 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 64880 0 0 0 15293 168 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9638/tid=9655] ppid=9636 vsize=9615536 CPUtime=154.69 cores=0-31
/proc/9638/task/9655/stat : 9655 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 82414 0 0 0 15294 175 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9638/tid=9656] ppid=9636 vsize=9615536 CPUtime=154.76 cores=0-31
/proc/9638/task/9656/stat : 9656 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 78515 0 0 0 15306 170 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9638/tid=9657] ppid=9636 vsize=9615536 CPUtime=154.63 cores=0-31
/proc/9638/task/9657/stat : 9657 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 90184 0 0 0 15283 180 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9638/tid=9658] ppid=9636 vsize=9615536 CPUtime=154.43 cores=0-31
/proc/9638/task/9658/stat : 9658 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 91429 0 0 0 15261 182 0 0 25 0 32 0 737243520 9846308864 1802559 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295644 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9638/tid=9659] ppid=9636 vsize=9615536 CPUtime=150.98 cores=0-31
/proc/9638/task/9659/stat : 9659 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 91304 0 0 0 14919 179 0 0 25 0 32 0 737243520 9846308864 1802560 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9638/tid=9660] ppid=9636 vsize=9615536 CPUtime=154.61 cores=0-31
/proc/9638/task/9660/stat : 9660 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 67210 0 0 0 15300 161 0 0 25 0 32 0 737243520 9846308864 1802561 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9638/tid=9661] ppid=9636 vsize=9615536 CPUtime=154.48 cores=0-31
/proc/9638/task/9661/stat : 9661 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 106903 0 0 0 15268 180 0 0 25 0 32 0 737243520 9846308864 1802562 268435456000 4194304 4580107 140733566327312 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9638/tid=9662] ppid=9636 vsize=9615536 CPUtime=154.56 cores=0-31
/proc/9638/task/9662/stat : 9662 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 92042 0 0 0 15289 167 0 0 25 0 32 0 737243520 9846308864 1802562 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9638/tid=9663] ppid=9636 vsize=9615536 CPUtime=154.89 cores=0-31
/proc/9638/task/9663/stat : 9663 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 88232 0 0 0 15316 173 0 0 25 0 32 0 737243520 9846308864 1802562 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295461 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9638/tid=9664] ppid=9636 vsize=9615536 CPUtime=154.95 cores=0-31
/proc/9638/task/9664/stat : 9664 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 98267 0 0 0 15335 160 0 0 25 0 32 0 737243520 9846308864 1802562 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9638/tid=9665] ppid=9636 vsize=9615536 CPUtime=154.97 cores=0-31
/proc/9638/task/9665/stat : 9665 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 97503 0 0 0 15331 166 0 0 25 0 32 0 737243520 9846308864 1802563 268435456000 4194304 4580107 140733566327312 18446744073709551615 4321100 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9638/tid=9666] ppid=9636 vsize=9615536 CPUtime=155.28 cores=0-31
/proc/9638/task/9666/stat : 9666 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 116563 0 0 0 15357 171 0 0 25 0 32 0 737243520 9846308864 1802563 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9638/tid=9667] ppid=9636 vsize=9615536 CPUtime=154.55 cores=0-31
/proc/9638/task/9667/stat : 9667 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 67130 0 0 0 15282 173 0 0 25 0 32 0 737243520 9846308864 1802564 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9638/tid=9668] ppid=9636 vsize=9615536 CPUtime=155.34 cores=0-31
/proc/9638/task/9668/stat : 9668 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 114116 0 0 0 15354 180 0 0 25 0 32 0 737243520 9846308864 1802564 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295157 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9638/tid=9669] ppid=9636 vsize=9615536 CPUtime=159.15 cores=0-31
/proc/9638/task/9669/stat : 9669 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 33949 0 0 0 15841 74 0 0 25 0 32 0 737243520 9846308864 1802564 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4953.67
Current children cumulated vsize (KiB) 9615536

[startup+222.301 s]
/proc/loadavg: 23.37 28.54 30.31 4/445 9678
/proc/meminfo: memFree=247585268/264257624 swapFree=67111528/67111528
[pid=9638] ppid=9636 vsize=0 CPUtime=6390.16 cores=0-31
/proc/9638/stat : 9638 (strangenight2-m) Z 9636 9638 9488 0 -1 4203548 3195616 0 0 0 633425 5591 0 0 18 0 2 0 737243519 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/9638/statm: 0 0 0 0 0 0 0
[pid=9638/tid=9669] ppid=9636 vsize=0 CPUtime=219.12 cores=0-31
/proc/9638/task/9669/stat : 9669 (strangenight2-m) R 9636 9638 9488 0 -1 4202564 41438 0 0 0 21825 87 0 0 25 0 2 0 737243520 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 6390.16
Current children cumulated vsize (KiB) 0

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

[startup+222.701 s]
/proc/loadavg: 23.37 28.54 30.31 4/445 9678
/proc/meminfo: memFree=247585268/264257624 swapFree=67111528/67111528
[pid=9638] ppid=9636 vsize=0 CPUtime=6390.56 cores=0-31
/proc/9638/stat : 9638 (strangenight2-m) Z 9636 9638 9488 0 -1 4203548 3195616 0 0 0 633425 5631 0 0 18 0 2 0 737243519 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/9638/statm: 0 0 0 0 0 0 0
[pid=9638/tid=9669] ppid=9636 vsize=0 CPUtime=219.52 cores=0-31
/proc/9638/task/9669/stat : 9669 (strangenight2-m) R 9636 9638 9488 0 -1 4202564 41438 0 0 0 21825 127 0 0 25 0 2 0 737243520 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 6390.56
Current children cumulated vsize (KiB) 0

[startup+222.801 s]
/proc/loadavg: 23.37 28.54 30.31 4/445 9678
/proc/meminfo: memFree=247585268/264257624 swapFree=67111528/67111528
[pid=9638] ppid=9636 vsize=0 CPUtime=6390.66 cores=0-31
/proc/9638/stat : 9638 (strangenight2-m) Z 9636 9638 9488 0 -1 4203548 3195616 0 0 0 633425 5641 0 0 18 0 2 0 737243519 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/9638/statm: 0 0 0 0 0 0 0
[pid=9638/tid=9669] ppid=9636 vsize=0 CPUtime=219.62 cores=0-31
/proc/9638/task/9669/stat : 9669 (strangenight2-m) R 9636 9638 9488 0 -1 4202564 41438 0 0 0 21825 137 0 0 25 0 2 0 737243520 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 6390.66
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 222.831
CPU time (s): 6390.7
CPU user time (s): 6334.25
CPU system time (s): 56.4464
CPU usage (%): 2867.96
Max. virtual memory (cumulated for all children) (KiB): 10601092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6334.25
system time used= 56.4464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3195616
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= 1599294
involuntary context switches= 21345

runsolver used 1.47778 second user time and 5.18021 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-24 19:19:31
IDJOB=3400632
IDBENCH=20521
IDSOLVER=1886
FILE ID=node200/3400632-1306257571
RUNJOBID= node200-1306257309-9502
PBS_JOBID= 13411760
Free space on /tmp= 62044 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k80.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400632-1306257571/watcher-3400632-1306257571 -o /tmp/evaluation-result-3400632-1306257571/solver-3400632-1306257571 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400632-1306257571.cnf

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

MD5SUM BENCH= 337e301d7c1a4748ec4a1ced7e688c38
RANDOM SEED=1219264953

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:      255155312 kB
Buffers:        463720 kB
Cached:        8219080 kB
SwapCached:          0 kB
Active:        7771268 kB
Inactive:       981192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255155312 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            9360 kB
Writeback:           0 kB
AnonPages:       69612 kB
Mapped:          14284 kB
Slab:           254988 kB
PageTables:       4876 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   174140 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-24 19:23:14