Trace number 3400644

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 61334.7 1947.69

General information on the benchmark

Namemanol-pipe-c10nidw.cnf
MD5SUM943fd86d922b13236c21a74c4f82b6d0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark9412.51
Satisfiable
(Un)Satisfiability was proved
Number of variables433601
Number of clauses1291714
Sum of the clauses size3013998
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2861142
Number of clauses of size 3430571
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
1.10/0.05	c Using 32 threads
1.10/0.07	c This is CryptoMiniSat 3.0.0
1.10/0.07	c WARNING: for repeatability, setting FPU to use double precision
1.10/0.07	c Reading file 'HOME/instance-3400644-1306267994.cnf'
1.10/0.09	c -- header says num vars:         433601
1.10/0.09	c -- header says num clauses:     1291714
159.06/12.74	c -- clauses added:            0 learnts,      1291714 normals,            0 xors
159.06/12.74	c -- vars added     433601
159.06/12.75	c Parsing time:  1.98 s
159.06/12.75	c  N st     0         0    433601    430571    861142         0   3013997         0   no data   no data
201.16/14.15	c asymm  cl-useful: 0/24048/430570 lits-rem:0 time: 1.38
954.56/37.71	c Flit:  1587 Blit:  14472 bXBeca:    0 bXProp: 18653 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 23.51
957.53/37.85	c Cleaning up after failed var search:     0.13 s 
968.34/38.25	c Replacing    18653 vars Replaced   382785 lits Time:     0.29 s 
1005.74/40.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
1009.63/40.88	c bin-w-bin subsume rem          521 bins  time:  0.20 s
1023.69/41.39	c subs with bin:      132  lits-rem:       129  v-fix:    0  time:  0.48 s
1058.78/42.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done: 130432 time:  1.33 s
1075.88/43.43	c Removed useless bin:      71  fixed:     0  props:  20.00M  time:  0.58 s
1285.25/53.25	c lits-rem:        23  cl-subs:      315  v-elim: 132156  v-fix:    0  time:  4.26 s
1290.79/53.48	c Finding binary XORs  T:     0.23 s  found:     611
1296.15/53.68	c Replacing      611 vars Replaced     8991 lits Time:     0.20 s 
1316.22/54.36	c Finding non-binary XORs:     0.40 s (found:    9823, avg size: 3.0)
1316.22/54.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     4 time:   0.19
1319.27/54.46	c calculated reachability. Time: 0.01
1322.35/54.57	c Calc default polars -  time:   0.11 s pos:   94019 undec:  170182 neg:  169400
1322.35/54.57	c =========================================================================================
1322.35/54.57	c types(t): F = full restart, N = normal restart
1322.35/54.57	c types(t): S = simplification begin/end, E = solution found
1322.35/54.57	c restart types(rt): st = static, dy = dynamic
1322.35/54.57	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1322.35/54.57	c  B st     0         0    263701    315000    545231         0   2225667         0   no data   no data
1613.09/63.63	c  N dy    18      4028    263536    315000    545303      3585   2225667     57295      7.81      8.46
1983.72/75.23	c  N dy    46      9109    261751    315000    547713      7998   2225665    131014      8.12      8.82
2223.46/82.77	c  N dy    74     13163    261585    315000    548347     11509   2225665    195438      8.45      8.91
2456.80/90.07	c  N dy    97     17172    261569    315000    548354     14866   2225661    247426      8.44      8.97
2677.28/96.96	c Finding binary XORs  T:     0.18 s  found:    4826
2683.68/97.15	c Replacing     4873 vars Replaced    97048 lits Time:     0.19 s 
2731.60/98.66	c  N dy   124     21227    256037    305953    531069      9605   2155663     78221      8.73      9.31
2971.25/106.18	c  F st   145     25001    256036    305953    531490     12830   2155663    135179      8.70   no data
2980.80/106.42	c Replacing        1 vars Replaced       10 lits Time:     0.16 s 
5414.44/191.73	c  N st   146     25251    255956    305497    530938     13024   2152228    137516      8.70   no data
5638.06/198.72	c  N dy   151     30000    255956    305497    530949     17131   2152228    234673      8.70   no data
5638.06/198.72	c  S st   151     30000    255956    305497    530949     17131   2152228    234673      8.70   no data
5701.99/200.77	c  S st   151     30502    255954    305497    531722     17594   2152228    242787      8.70   no data
5708.36/200.94	c x-sub:     2 x-cut:      0 vfix:      0 v-elim:    159 locsubst:     2 time:   0.16
6660.90/230.77	c Flit:    99 Blit:    456 bXBeca:    0 bXProp: 2400 Bins: 111023 BRemL:   8098 BRemN:     41 P: 200.0M T: 29.83
6660.90/230.78	c Cleaning up after failed var search:     0.00 s 
6671.12/231.09	c Replacing     2401 vars Replaced   108035 lits Time:     0.29 s 
6680.08/231.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
6686.47/231.53	c bin-w-bin subsume rem        25753 bins  time:  0.17 s
6696.07/231.84	c subs with bin:     1038  lits-rem:      1358  v-fix:    0  time:  0.31 s
6724.84/232.75	c Subs w/ non-existent bins:    246 l-rem:    672 v-fix:     0 done: 133936 time:  0.90 s
6743.97/233.36	c Removed useless bin:     178  fixed:     0  props:  20.00M  time:  0.60 s
6836.55/236.23	c lits-rem:       287  cl-subs:     1476  v-elim: 168154  v-fix:    0  time:  2.74 s
6839.76/236.38	c subs with bin:      219  lits-rem:      1171  v-fix:    0  time:  0.09 s
6852.52/236.75	c lits-rem:       892  cl-subs:      925  v-elim:      0  v-fix:    0  time:  0.23 s
6878.73/237.52	c asymm  cl-useful: 402/16278/357296 lits-rem:619 time: 0.77
6878.73/237.58	c calculated reachability. Time: 0.01
6878.73/237.58	c  N dy   151     30502     84077    357293    102778     12272   1667941    179785      8.70   no data
6881.93/237.67	c Finding binary XORs  T:     0.09 s  found:     119
6977.21/240.62	c  N dy   173     34846     84077    357293    102778     15796   1667941    235778      8.65      9.20
7079.49/243.85	c  N dy   195     38963     84063    357293    103316     19168   1667941    291149      8.57      9.26
7195.15/247.47	c  N dy   219     43083     84063    357293    109385     11711   1667941    103725      8.64      9.11
7277.52/250.01	c  S st   235     45754     84063    357293    109390     13885   1667941    139017      8.65      8.38
7293.51/250.56	c  S st   235     46254     84063    357293    109409     14351   1667940    144670      8.65   no data
7296.71/250.67	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:     80 locsubst:   348 time:   0.12
7418.16/254.47	c Flit:    20 Blit:      4 bXBeca:    0 bXProp:  818 Bins: 151215 BRemL:  54433 BRemN:    337 P: 25.4M T:  3.78
7424.56/254.69	c Replacing     1027 vars Replaced    80786 lits Time:     0.19 s 
7434.15/254.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
7434.15/254.98	c bin-w-bin subsume rem        24350 bins  time:  0.07 s
7441.16/255.14	c subs with bin:     1411  lits-rem:      1630  v-fix:    0  time:  0.16 s
7446.92/255.32	c Subs w/ non-existent bins:    300 l-rem:   1786 v-fix:     0 done:  82885 time:  0.18 s
7450.12/255.47	c Removed useless bin:     119  fixed:     0  props:   2.68M  time:  0.15 s
7476.32/256.27	c lits-rem:       300  cl-subs:     1276  v-elim:   9743  v-fix:    0  time:  0.78 s
7479.52/256.40	c subs with bin:       63  lits-rem:       279  v-fix:    0  time:  0.07 s
7491.68/256.76	c lits-rem:       379  cl-subs:      401  v-elim:      0  v-fix:    0  time:  0.21 s
7514.68/257.46	c asymm  cl-useful: 188/15553/355618 lits-rem:215 time: 0.70
7517.24/257.51	c calculated reachability. Time: 0.01
7517.24/257.52	c  N dy   235     46254     73142    355616     95654     13017   1685134    155316      8.65   no data
7520.44/257.60	c Finding binary XORs  T:     0.08 s  found:       0
7652.09/261.78	c  N dy   262     50343     73104    355616    105610     16423   1685134    236117      8.69      9.22
7744.16/264.65	c  N dy   287     54517     73104    355616    105612     19931   1685134    299875      8.76      9.24
7753.73/264.92	c Finding binary XORs  T:     0.09 s  found:     191
7833.26/267.40	c  N dy   304     58799     73089    354022    127703     23393   1677341    395571      8.71      9.36
7916.39/270.05	c  N dy   322     62975     73084    354022    127984     26864   1677341    456350      8.71      9.20
8015.47/273.18	c  N dy   341     67531     73084    354022    127993     16594   1677341    229820      8.67      9.17
8060.23/274.54	c  S st   355     69382     73084    354022    127993     18176   1677341    260100      8.70   no data
8076.88/275.06	c  S st   355     69884     73084    354022    128001     18649   1677341    265928      8.70   no data
8079.40/275.18	c x-sub:    93 x-cut:      0 vfix:      0 v-elim:    176 locsubst:   150 time:   0.12
8147.16/277.27	c Flit:     4 Blit:      0 bXBeca:    0 bXProp:   87 Bins:   7793 BRemL:  36717 BRemN:     96 P: 20.4M T:  2.09
8152.91/277.47	c Replacing      342 vars Replaced    13681 lits Time:     0.18 s 
8162.50/277.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
8162.50/277.76	c bin-w-bin subsume rem        10566 bins  time:  0.05 s
8168.90/277.90	c subs with bin:      692  lits-rem:      1622  v-fix:    0  time:  0.14 s
8172.09/278.07	c Subs w/ non-existent bins:    542 l-rem:   1046 v-fix:     0 done:  72550 time:  0.16 s
8175.29/278.19	c Removed useless bin:      74  fixed:     0  props:   1.51M  time:  0.12 s
8191.26/278.70	c lits-rem:        24  cl-subs:      807  v-elim:    659  v-fix:    0  time:  0.50 s
8197.65/278.83	c subs with bin:       42  lits-rem:        60  v-fix:    0  time:  0.08 s
8210.45/279.22	c lits-rem:       484  cl-subs:      570  v-elim:      0  v-fix:    0  time:  0.22 s
8235.90/280.02	c asymm  cl-useful: 219/84904/349910 lits-rem:276 time: 0.80
8235.90/280.07	c calculated reachability. Time: 0.01
8235.90/280.08	c  N dy   355     69884     71891    349891     85381     18027   1656421    175376      8.70   no data
8239.00/280.16	c Finding binary XORs  T:     0.08 s  found:       0
8347.53/283.51	c  N dy   373     74363     71889    349891    100608     21761   1656421    262299      8.64      9.12
8411.46/285.56	c Finding binary XORs  T:     0.08 s  found:      64
8460.04/287.08	c  N dy   395     79171     71878    349631    102172     25803   1655060    330267      8.62      9.48
8584.03/290.97	c  N dy   419     84481     71878    349631    102177     30177   1655060    403775      8.61      9.08
8644.74/292.83	c  F st   427     87501     71869    349631    102224     32716   1655060    439146      8.56      7.36
8651.16/293.02	c Replacing       64 vars Replaced     2655 lits Time:     0.12 s 
8727.79/295.43	c  N st   432     90799     71805    349292    102019     19000   1653519    204128      8.56   no data
8842.87/299.07	c  N dy   447     96822     71800    349292    102047     24264   1653519    291455      8.52      9.06
8955.37/302.54	c  N dy   470    103123     71795    349292    102984     29579   1653519    377895      8.46      9.12
8983.50/303.47	c  S st   477    104826     71795    349292    103017     31045   1653519    402100      8.45   no data
9005.86/304.10	c  S st   477    105327     71794    349292    103025     31519   1653519    408931      8.45   no data
9009.06/304.22	c x-sub:    81 x-cut:      0 vfix:      0 v-elim:     34 locsubst:     0 time:   0.12
9076.02/306.32	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   79 Bins:   5926 BRemL:  12725 BRemN:     88 P: 20.5M T:  2.10
9082.38/306.52	c Replacing       79 vars Replaced     3186 lits Time:     0.19 s 
9088.76/306.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
9088.76/306.82	c bin-w-bin subsume rem         6562 bins  time:  0.05 s
9095.73/306.96	c subs with bin:      221  lits-rem:       405  v-fix:    0  time:  0.14 s
9101.36/307.13	c Subs w/ non-existent bins:    190 l-rem:    256 v-fix:     0 done:  71677 time:  0.16 s
9104.55/307.25	c Removed useless bin:      14  fixed:     0  props:   1.47M  time:  0.12 s
9120.53/307.72	c lits-rem:        60  cl-subs:      591  v-elim:    275  v-fix:    0  time:  0.46 s
9123.73/307.91	c subs with bin:      111  lits-rem:       588  v-fix:    0  time:  0.10 s
9139.70/308.38	c lits-rem:      1485  cl-subs:     1513  v-elim:      0  v-fix:    0  time:  0.30 s
9168.45/309.23	c asymm  cl-useful: 72/49412/347015 lits-rem:204 time: 0.85
9168.45/309.28	c calculated reachability. Time: 0.01
9168.45/309.29	c  N dy   477    105327     71402    346950     87648     29865   1641312    354119      8.45   no data
9171.64/309.37	c Finding binary XORs  T:     0.08 s  found:       0
9321.88/314.09	c  N dy   507    112205     71402    346950     87807     35715   1641312    449912      8.42      9.01
9479.01/318.99	c  N dy   547    119519     71390    346950     91440     24895   1641312    229083      8.46      9.14
9609.20/323.09	c Finding binary XORs  T:     0.08 s  found:      87
9672.50/325.05	c  N dy   586    127219     71383    346548     94072     31515   1639516    349690      8.46      9.53
9871.39/331.34	c  N dy   629    135394     71383    346548     94172     38657   1639516    478735      8.45      8.94
10077.80/337.89	c  N dy   668    144074     71378    346548     95730     28578   1639516    252979      8.42     11.46
10301.43/344.84	c  N dy   711    153391     71375    346548     95864     36843   1639516    394964      8.42      8.91
10394.09/347.74	c  S st   720    157990     71375    346548     96110     40912   1639516    452496      8.38   no data
10416.48/348.47	c  S st   720    158493     71375    346548     96115     41392   1639516    459334      8.38   no data
10419.68/348.59	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:    188 locsubst:    34 time:   0.12
10497.04/350.95	c Flit:     2 Blit:     17 bXBeca:    0 bXProp:   22 Bins:  10111 BRemL:   9315 BRemN:     24 P: 23.2M T:  2.36
10502.76/351.17	c Replacing      109 vars Replaced    11471 lits Time:     0.19 s 
10512.35/351.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
10512.35/351.46	c bin-w-bin subsume rem         1988 bins  time:  0.05 s
10518.75/351.60	c subs with bin:      162  lits-rem:       392  v-fix:    0  time:  0.14 s
10521.95/351.79	c Subs w/ non-existent bins:     26 l-rem:     89 v-fix:     0 done:  71054 time:  0.17 s
10525.13/351.92	c Removed useless bin:      10  fixed:     0  props:   1.48M  time:  0.12 s
10544.27/352.44	c lits-rem:        34  cl-subs:      160  v-elim:    216  v-fix:    0  time:  0.52 s
10550.66/352.65	c subs with bin:       83  lits-rem:      2231  v-fix:    0  time:  0.12 s
10567.30/353.16	c lits-rem:      2056  cl-subs:     1859  v-elim:      0  v-fix:    0  time:  0.33 s
10592.21/353.97	c asymm  cl-useful: 22/24869/345039 lits-rem:66 time: 0.81
10595.40/354.02	c calculated reachability. Time: 0.01
10595.40/354.03	c  N dy   720    158493     70838    345017     93890     39093   1630224    426639      8.38   no data
10595.40/354.11	c Finding binary XORs  T:     0.08 s  found:       0
10845.31/361.86	c  N dy   772    168636     70833    345017    101045     29227   1630224    229183      8.36      9.91
10902.22/363.60	c Finding binary XORs  T:     0.08 s  found:      12
11084.41/369.34	c  N dy   817    179424     70832    344991    101107     38678   1630121    373616      8.33      8.79
11349.70/377.68	c  N dy   870    190939     70831    344991    101151     48553   1630121    531483      8.31      9.19
11669.36/387.60	c  N dy   936    203222     70830    344991    103096     40353   1630120    357798      8.32     15.08
11813.21/392.15	c Finding binary XORs  T:     0.08 s  found:      16
12005.63/398.16	c  N dy  1001    216377     70825    344837    103094     51516   1629010    537517      8.31      8.90
12343.81/408.74	c Finding binary XORs  T:     0.08 s  found:      13
12369.38/409.59	c  N dy  1086    230266     70818    344760    113484     44540   1628283    407664      8.35      8.83
12573.95/415.97	c  S st  1123    237739     70815    344760    120341     51053   1628283    529346      8.35      8.10
12593.14/416.57	c  S st  1123    238241     70815    344760    120343     51541   1628283    536188      8.35   no data
12596.33/416.68	c x-sub:    20 x-cut:      0 vfix:      0 v-elim:    110 locsubst:    78 time:   0.12
12676.87/419.18	c Flit:     0 Blit:      3 bXBeca:    0 bXProp:   10 Bins:   2303 BRemL:  16336 BRemN:     63 P: 27.4M T:  2.49
12682.64/419.38	c Replacing       90 vars Replaced     7546 lits Time:     0.18 s 
12692.23/419.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
12692.23/419.67	c bin-w-bin subsume rem         4450 bins  time:  0.05 s
12698.63/419.82	c subs with bin:      399  lits-rem:       357  v-fix:    0  time:  0.14 s
12701.83/419.98	c Subs w/ non-existent bins:     30 l-rem:     27 v-fix:     0 done:  70612 time:  0.15 s
12705.02/420.10	c Removed useless bin:      11  fixed:     0  props:   1.42M  time:  0.12 s
12721.00/420.58	c lits-rem:        27  cl-subs:      241  v-elim:    435  v-fix:    0  time:  0.48 s
12730.58/420.80	c subs with bin:      241  lits-rem:       937  v-fix:    0  time:  0.12 s
12747.19/421.32	c lits-rem:      1267  cl-subs:     1811  v-elim:      0  v-fix:    0  time:  0.33 s
12772.13/422.18	c asymm  cl-useful: 7/28042/342561 lits-rem:21 time: 0.86
12775.33/422.24	c calculated reachability. Time: 0.01
12775.33/422.24	c  N dy  1123    238241     70177    342554    101103     48945   1618101    465990      8.35   no data
12779.15/422.32	c Finding binary XORs  T:     0.08 s  found:       0
13228.90/436.46	c  N dy  1214    253578     70177    342554    102140     40961   1618101    273301      8.39      8.88
13423.74/442.55	c Finding binary XORs  T:     0.08 s  found:      32
13672.94/450.35	c  N dy  1309    269970     70176    342545    104654     55312   1618049    524763      8.41      8.90
14181.17/466.27	c  N dy  1418    287275     70175    342545    105174     48712   1618049    363747      8.45      9.05
14721.27/483.16	c  N dy  1520    305691     70175    342545    105239     64765   1618049    631401      8.46      8.97
14740.45/483.75	c  F st  1523    306251     70175    342545    105239     65218   1618049    637865      8.46      7.37
14747.44/483.94	c Replacing       32 vars Replaced     2651 lits Time:     0.12 s 
15002.52/491.95	c Finding binary XORs  T:     0.08 s  found:      36
15229.49/499.08	c  N dy  1611    325476     70142    342524    111190     59724   1617795    513132      8.47      9.02
15802.26/516.96	c  N dy  1719    345663     70141    342524    111278     77540   1617795    837466      8.48      9.21
15833.61/517.99	c Finding binary XORs  T:     0.08 s  found:       9
16197.88/529.38	c  S st  1796    357361     70140    342514    122402     64275   1617729    562408      8.51      7.26
16224.09/530.17	c  S st  1796    357862     70140    342514    122403     64759   1617729    569725      8.51   no data
16229.84/530.30	c x-sub:    42 x-cut:      0 vfix:      0 v-elim:      5 locsubst:    72 time:   0.14
16322.40/533.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    7 Bins:   1216 BRemL:  16306 BRemN:     50 P: 29.6M T:  2.95
16325.60/533.41	c Replacing       87 vars Replaced     6509 lits Time:     0.13 s 
16335.17/533.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
16338.37/533.71	c bin-w-bin subsume rem         2729 bins  time:  0.05 s
16341.57/533.86	c subs with bin:      117  lits-rem:       315  v-fix:    0  time:  0.15 s
16347.97/534.02	c Subs w/ non-existent bins:     26 l-rem:     25 v-fix:     0 done:  70048 time:  0.15 s
16351.16/534.15	c Removed useless bin:      17  fixed:     0  props:   1.42M  time:  0.13 s
16367.78/534.67	c lits-rem:         2  cl-subs:      321  v-elim:     55  v-fix:    0  time:  0.52 s
16376.73/534.91	c subs with bin:      251  lits-rem:       581  v-fix:    0  time:  0.13 s
16392.72/535.48	c lits-rem:      1400  cl-subs:     1964  v-elim:      0  v-fix:    0  time:  0.40 s
16424.69/536.44	c asymm  cl-useful: 28/24407/341999 lits-rem:84 time: 0.96
16427.89/536.50	c calculated reachability. Time: 0.01
16427.89/536.51	c  N dy  1796    357862     69993    341971    103268     62426   1615197    508971      8.51   no data
16645.84/543.37	c Finding binary XORs  T:     0.09 s  found:       3
17089.39/557.26	c Finding binary XORs  T:     0.09 s  found:       8
17102.81/557.67	c  N dy  1924    377952     69991    341941    111054     80101   1614785    849482      8.54     11.61
17485.54/569.67	c Finding binary XORs  T:     0.09 s  found:      20
17738.66/577.58	c  N dy  2045    398043     69987    341917    117210     72531   1614491    644794      8.56      9.24
18374.14/597.40	c  N dy  2153    418403     69987    341917    117288     65114   1614491    453086      8.56      9.25
19006.98/617.23	c Finding binary XORs  T:     0.09 s  found:      54
19022.97/617.72	c  N dy  2288    438571     69987    341909    120430     83086   1614454    808867      8.61      9.27
19601.70/635.82	c Finding binary XORs  T:     0.09 s  found:       6
19642.62/637.16	c  N dy  2403    458631     69987    341909    126049     74385   1614454    584424      8.63      9.09
20310.54/658.02	c  N dy  2529    478726     69987    341909    128586     92282   1614454    932628      8.65      9.12
20332.92/658.73	c Finding binary XORs  T:     0.09 s  found:       4
21058.53/681.42	c  N dy  2677    498825     69986    341909    128664     82988   1614454    701591      8.71      9.19
21771.23/703.73	c  N dy  2795    519097     69985    341909    128768    101102   1614453   1040329      8.73      9.34
22384.93/722.93	c  S st  2908    536793     69985    341909    128833     88651   1614453    728045      8.76   no data
22411.14/723.74	c  S st  2908    537297     69985    341909    128833     89123   1614453    734613      8.76   no data
22414.37/723.87	c x-sub:    38 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    72 time:   0.13
22512.76/726.96	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:   24 Bins:   3532 BRemL:  16104 BRemN:     11 P: 33.8M T:  3.09
22519.77/727.19	c Replacing      119 vars Replaced     7960 lits Time:     0.21 s 
22528.73/727.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
22528.73/727.49	c bin-w-bin subsume rem         4154 bins  time:  0.05 s
22535.13/727.65	c subs with bin:      151  lits-rem:      1199  v-fix:    0  time:  0.15 s
22541.53/727.81	c Subs w/ non-existent bins:     18 l-rem:     23 v-fix:     0 done:  69864 time:  0.15 s
22544.72/727.94	c Removed useless bin:      12  fixed:     0  props:   1.51M  time:  0.14 s
22560.70/728.46	c lits-rem:         5  cl-subs:      250  v-elim:    131  v-fix:    0  time:  0.52 s
22570.29/728.74	c subs with bin:      280  lits-rem:      1759  v-fix:    0  time:  0.14 s
22590.09/729.39	c lits-rem:      1799  cl-subs:     2535  v-elim:      0  v-fix:    0  time:  0.46 s
22622.05/730.35	c asymm  cl-useful: 9/19961/341168 lits-rem:27 time: 0.96
22622.05/730.41	c calculated reachability. Time: 0.01
22622.05/730.42	c  N dy  2908    537297     69733    341159    109835     85320   1609979    659945      8.76   no data
22627.81/730.50	c Finding binary XORs  T:     0.09 s  found:       0
23328.29/752.47	c  N dy  3041    557622     69733    341159    112083    103604   1609979   1025334      8.78      9.30
23455.53/756.44	c Finding binary XORs  T:     0.09 s  found:      50
24053.25/775.14	c  N dy  3168    577686     69733    341159    112149     91395   1609977    697594      8.80      9.27
24833.20/799.50	c  N dy  3303    597771     69733    341159    112243    109193   1609977   1048890      8.84     10.79
25629.12/824.48	c  N dy  3424    617870     69732    341159    113072     97837   1609977    733087      8.85      9.77
26434.62/849.64	c  N dy  3558    637911     69725    341159    113142    115676   1609977   1092717      8.88      9.68
26722.28/858.69	c Finding binary XORs  T:     0.09 s  found:      68
27196.00/873.45	c  N dy  3682    657961     69725    341108    119166    103174   1609658    801488      8.90     13.50
27610.53/886.46	c Finding binary XORs  T:     0.09 s  found:       8
27846.72/893.82	c  N dy  3808    678149     69721    341101    121198    121647   1609620   1166510      8.91      9.50
28229.81/905.80	c Finding binary XORs  T:     0.10 s  found:    1910
28236.21/906.08	c Replacing     2112 vars Replaced   188490 lits Time:     0.28 s 
28606.97/917.64	c  N dy  3906    698248     67314    335852    121920     97094   1582823    708071      8.91      9.38
28683.69/920.09	c Finding binary XORs  T:     0.10 s  found:    2459
28693.28/920.31	c Replacing     2459 vars Replaced    98567 lits Time:     0.22 s 
29422.04/943.18	c  N dy  4007    718745     64852    335487    121283    113705   1580449   1002723      8.91      9.39
29428.44/943.39	c Finding binary XORs  T:     0.09 s  found:    1104
29434.84/943.57	c Replacing     1104 vars Replaced    78360 lits Time:     0.18 s 
30019.79/961.82	c Finding binary XORs  T:     0.09 s  found:     175
30253.77/969.18	c  N dy  4122    738784     63738    334334    151449    100638   1573858    777188      8.91      9.47
30672.49/982.26	c Finding binary XORs  T:     0.09 s  found:     334
31013.90/993.00	c  N dy  4239    758787     63732    334222    154237    118533   1573250   1102955      8.92      9.51
31138.55/996.83	c Finding binary XORs  T:     0.09 s  found:     165
31144.94/997.01	c Replacing      674 vars Replaced    57125 lits Time:     0.18 s 
31787.43/1017.17	c  N dy  4361    779090     63051    334066    177822    104314   1571727    839903      8.93      9.54
31806.59/1017.72	c Finding binary XORs  T:     0.09 s  found:     117
32513.02/1039.87	c  N dy  4461    799332     63051    334066    178760    122599   1571725   1157847      8.92      9.68
32746.96/1047.17	c  S st  4494    805945     63050    334066    178885    128499   1571725   1266803      8.93   no data
32778.33/1048.21	c  S st  4494    806446     63050    334066    178889    128976   1571725   1272964      8.93   no data
32785.35/1048.35	c x-sub:  1632 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    16 time:   0.13
32957.97/1053.80	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:  185 Bins:  10916 BRemL:  30066 BRemN:     32 P: 47.7M T:  5.45
32966.93/1054.07	c Replacing      310 vars Replaced    39962 lits Time:     0.25 s 
32976.52/1054.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
32979.72/1054.42	c bin-w-bin subsume rem        42562 bins  time:  0.09 s
32982.92/1054.58	c subs with bin:     2726  lits-rem:      4128  v-fix:    0  time:  0.17 s
32989.32/1054.75	c Subs w/ non-existent bins:    332 l-rem:    637 v-fix:     0 done:  62739 time:  0.17 s
32993.10/1054.89	c Removed useless bin:     403  fixed:     0  props:   1.69M  time:  0.13 s
33037.22/1056.21	c lits-rem:       356  cl-subs:    15893  v-elim:   3972  v-fix:    0  time:  1.31 s
33046.81/1056.60	c subs with bin:     1487  lits-rem:      9122  v-fix:    0  time:  0.20 s
33091.57/1057.95	c lits-rem:      5747  cl-subs:    18094  v-elim:      0  v-fix:    0  time:  1.19 s
33120.33/1058.83	c asymm  cl-useful: 38/10491/298375 lits-rem:114 time: 0.88
33120.33/1058.89	c calculated reachability. Time: 0.01
33120.33/1058.89	c  N dy  4494    806446     58767    298337     91447    104223   1412217    909065      8.93   no data
33123.53/1058.97	c Finding binary XORs  T:     0.08 s  found:       0
33708.50/1077.26	c Finding binary XORs  T:     0.09 s  found:     138
33810.80/1080.41	c  N dy  4596    826449     58759    298317     94143    121937   1412114   1228506      8.92      9.76
34079.28/1088.88	c Finding binary XORs  T:     0.08 s  found:      71
34622.67/1105.80	c  N dy  4716    847890     58757    298310     99589     98268   1412078    721707      8.93      9.42
34677.02/1107.57	c Finding binary XORs  T:     0.09 s  found:     103
35357.85/1128.84	c  N dy  4830    867972     58751    298310    101380    116489   1412077   1055363      8.93      9.58
35802.15/1142.80	c Finding binary XORs  T:     0.09 s  found:     184
36150.58/1153.62	c  N dy  4933    887991     58739    298089    104428    100031   1411162    684922      8.93     11.44
36316.79/1158.89	c Finding binary XORs  T:     0.09 s  found:     139
36323.20/1159.06	c Replacing      636 vars Replaced    36125 lits Time:     0.17 s 
36997.64/1180.12	c  N dy  5052    908174     58100    297940    105903    118198   1409733   1039742      8.94      9.43
37368.43/1191.75	c Finding binary XORs  T:     0.09 s  found:     260
37819.10/1205.88	c  N dy  5169    928317     58092    297898    110192    100567   1409362    639276      8.95      9.60
37848.51/1206.76	c Finding binary XORs  T:     0.09 s  found:     158
38126.60/1215.46	c Finding binary XORs  T:     0.09 s  found:      87
38657.20/1232.05	c  N dy  5297    948339     58086    297809    117352    118416   1408734    973591      8.96      9.53
38851.57/1238.17	c Finding binary XORs  T:     0.09 s  found:     167
38857.96/1238.33	c Replacing      672 vars Replaced    39264 lits Time:     0.16 s 
39478.06/1257.77	c  N dy  5429    968558     57414    297501    116184    136418   1406526   1297239      8.97      9.53
40219.66/1280.93	c  N dy  5550    988652     57414    297501    117000    118424   1406521    901818      8.97      9.51
40274.64/1282.70	c Finding binary XORs  T:     0.09 s  found:     261
41048.18/1306.86	c  N dy  5679   1008761     57410    297487    117909    136358   1406403   1240974      8.98      9.63
41562.16/1322.91	c Finding binary XORs  T:     0.09 s  found:     207
41881.82/1332.96	c  N dy  5799   1028850     57407    297478    118675    117822   1406364    815168      8.99      9.54
42674.52/1357.76	c  N dy  5920   1048916     57407    297478    119007    135887   1406364   1140470      9.00      9.58
43026.15/1368.76	c Finding binary XORs  T:     0.09 s  found:     278
43032.51/1368.94	c Replacing      746 vars Replaced    42717 lits Time:     0.18 s 
43486.43/1383.11	c  N dy  6032   1069187     56661    297318    117884    115769   1404479    684632      9.00      9.50
43588.72/1386.33	c  F st  6049   1071875     56661    297318    117981    118227   1404479    727095      9.00      7.85
44237.58/1406.64	c  N dy  6131   1089271     56661    297318    118124    133960   1404479   1078970      9.01      9.53
44282.96/1408.07	c Finding binary XORs  T:     0.09 s  found:      98
45036.70/1431.61	c  N dy  6232   1109279     56660    297317    120018    151784   1404456   1399751      9.01      9.51
45510.42/1446.44	c Finding binary XORs  T:     0.09 s  found:      95
45867.80/1457.61	c  N dy  6362   1129285     56660    297317    120569    131029   1404456    907704      9.02      9.56
46366.43/1473.27	c Finding binary XORs  T:     0.09 s  found:      63
46772.38/1486.00	c  N dy  6501   1149321     56660    297317    122467    149022   1404456   1251798      9.03     11.82
47676.97/1514.23	c  N dy  6635   1169452     56659    297317    122778    127339   1404456    748002      9.05      9.60
48645.49/1544.50	c  N dy  6774   1189501     56659    297317    122977    145291   1404453   1087926      9.06     14.10
49422.23/1568.80	c Finding binary XORs  T:     0.09 s  found:     156
49540.52/1572.51	c  N dy  6902   1209567     56659    297314    126653    163387   1404430   1441379      9.07      9.65
49540.52/1572.58	c  S st  6904   1209669     56659    297314    126653    163485   1404430   1442922      9.07   no data
49572.48/1573.56	c  S st  6904   1210171     56659    297314    126653    163961   1404430   1450581      9.07   no data
49575.68/1573.70	c x-sub:   101 x-cut:      0 vfix:      0 v-elim:      3 locsubst:     6 time:   0.14
49748.29/1579.00	c Flit:     0 Blit:      2 bXBeca:    0 bXProp:    4 Bins:   7301 BRemL:  15530 BRemN:     44 P: 39.7M T:  5.30
49754.69/1579.28	c Replacing      416 vars Replaced    24406 lits Time:     0.26 s 
49761.09/1579.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
49764.87/1579.58	c bin-w-bin subsume rem        18511 bins  time:  0.06 s
49770.66/1579.74	c subs with bin:     2421  lits-rem:      5527  v-fix:    0  time:  0.17 s
49777.04/1579.93	c Subs w/ non-existent bins:    731 l-rem:    574 v-fix:     0 done:  56238 time:  0.19 s
49780.23/1580.06	c Removed useless bin:     280  fixed:     0  props:   1.32M  time:  0.13 s
49812.20/1581.09	c lits-rem:       474  cl-subs:    11639  v-elim:   1977  v-fix:    0  time:  1.01 s
49828.20/1581.59	c subs with bin:     1255  lits-rem:      5831  v-fix:    0  time:  0.26 s
49876.13/1583.08	c lits-rem:      4985  cl-subs:     7631  v-elim:      0  v-fix:    0  time:  1.32 s
49885.72/1583.30	c vivif2 --  cl tried   276378 cl shrink     2050 lits rem       3601 time: 0.22
49892.12/1583.57	c vivif2 --  cl tried   150277 cl shrink     7351 lits rem      16256 time: 0.27
49920.88/1584.48	c asymm  cl-useful: 1285/6178/276289 lits-rem:6694 time: 0.91
49924.08/1584.57	c calculated reachability. Time: 0.04
49924.08/1584.57	c  N dy  6904   1210171     54261    276244     91959    150253   1311277   1221520      9.07   no data
49994.41/1586.71	c Finding binary XORs  T:     0.13 s  found:       5
50384.36/1598.98	c Finding binary XORs  T:     0.13 s  found:      44
50838.28/1613.19	c  N dy  6980   1231152     54260    276241     98802    126001   1311197    694672      9.06      9.72
51707.70/1640.36	c  N dy  7046   1251390     54258    276241     99062    144155   1311196   1035894      9.04      9.63
51937.87/1647.58	c Finding binary XORs  T:     0.13 s  found:      59
52625.10/1669.01	c  N dy  7140   1271406     54258    276226    102368    161925   1311123   1381504      9.04      9.57
53130.16/1684.85	c Finding binary XORs  T:     0.13 s  found:      49
53527.13/1697.27	c  N dy  7208   1291605     54257    276217    103662    139922   1311066    872260      9.03     10.20
54409.36/1724.85	c  N dy  7280   1312065     54256    276217    103802    158217   1311066   1239690      9.01      9.55
55032.04/1744.40	c Finding binary XORs  T:     0.13 s  found:      77
55367.67/1754.81	c  N dy  7378   1332257     54256    276214    106400    176345   1310986   1598119      9.01      9.82
55863.14/1770.30	c Finding binary XORs  T:     0.13 s  found:      26
56176.38/1780.19	c  N dy  7451   1352730     54255    276214    108539    153705   1310986   1032202      9.00      9.68
56988.26/1805.52	c  N dy  7542   1372813     54254    276214    108739    171764   1310984   1403323      8.99      9.51
57074.59/1808.21	c Finding binary XORs  T:     0.13 s  found:      55
57653.13/1826.39	c Finding binary XORs  T:     0.13 s  found:      18
57855.18/1832.63	c  N dy  7622   1392847     54254    276212    125145    147616   1310907    860429      8.98      9.61
58637.64/1857.11	c Finding binary XORs  T:     0.13 s  found:      49
58688.77/1858.72	c  N dy  7712   1413085     54253    276212    126844    165765   1310894   1229321      8.98      9.72
59388.82/1880.70	c Finding binary XORs  T:     0.13 s  found:      27
59513.46/1884.52	c  N dy  7800   1433097     54252    276207    130092    183699   1310881   1590472      8.97      9.73
60070.29/1901.97	c Finding binary XORs  T:     0.13 s  found:      18
60363.71/1911.14	c  N dy  7916   1453500     54252    276207    132388    158243   1310871   1005429      8.97      9.47
60744.10/1923.09	c Finding binary XORs  T:     0.14 s  found:    4281
60756.90/1923.46	c Replacing     4708 vars Replaced   338258 lits Time:     0.37 s 
61127.69/1935.10	c Finding binary XORs  T:     0.13 s  found:     904
61134.09/1935.29	c Replacing      905 vars Replaced    47589 lits Time:     0.19 s 
61297.70/1940.40	c  N dy  7994   1473762     48264    268442    121401    162354   1267458   1178498      8.96      9.78
61332.97/1946.05	c Following stats are for *FIRST FINISHED THREAD ONLY*
61332.97/1946.05	c num threads              : 32         
61332.97/1946.05	c restarts                 : 7265       
61332.97/1946.05	c dynamic restarts         : 7235       
61332.97/1946.05	c static restarts          : 30         
61332.97/1946.05	c full restarts            : 4          
61332.97/1946.05	c total simplify time      : 18.14      
61332.97/1946.05	c learnts DL2              : 0          
61332.97/1946.05	c learnts size 2           : 2241903    
61332.97/1946.05	c learnts size 1           : 26772       (6.17      % of vars)
61332.97/1946.05	c filedLit time            : 64.85       (3.45      % time)
61332.97/1946.05	c v-elim SatELite          : 312861      (72.15     % vars)
61332.97/1946.05	c SatELite time            : 12.88       (0.69      % time)
61332.97/1946.05	c v-elim xor               : 731         (0.17      % vars)
61332.97/1946.05	c xor elim time            : 0.64        (0.03      % time)
61332.97/1946.05	c num binary xor trees     : 19289      
61332.97/1946.05	c binxor trees' crown      : 46250       (2.40      leafs/tree)
61332.97/1946.05	c bin xor find time        : 6.52       
61332.97/1946.05	c OTF clause improved      : 141679      (0.11      clauses/conflict)
61332.97/1946.05	c OTF impr. size diff      : 147361      (1.04       lits/clause)
61332.97/1946.05	c OTF cl watch-shrink      : 460784      (0.36      clauses/conflict)
61332.97/1946.05	c OTF cl watch-sh-lit      : 1279505     (2.78       lits/clause)
61332.97/1946.05	c tried to recurMin cls    : 0           (0.00       % of conflicts)
61332.97/1946.05	c updated cache            : 0           (nan        lits/tried recurMin)
61332.97/1946.05	c unit cls recevied        : 667         (2.49      % of units)
61332.97/1946.05	c unit cls sent            : 113         (0.42      % of units)
61332.97/1946.05	c bin cls recevied         : 1058566    
61332.97/1946.05	c bin cls sent             : 14203      
61332.97/1946.05	c clauses over max glue    : 0           (0.00      % of all clauses)
61332.97/1946.05	c conflicts                : 1286210     (684.43    / sec)
61332.97/1946.05	c decisions                : 23142473    (1.48      % random)
61332.97/1946.05	c bogo-props               : 29565391261 (15732696.30 / sec)
61332.97/1946.05	c conflict literals        : 22248572    (19.30     % deleted)
61332.97/1946.05	c Memory used              : 19345.28    MB
61332.97/1946.05	c single-thread CPU time   : 1879.23     s
61332.97/1946.05	c all-threads sum CPU time : 60361.63    s
61332.97/1946.05	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-3400644-1306267994/watcher-3400644-1306267994 -o /tmp/evaluation-result-3400644-1306267994/solver-3400644-1306267994 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400644-1306267994.cnf 

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

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


[startup+0 s]
/proc/loadavg: 21.73 29.20 28.79 3/413 10802
/proc/meminfo: memFree=255145932/264257624 swapFree=67111528/67111528
[pid=10802] ppid=10800 vsize=338000 CPUtime=0.91 cores=0-31
/proc/10802/stat : 10802 (strangenight2-m) R 10800 10802 10776 0 -1 4202496 437 0 0 0 91 0 0 0 22 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/10802/statm: 84500 377 297 95 0 79482 0
[pid=10802/tid=10803] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10803/stat : 10803 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10802/tid=10804] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10804/stat : 10804 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083318 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10802/tid=10805] ppid=10800 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10802/task/10805/stat : 10805 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=10802/tid=10806] ppid=10800 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10802/task/10806/stat : 10806 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083308 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10802/tid=10807] ppid=10800 vsize=338000 CPUtime=0 cores=0-31
/proc/10802/task/10807/stat : 10807 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10802/tid=10808] ppid=10800 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10802/task/10808/stat : 10808 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083308 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=10802/tid=10809] ppid=10800 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10802/task/10809/stat : 10809 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083308 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=10802/tid=10810] ppid=10800 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10802/task/10810/stat : 10810 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=10802/tid=10811] ppid=10800 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10802/task/10811/stat : 10811 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=10802/tid=10812] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10812/stat : 10812 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10802/tid=10813] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10813/stat : 10813 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10802/tid=10814] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10814/stat : 10814 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10802/tid=10815] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10815/stat : 10815 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10802/tid=10816] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10816/stat : 10816 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=10802/tid=10817] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10817/stat : 10817 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083308 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=10802/tid=10818] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10818/stat : 10818 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10802/tid=10819] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10819/stat : 10819 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083318 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=10802/tid=10820] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10820/stat : 10820 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083304 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=10802/tid=10821] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10821/stat : 10821 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=10802/tid=10822] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10822/stat : 10822 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=10802/tid=10823] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10823/stat : 10823 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=10802/tid=10824] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10824/stat : 10824 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=10802/tid=10825] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10825/stat : 10825 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=10802/tid=10826] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10826/stat : 10826 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=10802/tid=10827] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10827/stat : 10827 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083312 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=10802/tid=10828] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10828/stat : 10828 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=10802/tid=10829] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10829/stat : 10829 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=10802/tid=10830] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10830/stat : 10830 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=10802/tid=10831] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10831/stat : 10831 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083304 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=10802/tid=10832] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10832/stat : 10832 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083308 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=10802/tid=10833] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10833/stat : 10833 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 27 0 0 0

[startup+0.0403489 s]
/proc/loadavg: 21.73 29.20 28.79 3/413 10802
/proc/meminfo: memFree=255145932/264257624 swapFree=67111528/67111528
[pid=10802] ppid=10800 vsize=338000 CPUtime=1.1 cores=0-31
/proc/10802/stat : 10802 (strangenight2-m) R 10800 10802 10776 0 -1 4202496 437 0 0 0 110 0 0 0 22 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083308 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/10802/statm: 84500 377 297 95 0 79482 0
[pid=10802/tid=10803] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10803/stat : 10803 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10802/tid=10804] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10804/stat : 10804 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083304 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10802/tid=10805] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10805/stat : 10805 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=10802/tid=10806] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10806/stat : 10806 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083312 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10802/tid=10807] ppid=10800 vsize=338000 CPUtime=0 cores=0-31
/proc/10802/task/10807/stat : 10807 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10802/tid=10808] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10808/stat : 10808 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083308 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=10802/tid=10809] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10809/stat : 10809 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083308 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=10802/tid=10810] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10810/stat : 10810 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=10802/tid=10811] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10811/stat : 10811 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083304 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=10802/tid=10812] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10812/stat : 10812 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10802/tid=10813] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10813/stat : 10813 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10802/tid=10814] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10814/stat : 10814 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083318 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10802/tid=10815] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10815/stat : 10815 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 738285999 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083308 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10802/tid=10816] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10816/stat : 10816 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=10802/tid=10817] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10817/stat : 10817 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=10802/tid=10818] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10818/stat : 10818 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083312 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10802/tid=10819] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10819/stat : 10819 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=10802/tid=10820] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10820/stat : 10820 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083312 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=10802/tid=10821] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10821/stat : 10821 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=10802/tid=10822] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10822/stat : 10822 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=10802/tid=10823] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10823/stat : 10823 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=10802/tid=10824] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10824/stat : 10824 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083308 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=10802/tid=10825] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10825/stat : 10825 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=10802/tid=10826] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10826/stat : 10826 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=10802/tid=10827] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10827/stat : 10827 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=10802/tid=10828] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10828/stat : 10828 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083304 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=10802/tid=10829] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10829/stat : 10829 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=10802/tid=10830] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10830/stat : 10830 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=10802/tid=10831] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10831/stat : 10831 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=10802/tid=10832] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10832/stat : 10832 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083314 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=10802/tid=10833] ppid=10800 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10802/task/10833/stat : 10833 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 738286000 346112000 377 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649083304 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 338000

[startup+0.103298 s]
/proc/loadavg: 21.73 29.20 28.79 3/413 10802
/proc/meminfo: memFree=255145932/264257624 swapFree=67111528/67111528
[pid=10802] ppid=10800 vsize=1322908 CPUtime=2.42 cores=0-31
/proc/10802/stat : 10802 (strangenight2-m) D 10800 10802 10776 0 -1 4202496 9738 0 0 0 181 61 0 0 17 0 32 0 738285999 1354657792 9551 268435456000 4194304 4580107 140734543191920 18446744073709551615 258650999207 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/10802/statm: 330727 9556 334 95 0 325709 0
[pid=10802/tid=10803] ppid=10800 vsize=1322908 CPUtime=0.08 cores=0-31
/proc/10802/task/10803/stat : 10803 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 311 0 0 0 6 2 0 0 17 0 32 0 738285999 1354657792 9564 268435456000 4194304 4580107 140734543191920 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10802/tid=10804] ppid=10800 vsize=1322908 CPUtime=0.06 cores=0-31
/proc/10802/task/10804/stat : 10804 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 290 0 0 0 5 1 0 0 17 0 32 0 738285999 1354657792 9573 268435456000 4194304 4580107 140734543191920 18446744073709551615 4489199 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10802/tid=10805] ppid=10800 vsize=1322908 CPUtime=0.07 cores=0-31
/proc/10802/task/10805/stat : 10805 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 318 0 0 0 6 1 0 0 17 0 32 0 738285999 1354657792 9590 268435456000 4194304 4580107 140734543191920 18446744073709551615 258651060958 0 0 4096 2 18446604477718068704 0 0 -1 28 0 0 0
[pid=10802/tid=10806] ppid=10800 vsize=1322908 CPUtime=0.06 cores=0-31
/proc/10802/task/10806/stat : 10806 (strangenight2-m) D 10800 10802 10776 0 -1 4202560 307 0 0 0 5 1 0 0 17 0 32 0 738285999 1354657792 9596 268435456000 4194304 4580107 140734543191920 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=10802/tid=10807] ppid=10800 vsize=1323044 CPUtime=0.01 cores=0-31
/proc/10802/task/10807/stat : 10807 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 300 0 0 0 0 1 0 0 17 0 32 0 738285999 1354797056 9610 268435456000 4194304 4580107 140734543191920 18446744073709551615 258651060958 0 0 4096 2 18446604505114303968 0 0 -1 4 0 0 0
[pid=10802/tid=10808] ppid=10800 vsize=1323044 CPUtime=0.06 cores=0-31
/proc/10802/task/10808/stat : 10808 (strangenight2-m) D 10800 10802 10776 0 -1 4202560 313 0 0 0 5 1 0 0 17 0 32 0 738285999 1354797056 9613 268435456000 4194304 4580107 140734543191920 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=10802/tid=10809] ppid=10800 vsize=1323044 CPUtime=0.07 cores=0-31
/proc/10802/task/10809/stat : 10809 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 299 0 0 0 5 2 0 0 17 0 32 0 738285999 1354797056 9621 268435456000 4194304 4580107 140734543191920 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=10802/tid=10810] ppid=10800 vsize=1323044 CPUtime=0.06 cores=0-31
/proc/10802/task/10810/stat : 10810 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 270 0 0 0 5 1 0 0 17 0 32 0 738285999 1354797056 9627 268435456000 4194304 4580107 140734543191920 18446744073709551615 258651060958 0 0 4096 2 18446604480242875872 0 0 -1 8 0 0 0
[pid=10802/tid=10811] ppid=10800 vsize=1323044 CPUtime=0.06 cores=0-31
/proc/10802/task/10811/stat : 10811 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 302 0 0 0 5 1 0 0 17 0 32 0 738285999 1354797056 9630 268435456000 4194304 4580107 140734543191920 18446744073709551615 258651060958 0 0 4096 2 18446744071566926904 0 0 -1 24 0 0 0
[pid=10802/tid=10812] ppid=10800 vsize=1323044 CPUtime=0.06 cores=0-31
/proc/10802/task/10812/stat : 10812 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 287 0 0 0 5 1 0 0 17 0 32 0 738285999 1354797056 9638 268435456000 4194304 4580107 140734543191920 18446744073709551615 258651060958 0 0 4096 2 18446604504607899104 0 0 -1 0 0 0 0
[pid=10802/tid=10813] ppid=10800 vsize=1323044 CPUtime=0.06 cores=0-31
/proc/10802/task/10813/stat : 10813 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 300 0 0 0 5 1 0 0 17 0 32 0 738285999 1354797056 9641 268435456000 4194304 4580107 140734543191920 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10802/tid=10814] ppid=10800 vsize=1323044 CPUtime=0.06 cores=0-31
/proc/10802/task/10814/stat : 10814 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 288 0 0 0 5 1 0 0 17 0 32 0 738285999 1354797056 9642 268435456000 4194304 4580107 140734543191920 18446744073709551615 4309551 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10802/tid=10815] ppid=10800 vsize=1323044 CPUtime=0.06 cores=0-31
/proc/10802/task/10815/stat : 10815 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 283 0 0 0 5 1 0 0 17 0 32 0 738285999 1354797056 9652 268435456000 4194304 4580107 140734543191920 18446744073709551615 258651060958 0 0 4096 2 18446604476176236000 0 0 -1 3 0 0 0
[pid=10802/tid=10816] ppid=10800 vsize=1323044 CPUtime=0.06 cores=0-31
/proc/10802/task/10816/stat : 10816 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 281 0 0 0 5 1 0 0 17 0 32 0 738286000 1354797056 9653 268435456000 4194304 4580107 140734543191920 18446744073709551615 258651060958 0 0 4096 2 18446604504018378208 0 0 -1 9 0 0 0
[pid=10802/tid=10817] ppid=10800 vsize=1323044 CPUtime=0.07 cores=0-31
/proc/10802/task/10817/stat : 10817 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 298 0 0 0 5 2 0 0 17 0 32 0 738286000 1354797056 9655 268435456000 4194304 4580107 140734543191920 18446744073709551615 258650614243 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=10802/tid=10818] ppid=10800 vsize=1323044 CPUtime=0.06 cores=0-31
/proc/10802/task/10818/stat : 10818 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 286 0 0 0 5 1 0 0 17 0 32 0 738286000 1354797056 9664 268435456000 4194304 4580107 140734543191920 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10802/tid=10819] ppid=10800 vsize=1323044 CPUtime=0.06 cores=0-31

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

/proc/10802/task/10807/stat : 10807 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1380930 0 0 0 187574 2931 0 0 25 0 32 0 738285999 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604478083120608 0 0 -1 9 0 0 0
[pid=10802/tid=10808] ppid=10800 vsize=19809560 CPUtime=1913.05 cores=0-31
/proc/10802/task/10808/stat : 10808 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1757680 0 0 0 188128 3177 0 0 25 0 32 0 738285999 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604504511110624 0 0 -1 6 0 0 0
[pid=10802/tid=10809] ppid=10800 vsize=19809560 CPUtime=1917.16 cores=0-31
/proc/10802/task/10809/stat : 10809 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1405418 0 0 0 188741 2975 0 0 25 0 32 0 738285999 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604504607899104 0 0 -1 26 0 0 0
[pid=10802/tid=10810] ppid=10800 vsize=19809560 CPUtime=1916.84 cores=0-31
/proc/10802/task/10810/stat : 10810 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1255874 0 0 0 189162 2522 0 0 25 0 32 0 738285999 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604501845097952 0 0 -1 22 0 0 0
[pid=10802/tid=10811] ppid=10800 vsize=19809560 CPUtime=1918.71 cores=0-31
/proc/10802/task/10811/stat : 10811 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1699992 0 0 0 188932 2939 0 0 25 0 32 0 738285999 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604492069354976 0 0 -1 6 0 0 0
[pid=10802/tid=10812] ppid=10800 vsize=19809560 CPUtime=1916.04 cores=0-31
/proc/10802/task/10812/stat : 10812 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 2070219 0 0 0 188421 3183 0 0 25 0 32 0 738285999 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604505383632352 0 0 -1 3 0 0 0
[pid=10802/tid=10813] ppid=10800 vsize=19809560 CPUtime=1906.64 cores=0-31
/proc/10802/task/10813/stat : 10813 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 2318433 0 0 0 187548 3116 0 0 25 0 32 0 738285999 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649058347 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=10802/tid=10814] ppid=10800 vsize=19809560 CPUtime=1917.15 cores=0-31
/proc/10802/task/10814/stat : 10814 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1988875 0 0 0 188656 3059 0 0 25 0 32 0 738285999 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604475339300320 0 0 -1 21 0 0 0
[pid=10802/tid=10815] ppid=10800 vsize=19809560 CPUtime=1911.81 cores=0-31
/proc/10802/task/10815/stat : 10815 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 3192833 0 0 0 187665 3516 0 0 25 0 32 0 738285999 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446744071566923704 0 0 -1 23 0 0 0
[pid=10802/tid=10816] ppid=10800 vsize=19809560 CPUtime=1917.55 cores=0-31
/proc/10802/task/10816/stat : 10816 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1865446 0 0 0 189174 2581 0 0 25 0 32 0 738286000 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604505970916832 0 0 -1 7 0 0 0
[pid=10802/tid=10817] ppid=10800 vsize=19809560 CPUtime=1916.66 cores=0-31
/proc/10802/task/10817/stat : 10817 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 3173546 0 0 0 188088 3578 0 0 25 0 32 0 738286000 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604482504596960 0 0 -1 14 0 0 0
[pid=10802/tid=10818] ppid=10800 vsize=19809560 CPUtime=1917.34 cores=0-31
/proc/10802/task/10818/stat : 10818 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1853352 0 0 0 189058 2676 0 0 25 0 32 0 738286000 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604480242875872 0 0 -1 2 0 0 0
[pid=10802/tid=10819] ppid=10800 vsize=19809560 CPUtime=1916.4 cores=0-31
/proc/10802/task/10819/stat : 10819 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 2462566 0 0 0 188461 3179 0 0 25 0 32 0 738286000 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604499848125920 0 0 -1 12 0 0 0
[pid=10802/tid=10820] ppid=10800 vsize=19809560 CPUtime=1908.75 cores=0-31
/proc/10802/task/10820/stat : 10820 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 2783723 0 0 0 187330 3545 0 0 25 0 32 0 738286000 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604476176236000 0 0 -1 5 0 0 0
[pid=10802/tid=10821] ppid=10800 vsize=19809560 CPUtime=1918.44 cores=0-31
/proc/10802/task/10821/stat : 10821 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 2540222 0 0 0 188432 3412 0 0 25 0 32 0 738286000 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604505114303968 0 0 -1 18 0 0 0
[pid=10802/tid=10822] ppid=10800 vsize=19809560 CPUtime=1917.07 cores=0-31
/proc/10802/task/10822/stat : 10822 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 2139408 0 0 0 188587 3120 0 0 25 0 32 0 738286000 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604478768700896 0 0 -1 15 0 0 0
[pid=10802/tid=10823] ppid=10800 vsize=19809560 CPUtime=1916.34 cores=0-31
/proc/10802/task/10823/stat : 10823 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 2657558 0 0 0 188284 3350 0 0 25 0 32 0 738286000 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604477718068704 0 0 -1 29 0 0 0
[pid=10802/tid=10824] ppid=10800 vsize=19809560 CPUtime=1918.86 cores=0-31
/proc/10802/task/10824/stat : 10824 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 2145108 0 0 0 188853 3033 0 0 25 0 32 0 738286000 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 4439208 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=10802/tid=10825] ppid=10800 vsize=19809560 CPUtime=1917.32 cores=0-31
/proc/10802/task/10825/stat : 10825 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 2730236 0 0 0 188152 3580 0 0 25 0 32 0 738286000 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604480855244256 0 0 -1 4 0 0 0
[pid=10802/tid=10826] ppid=10800 vsize=19809560 CPUtime=1917.06 cores=0-31
/proc/10802/task/10826/stat : 10826 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 3619471 0 0 0 188480 3226 0 0 25 0 32 0 738286000 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604481655840224 0 0 -1 20 0 0 0
[pid=10802/tid=10827] ppid=10800 vsize=19809560 CPUtime=1916.66 cores=0-31
/proc/10802/task/10827/stat : 10827 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1908974 0 0 0 188642 3024 0 0 25 0 32 0 738286000 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604498665741792 0 0 -1 27 0 0 0
[pid=10802/tid=10828] ppid=10800 vsize=19809560 CPUtime=1921.46 cores=0-31
/proc/10802/task/10828/stat : 10828 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 4286058 0 0 0 188932 3214 0 0 25 0 32 0 738286000 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604500240498144 0 0 -1 25 0 0 0
[pid=10802/tid=10829] ppid=10800 vsize=19809560 CPUtime=1917.07 cores=0-31
/proc/10802/task/10829/stat : 10829 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 2950726 0 0 0 188326 3381 0 0 25 0 32 0 738286000 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604502790217184 0 0 -1 31 0 0 0
[pid=10802/tid=10830] ppid=10800 vsize=19809560 CPUtime=1916.63 cores=0-31
/proc/10802/task/10830/stat : 10830 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1815304 0 0 0 188721 2942 0 0 25 0 32 0 738286000 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604482905677280 0 0 -1 24 0 0 0
[pid=10802/tid=10831] ppid=10800 vsize=19809560 CPUtime=1918.12 cores=0-31
/proc/10802/task/10831/stat : 10831 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 2516557 0 0 0 188383 3429 0 0 25 0 32 0 738286000 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604504214281696 0 0 -1 1 0 0 0
[pid=10802/tid=10832] ppid=10800 vsize=19809560 CPUtime=1918.29 cores=0-31
/proc/10802/task/10832/stat : 10832 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1914251 0 0 0 188733 3096 0 0 25 0 32 0 738286000 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604571912412640 0 0 -1 30 0 0 0
[pid=10802/tid=10833] ppid=10800 vsize=19809560 CPUtime=1930.28 cores=0-31
/proc/10802/task/10833/stat : 10833 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 154673 0 0 0 192650 378 0 0 25 0 32 0 738286000 20284989440 4244978 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604474724998624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 61325.6
Current children cumulated vsize (KiB) 19809560

[startup+1945.5 s]
/proc/loadavg: 30.06 31.70 31.53 3/445 10889
/proc/meminfo: memFree=238135352/264257624 swapFree=67111528/67111528
[pid=10802] ppid=10800 vsize=19809560 CPUtime=61332 cores=0-31
/proc/10802/stat : 10802 (strangenight2-m) S 10800 10802 10776 0 -1 4202496 69406987 0 0 0 6036053 97144 0 0 25 0 32 0 738285999 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446744073709551615 0 0 17 10 0 0 0
/proc/10802/statm: 4952390 4245753 381 95 0 4947372 0
[pid=10802/tid=10803] ppid=10800 vsize=19809560 CPUtime=1916.67 cores=0-31
/proc/10802/task/10803/stat : 10803 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1527954 0 0 0 188650 3017 0 0 25 0 32 0 738285999 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604493494607328 0 0 -1 11 0 0 0
[pid=10802/tid=10804] ppid=10800 vsize=19809560 CPUtime=1916.27 cores=0-31
/proc/10802/task/10804/stat : 10804 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1428607 0 0 0 188655 2972 0 0 25 0 32 0 738285999 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604500923702752 0 0 -1 8 0 0 0
[pid=10802/tid=10805] ppid=10800 vsize=19809560 CPUtime=1918.36 cores=0-31
/proc/10802/task/10805/stat : 10805 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 2943989 0 0 0 188799 3037 0 0 25 0 32 0 738285999 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604487545273824 0 0 -1 3 0 0 0
[pid=10802/tid=10806] ppid=10800 vsize=19809560 CPUtime=1914.09 cores=0-31
/proc/10802/task/10806/stat : 10806 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1311827 0 0 0 188568 2841 0 0 25 0 32 0 738285999 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604476490522080 0 0 -1 19 0 0 0
[pid=10802/tid=10807] ppid=10800 vsize=19809560 CPUtime=1905.05 cores=0-31
/proc/10802/task/10807/stat : 10807 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1380930 0 0 0 187574 2931 0 0 25 0 32 0 738285999 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604478083120608 0 0 -1 9 0 0 0
[pid=10802/tid=10808] ppid=10800 vsize=19809560 CPUtime=1913.05 cores=0-31
/proc/10802/task/10808/stat : 10808 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1757680 0 0 0 188128 3177 0 0 25 0 32 0 738285999 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604504511110624 0 0 -1 6 0 0 0
[pid=10802/tid=10809] ppid=10800 vsize=19809560 CPUtime=1917.16 cores=0-31
/proc/10802/task/10809/stat : 10809 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1405418 0 0 0 188741 2975 0 0 25 0 32 0 738285999 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604504607899104 0 0 -1 26 0 0 0
[pid=10802/tid=10810] ppid=10800 vsize=19809560 CPUtime=1916.84 cores=0-31
/proc/10802/task/10810/stat : 10810 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1255874 0 0 0 189162 2522 0 0 25 0 32 0 738285999 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604501845097952 0 0 -1 22 0 0 0
[pid=10802/tid=10811] ppid=10800 vsize=19809560 CPUtime=1918.71 cores=0-31
/proc/10802/task/10811/stat : 10811 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1699992 0 0 0 188932 2939 0 0 25 0 32 0 738285999 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604492069354976 0 0 -1 6 0 0 0
[pid=10802/tid=10812] ppid=10800 vsize=19809560 CPUtime=1916.04 cores=0-31
/proc/10802/task/10812/stat : 10812 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 2070219 0 0 0 188421 3183 0 0 25 0 32 0 738285999 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604505383632352 0 0 -1 3 0 0 0
[pid=10802/tid=10813] ppid=10800 vsize=19809560 CPUtime=1909.84 cores=0-31
/proc/10802/task/10813/stat : 10813 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 2318433 0 0 0 187868 3116 0 0 25 0 32 0 738285999 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649058500 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=10802/tid=10814] ppid=10800 vsize=19809560 CPUtime=1917.15 cores=0-31
/proc/10802/task/10814/stat : 10814 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1988875 0 0 0 188656 3059 0 0 25 0 32 0 738285999 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604475339300320 0 0 -1 21 0 0 0
[pid=10802/tid=10815] ppid=10800 vsize=19809560 CPUtime=1911.81 cores=0-31
/proc/10802/task/10815/stat : 10815 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 3192833 0 0 0 187665 3516 0 0 25 0 32 0 738285999 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446744071566923704 0 0 -1 23 0 0 0
[pid=10802/tid=10816] ppid=10800 vsize=19809560 CPUtime=1917.55 cores=0-31
/proc/10802/task/10816/stat : 10816 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1865446 0 0 0 189174 2581 0 0 25 0 32 0 738286000 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604505970916832 0 0 -1 7 0 0 0
[pid=10802/tid=10817] ppid=10800 vsize=19809560 CPUtime=1916.66 cores=0-31
/proc/10802/task/10817/stat : 10817 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 3173546 0 0 0 188088 3578 0 0 25 0 32 0 738286000 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604482504596960 0 0 -1 14 0 0 0
[pid=10802/tid=10818] ppid=10800 vsize=19809560 CPUtime=1917.34 cores=0-31
/proc/10802/task/10818/stat : 10818 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1853352 0 0 0 189058 2676 0 0 25 0 32 0 738286000 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604480242875872 0 0 -1 2 0 0 0
[pid=10802/tid=10819] ppid=10800 vsize=19809560 CPUtime=1916.4 cores=0-31
/proc/10802/task/10819/stat : 10819 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 2462566 0 0 0 188461 3179 0 0 25 0 32 0 738286000 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604499848125920 0 0 -1 12 0 0 0
[pid=10802/tid=10820] ppid=10800 vsize=19809560 CPUtime=1908.75 cores=0-31
/proc/10802/task/10820/stat : 10820 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 2783723 0 0 0 187330 3545 0 0 25 0 32 0 738286000 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604476176236000 0 0 -1 5 0 0 0
[pid=10802/tid=10821] ppid=10800 vsize=19809560 CPUtime=1918.44 cores=0-31
/proc/10802/task/10821/stat : 10821 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 2540222 0 0 0 188432 3412 0 0 25 0 32 0 738286000 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604505114303968 0 0 -1 18 0 0 0
[pid=10802/tid=10822] ppid=10800 vsize=19809560 CPUtime=1917.07 cores=0-31
/proc/10802/task/10822/stat : 10822 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 2139408 0 0 0 188587 3120 0 0 25 0 32 0 738286000 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604478768700896 0 0 -1 15 0 0 0
[pid=10802/tid=10823] ppid=10800 vsize=19809560 CPUtime=1916.34 cores=0-31
/proc/10802/task/10823/stat : 10823 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 2657558 0 0 0 188284 3350 0 0 25 0 32 0 738286000 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604477718068704 0 0 -1 29 0 0 0
[pid=10802/tid=10824] ppid=10800 vsize=19809560 CPUtime=1922.06 cores=0-31
/proc/10802/task/10824/stat : 10824 (strangenight2-m) R 10800 10802 10776 0 -1 4202560 2145883 0 0 0 189173 3033 0 0 25 0 32 0 738286000 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=10802/tid=10825] ppid=10800 vsize=19809560 CPUtime=1917.32 cores=0-31
/proc/10802/task/10825/stat : 10825 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 2730236 0 0 0 188152 3580 0 0 25 0 32 0 738286000 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604480855244256 0 0 -1 4 0 0 0
[pid=10802/tid=10826] ppid=10800 vsize=19809560 CPUtime=1917.06 cores=0-31
/proc/10802/task/10826/stat : 10826 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 3619471 0 0 0 188480 3226 0 0 25 0 32 0 738286000 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604481655840224 0 0 -1 20 0 0 0
[pid=10802/tid=10827] ppid=10800 vsize=19809560 CPUtime=1916.66 cores=0-31
/proc/10802/task/10827/stat : 10827 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1908974 0 0 0 188642 3024 0 0 25 0 32 0 738286000 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604498665741792 0 0 -1 27 0 0 0
[pid=10802/tid=10828] ppid=10800 vsize=19809560 CPUtime=1921.46 cores=0-31
/proc/10802/task/10828/stat : 10828 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 4286058 0 0 0 188932 3214 0 0 25 0 32 0 738286000 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604500240498144 0 0 -1 25 0 0 0
[pid=10802/tid=10829] ppid=10800 vsize=19809560 CPUtime=1917.07 cores=0-31
/proc/10802/task/10829/stat : 10829 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 2950726 0 0 0 188326 3381 0 0 25 0 32 0 738286000 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604502790217184 0 0 -1 31 0 0 0
[pid=10802/tid=10830] ppid=10800 vsize=19809560 CPUtime=1916.63 cores=0-31
/proc/10802/task/10830/stat : 10830 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1815304 0 0 0 188721 2942 0 0 25 0 32 0 738286000 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604482905677280 0 0 -1 24 0 0 0
[pid=10802/tid=10831] ppid=10800 vsize=19809560 CPUtime=1918.12 cores=0-31
/proc/10802/task/10831/stat : 10831 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 2516557 0 0 0 188383 3429 0 0 25 0 32 0 738286000 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604504214281696 0 0 -1 1 0 0 0
[pid=10802/tid=10832] ppid=10800 vsize=19809560 CPUtime=1918.29 cores=0-31
/proc/10802/task/10832/stat : 10832 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 1914251 0 0 0 188733 3096 0 0 25 0 32 0 738286000 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604571912412640 0 0 -1 30 0 0 0
[pid=10802/tid=10833] ppid=10800 vsize=19809560 CPUtime=1930.28 cores=0-31
/proc/10802/task/10833/stat : 10833 (strangenight2-m) S 10800 10802 10776 0 -1 4202560 154673 0 0 0 192650 378 0 0 25 0 32 0 738286000 20284989440 4245753 268435456000 4194304 4580107 140734543191920 18446744073709551615 47403649082932 0 0 4096 2 18446604474724998624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 61332
Current children cumulated vsize (KiB) 19809560

[startup+1946.3 s]
/proc/loadavg: 30.06 31.70 31.53 3/445 10889
/proc/meminfo: memFree=238135108/264257624 swapFree=67111528/67111528
[pid=10802] ppid=10800 vsize=0 CPUtime=61333.3 cores=0-31
/proc/10802/stat : 10802 (strangenight2-m) Z 10800 10802 10776 0 -1 4203548 69406992 0 0 0 6036163 97170 0 0 18 0 2 0 738285999 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 10 0 0 0
/proc/10802/statm: 0 0 0 0 0 0 0
[pid=10802/tid=10811] ppid=10800 vsize=0 CPUtime=1918.96 cores=0-31
/proc/10802/task/10811/stat : 10811 (strangenight2-m) R 10800 10802 10776 0 -1 4203588 1699992 0 0 0 188932 2964 0 0 18 0 2 0 738285999 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 61333.3
Current children cumulated vsize (KiB) 0

[startup+1947.1 s]
/proc/loadavg: 30.06 31.70 31.53 2/415 10889
/proc/meminfo: memFree=244742316/264257624 swapFree=67111528/67111528
[pid=10802] ppid=10800 vsize=0 CPUtime=61334.1 cores=0-31
/proc/10802/stat : 10802 (strangenight2-m) Z 10800 10802 10776 0 -1 4203548 69406992 0 0 0 6036163 97250 0 0 18 0 2 0 738285999 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 10 0 0 0
/proc/10802/statm: 0 0 0 0 0 0 0
[pid=10802/tid=10811] ppid=10800 vsize=0 CPUtime=1919.76 cores=0-31
/proc/10802/task/10811/stat : 10811 (strangenight2-m) R 10800 10802 10776 0 -1 4203588 1699992 0 0 0 188932 3044 0 0 19 0 2 0 738285999 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 61334.1
Current children cumulated vsize (KiB) 0

[startup+1947.5 s]
/proc/loadavg: 30.06 31.70 31.53 2/415 10889
/proc/meminfo: memFree=244742316/264257624 swapFree=67111528/67111528
[pid=10802] ppid=10800 vsize=0 CPUtime=61334.5 cores=0-31
/proc/10802/stat : 10802 (strangenight2-m) Z 10800 10802 10776 0 -1 4203548 69406992 0 0 0 6036163 97290 0 0 18 0 2 0 738285999 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 10 0 0 0
/proc/10802/statm: 0 0 0 0 0 0 0
[pid=10802/tid=10811] ppid=10800 vsize=0 CPUtime=1920.16 cores=0-31
/proc/10802/task/10811/stat : 10811 (strangenight2-m) R 10800 10802 10776 0 -1 4203588 1699992 0 0 0 188932 3084 0 0 19 0 2 0 738285999 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 61334.5
Current children cumulated vsize (KiB) 0

[startup+1947.6 s]
/proc/loadavg: 30.06 31.70 31.53 2/415 10889
/proc/meminfo: memFree=244742316/264257624 swapFree=67111528/67111528
[pid=10802] ppid=10800 vsize=0 CPUtime=61334.6 cores=0-31
/proc/10802/stat : 10802 (strangenight2-m) Z 10800 10802 10776 0 -1 4203548 69406992 0 0 0 6036163 97300 0 0 18 0 2 0 738285999 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 10 0 0 0
/proc/10802/statm: 0 0 0 0 0 0 0
[pid=10802/tid=10811] ppid=10800 vsize=0 CPUtime=1920.26 cores=0-31
/proc/10802/task/10811/stat : 10811 (strangenight2-m) R 10800 10802 10776 0 -1 4203588 1699992 0 0 0 188932 3094 0 0 20 0 2 0 738285999 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 61334.6
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1947.69
CPU time (s): 61334.7
CPU user time (s): 60361.6
CPU system time (s): 973.086
CPU usage (%): 3149.1
Max. virtual memory (cumulated for all children) (KiB): 19851744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60361.6
system time used= 973.086
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69406992
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= 8440912
involuntary context switches= 207456

runsolver used 10.7954 second user time and 46.3889 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-24 22:13:16
IDJOB=3400644
IDBENCH=69591
IDSOLVER=1886
FILE ID=node200/3400644-1306267994
RUNJOBID= node200-1306267994-10790
PBS_JOBID= 13411767
Free space on /tmp= 62024 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nidw.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400644-1306267994/watcher-3400644-1306267994 -o /tmp/evaluation-result-3400644-1306267994/solver-3400644-1306267994 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400644-1306267994.cnf

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

MD5SUM BENCH= 943fd86d922b13236c21a74c4f82b6d0
RANDOM SEED=841983702

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:      255146344 kB
Buffers:        465064 kB
Cached:        8241488 kB
SwapCached:          0 kB
Active:        7792100 kB
Inactive:       983736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255146344 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           28904 kB
Writeback:           0 kB
AnonPages:       69056 kB
Mapped:          14480 kB
Slab:           255896 kB
PageTables:       4436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   186504 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= 62016 MiB
End job on node200 at 2011-05-24 22:45:44